TEOREMA DE ZORN

DAS AULAS DE ANLISE SUPERIOR DO PROF. A. WEIL

EDISON FARAH

1. Um importante teorema de carter existencial, que intervem na teoria

dos conjuntos, o chamado Teorema de Zorn, devido a Max Zorn. A
demonstrao deste teorema que afirma a existncia de pelo menos um elemento maximal num conjunto ordenado indutivo1 2 baseia-se no conhecido
axioma da escolha (ou axioma de Zermelo), frequentemente citado, sob formas diversas, naturalmente equivalentes entre si (o prprio teorema de Zorn
pode ser considerado como uma forma de tal axioma). Um dos enunciados
do axioma de Zermelo, que se encontra no livro de N. Bourbaki (Thorie des
Ensembles) o seguinte:
Seja Rtx, yu uma relao entre um elemento genrico x de um conjunto E
e um elemento genrico y de um conjunto F. As relaes
qualquer que seja x P E existe y P F tal que Rtx, yu
e
existe uma aplicao f de E em F 3 tal que, qualquer que seja
x P E, Rtx, fpxqu,
so equivalentes.
O axioma de Zermelo consiste, precisamente, na afirmao dessa equivalncia.
2. fcil ver que o axioma de Zermelo, enunciado como acima, equivalente seguinte proposio (que ser um segundo enunciado do referido
axioma):
1

As definies de elemento maximal de um conjunto ordenado, e de conjunto ordenado

indutivo sero dadas mais adiante.
2
No seu trabalho A remark on method in transfinite algebra BULLETIN OF THE AMERICAN M ATHEMATICAL S OCIETY - V OLUME XLI, N UMBER 10-O CTOBER , 1935), Max Zorn
admitiu o referido teorema como axioma.
3Uma aplicao f de um conjunto E num conjunto F uma funo definida em E, com
valores em F; a cada x de E corresponde, pela aplicao f, um nico y de F, e escrevemos,
ento: y fpxq.
1

EDISON FARAH

Se I um qualquer conjunto de ndices e pXi qiPI uma famlia de subconjuntos de um conjunto C tais que Xi H 4, qualquer que seja i P I, o

produto iPI Xi no vazio.

Mostremos que o primeiro enunciado acima implica o segundo. Com
efeito, seja I um conjunto qualquer de ndices, pXi qiPI uma famlia de subconjuntos de um conjunto C, tais que Xi H, qualquer que seja i P I,
e consideremos a relao Rti, yu (i P I, y P C) que consista na afirmao
y P Xi . Ora, qualquer que seja i P I existe y P C tal que Rti, yu, pois nenhum dos Xi vazio. Portanto, pelo primeiro enunciado, existe pelo menos
uma aplicao f de I em C tal que, qualquer que seja i P I, Rti, fpiqu; em
outras palavras, se Xi H qualquer que seja i P I, existe pelo menos uma
aplicao f de I em C tal que, para todo i P I, fpiq P Xi . Como o produto

iPI Xi , por definio, o conjunto de tais aplicaes f, ele no vazio,

donde se conclui o segundo enunciado.
Reciprocamente, o segundo enunciado implica o primeiro. De fato, seja
Rti, yu uma qualquer relao entre um elemento genrico i P I e um elemento
genrico y P C, que goze da seguinte propriedade P: qualquer que seja i P I,
existe pelo menos um y P C tal que Rti, yu. Designando por Xi o conjunto
dos y P C tais que Rti, yu, teremos, em virtude da propriedade P, Xi H

qualquer que seja i P I; ento, pelo segundo enunciado, temos iPI Xi H,

isto , existe pelo menos uma aplicao f de I em C tal que, qualquer que seja
i P I, fpiq P Xi , ou seja, Rti, fpiqu, para todo i P I. Em resumo, admitindo
o segundo enunciado, a propriedade P da relao R tem por conseqncia:
existe uma aplicao f de I em C tal que, qualquer que seja i P I, Rti, fpiqu,
o que demonstra nossa afirmao.
3. Voltando ao teorema de Zorn, os termos maximal e indutivo que intervem no seu enunciado e cujos significados daremos a seguir encontram-se
no j citado livro de N. Bourbaki (Thorie des Ensembles), assim, como todos os conceitos e algumas notaes que utilizamos aqui. Vejamos, ento, a
definio de
4. Elemento maximal (e elemento minimal). Seja E um conjunto ordenado
por uma relao de ordem que se escreve x y (x, y P E). Diz-se que um
elemento x de um subconjunto X de E um elemento maximal (minimal) de
X se no existe, em X, nenhum elemento z tal que z x (respect. z x).

