Cap tulo 28 A Medida de Lebesgue e a Medida de Hausdor

Conte udo
28.1 28.2 28.3 28.4 28.5 A Constru c ao da Medida de Lebesgue em Rn . . . . . . . . . . . . . . . . . 28.1.1 A - algebra de Borel em Rn e a Medida de Borel-Lebesgue . . . . . . . . . . As Medidas de Hausdor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Conjuntos de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Bases de Hamel e a Medida de Lebesgue . . . . . . . . . . . . . . . . . . . Exerc cios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1300 . 1302 1304 1308 1317 1319

Com intuito de atingir maior generalidade apresentaremos a constru ca o da medida de Lebesgue nos espa cos Rn . n Para construir a medida de Lebesgue em R seguiremos a estrat egia sugerida pelo Teorema de Carath eodory (Teorema 27.1, p agina 1282): vamos primeiro construir uma medida exterior sobre os subconjuntos de Rn que seja conveniente aos nossos prop ositos. O Teorema de Carath eodory, ent ao, arma que existe uma - algebra M sobre a qual a medida exterior e uma medida. Essa - algebra e denominada - algebra de Lebesgue e a medida correspondente e denominada medida de Lebesgue.

presente cap tulo e dedicado ` a constru ca o da medida de Lebesgue e da medida de Hausdor segundo os passos delineados no Teorema de Carath eodory, Teorema 27.1, p agina 1282 e no Teorema 27.4, p agina 1292. A medida de Lebesgue1 em R e o nome dado ` a medida de comprimento usual de certos subconjuntos adequados da reta real. O termo adequado e crucial aqui pois, como discutimos no in cio do Cap tulo 27, n ao e para qualquer portanto, essencial determinar - subconjunto de R que o conceito de comprimento est a denido. E, algebras para cujos elementos a no ca o de comprimento n ao envolva paradoxos como os que encontramos quando tratamos do comprimento do conjunto de Vitali (p agina 1275). Fora isso, desejamos que essa medida de comprimento satisfa ca certas condi co es adicionais, a mais importante sendo a invari ancia por transla co es. Desejamos tamb em que os intervalos (a, b), [a, b], (a, b] e [a, b) sejam todos mensur aveis e com medida b a.

Em seguida, na Se ca o 28.2, p agina 1304, apresentaremos a constru ca o das chamadas medidas de Hausdor2 , as quais t em relev ancia no estudo de conjuntos ditos fractais, os quais aparecem em diversas areas da F sica e da Matem atica, notadamente na teoria dos Sistemas Din amicos, por exemplo, na forma de atratores de solu co es de certas equa co es diferenciais. A Se ca o 28.3, p agina 1308, e dedicada ao estudo dos chamados conjuntos de Cantor, que exibem ilustrativamente diversas propriedades de interesse.

28.1

A Constru c ao da Medida de Lebesgue em Rn

Construiremos a medida de Lebesgue em Rn seguindo o esquema descrito na Proposi ca o 27.2 e no Teorema 27.4 da Se ca o 27.4, p agina 1291. Para tal devemos denir os seguintes ingredientes: 1. uma cole ca o de conjuntos R de Rn ; 2. n uma fun ca o positiva h denida em R e 3. para cada A R uma cole ca o CR (A) de recobrimentos cont aveis de A por elementos de R, ingredientes estes que devem satisfazer as condi co es da Proposi ca o 27.2 e do Teorema 27.4. Para R escolhemos a cole ca o de todos os n-cubos semi-abertos limitados da forma R = [a1 , b1 ) [an , bn ) Rn com < ak < bk < para todo k = 1, . . . , n. O conjunto vazio e tamb em honoricamente (e convenientemente) inclu do em R. A escolha de cubos semi-abertos, e n ao abertos ou fechados, deve-se essencialmente a dois fatos: 1. com eles torna-se mais f acil demonstrar a invari ancia por rota co es da medida de Lebesgue; 2. com eles torna-se mais simples provar que a medida de Lebesgue e uma medida m etrica.
1 Henri 2 Felix

L eon Lebesgue (18751941). Hausdor (18681942).

1300

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1301/2069

Por exemplo, para n = 1 cada 1-cubo R R e um intervalo semi-aberto limitado [a, b) com < a < b < . Para n = 2 um 2-cubo R R e um ret angulo semi-aberto limitado da forma [a1 , b1 ) [a2 , b2 ) R2 , de lados b1 a1 e b2 a2 , respectivamente, com < ak < bk < , k = 1, 2. Para cada n-cubo R da forma R = [a1 , b1 ) [an , bn ) Rn denimos h(R) := (b1 a1 ) (bn an ) que corresponde ao n-volume do n-cubo R. Denimos tamb em h() := 0. (28.1)

Como na Se ca o 27.4, para cada A Rn denotamos por CR (A) a cole ca o de todos os recobrimentos de A por cole co es cont aveis de n-cubos semi-abertos e limitados. Com essas escolhas e relativamente f acil constatar a validade das hip oteses do Teorema 27.4. Em particular, todo A Rn possui um recobrimento por cole co es cont aveis de n-cubos semi-abertos e limitados. A Proposi ca o 27.2 e o Teorema 27.4 garantem que L (A) := inf H (R), R CR (A) := inf
Rn R

h(Rn ), R CR (A)

(28.2)

Devemos gastar algumas palavras sobre a interpreta ca o de (28.2). A cole ca o R e uma cole ca o de cubos n-dimensionais e, para um tal n-cubo R, a fun ca o h(R) fornece o volume de R. Assim, H (R) fornece a soma de uma cole ca o cont avel e o menor valor poss vel (o nmo) de H (R) dentre todas as cole co es cont aveis de n-cubos que R de n-cubos e (A) recobrem A. Com isso em m aos, temos agora permiss ao para evocar o Teorema de Carath eodory (Teorema 27.1, p agina 1282), e armar que a cole ca o ML formada por todos os subconjuntos A de Rn que tenham a propriedade L (E ) = L (E A) + L (E Ac ) , E Rn ,

denida para todo A Rn , e uma medida exterior em Rn , denominada medida exterior de Lebesgue de Rn .

e uma medida em ML , que denotaremos por L . A medida L assim denida e chamada de e uma - algebra e que L e chamada de - algebra de Lebesgue de Rn . Os elementos de ML s ao chamados de medida de Lebesgue de Rn e ML conjuntos mensur aveis por Lebesgue de Rn . Antes de mostrarmos que a cole ca o ML e de fato n ao-trivial (um fato que n ao e obvio at e aqui), o que faremos na Se ca o 28.1.1, vamos exibir duas propriedades b asicas da medida de Lebesgue: invari ancia por transla co es e regularidade. Invari ancia de L por transla co es

A medida e Lebesgue de Rn satisfaz um requerimento b asico associado ` a no ca o usual de volume de conjuntos: invari ancia por transla co es. Mais precisamente, tem-se que para todo A Rn , A ML e todo x Rn o conjunto ca o desses e tamb em elemento de ML e tem-se L (Ax ) = L (A). A demonstra transladado Ax := {y Rn , y x A} fatos e simples e e deixada como exerc cio ao estudante.

E. 28.1 Exerc cio. Prove que para todo A ML e todo x Rn tem-se Ax ML e que L (Ax ) = L (A). Sugest ao: c ao (28.2) e o fato Prove primeiro que para todo E Rn e todo x Rn tem-se L (Ex ) = L (E ). Para isso, use a deni evidente que para a fun c ao h denida em (28.1) vale h [a1 + x1 , bn + x1 ) [an + xn , bn + xn ) = h [a 1 , b n ) [a n , b n ) .

Em seguida, use esse fato para mostrar que se A e mensur avel por Lebesgue ent ao Ax tamb em o e (para qualquer x Rn ), c n ao L (E ) = L (E Ax ) + L (E Ac ou seja, mostre que se L (E ) = L (E A) + L (E A ) para todo E R ent x) n para todo E R . Conclua dos fatos acima que L (Ax ) = L (A) para todo A ML e todo x Rn . Regularidade de L

A medida L possui as seguintes propriedades. Para todo B ML vale L (B ) L (B ) = = sup{L (C ), C compacto com C B } (regularidade interior) , inf {L (A), A aberto com A B } (regularidade exterior) . (28.3)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1302/2069

ao apresentaremos as demonstra co es aqui e o leitor Aqui, a topologia considerada e a topologia usual de Rn , Rn . N poder a encontr a-las nos bons livros sobre teoria da medida (por exemplo, em [204] ou em [205]). Mencionamos que as propriedades de regularidade acima s ao importantes em v arios desenvolvimentos. * Uma quest ao muito importante agora e saber se ML n ao e uma - algebra trivial e se certos conjuntos razo aveis, tais como intervalos abertos, fechados e semi-abertos, s ao mensur aveis por Lebesgue. A resposta a esta quest ao e dada na pr oxima se ca o, onde discutiremos a rela ca o entre a - algebra de Lebesgue em Rn e a - algebra de Borel.

28.1.1

A - algebra de Borel em Rn e a Medida de Borel-Lebesgue

At e o momento nada indica que a - algebra de Lebesgue constru da acima contenha elementos n ao-triviais, mas provaremos agora que todo conjunto Boreliano de Rn e mensur avel por Lebesgue. A chamada - algebra de Borel3 em Rn e, por deni ca o, a menor - algebra que cont em a topologia usual de Rn , Rn , ca o ` a induzida pela m etrica Euclidiana de Rn . Ou seja, e a - algebra M[Rn ] gerada pela topologia Rn . Vide deni p agina 1259. A arma ca o que todo conjunto Boreliano de Rn e mensur avel por Lebesgue e uma conseq u encia, via Teorema 27.3, p agina 1290, do fato de que a medida exterior de Lebesgue e uma medida m etrica. Proposi c ao 28.1 A medida exterior de Lebesgue em Rn , denida em (28.2), e uma medida exterior m etrica (para a deni c ao, Se c ao 27.3.1, p agina 1288). Prova. Observemos primeiramente que cada n-cubo semi-aberto como R = [a1 , b1 ) [an , bn ) Rn com < ak < bk < para todo k = 1, . . . , n, pode ser ser escrito como uma uni ao nita de n-cubos semi-abertos menores disjuntos. Por exemplo, em n = 1 podemos escrever [a, b) = [a, c) [c, b) com a < c < b. O di ametro desses n-cubos semi-abertos menores disjuntos tamb em pode ser escolhido arbitrariamente pequeno. Por exemplo, em n = 1 podemos escrever um intervalo do tipo [a, b) com a < b na forma [a, b) = [a, c1 ) [c1 , c2 ) [cm1 , b) com a c0 < c1 < < cm1 < cm b da forma ck = a + ba m k, k = 0, . . . , m ,

