1

INSTITUTO DE MATEMTICA - UFRJ

DEPARTAMENTO DE MATEMTICA APLICADA
ANLISE REAL
2o semestre 2016
Professor Felipe Acker
prova 1 - 23 de setembro

ENTREGA: SEGUNDA-FEIRA, 26 DE SETEMBRO, 10:00

cada questo vale 2 pontos

1. Admita os axiomas de Peano: existem um conjunto IN e uma funo

injetiva S : IN IN tais que:

(i) existe em IN um elemento, 0, tal que 0 6= S(n), para todo n em

IN ;
(ii) se A um subconjunto de IN tal que 0 pertence a A e S(A) A,
ento A = IN .

(a) Defina, por recorrncia, as operaes de adio e de multiplicao

em IN .
(b) Admita verdadeiras as propriedades usuais dessas operaes. De-
fina a ordem em IN .
(c) Prove que IN bem ordenado, isto : todo subconjunto no vazio
de IN tem um menor elemento.

2. Um natural p dito primo se p > 1 = S(0) e seus nicos divisores so

1 e p.

(a) Suponha que n um natural tal que n > 1. Mostre que n tem um
divisor primo.
(b) Mostre que todo natural no nulo se escreve, de maneira nica (a
menos de reordenaes) como produto de nmeros primos.
(c) Suponha que p primo e que p divide ab. Mostre que p divide a
ou p divide b.
(d) Suponha que p primo, 0 < a < p e 0 < b < p. Mostre que p no
divide ab.
2

3. Sejam n e d naturais, com d no nulo. Mostre que existe um nico par

ordenado de naturais, (q, r), tal que 0 r < d e n = qd + r. Mostre
que o mesmo vale se n inteiro (neste caso, q inteiro). O nmero r
dito o resto da diviso de n por d.

4. Seja p um nmero primo. Defina, em ZZ, as seguinte operaes:

p
(i) m + n o resto da diviso de m + n por p;
p
(ii) m n o resto da diviso de mn por p.

(a) Suponha que p primo e 0 < a < p. Mostre que existe um nico
p
b tal que 0 < b < p e a b = 1.
(b) Defina, recursivamente, o fatorial (n! = 1 2 3 . . . n), comeando
com 0! = 1.
(c) Mostre que p primo se, e somente se, p divide (p 1)! + 1.

5. Sejam X um conjunto e P(X) o conjunto dos subconjuntos de X. Seja

f uma funo de X em P(X). Mostre que f no sobrejetiva.

6. Sejam X e Y conjuntos e f : X Y & g : Y X funes injetivas.

Construa funo bijetiva h : X Y .

7. Prove o Lema de Zorn: se X conjunto ordenado e no vazio tal que

toda cadeia em X tem cota superior, ento X tem elemento maximal.

8. Prove que todo conjunto pode ser bem ordenado.

9. Seja X um conjunto infinito. Prove que existe bijeo entre X e X X.

10. Sejam X e Y conjuntos tais que X tem, pelo menos, 2 elementos, Y

infinito e existe funo injetiva f : X Y . Mostre que existe bijeo
entre X Y e {0, 1}Y . Conclua que, se X infinito, ento existe bijeo
entre X X e P(X).
 P1 de Anlise Real - Leonardo Assumpo

1 de 7 26/09/2016 06:35
 Questo 1

Item A.

Definimos a adio, , pela recorrncia

e a multiplicao, , por

Item B.

Assumimos as propriedades:

Sejam . Dizemos que se (note que convencionamos ).

Com um pouco mais de rigor, podemos definir o conjunto dos que satisfazem 'o que queremos':

e dizer que .

Dizemos, equivalentemente, que , e escrevemos quando mas .

Item C.

Teorema ( bem ordenado)

Seja no-vazio. Ento .

Demonstrao

Sejam tais que .

Seja ainda .

Note que .

Inicialmente provaremos por induo que .

Fixemos uma funo de escolha .

Para , todo na forma , , de modo que tem apenas por elemento, donde mnimo.
Suponhamos a veracidade da tese para um certo .

Seja . Tome e considere . Temos ento , donde , e vale a hiptese:

Como , , donde ou , ou .

No primeiro caso, , seguindo-se da transitividade da ordem que ; no segundo caso, e ,

donde , o que conclui.

Resta provar para , j tendo disposio a existncia de uma funo que associa a cada subconjunto finito de seu elemento mnimo.

Sejam e . Sejam e , de modo que unio disjunta de e pela

tricotomia.

Note que, por construo, tem por menor elemento, e se , claramente mnimo de .

Caso , como finito, podemos definir . Observemos que, como ,

donde mnimo no apenas em , mas em

2 de 7 26/09/2016 06:35
 Questo 2
Seja o conjunto dos nmeros primos.

Item A.

Seja . Suponhamos por absurdo que .

Como , pelo Princpio da Boa Ordenao, .

Note que , donde existe tal que e .

Como , , donde . Mas , absurdo

Item B.

Prova-se facilmente por induo (completa) que todo natural maior que pode ser escrito como produto de primos. Mostraremos a unicidade.

