Uma introduo ao estudo dos nmeros transfinitos

Anna Beatriz Amaral Santos - UFF abas@pontocom.com.br Carla do Nascimento Lopes - UFF Marisa Ortegoza da Cunha - UFF ganmoc@.vm.uffcom.br

Uma introduo ao estudo dos nmeros transfinitos

Ao tentar transferir para conjuntos infinitos propriedades vlidas em conjuntos finitos, nossa intuio pode falhar surpreendentemente. Nem mesmo o Axioma Euclidiano, que afirma que o todo maior do que a parte, to bvio quando se trata de quantidades finitas, continua vlido se, por exemplo, tomarmos o conjunto IN dos nmero naturais. Aceitando o fato de que uma bijeo entre conjuntos estabelece que ambos tm a mesma quantidade de elementos, fcil ver que a funo f: IN 2IN, definida por f(n) = 2n, entre os naturais e os naturais pares, uma bijeo. Logo, IN e um seu subconjunto prprio possuem a mesma quantidade de elementos. H que se ter muito cuidado, portanto, ao lidar com grandezas infinitas! Alm disso, podemos nos perguntar se h mais de um infinito e, em caso afirmativo, se possvel compar-los. Questes como estas foram corajosamente abordadas por Cantor e a notao adotada neste texto segue aquela introduzida por esse matemtico, em seus trabalhos de 1895 e 1897 [Cantor, 1955]. O objetivo deste texto apresentar os conceitos bsicos que conduzem a algumas respostas. Desde os primeiros contatos com a matemtica, lidamos com conjuntos e aprendemos que dois conjuntos so iguais quando possuem exatamente os mesmos elementos. Neste contexto, porm, no somente nos preocuparemos com quais so os elementos de um dado conjunto, mas, principalmente, com a forma como esto dispostos, ou seja, a ordem em que so listados. Para isso, precisamos da seguinte definio: Uma relao R num conjunto A uma relao de ordem estrita (ou simplesmente uma relao de ordem) quando: (i) (ii) (iii)

x A, ~(xRx) (irreflexividade) x, y A, se xRy ento ~(yRx) (assimetria) x, y, z A, se xRy e yRz ento xRz (transitividade)

Se xRy dizemos que x precede y ou que y segue x (ou ainda que y sucessor de x) e escrevemos x

y.

Exemplo 1. Consideremos a relao < definida no conjunto IN dos nmeros naturais. Temos ento que 3 precede 5, que 10 segue 7 e que 0 no sucessor de nenhum nmero natural. Um conjunto ordenado um conjunto no qual foi definida uma relao de ordem e representado pelo par (conjunto, relao). Por exemplo, se A um conjunto no qual est definida a relao de ordem R tal que x, y A, x R y x y, podemos escrever (A, R) ou (A, ). Exemplo 2. a) Indicando por R1 a ordem natural dos nmeros naturais, temos que (IN, R1) um conjunto ordenado, isto , (IN, R1) = {1, 2, 3, ...}. b) Indicando por R2 a ordem inversa de R1, ou seja, escrevendo os nmeros naturais na ordem decrescente, temos que (IN, R2) um conjunto ordenado, onde (IN, R2) = {..., 3,2,1}. Exemplo 3. A partir de um conjunto com 3 elementos podemos obter 6 conjuntos ordenados distintos: {a,b,c}, {a,c,b}, {b,a,c}, {b,c,a}, {c,a,b} e {c,b,a}. De modo geral, um conjunto de n elementos pode ser ordenado de n! maneiras distintas. Um subconjunto de um conjunto ordenado (A, R) um conjunto ordenado (B, R), onde B A. Em outras palavras, a relao entre dois elementos de B a mesma existente quando considerados como elementos de A.

42