e, para qualquer > 0 podemos fazer |ck ck+1 | = (b a)/m < para todo k = 0, . . . , m, tomando m grande o suciente (a saber, m > (b a)/ ). Com isso, e f acil perceber que a deni ca o (28.2) equivale a L (A) = inf inf H (R), R CR (A)
>0

= inf inf
>0 Rn R

h(Rn ), R CR (A)

(28.4)

Suponhamos agora que A e B Rn sejam tais d(A, B ) = > 0. Se R e um recobrimento de A B por n-cubos semi-abertos de di ametro menor ou igual a e for escolhido menor que , ent ao e poss vel armar que R e a uni ao de tr es conjuntos disjuntos: RA , RB e R0 , sendo RA um recobrimento de A que n ao intersecta B , RB um recobrimento de B que n ao intersecta A e R0 que n ao intersecta A nem B . Se assim n ao fosse, existiria um n-cubo em R intersectando A e B , o que s o e poss vel se seu di ametro fosse maior que . Notemos que RA CR (A), que RB CR (B ) e que, importante, R0 pode ser vazio. Tem-se, portanto, h(Rn ) =
Rn R Rn R A

para todo A Rn , onde os elementos de R s ao n-cubos semi-abertos de di ametro menor ou igual a .

h(Rn ) +
Rn R B

h(Rn ) +
Rn R 0

h(Rn )

devido ` a disjun ca o dos conjuntos e RA , RB e R0 . Logo,

Rn R
3 F elix

h(Rn )

h(Rn ) +
Rn R A Rn R B

h(Rn ) .

Edouard Justin Emile Borel (18711956).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1303/2069

Logo, ao tomarmos o nmo sobre CR (A B ) em (28.4) podemos nos restringir a conjuntos R da forma RA RB como descritos acima (com R0 vazio). Disso segue que L (A B ) = inf inf
>0

Rn R

h(Rn ), R CR (A)

+ inf inf
>0 Rn R

h(Rn ), R CR (B )

= L (A) + L (B ) ,

completando a prova que L e uma medida exterior m etrica. Segue imediatamente do Teorema 27.3, p agina 1290, a seguinte arma ca o: c ao, e a menor - algebra que cont em Teorema 28.1 A - algebra de Borel de Rn , denotada por M[Rn ] que, por deni etrica Euclidiana de Rn ) e um subconjunto da - algebra de a topologia usual Rn de Rn (a topologia induzida pela m Lebesgue ML : M[Rn ] ML . (28.5)

A cardinalidade de M[R ] e de ML e um Um fato importante, mas que n ao provaremos com todos os detalhes aqui, e que a - algebra de Borel M[Rn ] 4 subconjunto pr oprio de ML , ou seja, que h a conjuntos que s ao mensur aveis de Lebesgue mas que n ao s ao elementos da - algebra de Borel. Exemplos n ao s ao f aceis de exibir, mas uma classe deles ser a discutido na Se ca o 28.4, p agina 1317. em que a cardinalidade de Historicamente, a rela ca o entre M[Rn ] e ML foi estudada por Hausdor, que provou tamb e maior, sendo a de RR (o conjunto de todas as fun co es de R em R). e a de R, enquanto que a de ML M[Rn ] e um subconjunto pr oprio de ML fa Para discutirmos o fato de que a - algebra de Borel M[Rn ] camos primeiro notar o seguinte resultado (que, ademais, tem import ancia por si s o) e que e um mero corol ario do Teorema 27.2, p agina 1287: Proposi c ao 28.2 A medida de Lebesgue L em Rn e completa. Ou seja, se A Rn e um conjunto mensur avel por Lebesgue e L (A) = 0, ent ao todo B A e tamb em mensur avel de Lebesgue (um fato n ao trivial!) e vale L (B ) = 0. Como veremos quando discutirmos o chamado conjunto de Cantor, h a conjuntos na - algebra de Lebesgue que s ao n ao-cont aveis, t em a cardinalidade de R e t em medida de Lebesgue nula. Como vimos, todos os subconjuntos de tais conjuntos s ao tamb em mensur aveis e, portanto, a cole ca o de todos esses subconjuntos tem a cardinalidade de (R) (que e maior que a de R). Entretanto, sabe-se (por um teorema de Hausdor) que M[R ] tem a cardinalidade de R e portanto M[R ] deve ser um subconjunto pr oprio de ML . A medida de Borel-Lebesgue

Dada a rela ca o (28.5) podemos considerar a restri ca o da medida de Lebesgue ` a - algebra de Borel M[Rn ]. Essa importante notar que a maioria dos restri ca o da medida de Lebesgue e denominada medida de Borel-Lebesgue. E resultados importantes da An alise, especialmente da teoria de integra ca o, pode ser obtida considerando-se apenas a medida de Borel-Lebesgue e muitos autores preferem trat a-la preferencialmente ` a medida de Lebesgue. A medida de Borel-Lebesgue n ao e completa. Conjuntos cont aveis de Rn t em medida de Lebesgue nula

bastante f E acil de ver, pela deni ca o, que se a Rn ent ao L ({a}) = 0, ou seja, a medida de Lebesgue de um conjunto constitu do por apenas um ponto e nula. Pela aditividade da medida, e evidente da tamb em que a medida e igualmente nula, pois se {a1 , . . . , am } Rn e um conjunto com m de Lebesgue de qualquer subconjunto nito de R elementos distintos, tem-se L { a 1 , . . . , a m }
4 Aos

= L { a 1 } { a m }

= L { a 1 } + + L { a m }

= 0,

estudantes: um conjunto A e dito ser um subconjunto pr oprio de um conjunto B se A B mas A = B .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1304/2069

pois L {ak } = 0, k {1, . . . , m}.

Da mesma forma, pela aditividade cont avel (rela ca o (27.2), p agina 1278), verica-se que a medida de Lebesgue de qualquer subconjunto cont avel da reta e nula. De fato, se {ak Rn | k N} Rn e cont avel, com todos os ak s distintos, tem-se L { a k R n | k N } = L
k N

{ ak }

=
k N

L { a k }

= 0,

mos, por exemplo, que o conjunto Q dos n umeros racionais e o tamb em pois L {ak } = 0, k N. Assim, conclu conjunto 0 dos n umeros alg ebricos s ao conjuntos de medida de Lebesgue nula em R. Recordando a no ca o de propriedade v alida quase em toda a parte, introduzida ` a p agina 1281, podemos armar que em rela ca o ` a medida de Lebesgue, quase todo n umero real e irracional, ou que todo n umero real e irracional L -q.t.p., pois s o n ao s ao irracionais os n umeros racionais, que formam um conjunto de medida de Lebesgue nula. Analogamente, em rela ca o ` a medida de Lebesgue, quase todo n umero e transcendente, ou seja, todo n umero real e transcendente L -q.t.p. Um ponto que n ao pode deixar mencionado e que h a tamb em subconjuntos n ao-enumer aveis de R que tamb em t em medida de Lebesgue nula. Veremos exemplos quando tratarmos dos chamados conjuntos de Cantor na Se ca o 28.3, p agina 1308.

28.2

As Medidas de Hausdor

Esta se ca o e dedicada ` a constru ca o das chamadas medidas de Hausdor. Vamos introduzi-las no contexto geral de espa cos m etricos e, posteriormente, trataremos do caso dos espa cos Rn com a m etrica usual. A importante no ca o de dimens ao Hausdor de um conjunto Boreliano ser a discutida com algum detalhe. A refer encia matem atica mais abrangente para tais assuntos e [65]. Vide tamb em [91]. Seja M um conjunto n ao-vazio dotado de uma m etrica d e seja d a topologia induzida em M por essa m etrica. Denimos o di ametro d(E ) de um conjunto E M na m etrica d por d(E ) := sup d(x, y ), x, y E , que claramente representa a m axima dist ancia poss vel entre pontos de E , segundo d. A chamada medida de Hausdor de dimens ao s 0 em M e denida, analogamente ` a medida de Lebesgue de Rn , pela prescri ca o do Teorema 27.4, p agina 1292, mas usando tamb em a Proposi ca o 27.1, p agina 1282. No que segue assumiremos que o espa co m etrico (M, d) possui a seguinte propriedade: P. Para todo > 0 vale que todo A M possui ao menos um recobrimento por cole co es cont aveis de conjuntos com di ametro menor ou igual a . O exemplo mais importante que teremos em mente e que satisfaz a propriedade P e Rn com a m etrica usual. Para > 0 e s 0 xos vamos denir os seguintes ingredientes: 1. uma cole ca o de conjuntos R de M ; 2. uma fun ca o positiva hs denida em R e 3. para cada A M uma cole ca o CR (A) de recobrimentos cont aveis de A por elementos de R , ingredientes estes que devem satisfazer as condi co es da Proposi ca o 27.2 e do Teorema 27.4. Para R escolhemos a cole ca o de todos os subconjuntos de M com di ametro menor ou igual a : R := R M : d(R) .

