UNIVERSIDADE FEDERAL DE RONDNIA

CENTRO DE CINCIAS EXATAS E DA TERRA

DEPARTAMENTO DE MATEMTICA
Relatrio de Pesquisa
Densidade no conjunto R dos Nmeros Reais
Qussia de Oliveira Gimenez
Bolsista pelo Programa de Iniciao Cientca
Projeto "Integrando a Amaznia"/UNIR/SBM
Thiago Ginez Velanga Moreira
Orientador
Porto Velho, 12 de Dezembro de 2012
IDENTIFICAO DO PROJETO
1. TTULO DO PROJETO
Iniciao aos Fundamentos da Anlise Matemtica
2. LOCAL DE EXECUO
Departamento de Matemtica - NCET - UNIR - Campus de Porto Velho
3. REA DE PESQUISA
Anlise
4. COORDENADOR
Prof. Dr. Tomas Daniel Menendez Rodriguez
5. ORIENTADOR
Prof. Msc. Thiago Ginez Velanga Moreira
6. ORIENTANDA
Las Ribeiro Lima
7. PERODO DE REALIZAO
Maio a Dezembro de 2012
Thiago Ginez Velanga Moreira
Orientador
Qussia de Oliveira Gimenez
Aluna
ii
Sumrio
1 Detalhamento do Relatrio 1
1.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3 Metodologia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3.1 Contedo Desenvolvido . . . . . . . . . . . . . . . . . . . . . . 2
2 Resultados Preliminares 4
2.1 Conjuntos e funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2 O Princopio da Boa Ordenao . . . . . . . . . . . . . . . . . . . . . . 6
3 Corpos Ordenados 8
3.1 Denies e propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.2 Corpo Ordenado Completo . . . . . . . . . . . . . . . . . . . . . . . . . 11
4 A densidade em R. 13
iii
Captulo 1
Detalhamento do Relatrio
1.1 Introduo
O projeto "Integrando a Amaznia" uma proposta da Sociedade Brasileira de
Matemtica para desenvolver e consolidar as atividades de pesquisa e ps-graduao
em Matemtica (SBM) na regio norte. Prope-se uma estrutura de cooperao
acadmica entre as universidades federais desta regio e os programas de ps-graduao
de excelncia na rea (notas 6 e 7), coordenada pela SBM. Espera-se, com isto, que
seja elevado o nvel dos conhecimentos de matemtica dos alunos desta regio, a m de
incrementar a qualidade dos professores nas escolas do estado.e o nmero de mestres e
doutores na rea.
A aluna Qussia de Oliveira Gimenez, do curso de Licenciatura em Matemtica
da Fundao Universidade Federal de Rondnia UNIR, foi submetida a um exame
de ingresso o qual a selecionou para formar parte do programa de iniciao cientca
criado pelo projeto Integrando a Amaznia. Ao longo de suas atividades gerais, a
aluna foi iniciada na realizao de pesquisas que fazem uso dos elementos e tcnicas
de demonstraes da Anlise Matemtica visando, com isso, progressivo e futuro
aprofundamento nessa rea de conhecimento e suas aplicaes.
Este trabalho descreve e resume as atividades exercidas pela bolsista neste programa
de iniciao cientca no perodo de maio a dezembro de 2012. Sero exibidos aqui uma
exposio introdutria do plano de trabalho executado, seus objetivos, a metodologia
e, nalmente, o contedo pesquisado e desenvolvido.
1
1.2 Objetivos
O objetivo geral deste trabalho norteado por duas importantes perspectivas, a
saber: incrementar os conhecimentos da bolsista em contedos da Anlise Matemtica
visando introduz-la em pesquisas petinentes a este ramo da matemtica pura e,
nalmente, reforar sua preparao em contedos relevantes para o ingresso em cursos
de mestrado em matemtica.
O objetivo especco compreender e demonstrar que o conjunto Q dos nmeros
racionais e seu complementar (R Q) dos nmeros irracionais so ambos densos em R.
1.3 Metodologia
A orientanda participou de um curso de extenso, com durao de 100 horas/aula,
denominado Introduo Anlise Matemtica. Neste curso, foi desenvolvido, com
detalhes, todo o contedo referente teoria geral dos conjuntos e das funes,
culminando num estudo relativamente aprofundado sobre o corpo ordenado dos nmeros
reais. Concomitantemente e, com freqncia de uma vez a cada ms, foram realizados
encontros especcos, em forma de seminrio, nos quais foram resolvidos exerccios e
problemas em geral relacionados ao curso.
Paralelamente, sob orientao especca de seu orientador, a bolsista realizou
um estudo dirigido sobre o Corpo Ordenado dos Nmeros Reais, o qual forneceu
embasamento terico suciente para atingir o objetivo especco deste trabalho.
1.3.1 Contedo Desenvolvido
De acordo com o cronograma elaborado no plano de trabalho deste projeto de
iniciao cientca, a aluna trabalhou os seguintes tpicos abaixo listados:
1. Conjuntos e Funes
(a) Conjuntos
(b) Operaes entre conjuntos
(c) Funes
(d) Composio de funes
2
2. Conjuntos Finitos, Enumerveis e No-Enumerveis
(a) Nmeros naturais
(b) Princpio da boa ordenao
(c) Conjuntos nitos e innitos
(d) Conjuntos enumerveis
(e) Conjuntos no-enumerveis
3. Numeros Reais
(a) Corpos
(b) Corpos ordenados
(c) Nmeros reais
3
Captulo 2
Resultados Preliminares
Neste captulo, provaremos alguns fatos bsicos a respeito de conjuntos e funes que
se faro necessrios para a compreenso de nosso resultado principal. Alguns resultados
encontram-se apenas enunciados, sem demonstrao. Assim o zemos pois optamos
pelo critrio da objetividade do trabalho, no qual tais resultados tm aplicao mais
relevante do que sua prpria demonstrao.
2.1 Conjuntos e funes
Passaremos agora a adotar os conceitos de funo injetora, sobrejetora e composio
de funes com o objetivo de enunciar e provar os resultados desta seo. Comearemos
com a seguinte
Proposio 2.1.1 Sejam f : A B e g : B C funes bijetoras. Ento, a composta
g f : A C tambm uma bijeo.
Demonstrao: Sejam dados x; y A quaisquer. Temos que
(g f)(x) = (g f)(y)
= g(f(x)) = g(f(y)),
como g injetora, esta ltima igualdade implica
f(x) = f(y):
Utilizando agora o fato de f ser injetora, conclumos que
x = y.
Fica mostrado, com isto, que a composta g f injetora.
Para mostrar que g f sobrejetora, seja dado z C arbitrrio. Vamos mostrar
que existe x A tal que z = (g f) (x). De fato, g sobrejetora, ento, existe y C
tal que
z = g(y). (2.1)
4
Utilizando agora o fato de f ser sobrejetora, obtemos x A tal que
y = f (x) . (2.2)
Segue de (2:1) e (4:1) que
z = (g f) (x) ,
mostrando que g f sobrejetora. Concluimos da que a composta g f bijeo.
Observao 2.1.2 O resultado que acabamos de mostrar de aplicao rotineira e
muitas vezes utilizado sem ao menos ser citado. importante notar que, a m de
que a composta g f seja injetora, basta que a imagem f (A) esteja contida no domnio
da g:
Daqui em diante, faremos constante uso do conceito de funo inversvel Antes
disso, deniremos inversa esquerda e direita de uma dada funo f.
Denio 2.1.3 Dadas as funes f : A B e g : B A, diremos que g uma
inversa esquerda para f quando
g f = id
A
: A A
Denio 2.1.4 Dadas as funes f : A B e g : B A, diremos que g uma
inversa direita para f quando
f g = id
B
: B B
Os dois seguintes teoremas caracterizam funes injetivas e sobrejetivas.
Teorema 2.1.5 Uma funo f : A B possui inversa esquerda se, e somente se,
injetiva.
Teorema 2.1.6 Uma funo f : A B possui inversa direita se, e somente se,
sobrejetiva.
Finalmente, daremos agora o conceito de funo inversa.
Denio 2.1.7 Uma funo g : B A chame-se inversa da funo f : A B
quando
g f = id
A
e f g = id
B
,
isto , quando g inversa esquerda e direita para f:
fcil mostrar que a composio de funes uma operao associativa, isto
consequncia imediata da prpria denio desta operao. Utilizaremos este fato para
mostrar que se uma funo f : A B possui uma inversa, ela nica.
5
Proposio 2.1.8 Seja f : A B uma funo inversvel. Ento, a funo inversa de
f nica.
Demonstrao: Suponhamos que g : B A e h : B A sejam duas inversas de f:
Ento, utilizando a Denio 2.1.7, obtemos que
h = h id
B
= h (f g) = (h f) g = id
A
g = g,
e, portanto, a inversa nica.
Observao 2.1.9 Esta ltima demonstrao contm um fato extra, o qual podemos
enunci-lo da seguinte forma: "Se f possui uma inversa esquerda, h, e uma inversa
direita, g, ento
h = g
e f tem uma inversa.
Observao 2.1.10 Escreveremos f
1
: B A para indicar a inversa da bijeo
f : A B
Uma funo inversvel passa a ser agora caracterizada pelo seguinte fato:
Proposio 2.1.11 Uma funo f : A B possui inversa se, e somente se, f uma
bijeo.
Demonstrao: Se f possui uma inversa, seja g sua inversa. Ento, pela Denio
2.1.7, g uma inversa esquerda e direita para f. Segue dos Teoremas 2.1.5 e 2.1.6
que f bijeo.
Reciprocamente, se f bijeo, ento os teoremas 2.1.5 e 2.1.6 garantem a existncia
de uma inversa esquerda, h, e de uma inversa direita, g, para f: Pela Observao
2.1.9,
h = g = f
1
.
Portanto, f possui inversa.
2.2 O Princopio da Boa Ordenao
Seja X um conjunto de nmeros naturais. Dizemos que um nmero p X o
menor elemento de X (ou elemento mnimo de X) quando se tem
p _ n para todo n X:
Muitas vezes, escreveremos
p = min X
para signicar que p X o menor elemento de X:
6
Vamos mostrar que o menor elemento de um conjunto, quando existe, unico.
De fato, dado X N, suponhamos que p X e q X sejam ambos os menores
elementos de X. Como p = min X e q X, segue que
p _ q.
Analogamente, obtemos que
q _ p,
donde vem que
q _ p _ q;
e, portanto, p = q. Assim, o menor elemento de um conjunto X N unico.
Um resultado de grande importncia o fato de que todo conjunto no-vazio de
nmeros naturais possui um menor elemento. Este fato conhecido como o Princpio
da Boa Ordenao.
Teorema 2.2.1 (Princpio da Boa Ordenao) Todo subconjunto no-vazio A
N possui um elemento
Observao 2.2.2 A demonstrao deste teorema faz uso dos chamados Axiomas
de Peano, os quais so de extrema importncia para a construo do conjunto N
dos nmeros naturais. Por brevidade e objetividade, optamos por evitar as regresses
necessrias e enunci-lo sem sua demonstrao. O leitor poder encontr-la em [1, p.
39]
7
Captulo 3
Corpos Ordenados
3.1 Denies e propriedades
Aqui e, no restante do relatrio, usaremos a noo de corpo sem fornecer sua
denio. Recomendamos uma vericao em [1]: Comearemos com a denio de
corpo ordenado; a qual ser usada com frequncia em todo contedo seguinte.
Denio 3.1.1 Um corpo ordenado um corpo K, no qual pode ser encontrado
um subconjunto P K, chamado o conjunto dos elementos positivos de K, tal que as
seguintes condies so satisfeitas:
(i) A soma e o produto de elementos positivos so positivos. Ou seja,

