A TEORIA DOS CONJUNTOS DE CANTOR

Antnio Acra Freiria

Depto de Geologia, Fsica e Matemtica
FFCL de Ribeiro Preto - USP
RESUMO

No final dos anos 50 e comeo doe anos 60, houve uma reformulao significa-
tiva da Matemtica no Brasil. Sob a bandeira do modernismo, seus defensores
buscaram inovaes no ensino da Matemtica. Dessa forma, os reformistas se
concentraram essencialmente na linguagem abusiva e no formalismo da Teo-
ria dos Conjuntos, o que trouxe mais danos do que benefcios do ensino da
Matemtica de 1 e 2 graus. A linguagem formal da Teoria dos Conjuntos
porm sua parte menos importante.
A teoria criada por Cantor to logo revelou-se como o fundamento de toda
a Matemtica, possibilitando o desenvolvimento de novas disciplinas, como a
Topologia, a Algebra Abstrata, a Teoria da Medida e Integrao, a Teoria da
Probabilidade e a Anlise Funcional.
O objetivo deste trabalho um relato sucinto de como surgiu essa teoria,
apresentando o "Conjunto de Cantor" como um dos mais ricos exemplos de
"Conjunto perfeito" encontrados na literatura matemtica.

INTRODUO

Em 1782 contribuies cruciais na direo da aritmetizao da anlise foram

feitas por cinco grandes matemticos Charles Meray (1835-1911) da Borgonha,
Karl Weierstrass (1815-1897) de Berlin, H.Heine (1821-1881) de Halle, George
Cantor (1845-1918) tambm de Halle e um seu amigo J.W.R.Dedekind (1831-
1916) de Braunschweig. Esses homens num certo sentido representam o clima
de meio sculo de investigao sobre a natureza da funo e do nmero que
comeara em 1822 com a teoria do Calor de Fourier. Foi o estudo das sries de
Fourier que levou Cantor a descrever a famosa e discutida Teoria dos Conjuntos.
George Cantor, nasceu em S.Petersburgo, de pais dinamarqueses, mas a
maior parte de sua vida passou na Alemanha. Doutourou-se em Berlim em
1867 com uma tese sobre a teoria dos nmeros, mas suas contribuies mais
originais centram-se ao redor da provocativa palavra "infinito".
Diz-se que um conjunto S infinito quando semelhante a uma parte pro-
pria dele mesmo, caso contrario S se diz finito. Dois anos depois, Cantor casou-
se, e na lua de mel foi a Interlaken, Suia, onde o casal encontrou Dedekind.
No mesmo ano, 1874, Cantor publicou no Journal de Crelle um de seus ar-
tigos mais revolucionrios. Como Dedekind, tinha reconhecido a propriedade
fundamental dos conjuntos infinitos, mas ao contrrio dele, Cantor viu que os
conjuntos infinitos no so todos iguais.
No caso finito, dizemos que conjuntos de elementos tm o mesmo nmero
(cardinal) se podem ser postos em correspondncia biunivoca. De maneira
semelhante, Cantor se props a construir conjuntos infinitos conforme a sua
" potncia".
O Conjunto dos quadrados perfeitos ou o conjunto dos nmeros triangu-
lares tem a mesma "potncia" que o conjunto de todos inteiros positivos, pois
eles podem ser postos em correspondncia biunivoca. Esses conjuntos pare-
cem menores que o conjunto de todas as fraes racionais, no entanto, Cantor
mostrou que tambm esse ltimo conjunto contvel ou enumervel. Seguindo
o caminho indicado podemos "contar" as fraes:

As fraes racionais so to densas, que entre duas delas, ha sempre outra,