Caderno D Licena
Observaes. 1) Quaisquer dois conjuntos ordenados finitos de mesma cardinalidade so similares. 2) Se um conjunto similar a um outro, bem-ordenado, ele tambm bem-ordenado. Exemplo 6. Os conjuntos ordenados (IN, R1) = {1, 2, 3, ...} e (IN, R2) = {..., 3, 2, 1} no so similares, visto que o primeiro possui primeiro elemento e o segundo, no. No exemplo 1 introduzimos a ordem inversa para o caso particular da ordem natural definida em IN. Podemos estender essa definio a todo conjunto ordenado: Dado o conjunto ordenado (A, R), podemos obter um outro conjunto ordenado (A, R*), onde R* a ordem inversa de R. Para simplificar a notao, quando tratarmos de subconjuntos de IR com a ordem natural dos reais, omitiremos o smbolo da ordem. Analogamente, quando a ordem for a inversa da natural, indicaremos apenas o conjunto assinalado com *. Assim, podemos escrever (IN, R1) = IN (IN, R2) = (IN, R1*) = IN* Podemos verificar que a relao de similaridade definida entre conjuntos ordenados uma relao de equivalncia. Em outras palavras, a coleo de todos os conjuntos ordenados se decompe em classes de equivalncia, de forma que dois conjuntos ordenados pertencem mesma classe se, e somente se, so similares. A cada uma dessas classes de equivalncia associado um smbolo, chamado tipo de ordem. O tipo de ordem de uma classe o mesmo de qualquer um de seus representantes e indicamos o tipo de ordem de um conjunto A por A . Se A e B pertencem mesma classe de equivalncia, ento eles tm o mesmo tipo de ordem e escrevemos A = B . No quadro abaixo mostramos algumas representaes de tipos de ordem de uso j consagrado.

Exemplo 4. Considerando o conjunto ordenado (A, R) = {a,b,c,d}, ento B = {a,c,d} e C = {b,c} so subconjuntos de (A, R) e D = {b,a} no o . Dado um conjunto ordenado (A, ) um elemento a A chamado o primeiro elemento de A quando a no sucessor de nenhum outro elemento de A, ou seja, quando a b, para todo b em A, b a. Analogamente, temos o conceito de ltimo elemento. Se a, b e c esto em A, a b e b c, dizemos que b est entre a e c. Um conjunto ordenado (A, R) um conjunto bemordenado quando todo subconjunto no vazio de A possui um primeiro elemento. O conjunto vazio , por definio, bem-ordenado. Observaes. 1) Todo subconjunto de um conjunto bem-ordenado bem-ordenado. 2) Todo conjunto ordenado finito bem-ordenado, possuindo primeiro e ltimo elementos. Exemplo 5. a) O conjunto ordenado (IN, R1) do exemplo 2 tem primeiro elemento 1 e no tem ltimo elemento. Alm disso, todo subconjunto no-vazio de (IN, R1) tambm possui primeiro elemento; logo, (IN, R1) um conjunto bem-ordenado. b) Claramente, o conjunto ordenado (IN, R2) do exemplo 2 no bem-ordenado, uma vez que no tem primeiro elemento. Ele tem 1 como ltimo elemento. Vamos, agora, definir uma relao entre conjuntos ordenados que nos possibilitar compar-los: Dizemos que dois conjuntos ordenados (A, R1) e (B, R2) so similares, e representamos por (A, R1) ~ (B, R2), quando existe uma funo bijetiva f: A B tal que

a1, a2 A, se a1R1a2 ento f(a1)R2f(a2).

Nesse caso f chamada uma funo de similaridade de A em B. Em outras palavras, uma funo de similaridade de um conjunto ordenado em outro uma correspondncia 1-1 que deixa invariante a ordem de sucesso dos elementos. Se existe uma funo de similaridade de um conjunto ordenado A em um conjunto ordenado B ento dizemos que A e B so similares. Se os conjuntos A e B so similares, ento, ou ambos possuem um primeiro elemento ou nenhum possui. No caso afirmativo, obrigatoriamente, o primeiro elemento de A corresponde, sob a funo de similaridade, ao primeiro elemento de B.