O conjunto vazio e tamb em honoricamente (e convenientemente) inclu do em R . Para cada R R hs (R) := d(R)s (28.6)

Denimos tamb em hs () := 0. Como na Se ca o 27.4, para cada A M denotamos por CR (A) a cole ca o de todos os recobrimentos de A por cole co es cont aveis de subconjuntos de M com di ametro menor ou igual a . Com nossas escolhas e relativamente f acil constatar a validade das hip oteses do Teorema 27.4 e, em particular, a propriedade P garante que todo A M possui um recobrimento por cole co es cont aveis de conjuntos com di ametro

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1305/2069

menor ou igual a . A Proposi ca o 27.2, p agina 1291, e o Teorema 27.4, p agina 1292, garantem que
s , H (A) := inf Hs (R), R CR (A)

:= inf
Rn R

hs (Rn ), R CR (A)

(28.7)

denida para todo A M , e uma medida exterior em M . Pela Proposi ca o 27.1, p agina 1282,
, s s H (A) := sup H (A) = sup inf Hs (R), R CR (A) >0 >0

= sup inf
>0 Rn R

hs (Rn ), R CR (A)

(28.8)

denida para todo A M , e tamb em uma medida exterior em M , denominada medida exterior de Hausdor de dimens ao s.
ca o de todos os subconjuntos d -abertos ou d -fechados de M com di ametro menor ou Nota. Segundo [65], se escolhermos R como a cole igual a obtemos as mesmas medidas exteriores de Hausdor que constru mos acima com nossa escolha mais geral. Essa refer encia menciona tamb em um teorema, demonstrado por Besicovitch5 , que arma que uma classe de medidas exteriores diferentes das de Hausdor e obtida se escolhermos R como sendo formado por bolas abertas de raio em M . Vide refer encias citadas em [65].

Algumas propriedades das medidas exteriores de Hausdor

2 , s 1, s Proposi c ao 28.3 Para cada s 0 e todo A M vale que H (A) H (A) sempre que 0 < 1 < 2 . Logo, para todo A M , , s s H (A) := lim H (A) = lim inf Hs (R), R CR (A) 0 0

A proposi ca o que segue fornece uma deni ca o alternativa u til da medida exterior de Hausdor de dimens ao s 0.

= lim inf
0 Rn R

hs (Rn ), R CR (A)

(28.9)

ametro menor ou igual a 1 tem, evidentemente, di ametro Prova. Se 1 < 2 ent ao R1 R2 , pois todo conjunto de di menor ou igual a 2 . Logo, para todo A M tem-se CR1 (A) CR2 (A) e, portanto, inf Hs (R), R CR1 (A)
2 , s 1, s inf Hs (R), R CR2 (A) , estabelecendo que co es s ao imediatas. H (A) H (A). As demais arma

Antes de explorarmos as conseq u encias da Proposi ca o 28.3, provemos o seguinte resultado, que ser a importante quando discutirmos a no ca o de dimens ao Hausdor de um conjunto. Proposi c ao 28.4 Para todo > 0 e para cada E M vale
s s , H (E ) t t , H (E )

(28.10)

sempre que 0 s t. Prova. Por deni ca o, todo conjunto R R tem di ametro menor ou igual a e, evidentemente, 0 para cada R R a fun ca o de r denida para r 0 por [0, ) r r hr (R) = d(R)
r d(R)

1. Portanto,

e decrescente, ou seja, s hs (R) t ht (R) sempre que 0 s t. A Proposi ca o 28.4 segue imediatamente, ent ao, da deni ca o (28.7). A conseq u encia mais importante da Proposi ca o 28.3 e a seguinte arma ca o:
5 Abram

Samoilovitch Besicovitch (18911970). Besicovitch foi um dos nomes que mais contribuiu ` a teoria matem atica dos conjuntos

fractais.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1306/2069

Proposi c ao 28.5 Para cada s 0, a medida exterior de Hausdor de dimens ao s denida em (28.8) ou (28.9) e uma medida exterior m etrica (para a deni c ao, Se c ao 27.3.1, p agina 1288).

Prova. Suponhamos que A e B M sejam tais que d(A, B ) = > 0. Se R e um recobrimento de A B por conjuntos de di ametro menor ou igual a e esse for escolhido menor que , ent ao e poss vel armar que R e a uni ao de tr es conjuntos disjuntos: RA , RB e R0 , sendo RA um recobrimento de A que n ao intersecta B , RB um recobrimento de B que n ao intersecta A e R0 que n ao intersecta A nem B . Se assim n ao fosse, existiria um aberto em R intersectando A e B , o que s o e poss vel se seu di ametro fosse maior que . Notemos que RA CR (A), que RB CR (B ) e que, importante, R0 pode ser vazio. Tem-se, portanto, hs (Rn ) =
Rn R Rn R A

hs (Rn ) +
Rn R B

hs (Rn ) +
Rn R 0

hs (Rn )

devido ` a disjun ca o dos conjuntos e RA , RB e R0 . Logo, hs (Rn ) hs (Rn ) +

Rn R A Rn R B

hs (Rn ) .

Rn R

Assim, para todo com 0 < < , ao tomar o nmo sobre CR (A B ) em (28.7) podemos nos restringir a conjuntos R da forma RA RB como descritos acima (com R0 vazio). Disso segue que
s , H (A B ) = inf Hs (R), R CR (A) + inf Hs (R), R CR (B ) s , s = , H (A) + H (B ) .

Logo, ao tomarmos o limite 0 como em (28.9), teremos

, s , s , s s s s H (A B ) = lim H (A B ) = lim H (A) + lim H (B ) = H (A) + H (B ) . 0 0 0

e, portanto, s e uma medida exterior m etrica. H A medida de Hausdor de dimens ao s 0

De posse da constru ca o e dos fatos acima descritos e evocando o Teorema de Carath eodory, Teorema 27.1, p agina 1282, o Teorema 27.3, p agina 1290, e o Teorema 27.2, p agina 1287, chegamos ` as conclus oes expressas no seguinte teorema:

Teorema 28.2 (A Medida de Hausdor de Dimens ao s 0) Seja M um conjunto n ao-vazio dotado de uma m etrica d e seja para cada s 0 a medida exterior s H denida em M por (28.9) ou, equivalentemente, por (28.8). Seja Ms a - algebra formada por todos os conjuntos A M mensur aveis segundo Carath eodory, ou seja, que satisfazem H s s c s c ao de s dene uma medida, denotada por s H (E ) = H (E A) + H (E A ) para todo E M . A restri H a Ms H, H denominada medida de Hausdor de dimens ao s. Essa medida e completa e todo conjunto Boreliano de M segundo d e para todo s 0. mensur avel, ou seja M[d ] Ms H

A dimens ao Hausdor de um conjunto Boreliano

A medida s e denominada medida de Borel-Hausdor. Note-se que M[d ] n ao depende de s e, H restrita a M[d ] portanto, podemos nos perguntar como varia com s a medida de um conjunto Boreliano xo. A proposi ca o que segue e fundamental para isso. Proposi c ao 28.6 Seja E M[d ]. Ent ao valem as seguintes arma c oes:
s2 1 1. s H (E ) H (E ) sempre que 0 s1 s2 < . t 2. Se 0 < t ao s H (E ) < para algum t > 0, ent H (E ) = para todo s com 0 s < t. Se 0 < H (E ) < para u algum t 0, ent ao H (E ) = 0 para todo u > t.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1307/2069

Prova. Por deni ca o, todo conjunto R R tem di ametro menor ou igual a . Logo, se 0 < < 1 teremos 0 d(R) < 1 para todo R R . Conseq uentemente, para xo e 0 < < 1 e para cada R R , a fun ca o de s denida para s 0 por s [0, ) s hs (R) = (d(R)) ca o (28.7), teremos para 0 < < 1 e e decrescente, ou seja, hs1 (R) hs2 (R) sempre que 0 s1 s2 . Logo, pela deni s1 , s2 , s 0 s1 s2 que , ( E ) ( E ) para todo E M . Pela deni c a o (28.9) tem-se s H (E ) = lim H (E ) para todo H H
0

s2 1 s 0 e, portanto, segue que s a que e feito menor que 1 no processo de H (E ) H (E ) sempre que 0 s1 s2 < j limite 0.

Pela Proposi ca o 28.4, p agina 1305, sabemos que para todo > 0 vale
s t st , , H (E ) H (E )

(28.11)

, s s H (E ) := lim H (E ) = , para todo s com 0 s < t. 0

, t sempre que 0 s t. Logo, se para t > 0 valer que t e nito e n ao-nulo, teremos por (28.11) que H (E ) := lim H (E ) 0

A mesma (28.11) diz (trocando t u, s t) que

u t ut , , H (E ) H (E )

, t , u u sempre que 0 t u. Logo, se t H (E ) := lim H (E ) < teremos H (E ) := lim H (E ) = 0 sempre que u > t. 0 0

e com 0 < s umero dimH (E ) e denominado dimens ao Hausdor do conjunto Boreliano H (E ) < para s = dimH (E ). O n E. A seguinte proposi ca o eu til: Proposi c ao 28.7 Se E1 e E2 s ao conjuntos Borelianos e E1 E2 , ent ao dimH (E1 ) dimH (E2 ).
s s Prova. Como s e uma medida em M[d ] para todo s 0, vale s H H (E1 ) H (E2 ). Logo, se H (E2 ) = 0 para algum s s segue que H (E1 ) = 0 para o mesmo s. Assim, a dimens ao de Hausdor de E2 n ao pode ser inferior ` a de E1 .