no entanto Cantor mostrou que o conjunto das fraes tem a mesma "potncia"
que a dos inteiros. Comea-se a pensar que os conjuntos infinitos tem a mesma
"potncia", porm Cantor provou categoricamente que isso no verdade. O
conjunto dos nmeros reais, por exemplo, tem "potncia" maior que o conjunto
das fraes racionais. Assim, se supusermos que os nmeros reais entre 0
e 1 sejam contveis, e que estejam expressos como decimais infinitos seria
expresso por 0,333...,1/2por 0,4999..., e assim por diante) e que estejam dispostos
em ordem:
 , onde ab digito entre 0 e 9 inclusive.
ij

Para mostrar que nem todos os nmeros reais entre 0 e 1 esto includos
acima, Cantor exibiu uma frao decimal infinita diferente de todas as referidas
anteriormente. Para isso, tomemos b = 0,b b b ..., onde b = 9 se = 1 e
1 2 3 k kk

b = 1 e IMAGEMAQUI1.
k

Esse nmero real estar entre 0 e 1 e no entanto ser diferente de todos os

do arranjo que se pressumia conter todos os nmeros reais entre 0 e 1.
Mas isto uma contradio de que todos os nmeros do intervalo [0,1] tor-
nassem um conjunto enumervel. Somos, pois, forados a rejeitar essa hiptese
e aceitar o fato que esse conjunto no enumervel. Como o intervalo [0,1]
um subconjunto dos nmeros reais, conclumos que tambm este conjunto
no enumervel.
Com esta descoberta, Cantor estabeleceu um fato surpreendente, qual seja,
o de que existem pelo menos dois tipos diferentes de infinito: o dos conjuntos
dos nmeros inteiros e o conjunto dos nmeros reais.
As descobertas de Cantor tiveram grande impacto no mundo matemtico de
fins do sculo passado e comeo deste sculo. Neste momento, bom lembrar
que desde o incio do sculo XIX era crescente a preocupao com o rigor
na Anlise Matemtica. A partir de 1870, quando Cantor iniciava sua vida
profissional, as atividades de pesquisa na rea de axiomatizao e fundamentos
(estruturalismo) intensificavam-se rapidamente. a sua Teoria dos Conjuntos,
que ento se desenvolvia, revelou-se muito adequada para ser o fundamento
de toda a Matemtica. Alm disso, com o surgimento de novas disciplinas
matemticas, com a Topologia, a lgebra Abstrata, a Teoria da Medida e
Integrao, a Teoria da Probabilidade, a Anlise Funcional, entrelaadas e de
fronteiras indistinguiveis, onde a linguagem, a notao e os resultados da Teoria
dos Conjuntos se revelaram instrumento natural de trabalho, a ponto de ser
impossvel conceber o desenvolvimento de toda essa matemtica sem a "Teoria
dos Conjuntos de Cantor".
Queremos tentar deixar claro neste artigo que a Teoria dos Conjuntos
uma disciplina cuja importncia difcil exagerar, no s para a Matemtica,
mas para o conhecimento humano de um modo geral.
Contudo, ela no to importante para o ensino de 1 e 2 graus, onde foi
introduzida de maneira forada e artificial.
Entendemos que, a razo fundamental para a introduo da Matemtica no
ensino bsico (1 e 2 graus), repousa no fato de que ela fornece instrumentos
efetivos para compreender, atuar e criar no mundo que nos cerca.
A Teoria dos Conjuntos, herana brasileira solitria do "modelo estrutura-
lista bourbakiano americano" (Matemtica Moderna), sob o ponto de vista do
ensino, apresenta a Matemtica, na maior parte dos casos, com um exagerado
formalismo, escondendo e dissimulando os mecanismo de criao.
Alm disso, as distores das prprias idias modernistas em mos inexpe

rientes causaram danos ao ensino da Matemtica Moderna no Brasil, onde se d