4Designamos pelo smbolo H, o conjunto vazio.

TEOREMA DE ZORN

EXEMPLOS:
pe1 q. Seja E o conjunto dos pontos de um plano referidos a um sistema de
coordenadas cartesianas ortogonais e estabeleamos entre os elementos de E
a seguinte relao de ordem:
P P 1 (P de coordenadas e ,
P 1 de coordenadas 1 e 1 ), quando,
na relao de ordem habitual entre
os nmeros reais se tem:
1

p0, 1q

1.

Com isto, v-se facilmente que,

p0, 0q p1, 0q
por exemplo, o conjunto A dos pontos do tringulo retngulo de vrtiFIGURA 1.
ces, digamos: p0, 0q p1, 0q e p0, 1q
(fig. 1), tem, para elementos maximais, todos os pontos da hipotenusa.
pe2 q. Seja F o conjunto de todas as partes do espao ordinrio E, isto ,
F P pEq 5.
Se entre os elementos de P pEq (que so partes de E) estabelecermos a
seguinte relao de ordem
X Y pX P P pEq , Y P P pEqq ,
quando X Y (isto , quando contm Y) diremos que P pEq um conjunto
ordenado pela relao de incluso. Posto isto, seja F 1 o conjunto das esferas
e semi-espaos de E cujos contornos passam pela origem; cada um de tais
semi-espaos um elemento maximal de F, como se v facilmente.
Pode acontecer que um conjunto ordenado no possua elemento maximal
(ou minimal). Assim, neste segundo exemplo, se retirarmos de F 1 os semiespaos a que nos referimos, obteremos um conjunto F 2 que no possui
nenhum elemento maximal. O conjunto dos subconjuntos infinitos enumerveis de um conjunto dado, no enumervel, no tem nenhum elemento
maximal, nem minimal.
5. Conjunto ordenado indutivo. Para a definio de conjunto ordenado
indutivo so necessrias mais duas noes: a de extremo superior de um
conjunto ordenado e a de conjunto totalmente ordenado.
5Designaremos sistematicamente por P pEq o conjunto das partes de um conjunto E

qualquer.

EDISON FARAH

Extremo superior. Seja X uma parte de um conjunto ordenado E. Dizemos

que um elemento s P E extremo superior de X, e escrevemos s sup pXq,
quando:
1) Qualquer que seja x P E tem-se
s x;
2) Se s 1 P E tal que, qualquer que seja x P X,
s 1 x,
deve-se ter, necessariamente, s 1 s.
NOTA. Se na definio acima substituirmos o sinal por , teremos a definio de extremo inferior, isto , o elemento s ser o extremo inferior do
conjunto X.
OBSERVAO. Decorre, da definio, que se um conjunto X admite um extremo superior (interior) s, este nico. Se s sup pXq (inf .pXq), e s P X s se
diz mximo (respect. mnimo) de X.
EXEMPLOS:
pe3 q. Seja T o conjunto de todas as esferas de centro na origem e raios
no maiores que 1, do espao ordinrio E. O conjunto T que uma parte
do conjunto ordenado por incluso P pEq admite, para extremo superior, a
esfera de centro na origem e raio 1. Como esta esfera pertence a T ela o
elemento mximo de T .
pe4 q. O conjunto A, considerado no exemplo (e1 ), admite para extremo
superior o ponto Q p1, 1q (fig. 4). A origem o extremo interior de A e
o elemento mnimo deste conjunto.
Um conjunto ordenado pode no
admitir extremo superior (inferior).
Assim, por exemplo, considerandop0, 1q
se o conjunto R dos nmeros raciQ p1, 1q
onais (ordenado pela relao de ordem habitual), os nmeros de R cujos quadrados so menores que 2
p0, 0q p1, 0q
formam um conjunto X que no admite extremo superior.
FIGURA 2.
Conjunto totalmente ordenado.
Seja E um conjunto ordenado pela
relao x y. Um subconjunto X de E se diz totalmente ordenado se, quaisquer que sejam x e y pertencentes a X, se tenha: ou x y, ou x y.