x + y P; \x; y P
x y P \x; y P
;
(ii) Dado x K, exatamente uma das trs alternativas seguintes ocorre:
ou x = 0; ou x P ou x P:
Denio 3.1.2 Num corpo ordenado K, escreveremos x < y, e diremos que x
menor do que y, para siginicar que y x P. Isto equivale a dizer que existe z P
tal que
y = x + z.
A relao de ordem x < y num corpo ordenado K goza das propriedades seguintes:
O1. (Transitividade) Se x < y e y < z, ento, x < z:
O2. (Tricotomia) Para quaisquer x; y K dados, ocorre exatamente uma das
alternativas seguintes:
ou x = y; ou x < y ou x > y.
8
O3. (Monotonicidade da adio) Se x < y, ento,
x + z < y + z;
para todo z K.
O4. (Monotonicidade da multiplicao) Esta, se apresenta de duas maneiras:
Se x < y ento,
x z < y z;
para todo z > 0.
Se x < y, ento,
x z > y z
sempre que z < 0.
Vamos demonstrar tais propriedades. Todas elas so consequncias da Deno
3.1.2: Veja como, a seguir.
[Prova de O1.] Suponha que x < y e y < z. Ento, por denio, temos que
y x P
e
z y P:
Aplicando (P1) e, novamente a Denio 3.1.2, obtemos que
(z y) + (y x) P
== z x P
== x < z.
[Prova de O2.] Dados x,y K, temos, por (P2), trs possibilidades que se excluem
mutuamente. So elas:
(y x) P;
(y x) = 0;
(y x) P:
No primeiro caso temos, por denio, que
x < y.
No segundo caso, tem-se
x = y:
9
O terceiro caso diz que
(x y) P;
dode vem que
x > y,
e conclumos (O2).
[Prova de O3.] Se x < y; ento, (y x) P: Da,
(y + z) (x + z) = y x P:
== x + z < y + z
[Prova de O4.] Suponha que x < y: Seja dado z > 0 arbitrrio. Ento
y x P
e
z P
O item (i) da Denio 3.1.2 nos garante que
y z x z = (y x) z P.
Novamente, pela mesma denio,
x z < y z
donde vem a primeira parte da prova de (O4). A segunda parte se prova assim:
Suponha que x < y e, seja dado z < 0 arbitrrio. Isto quer dizer que
(y x) P
e
z P.
Logo,
x z y z = (y x) (z) P,
donde vem que
x z > y z,
como queramos demonostrar.
Num corpo ordenado K, existe a importante noo de intervalo, cuja denio a
que segue.
10
Denio 3.1.3 Dados a; b K, com a < b, usaremos as notaes abaixo:
[a; b] = x K; a _ x _ b
[a; b) = x K; a _ x < b
(a; b] = x K; a < x _ b
(a; b) = x K; a < x < b
(; b] = x K; x _ b
(; b) = x K; x < b
[a; +) = x K; a _ x
(a; +) = x K; a < x
(; +) = K
3.2 Corpo Ordenado Completo
Antes de falar sobre a completeza de um corpo, apresentaremos algumas denies
necessrias.
Denio 3.2.0.1 Um subconjunto X de um corpo ordenado K chama-se limitado
superiormente quando existe b K tal que b _ x para todo x X.
Denio 3.2.1 Um subconjunto X de um corpo ordenado K diz-se limitado
inferiormente quando existe a K tal que a _ x para todo x X.
Um subconjunto X de um corpo ordenado K chama-se limitado quando limitado
superior e inferiormente, isto , quando existem a; b K tais que X [a; b].
Teorema 3.2.2 Num corpo ordenado K, as seguintes armaes so equivalentes:
(i) N K ilimitado superiormente;
(ii) Dados a; b K, com a > 0, existe n N tal que n:a < b;
(iii) Dado qualquer a > 0 em K, existe n N tal que 0 <
1
n
< a.
Demonstrao: (i) =(ii) :Como N ilimitado, dados a > 0 e b em K, existe n N
tal que
b
a
< n e, portanto, b < a:n. Para provar que (ii) =(iii), dado a > 0, existe, em
virtude de (ii), um n N tal que n:a > 1. Ento 0 <
1
n
< a. Finalmente, mostraremos
que (iii) =(i). Dado qualquer b > 0 existe, por (iii) um n N tal que
1
n
<
1
b
, ou seja
n > b.
Denio 3.2.3 Um corpo K chama-se arquimediano quando nele vlida qualquer
das trs condies equivalentes citadas no Teorema 3.2.2.
Denio 3.2.4 Sejam K um corpo ordenado e X K um subconjunto limitado
superiormente. Um elemento b K chama-se supremo do subconjunto X quando
b menor das cotas superiores de X em K. Assim, para que b K seja supremo de
um conjunto X K, necessrio e suciente que sejam satisfeitas as duas condies
abaixo:
11
S1. Para todo x X, tem-se x _ b;
S2. Se c K tal que x _ c para todo x X, ento b _ c.
Denio 3.2.5 Um elemento a K chama-se nmo de um conjunto Y K,
limitado inferiormente, quando a maior das cotas inferiores de K. Para que a K
seja nmo de Y K necessrio e suciente que as condies abaixo sejam satisfeitas:
I1. Para todo y Y tem-se a _ y.
I2. Se c K tal que c _ y para todo y Y , ento c _ a.
Denio 3.2.6 Um corpo K chama-se completo quando todo subconjunto no-vazio,
limitado superiormente, X K, possui supremo em K.
Resulta da denio que, num corpo ordenado completo, todo conjunto no-vazio,
limitado inferiormente, Y K, possui um nmo. Com efeito, dado Y , seja X = Y ,
isto , X = y; y Y . Ento X no-vazio e limitado superiormente; logo existe
a = sup X. Como se v facilmente, tem-se a = inf Y .
Proposio 3.2.7 Todo corpo completo arquimediano
Demonstrao: Seja dado um corpo no-arquimediano K. Vamos mostrar que K
no completo. De fato, o conjunto N K limitado superiormente. Se b K uma
cota superior de N, ento
n + 1 _ b; \n N:
Segue-se que
n _ b 1; \n N:
Isto mostra que, se b K for uma cota superior de N, ento, b 1 tambm o ser.
Como b 1 < b, a condio (S2) da Denio 3.2.4 no ocorre. Segue-se que num corpo
no-arquimediano K, o conjunto N dos nmros naturais limitado superiormente mas
no existe sup N em K.
Axioma 3.2.8 Existe um corpo ordenado completo, R, chamado o corpo dos nmeros
reais.
12
Captulo 4
A densidade em R.
Apresentaremos agora o conceito de densidade no conjunto R dos nmeros reais e,
a seguir, enunciaremos e demonstraremos o resultado objeto de nosso estudo.
Denio 4.0.9 Um conjunto X R chama-se denso em R quando todo intervalo
aberto (a; b) contm algum ponto de X.
Teorema 4.0.10 O Conjunto Q dos nmeros racionais e o conjunto (R Q) dos
nmeros irracionais so ambos densos em R.
Demonstrao: Dado um intervalo aberto (a; b) qualquer em R.
Vamos mostrar que existe um q (a; b), com q Q.
Como o intervalo (a; b) = x R; a < x < b. Ento,
a < b =b a > 0:
Como R arquimediano, pelo item (iii) do teorema 3, existe um nmero p N tal
que
0 <
1
p
< b a: (4.1)
Seja
A =