conjunto ordenado {1, 2, 3, ..., n}

tipo de ordem n 0 1

{a} IN = {1, 2, 3, ...} IN* = {..., 3, 2, 1} Z = {..., -3, -2, -1, 0, 1, 2, 3, ...} Q IR

Outubro 2001 - Nmero 3 - ano 4

Veremos agora como possvel ordenar o conjunto U obtido ao se unir uma famlia ordenada de conjuntos Ai, ordenados e dois a dois disjuntos. A partir da poderemos definir o tipo de ordem de U. Para no sobrecarregar a notao, indicaremos cada conjunto ordenado apenas pelo conjunto em questo. Sejam n conjuntos ordenados, dois a dois disjuntos, ordenados na forma A1, ..., An. Seja U = A1 ... An. Se x, y U ento existem i, j no conjunto {1, ..., n} tais que x Ai e y Aj. Definimos em U a seguinte relao de ordem se i < j ento x se i = j ento x ordem definida em Ai

43

c) Sejam A = {b1, b2, b3, ...} e B = {a1, a2, a3, ...}. Ento

A = e B = e temos:
Se U1 = A* B = {..., b3, b2, b1, a1, a2, a3, ...} ento U1 = * + = . Se U2 = B A* = {a1, a2, a3, ..., b3, b2, b1} ento U 2 = d) Se A1 = {a}, A2 = ]a, b[, A3 = {b} e U = A1 A2

+ * .

A3 = [a, b], ento U = 1 + + 1.

e) Se A1 = {1, 3, 5, 7, ...}, A2 = {2, 4, 6, 8, ...} e U = A1 A2 = {1, 3, 5, 7, ..., 2, 4, 6, 8, ...} ento U = w + w . Podemos agora apresentar o conceito chave deste texto: os nmeros transfinitos. O tipo de ordem de um conjunto bem-ordenado finito chamado nmero ordinal finito. O tipo de ordem de um conjunto bem-ordenado infinito chamado nmero ordinal transfinito (ou simplesmente nmero transfinito). Em outras palavras, nmeros transfinitos so os tipos de ordem de conjuntos infinitos e bem-ordenados. Exemplo 9. a) Nmeros ordinais finitos: 0 (zero) e todos os naturais. b) Nmeros transfinitos: , + 1, + 2, entre outros. Note que os tipos de ordem *, , e no so nmeros ordinais porque so tipos de ordem de conjuntos ordenados, mas no bem-ordenados (IN*, Z, Q e IR, respectivamente). Uma vez definidos os nmeros ordinais, o prximo passo estabelecer um critrio para compar-los. Para isso, vamos precisar comparar os conjuntos bem-ordenados dos quais esses nmeros ordinais so tipos de ordem: Sejam (A, ) um conjunto ordenado e a em A. O conjunto de todos os elementos de A que precedem a chamado segmento do conjunto A determinado pelo elemento a e representado por Aa. Em smbolos: Aa = {x A | x a}. Sejam A e B conjuntos bem-ordenados. Dizemos que B menor do que A quando B similar a um segmento de A e escrevemos B < A. Sejam, agora, a e b nmeros ordinais e A e B conjuntos bem-ordenados de tipos a e b, respectivamente. Dizemos que b < a (ou que a > b) quando B menor do que A.

y y xRiy, onde Ri a relao de