TEOREMA DE ZORN

Em outras palavras, X totalmente ordenado quando uma das trs relaes:

x y, x y e x y sempre verificada, e, a verificao de uma delas exclui
a de outras duas.
EXEMPLO:
pe5 q. No exemplo (e1 ) o conjunto X dos pontos da bissetriz do primeiro
quadrante totalmente ordenado; o conjunto E dos pontos do plano no o
.
Vejamos, enfim, a definio de
Conjunto ordenado indutivo. Um conjunto ordenado E se diz indutivo
quando todo subconjunto de E, totalmente ordenado, admite um extremo
superior.
EXEMPLO:
pe6 q. O conjunto F dos subgrupos de um grupo G (P pGq ordenado pela
relao de incluso) indutivo. Com efeito, se F 1 uma parte qualquer de
F, totalmente ordenada, a reunio dos subgrupos de F 1 (reunio esta, que ,
como facilmente se v, um subgrupo de G) o extremo superior de F.
Um exemplo de conjunto ordenado no indutivo o conjunto ordenado,
E, citado no exemplo (e1 ). De fato, o conjunto dos pontos da bissetriz do 1.
quadrante totalmente ordenado e no admite extremo superior.
6. Passemos agora, demonstrao do teorema de Zorn do qual um dos
enunciados o seguinte:
Todo conjunto ordenado indutivo, E, possui pelo menos um elemento maximal.
A demonstrao deste teorema baseia-se num lema fundamental, que chamaremos de L, e no axioma de Zermelo. A prova do lema L cujo enunciado
:
Seja E um conjunto ordenado indutivo. Se, ento, f uma aplicao de E
em E tal que, para todo x P E, fpxq x, existe pelo menos um x P E tal que
fpxq x,
independe, como veremos, do axioma de Zermelo.
7. Vejamos como se conclui o teorema de Zorn, uma vez admitidos o
lema L e o axioma da escolha. Para isso, a cada x P E faamos corresponder
o conjunto Hx definido da seguinte maneira:
Hx tyuyx py P Eq, se existe y P E tal que y x;

EDISON FARAH

Hx txu se no existe y P E tal que y x.6

Como, qualquer que seja x P E, Hx H, podemos afirmar, em virtude
do axioma de Zermelo, a existncia de uma aplicao f de E em E, tal que,
qualquer que seja x P E, fpxq P Hx , o que equivale a dizer que fpxq x,
qualquer que seja x P E. Portanto, do lema L segue-se que existe em E pelo
menos um elemento x b tal que fpbq b. Este elemento, b, maximal,
pois, por um lado temos fpbq P Hb , e, por outro, fpbq b, donde Hb tbu,
o que nos mostra a inexistncia de um elemento y P E tal que y b; portanto
b , efetivamente, um elemento maximal de E, ficando, assim, demonstrado
o teorema de Zorn.
8. Demonstrao do lema L. Afim de provar o lema L demonstraremos,
primeiramente, trs lemas auxiliares que chamaremos de l1 , l2 e l3 ; para isso
vamos utilizar certas definies que sero introduzidas no nmero seguinte.
9. Seja f uma aplicao de E em E, tal que fpxq x, qualquer que seja
x P E; fixemos um elemento a de E e designemos por A a famlia dos subconjuntos X de E que gozam das trs seguintes propriedades:
pP1 q. a P X;
pP2 q. fpXq X, isto , se x P X, fpxq P X;
pP3 q. Se T X e T totalmente ordenado, sup pT q P X.
A famlia A no vazia, pois o conjunto E, por exemplo, goza das trs
propriedades citadas. Por outro lado, a interseco de conjuntos de A pertence, evidentemente, a essa famlia; em particular a interseco de todos os
conjuntos de A pertence a A e o menor conjunto de A. Designemos por A
essa interseco, isto , ponhamos