A Proposi ca o 28.6 arma que para cada E Boreliano pode haver um u nico n umero dimH (E ) com 0 dimH (E ) tal que , se 0 s < dimH (E ) s H (E ) = 0, se dimH (E ) < s <

Note-se que, com a generalidade da discuss ao de acima, podemos ter dimH (E ) = para um dado Boreliano E . No caso em que M = Rn com a m etrica Euclidiana usual, pode-se provar, por em, que dimH (E ) n para todo Boreliano E Rn . Isso e discutido no que segue. A dimens ao Hausdor em Rn Proposi c ao 28.8 Seja M = Rn com a m etrica usual. Seja K Rn um cubo compacto. Ent ao n H (K ) < . Segue n n disso que dimH (K ) n, que dimH (R ) n e que dimH (E ) n para todo E R Boreliano. Prova. K e Boreliano, por ser fechado. Tomando m N, podemos escrever K como uma uni ao de mn cubos fechados 1 n (justique!). menores iguais, cada um de arestas 1/m. O di ametro de cada um desses cubos fechados menores e m , n 1 n 1 n n/2 n/2 Logo, se > m n teremos pela deni ca o que H (K ) m ( m n) = n . Como n independe de m, conclu mos n n/2 n n/2 n que , ( K ) n para todo > 0 e, portanto, ( K ) n , provando que ( K ) < . Disso segue pela Proposi ca o H H H n 28.6 que s ( K ) = 0 para todo s > n , provando que dim ( K ) n . Como R e a soma cont a vel de cubos fechados H H

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1308/2069

n n limitados (compactos), segue tamb em que s ca o H (R ) = 0 para todo s > n e, portanto, que dimH (R ) n. Da Proposi n 28.7, segue disso que dimH (E ) n para todo E R Boreliano.

A conclus ao e que todo conjunto Boreliano de Rn tem uma dimens ao Hausdor nita e menor ou igual a n. A dimens ao Hausdor pode assumir valores n ao-inteiros. Discutiremos ` a p agina 1311 que a dimens ao Hausdor do chamado conjunto 2 de Cantor tern ario, que introduziremos e estudaremos em detalhe na Se ca o 28.3, vale ln em Exerc cios E. ln 3 . Vide tamb 28.10, p agina 1319 e E. 28.11, p agina 1319.

28.3

Conjuntos de Cantor

Dentre os subconjuntos mais interessantes e curiosos da reta real encontram-se os chamados conjuntos de Cantor6 . H a v arios tipos de conjuntos ditos de Cantor (para uma deni ca o t ecnica geral, vide p agina 1405). Iremos aqui apresentar alguns deles, come cando pelo mais simples e tradicional, o chamado conjunto de Cantor tern ario, C1/3 , o qual ser a primeiramente denido de maneira informal. Em seguida trataremos de modo mais preciso do mesmo, junto com suas generaliza co es. O conjunto de Cantor tern ario C1/3 e informalmente denido da seguinte forma. Come camos com o conjunto fechado T0 = [0, 1] do qual subtra mos o conjunto aberto (1/3, 2/3) que consiste do conjunto aberto de largura 1/3 da largura de T0 situado bem no meio de T0 . O que se obtemos e o conjunto fechado T1 = [0, 1/3] [2/3, 1], formado pela uni ao de dois intervalos fechados disjuntos. Em seguida, subtra mos de cada um desses intervalos fechados os conjuntos abertos situados no meio de ambos e cuja largura e 1/3 da largura de cada um desses intervalos. Esses abertos ser ao (1/9, 2/9) para o intervalo [0, 1/3] e (7/9, 8/9) para o intervalo [2/3, 1]. O que resulta disso e o conjunto fechado T2 = [0, 1/9] [2/9, 1/3] [2/3, 7/9] [8/9, 1]. O passo seguinte repete os anteriores: subtra mos de cada um desses intervalos fechados os conjuntos abertos situados no meio de ambos e cuja largura e 1/3 da largura de cada um desses intervalos. O processo e ilustrado na Figura 28.1. A linha de cima ilustra os intervalos abertos que v ao sendo sucessivamente subtra dos do intervalo fechado T0 = [0, 1] e a linha de baixo os v arios intervalos fechados que resultam dessa subtra ca o. O primeiro conjunto aberto subtra do e (1/3, 2/3), indicado por 1 na gura. O segundo conjunto aberto subtra do e (1/9, 2/9) (7/9, 8/9), indicado por 2 na gura, e assim por diante. O conjunto de Cantor C1/3 e o conjunto que resulta desse processo ap os innitos passos. C1/3 n ao e vazio, pois os pontos situados nas bordas dos intervalos fechados que v ao sendo sucessivamente produzidos sobrevivem ao processo de subtra ca o. Isso se v e na Figura 28.1, pois os conjunto {0, 1}, que forma a borda de T0 , surge novamente em T1 , T2 , T3 etc., assim como o conjunto {0, 1/3, 2/3, 1}, que forma a borda de T1 , surge novamente em T2 , T3 etc., e como o conjunto {0, 1/9, 2/9, 1/3, 2/3, 7/9, 8/9, 1}, que forma a borda de T2 , surge novamente em T3 etc. C1/3 e um conjunto fechado por ser o complemento em [0, 1] de uma uni ao de abertos (aqueles que v ao sendo sucessivamente subtra dos). Outra forma de ver isso e notar que T1 T2 T3 T4 , ou seja, Tm Tn para todos m > n, o que nos leva a concluir que

O conjunto de Cantor tern ario

C1/3 =
n=0

Tn .

(28.12)

Como se sabe, uma intersec ca o de fechados e tamb em um fechado. Um aspecto um tanto surpreendente sobre C1/3 e que seu interior e vazio, ou seja, C1/3 n ao cont em nenhum aberto. Isso segue do fato que intervalos fechados que formam os conjuntos Tn t em, cada um, largura (1/3)n e, portanto, seu interior vai diminuindo a medida que n cresce. A arma ca o que C1/3 n ao cont em nenhum aberto pode ser provada da seguinte forma. Se C1/3 contivesse um aberto, conteria algum intervalo aberto (a, b) (por que? Lembre-se da deni ca o de conjuntos abertos em espa cos m etricos). Assim, (a, b) = (a, b) C1/3 . Por (28.12), ter amos

(a, b) = (a, b) C1/3 = (a, b)

6 Georg

Tn
n=0

=
n=0

(a, b) Tn .

(28.13)

Ferdinand Ludwig Philipp Cantor (18451918).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1309/2069

3
1/27 2/27

2 (
1/9

3
7/27 8/27

1 (
1/3

3
19/27 20/27

2 (
7/9

3
25/27 26/27

( )
0

)
2/9

( )

)
2/3

( )

)
8/9

( )
1

1/3

2/3

T1

[
0 1/9 2/9

]
1/3

[
2/3 7/9 8/9

]
1

T2

[
0 1/27 2/27

]
1/9

[
2/9 7/27 8/27

]
1/3

[
8/9

]
25/27 26/27 1

2/3 19/27 20/27 7/9

T3

[ ]

[ ]

[ ]

[ ]

[ ]

[ ]

[ ]

[ ]

Figura 28.1: As tr es primeiras etapas da constru ca o do conjunto de Cantor tern ario C1/3 .

Agora, para todo n grande o suciente tal que (1/3)n < b a, os conjuntos (a, b) Tn s ao subconjuntos pr oprios7 n de (a, b), pois cada intervalo fechado que comp oe Tn tem largura (1/3) . Portanto, o lado direito de (28.13) e um subconjunto pr oprio de (a, b) e a igualdade em (28.13) passa a ser absurda. Um conjunto com a propriedade de n ao conter nenhum aberto e dito ser um conjunto denso em parte alguma (para tais deni co es, vide Se ca o 31.1). Por ser fechado, C1/3 e um conjunto mensur avel por Lebesgue, ou seja, possui um comprimento. Um ponto importante f e determinar a medida de Lebesgue de C1/3 . E acil perceber que L (Tn+1 ) = (2/3)L (Tn ), pois a cada etapa e eliminado um ter co dos intervalos fechados de Tn . Assim, como L (T0 ) = 1, segue que L (Tn ) = (2/3)n . Da 8 L (C1/3 ) = limn L (Tn ) = limn (2/3)n = 0, ou seja, o conjunto tern ario de Cantor C1/3 e um conjunto de medida de Lebesgue nula. A cardinalidade de C1/3 Um outro fato importante sobre C1/3 e que o mesmo tem a cardinalidade de R, sendo, portanto, um exemplo de um conjunto n ao-cont avel de medida de Lebesgue nula. Vamos mostrar isso e, para tal, come caremos provando que C1/3 n ao e cont avel. Para provar que C1/3 n ao e cont avel, demonstremos a seguinte arma ca o, que apresentamos para futura refer encia na forma de uma proposi ca o. Proposi c ao 28.9 C1/3 e o subconjunto de [0, 1] composto por todos os n umeros c que podem ser escritos na forma tn , sendo que cada tn pode apenas assumir os valores 0 ou 2. Isso equivale a dizer que c C1/3 se e somente c= 3n n=1 se for representado na base tern aria na forma c = 0, t1 t2 t3 t4 . . . onde cada d gito tn vale ou 0 ou 2. Essa proposi ca o equivale a uma outra caracteriza ca o de C1/3 (de fato, alguns autores denem C1/3 como o conjunto de pontos de [0, 1] em cuja representa ca o na base tern aria ocorrem apenas os d gitos 0 ou 2). Antes de entrar na prova dessa proposi ca o, recomendamos ao estudante o seguinte exerc cio.
estudantes: um conjunto A e dito ser um subconjunto pr oprio de um conjunto B se A B mas A = B . por qu e de valer L (C1/3 ) = limn L (Tn ) e intuitivo, mas ser a justicado com base em uma propriedade geral de medidas ao discutirmos sua generaliza ca o, a equa ca o (28.21), p agina 1314.
8O 7 Aos

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1310/2069

umero pode ser representado na base tern aria por 0, 1, o que E. 28.2 Exerc cio. Sabemos que 1/3 pertence a C1/3 . Esse n parece contradizer a arma c ao da Proposi c ao 28.9 sobre os elementos de C1/3 . Por em, essa n ao ea unica forma de representar 1/3. Mostre que na base tern aria 1/3 tamb em pode ser escrito como 0, 0222222 . . .. Generalize isso e mostre que todo n umero que possua a representa c ao tern aria 0, t1 tn 1 (ou seja, que tenha um n umero nito de d gitos, o ultimo deles sendo 1) tamb em pode ser representado na forma 0, t1 tn 222222 . . .. Prova da Proposi c ao 28.9. Dado inteiro n 1 tentemos localizar onde, no intervalo [0, 1], encontram-se os n umeros que re unem as seguintes propriedades: 1. o n- esimo d gito na base tern aria e 1; 3. entre os d gitos seguintes (nitos ou n ao) pelo menos um e n ao-nulo. Tais n umeros s ao da forma 0, t1 tn1 1tn+1 . . ., sendo que pelo menos um dos tm com m n +1 e n ao-nulo. Alguns segundos (minutos?) de medita ca o levam-nos a concluir que esses n umeros correspondem a todos os n umeros do intervalo aberto situado entre 0, t1 tn1 1 e 0, t1 tn1 2, ou seja, de ( 0, t1 tn1 1, 0, t1 tn1 2 ). Agora, 2 1 e 0, t1 tn1 2 = 0, t1 tn1 + n . 0, t1 tn1 1 = 0, t1 tn1 + n 3 3 2 1 transladado de 0, t1 tn1 . , Assim, o intervalo ( 0, t1 , tn1 1, 0, t1 tn1 2 ) e o intervalo 3n 3n 1 2 e um dos intervalo abertos subtra do de Tn1 quando do processo , n n 3 3 de constru ca o do conjunto C1/3 , a saber, o mais pr oximo de 0 (vide Figura 28.1). Devemos ent ao nos perguntar: quais 2 1 por todos os n umeros da forma 0, t1 tn1 ? Como todos os , s ao os outros intervalos obtidos transladando 3n 3n 1 n umeros da forma 0, t1 tn1 podem ser obtidos somando repetidamente o n umero n1 (certo?) conclu mos que os 3 1 1 2 intervalos podem ser obtidos transladando-se sucessivamente por n1 ` , a direita. Mais uma curta medita ca o 3n 3n 3 nos leva a concluir que os intervalos assim obtidos ou s ao precisamente aqueles subtra dos de Tn1 quando do processo de constru ca o do conjunto C1/3 ou est ao contidos nos intervalos subtra dos anteriormente dos conjuntos Tm com m < n 1. Observe-se, ent ao, que esse intervalo

