Enunciado

O conjunto de Cantor, cujo nome é uma homenagem ao matemático alemão Georg Cantor (1845-1918), é construído como a seguir. Começamos com o intervalo fechado 0 ,   1 e removemos o intervalo aberto 1 3 , 2 3 . Isso nos leva a dois intervalos, 0 , 1 3 e 2 3 ,   1 . Dividimos novamente cada intervalo em três e removemos cada terço intermediário aberto. Quatro intervalos permanecem, e novamente repetimos o processo. Continuamos esse procedimento indefinidamente, em cada passo removendo o terço do meio aberto de cada intervalo que permanece do passo anterior. O conjunto de Cantor consiste nos números em 0 ,   1 que permanecem depois de todos estes intervalos terem sido removidos.

(a) Mostre que o comprimento total de todos os intervalos que foram removidos é 1 . Apesar disso, o conjunto de Cantor contém infinitos números. Dê exemplos de alguns números no conjunto de Cantor.

(b) O tapete de Sierpinski é o correspondente bidimensional do conjunto de Cantor. Ele é construído pela remoção do subquadrado central de um quadrado de lado 1 dividido em nove subquadrados. A etapa seguinte consiste em remover os subquadrados centrais dos oito quadrados menores que permaneceram, e assim por diante. (A figura apresenta as três primeiras etapas da construção.) Mostre que a soma das áreas dos quadrados removidos é 1 . Isso implica que o tapete de Sierpinski tem área 0 .

Passo 1

Galera, aqui a gente tem um procedimento em que vamos retirando partes de um intervalo. Não se confunde com essa figura do enunciado, ela só vale pro item (b)

No item (a) estamos falando do caso 1D e no item (b), do caso 2D. Mas você pode meio que pegar essas figuras pra imaginar apenas a linha do meio.

O que nós vamos fazer, é analisar os primeiros termos de cada sequência pra ver se a gente tira um padrão.

Passo 2

(a) Repare o que acontece em cada etapa:

1 ª   e t a p a :           r e m o ç ã o   d e   1   i n t e r v a l o   d e   c o m p r i m e n t o   1 3

2 ª   e t a p a :           r e m o ç ã o   d e   2   i n t e r v a l o s   d e   c o m p r i m e n t o   1 3 2

3 ª   e t a p a :           r e m o ç ã o   d e   2 2   i n t e r v a l o s   d e   c o m p r i m e n t o   1 3 3

n ª   e t a p a :           r e m o ç ã o   d e   2 n - 1   i n t e r v a l o s   d e   c o m p r i m e n t o   1 3 n

Então, ao final de todas as etapas, teremos removido um comprimento total dado pela série:

∑ n = 1 ∞ 2 n - 1 1 3 n

Vamos abrir o 2:

∑ n = 1 ∞ 1 2 2 n 1 3 n = ∑ n = 1 ∞ 1 2 2 3 n

Isso aí se parece muito com uma série geométrica:

∑ n = 1 ∞ a r n

Com a = 1 2 e r = 2 3 .

E a soma da série geométrica é:

∑ n = 1 ∞ a r n = 1 1 - r

Então, ao final de todas as etapas, teremos removido um comprimento total dado pela série geométrica:

∑ n = 1 ∞ 1 2 2 3 n = 1 3 1 - 2 3 = 1

Provamos!

Alguns números do conjunto de Cantor, que não foram removidos nessas etapas, são: 0 ,   1 , 1 3 , 2 3 , 1 9 , 2 9 , 7 9 e 8 9 .

Passo 3

(b) Vamos proceder analogamente para o caso bidimensional.

Agora vamos olhar a figura:

1 ª   e t a p a :           r e m o ç ã o   d e   1   s u b q u a d r a d o   d e   á r e a   1 9

2 ª   e t a p a :           r e m o ç ã o   d e   8   s u b q u a d r a d o s   d e   á r e a   1 9 2

3 ª   e t a p a :           r e m o ç ã o   d e   8 2   s u b q u a d r a d o s   d e   á r e a   1 9 3

n ª   e t a p a :           r e m o ç ã o   d e   8 n - 1   s u b q u a d r a d o s   d e   á r e a   1 9 n

Então, ao final de todas as etapas, teremos removido uma área total dada pela série geométrica:

∑ n = 1 ∞ 8 n - 1 1 9 n = ∑ n = 1 ∞ 1 8 8 9 n

E a soma dessa série é:

1 9 1 - 8 9 = 1

Resposta

Provas.

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Nos Exercícios 7-14, escreva os primeiros termos de cada série paramostrar como a série começa. Então, calcule a soma da série.
Nos Exercícios 1-6, encontre a fórmula para a n-ésima soma parcial de cada série e use-a para encontrar a soma da série se ela convergir.
Encontre o valor de b para o qual1 + e^b + e^(2 b) + e^(3 b) + cdots = 9 .
Crie uma série geométrica ∑ a r n - 1 que convirja ao número 5 se a = 2 a = 13 / 2 .
Encontre os valores de x para os quais a série geométrica dada converge. Encontre também a soma da série (como uma função de x ) para esses valores de x . ∑ n = 0 ∞ - 1 n x - 2 n