Notemos que, ao ordenar os conjuntos a serem reunidos, determinamos a ordem de U; assim, ao unir uma coleo de conjuntos ordenados e dois a dois disjuntos, podemos obter diferentes conjuntos ordenados, como ilustra o exemplo 7.
Exemplo 7. Sejam A = {a, b} e B = {c, d, e, f}. Chamando A = A1 e B = A2, temos: A1 A2 = A B = {a, b, c, d, e, f}. Chamando B = A1 e A = A2, temos: A1 A2 = B A = {c, d, e, f, a, b}. Podemos concluir, portanto, que a unio ordenada de conjuntos ordenados depende da ordem na qual consideramos os conjuntos. O tipo de ordem do conjunto ordenado U , por definio, a soma (ordenada) dos tipos de ordem dos conjuntos ordenados considerados. A condio de que a soma dos tipos de ordem seja ordenada deriva da no comutatividade da soma de tipos de ordem, como ilustra o exemplo 8-b. Exemplo 8. a) Se A1 = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, A2 = {50, 51, ...}, A3 = {15} e U = A1 A2 A3, ento = 10 + + 1.

b) Sejam A = {a} e B = {b1, b2, b3, ...}. Se = A B ento U1 = 1 + = .

Se = B A ento U 2 = + 1 , uma vez que + 1 o tipo de ordem do conjunto {b1, b2, b3, ..., a}, no qual h um ltimo elemento.

44
Observaes.

Caderno D Licena

1. Em se tratando dos nmeros ordinais finitos, a definio equivale a afirmar que 0 < 1 < 2 < 3 < ... 2. Os nmeros transfinitos so maiores do que quaisquer nmeros ordinais finitos. 3. Para os nmeros ordinais vale a propriedade da tricotomia, isto , dados a e b nmeros ordinais, vale uma e apenas uma das afirmaes seguintes: a < b, a = b ou a > b. 4. Se A um conjunto bem-ordenado ento A no similar a qualquer de seus segmentos. A partir dessas propriedades, mostraremos que um conjunto formado por nmeros ordinais um conjunto bemordenado. A prova disso usa o Lema abaixo: Lema. Seja S uma coleo de conjuntos bem-ordenados no similares dois a dois. Ento existe em S um conjunto que menor do que todos os demais. Prova. Seja A S. Se A o menor dos conjuntos em S o teorema est provado. Se no, S contm conjuntos menores que A e eles so similares a segmentos de A. Seja B o conjunto dos elementos a do conjunto A tais que os segmentos Aa determinados por eles so similares a conjuntos em S. Se a* o primeiro elemento em B e A* S um conjunto similar ao segmento Aa* ento A* ser o menor conjunto em S. De fato, dado C S, temos que A* menor do que C se A menor do que C. Por outro lado, se C menor do que A ento C ~ Aa, para a em B. Mas a* o primeiro elemento em B; logo, a* a e ento A* menor do que A pois Aa* um segmento de Aa. Logo, A* menor do que C. Teorema 1. Seja M um conjunto de nmeros ordinais distintos. Ento existe em M um elemento que menor do que todos os demais. Prova.

M existe um conjunto bem-ordenado A cujo tipo de ordem . Pelo lema, entre esses conjuntos existe um, digamos, A0, que menor do que todos os demais. Seja 0 = A 0. Ento 0 o menor dos elementos no conjunto
Para cada M. Segue desse teorema o seguinte resultado: Corolrio. Todo conjunto de nmeros ordinais, ordenado pela magnitude de seus elementos, bem-ordenado. O Teorema 1 e seu Corolrio nos permitem concluir que no faz sentido considerar o conjunto de todos os nmeros ordinais. De fato, sendo um nmero ordinal e representando por W o conjunto dos nmeros ordinais menores que segue do Teorema 1 que W bem-ordenado, e pode-se provar que o tipo de ordem de W ,

. Assim, caso considers-

semos a existncia do conjunto de todos os nmeros ordinais, digamos, W, pelo Corolrio, W seria bem-ordenado, com tipo de ordem . Ento W e o segmento W teria o mesmo tipo de ordem de W, o que implicaria W e W similares, o que no pode ocorrer. Esse resultado conhecido como Antinomia de Burali-Forti. Se um nmero ordinal ento + 1 tambm o e, alm disso, o primeiro nmero ordinal que sucede . O interessante que, enquanto todo nmero ordinal possui um primeiro sucessor, existem nmeros ordinais que no possuem um ltimo predecessor. o caso, por exemplo, de . Dependendo de ter ou no um nmero imediatamente anterior, um nmero ordinal se classifica em nmero ordinal de primeiro ou segundo tipo, respectivamente.