A
X
XPA

e introduzamos os conjuntos Ix e Sx (x P A) definidos da seguinte maneira:

Ix conjunto dos y P A tais que y x;
Sx conjunto dos y P A tais que y x.
Posto isto, se designarmos por B o conjunto dos elementos x P A que
gozam da seguinte propriedade:
y P Ix implica: ou y x ou fpyq x",
6Com o smbolo tyu
yx designamos o conjunto de todos os y de E tais que y x. O

smbolo txu designa o conjunto que s contm o elemento x.

TEOREMA DE ZORN

resultar o seguinte
10. LEMA l1 . Se x um elemento qualquer de B 7 tem-se:
A Ix Y Sfpxq .
Demonstrao. Provemos primeiramente que qualquer que seja x P B, a P
Ix . Seja Z o conjunto dos elementos z P E tais que z a e mostremos que
Z P A. De fato, Z goza da propriedade (P1 ), o que imediato. Quanto
propriedade (P2 ) podemos afirmar o mesmo, pois
fpzq z a, donde fpzq P Z.
O conjunto Z tambm goza da propriedade (P3 ), pois se W totalmente
ordenado e W Z, temos: sup pWq a, donde sup pWq P Z.
Portanto, Z P A, donde A Z, o que nos permite afirmar que se x P A,
x a,8 isto , a P Ix qualquer que seja x P B, pois B A.
Ponhamos agora
X 1 Ix Y Sfpxq px P Bq
e mostremos que X 1 P A. A propriedade (P1 ) satisfeita por X 1 , pois, como
mostramos h pouco, a P Ix , qualquer que seja x P B, donde a P X 1 .
O conjunto X 1 tambm satisfaz (P2 ). de fato, se y P X 1 , dois casos podem
dar-se:
1) y P Ix ; 2) y P Sfpxq .
No primeiro caso, ou y x, ou fpyq x (definio de B); se y x, teremos
fpyq fpxq P Sfpxq , donde fpyq P X 1 ; se y x, fpyq x, donde fpyq P Ix , e,
portanto, fpyq P X 1 . Considerando, agora, o segundo caso, isto , y P Sfpxq ,
teremos, por ser fpyq y fpxq, fpyq P Sfpxq , donde fpyq P X 1 . O conjunto
X 1 goza, pois, da propriedade (P2 ).
Vejamos a propriedade (P3 ). Para isso mostraremos primeiramente que se
T um conjunto totalmente ordenado, contido em Ix , resulta: sup pT q P Ix .
Com efeito, qualquer que seja t P T devemos ter t P Ix , donde t x.
Portanto, pela definio de extremo superior, segue-se que sup pT q x, donde
sup pT q P Ix . Se, agora, T X 1 , ou ser T Ix , ou existir pelo menos um
t P T tal que t P Sfpxq , isto , t fpxq. Se T Ix , teremos, conforme notamos
h pouco, sup pT q P Ix , donde sup pT q P X 1 ; suponhamos, ento, que existe
um t P T tal que t fpxq; como sup pT q P A (pois A X 1 ), segue-se que
sup pT q P Sfpxq , donde sup pT q P X 1 , ficando, assim, verificada a propriedade
(P3 ).
7O conjunto B , como mostraremos a seguir, no vazio.
8Isto equivale a dizer que I tau, o que, por sua vez, prova que B no vazio, pois
a

a P B.

EDISON FARAH

Portanto X 1 P A. Como A o menor dos conjuntos que gozam das trs

propriedades (P1 ), (P2 ), (P3 ), e, por outro lado, X 1 A, segue-se que X 1 A,
isto ,
A Ix Y Sfpxq px P Bq.
11. LEMA l2 . Seja T um subconjunto de B, totalmente ordenado. Designando, ento, por s o extremo superior de T , tem-se

(1)
Ix
Ix Y tsu.
tPT

Demonstrao. Temos
(2)

Is

Ix Y tsu,

tPT

pois, se y pertence ao segundo membro de (2), ou y s (e, neste caso, y P Is ),

