A Teoria Axiomtica dos Conjuntos

Axioma da Escolha
Nesta seao damos algumas formulaoes para o Axioma da Escolha.
c
c

lia a
a
Denio 1.1 (Axioma da Escolha) Dada uma fam no vazia C de conjuntos no vazios
ca
e disjuntos dois a dois, existe um conjunto E que contm exatamente um elemento de cada
e
conjunto da famlia C. O conjunto E chamado de conjunto escolha da fam C.

e
lia
Exemplo 1.1 Seja A um conjunto innito. Ento existe uma funo injetora f : N A.
a
ca
Soluo: Denimos f da seguinte forma. Como A no vazio, existe x0 em A. Seja f (0) = x0 .
ca
e a
Da como A innito, A {x0 } no vazio. Logo existe x1 em A {x0 }. Seja ento f (1) = x1 .
,
e
e a
a
Pelos mesmos argumentos, existe x2 em A {xo , x1 }. Seja ento f (2) = x2 . Desta forma f
a
e
dada por f : N A tal que f (n) = xn , onde xn A {x0 , x1 , . . . , xn1 }.

E claro que f injetora. Mas f est denida? Mostraremos que os argumentos ingnuos
e
a
e
dados acima podem se tornar rigorosos a partir do Axioma da Escolha.
Seja C = {Cn }nN = {(x, Bn ); x Bn }nN , onde Bn = A {x0 , x1 , . . . , xn1 }. C uma
e
fam no vazia de conjuntos no vazios, disjuntos dois a dois. Pelo Axioma da Escolha, existe
lia a
a
E = {(xn , Bn ); xn Bn }, conjunto escolha para C, isto , E contm exatamente um elemento
e
e
de cada conjunto Cn de C.
Denimos ento f : N A tal que f (0) = x0 e f (n) = xn , onde (xn , Bn ) E Cn . Desta
a
forma f est bem denida e injetora, como quer
a
e
amos.
Na sequncia consideraremos algumas formulaoes equivalentes ao Axioma da Escolha.
e
c
Antes disso, deniremos alguns conceitos imprescind
veis para o entendimento das formulaes
co
consideradas.
Denio 1.2 Dada uma famlia de conjuntos, o produto cartesiano da fam
ca

lia o
e
conjunto
Ai = {f : I
iI

Ai ; f funo e f (i) Ai }.
e
ca
iI

Denio 1.3 Seja S um conjunto no vazio e P (S) o conjunto das partes de S . Uma
ca
a
funo escolha para S uma funo
ca
e
ca
: P (S) {} S
tal que (A) A, para todo A P (S) {}.

Formulao 1 (F1)
ca
Dada uma famlia no vazia de conjuntos no vazios C = {Ai }iI , indexada por I, existe

a
a
uma funo f : I
ca
Ai tal que f (i) Ai , para todo i I. Tal funo chamada uma
ca e
iI

funo escolha para a famlia C.

ca

Formulao 2 (F2)
ca
O produto cartesiano de uma famlia no vazia de conjuntos no vazios no vazio.