Seja natural maior que . Suponhamos , sendo nmeros primos satisfazendo e (podemos
ordenar aplicando recorrentemente o princpio da boa ordenao).

Podemos escrever de maneira resumida os produtos e respectivamente nas formas e , juntando

sempre que . Impomos que , tal como fizemos anteriormente. Note que eventualmente permitimos que , ou
, para alguns , para poder exibir os dois produtos com fatores (com uma mesma base ).

Queremos mostrar que .

Como , claramente cota superior para o nmero de termos nos produtos.

Provemos que para cada , existe um nico tal que e .

De fato, e , donde , e o conjunto no-vazio e possui elemento mnimo . Nesse caso, trivialmente
.

No prximo argumento, suporemos que, para um , (se o contrrio ocorrer, basta trocar os papis de e ).

Observemos que implica que , ou seja:

e, como primo e , temos que

donde tem (apenas) fatores , seguindo-se que , com arbitrrio

Item C.

Queremos demonstrar o Lema de Euclides, e para tanto sempre bom lembrar o lema de Bzout:

Vamos l. Sejam e tais que . Se no h nada a demonstrar. Suponhamos, pois, que .

Como primo, temos , donde existem inteiros satisfazendo .

Como queremos mostrar que , tendo a hiptese de que , seria bastante conveniente fazer aparecer na identidade anterior,
ento nada melhor que multiplic-la por :

Item D.

Claramente , e isso a negao de .

Segue imediatamente da contrapositiva do lema acima que .

3 de 7 26/09/2016 06:35
 Questo 3
Seja um nmero natural no nulo. Defina-se o conjunto .

Mostraremos que . Claramente . Seja elemento de . Ento existem naturais com tais que . Como
, temos que .

Note que, se , ento temos .

Por outro lado, se , ento e teremos .

Em todo caso, , donde .

Podemos criar a extenso , tendo imediatamente . Mostraremos que , o que resulta

.

Seja inteiro negativo. Ento , donde .

Note que, se , ento .
Por outro lado, se , temos , e assim .

Com isso mostramos, para natural no nulo arbitrrio, que todo nmero inteiro pode ser escrito na fora com Resta provar a
unicidade de e .

Digamos que , com e .

Note que , ocorrendo a igualdade quando e ocupam os extremos de .

Suponha por absurdo que . Nesse caso, como , tomando mdulos, , impossvel.
Logo, e temos , seguindo-se .

4 de 7 26/09/2016 06:35
 Questo 4

Item A.

Observemos que . Isso d a dica para usar Bzout.

Como , e existem tais que . Nesse caso, , ou seja, existe inverso multiplicativo de
mdulo .

Sejam os inteiros tais que . Note que

sendo natural menor que . Como , , donde .

A unicidade de tal que segue de

pois

Item B.

Seja a funo definida por

Dizemos que o "fatorial de " ou " fatorial", e abreviamos por .

Convencionando-se que o produtrio vazio o elemento neutro multiplicativo, prova-se facilmente por induo que .

Item C.

Acredito que a inteno era assumir , caso contrrio seria contra-exemplo. Nesse caso,

Por inspeo, a tese verdadeira para os naturais entre e . Seja um nmero primo. A ideia aqui usarmos (diversas vezes) o que descobrimos
no item A, separando os nmeros de a em pares de inversos multiplicativos mdulo . A existncia e unicidade do inverso evita empecilhos
como "trios de inversos" ou nmeros sobrando. Podemos ento escrever

onde separamos do produtrio os termos e por serem auto-inversos mdulo .

Com isso deduzimos que , donde .

Agora suponha natural tal que , ou seja, . Esperamos que seja primo. Como j verificamos a tese
para os primeiros naturais, suponhamos .

Suponha por absurdo que um tal seja composto. Mostraremos que .

Como composto, existem naturais e tais que .

Existem duas possibilidades:

Se , ambos figuram no produtrio de , donde .

Se , como , temos , donde . Ento e figuram no produtrio de , seguindo-se que ,
e assim .

Em todo caso, , o que contradiz a hiptese de .

Disso se deduz que , o que conclui

5 de 7 26/09/2016 06:35
 Questo 5
Suponhamos por absurdo a existncia de uma funo sobrejetiva. Observemos que

Para todo subconjunto de , existe um elemento cuja imagem o prprio , e, vejamos, nada impede de ser elemento de ... at que se diga
algo em contrrio. Pensando nisso, podemos ter a esperana de que coisas ruins aconteam se criarmos um subconjunto de cujos elementos estejam
condicionados a no pertencerem s suas respectivas imagens.

Defina-se, pois, . Como , existe tal que . Pergunta: elemento de ?

Se sim, ento (absurdo).

Caso contrrio, (absurdo tambm).

Questo 6
Sejam e funes injetivas. Queremos construir uma bijeo de em .

Com um leve esforo para fazer distino de eventuais elementos de interseo como e , podemos considerar e
conjuntos de vrtices de um grafo orientado bipartido, sendo na forma as arestas de para , e na forma as arestas de para
. Aproveitando a definio usual de funo, podemos dizer que o conjunto dos vrtices e as arestas (orientadas) so .

