Ayudantı́a 1 Análisis II, Postgrado

Ayudante: Nestor Jara

Agosto 2021

1. Medidas con signo

Ejercicio 1.1 Sea X = {1, 2, 3, 4} y M = 2X = P(X) su conjunto de partes. Sea µ : M → R dada por

µ({1}) = −2 ; µ({2}) = 3 ; µ({3}) = −1 ; µ({4}) = 1

P
y de manera general µ(A) = i∈A µ({i}). Verifique:
{2, 3} es un conjunto de medida positiva que no es positivo.

{3, 4} es un conjunto de medida nula que no es nulo.

Existen µ1 , µ2 : M → R medidas usuales (positivas) tales que µ = µ1 − µ2
La descomposición anterior no es única.

La descomposición anterior si es única si imponemos µ1 ⊥ µ2 .

Solución:


Notemos que µ {2, 3} = 3 − 2 = 2 > 0. No obstante, {3} ⊂ {2, 3} y µ({3}) = −1, por tanto el conjunto
no es positivo.


Notemos que µ {3, 4} = −1 + 1 = 0. No obstante, {3} ⊂ {3, 4} y µ({3}) = −1 6= 0, por tanto el conjunto
no es nulo.

Si bien, la discusión anterior puede parecer trivial, esconde una teorı́a muy profunda detrás. Recuerde
que primero estudiaron funciones que podı́an tomar valores positivos sin ser funciones positivas, luego
estudiaron como una integral puede dar un resultado positivo aún si el integrando no es una función
positiva.
En el futuro, estudiarán las medidas como operadores. En ese contexto será importante repensar la
noción de positividad.

Sea µ1 : M → R dada por

µ1 ({1}) = 0 ; µ1 ({2}) = 3 ; µ1 ({3}) = 0 ; µ1 ({4}) = 1

P
y de manera general µ1 (A) = i∈A µ1 ({i}). Sea µ2 : M → R dada por

µ2 ({1}) = 2 ; µ2 ({2}) = 0 ; µ2 ({3}) = 1 ; µ2 ({4}) = 0

P
y de manera general µ2 (A) = i∈A µ2 ({i}). Note que

µ({i}) = µ1 ({i}) − µ2 ({i})

para todo i = 1, 2, 3, 4, por tanto se deduce fácilmente que µ = µ1 − µ2 .

1
 Sea ν1 : M → R dada por

ν1 ({1}) = 0 ; ν1 ({2}) = 3 ; ν1 ({3}) = 0 ; ν1 ({4}) = 2

P
y de manera general ν1 (A) = i∈A ν1 ({i}). Sea ν2 : M → R dada por

ν2 ({1}) = 2 ; ν2 ({2}) = 0 ; ν2 ({3}) = 1 ; ν2 ({4}) = 1

P
y de manera general ν2 (A) = i∈A ν2 ({i}). Note que

µ({i}) = ν1 ({i}) − ν2 ({i})

para todo i = 1, 2, 3, 4, por tanto se deduce fácilmente que µ = ν1 − ν2 .

Note que la primera descomposición que dimos µ = µ1 − µ2 satisface la condición de que las medidas sean
mutuamente singulares. Suponga que µ = σ1 − σ2 , para σ1 , σ2 medidas positivas extrangeras. Note que

σ1 ({4}) − σ2 ({4}) = µ({4}) = 1

por lo tanto
σ1 ({4}) = σ2 ({4}) + 1 > 0
Además, {4} no tiene subconjuntos no triviales. Por lo tanto, {4} es positivo para σ1 . Como σ2 ⊥ σ1 ,
entonces σ2 ({4}) = 0, por lo tanto σ1 ({4}) = 1 = µ1 ({1}). Análogamente se siguen las otras igualdades.

Ejercicio 1.2 Considere el conjunto [0, 1] con su topologı́a usual y B[0,1] la σ−álgebra de conjuntos Borelianos.
Considere m la medida de Lebesgue. Sea ν : B[0,1] → R dada por:
 !  !
3 3
ν(A) = m A ∩ 0, − m A ∩ ,1
4 4

Verifique que P = 0, 34 , N = 3
  
4, 1 es una descomposición de Hahn para ν
Indique otra descomposición de Hahn para ν
¿Cuántas descomposiciones pueden encontrarse?

Solución:

Tenemos P ∩ N = ∅, P ∪ N = [0, 1]. Sea B ⊂ P , B ∈ B[0,1] . Tenemos:

 !  !
3 3
ν(B) = m B ∩ 0, − m B ∩ ,1
4 4
 !
3
= m B ∩ 0, ≥0
4

Por tanto P es positivo para ν. Sea C ⊂ N , C ∈ B[0,1] . Tenemos:

 !  !
3 3
ν(C) = m C ∩ 0, − m C ∩ ,1
4 4
 !
3
= −m C ∩ 0, ≤0
4

Por tanto N es negativo para ν. Ası́, tenemos que es efectivamente una descomposición de Hahn.
  
