Aspectos formais

Trabalho 03
Nome:Ablio Costa da Silva Jnior
Matricula: 1724333
Professor: Tarcsio Pequeno
2017.2
Exerccio 03. Como diferenciar os nmeros racionais dos nmeros reais?
Soluo
Esta atividade consiste na pesquisa da soluo para o questionamento acima.
Uma das respostas aceitas ate hoje dada pelo matemtico Julius Wilhelm Richard
Dedekind,em sua definio de cortes de Dedekind.

A resposta rpida para a questo de que, pelo menos, partindo-se da aritmtica

no h como distinguir um nmero racional de um nmero real, pois os dois conjuntos
se comportam da mesma forma para as operaes e ordenana. Esta afirmao vem
da concluso de que o corpo ordenado dos racionais isomorfo ao corpo ordenado
de todos os cortes racionais.

Nos tpicos abaixo tentaremos mostrar como Dedekind chegou a estas concluses
e como a partir delas ns formalizamos os conjuntos dos nmeros reais. Esta demos-
trao, da construo dos R a partir dos Q foi encontrada no livro do Rudin [1] e em
outros trabalhos desenvolvidos na rea [2, 3].

O mtodo de Dedekind para encontrar uma forma de se diferenciar os reais, na

verdade para se construir os reais foi definido que os R so subconjuntos de Q,
definidos como cortes.

1. Cortes de Dedekind

Definio 1. Chamamos de corte, o conjunto A sendo este A o subconjunto

de nmeros racionais que:

i. A 6= e A 6= Q;
ii. Um certo r A e se s < r sendo que s Q ento s A;
iii. Em A no existe um elemento mximo.

Dos trs itens acima podemos afirmar que o primeiro significa que o conjunto
A possui pelo menos um numero racional, mas no todos.O segundo item im-
plica que todo numero racional do conjunto A menor que todos os nmeros
racionais que no pertencem ao conjunto A. O ultimo item por sua vez nos diz
que no existe um numero racional mximo no conjunto A.
A partir deste pontos iremos usar as letras , e para nos referirmos a cortes
 de Dedeking. Cabe dizer tambm que cada item abaixo merecia uma demostra-
o que no ser feita aqui, Rudin mostra algumas em seu livro,porem mesmo
ele no se aprofunda deixando para sua bibliografia nos nomes de Laudau,
Thruson e Knoop.

2. Definio 2. < , significa que subconjunto prprio de . Ento vale a

seguinte preposio:

p Q [p p 6 ]

3. Definio 3. Se < e < , entao < .

Das definies acima conclumos que o conjunto de cortes ordenado.

4. Definio 4. Aqui definida a soma nos reais, Tomamos um o conjunto de

todos os racionais r no qual a propiedade valida, r = p+q com p e q .
Observe que ele mesmo tambm um corte.

5. Definio 5. Tomando ainda os cortes definidos inicialmente, vale as senten-

as:

Se + = + ento = .
Se < = < ento < .

6. Definio 6. Mostraremos agora a definio da operao de multiplicao,

esta um pouco mais complicada que a soma. Entretanto tentaremos defini-la
nesta etapa e na prxima.
Sejam,

, cortes do tipo 0 , 0 .

Seja o conjunto de todos os racionais r, entao r = pq , sendo p , q , p

0, q 0. Dessa forma, ento um corte.

7. Definio 7. Definimos ento o corpo, e a prpria multiplicao como sendo

este corpo:

[()], se < 0 , 0
= [()], se 0 , < 0
()(), se < 0 , < 0

8. Definio 8. Chegamos a um teorema significante que diz o seguinte, sejam
p e q Q, temos:

p + q = (p + q) ;

p q = (pq) ;

p < q se, e somente se (p + q) ;

9. Definio 9. A ultima etapa do nosso trabalho (Definio 8) mostrou como

substitudo um numero raciocinal rpelo correspondente r , este r definido
como "corte racional", e como este preserva as propiedades da soma,do produto
e da ordem. Isto na verdade expressa que o corpo ordenado de todos os nmeros
racionais isomorfo ao corpo ordenado de cortes racionais, o que permite
identificar o corte r* como o numero racional r.
Dessa forma definiremos que os cortes sero chamados nmeros reais. Cortes
racionais sero os nmeros racionais e todos os demais sero definidos como
nmeros irracionais.
Referncias
[1] RUDIN, W. Principles of Mathematical Analysis. 3. ed. McGraw-Hill Book Co.,
New York, 1976

[2] AGUILAR, IVAN, and MARINA SEQUEIROS DIAS. A Construo dos Nme-
ros Reais e suas Extenses. 4o Colquio da Regio Centro-Oeste

[3] MACHADO M. A construo dos nmeros. 2014