nfase s trivialidades de manejar conjuntos, insiste-se em nuances lingsticas
irrelevantes e estimula-se a mediocridade atravs de exerccios rebuscados sobre
o conjunto vazio, comprometendo a criatividade.
Finalmente, na seco abaixo, construmos um subconjunto infinito e no
enumervel contido no intervalo [0,1].
Este o Conjunto de Cantor, "mais infinito" que o conjunto dos nmeros
inteiros e "to perfeito" quanto o conjunto dos nmeros reais.

CONJUNTO DE CANTOR

"Definio 0.1: Um conjunto um conjunto de Cantor se ele fechado,

totalmente disconexo e um subconjunto perfeito de I = [0,1]. Um conjunto
totalmente disconexo se ele no contm nenhum intervalo; um conjunto
perfeito se for igual ao seu conjunto derivado". Vamos definir um conjunto de
Cantor, que tambm chamaremos por conjunto de Cantor, usando-se uma
expanso ternria. Tal expanso ternria formalmente escrita por:

IMAGEM AQUI

Esta expanso ternria representa o nmero para o qual a srie

IMAGEM AQUI

Exemplos 1/3 = 0,1000..., 1/3 = 0,0222...., 2/3 = 0,2000....

Lema 1.1

A srie converge para um nmero no intervalo [0,1].

Prova: De fato, temos:
IMAGEM AQUI
A reciproca deste resultado dada pelo:
 Lema 1.2

Todo nmero no intervalo [0,1] admite pelo menos uma expanso ternria.
Prova: Suponhamos que,IMAGEMAQUI,a fim de evitarmos o caso em que a =
1 = 0,222...; vamos definir, por induo em k, uma seqncia a da seguinte k

forma:
ai = [3a], o maior inteiro menor ou igual a 3a; se ,2..., esto k

definidos por hipteses, sejaa IMAGEMAQUItal que o maior inteiro

k k+1
k+1
menor ou igual a 3 ( ). k

Desta forma fcil ver que poder ser somente os inteiros 0,1 ou 2
k

e que a expanso ternria 0, 31 2 representa o nmero a. Para tanto,

mostraremos por induo em k que

IMAGEM AQUI
k
e que conseqentemente a converge para a quando k tender para oo.
Como = [3] comIMAGEMAQUIsegue-se que IMAGEM AQUI pois
1

Temos que * < 3 e 3*( *) < 1 por hiptese de induo e ento devemos
+1
mostrar que *+ < 3 e 3*+( a* ) < 1.
k k
Para tanto seja, 3*(a a ) < 1 tal que 33*(a a ) < 3. Como *+ o
+1 k
maior inteiro menor ou igual 3* (a a ) segue-se que *+ < 3.
Por outro lado temos ainda que

IMAGEM AQUI

Conseqentemente a seqncia a*, com k oo tende para o nmero a; isto

IMAGEMAQUIo que demonstra o lema.

Definio 1.1: O conjunto de Cantor o coiyunto de nmeros reais no

intervalo [0,1] que admite uma expanso ternria, 0, .. ..., onde ou
1 2. k k

0 ou 2.
A definio 1.1 equivalente a dizer que o conjunto o que resta do
intervalo [0,1] depois da seguinte operao: retira-se o intervalo tero mdio
aberto (1/3,2/3).
 Retira-se depois o tero mdio aberto de cada um dos intervalos restantes
[0,1/3] e [2/3,1]. Sobra ento [0,1/9] U [2/9,1/3] U [2/3,7/9] U [8/9,1].
Em seguida retira-se o tero mdio aberto de cada um desses intervalos e
repete-se o processo indefinidamente. O conjunto dos pontos no retirados
um conjunto de Cantor.

Lema 1.8

Todo nmero a admite uma nica expanso ternria, 0, ... ..., 1 2 3

onde a ou 0 ou 2.
k

Observao: Todo nmero real a tem somente uma expanso ternria,

isto , se um nmero tiver duas expanses ternrias uma delas necessariamente
conter o 1.
Prova: Pelo Lema 1.2, cadaIMAGEMAQUIadmite uma expanso ternria.
Suponhamos que a = 0,a a ...a ... = 0,c1c ...c ... e que exista um k tal que
1 2 k 2 k