Outubro 2001 - Nmero 3 - ano 4

Como conseqncia da existncia de nmeros ordinais de segundo tipo, quando estendemos a induo finita para a transfinita, no mais contamos com as duas possibilidades de hiptese de induo, a saber, de a propriedade a ser provada ser vlida para o antecessor imediato de um certo k ou ser vlida para todos os nmeros menores que k. Na induo transfinita, somente o segundo enunciado pode ser considerado. Exemplo 10. Todos os nmeros ordinais finitos, exceto o zero, e todos os nmeros ordinais da forma + 1 (como + 1) so nmeros ordinais de primeiro tipo. Como vimos anteriormente, nmero ordinal de segundo tipo. Dentre os nmeros ordinais transfinitos, aqueles que so tipos de ordem de conjuntos enumerveis constituem a chamada segunda classe de nmeros, representada por K0. A primeira classe constituda pelos nmeros ordinais finitos. Importante notar que h nmeros ordinais que no pertencem a nenhuma dessas classes, por serem tipos de ordem de conjuntos bem-ordenados no enumerveis. Veremos, no corolrio do Teorema 4, que o prprio conjunto K0 possui essa caracterstica. Inicialmente, vamos mostrar que o menor elemento de K0. Teorema 2. O nmero ordinal o menor nmero ordinal de segunda classe. Alm disso, o menor nmero transfinito. Prova. Por definio, o tipo de ordem do conjunto IN = {1, 2, 3, ...}. Todo segmento Nn desse conjunto um conjunto finito. Em conseqncia, um nmero ordinal menor do que um nmero ordinal finito. Logo, o menor nmero transfinito. Visto que K0, o teorema est provado. Teorema 3. Se Prova. Vimos que o tipo de ordem de W . Logo, +1 ordinais de S, ento K0. Prova.

45

Se S contm um maior elemento, , ento K0 e, pelo Teorema 3, + 1 K0 e + 1 o menor nmero maior do que todos os elementos de S. Se S no contm um maior elemento, ento seja o menor nmero ordinal maior do que todos os elementos de S. Claramente, temos

W = S W . Como S K0 e S enumervel, cada W

um conjunto bem-ordenado enumervel. Logo, W tambm um conjunto bem-ordenado enumervel, o que implica K0. Corolrio. A classe Ko no enumervel. Prova. Supondo K0 enumervel, seja um nmero ordinal maior do que todos os nmeros em K0. Claramente, K0, mas, pelo Teorema 4, K0, o que leva a uma contradio. Logo, K0 no enumervel. Consideremos agora os conjuntos divididos em famlias tais que dois conjuntos esto na mesma famlia quando existe uma bijeo entre eles. Associamos a cada uma dessas famlias um smbolo e chamamos esse smbolo de potncia de todo conjunto dessa dada famlia. Exemplo 11. Os conjuntos IN = {1, 2, 3, ..} e 2IN = {2, 4, 6, ...} tm a mesma potncia, pois, como vimos no incio do texto, a funo f: IN 2IN tal que f(n) = 2n , claramente, uma bijeo. Como uma funo de similaridade uma bijeo, se dois conjuntos ordenados so similares ento possuem a mesma potncia. Representando a potncia de um conjunto A por A 1, temos que se A = B ento A = B . A recproca, entretanto, no verdadeira. De fato, como vimos no exemplo 6, (IN, R1) e (IN, R2) no so similares, embora possuam a mesma potncia. A potncia de um conjunto bem-ordenado chamada aleph (aleph a primeira letra do alfabeto hebreu e representada pelo smbolo ). Os alephs de conjuntos infinitos so chamados alephs infinitos. O smbolo 0 (aleph zero) representa a potncia de um conjunto enumervel. Podemos dizer, ento, que a potncia de IN 0 .