Conclu mos, assim, que os n umeros da forma 0, t1 tn1 1tn+1 . . ., sendo que pelo menos um dos tm com m n + 1 e n ao-nulo, n ao pertencem a C1/3 .

O que zemos n ao exclui de C1/3 n umeros que sejam da forma 0, t1 tn1 1, com tj {0, 2}, j = 1, . . . , n 1. Tais n umeros tamb em pertencem a C1/3 , pois formam uma das bordas de alguns abertos ( 0, t1 , tn1 1, 0, t1 tn1 2 ) que tratamos acima. Por em, o Exerc cio E. 28.2, acima, nos ensina que tais n umeros podem ser tamb em representados como 0, t1 tn1 022222 . . ., com o n- esimo d gito igual a 0 seguido de innitos 2s. E. 28.3 Exerc cio. Certo? Com isso, a prova da Proposi ca o 28.9 est a conclu da. A arma ca o da Proposi ca o 28.9 conduz diretamente ` a conclus ao que C1/3 n ao e enumer avel. Por aquela proposi ca o, todo c C1/3 e (fatorando o n umero 2) da forma c = 2 0, d1 d2 d3 . . . na base tern aria com dn {0, 1} para todo n. Assim, a demonstra ca o que C1/3 n ao e enumer avel e, mutatis mutandis (i.e., trocando a base decimal pela tern aria), id entica ` a demonstra ca o de que R n ao e cont avel, fornecida na Se ca o 1.1.2, p agina 50, na prova do Teorema 1.3, p agina 52. Deixamos os detalhes como exerc cio. E. 28.4 Exerc cio. Fa ca-o! E. 28.5 Exerc cio. Mostre que 1/4 e 1/13 pertencem a C1/3 pois, na base tern aria, 1/4 pode ser representado como 0, 02020202 . . . e 1/13 como 0, 002002002002 . . .. Note que 1/4 e 1/13 n ao pertencem ` a borda de nenhum Tn ! O seguinte fato ser a usado em outros lugares. Lema 28.1 Todo elemento x [0, 1] pode ser escrito na forma x = c1 + c2 /2 com c1 , c2 C1/3 .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1311/2069

Prova. Todo elemento x [0, 1] pode ser representado na forma x =

tn , onde tn {0, 1, 2} (representa ca o na base 3n n=1 tern aria). A soma acima pode ser quebrada em duas, uma contendo apenas termos onde cada tn vale 0 ou 2 e outra onde tn 1 2 ao precisamente aqueles tn = 1: x = + , onde Nx := {n| tn {0, 2}}. Agora, os elementos de C1/3 s 3n 2 3n
nNx nNx

cujos d gitos na representa ca o na base tern aria s ao 0 ou 2 (Proposi ca o 28.9). Logo, vimos que todo x [0, 1] pode ser escrito na forma x = c1 + c2 /2, com c1 , c2 C1/3 . Chegamos agora ` a Proposi c ao 28.10 C1/3 tem a cardinalidade de R. Prova. Pelo Lema 28.1, todo elemento x [0, 1] pode ser escrito como x = c1 + c2 /2 com c1 , c2 C1/3 . Isso mostra que [0, 1] (e, portanto, R) tem a cardinalidade de um subconjunto de C1/3 C1/3 , cuja cardinalidade e menor ou igual a de R2 que, por sua vez, tem a cardinalidade de R (Proposi ca o 1.9, p agina 53). Logo C1/3 C1/3 tem a cardinalidade de R. Paralelamente, o mesmo argumento usado na prova da Proposi c ao 1.9, p agina 53, conduz ` a conclus ao que C1/3 e C1/3 C1/3 t em a mesma cardinalidade. Isso completa a prova. O conjunto de Cantor tern ario e denso em si mesmo e totalmente desconexo

Vamos provar agora que o conjunto de Cantor tern ario e denso em si mesmo e totalmente desconexo. Para as deni co es e fatos b asicos que usaremos, recomenda-se a leitura pr evia da Se ca o 31.1, p agina 1402. Para mostrar que C1/3 e um conjunto denso em si mesmo, sejam c, c C1/3 e que, portanto, tenham representa co es em base tern aria 0, c1 c2 c3 . . . e 0, c ca o 28.9). Ent ao, 1 c2 c3 . . ., respectivamente, com cn , cn {0, 2} para todo n (Proposi se os primeiros m d gitos de c e c forem id enticos, teremos |c c | 2/3m . Escolhendo m grande o suciente isso pode ser feito menor que qualquer > 0 dado. Isso mostra que qualquer aberto contendo c C1/3 cont em outros elementos de C1/3 diferentes de c, provando que C1/3 e um conjunto denso em si mesmo. O mesmo tipo de argumento tamb em mostra que arbitrariamente pr oximo a qualquer elemento c C1/3 h a elementos que n ao pertencem a C1/3 . Se c tem a representa ca o tern aria 0, c1 c2 c3 . . ., escolhamos x [0, 1] da seguinte forma: seus m primeiros d gitos s ao iguais ao de c, o m- esimo d gito de x e 1 e dentre os seguintes pelo menos um e n ao-nulo. Um tal x n ao pertence a C1/3 , mas a dist ancia do mesmo a c e menor que 2/3m . Essa dist ancia, por em, pode ser feita menor que qualquer > 0 dado, se escolhermos m grande o suciente. f E acil de se ver que C1/3 e um subconjunto desconexo de R na topologia R , pois um par de abertos como A1 = (1, 1/2) e A2 = (1/2, 2) desconecta C1/3 (verique!). Pelo que acabamos de ver, dados c, c C1/3 com c < c , existe x C1/3 tal que c < x < c . Assim, os abertos A1, x = (1, x) e A2, x = (x, 2) tamb em desconectam C1/3 . Dessa forma, n ao existe nenhum subconjunto conexo de C1/3 que contenha c e c (um tal conjunto seria desconectado pelos abertos A1, x e A2, x ). Logo, c e c pertencem a componentes conexas distintas. Como isso vale para todos c e c em C1/3 com c < c , conclu mos que as componentes conexas de C1/3 possuem exatamente um elemento. Isso signica que C1/3 e totalmente desconexo, como quer amos mostrar. * Em resumo, conclu mos que C1/3 e um subconjunto fechado e limitado de R, mensur avel de Lebesgue, n ao-cont avel, com a cardinalidade de R, denso em parte alguma, denso em si mesmo e totalmente desconexo. Pelo fato de C1/3 ser fechado e limitado, C1/3 e um conjunto compacto (pelo Teorema de Heine-Borel, Teorema 31.14, p agina 1442). Pelo fato de C1/3 ser fechado e denso em si mesmo, C1/3 e um conjunto perfeito. Por ser tamb em totalmente desconexo, C1/3 e um conjunto de Cantor segundo a deni ca o geral da Se ca o 31.1, p agina 1402. A dimens ao Hausdor de C1/3 f Cada conjunto Tn e composto de 2n intervalos de largura (di ametro) 3n . E acil ver pela deni ca o que para s >
n sn tem-se s = exp n ln 3 H (Tn ) 2 3 ln 2 ln 3 ln 2 ln 3

. Assim, se s >

ln 2 ln 3

teremos lim s H (Tn ) = 0, mostrando que para tais

n

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1312/2069

ln 2 ln 2 valores de s tem-se s H C1/3 = 0. Para s = ln 3 e 0 s < ln 3 mais detalhado (vide e.g., [65] ou [203]) mostra que vale + , = s 1, H C1/3 0,

esse argumento e ainda inconclusivo, mas um tratamento

caso 0 s < caso s = caso s >

ln 2 ln 3 ln 2 ln 3

ln 2 ln 3

, .

Assim, a dimens ao Hausdor de C1/3 e

ln 2 ln 3

0, 63.

Mais exemplos de conjuntos de Cantor

Vamos agora generalizar e formalizar as id eias desenvolvidas na constru ca o de C1/3 e construir outros conjuntos semelhantes.

Diremos que um intervalo fechado [a, b] e nito se < a < b < . Note que exclu mos a = b. Denotaremos por F0 a cole ca o de todos os subconjuntos da reta real que sejam formados por uni oes nitas de intervalos fechados nitos e disjuntos. Assim, se F F0 , ent ao F e da forma F = F1 Fk para algum k N, onde cada Fj e um intervalo fechado nito Fj = [aj , bj ] com < aj < bj < e onde os Fj s s ao disjuntos dois-a-dois, ou seja, Fi Fj = caso i = j . Por ser uma uni ao nita de fechados, cada elemento de F0 e tamb em um conjunto fechado. Seja f R tal que 0 < f < 1. Denominaremos um tal f uma fra c ao9 . Para cada fra ca o f deniremos uma aplica ca o Tf : F0 F0 da seguinte forma: Para um intervalo nito F = [a, b] denimos Tf (F ) = Tf ([a, b]) := a, a(1 + f ) + b(1 f ) 2 a(1 f ) + b(1 + f ) , b . 2 (28.14)

Para um elemento gen erico F = F1 Fk de F0 , denimos Tf (F) = Tf F1 Fk Note que para 0 < f < 1 tem-se a < a(1 f ) + b(1 + f ) a(1 + f ) + b(1 f ) < <b. 2 2 Tf (F ) F . Em verdade, Tf (F ) e um subconjunto pr oprio de F . Segue facilmente disso que, para todo F F0 , Tf (F) F . E. 28.6 Exerc cio. Verique todas as arma co es acima. Qual a interpreta ca o geom etrica de Tf ? Para isso, vamos descrever o que e Tf ([a, b]). Esse conjunto e obtido b , que ca subtraindo-se do intervalo fechado nito [a, b] o conjunto aberto de largura f (b a) centrado no ponto a+ 2 bem no centro de [a, b]. Como e f acil ver, esse intervalo aberto e a + b f (b a) a + b f (b a) , + 2 2 2 2
9 Exclu mos

:= Tf (F1 ) Tf (Fk ) .

(28.15)

Portanto, para todo intervalo nito F , tem-se

a(1 + f ) + b(1 f ) a(1 f ) + b(1 + f ) , 2 2

os casos f = 0 e f = 1 pois, como poder-se- a constatar, eles levam a situa co es triviais

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1313/2069

Assim, Tf ([a, b]) = [a, b] \ a(1 + f ) + b(1 f ) a(1 f ) + b(1 + f ) , 2 2 .

Operando em F = F1 Fk , a opera ca o Tf subtrai de cada Fj o intervalo aberto de largura f centrado no ponto intermedi ario de Fj . importante notar que se F F0 E e composto por k intervalos fechados nitos disjuntos ent ao, Tf (F) e composto por 2k intervalos fechados nitos disjuntos. Como Tf e uma aplica ca o de F0 em F0 , podemos compor Tf consigo mesma. Denotamos, para n N,
n Tf Tf Tf . n

vezes

n Com isso, se F e um intervalo fechado nito, Tf (F ) e um elemento de F0 composto por 2n intervalos fechados nitos disjuntos, todos eles contidos em F . n Para o que segue e muito importante determinarmos a medida de Lebesgue dos conjuntos Tf (F ), que vem a ser a n soma dos comprimentos dos 2 intervalos fechados nitos disjuntos que o comp oe. Para isso, e importante ver que se F = [a, b], ent ao

L (Tf (F )) = L (Tf ([a, b]))

= L

a,

a(1 + f ) + b(1 f ) 2 a(1 + f ) + b(1 f ) 2 +

a(1 f ) + b(1 + f ) , b 2 + L a(1 f ) + b(1 + f ) , b 2

= L

a,

a(1 + f ) + b(1 f ) a 2

a(1 f ) + b(1 + f ) 2

= (1 f )(b a) = (1 f )L (F ) . (28.16)

tamb E em claro que para todo F F0 da forma F = F1 Fk , onde os Fj s ao intervalos fechados nitos e disjuntos, tem-se L (F) = L (F1 ) + + L (Fk ) . Segue tamb em de (28.15) que se F = F1 Fk ent ao L (Tf (F)) = L Tf (F1 ) Tf (Fk )
k

= L Tf (F1 ) + + L Tf (Fk )

= ou seja,

(1 f )

j =1

L (Fj ) = (1 f )L (F) ,

L (Tf (F)) = (1 f )L (F) . Desses fatos, e muito f acil provar por indu ca o que
n L (Tf (F )) = (1 f )n L (F ) .

(28.17)

(28.18)

para todo n N e todo intervalo fechado nito F . E. 28.7 Exerc cio. Prove isso!

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1314/2069

bastante evidente por (28.14) que os bordos a e b de um intervalo fechado nito F = [a, b] satisfazem a Tf (F ) e E n b Tf (F ). Da , conclu -se tamb em que a e b s ao elementos de todos os conjuntos Tf (F ). Assim,
n n Un, f (F ) := F \ Tf (F ) = F Tf (F ) c n = F 0 Tf (F ) c

n (F ) s ao fechados, os conjuntos Un, f (F ) s ao subconjuntos Aqui F 0 := (a, b), o interior de F . Como os conjuntos Tf 0 n c ca o de dois abertos: F e (Tf (F )) . Note-se que abertos de F , por serem a intersec

n+1 n n (F ) Tf (F ). pois Tf (F ) = Tf Tf

Un, f (F ) Un+1, f (F ),

nN,

(28.19)

Teremos tamb em que

n L (Un, f (F )) = L (F ) L Tf (F )

= 1 (1 f )n L (F ) .

Para um intervalo fechado nito para F = [a, b] e uma fra ca o f , denimos o Cf (F ) por Cf (F ) :=
nN n Tf (F ) .

O conjunto de Cantor tern ario C1/3 , que denimos informalmente p aginas acima, corresponde a C1/3 ([0, 1]).
b(1f ) Note que Cf (F ) n ao e vazio, pois cont em pelo menos os pontos a e b, assim como os pontos a(1+f )+ e 2 a(1f )+b(1+f ) e, em verdade, todos os pontos que formam as bordas de cada intervalo fechado nito que comp oe os 2 n conjuntos Tf (F ), pois, como observamos acima, cada aplica ca o Tf mant em esses pontos no conjunto resultante.

e uma intersec ca o A primeira observa ca o que fazemos sobre Cf (F ) e que se trata de um subconjunto fechado de F , pois de fechados. Denimos tamb em Uf (F ) := F \ Cf (F ) = F Cf (F )
c c

= F 0 Cf (F )

(28.20)

que e naturalmente um subconjunto aberto de F , por ser a intersec ca o de dois abertos: F 0 e (Cf (F ))c . Vemos que Uf (F ) = F 0
n Tf (F ) nN

= F0

n Tf (F ) nN

=
nN

n F 0 Tf (F )

=
nN

Un, f (F ) .

poss E vel tamb em provar (mas n ao o faremos aqui) que Cf (F ) tem a mesma cardinalidade de R. Fora isso, Cf (F ) e compacto (por ser fechado e limitado) totalmente desconexo, denso em parte alguma e denso em si mesmo e, portanto, e perfeito. (Essas deni co es s ao apresentadas na Se ca o 31.1, p agina 1402). Assim, pela deni ca o geral da p agina 1405, Cf (F ) e um conjunto de Cantor. Vamos agora determinar a medida de Lebesgue de Cf (F ) e de Uf (F ), come cando pela segunda. Por (28.19), podemos aplicar a propriedade geral de medidas 3 da p agina 1280 e concluir que L (Uf (F )) = lim L (Un, f (F )) = lim [1 (1 f )n ] L (F ) = L (F ) ,
n n

(28.21)

j a que 0 < (1 f ) < 1. Por (28.20) tem-se tamb em que L (Uf (F )) = L (F ) L (Cf (F )) e conclu mos que L (Cf (F )) = 0 . Cf (F ) e assim um subconjunto fechado, denso em parte alguma, denso em si mesmo e com a cardinalidade de R mas com medida de Lebesgue nula! Seu complemento em F , que e o aberto Uf , tem a mesma medida que F ! ao de Hausdor dos conjuntos de Cantor Cf (F ). E. 28.8 Exerc cio. Determine a dimens Ainda mais exemplos de conjuntos de Cantor (com uma surpresa)

As id eias a constru ca o dos conjuntos de Cantor Cf (F ), acima, podem ser generalizadas ainda mais. Seja {f } := {fj , j N} uma seq u encia de fra co es. Cada fj satisfaz 0 < fj < 1, mas n ao precisam ser todos iguais. Para n N, dena-se n (28.22) T{ f } Tfn Tfn .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1315/2069

n Pelas mesmas raz oes que acima (conra!), cada T{ e tamb em uma aplica ca o de F0 em F0 . f}
n O estudante deve atentar para o fato que o n que aparece no expoente de T{ representa o n umero de aplica co es que aparecem f} compostas no lado direito de (28.22), n ao uma pot encia de uma u nica aplica ca o.

Nota.

Para um intervalo fechado e nito F = [a, b], tem-se tamb em que

n T{ f } (F ) = Tfn Tfn (F ) F . n Como antes, os conjuntos T{ ao compostos por 2n intervalos fechados e as bordas desses intervalos estar ao contidas f } (F ) s m em todos os conjuntos T{f } (F ) com m > n. Fora isso, n m T{ f } (F ) T{f } (F ),

para todos m > n .

(28.23)

m n Em verdade os T{ ao subconjuntos pr oprios de T{ em que f } (F ) para todos m > n. Temos tamb f } (F ) s n n Un, {f } (F ) := F \ T{ f } (F ) := F T{f } (F ) c n = F 0 T{ f } (F ) c

n Como os conjuntos T{ ao fechados, os conjuntos Un, {f } (F ) s ao subconjuntos abertos de F , por serem a intersec ca o f } (F ) s 0 n c de dois abertos: F e (T{f } (F )) . Note-se novamente que

Un, {f } (F ) Um, f (F ), por (28.23).

n<m,

(28.24)

Denimos ent ao, em completa analogia com o apresentado acima, os conjuntos C{f } (F ) :=
nN n T{ f } (F ) .

e U{f } (F ) := F \ C{f } (F ) = F C{f } (F )

= F 0 C{f } (F )

C{f } (F ) e tamb em um subconjunto fechado de F , pois e uma intersec ca o de fechados. U{f } (F ) e um subconjunto aberto de F , por ser a intersec ca o de dois abertos: F 0 e (C{f } (F ))c . Vemos novamente que
c

U{f } (F ) = F

n T{ f } (F ) nN

= F0

n T{ f } (F ) nN

=
nN

n F 0 T{ f } (F )

=
nN

Un, {f } (F ) .

poss E vel tamb em provar (mas n ao o faremos aqui) que C{f } (F ) tem a mesma cardinalidade de R. Fora isso, C{f } (F ) compacto (por ser fechado e limitado) totalmente desconexo, denso em parte alguma e denso em si mesmo e, portanto, e perfeito (para as deni co es vide Se ca o 31.1, p agina 1402). Assim, pela deni ca o geral da p agina 1405, Cf (F ) e um conjunto de Cantor. Quanto ` a medida de Lebesgue de C{f } (F ), ocorre aqui uma surpresa. Como antes, temos que L U{f } (F ) = L (F ) L C{f } (F ) e que L U{f } (F ) = lim L Un, {f } (F ) .
n

