Ayudantı́a 3 Análisis II, Postgrado

Ayudante: Nestor Jara

Septiembre 2021

1. Continuidad Absoluta
Ejercicio 1.1 Demuestre que son equivalentes:
νµ
|ν|  µ
ν−  µ y ν+  µ

Solución:

Si |ν|  µ, entonces µ(E) = 0 ⇒ |ν|(E) = 0. Recordando que |ν| = ν + + ν − y que ν + y ν − son medidas
positivas, tenemos que 0 ≤ ν + (A) ≤ |ν|(A) y 0 ≤ ν − (A) ≤ |ν|(A). Por lo tanto

µ(E) = 0 ⇒ |ν|(E) = 0 ⇒ ν + (E) = 0 ∧ ν − (E) = 0

Si ν −  µ y ν +  µ, entonces µ(E) = 0 ⇒ ν + (E) = 0 ∧ ν − (E) = 0. Como ν = ν + − ν − , tenemos

µ(E) = 0 ⇒ ν + (E) = 0 ∧ ν − (E) = 0 ⇒ ν(E) = ν + (E) − ν − (E) = 0 − 0 = 0

Si ν  µ, sea P, N una descomposición de Hahn para ν. Sabemos que µ(E) = 0 ⇒ ν(E) = 0, entonces para
E ⊂ P , si µ(E) = 0, entonces
0 = ν(E) = ν(E ∩ P ) = ν + (E)
Similarmente, para E ⊂ N , si µ(E) = 0, entonces

0 = ν(E) = ν(E ∩ N ) = ν − (E)

Ahora, para E arbitrario, tenemos que E = E + ∪ E − , donde E + ⊂ P y E − ⊂ N . Además, como µ es

positiva (pues la continuidada absoluta se define en comparación a medidas positivas), tenemos:

µ(E) = 0 ⇒ µ(E + ) = 0 ∧ µ(E − ) = 0

⇒ ν + (E) = 0 ∧ ν − (E) = 0
⇒ |ν|(E) = ν + (E) + ν − (E) = 0 + 0 = 0

Ejercicio 1.2 De un ejemplo de medidas µ y ν tales que ν +  µ pero ν 6 µ.

Solución:
2
Sea f : R → R Rdada por f (x) = e−x . Sea ν1 la medida definida sobre la σ−álgebra de los Borelianos de R
dada por ν1 (A) = A f dm, donde m representa a la medida de Lebesgue.

Considere ν2 la medida de dirac concentrada en 0, es decir ν2 (A) = 1 ⇔ 0 ∈ A, definida sobre la σ−álgebra

Boreliana de R.

Sea ν = ν1 − ν2 . Tomando µ = m, se tiene que ν + = ν1  µ, pero ν 6 µ, pues en particular, µ({0}) = 0 y

ν({0}) = −1.

1
Ejercicio 1.3 Sea {νi }i∈N una colección de medidas positivas. Demuestre
P
Si νi  µ para todo i ∈ N, entonces i∈N νi  µ.
P
Si νi ⊥ µ para todo i ∈ N, entonces i∈N νi ⊥ µ.

Solución:
P  P
Si µ(E) = 0, entonces νi (E) = 0, por tanto i∈N νi (E) = i∈N 0 = 0.

Llamemos X al conjunto ambiente. Existen Ei y Fi tales que Ei ∩ Fi = ∅, Ei ∪ Fi = X, Ei es nulo para

µ y Fi es nulo para νi .

Sea E = ∪i∈N Ei . Claramente E c = ∩i∈N Fi := F . Note que F ⊂ Fi para todo i ∈ N.

P  P
Sea A ⊂ F , claramente A ⊂ Fi , por tanto νi (A) = 0 y por tanto i∈N νi = i∈N νi (A) = 0. Por tanto,
P
F es nulo para i∈N νi .

Sea B ⊂ E. Existe una partición {Bi }i∈N de B tal que Bi ⊂ Ei , ∪i∈N Bi = B y Bi ∩ Bj = ∅ si i 6= j.

En efecto, basta con definir B1 = B ∩ E1 , B2 = (B ∩ E2 ) \ B1 y continuar inductivamente.

Como Ei es nulo para µ, entonces µ(Bi ) = 0 y por tanto:

X
µ(B) = µ(Bi ) = 0
i∈N

Ası́, E es nulo para µ y tenemos la ortogonalidad.

Ejercicio 1.4 ¿Se cumplen aún las conclusiones del ejercicio anterior si las νi son medidas con signo?

Solución:

De manera general no, puesto que una serie de medidas no es una medida, ya que en general dicho objeto
no está bien definido.

Sin embargo, si estuviera bien definida una tal serie de medidas, entonces el resultado serı́a cierto. Una for-
ma particular en que se puede garantizar dicha buena definición, es imponiendo que la serie sea absolutamente
convergente independientemente del conjunto que se tome. Una forma de lograr esto es imponer que el recorrido
de νi está contenido en (−2−i , 2−i ).

De todos modos, destacamos el hecho de que esta no es la única forma de garantizar la existencia de la
medida serie.

2. Ergódica
Ejercicio 2.1 Decimos que una función medible T en un espacio de medida (X, M, µ) con µ(X) = 1, una
medida positiva, es una transformación que preserva medida cuando

µ(T −1 (E)) = µ(E)

