Professional Documents
Culture Documents
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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.
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