a = ci,a = c a _
1 2= c- a - c = l,c = 2,., = 0 para j > k.
2i k x k U k k ;

Seja k o menor inteiro tal queIMAGEMAQUI

Suponhamos que a > c . Por construo temos que:k k

IMAGEM AQUI

pertencem ao intervalo [0,1].

Portanto o primeiro membro da igualdade acima no mnimo 1 e o segundo

membro no mximo 1.
Conseqentemente a c um nmero inteiro no [0,1]. k k

Se a c = 0, a = c absurdo. Logo necessariamente temos que

k k k k

a c = 1
k k e portanto

a
k+j = 0 e k +j = 2 para j = 1,2, ...IMAGEMAQUI
 Pelo Lema 1.2, temos

a* < 3 e Ck < 3; e
como mostramos que c = 1 com a > c , segue-se que * k k k

i) C = 0 implica que = 1
k k

ii) C = 1 implica que = 2

k k

iii) c = 2 no pode ocorrer, e pela definio 1.1 segue-se a unicidade da

k

representao.

FUNO TERNRIA DE CANTOR

Teorema 2.1
Seja F definida no conjunto de Cantor com valores sobre o [0,1], por
F(0,a a ...a ...) = 0 , b b . . . b . . . onde o lado direito uma expanso binaria
1 2 k 1 2 k

com b = 0 se a = 0, b = 1 se a = 2. Ento temos que:

k k k k

a) F contnua e montona no intervalo [0,1].

b) F constante em cada intervalo contido no conjunto complementar
do conjunto de Cantor.
Prova: a) F montona por definio.
Mostraremos que F contnua no intervalo [0,1]. Dado > 0, escolheremos ko
-k0 -k0
tal que 2 < , e para tanto, basta tomarmos tal que = 3 .
Isto , para x,y, com = 0 , a a . . . a . . . y = 0,c C ...c ... a
2 k =c 1 2 k i i

com i = 1,2,...k tal que |x y|< implica que

o

IMAGEM AQUI

que demonstra a continuidade da F no intervalo [0,1].

b) Seja (a,b) o intervalo aberto pertencente ao complementar de no
[0,1]; e mostraremos que F(a) = F(b).
Na k-sima retirada de intervalos abertos do [0,1], seja (a,b) um intervalo
tal que
IMAGEM AQUI

Segue-se que necessariamente a e b so respectivamente da forma

 IMAGEM AQUI

Como a,b pertencem ao conjunto de Cantor segue-se que

F(a) = F(0 , a a ...a - 1) = F(0,a a ...a

1 2 k 1 1 2 0222....) = 0,c c ...c 01111...;
k-1 1 2 k-1

F(b) = F ( 0 , a a . . . a 2 ) = 0 , c c . . . c 1 , onde c = 0 se a = 0 e
1 2 k-1 1 2 k - 1 i i

C = 1 se a , = 2 e portanto F(a) = F(b)

i i

"Exemplo: Para (a, 6) =IMAGEMAQUItemos:

IMAGEM AQUI

Como F monotnica segue-se que F constante nos intervalos (a,b) per

tencentes ao complementar do conjunto de Cantor no intervalo [0,1].
Nestas condies, F chamada de funo ternria de Cantor.
Nestas condies fcil ver que o conjunto de Cantor no contvel e
tem medida nula.

ABSTRACT

The idea of this work is to show how the set theory came on and some analytical
properties of the Cantor set.

REFERNCIAS

(1) BOYER, C. Histria da Matemtica, Editora Edgar Blcher LTDA,

1974.
(2) KLINE, Morris "O Fracasso da Matemtica Moderna", Editora IBRASA,
SP, 1976.
(3) POLYA, G. A Arte de Resolver Problemas, Editora Intercincia, R.Janeiro,
1977.