112

CAP ITULO 5. MEDIDA E INTEGRACION

5.8.

Medida y dimensi on de Hausdor

Hemos visto que existen conjuntos grandes en R, como el conjunto ternario de Cantor, pero que tienen medida de Lebesgue 0. Queremos denir generalizaciones de la medida de Lebesgue, pero que asignen una medida no trivial a este tipo de conjuntos. Esto nos permitir a denir la noci on de dimensi on de Hausdor, introducida en 1918 por Felix Hausdor. Demostraremos primero varios resultados generales sobre medidas externas. Lema 5.68. Sea I un conjunto arbitrario de ndices. Supongamos que para cada i I , i es una medida externa en un conjunto X . Luego (E ) = sup i (E )
iI

para E X

tambi en es una medida externa en X . n. Claramente 0 (E ) . Adem Demostracio as, () = sup i () = 0. Si E1 E2 , tenemos que (E1 ) = sup i (E1 ) sup i (E2 ) = (E2 ). Finalmente si {Ej } es una sucesi on de conjuntos en X i (j Ej )
j

i (Ej )
j

(Ej ).

Tomando el supremo sobre el ndice i I obtenemos la -subaditividad. Ocuparemos el lema anterior para denir la noci on de medida externa asociada a la medida de Hausdor. Pero necesitaremos que los Borelianos est en contenidos en la clase de conjuntos medibles. Para establecer condiciones generales que implique esto introduciremos el siguiente concepto. Denici on 5.69. Medida externa de Carath eodory. Sea X un conjunto y una funci on real en X . Decimos que dos conjuntos de X son separados por si es existen reales a > b tales que es mayor que a en un conjunto y menor que b en el otro. Consideremos una colecci on de funciones reales en X . Decimos que una medida externa en X es una medida externa de Carath eodory con respecto a , si cada vez que dos conjuntos A, B son separados por alguna funci on en , entonces (A B ) = (A) + (B ). Decimos que una funci on real f es -medible si para cada a el conjunto {x : f (x) > a} es -medible. Lema 5.70. Si es una medida externa de Carath eodory con respecto a , entonces cada funci on en es -medible.

 DE HAUSDORFF 5.8. MEDIDA Y DIMENSION n. Sea a real y . Probaremos que el conjunto Demostracio E := {x : (x) > a}, satisface la desigualdad (A) (A E ) + (A E c ),

113

para todo conjunto A. Sin p erdida de generalidad supondremos que (A) < . Denimos c B := E A, C = E A y Bn = {x : x B, (x) > a + 1/n}. Adem as Rn = Bn Bn1 . Luego B = Bn { k =n+1 Rk }. Pero en Bn2 tenemos > a +1/(n 2) y en Rn tenemos a + 1/(n 1). Luego separa R n de Bn2 . Por lo tanto tambi en separa k 1 R2k de j R B y 2k 2 =1 2j
k

(k j =1 R2j )

= (R2k ) +

k 1 (j =1 R2j )

=
j =1

(R2j ).
j =1 (R2j )

Pero como k j =1 R2j B A tenemos que convergente. Similarmente podemos ver que

k j =1 (R2j ) (A) y luego j =1 (R2j +1 ) es convergente y

es

por lo tanto

(Rj ),
j =1

es convergente. Luego dado

> 0 existe un n tal que

(Rj ) < .
j =n

Por subaditividad,

(B ) (Bn ) +
j =n+1

(Rj ) < (Bn ) + .

O sea (Bn ) > (B ) . Pero como separa Bn de C tenemos que (A) (Bn C ) = (Bn ) + (C ). Luego, (A) (B ) + (C ) . Como es arbitrario, (A) (B ) + (C ).

Corolario 5.71. Sea (X, ) un espacio m etrico y una medida externa en X con la propiedad (A B ) = (A) + (B ) cuando (A, B ) > 0. Luego todo conjunto cerrado es -medible. En particular todo Boreliano es -medible.

114

CAP ITULO 5. MEDIDA E INTEGRACION

n. Consideremos la colecci Demostracio on de funciones de la forma (x) = (x, E ). Mostraremos que es una medida externa de Carath eodory respecto a . Basta probar que si A y B son conjuntos separados por alguna funci on en , entonces (A; B ) > 0. En efecto, si (x, E ) separa a A de B , entonces dadas dos sucesiones x n A, yn B , necesariamente l m inf n (xn , yn ) > 0. Esto prueba que (A; B ) > 0. Por el lema anterior vemos que toda funci on en es medible. En particular, si F es cerrado, el conjunto F = {x : (F, x) 0} es medilbe.