ou y P tPT It , donde existir um t P T tal que y t; mas y t s (pois

s sup pT q) e, como t P T B A, teremos, tambm, y P Is . Seguem-se,
portanto, a relao (2).
Por outro lado, se y P Is , isto , y P A e y s, y pertencer ao segundo
membro de (2). Com efeito, se y s imediato; se, ento, y s, existe um
t 1 P T tal que t 1 y, pois, do contrrio, isto , se y R It qualquer que fosse
t P T , resultaria, em virtude da igualdade
A It Y Sfptq

pt P T Bq,

y fptq t (t qualquer de T ), donde y s, o que contradiz a hiptese

y s. Fica, pois demonstrada a incluso do primeiro membro de (2) no
segundo membro da mesma relao, resultando, disso, a igualdade (1), como
afirma o lema l2 .
12. LEMA l3 . Enunciado. A B.
Demonstrao. Bastar provar que B P A (pois B A e A o mnimo de
A), isto , que B goza das trs propriedades (P1 ), (P2 ) e (P3 ). O conjunto B
goza da propriedade (P1 ), pois a P B (n. 10, chamada 8). A propriedade (P2 )
(x P B implica fpxq P B) ficar verificada se provarmos que y P If pxq tem
por conseqncia y fpxq ou fpyq fpxq, onde x P B. Ora, da igualdade
A Ix Y Sfpxq

px P Bq

(n. 10, lema l1 ) conclumos que, se y P A e y fpxq, devemos ter y x

ou y fpxq. Se y x, teremos, por ser x P B, ou y x, ou fpyq x; para
y x ser fpyq fpxq, e, para fpyq x, resulta fpyq fpxq, pois fpxq x.
Portanto, se y fpxq, isto , y P Ifpxq , ou ser y fpxq ou fpyq fpxq, o que
prova a pertinncia fpxq P B, seguindo-se, pois, a propriedade (P2 ).

TEOREMA DE ZORN

Vejamos a propriedade (P3 ) (Se T totalmente ordenado e T B, s

sup pT q P B). Ora, se T possui elemento mximo a verificao de (P3 )
imediata. Suponhamos, ento, que T no tenha elemento mximo. Devemos
provar que s P B, isto , que se y P Is , ou temos y s, ou fpyq s. Ora, em

virtude do lema anterior, o fato de que y P Is implica y s ou y P tPT It .

Se y s a condio satisfeita. Suponhamos, ento, que y s, isto , que

y P tPT It . Neste caso haver um t P T tal que y t. Por outro lado,

como T no possui elemento mximo haver um t 1 P T tal que t 1 t, donde
y t 1 . Ento y P It , donde, por ser t 1 P B e devendo excluir-se o caso em
que y t 1 , vem fpyq t 1 . Mas t 1 s, portanto fpyq s. Em resumo, se
y P Is , ou y s ou fpyq s, o que permite afirmar que s P B, isto , que B
goza, tambm, da propriedade (P3 ).
Portanto, B P A, donde, segundo o que observamos no princpio deste
nmero,
B A,
c.q.d.
13. LEMA L. Existe um elemento b P E tal que fpbq b.
Demonstrao. Provemos, em primeiro lugar, que A totalmente ordenado.
Sejam, com efeito, x e y dois elementos quaisquer de A e, portanto, de B,
pois B A. Temos, ento,
A Ix Y Sfpxq .
Como y P A, ou ser y P Ix , ou y P Sfpxq , isto , ou y x ou y fpxq x.
Portanto, A totalmente ordenado.
Seja, ento, b sup pAq. Como A P A, teremos b P A [prop. (P3 )], pois
A um conjunto totalmente ordenado contido no prprio A. Da relao
b P A segue-se [prop. (P2 )] que fpbq P A. Ora, por ser b sup pAq temos
b fpbq, e, pela definio f, fpbq b; portanto, fpbq b, ficando, enfim,
demonstrado o lema L. Pelo que observamos no n. 7, segue-se o teorema de
Zorn.
OUTRAS

FORMULAES DO

TEOREMA

DE

ZORN

14. Seja E um conjunto qualquer e suponhamos que P pEq esteja ordenado

pela relao de incluso. O teorema de Zorn pode, ento, enunciar-se do
seguinte modo:
pE2 q. Se F uma famlia de subconjuntos de E, tal que: a reunio dos
conjuntos de toda subfamlia totalmente ordenada, F 1 , de F, pertence a F,