Note que cada vrtice tem exatamente uma aresta partindo dele (pois e so funes) e, no mximo, uma aresta entrante, isto , tendo ele como fim
(pois e so injetivas).

Existem ento trs tipos de caminhos, cuja unio (disjunta) dos vrtices respectivos resulta em :

Os que formam ciclos

(mesmo que infinitos, isto , tais que cada vrtice tem grau mas nunca ocorre );
Os que comeam em ; e
Os que comeam em .

Estes dois ltimos sero infinitos sempre, pois no so ciclos e supor o contrrio resultaria em ou no serem funes.

Os caminhos que comeam em formam sequncias na forma , que definem recorrentemente pares . J nos caminhos
que comeam em , temos sequncias na forma , que semelhantemente identificam pares . No vendo razes para
exagerar no formalismo, o fato de cada estar associado a um nico (e vice-versa) decorre da injetividade de e .

No caso dos ciclos finitos, claramente um tal ciclo ter uma mesma quantidade de elementos de e de que compem conjuntos em que
tanto quanto so bijees. O leitor que preferir poder produzir uma sequncia , partindo de qualquer , tomar
e seguir com , , , o que identifica os pares em bijeo.

Por fim, ciclos infinitos so fceis de lidar: tome vrtice inicial e faa . Podemos "esquecer" que a aresta existe e obter, assim, dois
novos caminhos, um comeando em , e o outro, em . Ambos os casos j foram tratados acima. Uma sada mais direta (?) teria sido
observar que, em tais vrtices, e so bijees. Alm disso a construo de uma bijeo nos argumentos acima teria sido mais explcita com uso de
uma funo de escolha

Questo 7

Lema de Zorn

Seja ordenado e no vazio tal que toda cadeia em tem cota superior. Ento tem elemento maximal.

Demonstrao

Encontrei uma demonstrao verdadeiramente maravilhosa disto, mas esta margem estreita demais para cont-la

6 de 7 26/09/2016 06:35
 Questo 8
Faamos um aquecimento com algumas definies. Uma relao de ordem

Parcial, se .
Total se, alm dessas condies, .

Seja . Dizemos que

elemento mnimo de se .
elemento minimal de se .

Sejam e uma relao de ordem parcial em . Dizemos que

uma cadeia em se totalmente ordenado com .

bem ordenado se todo subconjunto no vazio de tem mnimo.

Queremos provar que para todo conjunto existe uma ordem tal que

i.e, todo subconjunto no vazio de possui elemento mnimo.

Sejam no vazio e o conjunto dos subconjuntos no vazios de que podem ser bem ordenados. Esperamos que .

Pensando em usar o Lema de Zorn, seria timo aparecer em como elemento maximal, e para tanto temos que dar um jeito de definir uma ordem tal
que toda cadeia em tenha cota superior. Nesse caso, ordenar (parcialmente) por incluso pode ser interessante pois a unio dos elementos de uma
cadeia seria naturalmente cota superior. Esperamos, porm, que cadeias comparveis em tenham ordens compatveis, caso contrrio no haver
nenhuma garantia da ordem da unio preservar o fato dos membros poderem ser bem ordenados. Nesse caso melhor redefinir de maneira mais
abrangente.

Esquecendo a definio anterior, seja o conjunto (trivialmente no vazio) de todos os tais que e bem ordenado com .
Podemos agora definir a ordem mais ou menos por incluso.

Seja a relao de ordem em tal que quando

Ou seja, se , as ordens so compatveis e todo elemento de cota superior para em .

Meditemos um pouco sobre o fato de ser parcialmente ordenado com . Feito isso, defina-se uma cadeia em .
Seja a soma em definida por , e portanto associativa e comutativa. Como uma cadeia, ,
donde . Desse modo, encorajamo-nos a definir

e a torcer para que , afinal claramente cota superior. Para isso ocorrer, basta que seja bem ordenado.

Seja ento no vazio. tem mnimo?

Como cada bem ordenado e , podemos escrever , e cada um dos no-vazio tem elemento
mnimo. Mais do que isso, visto que por construo

o elemento mnimo de cada deve ser o mesmo (!), e, alm disso, como restringir cada respectiva interseo com ainda preserva a relao de
incluso, o mnimo dos , se no vazio, tambm deve ser o mesmo. Assim, dado um arbitrrio tal que , o mnimo de ser o
mnimo de , que est bem definido.

Ora, arbitrrio em possui mnimo, logo bem ordenado e, portanto, elemento de . Vimos tambm que, dada uma cadeia arbitrria
em , possui cota superior. Ento vale o Lema de Zorn e existe elemento maximal . Como mximo, nenhum subconjunto de
contm seno o prprio , donde , e, por fim, de deduzimos que existe boa ordenao para

Questo 9
Supondo inicialmente enumervel, basta tomar bijees de em e de em e concluir com sua bijeo favorita entre e
(por exemplo a 'escada' ). Porm, para geral o problema no to simples.

Aproveitando o item anterior, podemos supor boas ordenaes de e . Claramente existe injeo de em (tome, por exemplo,
), restando mostrar, pelo Item , que existe injeo .

7 de 7 26/09/2016 06:35