Vamos por em, calcular L (Un, {f } (F )). Sabemos que L Un, {f } (F ) Agora,
n L T { f } (F ) n1 = L Tfn T{ f } (F ) n1 = (1 fn )L T{ f } (F ) n = L (F ) L T{ f } (F ) .

= (1 fn ) (1 f1 )L (F ) ,

onde, acima, usamos (28.17). Dessa forma, L Un, {f } (F ) = 1

n j =1

(1 fj ) L (F )

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1316/2069

e, portanto, usando novamente a propriedade geral de medidas 3 da p agina 1280, tem-se

n n

L U{f } (F )

= lim 1
n

j =1

(1 fj ) L (F ) = 1 lim

j =1

(1 fj ) L (F ) .

O ponto, por em, e que, ao contr ario do caso anterior quando todos os fj s eram iguais, n ao se pode sempre concluir que 2 n u encia fj = 1 e1/j . limn j =1 (1 fj ) = 0 mesmo que 0 < (1 fj ) < 1 para todo j . Tomemos, por exemplo, a seq Teremos n n 2 1 1 = exp = e /6 > 0 (1 fj ) = lim exp lim 2 2 n n j j j =1 j =1 j =1 e, com isso, L (U{f } (F )) = e L (C{f } (F )) = e 1 e
2