Teorema 5.72. Consideremos un espacio m etrico (X, ). Sea una premedida denida en una colecci on C se subconjuntos de X . Para cada > 0 denimos

(E ) := inf

E i Ci d(Ci )

(Ci )
i=1

donde los Ci C y d(Ci ) = supx,yCi (x, y ). Luego (E ) := l m (E )

0

es una medida externa. Adem as, si C contiene los abiertos, entonces los Borelianos est an en M . n. Claramente, para cada > 0, es una medida externa. Ahora, para cada Demostracio conjunto E l m (E ) = sup (E ).
0 >0

Luego, por el Lema 5.68 vemos que es una medida externa. Para probar que los Borelianos son -medibles, por el lema anterior, basta probar que si A y B son conjuntos tales que (A, B ) > 0, entonces (A B ) = (A) + (B ). Pero esto es una consecuencia del hecho que C contiene a los abiertos.

Denici on 5.73. Sea A la clase de funciones h denidas para t 0, no-decrecientes, positivas y continuas por la derecha en t 0, con valores en [0, ]. Si (, ) es un espacio m etrico y h A, para G abierto denimos h(G) := h(d(G)), donde d(G) = sup x,yG (x, y ), si G = y h(G) = 0 si G = . Denimos la medida de Hausdor correspondiente a la funci on h, como la restricci on a los borelianos de la medida externa del Teorema 5.72, con = h y C la colecci on de conjuntos abiertos. Cuando h = t con > 0, llamamos a la medida de Hausdor correspondiente, la medida de Hausdor en la dimensi on y la denotamos por H y las . aproximaciones correspondientes H Notemos que si F Rn y F i Ci con d(Ci ) , luego para t > s se tiene que |Ci |t
i i

|Ci |ts |Ci |s ts

i

|Ci |s .

t (F ) ts H s (F ). Esto nos motiva a efectuar la siguiente denici Luego H on.

 DE HAUSDORFF 5.8. MEDIDA Y DIMENSION

115

Denici on 5.74. Dimensi on de Hausdor. Sea F R n . Denimos la dimensi on de Hausdor de F como dimH F := inf { > 0 : H (F ) = 0} = sup{ > 0 : H (F ) = } Ejercicio. Pruebe que las dos deniciones son equivalentes Ejemplo. 1. Con probabilidad 1 una trayectoria browniana en R n , n 2, tiene dimensi on de Hausdor 2. 2. 3. Con probabilidad 1, el gr aco del movimiento browniano en dimensi on d = 1 tiene dimensi on de Hausdor 3/2. El a no 2005, Wendelin Werner prob o que la frontera del movimiento Browniano en dimensi on d = 2 tiene dimensi on de Hausdor 4/3. La demostraci on de Werner reduce el problema a un c alculo de dimensi on de Hausdor de una versi on de la llamada Ecuaci on de Loewner Estoc astica (SLE). Este resultado es una de las razones por las que Werner obtuvo la medalla Fields el a no 2006.

Para completar esta discusi on, compararemos el concepto de dimensi on de Hausdor, con otra noci on importante de dimensi on. Denici on 5.75. Dimensi on topol ogica. Sea T un espacio topol ogico. Llamamos dimensi on topol ogica, al valor m as peque no de n, tal que todo cubrimiento abierto de T tiene un subcubrimiento tal que ning un punto del espacio est a incluido en m as de n + 1 abiertos del subcubrimiento. La denotaremos por dim T (T ). Teorema 5.76. Sea X un espacio m etrico separable no vac o. Leugo dimH (X ) dimT (X ). Adem as, inf dimH (Y ) = dimT (X ),
Y

donde el nmo se toma sobre todos los espacios topol ogicos Y que son homeomorfos a X . Proseguiremos con el estudio de los conjuntos perfectos sim etricos en los reales, calculando su dimensi on de Hausdor. Denici on 5.77. Conjunto Perfecto. Sea E un subconjunto de R y E el conjunto de puntos l mites de E . Si E = E diremos que E es perfecto. Lema 5.78. Todo subconjunto de los reales compacto y sin puntos aislados es perfecto. Observaci on. La armaci on conversa es falsa. En efecto E = R es perfecto, pero no es compacto.

116

CAP ITULO 5. MEDIDA E INTEGRACION

