5 Nmeros Cardinais e Aritmtica u e Cardinal

O conceito de nmero cardinal introduzido. Semelhanas e diferenas entre prou e c c priedades de nmeros cardinais nitos e transnitos s~o exibidas no curso da explora~o u a ca da aritmtica cardinal | adi~o, multiplica~o e exponencia~o. O cap e ca ca ca tulo termina com uma nota histrica sobre a hiptese do cont o o nuo (generalizada).

5.1

O conceito de nmeros cardinais u

De modo bem natural, o conceito de nmero entrou em nossas vidas bem cedo. Fomos u capazes de notar, por exemplo, a similaridade entre tr^s ma~s e tr^s laranjas, e a e ca e distin~o entre dois dedos e quatro dedos. Embora tivssemos um conceito de nmero, ca e u a maioria de ns n~o tinha uma deni~o precisa de nmero. Soubemos, por exemplo, o a ca u que 2 + 3 = 5, 3 < 4, 6 7 = 42, etc. Isto nos leva a acreditar que n~o precisamos saber a o que um nmero realmente ; o que devemos saber s~o a igualdade e a ordem entre u e a nmeros, e como calcular com eles | exatamente do modo como jogadores de xadrez u n~o se preocupam com o que um cavalo , mas sim como ele desempenha. Portanto, n~o a e a deniremos aqui o que um nmero cardinal ,1 mas apenas introduzi-lo-emos como um u e conceito primitivo relativo ao \tamanho" de conjuntos. As regras importantes guiando este novo conceito s~o a C-1. Cada conjunto A est associado a um nmero cardinal, denotado por card A, e a u para cada nmero cardinal a, existe um conjunto A com card A = a. u C-2. card A = 0 se e somente se A = . C-3. Se A um conjunto nito n~o vazio, i.e., A f1; 2; : : : ; kg para algum k 2 N, e a ent~o card A = k. a
Talvez o leitor deva ser informado que poss denir os nmeros cardinais como os \ordinais e vel u iniciais" (Veja pgina 138 de S-Y.T. Lin & Y-F. Lin, Set Theory: An Intuitive Approach. Houghton a Miin Co., Boston, 1974).
1

89

90

Numeros Cardinais e Aritmtica Cardinal e

C-4. Para quaisquer dois conjuntos A e B, card A = card B , A B. As regras C-1 e C-3 denem os nmeros cardinais de conjuntos nitos | o nmero caru u dinal de um conjunto nito o nmero de elementos naquele conjunto. Em tratamentos e u axiomticos da teoria dos conjuntos, C-1 e C-4 s~o habitualmente postulados como um a a axioma, chamado axioma da cardinalidade. O iniciante pode achar C-1 e C-4 dif ceis de serem aceitos, pois estas regras n~o dizem muito acerca de card A quando A um a e conjunto innito. Esta diculdade ser superada gradualmente enquanto avanarmos | a c tal como quando o leitor n~o sabia o que ra clculo, at que chegasse metade de a e a e a seu curso. Neste momento, podemos dizer, grosso modo, que o nmero cardinal de u um conjunto a propriedade que o conjunto tem em comum com os conjuntos que s~o e a equipotentes a ele.

5.1.1

Exerc cios

1. Mostre que o os nmeros naturais s~o nmeros cardinais. u a u 2. D^ exemplos de tr^s nmeros cardinais que n~o s~o nmeros naturais. e e u a a u

5.2

Ordena~o dos nmeros cardinais | O Teorema ca u de Schrder-Bernstein o

Chamaremos o nmero cardinal de um conjunto nito de nmero cardinal nito, e o u u nmero cardinal de um conjunto innito de um nmero cardinal transnito. As regras u u C-2 e C-3 da se~o anterior mostram que os nmeros cardinais nitos s~o precisamente ca u a os inteiros n~o negativos. Assim, os nmeros cardinais nitos tem uma ordem natural a u herdada: 0 < 1 < 2 < < k < k + 1 < . Para dois nmeros cardinais transnitos u quaisquer, a regra C-4 nos diz quando eles s~o iguais e quando n~o s~o. Mas n~o a a a a estaremos satisfeitos com apenas isto; quando eles foram diferentes, gostar amos de saber qual deles \menor" que o outro. e Deni~o 5.1 Sejam A e B conjuntos. Ent~o dizemos que card A menor que card B, ca a e e denotamos isto por card A < card B, quando A equipotente a um subconjunto de e B, mas o conjunto B n~o equipotente a nenhum subconjunto de A. a e Embora esta deni~o seja projetada para ordenar nmeros cardinais, ela se aplica a ca u nmeros cardinais nitos tambm, e quando aplicada a nmeros cardinais nitos o reu e u sultado o mesmo que a ordem natural tradicional mencionada acima. e Exemplo 5.1 card N < card R. Demonstra~o. Como o conjunto N um subconjunto de R, N equipotente a um ca e e subconjunto de R, N N R, mas pela Se~o 4.4, Cap ca tulo 4, sabemos que o conjunto

 Numeros Cardinais e Aritmetica Cardinal

91