/6

L (F ) < L (F ) L (F ) > 0 .

/6

O conjunto de Cantor C{f } (F ) com a seq u encia {f } dada acima tem medida de Lebesgue n ao-nula. Condi c ao para os conjuntos C{f } (F ) terem medida de Lebesgue n ao-nula Voltando a seq u encias {fj , j N} gerais, conclu mos do Lema 28.2, a seguir, que uma condi ca o necess aria e suciente para que C{f } (F ) tenha medida de Lebesgue n ao-nula e que a seq u encia de fra co es {f } = {fj , 0 < fj < 1, j N} seja som avel, ou seja j =1 fj < . No caso do conjunto de Cantor tern ario C1/3 , essa condi ca o e violada, pois obviamente dando para os conjuntos Cf (com 0 < f ).
n j =1

1/3 = , o mesmo se

Lema 28.2 Se {fj , j N} e uma seq u encia de n umeros tais que 0 < fj < 1 para todo j , ent ao a condi c ao para que
n

lim

j =1

(1 fj ) > 0 e equivalente ` a condi c ao

j =1

ln(1 fj ) < . Essa por sua vez e equivalente ` a condi c ao

j =1

fj < .

Prova. Notemos, em primeiro lugar, que

n j =1 n

erie de n umeros positivos j =1 [ ln(1 fj )] for nita. Estudemos Logo, limn j =1 (1 fj ) > 0 se e somente se a s uma condi ca o necess aria e suciente para que isso ocorra. Para x [0, 1) tem-se que x ln(1 x). Isso se v e notando que a fun ca o x f (x) := x ln(1 x) satisfaz f (x) = 0 (1 x)

(1 fj ) = exp

n j =1

ln(1 fj ) .

para x [0, 1), o que mostra que f e crescente nesse intervalo. Como f (0) = 0, conclu mos que f (x) 0 para x [0, 1). n n Assim, j =1 fj j =1 ln(1 fj ), mostrando que se a s erie de n umeros positivos j =1 ln(1 fj ) for nita, a s erie f tamb e m o ser a . j j =1 Reciprocamente, suponhamos que umero xo tal que 0 < M < 1. Vamos mostrar que j =1 fj converge. Seja M um n existe um J tal que fj < M para todo j > J . Para isso, vamos supor o contr ario e assumir que haja uma cole ca o innita ca o. amos que j =1 fj l=1 fjl l=1 M = , uma contradi fj1 , fj2 , . . . tal que fjl M para todo l 1. Ter ndices jl . Podemos ent ao escrever Assim, a cole ca o fj1 , fj2 , . . . deve ser nita e podemos tomar J como o maior dos
J

fj =
j =1 j =1

fj +
j =J +1

fj

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1317/2069

com a garantia que na, u ltima soma, todo fj satisfaz 0 < fj < M para um certo 0 < M < 1 xado. Agora, observemos que no intervalo [0, M ] a fun ca o g (x) := ln(1 x) e cont nua, limitada, diferenci avel e satisfaz g (x) = 1/(1 x)2 > 0. Assim, g e convexa10 naquele intervalo e, portanto, de (5.7), p agina 236, tem-se g (x) g (0) + ou seja, ln(1 x) Logo,
J J

g (M ) g (0) x, M ln(1 M ) x. M ln(1 fj ) ln(1 M ) M

(28.25)

j =1

ln(1 fj ) =
j =J +1

j =1

ln(1 fj )

j =J +1

ln(1 fj )

fj .
j =J +1

j =1

Todavia, a soma

fj e nita, por hip otese, provando que *

j =1

ln(1 fj ) tamb em o e.