Note que P = 0, 34 ∩ R \ Q , N = 34 , 1 ∪ 0, 43 ∩ Q es una descomposición de Hahn para ν
 


Infinitas, pues tenemos infinitos conjuntos de medida de Lebesgue nula que se pueden transferir de una
parte de la descomposición a la otra.

2
Ejercicio 1.3 Considere el conjunto R con su topologı́a usual y B la colección de conjuntos Borelianos. Sea m
la medida de Lebesgue en R. Sea µ1 : B → R dada por

µ1 (A) = 1 ⇔ 1 ∈ A
R
¿Existe una función f : R → R tal que µ1 (A) = A f dm?

Sea µ = m − µ1 . De un ejemplo de un subconjunto de R con medida positiva que contenga una infinidad
de conjuntos con medida negativa.
De un ejemplo de un subconjunto de R con medida µ negativa que contenga una infinidad de conjuntos
con medida µ positiva.

Conjeture: ¿Será cierto que toda medida puede escribirse como suma de una medida que si se puede escribir
como integral mas una medida puntual?
Conjeture: ¿Será cierto que el Ejemplo 2 dado en clase cubre todas las posibilidades de medidas con signo?

Solución:
R
No. De existir una tal función f , tendrı́amos que 1 = µ1 ({1}) = {1}
f dm = 0, ya que m({1}) = 0, pero
esto es una contradicción.
Sea A = [0, 2]. Note que µ(A) = m(A) − µ1 (A) = 2 − 1 > 0. No obstante, para a, b ∈ R tales que
0 < a < 1 < b < 2, b − a < 1, se tiene [a, b] ⊂ A y µ([a, b]) = b − a − 1 < 0.
Sea B = [ 45 , 65 ]. Note que µ(B) = m(B) − µ1 (B) = 52 − 1 < 0. No obstante, para c, d ∈ R tales que
1 < c < d < 65 , se tiene [c, d] ⊂ B y µ([c, d]) = c − d > 0.
No, existen medidas que se definen de manera más abstracta y no podemos separarlas entre parte integral
y parte puntual.
No, por varios motivos. Ya sabemos que no toda medida es de la forma integral. Además, se pueden
mezclar medidas puntuales con medidas de forma integral. Más aún, existen más medidas además de
estas.
Ejercicio 1.4 Considere el conjunto R con su topologı́a usual, B la colección de conjuntos Borelianos y m
la medida de Lebesgue. Sean f, g : R → R dos funciones Borel medibles no negativas con integral finita. Sea
µ : B → R dada por Z Z
µ(A) = f dm − gdm
A A

¿Es cierto que F = {x ∈ R : f (x) > 0} y G = {x ∈ R : g(x) > 0} dan una descomposición de Hahn para
µ? Demuestre o de un contraejemplo.
Encuentre una descomposición de Hahn para µ.
¿Es cierto que las medidas construidas con f y g dan una descomposición de Jordan para µ?

Solución:
No es cierto. Sean f = χ[0,2] y g = 4χ[1,3] . Tenemos que F = [0, 2] y G = [1, 3] que no son disjuntos, no
completan todo R. Pero sobre todo, F no es positivo para µ, en particular, [1, 2] ⊂ F y µ([1, 2]) = −3 < 0.
Similarmente G no es negativo para µ.
Basta con considerar P = {x ∈ R : f (x) − g(x) > 0} y N = {x ∈ R : f (x) − g(x) ≤ 0}
No. De manera general, las medidas, aunque sean positivas, no son mutuamente singulares, por lo que no
dan origen a una descomposición de Jordan.

3
Observación 1.5 El estudio de la teorı́a de la medida en el sentido clásico (es decir, la medida de Lebesgue)
se puede interpretar como el estudio de la fı́sica de los cuerpos con una densidad de masa uniforme. Con esta
noción, una función medible es, via preimagen, una transformación que altera la masa de un cuerpo, trans-
formándolo en otro cuerpo, pero aún manteniendo su densidad de masa uniforme.

Esta noción se generaliza luego al estudio de medidas positivas, que representa bien la posibilidad de estudiar
la fı́sica de los cuerpos con distribuciones de masa arbitraria. Análogamente, podemos pensar que las funciones
medibles como transformaciones que, simultaneamente, cambian tanto al cuerpo en sı́, como a su densidad de
masa.

Nos interesarı́a estudiar una versión de esta noción que permita la interpretación de un sumidero, es decir,
partes del espacio que consuman masa, lo cual podrı́amos pensar como “masa negativa”. No obstante, esa
noción pierde la interpretación fı́sica. Por suerte, existe otra magnitud fı́sica que si representa muy bien esta
noción: la carga eléctrica.

Es por esto que muchos libros (The Elements of Integration, Robert G. Bartle; Analysis Now, Gert K.
Pedersen) llaman cargas (charges) a las medidas con signo. De esta manera, podemos interpretar una medida
con signo como una distribución de densidad de carga eléctrica.