Sea τ una transformación que preserva medida en (X, M, µ). Decimos que un conjunto medible E es inva-
riante si τ −1 (E) y E difieren en un conjunto de medida nula. Una noción más exigente es requerir que τ −1 (E)
sea igual a E.

Demuestre que si E es un conjunto invariante, entonces existe un conjunto E0 tal que E0 = τ −1 (E0 ), y E
y E0 difieren por un conjunto de medida nula.

2
 Solución:

Primero, verifiquemos que si E es invariante, entonces τ −1 (E) también lo es (en el sentido débil).

Como E es invariante, entonces

µ(E \ τ −1 (E)) = µ(τ −1 (E) \ E) = 0

Ahora, note que

h ic
τ −1 (E) \ τ −2 (E) = τ −1 (E) ∩ τ −2 (E)
h ic
= τ −1 (E) ∩ τ −1 τ −1 (E)
h i
= τ −1 E ∩ τ −1 (E)c
h i
= τ −1 E \ τ −1 (E)

Ası́, como τ preserva medida, tenemos que

   h i  
−1 −2 −1
µ τ (E) \ τ (E) = µ τ E \ τ (E) = µ E \ τ −1 (E) = 0
−1

De manera similar se demuestra que µ τ −2 (E) \ τ −1 (E) = 0, por lo que τ −1 (E) es invariante. Razonando

inductivamente es fácil ver que τ −k (E) es invariante (en el sentido débil) para todo k ∈ N. Sea
 
∞
\ [
E0 =  τ −k (E)
n=1 k≥n

Note que
  c 
 c 
∞
\ [ ∞
[ [
E \ E0 = E ∩ E0c = E ∩  τ −k (E) = E∩ τ −k (E) 
     
n=1 k≥n n=1 k≥n
  
∞
[ \
= E∩ [τ −k (E)]c 
  
n=1 k≥n
  
∞
[ \
= E ∩  [τ −k (E)]c 
 
n=1 k≥n
 
∞
[ \
=  E ∩ [τ −k (E)]c 
n=1 k≥n
 
∞
[ \
=  E \ τ −k (E)
n=1 k≥n

Denotemos \
An = E \ τ −k (E)
k≥n

Notemos que mientras más crece n, son menos los conjuntos que se intersectan, por tanto la intersección
crece, es decir, (An )n describe una sucesión creciente de conjuntos, por lo tanto:

µ(E \ E0 ) = lı́m µ(An )

n→∞

3
 Por otra parte, fijando n ∈ N, denotemos

Bk = E \ τ −k (E)

Tenemos que µ(B1 ) = 0, pues E es invariante (en el sentido débil).

Mostraremos inductivamente que µ(Bk ) = 0. Supongamos que µ(Bk ) = 0. Tenemos

Bk+1 = E \ τ −(k+1) (E)

= E ∩ [τ −(k+1) (E)]c
h i
= E ∩ [τ −(k+1) (E)]c ∩ τ −k (E) ∪ [τ −k (E)]c
h i h i
= E ∩ [τ −(k+1) (E)]c ∩ τ −k (E) ∪ E ∩ [τ −(k+1) (E)]c ∩ [τ −k (E)]c
h i h i
= E ∩ τ −k (E) ∩ [τ −(k+1) (E)]c ∪ E ∩ [τ −k (E)]c ∩ [τ −(k+1) (E)]c
   h i
= E ∩ τ −k (E) \ τ −(k+1) (E) ∪ Bk ∩ [τ −(k+1) (E)]c

Ası́, como τ −k (E) es invariante, tenemos

µ(Bk+1 ) ≤ µ(τ −k (E) \ τ −(k+1) (E)) + µ(Bk ) = 0

Por tanto, como An ⊂ Bk para todo k ≥ n, tenemos que µ(An ) = 0 para todo n ∈ N y por tanto

µ(E \ E0 ) = 0

La demostración de que µ(E0 \ E) = 0 se sigue con una estrategia similar. Ası́, tenemos que E y E0 difieren
en un conjunto de medida nula.

Ahora, basta verificar que E0 es invariante en el sentido estricto. Note que

       
∞
\ [ ∞
\ [ ∞
\ [
τ −1 (E0 ) = τ −1  τ −k (E) =
 −1 
τ τ −k (E) = τ −(k+1) (E)
    
n=1 k≥n n=1 k≥n n=1 k≥n
 
∞
\ [
=  τ −k (E)
n=1 k≥(n+1)
 
∞
\ [
=  τ −k (E)
n=2 k≥n
 
∞
\ [
=  τ −k (E) = E0
n=1 k≥n

Observación 2.2 El conjunto E0 que describimos en el ejercicio anterior está muy lejos de ser el único que
cumple con las condiciones pedidas. Note que si consideramos la sucesión de conjunto {τ −k (E)}k∈N , el conjunto
que utilizamos corresponde al lı́mite superior de esta familia.

No obstante, tal como se hizo notar en ayudantı́a, otro conjunto que satisface las propiedades es simplemente
la intersección de esta familia. Más aún, si hubiesen puntos fijos de τ en E, podemos retirar numerablemente
todos aquellos que tengan medida nula y aún tendrı́amos un conjunto que cumple las propiedades.

Lo interesante que tiene el lı́mite superior, es que es el conjuno maximal que cumple las condiciones y por
eso se suele proponer como candidato.