K0 ento

+ 1 K0.

o tipo de ordem do conjunto bem-ordenado. Se ento W { Teorema 4.

W { }, que tambm
+ 1 K0.

K0, isto , se W for enumervel

} tambm o ser; logo,

Se S um subconjunto enumervel de K0 e o menor nmero ordinal maior do que todos os nmeros

Cantor tentou definir potncia com o auxlio da seguinte expresso: A potncia de um dado conjunto A o que permanece ao abstrairmos todas as propriedades de seus elementos e tambm a sua ordem. A barra dupla sobre a letra indicativa do conjunto corresponde, no entender de Cantor, a essa dupla abstrao.

46
Teorema 5.

Caderno D Licena

No existem potncias intermedirias entre Prova.

0 e a potncia do conjunto K0.

Seja o primeiro nmero ordinal seguindo K0. Seja W a unio do conjunto enumervel IN = {1, 2, 3, ...} e K0. Ento a potncia de W igual de K0. Suponhamos que exista uma potncia m tal que 0 < m < potncia de K0. Ento podemos extrair um subconjunto M, de potncia m, de W . Como todo segmento de W determinado por um nmero de IN ou de K0, isto , um conjunto finito ou enumervel, temos que M tambm finito ou enumervel, mas isso contradiz a hiptese m = M > 0 . Diante desse resultado, nada mais natural do que atribuir potncia de K0 o smbolo 1 (aleph 1). Podemos, ento, reescrever o Teorema 5: no existem potncias intermedirias entre

0 e 1 .

Como 0 < 1 , intuitivamente, temos que a quantidade de elementos em K0 maior do que a quantidade de elementos em IN. Por ser um conjunto no enumervel, seria impossvel adotar uma notao para todos os elementos de K0. Podemos, no entanto, vislumbrar seqncias crescentes desses nmeros:

< + 1 < ... < + n < ... < + = .2

< .2 + 1 < ... < .2 + n < ... < .2 + = .3 < < ... < . = 2 < ... < n < ... < < + 1 < ... denotado por . Os nmeros seguindo so + 1,

O primeiro nmero seguindo os nmeros da forma + 2, e assim por diante.

Assim como a comparao de nmeros ordinais se baseou na comparao entre os conjuntos dos quais esses nmeros eram tipos de ordem, podemos tambm comparar dois alephs a partir da comparao dos conjuntos dos quais so potncias. Decorre da que, qualquer conjunto de alephs, ordenado segundo suas magnitudes, bem-ordenado. A propriedade da tricotomia, vlida para os nmeros ordinais, tambm vale para os alephs. Como vimos anteriormente, no possvel considerar o conjunto de todos os nmeros ordinais. Da mesma forma, no podemos considerar o conjunto de todos os alephs, como fica claro a partir do Teorema 6. Antes, porm, uma notao: Dado um conjunto ordenado A, de tipo de ordem a potncia de A, ou seja, se Teorema 6. 1. No existe um aleph maior que todos. 2. Para cada conjunto M de alephs, existem alephs maiores que todos os alephs em M. Prova. 1. Seja a um aleph. Ento existe um conjunto bem-ordenado A cuja potncia a. Consideremos, juntamente com A, todos os conjuntos bem-ordenados consistindo dos mesmos elementos mas correspondendo a outros mtodos de ordenao. Os tipos de ordem desses conjuntos formam um conjunto T de nmeros ordinais. Seja um nmero ordinal maior do , isto , A = , podemos escrever A = para representar

um nmero ordinal, um aleph.

Outubro 2001 - Nmero 3 - ano 4

que todos os elementos de T e seja b = . Ento b um

47