a
a
e a
Formulao 3 (F3)
ca
Todo conjunto no vazio tem uma funo escolha.
a
ca
Segue agora as demonstraes das equivalncias:
co
e
i) Axioma da Escolha equivalente ` Formulao 1
a
ca
AE F1
Seja C = {Ai }iI uma fam
lia no vazia de conjuntos no vazios. Consideremos
a
a
C = {Ai {i}}iI . C satisfaz as hipteses do Axioma da Escolha, logo existe um conjunto
o
escolha E para C .
Denimos ento f : I
a
Ai da seguinte forma: f (i) = xi , onde xi o elemento escolhido
e
iI

em E (Ai {i}). Logo f est bem denida e f (i) Ai para todo i I, como quer
a
amos.
F1 AE
Seja C = {Ai }iI uma fam no vazia de conjuntos no vazios, disjuntos dois a dois. Logo
lia a
a
existe f : I
Ai uma funao escolha para a fam C. Consideremos E= f (I), o conjunto
c
lia
iI

imagem de f . Pela escolha de f , para cada i I, f (i) unico em Ai . Logo E um conjunto

e
e
escolha para C.
ii) Formulaao 1 equivalente ` Formulaao 2
c
a
c
F1 F2
Ao analisarmos a Deniao 1.2, vemos que dada uma fam C de conjuntos, uma funao
c
lia
c
escolha para C um elemento do produto cartesino da mesma e vice-versa. Sendo assim, existe
e
uma funao escolha para C, se e somente se, o produto cartesiano da fam C no vazio.
c
lia e a
iii) Formulao 2 equivalente ` Formulao 3
ca
a
ca
F2 F3
Seja S conjunto no vazio. Considere I = P (S)\{} = { S : = } e a fam
a
lia
{A }I dada por A = para todo em I.
A fam {A }I satisfaz as hipteses de F2, logo
lia
o
A = , ou seja, existe funao
c
I

f :I

A
I

A = S e f (A ) = f () A segue que

tal que f () A para todo em I. Como

S

f : P (S)\{} S
uma funo escolha para S.
e
ca
F3 F2
Seja C = {Ai }iI uma fam no vazia de conjuntos no vazios. Considere S =
lia a
a

Ai .
iI

S um conjunto no vazio. Logo, por F3, existe : P (S) {} S uma funo escolha para
e
a
ca
S, isto , (A) A, para todo A P (S) {}.
e
Desta forma, a funo f : I
ca
Ai dada por f (i) = (Ai ) est bem denida e f (i) Ai ,
a
iI

para todo i I. Logo f pertence ao produto cartesiano de C, concluindo que o produto

cartesiano de C no vazio.
e a

O Lema de Zorn:

Na Matemtica, um teorema de existncia arma a existncia de um objeto que pertence

a
e
e
a um certo conjunto e que satisfaz certas propriedades. Muitos teoremas de existncia podem
e
ser formulados de modo que o conjunto subjacente seja um conjunto parcialmente ordenado e
a propriedade crucial seja a maximalidade ou minimalidade. O Lema de Zorn considerado o
e
teorema mais importante deste tipo.
O Lema de Zorn garante a existncia de um objeto maximal (minimal) que inating por
e
e
vel
um processo nito, a partir da hiptese que todo subconjunto totalmente ordenado limitado
o
e
superiormente (inferiormente).
Deniremos agora alguns conceitos da Teoria dos Conjuntos para que posteriormente
possamos enunciar o Lema de Zorn:
Denio 2.1 A relao R sobre um conjunto A uma relao de ordem se R reexiva,
ca
ca
e
ca
e
anti-simtrica e transitiva.
e
Denio 2.2 A um conjunto parcialmente ordenado se a relao uma relao de
ca
e
ca
e
ca
ordem sobre A.
Denio 2.3 Sejam (S, ) um conjunto parcialmente ordenado e = A S. Um elemento
ca
x S um limite superior (limite inferior) de A se a x, a A (x a, a A)
e
Denio 2.4 A um conjunto totalmente ordenado se para quaisquer x e y em A, temos
ca
e
x y ou y x.
e
Denio 2.5 Um elemento m do conjunto A elemento maximal (minimal) de A se
ca
nenhum dos elementos de A estritamente maior (menor) que m, isto ,
e
e
3

x A ; m x (m x) x = m.
Lema 2.1 (Lema de Zorn) Seja S um conjunto no vazio parcialmente ordenado por , tal
a
que todo subconjunto totalmente ordenado em S admite um limite superior (limite inferior)
ento, S admite um elemento maximal (minimal).
a
Daremos agora uma ilustraao do Lema de Zorn:
c
Armao: Todo K-espao vetorial V = {0} admite uma base.
ca
c
Seja S = {B V ; B linearmente independente sobre K}. Temos que S parcialmente
e
e
ordenado por (incluso). Como V = {0}, existe v V tal que v = 0 e ento, {v}
a
a
e
linearmente independente sobre K. Portanto, S = .
Sejam (Bi )i um conjunto totalmente ordenado em S e B =
Bi . Temos que B um
e
i

limite superior de (Bi )i , pois Bi B, i . Pelo lema de Zorn, existe B um elemento

maximal de S. Assim, B linearmente independente sobre K (pois B S).
e
Mostremos que V = [B]. Seja v V .
v B = v [B]
v B = B {v} linearmente dependente sobre K
e
Sendo B linearmente independente e B {v} linearmente dependente, temos que v [V ].
Assim, V = [B]. E portanto, B uma base de V .
e

Nosso objetivo nesta secao demonstrar a equivalncia entre o Axioma da Escolha, o Lema
c e
e
de Zorn e o Teorema da Boa Ordem de Zermelo.
Denio 2.6 Sejam S um conjunto e A uma fam de subconjuntos de S e A0 A e B
ca
lia
subfamlia de A diremos que, B uma torre se:

e
(i) A0 B
(ii) B B A0 B
(iii) B B (B) B
(iv) C for totalmente ordenada

C B.
cC

Note que {torres} = pois {A0 } uma torre.

e
Denio 2.7 Seja B0 =
ca

B:torre
B B0 dito normal se B comparvel com qualquer elemento de B0
e
e
a

Lema 2.2 Considere o conjunto S e seja A uma fam no vazia de subconjuntos de S com
lia a
a propriedade que, se B for uma subfamlia de A totalmente ordenada por incluso, ento

a
a
B A. Suponhamos ainda que : A A seja tal que (A) A e que (A) A contenha,
BB

no mximo, um elemento. Nestas condies A contm um conjunto A tal que (A) = A

a
co
e
Demonstrao: Seja B0 =
ca

B. Claramente B0 uma torre e A0 B0 .

e

B:torre
Seja B B0 um elemento normal, e dena

B = {C B0 ; C B ou (B) C}
Mostremos que B uma torre.
e
(i) A0 B, B torre A0 B0
(ii) B B0 B B, B torre A0 B
def.
(iii) C B = C B ou (B) C.
C(C)
def.
(iii-1) (B) C = (B) (C) = (C) B.

B (C)
C B (C) (C) = B ou C = B()
B :normal
(iii-2) C B =
ou
ou

(C) B
(C) B

(C) = B ou (C) = (B) (C) B

ou
.

(C) B
() (C) C tem no mximo um elemento
a
(iv) Seja C uma subfam totalmente ordenada de B
lia

C B
CB

CC
C C C B ou
(B) C (B)

.
C
CC

CB
CC

Logo, B uma torre

e
Mostremos que B = B0
Como, B B0 (deniao de B ) e B0 B (deniao de B0 e B torre).
c
c
e
Segue que B0 = B
Mostremos que B0 totalmente ordenado.
e
Seja B = {elemento normal de B0 }.
Usando o fato que B0 = B e B uma torre conclui-se facilmente que B uma torre.
e
e
Temos que B B0 (denio de B ) e B0 B (deniao de B0 e B )
ca
c
Logo, B = B0 .
Assim, todo B B0 normal, ou seja quaisquer doi elementos de B0 so comparveis.
e
a
a
Portanto, B0 totalmente ordenado.
e
Finalmente provemos a armao do lema.
ca
Seja A =
B.
BB0

Como B0 uma torre e B0 totalmente ordenado temos que A B0 e (A) B0 .

e
e
Logo pela deniao de A, conclu
c
mos que A (A).
Sendo (A) A por hiptese do lema, obtemos a igualdade
o
A = (A).
Corolrio 2.1 Seja S um conjunto parcialmente ordenado, no qual todo subconjunto
a
totalmente ordenado tem supremo. Seja f : S S uma funo tal que f (x) x, para
ca
qualquer x S. Ento existe pelo menos um x S para o qual f (x) = x.
a
6

Demonstrao: Suponhamos x0 S e seja A a fam de subconjuntos A S com as

ca
lia
seguintes propriedades:
1. x0 A,
2. A totalmente ordenado.
e
Se B uma subfam de A totalmente ordenada, segue que:
e
lia
BA

()

BB

De fato,
1. x0 B, B B x0

B
BB

2. B totalmente ordenado, B B
e

B totalmente odenado
e
BB

Logo

B A.
BB

Dene-se : A A como segue:

(A) =

A {f (x)} se x = sup(A) e x A
.
A {supA} se sup(A) A
/

Logo, (A) A e (A) A tem no mximo um elemento.

a
De () temos que A satisfaz a condiao do Lema anterior.
c
Assim, existe A0 A tal que (A0 ) = A0 .
Seja x0 = sup(A) A0 , ento pela deniao de , x0 A0
a
c
Como, A {f (x0 )} = (A0 ) = A0 , temos que f (x0 ) A0 ou seja f (x0 ) x0 .
Sendo f (x) x, x S pela hiptese do corolrio, concluimos que f (x0 ) = x0
o
a
Teorema 2.1 As seguintes armaes so equivalentes:
co
a
(1) Axioma da Escolha
(2) Qualquer conjunto parcialmente ordenado, no qual todo subconjunto totalmente ordenado
possui supremo, contm um elemento maximal.
e
(3) Qualquer conjunto pacialmente ordenado contm um subconjunto totalmente ordenado
e
maximal.
(4) Lema de Zorn: Qualquer conjunto parcilamente ordenado, no qual todo subconjunto
totalmente ordenado tem limite superior (ou limite inferior), contm um elemento
e
maximal (minimal).
(5) Teorema da Boa Ordem de Zermelo: Qualquer conjunto pode ser bem ordenado.
7

Demonstrao:
ca
(1) (2)
Seja S um conjunto parcialmente ordenado tal que todo subconjunto de S totalmente
ordenado admite um supremo ().
Por (1), existe : P(S){} S uma funao escolha para S ((A) A, A P(S){}).
c
Para x S dena:
Ax = {y S ; y x}
Seja f : S S tal que
f (x) =

(Ax ), se Ax =
.
x, se Ax =

Como, f (x) = x se Ax = e f (x) Ax se Ax = temos que f (x) x, x S.

Da hiptese (), segue do corolrio acima que: Existe x0 S tal que f (x0 ) = x0 .
o
a
Logo Ax0 = , ou seja, y < x0 , y S.
Donde se conclui que x0 um elemento maximal de S.
e
(2) (3)
Seja S um conjunto parcialmente ordenado e considere A uma fam totalmente ordenado
lia
de subconjuntos de S.
Como sup(A) =
A, segue, por (2) que A tem um elemento maximal A0 .
AA

Assim A0 um subconjunto de S totalmente ordenado maximal de A.

e
(3) (4)
Seja S um conjunto parcialmente ordenado, tal que todo A S, totalmente ordenado possui
um limite superior.
Por hiptese (3) existe A0 S,totalmente ordenado maximal de S.
o
Seja x0 um limite superior de A0 , isto , x x0 , x A0
e
Temos que x0 um elemento maximal de S pois:
e
x S e x > x0 x A0
/
Da A = A0 {x}, tal que A A S, o que um absurdo pois A0 um elemento maximal

e
e
de S.
(4) (5)
Seja S um conjunto, e denotemos por S uma subfam de S dada por:
lia
S = {A S, com uma boa ordem A }
Sejam A, B S e dene-se:

A B

x, y A, x A y x B y .
B se

x A, b B x b

Temos que S parcialmente ordenado pela relaao .

e
c
Seja A uma fam totalmente ordenada de S e tome
lia
A =

A.
AA

Vamos bem ordenar A .

Seja x, y A , ento x A e y B para algum A, B A.
a
Sendo A totalmente ordenado por incluso temos, A B ou B A. Assim existe C A
a
tal que x, y C.
Dene-se x y se x C y, C A tal que x, y C.
Temos que:

uma relaao de ordem

e
c

A bem ordenado por

e

pois A =

A, e A bem ordenado para todo A A

e
AA

A , para todo A A

Logo todo A S totalmente ordenados tem um limite superior. Por (4), S contm um
e
elemento maximal A.
Mostremos que A = S
Suponha o contrrio.
a
Seja x0 S A, ento tomando A = A {x0 } temos que A bem ordenado por A
a
e
x A y x y se x, y A
x A x0 se x A
Logo A A e isto contradiz o fato de A ser um subconjunto maximal de S.
Logo A = S, ou seja, S pode ser bem ordenado.
(5) (1)
Seja S um conjunto, ento por (5), podemos supor que S bem ordenado.
a
e
Dene-se : P(S) {} S por (A) = menor elemento de A.
Temos que uma funao escolha para S pois (A) A, A P(S) {}.
e
c

Equipotncia de Conjuntos - Conjuntos Finitos e Ine

nitos - Conjuntos Enumerveis.
a

3.1

Equipotncia de Conjuntos
e

Denio 3.1 Dois conjuntos A e B so equipotentes se existe uma funo bijetora entre eles.
ca
a
ca
Notao: A B para indicar que A e B so equipotentes.
ca
a
A B f : A B bijetora.
Proposio 3.1 Dados os conjuntos A, B e C,
ca
1. A A;
2. A B B A;
3. A B e B C A C.
Observao: Para provar que dois conjuntos so equipotentes, basta mostrar que existe
ca
a
uma funo bijetora entre eles e para demonstrar que dois conjuntos no so equipotentes,
ca
a a
deve-se mostrar que nenhuma aplicao entre eles pode ser bijetora.
ca
Exemplo 3.1 N e N {0} so equipotentes.
a

f : N N tal que f (x) = x + 1 bijetora

e
Exemplo 3.2 R e ] 1, 1[ so equipotentes.
a
x
f : R ] 1, 1[, f (x) =
bijetora.
e
1 + |x|
Exemplo 3.3 [0, 1] e [a, b] so equipotentes.
a
f : [0, 1] [a, b]; f (x) = a(1 x) + bx.
(0, 1) e (a, b) tambm so equipotentes pela mesma funo.
e
a
ca
Exemplo 3.4 N e Z so equipotentes.
a
x
, se x par
e
2
f : N Z; f (x) =
bijetora
e
(x + 1) , se x
e mpar
2
Exemplo 3.5 [0, 1] e (0, 1) so equipotentes
a
Temos que
1 1
[0, 1] = {0, 1, , , ...} A
2 3
1 1 1
(0, 1) = { , , , ...} A
2 3 4
1 1
onde A = [0, 1] {0, 1, 2 , 3 , ...}
1
, se x = 0

2
1
1
Considere a funo f : [0, 1] (0, 1) tal que f (x) =
ca

n + 2 , se x = n , n N

x, se x A
10

bijetora
e

Os nmeros naturais so denidos por:

u
a
0 = {}, 1 = {0}, 2 = {0, 1}, ...
Proposio 3.2 (Princpio de Dirichlet)
ca

m, n N m = n.
Demonstrao: E claro que se m = n, ento m e n so equipotentes. Devemos demonstrar a
ca
a
a
rec
proca.
Seja m xado. Mostremos, por induao, que se m n, ento m = n.
c
a
Com efeito, se m 0, ento existe bijeao f : m 0. Como 0 = , vem m = = 0.
a
c
Suponhamos m n + 1 = n . Seja f : m n bijetora e k = f (m 1). Consideremos a
bijeo g : n n dada por g(k) = n, g(n) = k e g(x) = x para x = n, k.
ca
Ento g f : m n tal que g f restrita a m 1 injetora e aplica m 1 sobre n. Assim
a
e
e
m 1 n e, pela hiptese de induo m 1 = n.
o
ca
Assim m = {0, 1, ..., m 1} = {0, 1, ..., n} = n + 1 = n e a prova est completa.
a
e
a
e
Corolrio 3.1 Se f : n n injetora, ento f bijetora.
a
Proposio 3.3 A e P(A) no so equipotentes.
ca
a a
Demonstrao: Suponha, por absurdo, que exista uma bijeo f : A P (a). Considere
ca
ca
o conjunto P = {x A ; x f (x)}. Como f bijetora, existe y A tal que f (y) = P .
/
e
Relativamente a y tem-se:
y P y f (y) = P y P (absurdo)
/
/
e
y P y f (y) = P y P (absurdo)
/
Logo no existe f bijetora (sobrejetora) de A em P(A) e, em consequncia, A e P(A) no
a
e
a
so equipotentes.
a
Proposio 3.4 R e N no so equipotentes.
ca
a a
Demonstrao: Mostraremos que N e o intervalo ]0, 1[ no so equipotentes. Como ]0, 1[ e R
ca
a a
so equipotentes, decorre que R e N no so equipotentes.
a
a a
Observamos que todo elemento x ]0, 1[ tem uma unica representao decimal innita:

ca
x = 0, x1 x2 ...xn ....
Sunponha que exista f : N ]0, 1[ bijetora tal que f (i) = xi . Podemos escrever os elementos
de ]0, 1[ como uma sequncia ]0, 1[= {x1 , x2 , x3 , ...}, com xi = 0, x1i x2i x3i ....
e
Tomando x = 0, a1 a2 a3 ... com ai = 1 se xii = 1 e ai = 2 se xii = 1
x ]0, 1[ e x = xi , para todo i, de modo a concluir que f no sobrejetora, o que uma
a e
e
contradio. Em consequncia, ]0, 1[ e N no so equipotentes.
ca
e
a a
O processo dado acima conhecido como mtodo da diagonal de Cantor.
e
e

11

3.2

Conjuntos Finitos e Conjuntos Innitos

Denio 3.2 Um conjunto F dito nito se F equipotente a {0, . . . , n 1}, para algum
ca
e
e
n N. Caso contrrio, F innito.
a
e
Proposio 3.1 O conjunto dos nmeros naturais innito.
ca
u
e
Demonstrao:
ca
Supondo que N seja nito, temos que N {0, . . . , n 1} para algum n N. Assim, existe
f : N {0, . . . , n 1} bijetora. Desta forma, a restriao de f a {0, . . . , n 1} ,
c
fn : {0, . . . , n 1} {0, . . . , n 1} injetora, logo bijetora. Como N = {0, . . . , n 1}, f no
e
a
pode ser injetora (contradiao).
c
Portanto, N innito.
e
Proposio 3.2 Um conjunto equipotente a um conjunto nito nito e um conjunto
ca
e
equipotente a um conjunto innito innito.
e
Proposio 3.3 (i)Se A B e B nito, ento A nito.
ca
e
a
e
(ii)Se A B e A innito, ento B innito.
e
a
e

3.3

Conjuntos Enumerveis
a

a
Denio 3.3 Um conjunto enumervel se nito ou equipotente ao conjunto N.
ca
Proposio 3.4 Se X enumervel e Y X ento Y enumervel.
ca
a
a
e
a
Demonstrao: Se X enumervel ento X nito ou existe f : N X uma bijeao.
ca
a
a
c
Se X nito, Y nito, pois Y X.
Se existe f : N X bijetora ento X = {f (0), f (1), . . .}.
a
Se Y nito, Y enumervel.
a
Se Y innito, devemos encontrar g : N Y , uma bijeo.
e
ca
Seja K = {k N ; f (k) Y }, ento temos que K = , pois Y = e f sobrejetora. Sendo
a
K N, existe k0 o menor elemento de K, dena ento g(0) = k0 .
a
Se K1 = {k N ; f (k) Y e k > k0 }, k1 = minK1 e dena g(1) = f (k1 ).
.
.
.
Se Kn = {k N ; f (k) Y e kn > kn1 }, kn = minKn e deniremos g(n) = f (kn ), . . . .
Logo, temos g : N X, de onde podemos concluir que Y enumervel.
e
a
Proposio 3.5 O conjunto dos nmeros reais innito no enumervel.
ca
u
e
a
a
e
a
e
a
Proposio 3.6 Se A innito e existe f : N A sobrejetora, ento A enumervel.
ca
Demonstrao: Se f : N A injetora, ento no h nada a provar.
ca
a a a
Suponha que f : N A no seja injetora. Assim, para cada y A que possua mais de
a
uma pr imagem em N, pelo Axioma da Escolha, podemos escolher um unico elemento x N
e

tal que f (x) = y.

Procedendo dessa forma, podemos construir um subconjunto B N tal que f : B A
e
bijetora. Como N enumervel, B enumervel. Portanto, A enumervel.
a
a
a
12

Proposio 3.5 O conjunto dos nmeros racionais positivos enumervel

ca
u
e
a
Demonstrao:
ca
Considere o diagrama:
1
1

1
2

1
1

3
4

1
...
5

2
1

3
1

2
2

2
3

2
4

2
...
5

3
2

3
3

3
4

3
...
5

4
1

5
1

4
2

4
3

4
4

4
...
5

5
2

5
3

5
4

5
...
5

Uma sobrejeao f : N Q obtida enumerando os elementos da tabela seguindo as setas

c
+ e
no diagrama acima.
Como Q innito e existe f : N Q sobrejetora ento Q enumervel.
a
a
+ e
+
+ e
u
e
a
Observao 3.1 O conjunto dos nmeros racionais negativos enumervel
ca
A demonstraao anloga a da proposiao anterior.
c
a
c
Proposio 3.6 A unio enumervel de conjuntos enumerveis enumervel.
ca
a
a
a
e
a

Demonstrao: Seja Xk , enumervel, k N e X =

ca
a

XK . Como cada Xk enumervel,

e
a
k=0

ento existem f1 : N X1 . . . , fn : N Xn , . . . , bijetoras.

a
Seja f : N N X tal que f (m, n) = fn (m). Tem-se que f sobrejetora.
Como existe g : N N N uma bijeo, ento a composiao f g : N X sobrejetora e
ca
a
c
isto garante a enumerabilidade de X.
Corolrio 3.1 O conjunto Q dos nmeros racionais enumervel.
a
u
a
Exemplo 3.6 O conjunto de todos os nmeros algbricos enumervel.
u
e
e
a
Demonstrao: Considere a fam de conjuntos {Pn } , onde Pn o conjunto de todos os
ca
lia
e
polinmios com coecientes inteiros e com grau igual a n.
o
Seja {An } uma fam de conjuntos, onde An = { ra complexas de p(x) ; p(x) Pn }.
lia
zes
Agora, xado um j N , sabemos que Pj tem um nmero nito de elementos. Como um
u
polinmio de grau n tem n ra complexas, no mximo, Aj tem tambm um nmero nito de
o
zes
a
e
u
elementos.
13

Seja A =
n

An . Observe que todos os elementos de A so nmeros algbricos. Como a

a u
e

unio de conjuntos enumerveis tambm enumervel, temos que A enumervel. Queremos

a
a
e
e
a
e
a
mostrar que A o conjunto de todos os nmeros algbricos, que ser denotado por (Nalg ) .
e
u
e
a
Como todos os elementos de A so algbricos, temos que A Nalg . Resta mostrar que
a
e
Nalg A .
Seja Nalg ento raiz de um polinmio g(x) com coecientes inteiros. A cada
a
e
o
polinmio g(x) est associado um unico grau k, logo g(x) Pk , k N . Assim, Ak e
o
a

conseqentemente, A.
u
Portanto, A = Nalg e como A enumervel, temos que o conjunto dos nmeros algbricos
e
a
u
e
enumervel.
e
a
Proposio 3.7 Se X e Y so enumerveis ento X Y enumervel.
ca
a
a
a
a
Demonstrao: Sejam X = {x1 , x2 , . . .} e Y = {y1 , y2 , . . .}.
ca
(x1 , y1 ) (x1 , y2 )

(x1 , x3 ) (x1 , y4 )

(x1 , y5 ) . . .

(x2 , y1 )

(x3 , y1 )
.
.
.

(x2 , y2 )

(x2 , y3 )

(x2 , y4 )

(x2 , y5 ) . . .

(x3 , y2 )
.
.
.

(x3 , y3 )
.
.
.

(x3 , y4 )
.
.
.

(x3 , y5 ) . . .
.
.
.

Enumerando os pares (x1 , y1 ), (x1 , y2 ), (x2 , y1 ), (x3 , y1 ), (x2 , y2 ), . . . , e seguindo as setas,

conclu
imos que X Y enumervel.
a
Corolrio 3.2 O produto cartesiano nito de conjuntos enumerveis um conjunto enumervel.
a
a
a
Demonstrao:
ca
Se X1 , X2 , X3 , . . . , Xn so enumerveis ento X1 X2 enumervel pela proposio acima.
a
a
a
a
ca
Como (X1 X2 ) X3
X1 X2 X3 enumervel. Segue da proposiao anterior que
a
c
X1 X2 . . . Xn enumervel.
a
Proposio 3.8 A enumervel se, e somente se existe uma funo injetora f : A N.
ca
a
ca
Demonstrao:
ca
() Claro, pela denio de enumerabilidade.
ca
() Se existe uma funo injetora f : A N ento, A equipotente a um subconjunto B
ca
a
de N. Como N enumervel, temos que B enumervel. Como a composiao entre as bijees
a
a
c
co
de A em B e de B em N, nos d uma bijeo entre A e N. Portanto A enumervel.
a
ca
a
e
a
Proposio 3.9 Todo subconjunto innito contm um subconjunto enumervel.
ca
Observao 3.1 Uma consequncia desta proposio a denio de Dedekind para o innito:
ca
e
ca
ca
Um conjunto innito se, e somente se equipotente a um de seus subconjuntos prprios.
o
14

3.4

O Teorema de Schroder - Bernstein

Teorema 3.1 Sejam X e Y dois conjuntos tais que X equipotente a um subconjunto de Y e

Y equipotente a um subconjunto de X. Ento, X e Y so equipotentes.
a
a
Um enunciado anlogo o seguinte:
a
e
Teorema 3.2 Se f : X Y e g : Y X so funes injetoras, ento existe uma funo
a
co
a
ca
bijetora h : X Y .
Demonstrao:
ca
Sejam f : X Y e g : Y X injetoras. Suponhamos que f e g no so sobrejetoras, caso
a a
contrrio no h o que demonstrar.
a
a a
f

... Y X Y X Y X
. . . . . . f 1 (g 1 (x)) g 1 (x) x

xX

g 1 ({x}) Y

f 1 (g 1 ({x})) X

x Im(g) g 1 ({x}) est denida.

a
x Im(g) x dito 0-ancestral.
e
g 1 ({x}) Im(f ) f 1 (g 1 ({x})) est denida.
a
x Im(f ) x dito 1-ancestral.
e

f 1 (g 1 ({x})) Im(g) g 1 (f 1 (g 1 ({x}))) est denida.

a
x Im(g) x dito 2-ancestral.
e

Para cada x

X
temos trs possibilidades:
e
x tem innitos
anscestrais, o nmero de anscestrais de x par ou o nmero de anscestrais de x
u
e
u
e impar.
Denotamos por Xj , Xp , Xi os subconjuntos de X formados pelos elementos que tm
e

innitos anscestrais, que tm nmero par de anscestrais e que tm nmero impar de anscestrais,
e
u
e
u
respectivamente.
Tem-se que X = Xj Xp Xi .
A funao F : X Y denida por
c
F (x) =

f (x)
se x Xj Xi ou x um 0-anscestral
e
1
g (x) se x Xp , p 2.

bijetora.
e
Portanto, X equipotente a Y .
e

15

N meros Cardinais
u

4.1

Noo de n mero cardinal

ca
u

Intuitivamente, nmero cardinal de um conjunto o que h de comum entre todos os

u
e
a
conjuntos que so equipotentes ao dado conjunto.
a
A notaao A para nmero cardinal devida ` Cantor que usava duas barras sobre A para
c
u
e
a
indicar dois n
iveis de abstraao: o primeiro que se abstrai da natureza particular dos elementos
c
do conjunto, e o segundo com relao ` ordem.
e
ca a
Na teoria dos Conjuntos de Zermelo-Fraenkel, a noao de nmero cardinal um conceito
c
u
e
primitivo da Teoria e para caracteriz-la necessrio um novo axioma
a e
a
Axioma de N meros Cardinais
u
A cada conjunto A est associado um objeto A, o nmero cardinal de A, tal que
a
u
A = B se, e somente se, A equipotente a B
e
Denimos os cardinais nitos (nmeros cardinais de conjuntos nitos) assim:
u
0 = ,
1 = {0},
2 = {0, 1}
...
n = {0, 1, 2, . . . , n 1}
Denotamos por
0 = N,

1 = P (N),

2 = P (P (N))

...

c = R.

Outras notaoes usadas para n mero cardinal de A: |A|, c(A), card(A), #A.
c
u
Denio 4.1 Dados dois nmeros cardinais u e v escrevemos u v se existem conjuntos A
ca
u
e B que representam u e v, respectivamente, tais que existe uma aplicao injetora de A em B.
ca
Representamos por u < v o fato de u v e u = v.
Proposio 4.1 A denio anterior no depende dos representantes A e B escolhidos para
ca
ca
a
u e v, respectivamente.
F

Demonstrao: De fato, se u = A = A e v = B = B , ento A A e B B , com F e G

ca
a
aplicaes bijetoras.
co
Se existe uma aplicaao injetora f de A em B, a aplicaao G f F 1 de A em B injetora.
c
c
e
Proposio 4.2 A relao denida acima uma relao de ordem parcial, para qualquer
ca
ca
e
ca
conjunto de nmeros cardinais.
u
Demonstrao:
ca
Seja u = A. Existe uma aplicaao bijetora id : A A tal que id(x) = x.
c
Logo, u u e portanto, a relaao reexiva.
c
e
16

 Sejam u = A, v = B e w = C.
Se u v e v w, ou seja, se existem aplicaoes injetoras f : A B e g : B C
c
ento, a aplicaao gf : A C injetora.
a
c
e
Logo u w e portanto, a relao transitiva.
ca
e
A propriedade anti-simtrica consequncia do teorema de Schroeder-Bernstein.
e
e
e
De fato, sejam u = A e v = B.
Se u v e v u, ou seja, se existem aplicaoes injetoras f : A B e g : B A
c
ento, pelo teorema de Schroeder-Bernstein, existe uma aplicao bijetora h : A B.
a
ca
Logo, por deniao, u = v e portanto, a relao anti-simtrica.
c
ca
e
e
Teorema 4.1 (Cantor) Para qualquer conjunto A, tem-se A < P (A).
Demonstrao: Considere a aplicaao f : A P (A) dada por f (x) = {x}. Temos que f
ca
c
e
injetora, de modo que A P (A).
J foi provado que A e P (A) no so equipotentes, o que implica A = P (A). Assim, temos
a
a a
A < P (A).
Observao 4.1 O teorema de Cantor implica que dado qualquer nmero cardinal, sempre
ca
u
existe um nmero cardinal maior que o nmero cardinal dado.
u
u
Observao 4.2 Do teorema de Cantor, segue, ainda, que
ca
0 < 1 < 2 < . . . < n < . . .
Proposio 4.3 No existe o conjunto de todos os nmeros cardinais.
ca
a
u
Demonstrao: Suponha, por absurdo, que existe o conjunto A de todos os nmeros cardinais.
ca
u
Dado A, existe um conjunto A tal que A = .
Seja B =

A e P (B) o conjunto das partes de B.

A

Temos que P (B) AP (B) B, de modo que P (B) B, contrariando o teorema de Cantor.
Proposio 4.4 R = c = 1
ca
Demonstrao: Temos que 1 = P (N) = P (Q), pois N Q.
ca
Denimos f : R P (Q) tal que f (a) = {x Q ; x < a}.
Temos que f injetora, pois dados a, b R, com a = b. Supondo, sem perda de generalidade,
e
que a < b, ento existe c Q tal que a < c < b.
a
Assim, c f (a) e c f (b), donde segue que f (a) = f (b).
17

Mostramos, com isso, que R = c 1 .

Agora, P (A) C(A) = {f : N {0, 1} ; f funo}.
e
ca
De fato, se B A, dena fB : A {0, 1} por fB (x) = 0 se x B e fB (x) = 1 se x B
(fB a funao caracter
e
c
stica de B).
A funao que a cada B A associa a funo caracter
c
ca
stica fB uma funao bijetora de
e
c
P (A) em C(A).
Segue que P (Q) P (N) C(N).
Denamos F : C(N) [0, 1] tal que F (f ) = 0, f (1)f (2)f (3) . . . (uma representaao
c
decimal innita constituida de zeros e uns).
Se f, g C(N), com f = g, ento existe n tal que f (n) = g(n). Logo F (f ) = F (g), donde
a
segue que F injetora.
e
Assim, 1 = P (N) = C(N) [0, 1] = c = R.
Como a relao anti-simtrica temos que 1 = c = R.
ca
e
e

4.2

A Hiptese do Continuun
o

A hiptese do Continuun diz que no existe nmero cardinal x tal que

o
a
u
0 < x < 1
Cantor se ocupou com esta questo e pelo que consta, foi o ultimo problema da Teoria dos
a

Conjuntos ao qual ele se dedicou.

Em 1963 um matemtico americano P. Cohen demonstrou que tal hiptese independente
a
o
e
dos axiomas da Teoria dos Conjuntos: no pode ser demonstrada e nem refutada.
a
Ele mostrou, alm disso, que se houver uma contradiao na Teoria dos Conjuntos acrescida
e
c
dessa hiptese, esta contradiao existe na teoria sem admisso da hiptese.
o
c
a
o
A hiptese de que entre dois alefs consecutivos no existe nmero cardinal, conhecida
o
a
u
e
como a hiptese generalizada do continuum.
o

4.3
4.3.1

A Aritmtica dos N meros Cardinais

e
u
Adio
ca

Sejam u e v dois nmeos cardinais e sejam A e B dois conjuntos que representam,

u
respectivamente, os nmeros cardinais u e v. Podemos supor que A B = , pois caso
u
contrrio, tomando A = A e B = B \ (A B) temos que A B = A B , com A B = .
a
ca
u
Denio 4.2 Denimos a adio de nmeros cardinais da seguinte forma:
ca
u + v = A B.
18

Proposio 4.5
ca
1) u e v no dependem da escolha dos representantes disjuntos A e B.
a
2) u + v = v + u (vale a propriedade comutativa).
3) u + (v + w) = (u + v) + w (vale a propriedade associativa).
4) u1 v1 e u2 v2 u1 + u2 v1 + v2 (compatibilidade com a ordem).
Demonstrao:
ca
1) Se A = A , B = B so tais que A B = e A B = , entao A B A B , donde
a
a
A B = A B e portanto, a adiao est bem denida.
c
a
2) u + v = A + B = A B = B A = B + A = v + u.
3) u + (v + w) = A + (B + C) = A + (B C) = A (B C) = (A B) C = A B + C =
(A + B) + C = (u + v) + w.
4) Sejam u1 = A1 , u2 = A2 , v1 = B1 , v2 = B2 , f1 : A1 B1 e f2 : A2 B2 injetoras.
Suponha A1 A2 = = B1 B2 .
Da F : A1 A2 B1 B2 dada por F (x) = fi (x) se x A1 , i = 1, 2 bem denida e
,
e
injetora.
Logo, A1 A2 B1 B2 e portanto, u1 + v1 u2 + v2 .
4.3.2

Multiplicao
ca

Denio 4.3 Denimos a multiplicao de nmeros cardinais da seguinte forma:

ca
ca
u
A.B = A B
Observao 4.3 Aqui no h necessidade de A e B serem disjuntos.
ca
a a
Proposio 4.6
ca
1) A multiplicao de nmeros cardinais est bem denida.
ca
u
a
2) A.B = B.A (vale a propriedade comutativa).
3) (A.B).C = A.(B.C) (vale a propriedade associativa).
4) (A + B).C = A.C + B.C (vale a propriedade distributiva da multiplicao com relao `
ca
ca a
adio ).
ca
19