10

EDISON FARAH

existe, nesta famlia, pelo menos um conjunto maximal M (isto , um conjunto que no parte prpria de nenhum subconjunto de E pertencente a F).
Com efeito, dizer que a reunio dos conjuntos de toda subfamlia totalmente ordenada F 1 F pertence a F equivale a dizer que F 1 admite, em F,
um extremo superior. Em outras palavras: a famlia F (ordenada pela relao
de incluso) indutiva, e, portanto, se lhe pode aplicar o teorema de Zorn
com o enunciado (E2 ).
15. Uma outra formulao do mesmo teorema a seguinte:
pE3 q. Seja P uma propriedade comum a certos subconjuntos finitos de
um conjunto E. Existe, em E, pelo menos um subconjunto maximal M tal
que toda parte finita de M goza da propriedade P (M , neste caso, um
subconjunto tal que, no existe, em E, nenhum subconjunto A, cujas partes
finitas gozem da propriedade P, do qual M seja um subconjunto prprio).
Com efeito, seja F a famlia dos subconjuntos C de E tais que toda parte
finita de cada conjunto C P F goze da propriedade P e seja F 1 uma subfamlia qualquer de F, totalmente ordenada (a relao de ordem em F a
de incluso). A reunio U dos conjuntos de F 1 pertence a F, pois, dada
uma parte qualquer finita B de U e designando por a1 , a2 , . . . an os elementos de B, existiro n conjuntos C1 , C2 , . . . Cn , todos da famlia F 1 , tais que
ai P Ci (i 1, 2, . . . n); como F 2 totalmente ordenada, um dos conjuntos
Ci (i 1, 2, . . . n), digamos, Ck (1 k n) conter cada um dos Ci , donde
Ck B, o que nos permite afirmar que B goza da propriedade P e, portanto,
U P F. A famlia F , pois, segundo observao anloga que fizemos para o
enunciado (E2 ), indutiva, e, por conseguinte, podemos aplicar-lhe o teorema
de Zorn conforme o enunciado (E3 ).
APLICAES
16. Uma das aplicaes do teorema de Zorn, que nos foi sugerida pelo
professor J. Dieudonn, a seguinte:
1. Mostrar que todo conjunto infinito, E, equipotente ao conjunto EE.
Para prov-lo admitiremos o seguinte lema (cuja demonstrao se obtm,
tambm, utilizando-se o teorema de Zorn):
(a) Se A e B so dois conjuntos infinitos, equipotentes a um conjunto C e
sem elementos comuns, a reunio A Y B equipotente a C.
Posto isto, indicando a relao de equipotncia entre dois conjuntos C e
D pelo smbolo C D (a negao de C D indicaremos por C D),

TEOREMA DE ZORN

11

consideremos a famlia F dos subconjuntos A de E tais que

A A A 9.
Ora, a cada conjunto A de F corresponde uma aplicao biunvoca fA
de A A sobre A. Seja G o conjunto dessas aplicaes e ordenemo-lo por
prolongamento, isto ,
fA fB
se A B (A P F, B P F) e, se x P B, fB pxq fA pxq.
Seja, agora, G 1 , uma qualquer subfamlia de G, totalmente ordenada (
qual corresponder a subfamlia F 1 , de F, que,certamente, ser, tambm,
totalmente ordenada pela relao de incluso), e mostremos que o extremo

superior de G 1 uma aplicao biunvoca do conjunto S APF 1 pA Aq

`
`