aleph e b > a. De fato, se = A , ento Te < . Mas ento a b. Suponhamos a = b. Nesse caso possvel estabelecer uma correspondncia , 1-1, entre A e W (conjunto dos nmeros ordinais menores do que ). Seja A0 o conjunto consistindo dos mesmos elementos de A mas ordenados de tal modo que a ordem de precedncia entre dois elementos quaisquer de A corresponda quela existente entre os elementos a eles relacionados por j. Ento o conjunto A0 similar a W , o que significa que seu tipo de ordem e, ento, T, o que contradiz a definio de . Logo, a nica alternativa possvel b > a. 2. Podemos supor que no h um aleph maior em M e que os alephs em M so distintos. Associamos a cada aleph em M um conjunto bem-ordenado, tendo aquele aleph como potncia, e formamos a unio U desses conjuntos, seguindo a ordem dos elementos de M. Como M bem-ordenado, o conjunto U, sendo a unio de um conjunto bem-ordenado de conjuntos bem-ordenados , ele prprio, bem-ordenado e sua potncia um aleph. claro que esse aleph maior do que todos os alephs em M, pois todo aleph em M potncia de um subconjunto de U e, assim, no maior do que a potncia de U. Corolrio. Todo aleph possui um aleph imediatamente sucessor. Prova. De fato, como qualquer conjunto de alephs bemordenado, se M um conjunto de alephs e a M, ento, pelo Teorema 6, existe um aleph b, em M, maior do que todos os demais em M. Se b segue imediatamente a, a afirmativa est provada. Se no, considerando o conjunto dos alephs m tais que a < m < b, existe um menor elemento entre eles que o aleph procurado. O conjunto IR, dos nmeros reais, munido da ordem natural, no um conjunto bem-ordenado. Entretanto, exis-

te um teorema, enunciado a seguir, e cuja demonstrao pode ser encontrada em [Natanson, 1960], que garante a possibilidade de se ordenar qualquer conjunto de forma a torn-lo bem-ordenado: Teorema 7. (E. Zermelo) Todo conjunto pode ser bem-ordenado. Com esse surpreendente resultado, podemos interpretar toda potncia como aleph. A partir da podemos nos perguntar qual aleph seria a potncia do conjunto dos nmeros reais. Esse problema, conhecido como problema do contnuo, ainda est em aberto e h uma hiptese de que seja .

Finalizando, h um mtodo, conhecido como mtodo da diagonal, devido a Cantor, de constatarmos a existncia de uma quantidade infinita de infinitos: dado um conjunto qualquer, X, infinito, exibiremos um segundo conjunto, de potncia maior do que a de X. Para isso, demonstramos o seguinte Teorema 8. Sejam X e Y conjuntos arbitrrios, onde Y contm, pelos menos, dois elementos. No existe uma funo sobrejetiva de X em F(X, Y), onde F(X, Y) denota o conjunto das funes definidas de X em Y. Prova. Seja : X F(X, Y), arbitrria. A partir de definimos a funo constante x: X Y que associa cada elemento de X ao valor (x). Definimos, agora, uma funo f: X Y tal que, para cada x em X, f(x) x(x). Isso possvel porque Y possui, pelo menos, dois elementos. Dessa forma, a funo f diferente da funo x, para todo x em X. Logo, f (X) e, portanto, no sobrejetiva. H toda uma lgebra definida para os nmeros transfinitos, que pode ser encontrada, por exemplo, em [Cantor, 1955], mas que foge ao carter introdutrio deste texto.

48

Caderno D Licena

Bibliografia

Cantor, G. Contributions to the Founding of the Theory of Transfinite Numbers.NY: Dover Publications, Inc., 1955. Halmos, P.R. Naive Set Theory. NY: Springer-Verlag, 1987. Natanson, I.P. Theory of Functions of a Real Variable. NY: Frederick Ungar Publishing Co., 1960. Wilder, R. Introduction to the Foundations of Mathematics. 2nd. Ed. NY: John Wiley & Sons, Inc., 1965.