Sie sind auf Seite 1von 53

Uma Curva de Peano Inedita

( No quadrado [ 0, 1 [ [ 0, 1 [ )
0 1
1 (1,1)

k
: [0, 1[ [0, 1[[0, 1[
r
s

k
0
1
0
1
w
q
q

{0, 1}
N
{0, 1}
N
{0, 1}
N
q

:
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
0
1
1
1
q
(x, y, z)

:
- Curva de Peano no Cubo
0
1
2
1
1

1
2
7
12
11
12
1
12
5
12
1
4
3
4
r
p

r
p
- Bola escalafobetica: B
D
3
_
_
1
4
,
3
4
_
;
1
3
_
Gentil Lopes da Silva
www.dmat.ufrr.br/ gentil
Uma Curva de Peano Inedita
Gentil Lopes da Silva

17 de novembro de 2006
( No quadrado [ 0, 1 [ [ 0, 1 [ )
Resumo
Nao temos conhecimento de que alguem ja tenha construido uma curva
de Peano no quadrado [ 0, 1 [ [ 0, 1 [. Construimos uma e mostramos que
a mesma resulta com propriedades topologicas absurdamente distintas
da curva usual, isto e, da curva no quadrado [ 0, 1 ] [ 0, 1 ].
Tudo isso, que ` a primeira
vista parece excesso de irraz ao,
na verdade e o efeito da nura
e da extens ao do esprito hu-
mano e o metodo para encon-
trar verdades ate ent ao desco-
nhecidas.
Voltaire (17
a
Carta)
1 Introducao
O seculo XIX se iniciou com a descoberta de que curvas e fun c oes n ao
precisam ser do tipo bem comportado, o que ate ent ao se supunha. Peano

em 1890 mostrou ate que ponto a matematica podia insultar o senso comum
quando, tratando do aprofundamento dos conceitos de continuidade e dimens ao,
publica a sua famosa curva, proposta como cobrindo totalmente a superfcie de
um quadrado:
: [ 0, 1 ] [ 0, 1 ] [ 0, 1 ]
0
1
r

0 1
1 (1,1)
Aqui mostramos uma constru c ao desta curva mais simples que as cons-
tantes na literatura (ver por exemplo [1]).

www.dmat.ufrr.br/ gentil gentil.silva@gmail.com

Giuseppe Peano (18581932), natural de Cuneo, It alia, foi professor da Academia Militar
de Turin, com grandes contribui c oes ` a Matem atica. Seu nome e lembrado hoje em conex ao
com os axiomas de Peano dos quais dependem tantas constru c oes rigorosas da algebra e da
an alise.
1
Gentil 2
Faremos ainda mais: abriremos o intervalo unit ario `a direita, e construire-
mos a seguinte curva (de Peano):

k
: [ 0, 1 [ [ 0, 1 [[ 0, 1 [
0 1
1 (1,1)
r

k
0
1
e mostraremos que esta possui propriedades topologicas totalmente distintas da
primeira. Construiremos, ademais, uma outra patologia, a qual pode ser vista
como uma especie de inversa da curva de Peano.
O que a curva de Peano tem de paradoxal
Antes de prosseguir vamos mostrar ao leitor de uma outra perspectiva
o que a curva de Peano tem de paradoxal.
Qual das duas tarefas a seguir o leitor acharia mais facil de realizar?
1
a
) Na gura abaixo temos 10 bolinhas `a esquerda e `a direita um quadrado
com 10 10 posi c oes (escaninhos).

Desao: Transferir as 10 bolinhas para o quadrado 10 10.


Esta seria uma tarefa extremamente facil, se n ao fosse por uma condic ao
adicional: no quadrado n ao devem sobrar posi c oes (escaninhos) vazias!
2
a
) Na gura a seguir as bolinhas (do desao anterior) foram substituidas
por uma quantidade innita de pontos; da mesma forma o quadrado agora
disp oe de innitas posi c oes pontuais.
Desao: Transferir as innitas bolinhas (podemos dizer, pontos do intervalo
[ 0, 1 ]) para o quadrado [ 0, 1 ] [ 0, 1 ] `a direita.
Esta seria uma tarefa extremamente facil, se n ao fosse por uma condic ao
adicional: no quadrado n ao devem sobrar posi c oes vazias!
O milagre de Peano foi, precisamente, realizar esta segunda tarefa.
Nota:

Obviamente que a primeira tarefa e irrealiz avel (impossvel), assim
enunciamos apenas para efeito de contraste.
Fa camos uma r apida simula c ao: Na gura seguinte transferimos alguns
pontos do intervalo para o quadrado, assim:
Gentil 3
r
r
r
r
r
r
0
0,3
5/12
0,5
0,8
1

(1, 1)
1
1
r
r
r
r
r
r
A ideia desta gura e mostrar que, ao transferirmos (atraves de ) um ponto
(bolinha) do intervalo a sua posi c ao ca vazia (resta um buraco) e este
ponto aparece no quadrado. A gura seguinte mostra a correspondencia entre
os pontos do intervalo e do quadrado, na gura anterior:
r
r
r
r
r
r
0
0,3
5/12
0,5
0,8
1

(1)
1
1
(0) (0,5)
(
5
12
)
(0,3) (0,8)
r
r
r
r
r
r
Enfatizando, novamente, o milagre de Peano: (curva de Peano) consegue
transferir os pontos do intervalo para o quadrado de formas que todo o quadrado
ca preenchido; n ao sobra uma unica posi c ao vazia, e, o que e pior: em
innitas posi c oes do quadrado s ao guardados ate tres pontos do intervalo! (como
ser a visto oportunamente).
Aproveitando o ensejo vamos adiantar, informalmente, a patologia por
n os construida:
A inversa da curva de Peano
No ano de 2006 realizamos o feito da constru c ao da inversa da curva de
Peano. A qual pode ser apreciada assim:
Qual das duas tarefas a seguir o leitor acharia mais facil de realizar?
3
a
) Na gura a seguir temos 1010 bolinhas `a esquerda e `a direita um escaninho
com 10 posi c oes.

Desao: Transferir as 100 bolinhas `a esquerda para o escaninho `a direita.


Esta seria uma tarefa extremamente facil, se n ao fosse por uma condi c ao
adicional: n ao devemos, em nenhuma posi c ao do escaninho, guardar mais que
uma bolinha! E, o que e pior, devem sobrar gavetas vazias!
4
a
) Na gura a seguir as bolinhas (do desao anterior) foram substituidas por
uma quantidade innita de pontos; da mesma forma, agora o escaninho disp oe
de innitas posi c oes pontuais.
Gentil 4
Desao: Transferir as innitas bolinhas (podemos dizer, pontos do quadrado
[ 0, 1 ] [ 0, 1 ]) para o escaninho [ 0, 1 ] `a direita.
Esta seria uma tarefa extremamente facil, se n ao fosse por uma condic ao
adicional: n ao devemos, em nenhuma posi c ao do escaninho, guardar mais que
um ponto do quadrado! E, o que e pior, devem sobrar lugares (posi c oes) vazios
no intervalo!
O nosso feito foi, precisamente, realizar esta segunda tarefa.
Fa camos uma r apida simula c ao: Na gura seguinte transferimos alguns
pontos do quadrado para o intervalo, assim:
(1, 1)
1
1
r
r
r
r
r
r r

r
r
r
r
r
r
r
r
r
0
1
3
4
1
5
1
2
A ideia desta gura e mostrar que, ao transferirmos (atraves de ) um ponto
(bolinha) do quadrado a sua posi c ao ca vazia (resta um buraco) e este
ponto aparece no intervalo. Ademais, assinalamos no intervalo dois pontos
(bolinhas azuis) que n ao ser ao ocupados por nenhum dos pontos do quadrado,
s ao buracos, digo, posi c oes ociosas. Nunca e demais repetir: todos os pontos do
quadrado s ao transferidos para o intervalo, dois pontos nunca ser ao guardados
em uma mesma posi c ao do intervalo ( e injetiva) e ainda sobram innitas
posi c oes ociosas (buracos) no intervalo ( n ao e sobrejetiva).
Deni cao 1 (Curva de Peano). Chama-se curva de Peano num espa co metrico
(M, d) a uma aplica c ao contnua : I M tal que
_
I
_
= M.
Isto e, uma aplica c ao de I (intervalo unit ario) em M, contnua e sobrejetora.
2 A curva de Peano (simplicada)
Em [3]

mostramos que a seguinte aplica c ao


: B [ 0, 1 ]
(x
n
)

n=1
x
n
2
n
e uma bije c ao. B e o subconjunto de
_
0, 1
_
N
cujos elementos n ao tem todos os
termos iguais a 1, a partir de alguma posi c ao (com a unica exce c ao feita para a
seq uencia (1 1 1 1. . . ) a qual foi includa neste conjunto).

Este trabalho, [3], constitui-se num pre-requisito para a leitura do presente trabalho.
Gentil 5
Por exemplo: 0 1 0 1 0 1 0 1 0 1 . . . B e 1 0 1 0 1 0 0 1 1 1 1 1 . . . B.
Devido a existencia desta bije c ao e que podemos identicar os elementos
de ambos os conjuntos.
sendo uma bije c ao possui inversa
1
: [0, 1] B.
Deni cao 2 (Deni c ao de representa c ao binaria). A imagem de um x [ 0, 1 ]
por
1
e o que chamamos de representa c ao bin aria de x. Isto e, diremos, por
denic ao, que uma representa c ao bin aria e um elemento de B.
Sendo assim, por exemplo, (101010 . . .) e uma representa c ao binaria, en-
quanto (0101111 . . .) n ao.
Dizemos que os n umeros do intervalo [ 0, 1 ] s ao codicados pelos elementos
de B.
Pois bem, iniciando a constru c ao da curva de Peano consideremos a aplica c ao,
: [0, 1] B
x (x
n
)
0
1
x
q
q
B
(x
n
)

:
Onde associamos a cada x [0, 1] sua representa c ao na base binaria.
Para mostrar que a aplica c ao (ver tabela de metricas, p ag. 44):
:
_
[0, 1],
_

_
B,
_
x (x
n
)
e contnua, e suciente (por R-4, p ag. 44) mostrar que sua inversa:

1
:
_
B,
_

_
[0, 1],
_
(x
n
) x
e contnua e que
_
B,
_
e compacto. A continuidade e dada por (por R-2, p ag.
44) e a compacidade de
_
B,
_
mostramos no lema 2, p ag. 45. Sendo assim
e mais que contnua, e um homeomorsmo.
Agora vamos denir uma aplica c ao (), assim:
: B {0, 1}
N
{0, 1}
N
(x
n
)
_

1
(x
n
),
2
(x
n
)
_
B
{0, 1}
N
{0, 1}
N
q
(x
n
)
q
:

(
1
,
2
)
Gentil 6
Onde
i
: B {0, 1}
N
(i = 1, 2.) s ao dadas por

1
_
(x
n
)
_
=
1
(x
1
x
2
x
3
. . .) = (x
1
x
3
x
5
. . .)

2
_
(x
n
)
_
=
2
(x
1
x
2
x
3
. . .) = (x
2
x
4
x
6
. . .)
Isto e,
1
toma de
_
x
n
_
sua subseq uencia de ndices mpares e
2
toma de
_
x
n
_
sua subseq uencia de ndices pares:
(x
1
x
2
x
3
x
4
x
5
. . .)
(x
1
x
3
x
5
x
7
. . .)
(x
2
x
4
x
6
x
8
. . .)

2
Dizemos que a aplica c ao demultiplexa a seq uencia
_
x
n
_
.
A aplica c ao e injetiva porquanto
(x
n
) = (y
n
)
_

1
(x
n
),
2
(x
n
)
_
=
_

1
(y
n
),
2
(y
n
)
_

_
(x
1
x
3
x
5
. . .), (x
2
x
4
x
6
. . .)
_
=
_
(y
1
y
3
y
5
. . .), (y
2
y
4
y
6
. . .)
_
(x
1
x
3
x
5
. . .) = (y
1
y
3
y
5
. . .); (x
2
x
4
x
6
. . .) = (y
2
y
4
y
6
. . .)
(x
n
) = (y
n
).
A aplica c ao n ao e sobrejetiva. De fato, por exemplo o ponto
(0 1 1 1 1 . . . , 0 1 1 1 1 . . .) {0, 1}
N
{0, 1}
N
n ao e imagem de nenhum ponto do domnio (por que?).
Vamos agora envidar esfor cos para mostrar que e contnua. Antes mos-
traremos que e contnua a seguinte restri c ao de :
: B

(1)
onde B

B, e tal que:
(x
n
) B

suas subseq uencias de ndices mpares e pares pertencem a B.


No apendice (lema 3, p ag. 46) mostramos que B

e compacto e denso.
A aplica c ao e uma bije c ao. De fato, e injetiva porquanto
(x
n
) = (y
n
)
_

1
(x
n
),
2
(x
n
)
_
=
_

1
(y
n
),
2
(y
n
)
_

_
(x
1
x
3
x
5
. . .), (x
2
x
4
x
6
. . .)
_
=
_
(y
1
y
3
y
5
. . .), (y
2
y
4
y
6
. . .)
_
(x
1
x
3
x
5
. . .) = (y
1
y
3
y
5
. . .); (x
2
x
4
x
6
. . .) = (y
2
y
4
y
6
. . .)
(x
n
) = (y
n
).

E sobrejetiva porquanto dado


_
(x
1
x
2
x
3
. . .), (y
1
y
2
y
3
. . .)
_
B

este ponto e
imagem, por , da seq uencia (x
1
y
1
x
2
y
2
x
3
y
3
. . .), como e facil vericar.
A inversa da aplica c ao e:

1
: B

_
(x
1
x
2
x
3
. . .), (y
1
y
2
y
3
. . .)
_
(x
1
y
1
x
2
y
2
x
3
y
3
. . .)
De outro modo,
Gentil 7
x = (x
1
x
2
x
3
x
4
. . .)
y = (y
1
y
2
y
3
y
4
. . .)
(x
1
y
1
x
2
y
2
x
3
y
3
. . .)
1
Dizemos que a aplica c ao
1
faz uma multiplexagem das seq uencias
_
x
n
_
e
_
y
n
_
.
Para mostrar que a aplica c ao
: B

(x
n
)
_

1
(x
n
),
2
(x
n
)
_
e contnua vamos mostrar que sua inversa e contnua:

1
: B

_
(x
1
x
2
x
3
. . .), (y
1
y
2
y
3
. . .)
_
(x
1
y
1
x
2
y
2
x
3
y
3
. . .)
Prova: Utilizaremos no produto B

a metrica D
3
(p ag. 44).
Pois bem, dados a B

e > 0 devemos exibir > 0 de modo que, se


x B
D
3
_
a;
_
=
1
(x) B

1
(a);
_
Ou, de modo equivalente
D
3
(x, a) < =
_

1
(x),
1
(a)
_
<
Observe que
a =
_
(a
1
a
2
a
3
. . .), (b
1
b
2
b
3
. . .)
_

1
(a) = (a
1
b
1
a
2
b
2
a
3
b
3
. . .)
x =
_
(x
1
x
2
x
3
. . .), (y
1
y
2
y
3
. . .)
_

1
(x) = (x
1
y
1
x
2
y
2
x
3
y
3
. . .)
Temos
D
3
(x, a) < max
_

n=1
|x
n
a
n
|
2
n
,

n=1
|y
n
b
n
|
2
n
_
<
Tambem

1
(x),
1
(a)
_
<

n=1
|x
n
a
n
|
2
2n1
+

n=1
|y
n
b
n
|
2
2n
<
Observe que

n=1
|x
n
a
n
|
2
2n1
<

n=1
|x
n
a
n
|
2
n
<
e, de igual modo

n=1
|y
n
b
n
|
2
2n
<

n=1
|y
n
b
n
|
2
n
<
Somando estas desigualdades vemos que e suciente tomar 2 = , isto e, =

2
.

Gentil 8
Sendo : B

contnua, ou melhor ainda, um homeomorsmo


uniforme entre subespa cos densos B

{0, 1}
N
e B

{0, 1}
N
{0, 1}
N
,
se estende, de modo unico, a um homeomorsmo uniforme (por R-10):
F : {0, 1}
N
{0, 1}
N
{0, 1}
N
Portanto a restri c ao de F:
: B {0, 1}
N
{0, 1}
N
e contnua.
Agora vamos denir a aplica c ao :
: {0, 1}
N
{0, 1}
N
I I
_
(x
n
), (y
n
)
_
(x, y)
onde
(x, y) =
_

n=1
x
n
2
n
,

n=1
y
n
2
n
_
-
6
{0, 1}
N
{0, 1}
N
q
(x
n
)
(yn)
q
(x,y)

0
1
1
(1,1)
A aplica c ao n ao e uma bije c ao. De fato, n ao e injetiva (por que?).
e sobrejetiva porquanto dado (x, y) =
_
x
n
2
n ,

y
n
2
n
_
I I este ponto
e imagem, por , do ponto
_
(x
n
), (y
n
)
_
{0, 1}
N
{0, 1}
N
.
Para mostrar que a aplica c ao e contnua, utilizaremos a metrica do
maximo em ambos os produtos cartesianos.
Prova: Com efeito, dados a {0, 1}
N
{0, 1}
N
e > 0, devemos exibir > 0
de modo que se
D
3
(x, a) < D
3
_
(x), (a)
_
<
Observe que
a =
_
(a
1
a
2
a
3
. . .), (b
1
b
2
b
3
. . .)
_
(a) =
_
a
n
2
n ,

b
n
2
n
_
x =
_
(x
1
x
2
x
3
. . .), (y
1
y
2
y
3
. . .)
_
(x) =
_
x
n
2
n ,

y
n
2
n
_
Ent ao
D
3
_
(x), (a)
_
< max
_

x
n
2
n

a
n
2
n

y
n
2
n

b
n
2
n

_
<
Gentil 9
Resumindo temos que determinar > 0 de modo que
max
_

|x
n
a
n
|
2
n ,

|y
n
b
n
|
2
n
_
< max
_

x
n
2
n

a
n
2
n

y
n
2
n

b
n
2
n

_
<
Observando que

x
n
2
n

a
n
2
n

x
n
a
n
2
n

|x
n
a
n
|
2
n
<

y
n
2
n

b
n
2
n

y
n
b
n
2
n

|y
n
b
n
|
2
n
<
ve-se que e suciente tomar = .
Compondo as aplica c oes anteriores, temos a seguinte curva de Peano:
0
1
z
q
q

:
{0, 1}
N
{0, 1}
N

2
q
:
0
1
1
(1,1)

q
:

(x, y)
Figura 1: Curva de Peano Simplicada
Resumindo, temos
0
1
z
r

0 1
1 (1,1)
onde
: I I I
z (x, y)
e tal que
= (z) =
_

_
(z) =
_

__
(z)
_
=
_
((z))
_
Gentil 10
Exemplos:
(1) Calcule a imagem, por , de z = 0, 8.
Solu cao (acompanhe pela gura 1): Desenvolvendo 0, 8 na base 2 (em [3] damos
um algoritmo para o desenvolvimento em base 2), temos
0, 8 = (1 1 0 0 1 1 0 0 1 1 0 0 1 1 . . .)
2
ent ao (0, 8) = (1 1 0 0 1 1 0 0 1 1 0 0 1 1 . . .). Aplicamos `a seq uencia anterior:
(1 1 0 0 1 1 0 0 1 1 0 0 1 1 . . .)
(1 0 1 0 1 0 1 01 . . .)
(1 0 1 0 1 0 1 0 1 . . .)

2
Temos
_

1
,
2
_
{0, 1}
N
{0, 1}
N
. Agora aplicamos ao ponto
_

1
,
2
_
:

_
(
1
,
2
)
_
= (x, y), onde
x = y =
1
2
1
+
0
2
2
+
1
2
3
+
0
2
4
+ =
2
3
Portanto (0, 8) =
_
2
3
,
2
3
_
.
(2) Calcule a imagem, por , de z = 0, 3.
Solu cao: Desenvolvendo 0, 3 na base 2, temos
0, 3 = (0 1 0 0 1 1 0 0 1 1 0 0 1 1 . . .)
2
Ent ao (0, 3) = (0 1 0 0 1 1 0 0 1 1 0 0 1 1 . . .). Aplicamos `a seq uencia anterior:
(0 1 0 0 1 1 0 0 1 1 0 0 1 1 . . .)
(0 0 1 0 1 0 1 0 1 . . .)
(1 0 1 0 1 0 1 0 1 . . .)

2
Agora aplicamos ao ponto
_

1
,
2
_
:
_
(
1
,
2
)
_
= (x, y), onde
x =
0
2
1
+
0
2
2
+
1
2
3
+
0
2
4
+
1
2
5
+
0
2
6
+ =
1
6
y =
1
2
1
+
0
2
2
+
1
2
3
+
0
2
4
+
1
2
5
+
0
2
6
+ =
2
3
Portanto (0, 3) =
_
1
6
,
2
3
_
. A geometria da situa c ao ca
0
1
q

q
0,3
1
2
0,8
-
6
0
1
1
(1,1)

1
6
1
3
2
3

1
3
2
3
q q
:
:

Gentil 11
(3) Calcule a imagem, por , de z =
5
12
.
Solu cao: Desenvolvendo 5/12 na base 2, obtemos
5
12
= ( 0 1 1 0 1 0 1 0 1 0 1 0 1 0 . . .)
2
Ent ao (5/12) = ( 0 1 1 0 1 0 1 0 1 0 1 0 1 0 . . .). Aplicamos `a seq uencia anterior:
( 0 1 1 0 1 0 1 0 1 0 1 0 1 0 . . .)
( 0 1 1 1 1 1 1 1 1 . . .)
( 1 0 0 0 0 0 0 0 0 . . .)

2
Agora aplicamos ao ponto
_

1
,
2
_
:
_
(
1
,
2
)
_
= (x, y), onde
x =
0
2
1
+
1
2
2
+
1
2
3
+
1
2
4
+
1
2
5
+
1
2
6
+ =
1
2
y =
1
2
1
+
0
2
2
+
0
2
3
+
0
2
4
+
0
2
5
+
0
2
6
+ =
1
2
Portanto
_
5
12
_
=
_
1
2
,
1
2
_
.
2.1 Os pontos de auto-intersecao na curva de Peano
Agora mostraremos como encontrar os pontos de auto-interse c ao na curva
de Peano:

Iniciamos com uma dupla convergencia tal como


0
2
1
+
1
2
2
+
1
2
3
+
0
2
4
+
0
2
5
+
0
2
6
+ =
3
8
=
0
2
1
+
1
2
2
+
0
2
3
+
1
2
4
+
1
2
5
+
1
2
6
+
Na gura seguinte escolhemos para ponto duplo
_
x,
3
8
_
, isto e, xamos a orde-
nada (altura) enquanto a abscissa pode variar.
{0, 1}
N
{0, 1}
N
r
r
(x
n
, 010111...)
(x
n
, 011000...)
r
(x,
3
8
)
x
Os dois ponto no diagrama `a esquerda s ao imagens de pontos distintos em
B, assim:
Gentil 12
B
r
r
(x
1
0 x
2
1 x
3
1 x
4
0 x
5
0 x
6
0 )
(x
1
0 x
2
1 x
3
0 x
4
1 x
5
1 x
6
1 )
{0, 1}
N
{0, 1}
N
q
q
(x
n
, 010111...)
(x
n
, 011000...)
Devemos escolher a seq uencia (x
n
) de tal modo que (x
1
0 x
2
1 x
3
0 x
4
1 x
5
1 x
6
1 )
B. Por exemplo, a a seq uencia nula (0 0 0 0 . . .) satisfaz este requisito. Deste
modo os dois pontos seguintes
(0 0 0 1 0 1 0 0 0 0 0 . . .) =
5
32
(0 0 0 1 0 0 0 1 0 1 0 . . .) =
13
192
s ao tais que

_
5
32
_
=
_
13
192
_
=
_
0,
3
8
_
.
Vejamos mais um exemplo:
Exemplo: Encontrar os pontos do intervalo que s ao levados no ponto
_
1
2
,
3
4
_
.
Solu cao: Usaremos de um artifcio: considere as seguintes alternativas:

_
1
2
,
3
4
_

_
VV: (1 0 0 0 0 . . . , 1 1 0 0 0 . . .) (1 1 0 1 0 0 0 0 0 . . .)
VF: (1 0 0 0 0 . . . , 1 0 1 1 1 . . .) (1 1 0 0 0 1 0 1 0 . . .)
FV: (0 1 1 1 1 . . . , 1 1 0 0 0 . . .) (0 1 1 1 1 0 1 0 1 . . .)
FF: (0 1 1 1 1 . . . , 1 0 1 1 1 . . .) (0 1 1 0 1 1 1 1 1 . . .) B
Onde: V signica a verdadeira codica c ao (da fra c ao) em binario e F a falsa.
Nota: Uma vez que optamos pela codica c ao , esta e a Verdadeira; a outra,

,
torna-se a Falsa (ver artigo [3]).
Nota: O smbolo:

signica multiplexa c ao; ou seja, as seq uencias da esquerda


foram multiplexadas, resultando na seq uencia da direita.
Sendo assim temos:
0
1

39
48

B
(1 1 0 1 0 0 0 0 0...)
{ 0, 1 }
N
{ 0, 1 }
N
(1 0 0 0 0..., 1 1 0 0 0...)

(
1
2
,
3
4
)
concluimos que
_
39
48
_
=
_
1
2
,
3
4
_
. Da alternativa seguinte
Gentil 13
0
1

37
48

B
(1 1 0 0 0 1 0 1 0...)
{ 0, 1 }
N
{ 0, 1 }
N
(1 0 0 0 0..., 1 0 1 1 1...)

(
1
2
,
3
4
)
concluimos que
_
37
48
_
=
_
1
2
,
3
4
_
. Da alternativa seguinte
0
1
23
48

B
(0 1 1 1 1 0 1 0 1...)
{ 0, 1 }
N
{ 0, 1 }
N
(0 1 1 1 1..., 1 1 0 0 0...)

(
1
2
,
3
4
)
Deste diagrama concluimos que
_
23
48
_
=
_
1
2
,
3
4
_
.
A multiplexa c ao na ultima alternativa ( FF) n ao resulta em B, portanto
n ao e considerada. Resumindo, temos
r
(
1
2
,
3
4
)

(
39
48
)=(
23
48
)=(
37
48
)=(
1
2
,
3
4
)
Seja (x, y) um ponto do quadrado. Com um pouco de reex ao o leitor
chegara `as seguintes conclusoes:
1
a
) Se ambas as coordenadas, x e y, forem fra c oes diadicas ent ao, neste ponto
s ao colocados tres pontos da aresta do quadrado. De outro modo: a curva passa
tres vezes por pontos com ambas as coordenadas fra c oes diadicas;
2
a
) Se ambas as coordenadas, x e y, n ao forem fra c oes diadicas ent ao, neste
ponto e colocado apenas um ponto da aresta do quadrado. De outro modo: a
curva passa uma unica vez em pontos com ambas as coordenadas n ao diadicas;
3
a
) Se apenas uma das coordenadas, x ou y, e uma fra c ao diadica ent ao, neste
ponto e colocado dois pontos da aresta do quadrado. De outro modo: a curva
passa duas vezes em pontos com apenas uma coordenada fra c ao diadica;
4
a
) O conjunto dos pontos de auto-interse c ao da curva e innito enumeravel e
denso no quadrado.
Gentil 14
3 O quadrado hiper-magico
A seguir construiremos um objeto matematico (tao patol ogico quanto a
curva de Peano) o qual, em conjunto com a curva de Peano, nos permitira
transitar entre dimensoes arbitrarias.
Deni cao 3 (Quadrado hiper-m agico). Chama-se quadrado hiper-m agico num
espa co metrico
_
M, d
_
, com M um quadrado (unit ario), a uma aplica c ao contnua
: M I injetiva e n ao sobrejetora. I e um intervalo unit ario.
O que h a de paradoxal no quadrado hiper-m agico e que conseguimos trans-
ferir todos os pontos do quadrado para sua aresta inferior (ou qualquer outra),
sem sobrepor um ponto a outro e ainda sobram innitos buracos (lacunas) na
aresta!
O quadrado hiper-m agico resume-se na composi c ao das aplica c oes mostra-
das na gura a seguir:
-
6
0 1
1
(1,1)
q
x
y
B
B
B
0
1
q
q
q
z
h
g
f
Figura 2: Quadrado hiper-m agico
Onde a aplica c ao
h: I I B B
(x, y)
_
(x
n
), (y
n
)
_
e um homeomorsmo. A aplica c ao
g : B B B
_
(x
n
), (y
n
)
_

(x
1
y
1
x
2
y
2
x
3
y
3
...)
e contnua por ser a extensao contnua de : B

(ver (1), p ag. 6).


Dizemos que a aplica c ao g executa uma multiplexagem das seq uencias (x
n
)
e (y
n
).
Vamos mostrar que g e injetiva mostrando que g(x) = g(y) x = y. De
fato, sejam as seq uencias: (x
n
) = g(x) = g(y) = (y
n
).
(x
n
) e (y
n
) s ao imagens, por g, dos pares de seq uencias
x = (u
1
u
2
u
3
. . . , v
1
v
2
v
3
. . .) (u
1
v
1
u
2
v
2
u
3
v
3
. . .) = (x
1
x
2
x
3
. . .)
y = (z
1
z
2
z
3
. . . , t
1
t
2
t
3
. . .) (z
1
t
1
z
2
t
2
z
3
t
3
. . .) = (y
1
y
2
y
3
. . .)
g
g
Como (x
n
) = (y
n
) segue que
u
1
= z
1
, u
2
= z
2
, u
3
= z
3
, . . . (u
n
) = (z
n
)
v
1
= t
1
, v
2
= t
2
, v
3
= t
3
, . . . (v
n
) = (t
n
)
portanto x = y.
Gentil 15
Esta aplica c ao n ao e sobrejetora, por exemplo o ponto ( 0 1 1 0 1 0 1 0 1 0 1 0 1 0 . . .)
B n ao e imagem, por g, de nenhum ponto de B B. De fato, suponha, ao
contrario, que isto aconte ca; isto e que exista um ponto
_
(x
n
), (y
n
)
_
B B
tal que g
_
(x
n
), (y
n
)
_
= ( 0 1 1 0 1 0 1 0 1 0 1 0 1 0 . . .), sendo assim resulta
(x
1
y
1
x
2
y
2
x
3
y
3
. . .) = ( 0 1 1 0 1 0 1 0 1 0 1 0 1 0 . . .)
ent ao,
x
1
= 0, x
2
= 1, x
3
= 1, x
4
= 1, . . . (x
n
) = (0 1 1 1 1 . . .)
y
1
= 1, y
2
= 0, y
3
= 0, y
4
= 0, . . . (y
n
) = (1 0 0 0 0 . . .)
Logo,
_
(x
n
), (y
n
)
_
=
_
(0 1 1 1 1 . . .), (1 0 0 0 0 . . .)
_
B B,
o que contradiz a constru c ao (deni c ao) de B.
Denimos a aplica c ao f como f =
1
(ver p ag. 5), resultando assim que
f e um homeomorsmo. Resumindo, temos
0 1
1 (1,1)
0
1
z
r

onde
: I I I
(x, y) z
e tal que
= f g h (x, y) =
_
f g h
_
(x, y)
= (f g)
_
h(x, y)
_
= f
_
g
_
h(x, y)
__
Exemplos:
(1) O centro do quadrado e levado em ponto de I ?. Isto e, calcule
_
1
2
,
1
2
_
.
Solu cao (acompanhe pela gura 2, p ag- 14): Temos (1 0 0 0 0 0 . . .)
2
=
1
2
. Ent ao
h
_
1
2
,
1
2
_
= (1 0 0 0 0 0 . . . , 1 0 0 0 0 0 . . .)
Aplicando g a este ponto obtemos:
g
(1 0 0 0 0 0 . . .)
(1 0 0 0 0 0 . . .)
(1 1 0 0 0 0 0 0 . . .)
Gentil 16
logo
g
_
(1 0 0 0 0 0 . . . , 1 0 0 0 0 0 . . .)
_
= (1 1 0 0 0 0 0 0 . . .) B.
Neste ponto dizemos que houve uma multiplexa c ao das seq uencias (1 0 0 0 0 0 . . .)
e (1 0 0 0 0 0 . . .).
Agora entregamos a seq uencia (1 1 0 0 0 0 0 0 . . .) a f, isto e
f(1 1 0 0 0 0 0 0 . . .) =
1
2
1
+
1
2
2
+
0
2
3
+
0
2
4
+
0
2
5
+ =
3
4
Finalmente,
_
1
2
,
1
2
_
=
3
4
. Geometricamente, temos
-
6
0
1
1
(1,1)
(
1
2
,
1
2
)
q
x
y
B
B
B
0
1
q
(1000...)
(1000...)
q
(11000...)
q
R

-
h
g
f
3
4
Observe que
_
5
12
_
=
_
1
2
,
1
2
_
(exemplo (3), p ag. 11)
(2) Calcule
_
1
3
,
1
3
_
.
Solu cao: Temos (0 1 0 1 0 1 0 1 0 . . .)
2
=
1
3
. Ent ao
h
_
1
3
,
1
3
_
= (0 1 0 1 0 1 0 1 0 . . . , 0 1 0 1 0 1 0 1 0 . . .)
Aplicando g a este ponto obtemos:
g
(0 1 0 1 0 1 0 1 0 . . .)
(0 1 0 1 0 1 0 1 0 . . .)
(0 0 1 1 0 0 1 1 0 0 1 1 . . .)
Logo,
g
_
(0 1 0 1 0 1 0 1 0 . . . , 0 1 0 1 0 1 0 1 0 . . .)
_
= (0 0 1 1 0 0 1 1 0 0 1 1 . . .)
Entregando esta ultima seq uencia a f, temos
f(0 0 1 1 0 0 1 1 0 0 1 1 . . .) =
0
2
1
+
0
2
2
+
1
2
3
+
1
2
4
+
0
2
5
+
0
2
6
+
1
2
7
+
1
2
8
+
=
_
1
2
3
+
1
2
7
+
1
2
11
+
_
+
_
1
2
4
+
1
2
8
+
1
2
12
+
_
=
2
15
+
1
15
=
1
5
Portanto
_
1
3
,
1
3
_
=
1
5
. Geometricamente, temos
Gentil 17
-
6
0
1
1
(1,1)
(
1
3
,
1
3
)
q
x
y
B
B
B
0
1
q
(0101...)
(0101...)
q
(00110011...)
q
R
:
h
g
f
1
5
3.1 Como encontrar buracos na aresta do quadrado
Mostraremos agora como encontrar pontos na aresta [ 0, 1 ] {0} que n ao s ao
imagens, por , de pontos do quadrado. Inicialmente observe que sendo f um
homeomorsmo as propriedades topologicas de B s ao transferidas para [ 0, 1 ].
Para construir um buraco no intervalo basta construir um em B, como por
exemplo, B

(0 1 1 0 1 0 1 0 1 0 . . .) =
5
12
[ 0, 1 ] (ver exemplo (3), p ag. 11). O
diagrama a seguir sugere como construir uma quantidade innita de buracos:
(0 1 1 1 1 1 1 . . .)
(0 0 0 0 0 0 0 . . .)
(0 0 1 0 1 0 1 0 1 0 1 0 . . .) B
_
_
_
(0 0 1 1 1 1 1 . . .)
(0 0 0 0 0 0 0 . . .)
(0 0 0 0 1 0 1 0 1 0 1 0 . . .) B
_
_
_
(0 0 0 1 1 1 1 . . .)
(0 0 0 0 0 0 0 . . .)
(0 0 0 0 0 0 1 0 1 0 1 0 . . .) B
_
_
_
Os pontos `a direita n ao s ao imagens, por g, de pontos de B B, por conse-
guinte suas imagens, por f, s ao vazios (buracos) em [ 0, 1 ].
De modo geral, para gerar um buraco na aresta tome no quadrado um
ponto (x, y) no qual apenas uma das cordenadas e fra c ao diadica. Sendo assim
temos as seguintes possibilidades:
(x, y):
_
V : B B
F : B {0, 1}
N
ou {0, 1}
N
B
A verdadeira (V) codica c ao do par (x, y) est a no conjunto B B e a falsa (F)
em B {0, 1}
N
se y for a fra c ao diadica ou em {0, 1}
N
B se x for a fra c ao
diadica. Pois bem, a codica c ao verdadeira vai para um ponto da aresta (ou do
intervalo) e a falsa vai para um buraco.
Esclarecendo melhor: Dado (x, y) I
2
no qual x ou (exclusivo) y e fra c ao
diadica temos, para este ponto, uma codica c ao legitima (x
n
, y
n
) e uma esp uria
(x

n
, y

n
). Temos que (x

n
) ou (y

n
) (dependendo de quem seja fra c ao diadica se
x ou se y) tem todos os termos iguais a 1 a partir de alguma posi c ao, enquanto
que a outra seq uencia, n ao sendo oriunda de uma fra c ao diadica, tem um 0
Gentil 18
e tambem um 1 em posi c oes arbitrariamente grandes. Logo ao se multiplexar
(x

n
, y

n
) resulta um ponto em B e a este um buraco na aresta.
Se no par (x, y) tivermos duas cordenadas diadicas, teremos as seguintes
possibilidades:
(x, y):
_

_
V V : B B gera ponto
V F : B {0, 1}
N
gera buraco
F V : {0, 1}
N
B gera buraco
F F : {0, 1}
N
{0, 1}
N
B.
Seja (x, y) um ponto do quadrado. Com um pouco de reex ao o leitor
chegara `as seguintes conclusoes:
1
a
) Se ambas as coordenadas, x e y, forem fra c oes diadicas ent ao este ponto vai
para um ponto da aresta e gera dois buracos;
2
a
) Se ambas as coordenadas, x e y, n ao forem fra c oes diadicas ent ao este ponto
vai para um ponto do intervalo e n ao geranenhum buraco;
3
a
) Se apenas uma das coordenadas, x ou y, e uma fra c ao diadica ent ao este
ponto vai para um ponto do intervlo e gera um buraco;
4
a
) o conjunto dos buracos e innito enumeravel, porquanto o conjunto dos
pontos (x, y) I
2
com coordenadas diadicas e enumeravel.
Exemplo: Tendo em conta o exemplo dado `a p ag. 12 o ponto
_
1
2
,
3
4
) vai, por
, para o ponto
39
48
e gera os buracos
23
48
e
37
48
, assim:
(
1
2
,
3
4
)

r
Vamos agora provar que o conjunto destes buracos e denso na aresta
do quadrado (ou ainda, no intervalo [ 0, 1 ]).
Consideremos B

B o complementar de B

em B (ver B

, p ag. 6). Isto e,


(x
1
x
2
x
3
x
4
. . . ) B

se, e somente se, (x


1
x
3
x
5
. . . ) B ou (x
2
x
4
x
6
. . . ) B.
Provemos que B

e denso em B. De fato, seja > 0 e a B dados. Devemos


mostrar que existe p B

de modo que (p, a) < . Pois bem, escolhamos j tal


que
1
2
j
< e tomemos p
n
= a
n
para n = 1, 2, . . . , j; e para n j + 1 tomemos
os termos comndices mpares iguais a 1 e os termos com ndices pares iguais a
0. Sendo assim p B

e (p, a)
1
2
j
< . Como e facil inferir a cada ponto de
B

corresponde um lugar ocioso na aresta.


A quase-inversa da curva de Peano
A curva de Peano, n ao sendo injetora, n ao possui inversa, mas com uma
pequena restri c ao em seu contradomnio ganhamos uma quase-inversa.
Seja I I = [ 0, 1 ] tal que x I se, e somente se, x n ao e uma fra c ao diadica.
Portanto, no quadrado I I temos os pontos (x, y) [ 0, 1 ]
2
tais que x e y
n ao s ao fra c oes diadicas, sendo assim resulta que

I
2
=
(1)
Usaremos das seguintes nota c oes: I = 0, 1 ;
(1)
=quase-inversa.
Gentil 19
4 A curva de Peano no cubo
De modo inteiramente an alogo, podemos construir uma curva de Peano
entre o intervalo unit ario e o cubo unit ario [0, 1]
3
, assim:
0
1
w
q
q

{0, 1}
N
{0, 1}
N
{0, 1}
N
q

:
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
0
1
1
1
(1,1,1)
q
(x,y,z)

:
Figura 3: Curva de Peano no Cubo
Nesta gura faz uma demultiplexagem de uma seq uencia
_
x
n
_
B.
Isto e, toma uma seq uencia
_
x
n
_
e a separa em tres subseq uencias

_
(x
n
)
_
=
_

1
(x
n
),
2
(x
n
),
3
(x
n
)
_
Ent ao podemos tomar

1
(x
1
x
2
x
3
. . .) = (x
1
x
4
x
7
x
10
. . .)

2
(x
1
x
2
x
3
. . .) = (x
2
x
5
x
8
x
11
. . .)

3
(x
1
x
2
x
3
. . .) = (x
3
x
6
x
9
x
12
. . .)

3
(x
1
x
2
x
3
x
4
x
5
. . .)
(x
1
x
4
x
7
x
10
. . .)
(x
2
x
5
x
8
x
11
. . .)
(x
3
x
6
x
9
x
12
. . .)
Exemplos:
(1) Calcule a imagem, por , de w = 0, 5.
Solu cao: Desenvolvendo 0, 5 na base 2, temos (10000 . . .)
2
=
1
2
.
Ent ao (0, 5) = (1000000 . . .). Agora aplicamos `a seq uencia anterior,
assim

1
(1000000 . . .) = (1000000 . . .)

2
(1000000 . . .) = (0000000 . . .)

3
(1000000 . . .) = (0000000 . . .)
Agora aplicamos ao ponto
_

1
,
2
,
3
_
:
_
(
1
,
2
,
3
)
_
= (x, y, z), obtendo

_
1
2
_
=
_
1
2
, 0, 0
_
.

No apendice p ag. 47, mostramos como retirar um n umero arbitr ario de subseq uencias de
uma dada seq uencia.
Gentil 20
(2) Calcule a imagem, por , de w = 2/3.
Solu cao: Desenvolvendo 2/3 na base 2, obtemos
2
3
= (1010101010 . . .)
2
. Ent ao
(2/3) = (1010101010 . . .). Aplicamos `a seq uencia anterior:

1
(1010101010 . . .) = (1010101 . . .)

2
(1010101010 . . .) = (0101010 . . .)

3
(1010101010 . . .) = (1010101 . . .)
Agora aplicamos ao ponto
_

1
,
2
,
3
_
:
_
(
1
,
2
,
3
)
_
= (x, y, z), obtendo

_
2
3
_
=
_
2
3
,
1
3
,
2
3
_
. Gracamente, temos
0
1
q 1
2
q 2
3

@
@
@
@
@
@
@
@
@
@
@
@
q
q
1
2
(
2
3
,
1
3
,
2
3
)
-
6
@
@
@
@
@R
x
z
y
0 1
1
1
(1,1,1)
-

(3) Encontre todos os pontos do intervalo que s ao transferidos, por , para


o centro do cubo. Isto e, resolva a equa c ao (x) =
_
1
2
,
1
2
,
1
2
_
.
Solu cao: Temos as seguintes alternativas:

_
1
2
,
1
2
,
1
2
_

_
VVV: (1 0 0 0 . . . , 1 0 0 0 . . . , 1 0 0 0 . . .) (1 1 1 0 0 0 0 0 0 . . .)
VVF: (1 0 0 0 . . . , 1 0 0 0 . . . , 0 1 1 1 . . .) (1 1 0 0 0 1 0 0 1 . . .)
VFV: (1 0 0 0 . . . , 0 1 1 1 . . . , 1 0 0 0 . . .) (1 0 1 0 1 0 0 1 0 . . .)
VFF: (1 0 0 0 . . . , 0 1 1 1 . . . , 0 1 1 1 . . .) (1 0 0 0 1 1 0 1 1 . . .)
FVV: (0 1 1 1 . . . , 1 0 0 0 . . . , 1 0 0 0 . . .) (0 1 1 1 0 0 1 0 0 . . .)
FVF: (0 1 1 1 . . . , 1 0 0 0 . . . , 0 1 1 1 . . .) (0 1 0 1 0 1 1 0 1 . . .)
FFV: (0 1 1 1 . . . , 0 1 1 1 . . . , 1 0 0 0 . . .) (0 0 1 1 1 0 1 1 0 . . .)
FFF: (0 1 1 1 . . . , 0 1 1 1 . . . , 0 1 1 1 . . .) (0 0 0 1 1 1 1 1 1 . . .)
Nota: Os digitos na cor azul, em cada seq uencia, representam o perodo; isto e,
s ao os tres digitos que se repetem em seguida.
Para ilustrar a nalidade do diagrama acima consideremos, por exemplo,
a segunda das combina c oes (VVF), assim:
Gentil 21
0
1
43
56
q
q
(1 1 0 0 0 1 0 0 1...)

{0, 1}
N
{0, 1}
N
{0, 1}
N
q
(1 0 0 0..., 1 0 0 0..., 0 1 1 1...)

:
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
0
1
1
1
(1,1,1)
q
(
1
2
,
1
2
,
1
2
)

:
Deste diagrama concluimos que,
_
43
56
_
=
_
1
2
,
1
2
,
1
2
_
. Das combina c oes an-
teriores apenas uma (FFF) n ao pertence a B, portanto n ao e oriunda da codi-
ca c ao de nenhum ponto do intervalo [ 0, 1 ], sendo assim temos:

_
49
56
_
=
_
43
56
_
=
_
37
56
_
=
_
31
56
_
=
_
25
56
_
=
_
19
56
_
=
_
13
56
_
=
_
1
2
,
1
2
,
1
2
_
Seja (x, y, z) um ponto do cubo. Com um pouco de reex ao o leitor chegara
`as seguintes conclusoes:
1
a
) Se as tres coordenadas, x, y e z, forem fra c oes diadicas ent ao, neste ponto s ao
colocados sete pontos da aresta do cubo (digo, do intervalo unit ario). De outro
modo: a curva passa sete vezes por pontos com as tres coordenadas diadicas;
2
a
) Se apenas duas coordenadas forem fra c oes diadicas ent ao, neste ponto s ao
colocados quatro pontos da aresta do cubo. De outro modo: a curva passa
quatro vezes por pontos com duas coordenadas diadicas;
3
a
) Se apenas uma coordenada for fra c ao diadica ent ao, neste ponto s ao colo-
cados dois pontos da aresta do cubo. De outro modo: a curva passa duas vezes
por pontos com uma coordenada diadicas;
4
a
) Se nenhuma das coordenadas e diadica ent ao, neste ponto e colocado um
unico ponto da aresta do quadrado. De outro modo: a curva passa uma unica
vez em pontos com nenhuma coordenada diadica;
5
a
) O conjunto dos pontos de auto-interse c ao da curva e innito enumeravel e
denso no quadrado.
Gentil 22
5 O cubo hiper-magico
A exemplo do que foi feito para o quadrado tambem podemos transferir
todos os pontos do cubo para uma de suas arestas. Sendo que esta transforma c ao
cumpre as mesmas condi c oes que a do quadrado: e contnua, injetiva e n ao
sobrejetiva.
0
1
w
q
q

B
f

B
B
B
q

3
g
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
0
1
1
1
(1,1,1)
q
(x,y,z)
h
Figura 4: Cubo hiper-m agico
Exemplos:
(1) Calcule
_
0, 0,
1
2
_
.
Solu cao: Temos
1
2
= (1 0 0 0 0 0 0 0 . . .)
2
. Logo
h
_
0, 0,
1
2
_
= (0 0 0 0 0 0. . . , 0 0 0 0 0 0. . . , 1 0 0 0 0 0. . .)
- Agora aplicamos, ao ponto anterior, g.
Observa cao: Dadas tres seq uencias
_
x
n
_
,
_
y
n
_
e
_
z
n
_
, g faz uma mul-
tiplexagem das mesmas, segundo a parti c ao
N
1
= {1, 4, 7, 10, . . .};
_
x
n
_
N
2
= {2, 5, 8, 11, . . .};
_
y
n
_
N
3
= {3, 6, 9, 12, . . .};
_
z
n
_
Ou seja
g
_
(x
n
), (y
n
), (z
n
)
_
= (x
1
y
1
z
1
x
2
y
2
z
2
x
3
y
3
z
3
x
4
y
4
z
4
. . .)
portanto
g
_
(0 0 0 0 0 0. . . , 0 0 0 0 0 0. . . , 1 0 0 0 0 0. . .)
_
= (0 0 1 0 0 0 0 0 0 . . .)
- Agora aplicamos, `a seq uencia anterior, f. Ent ao
f
_
(0 0 1 0 0 0 0 0 0 . . .)
_
=
0
2
1
+
0
2
2
+
1
2
3
+
0
2
4
+
0
2
5
+ =
1
8
.
Portanto,
_
0, 0,
1
2
_
=
1
8
.
Gentil 23
(2) Calcule
_
1
2
,
1
2
,
1
2
_
.
Solu cao: Temos
1
2
= (1 0 0 0 0 0 0 0 . . .)
2
. Logo
h
_
1
2
,
1
2
,
1
2
_
= (1 0 0 0 0 0. . . , 1 0 0 0 0 0. . . , 1 0 0 0 0 0. . .)
- Agora aplicamos, ao ponto anterior, g. Portanto
g
_
(1 0 0 0 0 0. . . , 1 0 0 0 0 0. . . , 1 0 0 0 0 0. . .)
_
= (1 1 1 0 0 0 0 0 0 . . .)
- Agora aplicamos, `a seq uencia anterior, f. Ent ao
f
_
(1 1 1 0 0 0 0 0 0 . . .)
_
=
1
2
1
+
1
2
2
+
1
2
3
+
0
2
4
+
0
2
5
+ =
1
2
+
1
4
+
1
8
=
7
8
.
Portanto,
_
1
2
,
1
2
,
1
2
_
=
7
8
.
Gracamente, temos
6
@@R
y
z
0
1
1
(1,1,1)
r
r
0
1
q
q
1
8
7
8
-

Deste exemplo e do exemplo (3) (p ag. 20) concluimos que o centro do


cubo vai para o ponto 7/8 e gera seis buracos na aresta do cubo (ou no intervalo
unit ario).
Observe que paradoxal: A exemplo do que ocorreu no quadrado hiper-
magico aqui tambem conseguimos, por , transferir o cubo para uma de suas
arestas, com a agravante de que agora mais buracos ser ao gerados na
aresta. Por exemplo um ponto (x, y) I
2
com ambas as coordenadas diadicas
gera dois buracos na aresta do quadrado; por outro lado um ponto (x, y, z) I
3
com duas coordenadas diadicas gera quatro buracos na aresta do cubo e com
tres coordenadas diadicas gera seis buracos. Resumindo: estamos transferindo
para a aresta um volume maior de pontos enquanto o n umero de lugares va-
zios na aresta aumenta.
Naturalmente que, o que foi feito para o quadrado e o cubo, se estende
sem diculdade ao hipercubo.
Gentil 24
t t
t t
t t
t t
1 2
3 4
5 6
7 8

s
1
s
2
s
3
s
4
s
5
s
6
s
7
s
8
s
9
: [0, 1]
3
[0, 1]
t
9
G
e
n
t
i
l
/
2
0
0
5
Cubo Hiper-Magico
Tudo isso, que ` a primeira vista
parece excesso de irraz ao, na verdade
e o efeito da nura e da extens ao do
esprito humano e o metodo para en-
contrar verdades ate ent ao desconheci-
das. Voltaire (17
a
Carta)
O que a matem atica pontua,
n ao raro a natureza corrobora.
Gentil (1
o
Bilhete)
Nota: Os seis buracos constantes na aresta foram abertos pelo centro do
cubo.
Calculos do Cubo
1 : (1, 0, 0), 2 : (1, 1, 0), 3 : (1, 1, 1), 4 : (1, 0, 1)
5 : (0, 0, 0), 6 : (0, 1, 0), 7 : (0, 1, 1), 8 : (0, 0, 1), 9 :
_
1
2
,
1
2
,
1
2
_
.
- Imagens dos vertices por
1 : (1, 0, 0)
1 1 1 1 1 . . .
0 0 0 0 0 . . .
0 0 0 0 0 . . .
1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 . . .
(1) =
1
2
1
+
0
2
2
+
0
2
3
+
1
2
4
+
0
2
5
+
0
2
6
+
1
2
7
+
0
2
8
+
0
2
9
+
=
1
2
1
+
1
2
4
+
1
2
7
+ =
1
2
1
1
2
3
=
4
7
0, 5714
Gentil 25
2 : (1, 1, 0)
1 1 1 1 1 . . .
1 1 1 1 1 . . .
0 0 0 0 0 . . .
1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 . . .
(2) =
1
2
1
+
1
2
2
+
0
2
3
+
1
2
4
+
1
2
5
+
0
2
6
+
1
2
7
+
1
2
8
+
0
2
9
+
=
_
1
2
1
+
1
2
4
+
1
2
7
+
_
+
_
1
2
2
+
1
2
5
+
1
2
8
+
_
=
1
2
1
1
2
3
+
1
2
2
1
1
2
3
=
4
7
+
2
7
=
6
7
0, 8571
3 : (1, 1, 1)
1 1 1 1 1 . . .
1 1 1 1 1 . . .
1 1 1 1 1 . . .
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 . . .
(3) =
1
2
1
+
1
2
2
+
1
2
3
+ = 1
4 : (1, 0, 1)
1 1 1 1 1 . . .
0 0 0 0 0 . . .
1 1 1 1 1 . . .
1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 . . .
(4) =
1
2
1
+
0
2
2
+
1
2
3
+
1
2
4
+
0
2
5
+
1
2
6
+
1
2
7
+
0
2
8
+
1
2
9
+
=
_
1
2
1
+
1
2
4
+
1
2
7
+
_
+
_
1
2
3
+
1
2
6
+
1
2
9
+
_
=
1
2
1
1
2
3
+
1
2
3
1
1
2
3
=
4
7
+
1
7
=
5
7
0, 7143
5 : (0, 0, 0)
0 0 0 0 0 . . .
0 0 0 0 0 . . .
0 0 0 0 0 . . .
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 . . .
(5) =
0
2
1
+
0
2
2
+
0
2
3
+ = 0
6 : (0, 1, 0)
0 0 0 0 0 . . .
1 1 1 1 1 . . .
0 0 0 0 0 . . .
0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 . . .
Gentil 26
(6) =
0
2
1
+
1
2
2
+
0
2
3
+
0
2
4
+
1
2
5
+
0
2
6
+
0
2
7
+
1
2
8
+
0
2
9
+
=
1
2
2
+
1
2
5
+
1
2
8
+ =
1
2
2
1
1
2
3
=
2
7
0, 2857
7 : (0, 1, 1)
0 0 0 0 0 . . .
1 1 1 1 1 . . .
1 1 1 1 1 . . .
0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 . . .
(7) =
0
2
1
+
1
2
2
+
1
2
3
+
0
2
4
+
1
2
5
+
1
2
6
+
0
2
7
+
1
2
8
+
1
2
9
+
=
_
1
2
2
+
1
2
5
+
1
2
8
+
_
+
_
1
2
3
+
1
2
6
+
1
2
9
+
_
=
1
2
2
1
1
2
3
+
1
2
3
1
1
2
3
=
2
7
+
1
7
=
3
7
0, 4286
8 : (0, 0, 1)
0 0 0 0 0 . . .
0 0 0 0 0 . . .
1 1 1 1 1 . . .
0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 . . .
(8) =
0
2
1
+
0
2
2
+
1
2
3
+
0
2
4
+
0
2
5
+
1
2
6
+
0
2
7
+
0
2
8
+
1
2
9
+
=
1
2
3
+
1
2
6
+
1
2
9
+ =
1
2
3
1
1
2
3
=
1
7
0, 1429
9 :
_
1
2
,
1
2
,
1
2
_
1 0 0 0 0 . . .
1 0 0 0 0 . . .
1 0 0 0 0 . . .
1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 . . .
(9) =
1
2
1
+
1
2
2
+
1
2
3
+
0
2
4
+
0
2
5
+
0
2
6
+
0
2
7
+
0
2
8
+
0
2
9
+
=
1
2
1
+
1
2
2
+
1
2
3
=
7
8
0, 8750
Gentil 27
Buracos:
- O centro do cubo vai, por , para o ponto 7/8 [ 0, 1 ] e gera(reserva) seis
buracos no intervalo (ver exemplo (2), p ag. 23). Para esclarecer esta assertiva
observe o diagrama seguinte,

_
1
2
,
1
2
,
1
2
_

_
VVV: (1 0 0 0 . . . , 1 0 0 0 . . . , 1 0 0 0 . . .) (1 1 1 0 0 0 0 0 0 . . .) = 49/56
VVF: (1 0 0 0 . . . , 1 0 0 0 . . . , 0 1 1 1 . . .) (1 1 0 0 0 1 0 0 1 . . .) = 43/56
VFV: (1 0 0 0 . . . , 0 1 1 1 . . . , 1 0 0 0 . . .) (1 0 1 0 1 0 0 1 0 . . .) = 37/56
VFF: (1 0 0 0 . . . , 0 1 1 1 . . . , 0 1 1 1 . . .) (1 0 0 0 1 1 0 1 1 . . .) = 31/56
FVV: (0 1 1 1 . . . , 1 0 0 0 . . . , 1 0 0 0 . . .) (0 1 1 1 0 0 1 0 0 . . .) = 25/56
FVF: (0 1 1 1 . . . , 1 0 0 0 . . . , 0 1 1 1 . . .) (0 1 0 1 0 1 1 0 1 . . .) = 19/56
FFV: (0 1 1 1 . . . , 0 1 1 1 . . . , 1 0 0 0 . . .) (0 0 1 1 1 0 1 1 0 . . .) = 13/56
FFF: (0 1 1 1 . . . , 0 1 1 1 . . . , 0 1 1 1 . . .) (0 0 0 1 1 1 1 1 1 . . .) = 7/56
0
43
56
1
f
g
h

(1000...,1000...,0111...)
B

B
B
B

@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
0
1
1
1
q
(
1
2
,
1
2
,
1
2
)
Observe que a pseudo-codica c ao VVF, do centro, gera um buraco:
(1 0 0 0. . . , 1 0 0 0. . . , 0 1 1 1. . . ), no espa co B
3
e este, por sua vez, gera um buraco
em B: (1 1 0 0 0 1 0 0 1. . . ), que, por sua vez, gera um outro buraco em [ 0, 1 ]:
43/56. Desta forma acontece com todas as pseudo-codica c oes (exceto a ultima:
FFF). Nos seis pontos seguintes
43/56 = 0, 7679; 37/56 = 0, 6607; 31/56 = 0, 5536; 25/56 = 0, 4464;
19/56 = 0, 3393; 13/56 = 0, 2321.
localizam-se os buracos na aresta do cubo (ou no intervalo unit ario), ver g.
p ag. 24.
-Inserindo dimensoes arbitrarias dentro de dimensoes arbitrarias
As aplica c oes e , conjuntamente, nos permitem inserir dimensoes ar-
bitrarias dentro de dimensoes arbitrarias. Por exemplo para inserir um cubo
a dez dimensoes em um cubo a tres dimensoes proceda assim:
[ 0, 1 ]
10
[ 0, 1 ] [ 0, 1 ]
3

Para inserir um cubo a tres dimensoes em um cubo a 10 dimens oes proceda
assim:
[ 0, 1 ]
10
[ 0, 1 ] [ 0, 1 ]
3

Gentil 28
6 Possveis aplicacoes na Teoria das Supercordas
Estivemos a imaginar possveis aplica c oes praticas para estas aplica c oes.
Tivemos duas ideias as quais deixamos aqui, a ttulo de sugest ao, a quem inte-
ressar possa:
1
a
) Na inform atica: Se tivermos um volume de informa c oes (dados)
a transmitir, podemos compactar estes dados em uma dimensao, em seguida
transmitir e, no receptor, recupera-los, assim [0, 1]
3
[0, 1] [0, 1]
3
.
2
a
) Na Fsica: a Teoria das Supercordas e consistente em 10 dimensoes. O
problema e saber como um Universo a dez dimensoes pode ser reduzido a tres
dimensoes (espaciais). Nossa sugest ao (conjectura) e que as dimensoes extras
foram multiplexadas.
Com estas tecnicas (multiplexa c ao/demultiplexa c ao) n ao apenas fazemos
uma transposi c ao de dimensoes (isto e, de um espa co em outro), como podemos
transferir uma corda (ou uma p-brana) de uma dimensao `a outra. Vejamos um
exemplo do que estamos falando. Suponhamos que um ramo (peda co) de uma
corda (uma-brana) seja dado pelo graco da fun c ao f : [0, 1] [0, 1] dada
por f(x) = x
2
. Vamos transferir os cinco pontos seguintes desta curva, para a
terceira dimensao
_
para [0, 1]
3
_
, assim
_
0, 0
_
:
_
0 0 0 0 0 0 . . .
0 0 0 0 0 0 . . .
0 0 0 0 0 0 0 0 . . .
_

_
0 0 0 0 0 . . . , x = 0
0 0 0 0 0 . . . , y = 0
0 0 0 0 0 . . . , z = 0
_
1
4
,
1
16
_
:
_
0 1 0 0 0 0 . . .
0 0 0 1 0 0 . . .
0 0 1 0 0 0 0 1 0 . . .
_

_
0 0 0 0 0 . . . , x = 0
0 0 1 0 0 . . . , y =
1
4
1 0 0 0 0 . . . , z =
1
2
_
1
2
,
1
4
_
:
_
1 0 0 0 0 0 . . .
0 1 0 0 0 0 . . .
1 0 0 1 0 0 0 0 . . .
_

_
1 1 0 0 0 . . . , x =
3
4
0 0 0 0 0 . . . , y = 0
0 0 0 0 0 . . . , z = 0
_
3
4
,
9
16
_
:
_
1 1 0 0 0 0 . . .
1 0 0 1 0 0 . . .
1 1 1 0 0 0 0 1 0 . . .
_

_
1 0 0 0 0 . . . , x =
1
2
1 0 1 0 0 . . . , y =
5
8
1 0 0 0 0 . . . , z =
1
2
_
1, 1
_
:
_
1 1 1 1 1 1 . . .
1 1 1 1 1 1 . . .
1 1 1 1 1 1 1 1 . . .
_

_
1 1 1 1 1 . . . , x = 1
1 1 1 1 1 . . . , y = 1
1 1 1 1 1 . . . , z = 1
0
1
s
s
s

1
4
1/16

1
2
1/4

3
4
9/16
1
-
6
0
1
s
s
s
s
s

s
s
s
s
s
x
z
y
0
1
1
1
(1,1,1)

1
2
Gentil 29
Holograa
No livro O UNIVERSO NUMA CASCA DE NOZ (Stephen Hawking/p ag.
198):
A holograa codica as informa c oes de uma regiao do espa co em uma
superfcie com uma dimensao a menos. . . Em um modelo de mundo brana, a
holograa seria uma correspondencia de um para um entre estados em nosso
mundo quadridimensional e estados em dimensoes superiores.
Mais `a frente: Entretanto, sob um ponto de vista positivista, n ao se pode
perguntar: qual e a realidade, brana ou bolha? Ambas s ao modelos matematicos
que descrevem as observa c oes. Cada um e livre para usar o modelo mais con-
veniente.
N ao podemos deixar de vislumbrar uma interse c ao entre estas declara c oes
e nossas constru c oes.
7 A metrica Divina (ou quantica)
Agora trataremos do objetivo principal deste trabalho que e a constru c ao
da curva de Peano na metrica Divina. Apresentamos:
A metrica Divina
Considere a seguinte aplica c ao
k: [0, 1[[0, 1[ R
denida por
k(x, y) = min
_
|x y|, 1 |x y|
_
No apendice (p ag. 48) provamos que k e uma metrica sobre M = [0, 1[.
Observe por que devemos excluir o extremo direito do intervalo unit ario:
isto se deve a que, caso contrario,
k(1, 0) = min
_
|1 0|, 1 |1 0|
_
= 0
o que estaria em agrante desrespeito `a exigencia (M
1
) da deni c ao de metrica,
digo:
d(x, y) = 0 x = y.
Esta metrica e de facil manipula c ao e funciona assim: dados dois pontos
x e y, ambos no intervalo [ 0, 1 [, entre chaves obteremos dois valores: escolhemos
o menor deles como sendo a distancia entre os pontos x e y. Por exemplo,
k(0, 2; 0, 6) = min
_
|0, 2 0, 6|, 1 |0, 2 0, 6|
_
= min
_
0, 4; 0, 6
_
= 0, 4
k(0, 2; 0, 8) = min
_
|0, 2 0, 8|, 1 |0, 2 0, 8|
_
= min
_
0, 6; 0, 4
_
= 0, 4
k(0, 2; 0, 9) = min
_
|0, 2 0, 9|, 1 |0, 2 0, 9|
_
= min
_
0, 7; 0, 3
_
= 0, 3

0 1
2
1
t t t t
0, 2 0, 6 0, 8 0, 9
Por oportuno, observe que,
k( 0, 2; 0, 6 ) = k( 0, 2; 0, 8 ) > k( 0, 2; 0, 9 ). (2)
Gentil 30

E isto mesmo que o leitor presencia!!: a dist ancia entre o primeiro e o


segundo ponto no diagrama acima e igual `a distancia entre o primeiro e o
terceiro ponto que . . . pasmem!! e maior que a distancia entre o primeiro e o
quarto ponto!
Tudo isso, que ` a primeira vista parece excesso de irraz ao, na verdade e o efeito da nura e da ex-
tens ao do esprito humano e o metodo para encontrar verdades ate ent ao desconhecidas. Voltaire
(17
a
Carta)
A quest ao e que alguns matematicos procedem como o pai que se detem
mais nas qualidades do lho e, obstinadamente, negligenciam seus defeitos.
N os decididamente consideramos tambem os defeitos, pois somos dos que acre-
ditam que podemos tirar grandes li c oes dos mesmos. Uma vez que a crian ca foi
gerada devemos assum-la integralmente, mesmo correndo o risco de sermos
escarnecidos.
A exemplo do que ocorre nas fsicas quantica e relativistica, a ma-
tem atica tambem comporta seus paradoxos. Por exemplo a metrica k nos brinda
com alguns paradoxos interessantes (ver [2], [6]). Por exemplo: inicialmente va-
mos calcular a distancia de um ponto arbitrario x [ 0, 1[ ao ponto 0, assim
k(x, 0) = min
_
|x 0|, 1 |x 0|
_
= min
_
|x|, 1 |x|
_
Como 0 x < 1, temos |x| = x, logo,
k(x, 0) = min
_
x, 1 x
_
Temos,
x 1 x x
1
2
Sendo assim, podemos escrever:
k(x, 0) = min
_
x, 1 x
_
=
_
_
_
x, se 0 x
1
2
;
1 x, se
1
2
x < 1.
(3)
A seguir esbo camos o graco da fun c ao dada por k(x, 0):
1 1
2

1
1
2
0
x
k(x, 0)
s
x
1
2
0 1
Este graco nos mostra como varia a distancia de um ponto arbitrario x `a
origem.
Na gura a seguir acrescentamos ao graco anterior (para efeito de
compara c ao) a distancia usual, d(x, 0) = |x 0|, de um ponto arbitrario x do
intervalo [ 0, 1 [ `a origem:
Gentil 31
1 1
2

1
1
2
0
x
k(x, 0)
A partir do graco de k(x, 0) construmos a regua ocial do universo
_
[0, 1[, k
_
,
assim:
0
0 0,1 0,2 0,3 0,4 0,5 0,4 0,3 0,2 0,1 1
I
N
M
E
T
R
O
Figura 5: Regua divina
Nota: Observamos que esta regua e t ao legtima quanto a usual vendida
em nossas livrarias, tanto e que ja a homologamos junto ao Inmetro.
Esta regua nos ser a bastante util para destrinchar alguns paradoxos.
Pois bem, o leitor imagine-se caminhando sempre para a direita, a partir
da origem (referencial) do intervalo [ 0, 1[, assim
1
2
0 1

Perguntamos: O leitor estar a afastando-se ou aproximando-se da origem ?


Calma. . . a pergunta n ao e t ao idiota quanto parece.
O graco de k(x, 0) nos ajuda a resolver a quest ao: ate a metade do
caminho o leitor estar a afastando-se da origem, a partir da estar a aproximando-
se !
A razao dos nomes da metrica
O graco de k(x, 0) mostra que quanto mais nos afastamos da origem
- a partir da metade - mais nos aproximamos. Precisamente por esta raz ao
decidimos chamar k de a metrica divina: mesmo tendo a impressao de estar
se afastando, na verdade voce aproxima-se da origem. Digo, por mais que se
caminhe (evolua) estamos sempre, a cada passo, mais proximo da origem de
tudo. O alfa () e o omega () de Teilhard de Chardin se confundem!
Gentil 32
Metrica divina e Bhagavad G

ita
Existem asser c oes que, ao nos encontrar desprevenidos, nos d ao a sensa c ao,
por assim dizer, de um estupro `a raz ao, tais como a armativa em destaque
no verso seguinte :
Esta dentro e fora de todos os seres; e movente e tamb em imovente;
e t~ao sutil que e impercept vel; esta perto e ao mesmo tempo distante".
( Bhagavad G

it a - XIII-16 )
Veremos que, em casos como estes, a metrica divina nos restitui a virgin-
dade. De fato, ao le pela primeira vez a armativa: esta perto e ao
mesmo tempo distante, confesso que senti um, por assim dizer, desconforto
intelectual. Como algo pode est a perto e simult aneamente distante?
Devo admitir que minhas inquieta c oes, a este respeito, foram total-
mente dirimidas (dissipadas) com o uso da metrica divina; sen ao vejamos:
0
0 0,1 0,2 0,3 0,4 0,5 0,4 0,3 0,2 0,1 1
I
N
M
E
T
R
O

Figura 6: Regua divina e Bhagavad G

ita
Considere o ponto, do intervalo [ 0, 1 [, em destaque na regua acima, observe
que ele est a perto e ao mesmo tempo distante da origem:
k(0; 0, 9) = min
_
|0, 9 0|, 1 |0, 9 0|
_
Distante pela regua humana: |0, 9 0| = 0, 9 e proximo pela divina: 1 |0, 9
0| = 0, 1.
Ainda podemos vislumbrar o paradoxo acima gracamente, assim:
1

1
1
2
0
x
k(x, 0)

0, 1
0, 9
Para os que caram insatisfeitos com a interpretac ao mstica que demos
para a metrica k, vejamos uma outra, um tanto quanto mais por assim dizer
materialista (concreta): vamos curvar o intervalo [ 0, 1 [ segundo um rel ogio
de comprimento 1, ou ainda, de raio 2r = 1, assim
Gentil 33
1 0

1
4
3
4
1
2
1 0

1
4
3
4
1
2
r
t
t
x
y

Pois bem, denindo a dist ancia angular entre os ponteiros como


sendo o menor dos angulos e 360
o
, isto e
d(x, y) = min{, 360
o
}
teremos uma ideia de como funciona a metrica divina.

E isto o que signica
dizer que a metrica curva o espa co.
Nas guras seguintes ilustramos as rela c oes dadas em (2) (p ag. 29),
1 0

1
4
3
4
1
2
r
s
s
0, 2
0, 6
1 0

1
4
3
4
1
2
r
s s
0, 2 0, 8
1 0

1
4
3
4
1
2
r
s
s
0, 2
0, 9
Nota: No trabalho [6] justicamos o porque do nome alternativo: Metrica
qu antica.
Bolas no Espa co
_
[0, 1[, k
_
Vamos esbo car a bola de centro 0 e raio r no espa co
_
[0, 1[, k
_
. Isto e,
queremos caracterizar B
k
(0; r). Pois bem,
B
k
(0; r) =
_
x [0, 1[ : k(x, 0) < r
_
=
_
x [0, 1[ : min
_
|x 0|, 1 |x 0|
_
< r
_
=
_
x [0, 1[ : min
_
|x|, 1 |x|
_
< r
_
Isto e, pertencem `a bola B
k
(0; r) todos os 0 x < 1 tais que
min
_
x, 1 x
_
< r. Observe que
k(x, 0) = min
_
x, 1 x
_
=
_
_
_
x, se 0 x
1
2
;
1 x, se
1
2
x < 1.
Temos ainda
1
2
x < 1 0 < 1 x
1
2
= k(x, 0)
1
2
.
A seguir esbo camos o gr aco da fun c ao dada por k(x, 0):
Gentil 34
-
6
1
1
2

1
1
2
0
x
k(x, 0)
-
6
1
1
2

1
1
2
0
x
k(x, 0)
r

r 1r
Com o objetivo de obter a bola B
k
(0; r), xamos na gura da direita
um valor para r. Uma an alise deste graco nos permite concluir que
B
k
(0; r) =
_
_
_
[0, r[ ]1 r, 1[, se 0 < r
1
2
;
[0, 1[, se r >
1
2
.
Observe
0 1 r 1r
B
k
(0; r<
1
2
)
0 1 r
B
k
(0; r=
1
2
)
0 1
B
k
(0; r>
1
2
)
Deixamos como desao ao leitor a incubencia do esbo co da bola de
centro p e raio r no espa co
_
[0, 1[, k
_
. Isto e, caracterizar B
k
(p; r) para r > 0 e
0 < p < 1.
Lema 1. Considere 0 p < 1 e r > 0, ent ao B

_
p; r
_
B
k
(p; r).
Prova: Seja x B

_
p; r
_
ent ao |x p| < r. Temos duas possibilidades:
k(x, p) = min
_
|x p|, 1 |x p|
_
= |x p| < r
k(x, p) = min
_
|x p|, 1 |x p|
_
= 1 |x p| |x p| < r
Em qualquer dos casos x B
k
(p; r).
( i ) Considere a seq uencia dada por x
n
= 1
1
n
[0, 1[, cujos termos est ao
plotados na gura a seguir
0
1
2
1

r r r r rrrr
x
1
x
2
x
3
O leitor diria que os termos desta seq uencia aproximam-se de que n umero?
Vamos mostrar que para os habitantes do universo
_
[0, 1[, k
_
, os termos
da seq uencia (x
n
) aproximam-se arbitrariamente de 0. De outro modo: Toda
bola centrada em 0 contem todos os termos da seq uencia, a partir de uma certa
ordem. Vamos mostrar que
lim
n
_
1
1
n
_
= 0. (4)
Prova: De fato, dado > 0 devemos exibir um ndice n
0
() de modo que
n n
0
x
n
B
k
_
0;
_
.
Gentil 35
Ent ao
x
n
B
k
_
0;
_
k(x
n
, 0) <
min
_
|x
n
0|, 1 |x
n
0|
_
<
min
_
x
n
, 1 x
n
_
<
min
_
1
1
n
, 1
_
1
1
n
_
_
<
min
_
1
1
n
,
1
n
_
=
1
n
< (5)
Observe que
1
n
1
1
n
n 2.
Portanto, dado > 0 tomamos, de emprestimo a Arquimedes, um ndice n
0
tal
que
1
n
0
< (n
0
> 1/) e teremos
n n
0

1
n

1
n
0
< .
Agora, por (5), teremos (seguindo =) x
n
B
k
_
0;
_
.
Fa camos duas simula c oes. Tomando, por exemplo, =
1
4
, temos
n
0
>
1
1
4
= 4 n
0
= 5.
Isto implica que, todos os termos da seq uencia, a partir do quinto (inclusive),
caem dentro da bola B
k
_
0;
1
4
_
. J a para =
1
6
isto s o acontece a partir do setimo
termo. Veja ilustra c oes a seguir:
0 1
4
3
4
1
B
k
(0;
1
4
)
r r r r rrrr
x
1
x
2
x
3
x
4
0 1
6
5
6
1
B
k
(0;
1
6
)
r r r r rrrr
x
1
x
2
x
3
x
4
Este exemplo e um caso especial do seguinte resultado.
Corolario 1. Toda seq uencia (x
n
) (0 x
n
< 1) que converge para o ponto
p (0 p < 1) no espa co
_
[0, 1],
_
, converge para o mesmo ponto no espa co
_
[0, 1[, k
_
.
Prova: Decorre do lema 1, p ag. 34.
Espa co produto
Uma outra alternativa para se construir espa cos metricos e via produto
cartesiano.
Sejam (M
1
, d
1
) e (M
2
, d
2
) espa cos metricos. A partir destes vamos cons-
truir, por exemplo, tres outros espa cos, do seguinte modo: Tomemos dois pontos
x = (x
1
, x
2
) M
1
M
2
= M e y = (y
1
, y
2
) M
1
M
2
= M
Gentil 36
e vamos denir tres fun c oes
D
1
, D
2
, D
3
: M M R
dadas por
D
1
(x, y) =
_
d
2
1
(x
1
, y
1
) + d
2
2
(x
2
, y
2
)
D
2
(x, y) = d
1
(x
1
, y
1
) + d
2
(x
2
, y
2
)
D
3
(x, y) = max {d
1
(x
1
, y
1
); d
2
(x
2
, y
2
)}
Pode ser mostrado que (M, D
1
), (M, D
2
) e (M, D
3
) s ao tambem espa cos
metricos.
Observe que x
1
, y
1
M
1
e x
2
, y
2
M
2
de modo que d
1
(x
1
, y
1
) e calculado
no espa co (M
1
, d
1
) enquanto d
2
(x
2
, y
2
) e calculado no espa co (M
2
, d
2
).
Exemplo: A partir do espa co metrico
_
[0, 1[, k
_
podemos obter outros tres, no
conjunto [ 0, 1 [ [ 0, 1 [:
0 1
1
0 1
1
s
(x
1
,x
2
)
s
(y
1
,y
2
)
assim:
D
1
(x, y) =
_
k
2
(x
1
, y
1
) +k
2
(x
2
, y
2
)
D
2
(x, y) = k(x
1
, y
1
) +k(x
2
, y
2
) (6)
D
3
(x, y) = max
_
k(x
1
, y
1
); k(x
2
, y
2
)
_
Bolas no espa co produto
Citamos a seguinte
Proposi cao 1. Sejam (M
1
, d
1
), (M
2
, d
2
), . . ., (M
n
, d
n
) espa cos metricos e
consideremos sobre M = M
1
M
2
M
n
a metrica
D
3
(x, y) = max
_
d
1
(x
1
, y
1
), . . . , d
n
(x
n
, y
n
)
_
onde x = ( x
1
, x
2
, . . . , x
n
) e y = ( y
1
, y
2
, . . . , y
n
) s ao ponto de M.
Fixe um ponto p = ( p
1
, p
2
, . . . , p
n
) M. Nestas condi c oes a seguinte
identidade e v alida
B
D
3
( p; r) = B
d
1
( p
1
; r) B
d
2
( p
2
; r) B
d
n
( p
n
; r)
Gentil 37
Exemplos:
Vejamos dois exemplos no espa co
_
[0, 1[[0, 1[, D
3
_
.
( i ) Temos
B
D
3
_
(0, 0);
1
4
_
= B
k
_
0;
1
4
_
B
k
_
0;
1
4
_
=
_
_
0,
1
4
_

3
4
, 1
_
_

_
_
0,
1
4
_

3
4
, 1
_
_
Geometricamente esta bola ca assim:
0
1
2
1
1

1
2
1
4
1
4
3
4
3
4
=
Seria bom o leitor rever o diagrama de bolas abertas `a p agina 34.
( ii ) Temos
B
D
3
_
_
1
4
,
3
4
_
;
1
3
_
= B
k
_
1
4
;
1
3
_
B
k
_
3
4
;
1
3
_
=
_
_
0,
7
12
_

11
12
, 1
_
_

_
_
0,
1
12
_

5
12
, 1
_
_
Geometricamente esta bola ca assim (conrme!):
0
1
2
1
1

1
2
7
12
11
12
1
12
5
12
1
4
3
4
r
p
=
r
p
Quadrados magicos: As quatro seq uencias dadas a seguir
Gentil 38
x
n
=
_
1
n+1
, 1
1
n+1
_

z
n
=
_
1
n+1
,
1
n+1
_

t
n
=
_
1
1
n+1
, 1
1
n+1
_
y
n
=
_
1
1
n+1
,
1
n+1
_
0 1
1
s
s
s
s
s
x
2
x
3
s
s
s
s
y
2
y
3
s
s
s
s
z
2
z
3
s
s
s
s
t
2
t
3
pertencem todas `as diagonais do quadrado unit ario [0, 1[[0, 1[. O centro do
quadrado
_
1
2
,
1
2
_
e o primeiro termo de todas elas.
Deixamos como passatempo ao leitor mostrar que
D
1
((0, 0); x
n
) = D
1
((0, 0); y
n
) = D
1
((0, 0); z
n
) = D
1
((0, 0); t
n
) =

2/(n + 1),
D
2
((0, 0); x
n
) = D
2
((0, 0); y
n
) = D
2
((0, 0); z
n
) = D
2
((0, 0); t
n
) = 2/(n + 1),
D
3
((0, 0); x
n
) = D
3
((0, 0); y
n
) = D
3
((0, 0); z
n
) = D
3
((0, 0); t
n
) = 1/(n + 1).
Chamamos este quadrado de magico porquanto ele possui algumas proprie-
dades interessantes. Por exemplo, todas as quatro seq uencias dadas acima est ao
aproximando-se, ao contrario do que parece, da origem do quadrado: 0 = (0, 0).
De fato, das equa c oes acima concluimos (para qualquer das metricas) que,
lim
n
_
1
n + 1
, 1
1
n + 1
_
= (0, 0), lim
n
_
1
1
n + 1
,
1
n + 1
_
= (0, 0)
lim
n
_
1
n + 1
,
1
n + 1
_
= (0, 0), lim
n
_
1
1
n + 1
, 1
1
n + 1
_
= (0, 0)
A bola aberta cujo esbo co encontra-se na p ag. 37, nos ajuda a compreender
porque isto acontece.
Gentil 39
7.1 A curva de Peano e o quadrado hiper-magico na metrica Divina
Desejamos agora construir a seguinte curva (de Peano):
0 1
1 (1,1)

k
: [ 0, 1 [ [ 0, 1 [[ 0, 1 [
r

k
0
1
Para tanto, a constru c ao da curva de Peano nos permite inferir que e ne-
cessario que o espa co ([0, 1[, k) seja compacto. Vamos envidar esfor cos para
provar que assim e.
A seguir lembramos:
Deni cao 4 (Seq uencias de Cauchy). Seja (x
n
) uma seq uencia num espa co
metrico (M, d). Diremos que (x
n
) e uma seq uencia de Cauchy se dado > 0
existir um ndice n
0
tal que
m, n n
0
d(x
m
, x
n
) < .
A seguir escrevemos em smbolos a deni c ao de seq uencia de Cauchy e sua
nega c ao:

>0

n
0
N
:
m, nN
(m, nn
0
) d(x
m
, x
n
)<

>0

n
0
N
:
m, nN
(m, nn
0
) d(x
m
, x
n
)
Mostraremos que ([0, 1[, k) e completo e totalmente limitado, portanto, com-
pacto.
Para provar a proxima proposi c ao lan caremos mao do fato - conhecido -
de que o espa co
_
[ 0, 1 ], ) e completo.
Do corol ario 1 concluimos que toda seq uencia, (x
n
) (0 x
n
< 1),
de Cauchy no espa co
_
[ 0, 1 ], ) tambem o e em
_
[0, 1[, k
_
; mas a recproca e
falsa, como veremos.
Observe que, na metrica k, se 1|xy| |xy| (isto e |xy| 1/2) sig-
nica que x encontra-se na primeira quarta parte do intervalo [ 0, 1 [ enquanto y
encontra-se na ultima quarta parte deste intervalo (ou vice-versa, n ao importa).
Gentil 40
Proposi cao 2 (Gentil/01.07.05). O espa co metrico
_
[ 0, 1 [, k
_
e completo.
Prova: Seja (x
n
) uma seq uencia de Cauchy em
_
[ 0, 1 [, k
_
. Isto signica
que:
> 0, n
0
: m, n n
0
k(x
m
, x
n
) = min
_
|x
m
x
n
|, 1|x
m
x
n
|
_
<
(7)
Temos duas alternativas:
1
a
) (x
n
) e de Cauchy em
_
[ 0, 1 ],
_
. Neste caso, como este espa co e completo,
(x
n
) converge:
Se

x
n
1, ent ao
k
x
n
0. Se

x
n
p = 1, ent ao
k
x
n
p.
2
a
) (x
n
) n ao e de Cauchy em
_
[ 0, 1 ],
_
.
Neste caso armamos que a seq uencia converge para 0, isto e:
k
x
n
0.
De fato, se (x
n
) n ao e de Cauchy em
_
[ 0, 1 ],
_
, ent ao (p ag. 39):

0
>0

kN
:
m, nN
(m, nk) |x
m
x
n
|
0
(8)
Podemos acompanhar a prova pelo seguinte uxograma:

0
> 0 (xo)
Tome k : 1/k <
0
(8)
Tome
<
1
k
(7)
n
0
N, n
0
= n
0
()
Tome
k max{ n
0
, k }
(8)
m
i
, n
i
k
( 1|x
m
i
x
n
i
|< )
( x
m
1
, x
m
2
, ... )
( x
n
1
, x
n
2
, ... ) k >max{ m
i
, n
i
}
Tome um novo
Na primeira itera c ao ( i = 1 ) por (8) existe
0
> 0 (este est a xo) em
seguida, pela propriedade arquimediana, escolhemos umndice k tal que
1
k
<
0
.
A entramos na segunda caixa do uxograma, tomando <
1
k
. Tome agora
k max{ n
0
, k }; sendo assim, por (8), podemos escolher dois ndices, digamos:
m
1
, n
1
k de modo que |x
m
1
x
n
1
|
0
. A desigualdade (7) e satisfeita por
todos os ndices superiores a n
0
, como este e o caso dos ndices m
1
e n
1
, temos
que
k(x
m
1
, x
n
1
) = min
_
|x
m
1
x
n
1
|, 1 |x
m
1
x
n
1
|
_
< <
0
|x
m
1
x
n
1
|
Esta desigualdade imp oe que seja k(x
m
1
, x
n
1
) = 1 |x
m
1
x
n
1
| < .
Gentil 41
Observe que, 1 |x
m
1
x
n
1
| < |x
m
1
x
n
1
|, ou ainda, |x
m
1
x
n
1
| > 1/2;
sendo assim os dois termos patrocinados por (8) resultam, for cosamente, em
lados opostos do intervalo: um no primeiro quarto, o outro, no ultimo quarto
do intervalo.
Aqui termina a primeira itera c ao. Iniciemos a segunda (i = 2); agora
escolhemos um novo ndice k satisfazendo k > max{ m
1
, n
1
} e retornamos a
(7).
Por raz oes an alogas ao do caso precedente concluimos que:
k(x
m
2
, x
n
2
) = 1 |x
m
2
x
n
2
| <
Geometricamente tudo se passa assim:
0 1
1
4
1
2
3
4

t t t t
x
m
1
x
m
2
x
n
2
x
n
1
Nota: N ao faz mal escolhermos os ndices m
j
associados aos termos da esquerda
e os ndices n
j
associados aos termos da direita.
Fazemos duas observa c oes quanto ao uxograma:
1
a
) k max{ n
0
, k } garante que os ndices m
i
, n
i
k, patrocinados por
(8), tambem satisfazem (7) o que vai garantir que 1 |x
m
i
x
n
i
| < .
2
a
) k > max{ m
i
, n
i
} k garante que a cada nova itera c ao o novo k e
maior que o k da itera c ao anterior, o que garante sempre <
1
k
<
0
e, ademais,
for ca (atraves de m
i
, n
i
k) que os ndices m
i
, n
i
sejam sempre crescentes
(ver deni c ao de subseq uencia).
Pois bem, por indu c ao, obtemos duas subseq uencias (x
m
j
), no primeiro
quarto do intervalo e (x
n
j
), no ultimo quarto do intervalo, tais que
k(x
m
j
, x
n
j
) = 1 |x
m
j
x
n
j
| < (9)
Como e arbitrariamente pequeno (tendo em conta que k e sempre cres-
cente a cada itera c ao) a desigualdade (9) imp oe que a distancia ( ): |x
m
j
x
n
j
|
aproxime-se arbitrariamente de 1; e isto for ca os termos de ambas as sub-
seq uencias a aproximarem-se, arbitrariamente, das extremidades do intervalo
[ 0, 1 [. Lembrando da bola B
k
(0; r):
0 1 r 1r
B
k
(0; r<
1
2
)
concluimos que ambas as subseq uencias (x
m
j
) e (x
n
j
) convergem para 0. Por-
tanto, temos
k
x
n
0 e
_
[ 0, 1 [, k
_
resulta completo.
Observe que esta prova caracteriza (nos diz quem s ao e porque) todas as
seq uencias (x
n
) do intervalo [ 0, 1 [ que convergem neste, mas n ao convergem
no intervalo [ 0, 1 ]: s ao as seq uencias que possuem uma subseq uencia no pri-
meiro quarto do intervalo e outra no ultimo quarto. E mais: estas subseq uencias
aproximam-se indenidamente das extremidades do intervalo, ou seja, uma con-
verge para 0 e a outra para 1, no intervalo [ 0, 1 ], da a raz ao da seq uencia (x
n
)
n ao convergir em [ 0, 1 ].
Gentil 42
Podemos observar um caso destes escolhendo a seq uencia (x
n
) dada por,
x
n
=
_
1
n
, se n e par;
1
1
n
, se n e mpar.
cujos primeiros termos est ao plotados a seguir:
0 1
. . . . . .
s s s s s s s
x
1
x
2
x
3
x
4
x
5
x
6
x
7
Os termos de ndices pares convergem para 0 e os de ndices mpares
tambem (na metrica k), portanto a seq uencia converge para 0 e resulta de
Cauchy. O mesmo ja n ao acontece com respeito `a metrica .
Corolario 2. Os tres quadrados ( [ 0, 1 [ [ 0, 1 [ , D
i
) s ao completos. (ver p ag.
36).
Proposi cao 3 (Gentil/29.06.05). O espa co metrico
_
[0, 1[, k
_
e compacto.
Prova: De fato, sendo o mesmo completo, e suciente mostrar que e total-
mente limitado. Sendo [0, 1[ totalmente limitado no espa co (R, ), segue que,
dado > 0 arbitrario podemos, selecionar n pontos: x
1
, x
2
, x
3
, . . . , x
n
em [0, 1[
de sorte que [ 0, 1 [ B

( x
1
; ) B

( x
2
; ) B

( x
n
; ). Pelo lema 1 (p ag.
34) temos que B

_
x
i
;
_
B
k
(x
i
; ), (i = 1, 2, . . . , n). Portanto
[ 0, 1[
n
_
i=1
B

_
x
i
;
_

n
_
i=1
B
k
_
x
i
;
_
Sendo
_
[0, 1[, k
_
completo e totalmente limitado, resulta tambem com-
pacto.
Ap os esta prova concebemos uma outra mais direta. De fato, sendo (x
n
)
uma seq uencia arbitraria em [ 0, 1 [ podemos mostrar que esta possui uma sub-
seq uencia convergente. Com efeito, (x
n
) e tambem uma seq uencia no espa co
compacto ([ 0, 1 ], ) e, portanto, possui uma subseq uencia (x
n
k
) convergente.
Sendo assim, (x
n
k
) tambem converge no espa co
_
[0, 1[, k
_
.
Corolario 3. Os quadrados
_
[0, 1[ [0, 1[, D
i
_
s ao compactos.
Observamos que devido ao lema 1 (p ag. 34) a aplica c ao

1
:
_
B,
_

_
[0, 1[, k
_
(x
n
) x
permanece contnua (ver p ag. 5). A mesma observa c ao vale para a nova .
Nota: Neste caso continuamos usando a mesma nota c ao para as func oes inter-
mediarias.
A constru c ao desta curva segue os mesmos passos da anterior.
Gentil 43
Bem, a mudan ca radical de uma curva para a outra ca por conta dos as-
pectos topologicos, como n ao poderia deixar de ser. Vejamos alguns exemplos:
1
o
) Lembramos que para uma fun c ao contnua f vale: limf(x
n
) = f(limx
n
).
Por exemplo, considere a seq uencia de pontos x
n
= (1 1/n) do intervalo
unit ario. Temos
k: limx
n
= 0 = lim
n

k
(x
n
) =
k
(0) = (0, 0), (origem do quadrado).
: limx
n
= 1 = lim
n
(x
n
) = (1) = (1, 1).
2
o
) As quatro seq uencias dadas a seguir:
x
n
=
_
1
n+1
, 1
1
n+1
_

z
n
=
_
1
n+1
,
1
n+1
_

t
n
=
_
1
1
n+1
, 1
1
n+1
_
y
n
=
_
1
1
n+1
,
1
n+1
_
0 1
1
s
s
s
s
s
x
2
x
3
s
s
s
s
y
2
y
3
s
s
s
s
z
2
z
3
s
s
s
s
t
2
t
3
convergem todas, por
k
, para a origem do intervalo:
lim
n

k
_
x
n
_
= lim
n

k
_
y
n
_
= lim
n

k
_
z
n
_
= lim
n

k
_
t
n
_
= 0 (origem do intervalo).
3
o
) Para a seq uencia (x
n
) dada por,
x
n
=
_
1
n
, se n e par;
1
1
n
, se n e mpar.
cujos primeiros termos est ao plotados a seguir:
0 1
. . . . . .
s s s s s s s
x
1
x
2
x
3
x
4
x
5
x
6
x
7
Temos
k
(x
n
) (0, 0), enquanto (x
n
) diverge.
Toda seq uencia (x
n
, y
n
), com 0 x
n
, y
n
< 1 que converge em [0, 1]
2
tambem converge em [0, 1[
2
, mas a recproca n ao vale. Se (x
n
, y
n
) (p, q) em
[0, 1]
2
; no quadrado [0, 1[
2
vai convergir para:
(x
n
, y
n
) (p, q) se p = 1, q = 1,
(x
n
, y
n
) (0, q) se p = 1, q = 1,
(x
n
, y
n
) (p, 0) se p = 1, q = 1,
(x
n
, y
n
) (0, 0) se p = 1, q = 1.
Gentil 44
Estes argumentos fundamentam-se na proposi c ao em R7 (p ag. 44) e no
corol ario 1 (35). Existem seq uencias que convergem no quadrado [0, 1[
2
e n ao
convergem no quadrado [0, 1]
2
, por exemplo a seq uencia (x
n
, 0) onde x
n
e dada
como no exemplo 3
o
), dado anteriormente.
Evidentemente que podemos construir uma curva de Peano (com a metrica
Divina) no cubo [0, 1[
n
, bem como um cubo [0, 1[
n
hiper-m agico.
8 Apendice
8.1 Tabela de metricas
M1) (x, y) = |x y|, R
M2) k(x, y) = min
_
|x y|, 1 |x y|
_
, [ 0, 1 [
M3) (x, y) =

n=1
|x
n
y
n
|
2
n
, { 0, 1}
N
M4) D
1
(x, y) =
_
d
2
1
(x
1
, y
1
) + d
2
2
(x
2
, y
2
), M = M
1
M
2
M5) D
2
(x, y) = d
1
(x
1
, y
1
) + d
2
(x
2
, y
2
), M = M
1
M
2
M6) D
3
(x, y) = max {d
1
(x
1
, y
1
); d
2
(x
2
, y
2
)}, M = M
1
M
2
Nota: x = (x
1
, x
2
) M
1
M
2
= M e y = (y
1
, y
2
) M
1
M
2
= M.
8.2 Resultados conhecidos
Aqui reuniremos alguns resultados que constam na literartura (ver, por
exemplo, [1])
R-1) Sejam x e y { 0, 1}
N
e suponha x
n
= y
n
para n = 1, 2, . . . , j. Ent ao
(x, y)
1
2
j
. Reciprocamente, se (x, y) <
1
2
j
ent ao x
n
= y
n
para n j.
R-2) f :
_
{ 0, 1 }
N
,
_

_
[0, 1],
_
, dada por f
_
(x
n
)
_
=

n=1
|x
n
|
2
n
e contnua.
R-3) A imagem de um conjunto compacto por uma aplica c ao contnua e com-
pacta.
R-4) Se (M, d) e compacto, toda bije c ao contnua f : M N e um homeo-
morsmo.
R-5) Sejam (M, d
1
) e (N, d
2
) espa cos metricos. Se (M, d
1
) e compacto ent ao
toda aplica c ao contnua f : M N e uniformemente contnua.
R-6) Seja (x
n
) uma seq uencia de Cauchy em um espa co metrico (M, d). Se
existe uma subseq uencia de (x
n
) que converge para p M, ent ao limx
n
= p.
R-7) Uma seq uencia
_
(x
n
, y
n
)
_
de pontos no produto M = M
1
M
2
converge
no espa co
_
M, D
i
_
(i = 1, 2, 3.) para (a, b) M
1
M
2
se, e somente se, x
n
a
em (M
1
, d
1
) e y
n
b em (M
2
, d
2
).
R-8) Sejam (M
1
, d
1
) e (M
2
, d
2
) espa cos metricos, ent ao M
1
M
2
e compacto
se, e somente se, M
1
e M
2
o forem.
Gentil 45
R-9) Sejam (M, d
1
) e (N, d
2
) espa cos metricos, com (N, d
2
) completo. Se
X M e denso toda aplica c ao f : X N uniformemente contnua, pos-
sui uma unica extensao contnua F : M N. F e tambem uniformemente
contnua.
R-10) Sejam (M, d
1
) e (N, d
2
) espa cos metricos completos e f : X Y um
homeomorsmo uniforme entre subespa cos densos X M e Y N, f se es-
tende, de modo unico, a um homeomorsmo uniforme F : M N.
O seguinte lema ser a de fundamental import ancia (decisivo) na constru c ao
da curva de Peano:
Lema 2 (Gentil/03.02.05). O subespa co
_
B,
_
e compacto.
Prova: Vamos mostrar inicialmente que
_
B,
_
e fechado. Fa camos B =
F
_
(1111 . . .)
_
, onde F e o subconjunto de {0, 1}
N
cujos elementos n ao tem
todos os termos iguais a 1, a partir de determinada posi c ao. Mostraremos que

F F. De fato, Considere p

F e tal que p F. Ent ao existe um ndice k de
modo que p tem todos os termos iguais a 1 a partir de k, assim
p = (p
1
, . . . , p
k2
, 0, 1, 1, 1, 1, . . .)
Como p

F existe uma seq uencia (x
n
) de pontos de F de modo que limx
n
= p.
Observe que os termos de (x
n
) s ao da forma:
x
1
= (x
11
, x
12
, x
13
, . . . , x
1i
, . . .)
x
2
= (x
21
, x
22
, x
23
, . . . , x
2i
, . . .)
x
3
= (x
31
, x
32
, x
33
, . . . , x
3i
, . . .)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
x
n
= (x
n1
, x
n2
, x
n3
, . . . , x
ni
, . . .)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Como x
n
F existemndices i, arbitrariamente grandes, onde vamos encontrar
um 0 na posi c ao i de x
n
, assim
x
n
=
_
x
n1
, x
n2
, . . . , x
n(i1)
, 0, x
n(i+1)
, . . .
_
Escolhamos um i > k. Tomando > i, teremos
1
2

<
1
2
i
. Como limx
n
= p,
signica que existe umndice n
0
, a partir do qual se verica (x
n
, p) <
1
2

<
1
2
i
.
Isto signica, tendo em conta o resultado R-1, que x
n
deve coincidir com p
ate a posi c ao i (no mnimo) o que e absurdo. Sendo assim, F resulta fechado.
Por outro lado, sendo o conjunto { 0, 1 }
N
compacto, temos que,
_
F,
_
resulta
compacto, por ser um subconjunto fechado de um compacto. Tambem B =
F
_
(1111 . . .)
_
resulta compacto por ser a uniao de dois compactos.
_
B

,
_
e compacto e denso (pag. 6)
Consideremos o subconjunto B

B, onde
(x
n
) B

suas subseq uencias de ndices mpares e pares pertencem a B.


Gentil 46
Lema 3 (Gentil/03.05.05). O subespa co
_
B

,
_
e compacto.
Prova: Vamos mostrar inicialmente que
_
B

,
_
e fechado. Mostraremos
que

B

. De fato, Considere p

B

e tal que p B

. Ent ao existe umndice


k de modo que p tem, em sua subseq uencia de ndices mpares (ou pares- vamos
supor mpares), todos os termos iguais a 1 a partir de 2k 1, assim
p = ( p
1
, p
2
, p
3
, . . . , p
n
, . . .)
( p
1
, p
3
, p
5
, . . . , p
2k1
, 1, 1, 1, . . .) B
( p
2
, p
4
, p
6
, . . . , p
2n
, . . .)
Como p

B

existe uma seq uencia (x


n
) de pontos de B

de modo que
limx
n
= p. Observe que os termos de (x
n
) s ao da forma:
x
1
= (x
11
, x
12
, x
13
, . . . , x
1i
, . . .)
x
2
= (x
21
, x
22
, x
23
, . . . , x
2i
, . . .)
x
3
= (x
31
, x
32
, x
33
, . . . , x
3i
, . . .)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
x
n
= (x
n1
, x
n2
, x
n3
, . . . , x
ni
, . . .)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Como x
n
B

existemndices i, arbitrariamente grandes, onde vamos encontrar


um 0 na posi c ao 2i 1 de x
n
, assim
x
n
=
_
x
n1
, x
n2
, . . . , x
n(2i2)
, 0, x
n(2i)
, . . .
_
( x
n1
, . . . , x
n(2i3)
, 0, x
n(2i+1)
, . . .)
( x
n2
, x
n4
, . . . , x
n(2i2)
, . . .)
Escolhamos um ndice i de modo que 2i 1 > 2k 1. Tomando > 2i 1,
teremos
1
2

<
1
2
2i1
. Como limx
n
= p, signica que existe um ndice n
0
, a
partir do qual se verica (x
n
, p) <
1
2

<
1
2
2i1
. Isto signica que x
n
deve
coincidir com p ate a posi c ao 2i 1 (no mnimo) o que e absurdo. Sendo assim,
B

resulta fechado. Por outro, sendo o conjunto {0, 1}


N
compacto, temos que
_
B

,
_
resulta compacto, por ser um subconjunto fechado de um compacto.
Podemos mostrar tambem que B

e denso em B. De fato, seja > 0 e


a B dados. Devemos mostrar que existe p B

de modo que (p, a) < .


Pois bem, escolhamos j tal que
1
2
j
< e tomemos p
n
= a
n
para n = 1, 2, . . . , j;
fa camos p
n
= 0 para n j + 1. Sendo assim p B

e (p, a)
1
2
j
< .
Gentil 47
8.3 Como retirar um n umero arbitrario de subseq uencias
de uma dada seq uencia/Particao dos naturais
Vamos mostrar agora como retirar um n umero arbitrario de subseq uencias
de uma dada seq uencia
_
x
n
_
.
Se quisermos retirar duas subseq uencias de uma dada seq uencia podemos
nos valer dos seguintes conjuntos de ndices:
N
1
= {1, 3, 5, 7, . . .}
N
2
= {2, 4, 6, 8, . . .}
Assim,
(x
1
x
2
x
3
x
4
x
5
. . .)
(x
1
x
3
x
5
x
7
. . .)
(x
2
x
4
x
6
x
8
. . .)
Se quisermos retirar tres subseq uencias de uma dada seq uencia pode-
mos nos valer dos seguintes conjuntos de ndices:
N
1
= {1, 4, 7, 10, . . .}
N
2
= {2, 5, 8, 11, . . .}
N
3
= {3, 6, 9, 12, . . .}
Assim,
(x
1
x
2
x
3
x
4
x
5
. . .)
(x
1
x
4
x
7
x
10
. . .)
(x
2
x
5
x
8
x
11
. . .)
(x
3
x
6
x
9
x
12
. . .)

E facil inferir a regra de constru c ao destes conjuntos.


Gentil 48
8.4
_
[ 0, 1 [, k
_
e um espaco metrico.
Teorema 1 (Metrica Divina/Gentil/23.05.08). A aplica c ao,
k: [ 0, 1 [ [ 0, 1 [ R
denida por
k(x, y) = min
_
|x y|, 1 |x y|
_
e uma metrica sobre M = [ 0, 1 [.
Prova: (M
1
) k(x, y) 0 e k(x, y) = 0 x = y ;
Temos
_
0 x < 1
0 y < 1

_
0 x < 1
1 < y 0
1 < x y < 1 |x y| < 1.
Sendo assim mostramos que k(x, y) 0.
Agora suponhamos,
k(x, y) = min
_
|x y|, 1 |x y|
_
= 0
J a vimos que |x y| < 1, isto e, 1 |x y| > 0. Ent ao se k(x, y) = 0 s o
pode ser porque |x y| = 0, isto e, x = y.
Reciprocamente, se x = y, resulta,
k(x, y) = min
_
|x y|, 1 |x y|
_
= min
_
|0|, 1 |0|
_
= 0.
(M
2
) k(x, y) = k(y, x) ;
Temos
k(x, y) = min
_
|x y|, 1 |x y|
_
= min
_
|y x|, 1 |y x|
_
= k(y, x).
(M
3
) k(x, y) k(x, z) +k(z, y).
Devemos mostrar que k(x, y) k(x, z) +k(z, y). Isto e,
min
_
|xy|, 1|xy|
_
min
_
|xz|, 1|xz|
_
+min
_
|zy|, 1|zy|
_
(10)
Vamos separar o nosso problema em oito possibilidades, conforme tabela
a seguir,
Gentil 49
k(x, y) k(x,z) k(z,y)
(P1)
(P2)
(P3)
(P4)
(P5)
(P6)
(P7)
(P8)
|xy|
1|xy|
|xy|
1|xy|
|xy|
1|xy|
|xy|
1|xy|
|xz|
|xz|
1|xz|
1|xz|
|xz|
|xz|
1|xz|
1|xz|
|zy|
|zy|
|zy|
|zy|
1|zy|
1|zy|
1|zy|
1|zy|
Temos:
|xy|1|xy| |xy|
1
2
1|xy||xy| |xy|
1
2
|xz|1|xz| |xz|
1
2
1|xz||xz| |xz|
1
2
|zy|1|zy| |zy|
1
2
1|zy||zy| |zy|
1
2
Ent ao:
(P1) Neste caso a desigualdade (10) reduz-se a
|x y| |x z| +|z y|
a qual e trivialmente satisfeita por tratar-se da desigualdade triangular para
n umeros reais.
(P2) Neste caso a desigualdade (10) reduz-se a
1 |x y| |x z| +|z y|
Vamos mostrar a desigualdade equivalente
|x y| +|x z| +|z y| 1 (11)
Observe que na possibilidade (P2) se verica |x y|
1
2
().
Inicialmente vamos mostrar que n ao podemos ter
|x z| +|z y| <
1
2
De fato, se isto fosse possvel teriamos (utilizando a desigualdade triangu-
lar)
|x y| |x z| +|z y| <
1
2
contradizendo (). Sendo assim s o pode ser |xz|+|zy|
1
2
o que, juntamente
com (), nos fornece a desigualdade (11).
(P3) Neste caso a desigualdade (10) reduz-se a
|x y| 1 |x z| +|z y|
Vamos mostrar a desigualdade equivalente
|x y| +|x z| |z y| 1 (12)
Gentil 50
Pois bem, pela desigualdade triangular podemos escrever
|x z| |x y| +|y z| |x z| |z y| |x y|
somando |x y| a ambos os membros desta ultima desigualdade, obtemos
|xy|+|xz||zy| |xy|+|xy| |xy|+|xz||zy| 2|xy| 1.
Na ultima desigualdade usamos o fato de que na possibilidade (P3) se verica
|x y|
1
2
.
(P4) Neste caso a desigualdade (10) reduz-se a
1 |x y| 1 |x z| +|z y|
Esta desigualdade e equivalente `a seguinte
|x z| |x y| +|y z|
a qual e sempre verdadeira por tratar-se da desigualdade triangular para n umeros
reais.
(P5) Neste caso a desigualdade (10) reduz-se a
|x y| |x z| + 1 |z y|
Vamos mostrar a desigualdade equivalente
|x y| +|z y| |x z| 1 (13)
Pois bem, pela desigualdade triangular podemos escrever
|z y| |z x| +|x y| |z y| |x z| |x y|
somando |x y| a ambos os membros desta ultima desigualdade, obtemos
|xy|+|zy||xz| |xy|+|xy| |xy|+|zy||xz| 2|xy| 1.
Na ultima desigualdade usamos o fato de que na possibilidade (P5) se verica
|x y|
1
2
.
(P6) Neste caso a desigualdade (10) reduz-se a
1 |x y| |x z| + 1 |z y|
Esta desigualdade e equivalente `a seguinte
|z y| |z x| +|x y|
a qual e sempre verdadeira por tratar-se da desigualdade triangular para n umeros
reais.
(P7) Neste caso a desigualdade (10) reduz-se a
|x y| 1 |x z| + 1 |z y|
Gentil 51
Vamos mostrar a desigualdade equivalente
|x y| +|x z| +|z y| 2 (14)
Na possibilidade (P7) se verica:
(i) |x y|
1
2
(ii) |x z|
1
2
(iii) |z y|
1
2
.
Se dividirmos o intervalo [ 0, 1[ ao meio; por (ii) vemos que x e z n ao
podem gurar na mesma metade do intervalo. Por (iii) acontece o mesmo com
respeito a z e y. Devemos ter a seguinte congura c ao:

0 1
2
1
t t t
y
x z
A partir de (14) podemos escrever f(x, y, z) = |x y| + |x z| + |z y|.
Vamos mostrar que o maior valor que esta fun c ao pode assumir n ao excede 2.
Tendo em conta a gura anterior temos que,
|x y| = x y, |x z| = z x, |z y| = z y
N ao faz mal supor x `a direita de y. Logo, f(x, y, z) = 2(z y), ent ao,
_
0 y
1
2
1
2
z < 1

1
2
y 0 0 z y < 1 0 2(z y) < 2.
Daqui inferimos que f(x, y, z) = |x y| +|x z| +|z y| = 2(z y) < 2,
donde concluimos que a desigualdade (14) ser a sempre verdadeira.
(P8) Neste caso a desigualdade (10) reduz-se a
1 |x y| 1 |x z| + 1 |z y| (15)
Esta alternativa (possibilidade) s o pode ocorrer se tivermos simult aneamente,
(i) |x y|
1
2
(ii) |x z|
1
2
(iii) |z y|
1
2
.
Vamos mostrar que, dados tres pontos x, y e z arbitrarios, estas tres possibili-
dades jamais ocorrem simult aneamente e, por conseguinte, a possibilidade (15)
n ao pode ocorrer (pode ser ignorada, descartada).
Com efeito, dados tres pontos x, y e z arbitrarios existem as seguintes pos-
sibilidades:
a) x = y = z b) x = y = z c) x = z = y d) y = z = x e) x = y = z.
As possibilidades a) e b) contradizem (i), a possibilidade c) contradiz (ii)
e a possibilidade d) contradiz (iii). Portanto, s o nos resta considerar a possibi-
lidade e), em que os tres pontos s ao distintos. Ora, como e impossvel situarmos
(ou escolhermos) tres pontos distintos, no intervalo [ 0, 1 [, satisfazendo (i), (ii)
e (iii) simult aneamente

segue que (15) jamais ocorre.

Observe que estas tres condi c oes nos dizem que os tres pontos devem estar si-
mult aneamente em metades opostas do intervalo unit ario o que e, evidentemente, impossvel.
Gentil 52
Referencias
[1] Lima, Elon Lages. Espa cos Metricos. Rio de Janeiro:IMPA - CNPq,1993.
[2] Silva, Gentil Lopes. A Metrica Divina. www.dmat.ufrr.br/ gentil, 2006.
[3] Silva, Gentil Lopes. O Mito das Ambig uidades nas Representa c oes Decimais.
www.dmat.ufrr.br/ gentil, 2006.
[4] Silva, Gentil Lopes. Espa cos Metricos (Comentado), 2006. Ainda inedito.
[5] Ubaldi, Pietro. As No ures: Tecnica e recepc ao das correntes de pensamento.
Tradu c ao de Cl ovis Tavares. 4. ed. Rio de Janeiro: FUND

APU, 1988.
[6] Silva, Gentil Lopes.Topologia qu antica (EinsteinTagore)(www.dmat.ufrr.br/
gentil)