innito R n~o enumervel. Portanto, R n~o equipotente a nenhum subconjunto de e a a a e N. Pela Deni~o 5.1, temos card N < card R. ca At agora, n~o nos claro como dois nmeros cardinais se comparam quando o e a e u conjunto A equipotente a um subconjunto de B e o conjunto B equipotente a um e e subconjunto de A. Georg Cantor conjeturou que, neste caso, card A deveria ser igual a card B. Mais tarde, nos anos 1890's, esta conjetura foi demonstrada, independentemente, por ambos F. Bernstein no seminrio de Cantor, e por E. Schrder, baseado em a o um clculo lgico. Este resultado celebrado agora conhecido geralmente por Teorema a o e de Schrder-Bernstein. o Teorema 5.1 (Teorema de Schrder-Bernstein) Se A e B s~o conjuntos, tais que o a A equipotente a um subconjunto de B e B equipotente a um subconjunto de A, e e ent~o A e B s~o equipotentes. a a Demonstraremos primeiramente o seguinte caso especial do Teorema 5.1, do qual o Teorema 5.1 segue facilmente. Lema 5.1 Se B subconjunto de A e existe uma inje~o f : A ! B, ent~o A e B s~o e ca a a equipotentes. Demonstra~o. Se B A, ent~o a fun~o identidade em AS uma tal h. Suponhamos ca e a ca e que B um subconjunto prprio de A, e seja C o conjunto n0 f n (A B), sendo f 0 e o a fun~o identidade em A e, para cada inteiro positivo k e para cada x 2 A, f k (x) = ca k1 f (f (x)). Para cada z em A, dena h(z) como segue: f (z) se z 2 C h(z) = z se z 2 A C Observe que A B um subconjunto de C, f (C) C, e que se m e n s~o dois inteiros e a m n n~o negativos distintos, digamos m < n, ent~o f (A B) e f (A B) s~o disjuntos. a a a Pois, caso contrrio, existem x e x0 em A B tais que f m (x) = f n (x0 ), o que acarreta a f nm (x) = x 2 B \ (A B), uma contradi~o. Finalmente, pela deni~o de h e pela ca ca ultima observa~o, temos ca h(A) = (A C) [ f (C) " # ! [ [ = A f n (A B) [ f f n (A B) " = A
n0

[
n0

# f n (A B) [

n0

f n (A B)

n1

= A (A B) =B

92

Numeros Cardinais e Aritmtica Cardinal e

Destas observaoes e do fato de que f injetora, segue que h : A ! B uma bije~o. c~ e e ca Isto completa a demonstra~o do lema. ca A principal idia por detrs da demonstra~o acima pode ser visualizada no seguinte e a ca diagrama ilustrativo, em que o ret^ngulo inteiro representa o conjunto A: a

Figura 17.

Demonstra~o do Teorema 5.1. Sejam A0 e B0 subconjuntos de A e B, respectivamente, ca tais que A B0 e B A0 , e sejam f0 : A B0 e g0 : B A0 duas bijeoes. Seja c~ f : A ! A0 dada por f (x) = g0 (f0 (x)), que uma inje~o. Portanto, pelo lema acima, e ca existe uma bije~o h : A A0 . Conseqentemente, a composi~o g0 h : A B, das ca u ca 1 1 duas bijeoes h : A A0 e g0 : A0 B, uma bije~o.2 c~ e ca E conveniente escrever card A card B como signicando card A < card B ou card A = card B. O seguinte corolrio uma conseq^ncia imediata do Teorema de a e ue Schrder-Bernstein. o Corolrio 5.1 Se A e B s~o conjuntos tais que card A card B e card B card A a a ent~o card A = card B. a At o momento, conhecemos muito pouco sobre nmeros cardinais transnitos, porque e u vimos apenas dois tais nmeros cardinais, card N e card R. Naturalmente, gostar u amos de saber se h outros nmeros cardinais transnitos. A resposta a esta quest~o dada a u a e na prxima se~o | existe na verdade um suprimento ilimitado de nmeros cardinais o ca u transnitos distintos. Uma outra quest~o importante esta: Se m e n s~o dois nmeros cardinais nitos a e a u distintos, ent~o ou m < n ou n < m; isto tambm verdadeiro para nmeros cardinais a e e u transnitos? A resposta armativa, mas a demonstra~o depende de um resultado do e ca prximo cap o tulo, e portanto adiada at o Teorema 6.1 do Cap e e tulo 6.
Esta demonstra~o e o lema precedente foram adotados de R.H. Cox, \A Proof of the Schroederca Bernstein Theorem", American Mathematical Monthly, 75, No. 5 (1968), 508.
2

 Numeros Cardinais e Aritmetica Cardinal

93

5.2.1

Exerc cios

1. Seja n um nmero cardinal nito qualquer. Demonstre que n < card N. u 2. Seja a um nmero cardinal transnito qualquer. Demonstre que card N a. Assim, u card N o menor nmero cardinal transnito. e u 3. Sejam A e B dois conjuntos. Demonstre que card A card B se e somente se existe uma injec~o f : A ! B. a 4. Sejam A, B e C conjuntos. Demonstre que (a) Se card A card B e card B card C ent~o card A card C. a (b) Se card A < card B e card B < card C ent~o card A < card C. a 5. Demonstre que se A e B s~o conjuntos tais que A B ent~o card A card B. a a 6. Demonstre que se A, B e C s~o conjuntos tais que A B C e A C, ent~o a a A B.

5.3

Nmero cardinal de um conjunto das partes | u Teorema de Cantor

Seja X um conjunto. Recordemos que o conjunto das partes }(X), de X, o conjunto de e todos os subconjuntos de X (Se~o 2.2, Cap ca tulo 2). O prprio Georg Cantor demonstrou o que card X < card }(X). A signic^ncia deste teorema que ele prov^ um modo de a e e contruir uma longa seq^ncia de novos nmeros cardinais transnitos. Por exemplo, ue u temos card R < card }(R) < card }(}(R)) < : Teorema 5.2 (Teorema de Cantor) Se X um conjunto, card X < card }(X). e Demonstra~o. Se X = , ent~o card = 0 < 1 = card }(). Portanto, resta provar ca a o caso em que X 6. Neste caso, a fun~o g : X ! }(X), dada por g(x) = fxg 2 = ca }(X), para todo x 2 X, injetora. Logo, o conjunto X equipotente ao subconjunto e e ffxg j x 2 Xg de }(X) ou, equivalentemente, card X card }(X). A partir disto, para mostrar que card X < card }(X), suciente mostrar que X n~o equipotente a e a e }(X). Assuma, em contrrio, que exista uma bije~o f : X }(X); nosso propsito a ca o e mostrar que esta suposi~o leva a uma contradi~o. Considere o conjunto S = fx 2 ca ca X j x 6 (x)g, que consiste daqueles elementos de X que n~o est~o em suas imagens 2f a a sob f . Como S 2 }(X) e f : X }(X), existe um elemento e 2 X tal que f(e) = S. Ou e 2 S ou e 6 2 S. Caso 1. e 2 S. Segue, pela deni~o de S, que e 6 (e); isto imposs ca 2f e vel, pois f (e) = S e e 6 2 S. Caso 2. e 6 2 S.