Demonstrao:
ca
1) A A e B B = A B A B = A B = A B .
2) = A.B = A B = B A = B.A = .
3) (A.B).C = (A B).C = (A B) C = A (B C) = A.(B C) = A.(B.C)
4) (A + B).C = (A B).C = (A B) C = (A C) (B C) = A C + B C =
A.C + B.C.
4.3.3

Potenciao
ca

ca
u
Denio 4.4 Denimos a potenciao de nmeros cardinais da seguinte forma:
ca
u = A e v = B, uv = AB ,
onde AB = {f : B A ; f funo}.
e
ca
Proposio 4.7 Valem as seguintes propriedades:
ca
a
1) Se u = A ento, P (A) = 2u .
2) uv+w = uv .uw
3) (u.v)w = uw .v w
4) (uv )w = uv.w
Demonstrao: Primeiramente, mostremos que a potenciaao est bem denida.
ca
c
a
f

Sejam A A e B B , onde f e g so aplicaes bijetoras de A em A e de B em B ,

a
co
respectivamente.
A funao F : AB A B dada por F () = f g 1 bijetora, donde segue que
c
e
B
B
A A e, em consequncia, a potenciaao est bem denida, pois no depende da escolha
e
c
a
a
dos representantes para os nmeros cardinais envolvidos.
u
1) Temos que P (A) C(A) = {f : A {0, 1} ; f funo}.
e
ca
De fato, se B A, dena fB : A {0, 1} por fB (x) = 0 se x B e fB (x) = 1 se x B
(fB a funao caracter
e
c
stica de B).
A funao que a cada B A associa a funao caracter
c
c
stica fB uma funao bijetora de
e
c
A
u
P (A) em C(A). Como C(A) = 2 , decorre que P (A) = 2 se A = u.
B+C

2) uv+w = A

=A

BC

()

= ABC = AB AC = AB .AC = A .A = uv .uw .

A demonstraao dos
c
tens 3) e 4) car a cargo do leitor.
a
20

Bibliograa
[1]

Izar, S., Tadini, W.M. : Teoria Axiomtica dos Conjuntos, UNESP.

a

[2]

Lipschutz, L. : Topologia Geral, Coleao Schaum.

c

[3]

Brietzke, E.H.M., Silva, P.R., Kakuta, N.K. : Anlise na Reta, Notas de aula, 1999.
a

[4]

Halmos, P. : Teoria Ingnua dos Conjuntos.

e

21