m Z;
m
p
_ b

;
temos que
1
p
; b R; com
1
p
> 0. Pelo item (ii) do teorema 7, existe um m N tal
que m
1
p
> b. Logo, A no vazio. Alm disso, dado m A, temos que
m
p
> b: Logo
m > b:p e, portanto, A limitado inferiomente por b:p: Como R completo, o conjunto
A possui um menor elemento. Seja m
0
A o menor elemento de A. Ento,
b _
m
0
p
:
Mas, como m
0
1 < m
0
, ento m
0
1 = A. Assim, temos
m
0
1
p
< b: (4.2)
13
Vamos mostrar que o nmero racional q =
m
0
1
p
(a; b). Isto
a <
m
0
1
p
< b:
De fato, se no fosse assim, teramos
a _
m
0
p
ou
m
0
1
p
_ b:
Por 4.2, a segunda parte no ocorre. Logo,
m
0
1
p
_ a < b _
m
0
p
:
Assim,
m
0
1
p
_ a e b _
m
0
p
:
=a _
m
0
1
p
e b _
m
0
p
:
Somando membro a membro, obtemos
b a _ (
m
0
1
p
) +
m
0
p
=
1
p
;
o que contradiz 4.1. Logo, o nmero racional
m
0
1
p
pertence ao intervalo (a; b).
Para obter um nmero irracional no intervalo aberto (a; b) qualquer, vamos mostrar
que existe um i (a; b), com i R Q.
Como o intervalo (a; b) = x R; a < x < b, ento,
a < b =b a > 0
Como R arquimediano, pelo item (iii) do teorema7, existe um nmero p N tal que
ou seja,
_
2
p
< b a
Seja
A =
(
m Z;
_
2
p
_ b
)
;
temos que
p
2
p
, b R, com
p
2
p
> 0. Pelo item (ii) do teroema 7, existe um m N tal
que
m
p
2
p
> b. Logo, A no vazio. Alm disso, dada m A, temos que
m
p
2
p
> b.
Logo m
_
2 > b:p e, portanto, A limitado inferiormente por b:p. Como R completo,
o conjunto A possui menor elemento. Seja m
0
A o menor elemento de A. Ento,
b _
m
0
_
2
p
14
Mas, com (m
0
1)
_
2 < m
0
_
2, ento (m
0
1)
_
2 = A. Assim, temos
m
0
1
_
2
p
< b
Vamos mostrar que o nmero irracional i =
m
0
1
p
2
p
(a; b). Isto ,
a <
m
0
1
_
2
p
< b
De fato, se no fosse assim, teramos
a _
m
0
_
2
p
ou
m
0
1
_
2
p
_ b
Como a segunda parte no ocorre. Logo,
m
0
1
_
2
p
_ a < b _
m
0
_
2
p
Assim,
m
0
1
_
2
p
_ a e b _
m
0
_
2
p
a _
m
0
1
_
2
p
e b _
m
0
_
2
p
Somando membro a membro obtemos:
b a _
m
0
1
_
2
p
+
m
0
p
2
p
=
_
2
p
O que contradiz
p
2
p
< b a. Logo, o nmero irracional
m
0
1
p
2
p
pertence ao intervalo
(a; b):Nesta seo, indicaremos pelo smbolo I
n
o conjunto
I
n
= p N; 1 _ p _ n .
Nesta seo, indicaremos pelo smbolo I
n
o conjunto
I
n
= p N; 1 _ p _ n .

15
Referncias Bibliogrcas
[1] E. Lages, Curso de Anlise, Vol. 1. 11. ed., Coleo Projeto Euclides, 2006.
16