1
APF 1 A
APF 1 A , sobre o conjunto S
APF 1 A. Com efeito,
ponhamos, para cada x P S,
`

fpxq fM pxq
x P M M, M P F 1 .
O segundo membro desta igualdade no depende de M (desde que x P
M M), pois, sendo G 1 totalmente ordenado, temos, quaisquer que sejam M
e M 1 de F 1 , fM fM 1 , ou fM fM 1 , donde, em qualquer caso, se x P MM
e x P M 1 M 1 , teremos fM pxq fM 1 pxq. Portanto, f uma aplicao de S em
S 1 . Se, agora, y e y 1 (y y 1 ) so dois elementos quaisquer de S 1 existir, por
ser F 1 totalmente ordenado, um conjunto M de F 1 contendo y e y 1 , donde
y fM pxq e y 1 fM px 1 q (x e x 1 pertencentes a M M) e, portanto, x x 1 ,
pois fM biunvoca. Mas fM pxq fpxq e fM px 1 q fpx 1 q (x e x 1 pertencentes
a M M S), portanto f uma aplicao biunvoca de S S 1 S 1 sobre
S 1 E, donde f P G. Por outro lado, f o extremo superior de G, pois S 1 o
extremo superior de F 1 .
Portanto, pelo teorema de Zorn, existe, em G, uma aplicao maximal f
qual corresponde o conjunto A de F, isto , f uma aplicao biunvoca
de A A sobre A , ou ainda:
A A A .
Mostremos que A E. De fato, se A E existiria, certamente, no
complemento CpA q de A um conjunto infinito A 1 tal que A A 1 . 10
9Existem subconjuntos de E gozando dessa propriedade. Basta, por exemplo, que A seja

enumervel.
10Com efeito, A no tem potncia superior de CpA q, pois, do contrrio, A teria,
como se v facilmente pelo lema (a), potncia superior a E, o que absurdo.

12

EDISON FARAH

Pondo, ento
`
`

H A Y A 1 A Y A 1
`
`
`

pA A q Y A A 1 Y A 1 A Y A 1 A 1
e notando que os conjuntos (infinitos) A A 1 , A 1 A , A 1 A 1 no possuem,
dois a dois, elementos comuns e so equipotentes a A A A , viria, em
conseqncia do lema (a) aplicado duas vezes:
`
`
`

H1 A A 1 Y A 1 A Y A 1 A 1 A A 1 .
Portanto, existe uma aplicao biunvoca f1 de H1 sobre A 1 . Seja, ento, f
aplicao de H pA A q Y H1 sobre A Y A 1 , definida do seguinte modo:

fpxq
f pxq se x P A A

fpxq
f1 pxq se x P H1 .
Ento f ser uma aplicao biunvoca de
`
`

H A Y A 1 A Y A 1 sobre A Y A 1
e f f , o que absurdo, pois f maximal.
Portanto devemos ter:
A E.
Desta relao e de A A A segue-se que
E E E,
como queramos demonstrar.
17. Vejamos outra aplicao do teorema de Zorn.
Num espao de Hilbert H (de carter enumervel ou no) um sistema
ortonormal S se diz completo quando o conjunto C de todas as combinaes
lineares dos elementos de S totalmente denso em H (isto , todo conjunto
aberto de H contm pelo menos um elemento de C). Demonstra-se que a
definio de sistema ortonormal completo como demos acima equivalente
de sistema ortonormal maximal, isto , um sistema ortonormal que no
subconjunto prprio de nenhum sistema ortonormal de H.
O teorema de Zorn (enunciado (E4 )) nos permite afirmar que:
Num espao de Hilbert H qualquer existe, sempre, pelo menos um sistema
ortonormal completo (isto , maximal).
Basta, com efeito, considerar os subconjuntos finitos de H, tais que cada
um deles seja um sistema ortonormal. A propriedade P a que nos aludimos
no enunciado (E3 ), corresponde, aqui, ortonormalidade.

TEOREMA DE ZORN

13

Outras aplicaes do teorema de Zorn o leitor encontrar, frequentemente, na lgebra (por exemplo, na demonstrao da existncia de ideal
maximal num anel com elemento unitrio 11; de corpo real maximal entre
um corpo real dado e uma qualquer extenso algbrica desse corpo 12. No
livro CONVERGENCE AND UNIFORMITY IN TOPOLOGY, de John W. Tukey, o autor sugere vrias aplicaes do referido teorema.

11Ver, por exemplo, LMENTS DE MATHMATIQUE, par N. Bourbaki (Livre II, Alg-

bre) pg. 128.

12Encontra-se, por exemplo, em A remark on method in transfinite algebra (BULLETIN
OF THE A MERICAN M ATHEMATICAL S OCIETY Volume XLI, Number 10 October, 1935),
by Max Zorn.