Teora Geomtrica de la Medida

Ejercicios
Ejercicio 1: Sea una medida denida sobre y {E
k
}
k
una sucesin de
conjuntos medibles disjuntos. Entonces, para todo conjunto arbitrario
A , se tiene:
(A) =

k=1
(A E
k
) +
_
A\

_
k=1
E
k
_
.
Ejercicio 2: Sea {

}
I
una familia de medidas en . Para cada A ,
denimos (A) como
(A) = sup
I

(A).
Probar que es una medida denida en .
Ejercicio 3: Sea una medida en y A un conjunto arbitario. Probar:
(a) Si E
1
E
2
. . . E
n
. . ., son todos conjuntos medibles,
entonces

_
A

_
n=1
E
n
_
= lm
n
(A E
n
).
(b) Si E
1
E
2
. . . E
n
. . ., son todos conjuntos medibles y
adems (A E
k
) < para algn k N, entonces

_
A

n=1
E
n
_
= lm
n
(A E
n
).
Ejercicio 4: Sea una medida regular en . Probar:
(a) Si A
1
A
2
. . . A
n
. . . son subconjuntos arbitarios de ,
entonces

_

_
n=1
A
n
_
= lm
n
(A
n
).
(b) El resultado anterior es falso para intersecciones, an si se tiene
que (A
n
) < n N.
Ejercicio 5: Sea una medida en . Probar que si se construye la medida
por el mtodo I, a partir de la premedida (, C), donde = y
C = P(), entonces = .
Ejercicio 6: Sea una medida en , B un conjunto arbitario y
{A
n
}
nN
una sucesin de subconjuntos medibles de . Entonces:
1
(a) (B A

) lminf
n
(B A
n
).
(b) Si
_
B

kn
A
k
_
< para algn n N, entonces
lmsup
n
(B A
n
) (B A

).
Recordar que
A

n=1
_
kn
A
k
y A

_
n=1

kn
A
k
.
Ejercicio 7: Dada una medida en y un conjunto A , se dene
A
como

A
(B) = (A B) B .
Probar que
A
es una medida en .
Ejercicio 8: Sean una medida en y A . Probar que si E es un
subconjunto -medible de , entonces E es
A
-medible. Es decir, M

A
.
Ejercicio 9: Sea (X, d) un espacio mtrico y una medida boreliana en X.
Dados B (X) y > 0, se tiene:
(a) Si (B) < , entonces existe un conjunto F cerrado contenido en
B, tal que (B \ F) < .
(b) Si B

n=1
G
n
, con G
n
abierto y de medida nita para todo
n N, entonces existe G abierto, tal que G B y (G\ B) < .
(c) Si es borel regular, entonces los items (a) y (b) valen para B
conjunto -medible.
Ejercicio 10 Dados a, b R
n
, R(a, b) denota el rectngulo denido como
R(a, b) = {(x
1
, . . . , x
n
) R
n
: a
i
< x
i
< b
i
, para i = 1 . . . n}
Sea R, la clase de todos los rectngulos denidos anteriormente y la
premedida sobre la clase R que verica (R(a, b)) =

n
i=1
(b
i
a
i
).
Probar que si = MI(, R) y = MII(, R), entonces = .
Sugerencia: Para probar que , suponer primero que (E) <
y, dado > 0, tomar un cubrimiento de modo tal que se verique

k
(R
k
) (E) + . Para armar un -cubrimiento, partir cada R
k
en rectangulitos de tamao adecuado y agrandarlos en /2
k
para que
el nuevo cubrimiento contenga el borde.
Ejercicio 11 Para A R
n
, probar que
dim
H
(A) = sup{s [0, +) : h
s
(A) = +}.
2
Ejercicio 12 Dada una sucesin {
n
}
nN
(0,
1
2
), se construye un conjunto
estilo Cantor (notado como C
{
n
}
) de forma que en el paso n-simo se
toman 2
n
intervalos de longitud
1
. . .
n
. Se tiene entonces que
|I
i
1
...i
n
|
|I
i
1
...i
n+1
|
=
n
,
donde I
i
1
...i
n
es un intervalo del paso n-simo e I
i
1
...i
n+1
es uno de los
dos intervalos del paso n + 1-simo que se obtienen de I
i
1
...i
n
.
Probar que si h H, siendo
H = {f : R
0
R {} : continuas a derecha, no decrecientes y
f(t) > 0 si t > 0}
y h(s
k
) =
1
2
k
, donde s
k
=
1

2
. . .
k
, entonces
h
(C
{
n
}
) [
1
4
, 1].
Ejercicio 13: Demostrar que:
dim
M
(A) =nf
_
0 < s
_
lmsup
0
+
N(A, )
s
< +
_
=sup
_
0 < s
_
lmsup
0
+
N(A, )
s
= +
_
=sup
_
0 < s
_
lmsup
0
+
N(A, )
s
> 0
_
.
Y que para dim
M
(A) vale lo mismo usando lminf en lugar de lmsup.
Ejercicio 14: Probar que:
dim
H
(A) dim
M
(A) dim
M
(A) n.
Ejercicio 15: Probar que:
dim
M
(A) = lmsup
0
+
log(N(A, ))
log(
1

)
dim
M
(A) = lminf
0
+
log(N(A, ))
log(
1

)
.
Ejercicio 16: Sea A = {0} {
1
n
/ n N}, probar que
dim
M
(A) =
1
2
.
Demostrar adems que
dim
M
({x}) = 0 x R
n
.
Observar que de esta forma se probara que dim
M
no cumple que para
toda sucesin {A
n
}
n
de subconjuntos de R
n
,
dim
M
_
_
n
A
n
_
= sup
n
dim
M
(A
n
).
3
Ejercicio 17: Probar que p
s
, la medida packing s, es mtrica.
Recordar que p
s
se dene por:
p
s
(A) =nf
_

k
P
s
(A
k
)
_
A
_
k
A
k
_
,
con
P
s
(A) = nf
>0
P
s

(A) = lm
0
+
P
s

(A)
y
P
s

(A) = sup
_

i
|B
i
|
s
_
{B
i
}
iN
son bolas de radio menor o igual a ,
cerradas, disjuntas y centradas en algn elemento de A
_
.
4