Vimos assim que existem in umeros conjuntos de Cantor C{f } (F ) com medida de Lebesgue n ao-nula. A exist encia de conjuntos com tais propriedades e um dos fatos mais surpreendentes da Teoria da Medida. Nenhuma intui ca o a justica ou esclarece. Conjuntos de Cantor e outros conjuntos fractais (como a Estrela de Koch da Figura 27.1, p agina 1286) podem ser constru dos em v arias dimens oes e n ao s ao apenas uma curiosidade matem atica, pois podem ser observados na Natureza. A Figura 28.5, p agina 1321, mostra imagens dos an eis de Saturno, os quais exibem uma complexa estrutura de lacunas em v arias escalas, muito ` a semelhan ca dos conjuntos C{f } (F ). As lacunas s ao causadas por resson ancias dos per odos das orbitas das part culas que comp oe os an eis com per odos das orbitas de alguns sat elites de Saturno11 . Lacunas desse tipo ocorrem tamb em no cintur ao de aster oides e s ao conhecidos como gaps de Kirkwood12 . No caso do cintur ao de aster oides, as lacunas s ao causadas por resson ancias com o per odo da orbita de J upiter13 . Vide Figura 28.6, p agina 1322. Conjuntos como os de Cantor e outros conjuntos fractais ocorrem tamb em em diversos sistemas din amicos e no espectro de certos operadores Hamiltonianos na Mec anica Qu antica. A Figura 28.7, p agina 1323, exibe a chamada borboleta de Hofstadter14 , que representa o espectro qu antico de um el etron se movendo em um plano bidimensional sob a a ca o de um potencial peri odico bidimensional e de um campo magn etico constante perpendicular a esse plano. O eixo horizontal representa o espectro de energias e o vertical o uxo do campo magn etico em cada c elula do potencial peri odico bidimensional (em unidades de hc/e). Quando e um racional da forma = p/q (com p e q irredut veis) o espectro possui q bandas e q + 1 lacunas. Quando e irracional, o espectro e um conjunto de Cantor. Todos esses assuntos s ao objeto de pesquisa atual.

28.4

Bases de Hamel e a Medida de Lebesgue

Nesta se ca o discutiremos um exemplo de subconjunto da reta real R que tem a propriedade de ser Lebesgue-mensur avel mas que n ao e Boreliano. A saber, mostraremos que existem bases de Hamel15 da reta real (denidas ` a p agina 134 e seguintes) que s ao mensur aveis por Lebesgue sendo que, por em, nenhuma base de Hamel e um conjunto Boreliano. O primeiro resultado e o seguinte:
teoria das fun co es convexas e desenvolvida no Cap tulo 5, p agina 233. lacunas s ao causadas pela presen ca de sat elites dentro da regi ao de an eis, que absorvem as part culas que os comp oe. 12 Daniel Kirkwood (18141895). Os gaps, ou lacunas, de Kirkwood foram descobertos no cintur ao de aster oides em 1866. 13 Mais coment arios e refer encias sobre o assunto podem ser encontrados em Regular and Irregular Motion. M. V. Berry. Topics in Nonlinear Dynamics (ed. S. Jorna) Am. Inst. Phys. Conf. Proc. 46 16120 (1978). Vide tamb em Nature of the Kirkwood Gaps in the asteroid belt, S. F. Dermott and C. D. Murray. Nature 301, 201205 (1983). Ambos os trabalhos encontram-se republicados em [164]. 14 Douglas R. Hofstadter. Energy levels and wave functions of Bloch electrons in rational and irrational magnetic elds. Phys. Rev. B 14, 2239 (1976). 15 Georg Hamel (18771954).
11 Algumas 10 A

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1318/2069

Proposi c ao 28.11 Se B0 e um subconjunto do conjunto de Cantor C1/3 [0, 1] que seja maximalmente linearmente independentes por racionais, ent ao B = B0 + Z e uma Base de Hamel. Notemos que B0 e mensur avel por Lebesgue, por ser subconjunto de um conjunto de medida de Lebesgue nula, a saber, C1/3 (vide Proposi ca o 28.2, p agina 1303). Portanto, L (B ) = L (B0 ) = 0. Naturalmente, B e uma base de Hamel mensur avel por Lebesgue, por ser uni ao cont avel de conjuntos mensur aveis pode Lebesgue. Prova. Pelo Lema 28.1, p agina 1310, todo x [0, 1] pode ser escrito como uma combina ca o linear por racionais de dois elementos do conjunto de Cantor tern ario C1/3 . Por uma simples aplica ca o do Lema de Zorn (fa ca!), pode-se facilmente provar que C1/3 possui pelo menos um subconjunto de elementos linearmente independentes por racionais. Denotemos um tal subconjunto por B0 . Assim, todo elemento de C1/3 pode ser escrito como uma combina ca o linear nita por racionais de elementos de B0 . Juntando isso ` a observa ca o anterior, conclu mos que todo elemento de [0, 1] pode ser escrito como combina ca o linear nita por racionais de elementos de B0 . Repetindo-se isso em cada intervalo [m, m + 1] com m Z a proposi ca o est a demonstrada. Isso demonstrou que h a bases de Hamel mensur aveis por Lebesgue. Tem-se por em, o seguinte fato, devido a Sierpi nski16 , cuja demonstra ca o omitiremos: Teorema 28.3 Nenhuma base de Hamel em R e Boreliana.

Com isso, a base de Hamel constru da acima a partir de um subconjunto linearmente independentes por racionais do conjunto de Cantor e um exemplo de um conjunto mensur avel por Lebesgue mas n ao-Boreliano. Em verdade nem toda base de Hamel e mensur avel por Lebesgue. Vale, todavia, o seguinte fato, que provaremos abaixo: uma base de Hamel e mensur avel por Lebesgue se e somente se sua medida de Lebesgue for nula. Precisaremos da seguinte proposi ca o: Proposi c ao 28.12 Se A R e um conjunto com medida de Lebesgue positiva, ou seja, L (A) > 0, ent ao existe um intervalo aberto I = (, ), > 0, tal que todo elemento x de I pode ser escrito na forma x = a1 a2 , com a1 , a2 I . A proposi ca o acima tem uma generaliza ca o no contexto da medida de Haar em grupos topol ogicos localmente compactos (como e o caso da medida de Lebesgue na reta real). Proposi c ao 28.13 Uma base de Hamel B da reta real e mensur avel por Lebesgue se e somente se L (B ) = 0. Prova. Se B n ao for mensur avel por Lebesgue n ao h a o que se provar. Suponhamos ent ao que B e mensur avel por Lebesgue. Ent ao, ou L (B ) = 0 ou L (B ) > 0. Vamos supor que L (B ) > 0. Pela Proposi ca o 28.12 existem n umeros racionais n ao-nulos r e s (ambos contidos em algum intervalo (, ) conveniente) tais que r = b1 b2 e s = b3 b4 , com b1 , b2 , b3 , b4 B . Seja t = r/s, que obviamente e racional. Conclu mos de r = ts que b1 b2 = t(b3 b4 ). Mas isso e imposs vel, pois essa express ao contraria o fato de que os elementos de B s ao linearmente independentes por racionais. Logo, se B e mensur avel por Lebesgue s o podemos ter L (B ) = 0. A Proposi ca o 28.11 mostrou que a proposi ca o anterior n ao e vazia no seguinte sentido: existem bases de Hamel mensur aveis por Lebesgue.

16 Waclaw Franciszek Sierpi nski (18821969). O Teorema 28.3 encontra-se em Sur la question de la mesurabilit e de la base de M. Hamel. Fund. Math. 1, 105111 (1920).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1319/2069

28.5

Exerc cios Adicionais

E. 28.9 Exerc cio. Mostre que a dimens ao Hausdor da Curva de Koch17 (linha indicada na Figura 28.2) vale ln(4) ln(3) . Supondo que cada segmento inicial tenha comprimento 1/3, determine o comprimento total (medida de Lebesgue) da curva de Koch. ao Hausdor do Tri angulo de Sierpi nski18 (indicado em preto na Figura 28.3) vale E. 28.10 Exerc cio. Mostre que a dimens Supondo cada aresta inicial com comprimento 1, determine sua area (medida de Lebesgue).

ln(3) ln(2) .

ln(8) ln(3) .

ao Hausdor do Tapete de Sierpi nski (indicado em preto na Figura 28.4) vale E. 28.11 Exerc cio. Mostre que a dimens Supondo cada aresta inicial com comprimento 1, determine sua area (medida de Lebesgue).

Figura 28.2: Primeiras seq u encias de conjuntos que geram a Curva de Koch. Em cada etapa, todos os segmentos de reta t em o mesmo comprimento.

Figura 28.3: Primeiras seq u encias de conjuntos que geram o Tri angulo de Sierpi nski.

17 Niels

18 Waclaw

Fabian Helge von Koch (18701924). A Curva de Koch foi descrita pelo mesmo em trabalho datado de 1904. Franciszek Sierpi nski (18821969).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1320/2069

Figura 28.4: O Tapete de Sierpi nski.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1321/2069

Figura 28.5: As tr es imagens acima mostram trechos em diferentes escalas dos an eis de Saturno. As imagens foram obtidas pelas sondas Voyager 1 e 2. A Voyager 1 fez sua melhor aproxima ca o a Saturno em 12 de novembro de 1980 e a Voyager 2 em 26 de agosto de 1981, a dist ancias de 124.000 km e 101.000 km, respectivamente.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1322/2069

Figura 28.6: Histograma exibindo os Lacunas de Kirkwood do cintur ao de aster oides. O eixo horizontal representa o per odo da orbita, em unidades do per odo de J upiter em torno do Sol, e o eixo vertical representa o n umero de aster oides encontrado em cada per odo. Observe que h a certas regi oes do eixo horizontal onde praticamente n ao se observam aster oides. Essas regi oes s ao as denominadas Lacunas de Kirkwood. Quase todas essas lacunas ocorrem pr oximas a pontos onde o per odo da orbita e igual a certas fra co es racionais (indicadas na gura) do per odo de J upiter. H a exce co es a essa regra, o que indica que efeitos n ao-perturbativos (e n ao-ressonantes) desempenham um papel na estabilidade (ou instabilidade) das orbitas. Esses efeitos s ao ainda hoje objeto de pesquisa da Din amica Planet aria.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 28

1323/2069

Figura 28.7: A borboleta de Hofstadter. O eixo horizontal representa o espectro qu antico de energias de um el etron movendo-se em um plano bidimensional sob a a ca o de um potencial peri odico bidimensional e de um campo magn etico constante perpendicular a esse plano. O eixo vertical representa o uxo do campo magn etico em cada c elula do potencial peri odico bidimensional (em unidades de hc/e). Na gura, varia entre 0 e 1.