94

Numeros Cardinais e Aritmtica Cardinal e Como f (e) = S, temos e 6 2 f(e). Conseqentemente, pela deni~o de S, e 2 S u ca e portanto e 2 f (e). Isto novamente imposs e vel.

Uma contradi~o foi obtida e a demonstra~o do Teorema de Cantor est completa. ca ca a Em vista do Teorema de Cantor, uma quest~o bem natural a surgir foi, a Existe um nmero cardinal x tal que u card N < x < card }(N)? Esta quest~o, chamada o problema do cont a nuo, capturou a aten~o de Cantor e outros ca matemticos por muito tempo. Veremos mais sobre este problema na Se~o 5.8. a ca

5.3.1

Exerc cios

1. Demonstre que n~o existe um nmero cardinal maior de todos. a u 2. Sejam A e B conjuntos. Demonstre que se A B ent~o card }(A) = card }(B). a 3. Seja A um conjunto enumervel. Demonstre que o conjunto das partes de A, }(A), a n~o enumervel. e a a

5.4

Adi~o de nmeros cardinais ca u

J existe uma aritmtica para nmeros cardinais nitos. Por exemplo, se k e l s~o a e u a dois nmeros cardinais nitos, a soma k + l e o produto kl tem seus signicados tradiu cionais. Tentaremos agora generalizar estes conceitos de modo a cobrir os nmeros u cardinais transnitos tambm; ou seja, desenvolver uma aritmtica que se aplica a todos e e os nmeros cardinais, nitos ou transnitos, que preserve os signicados e propriedades u tradicionais da aritmtica dos nmeros cardinais nitos. e u Deni~o 5.2 Sejam a e b nmeros cardinais. A soma cardinal de a e b, denotada por ca u a + b, o nmero cardinal card(A [ B), em que A e B s~o conjuntos disjuntos tais que e u a card A = a e card B = b. Para mostrar que a Deni~o 5.2 est bem-denida, o leitor deveria primeiro observar que ca a para quaisquer dois nmeros cardinais a e b (n~o necessariamente distintos), pela regra u a C-1 da se~o 5.1, existem conjuntos X e Y tais que a = card X e b = card Y , sendo ca os conjuntos X e Y n~o necessariamente disjuntos. Mas isto n~o nos causa nenhum a a problema, pois podemos selecionar A = X f0g e B = Y f1g; ent~o A X, a B Y e A \ B = . Logo a + b = card(A [ B) e isto denido de maneira unica; e 0 0 0 0 pois se existem outros conjuntos disjuntos A e B tais que A A e B B ent~o, a pelo Teorema 4.6 do Cap tulo 4, temos (A0 [ B 0 ) (A [ B) ou, equivalentemente, card(A0 [ B 0 ) = card(A [ B). Desta forma, acabamos de demonstrar o seguinte teorema:

 Numeros Cardinais e Aritmetica Cardinal Teorema 5.3 Sejam a e b nmeros cardinais. Ent~o u a (a) Existem conjuntos disjuntos A e B tais que card A = a e card B = b.

95

a (b) Se A, B, A0 e B 0 s~o conjuntos tais que card A0 = card A, card B 0 = card B, 0 A \ B = , e A \ B 0 = , ent~o card(A0 [ B 0 ) = card(A [ B). a O seguinte exemplo mostra que a Deni~o 5.2 concorda com a soma ordinria de ca a dois nmeros naturais, quando aplicada a dois nmeros cardinais nitos. u u Exemplo 5.2 Encontre a soma cardinal 4 + 3 dos dois nmeros cardinais nitos 4 e 3. u Solu~o. Como N7 = N4 [ f5; 6; 7g, card N4 = 4, cardf5; 6; 7g = 3, e os conjuntos N4 ca e f5; 6; 7g s~o disjuntos, temos a 4 + 3 = card(N4 [ f5; 6; 7g) = card N7 = 7 o que coincide com a soma ordinria de dois inteiros. a Como a uni~o de conjuntos comutativa e associativa, temos as seguintes proa e priedades correspondentes acerca da soma cardinal. Teorema 5.4 Sejam x, y, e z nmeros cardinais quaisquer. Ent~o u a (a) x + y = y + x (Comutatividade). (b) (x + y) + z = x + (y + z). (Associatividade). Seguindo Georg Cantor, os s mbolos @0 (leia-se aleph3 zero; @ a primeira letra do e alfabeto hebraico) e c tem sido usados para denotar, respectivamente, o nmero cardinal u de um conjunto enumervel e o nmero cardinal do continuum4 , continuum signicando a u o conjunto dos nmeros reais. Em outras palavras, @0 = card N e c = card R. u Exemplo 5.3 Encontre a soma cardinal @0 + @0 . Solu~o. Sejam Np e Ni , respectivamente, os conjuntos de nmeros naturais pares ca u e nmeros naturais u mpares. Ent~o, Np e Ni s~o subconjuntos de N enumerveis e a a a disjuntos, e a uni~o deles N. Conseqentemente, pela Deni~o 5.2, a e u ca @0 + @0 = card Np + card Ni = card(Np [ Ni ) = card N = @0
3 4

Pronuncia-se como \lef". (N. do T.) a Tambm chamado cardinal do cont e nuo. (N. do T.)

96

Numeros Cardinais e Aritmtica Cardinal e

O resultado do Exemplo 5.3 uma propriedade distintiva dos nmeros cardinais e u transnitos; para nmeros cardinais nitos, n + m = n verdadeiro apenas se m = 0. u e O leitor poderia demonstrar, como exerc cio, que c + c = c. Exemplo 5.4 Encontre a soma cardinal @0 + c. Solu~o. J aprendemos, do Exemplo 4.3, Se~o 4.2, do Cap ca a ca tulo 4, que o intervalo aberto ]0; 1[ e o conjunto R, dos nmeros reais, s~o equipotentes. Portanto, card ]0; 1[ = u a card R = c. Seja S = N [ ]0; 1[. Ent~o, como N e ]0; 1[ s~o disjuntos, card S = @0 + c. a a Por outro lado, como R ]0; 1[ S e S S R, pelo Teorema de Schrder-Bernstein o (Teorema 5.1), temos S R. Portanto, @0 + c = c.

5.4.1
1. 2. 3. 4.

Exerc cios

Demonstre que x + 0 = x para todo nmero cardinal x. u Sejam x e y dois nmeros cardinais. Demonstre que x + y = y + x. u Sejam x, y, e z nmeros cardinais. Demonstre que (x + y) + z = x + (y + z). u Seja n um nmero cardinal nito qualquer. Demonstre que u (a) n + @0 = @0 (b) n + c = c. 5. Demonstre que c + c = c. 6. Sejam x, y e z nmeros cardinais. u (a) Demonstre que se x y ent~o x + z y + z. a (b) Mostre, atravs de um exemplo, que a parte (a) acima n~o verdadeira se \" e a e for substitu por \<". do

5.5

Multiplica~o de nmeros cardinais ca u

Deniremos agora a multiplica~o de nmeros cardinais de modo que, para nmeros ca u u cardinais nitos, o resultado coincida com a multiplica~o ordinria de inteiros n~o negca a a ativos.

Deni~o 5.3 Para quaisquer dois nmeros cardinais a e b, o produto cardinal ab ca u e denido como sendo o nmero cardinal do produto cartesiano A B, sendo card A = a u e card B = b.

Para ver que a Deni~o 5.3 independente da escolha dos representantes A e ca e B, sejam X e Y conjuntos tais que A X e B Y . Ent~o, pelo Teorema 4.7 do a Cap tulo 4, A B X Y e portanto card(A B) = card(X Y ). E tambm claro e que esta deni~o d a resposta certa quando a e b s~o nmeros cardinais nitos. Como ca a a u a multiplica~o de inteiros n~o negativos nos familiar, nosso interesse principal aqui ca a e e o produto de nmeros cardinais transnitos, e o produto de um nmero cardinal nito u u

 Numeros Cardinais e Aritmetica Cardinal

97

por um nmero cardinal transnito. Primeiramente, listemos uma conseq^ncia fcil da u ue a Deni~o 5.3 ca

Teorema 5.5 Sejam x, y e z nmeros cardinais quaisquer. Ent~o u a (a) xy = yx (Comutatividade). (b) (xy)z = x(yz) (Associatividade). (c) x(y + z) = xy + xz (Distributividade). Demonstra~o. Exerc ca cio.

Exemplo 5.5 Seja x um nmero cardinal arbitrrio. Calcule u a (a) 1x. (b) 0x. (c) @0 @0 . Solu~o. Seja A um conjunto tal que card A = x. ca (a) Como o produto cartesiano f1g A equipotente a A, temos 1x = x. e (b) Como

A = , temos 0x = 0.

(c) Como N N N (Teorema 4.10, Cap tulo 4), temos @0 @0 = @0 . Exemplo 5.6 Demonstre que cc = c, sendo c = card R. Solu~o. Como o conjunto R dos nmeros reais e o intervalo aberto unitrio ]0; 1[, de ca u a nmeros reais, tem o mesmo nmero cardinal c, para mostrar que cc = c, suciente u u e mostrar que existe uma inje~o do produto cartesiano ]0; 1[ ]0; 1[ no intervalo ]0; 1[. ca Para este propsito, usaremos o fato de que cada x 2 ]0; 1[ representado por sua o e 1 a expans~o decimal innita, de forma que, por exemplo, o nmero 2 ser 0; 4999 : : : mas a u n~o 0; 5. Deste modo, teremos uma unica express~o para cada nmero em ]0; 1[. Agora, a a u deixaremos ao leitor vericar que a fun~o f : ]0; 1[ ]0; 1[ ! ]0; 1[, denida por ca f(0; x1 x2 x3 ; 0; y1 y2 y3 ) = 0; x1 y1 x2 y2 injetora. Isto completa a demonstra~o de que cc c. A demonstra~o de que cc c e ca ca deixada ao leitor. e

98

Numeros Cardinais e Aritmtica Cardinal e

5.5.1

Exerc cios

1. Demonstre o Teorema 5.5. 2. Sejam x, y, e z nmeros cardinais tais que x y. Demonstre que xz yz. u 3. Demonstre ou refute a seguinte proposi~o: Se x, y, e z s~o nmeros cardinais tais ca a u que x < y e z 60, ent~o xz < yz. = a 4. Seja n um nmero cardinal nito, n 60. Demonstre que n@0 = @0 . u = 5. Sejam x e y nmeros cardinais. Demonstre que u (a) Se xy = 0 ent~o x = 0 ou y = 0. a (b) Se xy = 1 ent~o x = 1 e y = 1. a 6. Mostre que a fun~o f : ]0; 1[ ]0; 1[ ! ]0; 1[, denida por ca f(0; x1 x2 x3 ; 0; y1 y2 y3 ) = 0; x1 y1 x2 y2 da demonstra~o no Exemplo 5.6, bijetora. ca e

5.6

Exponencia~o de nmeros cardinais ca u

Sejam a e b dois nmeros cardinais, nitos ou transnitos. De modo a dar um signicado u a satisfatrio a b (leia-se: a-sima pot^ncia de b), examinaremos primeiramente o caso o e e 3 m nito: 2 = 222 e, de modo geral, n = nn n (m fatores). Poder amos generalizar este conceito ao caso transnito, introduzindo \produtos cartesianos generalizados", mas existe uma abordagem que funciona sem refer^ncia a produtos cartesianos generalizae dos. Sejam A um conjunto com m elementos e B um conjunto com n elementos. Quantas fun~es existem de A em B (veja Problema 9, Exerc co cios 3.4.1)? Como cada elemento de A tem n escolhas para sua imagem, e esta sele~o da imagem pode ser ca feita independentemente m vezes (uma vez para cada elemento de A), a resposta e m e n n n = n . Este conceito generalizado como segue: Deni~o 5.4 Sejam a e b nmeros cardinais com a 60. Sejam a e b conjuntos tais ca u = que card A = a e card B = b. Denote o conjunto de todas as funoes de A em B por c~ B A . Denimos ba = card B A . Antes de aceitar a deni~o 5.4, precisamos vericar que esta deni~o independente ca ca e da escolha dos representantes A e B. O seguinte teorema o que precisamos. e Teorema 5.6 Sejam A, B, X e Y conjuntos tais que A X, B Y . Ent~o B A a X Y . Demonstra~o. Sejam g : A X e h : B Y duas bijeoes. Ent~o denimos a fun~o ca c~ a ca : BA ! Y X

 Numeros Cardinais e Aritmetica Cardinal por (f ) : X ! Y , sendo (f )(x) = h f g 1 (x), para toda f 2 B A . A ! ? ? gy
(f ) f

99

B ? ? yh

X Y ! e Deixamos ao leitor demonstrar que a fun~o : B A ! Y X bijetora. ca Exemplo 5.7 Seja A um conjunto. Compare os nmeros cardinais card }(A) e 2card A . u Solu~o. Seja B = f0; 1g. Associamos a cada subconjunto D de A a fun~o caracca ca ter stica D : A ! B, denida no Exemplo 3.8, Cap tulo 3. A fun~o de }(A) em B A , ca que leva D em D , bijetora (demonstre isto!). Assim, os conjuntos }(A) e B A tem o e mesmo nmero cardinal; ou seja card }(A) = 2card A . u Teorema 5.7 Sejam a, x e y nmeros cardinais. Ent~o ax ay = ax+y . u a Demonstra~o. Sejam A, X e Y conjuntos tais que card A = a, card X = x, card Y = ca y, e X \ Y = . Ent~o, pela Deni~o 5.2, card(X [ Y ) = x + y. E suciente mostrar a ca X Y X[Y que os conjuntos A A e A s~o equipotentes. Com este propsito, associamos a a o X Y X[Y cada par (f; g) de fun~es, f 2 A , g 2 A , a fun~o f [ g 2 A co ca [Veja Teorema 3.8, Cap tulo 3]. Deixamos ao leitor vericar que esta associa~o estabelece uma equipot^ncia ca e X Y X[Y x y x+y entre os conjuntos A A e A . Portanto, a a = a . Teorema 5.8 Sejam x, y e z nmeros cardinais. Ent~o (z y )x = z yx . u a Demonstra~o. Sejam X, Y , e Z conjuntos com nmeros cardinais x, y e z respecca u tivamente. Conforme a Deni~o 5.4, o teorema est provado se estabelercemos que ca a Z Y Z (Z Y )X . Antes de mostrar esta equipot^ncia, necessitamos primeiro de uma e conven~o notacional: Para uma fun~o dada f : Y X ! Z e um elemento dado ca ca a a 2 X, existe uma fun~o f : Y ! Z denida por f a (b) = f(b; a) para todo b 2 Y . ca Deixamos ao leitor demonstrar que a fun~o : Z Y X ! (Z Y )X , que associa a cada ca Y X Y X f 2Z a fun~o ef 2 (Z ) , dada por ef (a) = f a para todo a 2 X, uma bije~o. ca e ca

Recordemo-nos que a A-proje~o pA : A B ! A uma fun~o que associa a ca e ca cada par ordenado (a; b) 2 A B o elemento a; a B-projeo pB : A B ! B ca e analogamente denida [veja Problema 8, Exerc cios 3.5.1]. Teorema 5.9 Sejam a, b e x nmeros cardinais. Ent~o (ab)x = ax bx . u a

100

Numeros Cardinais e Aritmtica Cardinal e

Demonstra~o. Sejam A, B e X conjuntos com nmeros cardinais a, b e x, respectivaca u X X X ca mente. A fun~o : (AB) ! A B , que emparelha cada fun~o f : X ! AB ca X X com a fun~o (pA f; pB f ) em A B , bijetora (Demonstre-o!). Portanto, pela ca e Deni~o 5.4, (ab)x = ax bx . ca

Recordemo-nos que os s mbolos @0 e c denotam os nmeros cardinais dos conjuntos u N e R, respectivamente, e que Q N (veja Exemplo 4.5, Cap tulo 4), e ]0; 1[ R (veja Exemplo 4.3, Cap tulo 4). Assim, @0 o nmero cardinal de Q e c o nmero cardinal e u e u do intervalo ]0; 1[.

Teorema 5.10 2@0 = c. Demonstra~o. Demonstraremos isto em duas etapas, mostrando primeiro que c 2@0 ca e ent~o que 2@0 c. a Considere a fun~o f : R ! }(Q), denida por ca f (a) = fx 2 Q j x < ag; para cada a 2 R

Esta fun~o injetora: Se a < b s~o dois nmeros reais distintos, ent~o existe um ca e a u a a 2 e nmero racional r tal que a < r < b.5 Ent~o r 2 f (b) mas r 6f (a), e portanto f u injetora. Isto demonstra, usando-se os resultados do Problema 3, Exerc cios 5.2.1, e o Exemplo 5.7, que c card }(Q) = 2@0 Para provar a desigualdade reversa, seja : f0; 1gN ! R a fun~o denida por ca (f ) = 0; f (1)f(2)f (3) em que f 2 f0; 1gN . Note que (f ) um nmero decimal (consistindo de 0's e 1's). e u N Se f; g 2 f0; 1g e f 6g, ent~o (f) 6(g) porque as decimais que denem (f ) e = a = (g) s~o diferentes. Portanto, : f0; 1g ! R injetora, e portanto 2@0 c. a e Corolrio 5.2 @0 < c. a Demonstra~o. Pelo Teorema de Cantor (Teorema 5.2) e pelo resultado do Exemplo ca 5.7, temos @0 < card }(N) = 2card N = 2@0 = c

Porque os nmeros racionais s~o um subconjunto denso dos nmeros reais. u a u

 Numeros Cardinais e Aritmetica Cardinal

101

5.6.1

Exerc cios

1. Demonstre que a fun~o : B A ! Y X , da demonstra~o do Teorema 5.6, bijetora. ca ca e 0 1 2. Seja a um nmero cardinal arbitrrio. Demonstre que a = 1, a = a, e 0a = 0 se u a a 60. = 3. Demonstre que 2a > a para todo nmero cardinal a. u 4. Sejam a, b, x, e y nmeros cardinais tais que a b e x y. Demonstre que ax by . u 5. Demonstre que n@0 = c = @@0 para todo n 2 nito. 0 6. Demonstre que c@0 = c = cn para qualquer n 1 nito. 7. Seja C o conjunto de todos os nmeros complexos. Demonstre que card C = c. u 8. Demonstre que @0 c = c. 9. Demonstre que a fun~o de }(A) em f0; 1gA , que associa cada D em }(A) a D , ca e bijetora. 10. Sejam A, X, e Y conjuntos tais que X e Y s~o disjuntos. Demonstre que a fun~o a ca X Y X[Y X Y X[Y , que associa cada (f; g) em A A a f [ g em A , e de A A em A bijetora. 11. Demonstre que a fun~o : Z Y X ! (Z Y )X , na demonstra~o do Teorema 5.8, ca ca e bijetora. 12. Demonstre que a fun~o : (A B)X ! AX B X , na demonstra~o do Teorema ca ca 5.9, bijetora. e

5.7

Outros exemplos de aritmtica cardinal e

Exemplo 5.8 Demonstre que cc = c, usando o Teorema 5.10 [cf. Exemplo 5.6]. Demonstra~o. Dos Teoremas 5.7 e 5.10, e do Exemplo 5.3, @0 + @0 = @0 , segue que ca cc = 2@0 2@0 = 2@0 = c Exemplo 5.9 Compare o nmero cardinal do conjunto ff j f : R ! Rg, de todas as u fun~es de R em R, com o nmero cardinal de R. co u Solu~o. Temos ca cardff j f : R ! Rg = cc = (2 ) =2 = 2c >c
@0 c @0 c

Deni~o 5.4 ca Teorema 5.10 Teorema 5.8 Problema 8, Exerc cios 5.6.1 Exemplo 5.7, Teorema 5.2

Portanto, cardff j f : R ! Rg > card R. Exemplo 5.10 Sejam C(R; R) e C(Q; R) os conjuntos de fun~es reais cont co nuas, com dom R e Q, respectivamente. Seja K(R; R) o conjunto de todas as fun~es reais nio co constantes com dom R. Demonstre que nio card C(R; R) = card C(Q; R) = card K(R; R) = c

102

Numeros Cardinais e Aritmtica Cardinal e

ca ca Demonstra~o.6 A cada fun~o f : R ! R, corresponde uma fun~o f jQ : Q ! R, ca denida por (f jQ)(x) = f (x), para todo x 2 Q. A fun~o f jQ chamada a restri~o ca e ca de f a Q. Portanto, existe uma fun~o natural ca : C(R; R) ! C(Q; R) que leva cada f 2 C(R; R) em sua restri~o fjQ. E claro que a restri~o de uma fun~o ca ca ca cont nua cont e nua. Portanto uma fun~o bem-denida. e ca Da propriedade de densidade dos nmeros racionais dentro dos nmeros reais, u u segue que para cada nmero real x existe uma seq^ncia fxn j n 2 Ng, de nmeros u ue u racionais, tal que lim xn = x
n!1

Conseqentemente, se duas funoes cont u c~ nuas f; g : R ! R tem a propriedade de que f (x0 ) = g(x0 ) para todo x0 2 Q, ent~o f (x) = g(x) para todo x 2 R. Em outras a palavras, a fun~o : C(R; R) ! C(Q; R) injetora. Portanto temos ca e card C(R; R) card C(Q; R) card RQ = c@0 = (2@0 )@0 = 2@0 @0 = 2@0 = c pelos Teoremas 5.8 e 5.10. Agora, considere o conjunto K(R; R) de todas as fun~es reais constantes, com co dom R. Como para cada nmero real a, existe uma fun~o constante fa : R ! R, nio u ca denida por fa (R) = fag, temos card K(R; R) = c Como cada fun~o constante fa : R ! R cont ca e nua, temos K(R; R) C(R; R). Portanto, c = card K(R; R) card C(R; R) o que, combinado com a desigualdade obtida no ultimo pargrafo, nos d a a c = card K(R; R) card C(R; R) card C(Q; R) c Isto completa a demonstra~o de que card C(R; R), card C(Q; R) e card K(R; R) s~o ca a todos iguais a c. O resultado do Exemplo 5.10 indica que as fun~es constantes s~o t~o \numerosas" co a a quanto as fun~es cont co nuas. Esta outra ilustra~o das propriedades curiosas dos e ca conjuntos innitos.
6

A demonstra~o pode ser omitida, a critrio do professor. ca e

 Numeros Cardinais e Aritmetica Cardinal

103

Exemplo 5.11 Encontre o nmero cardinal do conjunto D(R; R) de todas as fun~es u co reais diferenciveis de uma varivel real. a a Solu~o. Como cada fun~o constante diferencivel e cada fun~o diferencivel ca ca e a ca a e cont nua, temos K(R; R) D(R; R) C(R; R) Pelo exemplo 5.10, temos c = card K(R; R) card D(R; R) card C(R; R) = c Portanto, card D(R; R) = c.

5.7.1

Exerc cios

1. Mostre que o espao n-dimensional Rn = R R R (n fatores) contm c e \exatamente tantos" pontos quanto o intervalo aberto unitrio ]0; 1[. a 2. O espao de Hilbert clssico consiste de todas as seq^ncias innitas c a ue u e (x1 ; x2 ; x3 ; : : : ) de nmeros reais, chamadas pontos, para as quais a srie x2 +x2 +x2 + 1 2 3 converge. Mostre que o espao de Hilbert clssico contm \exatamente tantos" pontos c a e quanto a reta real R. 3. Seja R@0 o conjunto de todas as seq^ncias innitas (x1 ; x2 ; x3 ; : : : ) de nmeros ue u @0 @0 reais, chamadas pontos no espao R . Um ponto reticulado em R um ponto c e (x1 ; x2 ; x3 ; : : : ) tal que todos os xk 's s~o inteiros. Mostre que o espao R@0 contm a c e @0 \exatamente tantos" pontos quanto o conjunto de pontos reticulados em R . 4. Mostre que existem \exatamente tantas" funoes de uma varivel real que assumem c~ a apenas os valores 0 e 1 quantas fun~es reais de n variveis, sendo n um nmero natural co a u qualquer. 5. Seja f o nmero cardinal do conjunto ff j f : R ! Rg de todas as fun~es reais de u co uma varivel real. Mostre que a f n = f @0 = f c = f para todo n 2 N.

5.8

A hiptese do cont o nuo e sua generaliza~o ca

Como todo conjunto innito contm um conjunto enumervel (Teorema 4.11, Cap e a tulo 4), o nmero cardinal @0 o menor nmero cardinal transnito. Uma quest~o importante, u e u a conhecida como o problema do cont nuo, foi levantada por Cantor, em torno de 1880: Existe um nmero cardinal que est estritamente entre @0 e 2@0 (= c)? Em linguagem de u a conjuntos, existem subconjuntos n~o enumerveis de R com nmero cardinal menor que a a u o de R? Cantor e muitos matemticos de ponta tentaram em v~o resolver este problema. a a Como nenhum tal conjunto foi encontrado em parte alguma na matemtica clssica, e a a parecia n~o haver nenhum modo de encontrar algum, foi conjeturado por Cantor e outros a que a resposta ao problema do cont nuo deveria ser n~o. Esta conjetura conhecida a e como hiptese do cont o nuo.

104

Numeros Cardinais e Aritmtica Cardinal e

Hiptese do Cont o nuo. N~o h nenhum nmero cardinal x satisfazendo @0 < x < a a u @0 c(= 2 ).

Uma quest~o intimamente relacionada ao problema do cont a nuo, citado habitualmente como problema do cont nuo generalizado, o seguinte: Existe algum nmero e u a cardinal que est estritamente entre um nmero cardinal transnito a e 2 ? Esta quest~o a u a tambm n~o foi respondida. A conjetura de que n~o existe um tal nmero cardinal e a a u e chamada hiptese do cont o nuo generalizada.

Hiptese do Cont o nuo Generalizada. Para qualquer nmero cardinal transnito a, u n~o h nenhum nmero cardinal x tal que a < x < 2a . a a u

Logo em 1900, no Congresso Internacional de Matemticos, em Paris, o grande a 7 matemtico alem~o David Hilbert (1862{1943) apresentou uma lista de 23 problemas a a matemticos n~o resolvidos, sendo o primeiro deles o problema do cont a a nuo. Nenhum progresso foi feito em solucionar este problema at 1938, quando Kurt Gdel8 (1906{ e o 1978), o notvel lgico do sculo, demonstrou que se a hiptese do cont a o e o nuo adicionada e aos axiomas usuais das teoria dos conjuntos, ent~o qualquer contradi~o que poderia a ca ser implicada por este sistema de axiomas pode ser formulada como uma contradi~o ca implicada pelos axiomas iniciais (sem a hiptese do cont o nuo generalizada) sozinhos.9 Em outras palavras, a hiptese do cont o nuo generalizada relativamente consistente e com os axiomas da teoria dos conjuntos. Finalmente, em 1963, uma conquista signicativa foi feita pelo jovem matemtico a Paul J. Cohen (1934{ ) da Stanford University, que declarou que a hiptese do cont o nuo generalizada indemonstrvel com base nos axiomas usuais da teoria dos conjuntos. e a Portanto, o status da hiptese do cont o nuo, na teoria dos conjuntos, anlogo ao do e a
7 David Hilbert (1862{1943), um matemtico notvel de todos os tempos, foi professor de matemtica a a a na Universidade de Gttingen, Alemanha (1895{1943). Inuenciou totalmente o mundo da matemtica o a e e o sica matemtica. O famoso espao a c moderna, desde a lgebra do 19o sculo at a lgica moderna e a f a de Hilbert uma de suas muitas contribuioes. Hilbert acreditava que todas as idias matemticas e c~ e a encaixavam-se num todo harmoniosamente. 8 Kurt Gdel (1906{1978) do Institudo de Estudos Avanados de Princeton, em Nova Jersey, nasceu o c na Tchecoslovquia. Conseguiu fama primeiramente aos 25. Estudiosos famosos, incluindo Bertrand a Russel (1872{1970) e Alfred North Whitehead (1861{1947), haviam sugerido a exist^ncia de guias e absolutos veracidade ou falsidade de certas proposioes matemticas. Gdel chocou o mundo dea c~ a o monstrando que o que Russel e Whitehead buscavam n~o existia. Suas outras grandes contribui~es a co incluem a demonstra~o da completude da lgica de quanticadores e a demonstra~o da consist^ncia ca o ca e de ambos a hiptese do cont o nuo generalizada e o axioma da escolha. 9 Veja K. Gdel, The Consistency of the Axiom of Choice and of the Generalized Continuum Hypotesis o with the Axioms of Set Theory, Princeton University Press, Princeton, N.J., 1940, 66 pp. Rev. ed., 1951, 74 pp.

 Numeros Cardinais e Aritmetica Cardinal

105

axioma das paralelas de Euclides (o Quinto Postulado) na geometria. Podemos postula los ou neg-los, em qualquer caso obtendo um teoria matemtica consistente. a a