A cardinalidade dos nmeros reais.

Todo conjunto cujos elementos podem ser colocados em correspondncia um-a-um (bijetora ou biunvoca) com os nmeros naturais dito contvel (enumervel) e tem a mesma cardinalidade dos conjuntos dos nmeros naturais, isto , . Cantor mostrou que o conjunto dos nmeros racionais tambm contvel (enumervel), com cardinalidade . Para mostrar isso, Cantor organizou os racionais na forma de uma tabela. Cada linha tem fraes com o mesmo numerador, comeando de 1 e seguindo a ordem crescente, e cada coluna tem fraes com o mesmo denominador, na mesma ordem. fcil constatar que essa tabela contm todos os nmeros racionais.

Comeando na ponta onde fica 1/1, basta seguir as setas e associar cada

racional com um inteiro, em ordem crescente. Desta forma, a cada inteiro corresponde um racional e a cada racional corresponde um inteiro.

Mas, como sabemos desde Pitgoras, nem todo nmero racional. Existem nmeros, como e , que no podem ser escritos como uma frao entre dois inteiros. Esses so os nmeros irracionais. O conjunto de todos os nmeros, racionais e irracionais, forma o conjunto dos NMEROS REAIS. Pois bem, Cantor conseguiu mostrar que o conjunto dos nmeros reais no contvel (no enumervel), isto , tem cardinalidade maior que . Em outras palavras, no possvel fazer uma correspondncia um-a-um (bijetora) entre todos os inteiros e todos os reais pois sempre sobraro nmeros reais no contados. Para mostrar isso, Cantor nem usou todos os nmeros reais. Basta considerar os nmeros reais que existem entre 0 e 1, o segmento unitrio. Qualquer nmero entre 0 e 1 pode ser escrito com uma representao decimal com um nmero infinito de algarismos depois da vrgula. Exemplos: 0,33333 ... , 0,707 ... , 0,785398 ... etc. claro que existem nmeros reais com um nmero finito de algarismos depois da vrgula. Por exemplo: 2/4 = 0,5. Ou, 3/8 = 0,375. Ento, para esses, colocaremos uma

infinidade de zeros aps o ltimo algarismo. Isto , fazemos 2/4 = 0,50000 ... e 3/8 = 0,3750000 ... Agora, suponha que voc faz uma lista de nmeros reais diferentes, associando cada um deles a um nmero inteiro. Isto , voc faz uma lista como essa, vista abaixo, por exemplo:

A pergunta : ser que, fazendo essa lista para todos os inteiros que existem, usaremos todos os reais que existem, sem esquecer nenhum? A resposta, achada por Cantor, foi: no. Mesmo que a lista inclua todos os inteiros, ainda sobraro infinitos nmeros reais que no foram includos na lista. Como sabemos disso? Basta considerar um certo nmero real X formado da seguinte maneira: escrevemos o 0 e a vrgula e o primeiro algarismo aps a vrgula deve ser diferente de 2, que o primeiro algarismo depois da vrgula no real associado ao inteiro 1. O segundo algarismo depois da vrgula, nesse real

X, deve ser diferente de 1, que o segundo algarismo depois da vrgula no real associado ao inteiro 2. E, assim por diante. Por exemplo, o real obtido poderia ser: 0,39758 .... A aritmtica do cardinal C parecida com a de . Temos: C + real X, portanto, no foi contado na lista de correspondncias com os Esse = C inteiros pois o algarismo em uma posio qualquer n depois da vrgula C x = difere = C algarismo na mesma posio da lista acima. claro que sempre x C do podemos obter um nmero infinito de nmeros reais, usando esse CxC=C processo, que no esto contidos na lista de associao com os inteiros. C = C. Portanto, a cardinalidade do conjunto dos nmeros reais maior que . Entretanto, Cantor no afirmou que a cardinalidade dos reais , pois Almtinha certeza se poderia haver algum conjunto com cardinalidade = C. Isto significa que, no disso, Cantor conseguiu mostrar que elevando o nmero a cardinalidade dospotncia e obtemos um nmero intermediria entre transfinito a uma naturais , a cardinalidade dos transfinito ainda maior, que cardinalidade vez, CC d, de C,resultado, um reais. Chamou, ento, a C. Por sua dos reais como significando transfinito maior que C. Esse novo transfinito a cardinalidade do conjunto "contnuo". de todas as curvas possveis de serem desenhadas em um plano. H A demonstrao foi feita com os reais no intervalo quem chame esse novo cardinal de , mas, ningum conseguiu mostrar entre 0 e 1, mas, no h nenhuma diferena se isso at agora. tomarmos o intervalo de a + . Isso fica evidente nasurpreendente resultado que vimos para o conjunto N dos O mesmo figura ao lado, onde vemos que existe uma correspondncia um-a-um entre os "diludo"do outros conjuntos que nmeros naturais, isto , que pode ser pontos em semi-crculo que cardinalidade, intervalo (0, 1) e a com o conjunto do tm a mesma representa o tambm acontece reta infinita. Por exemplo, foi mostrado que o conjuntos dos nmeros contnuo, C. irracionais tem a mesma cardinalidade que os reais, C, mesmo quando sabemos que os irracionais so apenas parte dos reais. A busca de conjuntos com cardinalidade maior que C levou Cantor a obter resultados ainda mais intrigantes.