Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ayudant A 2 Analisis Postgrado
Ayudant A 2 Analisis Postgrado
son medidas.
Solución:
Claramente s(∅) = sup{ν(∅)} = 0. Además, sup{s(E) : E ∈ M} = sup{ν(E) : E ∈ M}.
Si ν toma el valor −∞, entonces no toma el valor +∞ y por tanto sup{ν(E) : E ∈ M} 6= +∞, lo que
implica que s no toma el valor +∞.
Si ν toma el valor +∞, entonces no toma el valor −∞. Si suponemos que existe E0 ∈ M tal que
s(E0 ) = −∞, entonces tenemos
sup{ν(F ) : F ∈ M, F ⊂ E0 } = −∞
lo que solo es posible si todos los elementos del conjunto son −∞, es decir
pero eso es imposible, pues ν no toma el valor −∞. Por tanto, s no toma el valor −∞.
Ahora mostremos la σ−aditividad. Sea {En }n una sucesión en M de conjuntos disjuntos. Si uno de ellos,
digamos Ep , cumple ν(Ep ) = +∞, entonces claramente s(Ep ) = +∞. Algo análogo sucede si ν(Ep ) = −∞.
Supongamos entonces que −∞ = 6 ν(En ) 6= +∞ para todo n ∈ N.
1
familia (En )n . Entonces
∞
X ∞
X
s(En ) ≤ ν(Fn ) + 2−n
n=1 n=1
∞
[
= ν Fn +
n=1
∞
[
≤ s En +
n=1
note que esta expresión es válida para cualquier colección de subconjuntos (Fn )n que sean suconjuntos de
(En )n respectivamente. Tenemos ∪Fn ⊂ ∪En y más aún, todo subconjunto de ∪En se puede escribir de
esta manera. En otras palabras, como el supremo es la menor de las cotas superiores, tenemos
∞
X ∞
[
s(En ) ≥ s En
n=1 n=1
`(E) = −ı́nf{ν(F ) : F ∈ M, F ⊂ E}
= sup{−ν(F ) : F ∈ M, F ⊂ E}
= sup{µ(F ) : F ∈ M, F ⊂ E}
lo que tiene la forma del ejercicio anterior, por lo que es claramente una medida.
Claramente t(E) ≥ 0, por lo que no toma el valor −∞, además, es trivial que t(∅) = 0.
Verifiquemos que es σ−aditiva. Sea {Ei }i una colección de medibles disjuntos y denotemos E = ∪∞
i=1 Ei .
Para cada Ei , elegimos un número real τi tal que τi < t(Ei ). Luego, cada Ei tiene una partición finita
(Aj,i )kj=1
i
tal que:
ki
X
τi < |ν(Aj,i )|
j=1
Ahora, para n arbitrario, tenemos que existe An tal que la colección {Ai,j : i ≤ n, j ≤ ki } ∪ {An } forma
una partición de E, por lo tanto: X
|ν(An )| + |ν(Ai,j )| ≤ t(E)
i<n
2
en otras palabras: X
|ν(Ai,j )| ≤ t(E)
i<n
de donde, tomando supremo al lado izquierdo por sobre todas las posibles elecciones de {τi }i , obtenemos
∞
X
t(Ei ) ≤ t(E)
i=1
Ahora buscamos la desigualdad opuesta. Sea {Bj }pj=1 una partición finita para E. Note que la colección
{Bj ∩ Ei }j describe una partición de Ei , mientras que la colección {Bj ∩ Ei }i describe una partición de
Bj . Tenemos
p p X
∞
X X
|ν(Bj )| =
ν(Bj ∩ Ei ) , pues ν es medida
j=1 j=1 i=1
p X
X ∞
≤ ν(Bj ∩ Ei ) , desigualdad triangular
j=1 i=1
p
∞ X
X
= ν(Bj ∩ Ei ) , convergencia absoluta
i=1 j=1
X∞
= t(Ei ) , definición de t
i=1
Ası́, como esta desigualdad se tiene para cualquier partición finita de E, tenemos
∞
X
t(E) ≤ t(Ei )
i=1
2. Continuidad Absoluta
Ejercicio 2.1 Muestre que la medida de conteo no es absolutamente continua respecto a la de Lebesgue, pero
la de Lebesgue si lo es respecto a la de Conteo.
Solución:
Denotemos c y m a las medidas de Lebesgue y de conteo respectivamente. Recuerde que la medida de conteo
viene dada por X
c(A) = 1
a∈A
P
por lo tanto, si tenemos c(A) = 0, esto implica que a∈A 1 = 0, lo cual solo es posible si A = ∅. Claramente
m(∅) = 0, por lo que hemos demostrado que m c.
No obstante, es fácil ver que m({1}) = 0 mientras que c({1}) = 1, por lo que c 6 m.
3
Ejercicio 2.2 De un ejemplo de dos medidas µ1 y µ2 sobre algun espacio X con σ−álgebras M1 y M2 respec-
tivamente, con M1 ⊂ M2 , tales que µ2 µ1 como medidas definidas sobre M1 , pero existe E2 ∈ M2 tal que
µ1 (E) = 0 para todo E ∈ M1 que cumpla E ⊂ E2 , pero µ2 (E2 ) > 0.
Solución:
Considere X = {1, 2, 3, 4, 5}. Considere en él la topologı́a T = {∅, X, {1, 2, 3}}. Consiere sobre esta topologı́a
la σ−álgebra de borelianos M1 , es decir
M1 = {∅, X, {1, 2, 3}, {4, 5}}
Ahora sea M2 = 2X su conjunto de partes. Claramente se tiene M1 ⊂ M2 y ambas son σ−álgebras.
No obstante, tomando E2 = {1, 2, 3, 4} ∈ M2 , tenemos que µ2 (E2 ) = 1 y µ1 (E) = 0 para todo E ∈ M1 que
cumpla E ⊂ E2 , pues los únicos tales conjuntos son {1, 2, 3} y ∅.
Ejercicio 2.3 ¿Es cierto que si µ ν y ν es finita, entonces µ es finita?
Solución:
No, no es cierto. Considere el espacio R con la σ−álgebra de los Borelianos B asociada a su topologı́a usual.
2
Sea f : R → R dada por f (t) = e−t . Definimos ν : B → R dada por ν(E) =
R
E
f dm, donde m representa la
medida de Lebesgue.
Notemos que:
Z
ν(B) = 0 ⇒ f dm = 0
B
⇒ m(B) = 0
Z
⇒ gdm = 0
B
⇒ µ(B) = 0
4
por lo tanto µ si es absolutamente continua respecto a ν. No obstante, es fácil ver que
ν([0, 1]) = +∞