Medidas Exteriores
Definicion:(Medida Exterior).
Sea X un conjunto. Una aplicacion :P (X) R+ es una medida exterior
si verifica las tres condiciones siguientes:
1) ()=0
2)Crecimiento: Para todo A, B P (X). Si A B (A) (B)
3)-subaditividad:Para toda sucesion (An )nN P (X).
(nN An ) nN (An )
P
Ejemplo: Si X es un conjunto arbitrario se define de la siguiente manera:
:P (X) R+
A 7 = {0,
1,
si A=
si A6=
Entonces es una medida exterior pero no una medida.
Solucion.- Verifiquemos que es una medida exterior:
1) Si A = = (A) = 0
2)Sean A, B P (X).
Si A B P D : (A) (B)
i)Si A = B = = = () = () = 0
ii)Si A = B 6= = B, as () (B) = 0 (B)
iii)Si A 6= B = = A () por tanto A = , as se cumple i)
iv)Si A 6= B 6= = (A) = (B) = 1
De las anteriores observaciones se concluye que (A) (B) P
3) Sea (An )nN una sucesion en P (X) P D : (nN An ) nN (An )
Si nN An 6= , entonces existe al menos un m N tal que Am 6= , as
(Am ) = 1.
Ademas, Am 6= = Acm = , de manera que (Acm ) = 0 y (n6=m)N An
Acm ((n6=m)N An ) Am Acm Am nN An Am
nN An An , es claro que (m = n).As nN An = Am ().
En efecto, como (An )nN es sucesion, podemos considerar dos casos , cuando
(An )nN es creciente y cuando (An )nN es decreciente de modo que se pueda
probar la inclusion nN An An .
1
i)Si (An )nN es sucesion creciente.
Por reduccion al absurdo podemos suponer que (m < n), as como Acm =
[m
Ai Am ,
i=1
[ m
[
[
Acm = An = Ai Am An = , pero Am 6= ().
n=m+1 i=1 n=m+1
Luego lo correcto es nN An Am .
ii)Si (An )nN es sucesion decreciente.
Por reduccion al absurdo podemos suponer que (m > n), as como Acm =
m1
[ [
c
Am = Ai y An Am
i=0 n=m
[ m1
[
An Am Ai = , pero Am 6= ().
n=m i=0
Luego lo correcto es nN An Am .
Finalmente por la -subaditividad y por () se tiene
P
(nN An ) (Am ) = nN (An ).
De donde se concluye:
(nN An ) nN (An )
P
Por otro lado, es claro que si nN An = para todo n N, se tiene que An =
(An ) = 0 para P todo n N.
As, (nN An ) = nN (An ) = 0.
Observaciones:
.Toda medida sobre el algebra P (X) es una medida exterior.
.No se tiene la reciproca, una medida exterior no es una funcion aditiva de
conjuntos.
Definicion:(Conjuntos -despreciables) En un espacio medido (X, A , ),
una parte D X es -despreciable si esta contenida en un conjunto A A
de -medida nula; es decir, si
D A A y (A) = 0
Notaremos D el conjunto de las partes -despreciables.
Observaciones:
.Todo conjunto contenido en un conjunto -despreciable es tambien -despreciable.
.La union numerable de conjuntos -despreciables es -despreciable por la -
subaditividad de la medida.
.Un conjunto -despreciable no pertenece necesariamente a la -algebra A .
2
Definicion:(Espacio medido completo, medida completa).
Diremos que un espacio medido (X, A , )es completo si todo conjunto -
despreciable es A -medible.Sera llamado tambien -algebra completa o de me-
dida completa.
Nota:
La importancia de las medidas exteriores esta dada por el hecho de que siem-
pre existe al menos una -algebra en donde la medida exterior se comporta
como una medida completa.
Definicion:(conjunto -medible).
Sea :P (X) R+ una medida exterior, una parte A de P (X) es -medible
si para todo E P (X) se tiene:
(E) = (E A) + (E A)
Por la definicion de medida exterior, se tiene siempre
(E) 6= (E A) + (E A)
.
Ademas, si <
(E) (E A) + (E A)
.
Definicion:Sean X un conjunto y una medida exterior definida sobre P (X).El
conjunto formado por las partes -medibles sera notado M .
Lema:Sean X un conjunto y una medida exterior definida sobre P (X).Entonces
todo subconjunto A de X tal que (A) = 0 o tal que (Ac ) = 0 pertenece a
M .
Demostracion: Suponga que A verifica (A) = 0 o (Ac ) = 0, debemos de-
mostrar que para todo subconjunto E de X, se tiene:
(E) (E A) + (E A) = (E A) + (E Ac )()
.
A P (X), es -medible si para todo E P (X)
A E Ay E Ac Ac
3
.
As, (A E) (A) y (E Ac ) (Ac ), por las propiedades de medida
exterior.
Por las hipotesis hechas sobre A consideremos:
Si (A) = 0 A = , as (E A) = (E ) = () = 0
(EAc )+0 = (E Ac ) + (E A) = (EA)+ (EA)
(E)
.
Si (Ac ) = 0 Ac = , as (E Ac ) = (E ) = () = 0
(E A)+0 = (E A) + (E Ac ) = (E A)+ (E A)
(E)
.
As queda comprobado ().
Teorema: Sean X un conjunto y una medida exterior sobre X.Entonces
1)El conjunto M de partes -medibles es una -algebra.
2)La restriccion de a M es una medida completa; es decir, la tripleta
(X, M , ) es un espacio medido completo.
Demostracion
1)Probemos que M es -algebra.
i) P D : , X M
As, para todo E P (X), se tiene.
(E ) + (E ) = (E c ) + () = (E X) = (E)
M
(E X) + (E X) = (E X c ) + (E) = (E ) + (E) =
() + (E) = (E)
X M
ii) Si A M P D : Ac M
As, para todo E P (X), se cumple.
(E) = (E A) + (E A) = (E (Ac )c ) + (E Ac ) = (E Ac ) +
(E Ac ) = (E)
Ac M [
iii)Sea (An )nN una sucesion de conjuntos en M PD : An M
nN
Sea E P (X), se cumple.
(E) = (E An ) + (E An ) para todo n N.
Aplicando al identidad anterior iterativa mente tenemos:
(E) = (E A0 ) + (E A0 )
4
= (E A0 ) + ((E A0 ) A1 ) + (((E A0 ) A1 ) A2 ) + ((((E
A0 ) A1 ) A2 ) A3 ) +...+ ((((((E A0 ) A1 ) A2 ) A3 ) ...) An ) +
((((((E A0 ) A1 ) A2 ) A3 ) ...) An )
k
X n1
\ k
\
(E) = (E ( Acj ) An ) + (E ( Acj ))
n=0 j=0 j=0
k
X n1
[ k
[
= (E ( Aj )c An ) + (E ( Aj )c )
n=0 j=0 j=0
k
X n1
[ k
[
= (E ( Aj ) An ) + (E ( Aj ))
n=0 j=0 j=0
x
Por las propiedades de crecimiento de , tenemos la desigualdad:
X n1
[
[
(E) (E ( Aj ) An ) + (E ( Aj ))( )
n=0 j=0 j=0
Por la -subaditividad de la medida exterior tenemos.
[ n1
[
[
(E) ( ((E Aj ) An)) + (E Aj )()
n=0 j=0 j=0
[ n1
[
[
Probemos ahora que: ((E Aj ) An ) = E An
n=0 j=0 n=0
[ n1
[
[ n1
\
[ n1
\
c
(E ( Aj ) An ) = (E ( Acj ) An ) = ((( Acj ) An ) E)
n=0 j=0 n=0 j=0 n=0 j=0
[ n1
\ [ n1
\ [ n1
\
=[ (( Acj An )] E = [ (An ( Acj )] E =[ (An ( Aj )] E
n=0 j=0 n=0 j=0 n=0 j=0
[
[
=[ An ] E = E An
n=0 n=0
As, remplazando en () obtenemos:
[
[
(E) (E An ) + (E Aj )
n=0 j=0
[
An M .
n=0
Por lo tanto M es -algebra.
2)Probemos la segunda parte del teorema.
Verifiquemos primero que la la restriccion de a M es una medida.
En efecto, es claro que () = 0, pues M .
[
Sea (An )nN una sucesion de conjuntos disjuntos de M . Tomemos E = Ai
i=0
y utilizado ( ) obtenemos:
5
[
X
[ n1
[
[
[
( Ai ) (( Ai Aj ) A) + ( Ai Aj )
i=0 n=0 i=0 j=0 i=0 j=0
X
[ n1
[
[
[
= (( Ai ( Aj )c ) A) + ( Ai ( Aj )c )
n=0 i=0 j=0 i=0 j=0
X [ n1
\ [ \
= (( Ai ( Aj c )) A) + ( Ai ( Aj c ))
n=0 i=0 j=0 i=0 j=0
X n1
[ \ \
[
= ( ( Aj c Ai ) An ) + ( ( Aj c Ai ))
n=0 i=0 j=0 i=0 j=0
X [ n1
[
[
= ( (Ai Aj c ) An ) + ( ())
n=0 i=0 j=0 i=0
X [
= ( (Ai ) An ) + ()
n=0 i=0
X [
= ( (Ai ) )
n=0 i=0
Como los conjuntos son disjuntos.
[ X
( Ai ) (Ai )
i=0 n=0
As la restriccion a M es medida.
Probemos ahora la completitud de (X, M , ).
Verifiquemos que todo conjunto -despreciable pertenece a M .
Sea D un conjunto -despreciable, por tanto existe un conjunto A de -
medida nula, que contiene a D.
As, como (A) = 0 y D A (D) (A)
(D) = 0
Por el lema anterior, como (D) = 0, entonces se concluye que D M .
Teoremas de prolongacion de medidas
Teorema 2.3.2 (Medida exterior asociada a una aplicacion ).Sean
k P (X) un conjunto de partes de X tal que , X k, y : k R+ una
aplicacion tal que () = 0 .Definimos para todo A P (X),
(A) = nf+ (An )
RA n=0
En donde RA es el conjunto de todos los recubrimientos numerables (An )nN
de A por medio de conjuntos An pertenecientes a k . Entonces : P (X) R+
es una medida exterior llamada la ( medida exterior asociada a la aplicacon
).
6
Demostracion:
Veamos que la funcon esta bien definido para todo A P (X) en R+ .
Vemos que el conjunto k no posee ninguna propiedad en particular entonces
solo debe contener a y X , ademas la aplicacion no verifica ninguna
propiedad esencial solo que se tenga () = 0 . Tambien se tiene que RA es
un conjunto no vaco pues se puede construir un recubrimiento de A fijando
An = X para todo n.as esta bien definido.
Ahora probemos que es una medida exterior
: P (X) R+ +
A (A) = nf
RA
(An )
n=0
Probemos que () = 0
sea un recubrimiento de A fijando An = para todo n , se tiene
() = nf+ (An = ) = 0 () = 0
RA n=0
Probemos que A, B P (X) con A B (A) (B)
Sea A, B P (X) si tenemos A B , entonces todo recubrimiento (Bn )nN
de B es un recubrimiento de A es decir RB RA
Sea el recubrimiento de A fijando Bn = An para todo n , se tiene
(A) = nf+ (An = Bn ) nf+ (Bn ) = (B) (A) (B).
RA n=0 RB n=0
Probemos que (nN An ) nN (An )
Sea un suceson (An )nN P (X) de reunion de A .Tomemos un real > 0;
y (n )nN una sucecion de rales positivos tal que
nN n <
por definicon de cota inferior , existen conjuntos An,p k , con n, p N
tal que
7
An +
p=0 An,p y +
p=0 (An,p ) (An ) +
y como la desigualdad es valida para todo n, se tiene lo siguiente
+
n,pN (An,p ) + +
p=0 (An ) +p=0 n p=0 (An ) +
Dado que (An,p )n,pN es un recubrimiento numerable de A por conjuntos
que pertenecen a k se tiene asi
(A) n,pN (An,p ) +
p=0 (An ) +
as como 0 implica que
(A) +
p=0 (An ).
por lo tanto es una medida exterior .
Medida exterior de Hausdorff
Si A Rn y si (Ui )iN es una suceson de conjuntos convexos tales que
A iN Ui en donde 0 < diam(Ui ) , diremos que (Ui )iN es un
recubrimiento de A
de lo cual obtenemos lo siguiente
Si A Rn y si s es un real positivo se define para > 0 la aplicacion :
Hs (A) = nf + diam(Ui )s ,
R,A
i=0
en donde el nfimo considera todos los recubrimientos de A notados
R,A .
Demostracion:
Demostremos que Hs (A) es una medida exterior para esto usamos el teo-
rema anterior asi se tiene
Por monotona basta observar que si A1 A2 cualquier recubrimiento de
A2 lo es tambien de A1 .
8
Notemos que esta aplicacion es una funcion decreciente del parametro ;
en efecto sean 1 2 dos reales positivos , entonces se tiene la inclusion
R1 ,A R2 ,A
Sea (An )nN una familia numerable de subconjuntos de Rn y sea A =jN Aj
Fijando > 0 , para cada j existe un recubrimiento (Uj,i )iN de Aj tal que
s
i,jN (diam(Uj,i ) Hs (Aj ) +
como i,jN Uj,i es un recubrimiento de A se tiene
Hs (A) i,jN (diam(Uj,i )s jN Hs (A) +
y como es arbitrario , obtenemos la subatividad de Hs (A) lo cual Hs1 (A)
Hs2 (A)
Definicion 2.3.6 (Medida exterior s-dimencional de Hausdorff ).
Para obtener la medida exterior s-dimencional de Hausdorff de un subconjunto
A de Rn , hacemos 0,de manera que
H s (A) = lmHs (A) = supHs (A).
0 >0
Observemos que el lmite anterior siempre existe pero puede ser , puesto
que Hs crece si decrece.
Demostracion:
Demostremos que H s (A) es una medida exterior
Probemos que H s (A) = 0
sea Ui = para todo i se obtine diam() = 0 asi
H s () = lmHs (A) = nf + diam()s = 0 H s () = 0
0 R,A
i=0
Probemos que A, B P (X) con A B (A) (B)
Sea A, B P (X) si tenemos A B , entonces todo recubrimiento (Bn )nN
de B es un recubrimiento de A es decir R,B R,A tal que
Hs (A) Hs (B)
9
aplicando lmite se tiene
lmHs (A) lmHs (B) H s (A) H s (B)
0 0
as H s es creciente.
Probemos que H s (nN An ) nN H s (An )
sea un suceson numerable (An )nN P (X) de reunion de A. Entonces
como existe un entero n tal que H s (An ) = + esta condicion es trivial asi
que se puede suponer sin perdida de generalidad que para todo n se tiene
H s (An ) < + con > 0.
Ahora fijamos los parametros > 0 y > 0.As existe una familia nume-
rable (Bn,k )kN para todo n de abiertos de diametro inferior a que forma un
recubrimiento numerable An tal que
s
nN diam(Bn,k ) Hs (An ) +
2n
as entonces (Bn,k )kN es una familia numerable de abiertos de diametro
inferior a y tambien es un recubrimiento de la union de los conjuntos An lo
cual.
Hs (A) nN kN diam(Bn,k )
s
nN Hs (An ) +
con lo cual como es un parametro arbitrario se tiene
Hs (A) nN Hs (An )
y al pasar al limite superior sobre se obtiene
lmHs (A) nN lmHs (An ) H s (A) nN H s (An )
0 0
por lo tanto H s (A) es una medida exterior .
10