Denici on 5.79. (i) Disecci on (2, ). Sea un n umero real tal que 0 < < 1/2 y sea [a, b] un intervalo cerrado de largo l = b a. Consideremos la trisecci on del intervalo [a, b] en tres intervalos sucesivos de largos l , l(1 2 ) y l . Llamamos disecci on de tipo (2, ) de [a, b] al conjunto E obtenido luego de unir el primer y el u ltimo intervalo cerrados. (ii) Conjunto perfecto sim etrico. Sea (0, 1/2). Consideremos un intervalo cerrado E0 := [a, b]. Sea E1 la disecci on de tipo (2, ) de [a, b]. Ahora llamemos E 2 a la uni on de las disecci ones de tipo (2, ) de los dos intervalos cerrados que conforman E 1 y en general Ek+1 con k 3 a la uni on de las disecci ones de tipo (2, ) de los 2 k intervalos cerrados que conforman Ek . Llamamos conjunto perfecto sim etrico de tasa constante al conjunto,

E :=
k =1

Ek .

Lema 5.80. Un conjunto perfecto sim etrico de tasa constante (0, 1/2) tiene medida de Lebesgue nula.

Lema 5.81. Sean E1 y E2 dos conjuntos cerrados, acotados y disjuntos. Luego si H es la medida de Hausdor asociada a una funci on creciente h, y E = E 1 E2 , entonces H (E ) = H (E1 ) + H (E2 ). n. Notemos que si es menor que la distancia entre E 1 y E2 entonces, Demostracio H (E ) = H (E1 ) + H (E2 ). Tomando el l mite cuando tiende a 0 obtenemos el resultado deseado.

Denici on 5.82. Conjuntos Homot eticos. Sea 0. Decimos que un conjunto real E es homot etico de un conjunto real E en la raz on si para alg un x R, E = E + x. Lema 5.83. Sea E un conjunto perfecto sim etrico de tipo (2, ). Sea H la medida de Hausdor en la dimensi on (0, 1]. Luego, si 2 = 1 entonces H (E ) = 0 o bien H (E ) = . n. Sea E un conjunto homot Demostracio etico a E en la raz on . Luego a todo recubrimiento etico a i en la raz on . {i } de E le corresponde un recubrimiento { i } de E con i homot Luego, |i | =
i i

|i | .

De aqu conclu mos que, H (E ) = H (E ).

 DE HAUSDORFF 5.8. MEDIDA Y DIMENSION

117

Ahora, como E es un perfecto sim etrico de tipo (2, ) se le puede descomponer en 2 conjuntos E1 y E2 cada uno homot etico a E en la raz on . Luego, H (E ) = H (E1 ) + H (E2 ) = 2 H (E ). Lo que naliza la prueba. Lema 5.84. Sea E un conjunto perfecto sim etrico de tipo (2, ). Sea (0, 1] tal que 2 = 1. Luego, para todo > 0 se tiene que,
H (E ) = H (E ).

n. Sea {i } un recubrimiento de E . Sean {1,i } y {2,i } recubrimientos de E Demostracio donde hemos reemplazado cada i por el conjunto homot etico correspondiente de E 1 y E2 respectivamente. Luego, |i | = 2( |i |) = |1,i | + |2,i | . Por lo tanto,
2

|i | =
i H i j =1

|j,i | .

Concluimos entonces que no aumenta al reemplazar por . Como esta cantidad es creciente en vemos que es independiente de lo que prueba el resultado. Corolario 5.85. Sea E un conjunto perfecto sim etrico de tipo (2, ) y sea l el di ametro de E . Luego, si (0, 1] es tal que 2 = 1 entonces H (E ) l . Proposici on 5.86. Sea E un conjunto perfecto sim etrico de tipo (2, ) y sea la distancia entre E1 y E2 . Luego, si (0, 1] es tal que 2 = 1 entonces H (E ) . Teorema 5.87. Sea E un conjunto perfecto sim etrico de tipo y sea = de Hausdor de E en la dimensi on es nita y no nula.
log 2 log .

Luego la medida

Lema 5.88. Sean y tales que , (0, 1] con > . Sea E un conjunto cerrado y acotado. Luego, H (E ) = 0 H (E ). Por lo tanto H (E ) es una funci on decreciente en . Corolario 5.89. La dimensi on de Hausdor de un conjunto perfecto sim etrico de tipo es log 2 log . Ejemplo. La dimensi on de Hausdor de el conjunto ternario de Cantor es
log 2 log 3

= 0,6309.