Proposición 3.
2
Sean X un espacio métrico, s ∈ [0, ∞). Si T : X → X es una isometrı́a sobreyectiva (es
decir, T es sobreyectiva y d(T (x), T (y )) = d(x, y ) para todo x, y ∈ X ), entonces
Hs (T (A)) = Hs (A)
para todo A ⊂ X .
Prueba
Para cualquier cubierta {Aj } de A con diam(Aj ) < ε, la colección transformada {T (Aj )}
cubre a T (A) ya que es sobreyectiva y tiene el mismo diámetro en cada conjunto:
∞
X ∞
X
diam(T (Aj ))s = diam(Aj )s .
j=1 j=1
Por lo tanto:
Hεs (T (A)) ≤ Hεs (A).
Tomando el lı́mite ε → 0+ , se obtiene:
Hs (T (A)) ≤ Hs (A). 1 / 10
Sea x, y ∈ X tal que T (x) = T (y ) =⇒ d(T (x), T (y )) = d(x, y ) = 0 ya que T (x) = T (y )
=⇒ x = y .
Por lo tanto, T es inyectiva.
Como T es sobreyectiva, entonces es biyectiva y existe T −1 , que también es una
isometrı́a. Aplicando el mismo razonamiento a T −1 , se tiene:
Hεs (A) = Hεs (T −1 (T (A))) ≤ Hεs (T (A)).
Tomando el lı́mite ε → 0+ , se obtiene:
Hs (A) ≤ Hs (T (A)).
Por lo tanto:
Hs (T (A)) = Hs (A).
2 / 10
Proposición 3.4.
Para todos A ⊆ Rn y λ > 0, se tiene que
H s (λA) = λs H s (A).
Si {Aj } es un cubrimiento de A con diam(Aj ) < ε, entonces {λAj } es un cubrimiento de
λA con:
diam(λAj ) = d(λx, λy ) = λd(x, y ) = λ · diam(Aj ) < ε.
Para cada conjunto Aj , el diámetro de λAj es:
diam(λAj ) = λ · diam(Aj ).
Por lo tanto, la suma en la definición de Hεs (λE ) es:
∞ ∞ ∞
ωs X s ωs X s s ωs
X
diam(λAj ) = (λ · diam(Aj )) = λ · diam(Aj )s .
2s 2s 2s
j=1 j=1 j=1
3 / 10
Tomando el ı́nfimo sobre todos los cubrimientos de A, obtenemos:
Hεs (λA) = λs · Hεs (A).
Luego, tomando el lı́mite cuando ε → 0+ , se sigue que:
Hs (λA) = λs · Hs (A).
4 / 10
Cororario 3.3
Si L : Rn → Rn es una isometrı́a afı́n, entonces para todo A ⊆ Rn se tiene:
Hs (L(A)) = Hs (A).
En particular, Hs es invariante por rotaciones.
Prueba:
Una isometrı́a afı́n L se escribe como L(x) = Mx + b, donde:
M es una matriz ortogonal (M T M = I ).
b ∈ Rn es un vector de traslación.
La medida de Hausdorff Hs es invariante bajo traslaciones, es decir:
Hs (A + b) = Hs (A).
Esto se debe a que la traslación no altera las distancias entre puntos.
5 / 10
Como M es ortogonal, preserva distancias. Por tanto, para cualquier A ⊆ Rn :
Hs (M(A)) = Hs (A).
Dado que L(A) = M(A) + b, aplicamos las propiedades anteriores:
Hs (L(A)) = Hs (M(A) + b) = Hs (M(A)) = Hs (A).
6 / 10
Proposición 3.5
Sea E un subconjunto de un espacio métrico X . Se tiene que:
Si Hs (E ) < ∞, entonces Ht (E ) = 0 para todo t > s. Si Hs (E ) > 0, entonces
Ht (E ) = ∞ para todo t ∈ (0, s).
Prueba
Si Hs (E ) < ∞, entonces Ht (E ) = 0 para todo t > s.
Relación entre Hs (E ) y Ht (E )
Para t > s, consideramos la medida de Hausdorff Ht (E ). Dado que t > s, los términos
diam(Aj )t serán más pequeños que diam(Aj )s cuando diam(Aj ) < ε.
Estimación de Hεt (E )
Para cualquier cubrimiento {Aj } de E con diam(Aj ) < ε, tenemos:
diam(Aj )t = diam(Aj )t−s · diam(Aj )s ≤ εt−s · diam(Aj )s .
7 / 10
Por lo tanto:
∞
X ∞
X
diam(Aj )t ≤ εt−s diam(Aj )s .
j=1 j=1
Tomando el ı́nfimo sobre todos los cubrimientos, obtenemos:
Hεt (E ) ≤ εt−s · Hεs (E ).
Luego, tomando el lı́mite cuando ε → 0+ :
Ht (E ) ≤ lı́m+ εt−s · Hεs (E ).
ε→0
Dado que Hs (E ) < ∞ y t > s, el término εt−s → 0. Por lo tanto:
Ht (E ) = 0.
8 / 10
Si Hs (E ) > 0, entonces Ht (E ) = ∞ para todo t ∈ (0, s).
Relación entre Hs (E ) y Ht (E )
Para t < s, consideramos la medida de Hausdorff Ht (E ). Dado que t < s, los términos
diam(Aj )t serán más grandes que diam(Aj )s cuando diam(Aj ) < ε.
Estimación de Hεt (E )
Para cualquier cubrimiento {Aj } de E con diam(Aj ) < ε, tenemos:
diam(Aj )t = diam(Aj )t−s · diam(Aj )s ≥ εt−s · diam(Aj )s .
Por lo tanto:
∞
X ∞
X
t t−s
diam(Aj ) ≥ ε diam(Aj )s .
j=1 j=1
9 / 10
Tomando el ı́nfimo sobre todos los cubrimientos, obtenemos:
Hεt (E ) ≥ εt−s · Hεs (E ).
Luego, tomando el lı́mite cuando ε → 0+ :
Ht (E ) ≥ lı́m+ εt−s · Hεs (E ).
ε→0
Dado que Hs (E ) > 0 y t < s, el término εt−s → ∞. Por lo tanto:
Ht (E ) = ∞.
10 / 10
