Departamento de Matemtica

OS IRRACIONAIS TM MEDIDA TOTAL

Aluno: Pedro Chaves Meurer Moreira
Orientadores: Flavio Abdenur/Marcos Craizer

Introduo
Os nmeros reais se dividem em nmeros racionais e nmeros irracionais. Um
nmero dito racional se ele pode ser expresso como a razo entre dois nmeros inteiros; um
nmero irracional se isto no ocorre. A experincia cotidiana sugere que os racionais so
muito mais abundantes do que os irracionais. De fato, no trivial mostrar sequer a existncia
dos nmeros irracionais. Mas a teoria da cardinalidade, desenvolvida por Georg Cantor no
final do sculo XIX, juntamente com a axiomatizao da probabilidade, proposta por A.
Kolmogorov na primeira metade do sculo XX, mostra que os nmeros irracionais so muito
mais abundantes do que os racionais. To mais abundantes que, se voc escolher um nmero
real de maneira verdadeiramente aleatria, ento a probabilidade de se obter um nmero
irracional de 100%.
Objetivos
Demonstrar a enumerabilidade do conjunto dos nmeros racionais, a noenumerabilidade do conjunto dos nmeros irracionais, e da deduzir que os racionais so
insignificantes do ponto de vista probabilstico.
Metodologia
No final do sculo XIX o matemtico Georg Cantor estudou a questo de se definir o
"tamanho" de um conjunto, em termos do nmero de elementos que ele contm. Um conjunto
finito F simplesmente um conjunto que se pode contar at ele acabar: este aqui o primeiro
elemento de X, este o segundo, etc, ..., e este aqui o n-simo elemento de F, e... acabou.
Pronto: F finito, e tem n elementos. Cantor disse que a cardinalidade de X n. Sem grandes
mistrios aqui.
Mas no caso de conjuntos infinitos, a cardinalidade um conceito muito mais sutil. Cantor
percebeu que se pode comparar a cardinalidade de dois conjuntos X e Y atravs da existncia
(ou no) de aplicaes bijetivas entre X e Y.
Um conjunto infinito pode ter a mesma cardinalidade de um subconjunto prprio dele mesmo.
Por exemplo, o conjunto dos nmeros inteiros tem a mesma cardinalidade do conjunto de
nmeros inteiros pares. De fato, essa patologia -- ter a mesma cardinalidade de um
subconjunto prprio -- caracteriza os conjuntos infinitos.
E a coisa no pra por a. Cantor percebeu que existem conjuntos infinitos que so mais
infinitos do que outros.
Os conjuntos que tm a mesma cardinalidade que o conjunto dos nmeros inteiros so
chamados de conjuntos enumerveis. Por exemplo, o conjunto dos nmeros inteiros
enumervel, assim como o conjunto dos nmeros naturais, e assim como tambm -- o que
crucial para ns -- o conjunto dos nmeros racionais. Os conjuntos enumerveis so aqueles

Departamento de Matemtica

cujos elementos podem ser contados, desde que nunca paremos a contagem: este aqui o
primeiro elemento de X, este o segundo, etc , ..., este aqui o n-simo elemento de F, ... at
infinito.
Mas existem conjuntos infinitos que possuem tantos elementos que -- ao contrrio do que
ocorre com os enumerveis -- eles sequer podem ser "contados infinitamente". Estes
conjuntos so os no-enumerveis. O conjunto de todos os nmeros reais no-enumervel,
assim como o conjunto dos nmeros irracionais. A demonstrao da no-enumerabilidade
dos reais feita atravs e um argumento elegante e engenhoso chamado de diagonal de
Cantor.
(Cantor morreu louco, tentando provar matematicamente a existncia de Deus. Mas isso no
vem ao caso.)
Na primeira metade do sculo XX o matemtico russo A. Kolmogorov estabeleceu de
maneira rigorosa a teoria da probabilidade. Ele fez isso valendo-se da teoria da medida e
integrao desenvolvida por Lebesgue no comeo do sculo. O que interessa aqui que
Kolmogorov mostrou que conjuntos enumerveis so irrelevantes do ponto de vista
probabilstico. Em particular, como os racionais so enumerveis, segue que a escolha
aleatria de um nmero num intervalo nunca resultar num nmero racional -- ou seja, sempre
resultar num nmero irracional.
Referncias
[1] B. R. James, "Probabilidade: Um Curso em Nvel Intermedirio", Projeto Euclides, 1996.
[ 2] E. L. Lima, Anlise Real, Volume 1, Coleo Matemtica Universitria/IMPA, 2004.