UNIVERSIDAD DE EL SALVADOR

FACULTAD DE CIENCIAS NATURALES Y MATEMATICA

MATERIA: TEORIA DE LA MEDIDA
TEMA: EL TEOREMA DE RADON NIKODYM
ALUMNO: YOCEMAN ADONY SIFONTES RIVAS
DOCENTE: MSC. MARTIN GUERRA

problemas secci
on 3.5
27. a. Sean 1 , 2 , ...k medidas en el espacio medible (, ). Demuestre que existe
una medida tal que i << para todo 1 i k.
Soluci
on:
Basta cofnsiderar la medida =
ya que si (E) = 0 entonces:
Pi=k
i=0

Pi=k
i=0

i ;

i (E) = 1 (E) + 2 (E) + ...k (E) = 0

y como 0 i (E) 1 (E) + 2 (E) + ...k (E) = 0;

se tiene que i (E) = 0 para todo i entre 0 y k.
on de medidas tal que i << para todo k. Demuestre
b. Se supone que {k }
1 es una colecci
P
que 1 k << .
Solucion:
Como cada i es absolutamente continua respecto a , es decir si (E) = 0 para E en entonces
i (E) = 0; asi tenemos que 1 (E) + 2 (E) + ...k (E) + .... = 0, de donde
P

i=0

i (E) = 0, por lo tanto se tiene

i=0

i << .

28. Demuestre la unicidad de la funci

on f en el Teorema 3,11.
Supongamos lo contrario, es decir: Existen dos funciones f , y h, funciones que son no negativas
y que para todo E que pertenece a se tiene lo siguiente:
(E) =

R
E

f d =

R
E

hd; donde tambien estamos suponiendo que << .

Y como (E) es finita, tenemos que al pasar a restar a un solo lado obtenemos:
R
E

f d

R
E

hd = 0; asi podemos aplicar la propiedad:

Si f (x) = 0; para casi todo x que pertenece a y solo si

As obtenemos:
R

E (f

h)d = 0,
2

f d = 0..

entonces f (x) = h(x).

Por lo tanto se tiene que estas funciones son iguales.
29. Demuestre la unicidad de las medidas 0 y 1 en el Teorema 3,12.
Soluci
on:
supongamos que de la construccion del teorama es finita; y que ademas existen:
0
0
0 ,1 Tal que cumplen:
0

= 0 + 1 = 0 + 1 , que cumplen ademas:

0

0 ; 0 donde 1 << y 1 <<

0

luego: 0 0 = 1 1 son absolutamente continuas y singulares respecto a

luego son identicamente 0 por la propiedad:
<< y entonces =0.
Y esto se desprende del hecho de que si para todo E de (E) = 0 Tambien se tendra (E) = 0
S
T
y como X = E E c donde E E c = y entonces se cumple que (E c ) = (E c ) = 0, en
todo caso se tendra que (X) = 0 de ahi que = 0.
Utilizando la propiedad anterior se tendra:
0
0
que 0 0 = 1 1 = 0.
As las funciones 0 y 1 son u
nicas.
30. Encuentre un ejemplo que demuestre que la hipotesis de que la medida -finita es necesaria
en el teorema de Radon Nikodym.
Consideremos la sigma algebra de Borel en la recta real, y consideremos la medida de conteo ,
de un conjunto Borel A, que nos dara el n
umero de elementos de dichos conjuntos, y que pueden
ser valores finitos o infinitos. Ahora vemos que esta medida no es sigma finita ya que no todo
conjunto Borel tiene medida finita; por otro lado consideremos como la medida de lebesgue
en esta algebra de Borel. es absolutamente continua con respecto ya que para un conjunto
A tal que (A) = 0 solo si A es un conjunto vaco, as tenemos que (A) = 0.
Supongamos que para alguna funcion medible f se tiene que:

(A) = A f d
para todos los conjuntos Borel, Tomando A = a y utilizando la igualdad anterior tenemos:
f (a) = 0
para todos lo numeros reales, esto implica que la funcion f y por lo tanto la medida de Lebesgue
es cero lo cual es una contradiccion ya que la funcion es positiva y no identicamente nula,ademas
tendramos que (A) = 0, que solo pasa cuando A sea vaco ya que es absolultamente continua
respecto a
31. Demuestre las siguientes propiedades de la derivada Radon Nikodym.
a. Si << y f 0 es una funcion medible, entonces:

f d = f

d
d

d.

Soluci
on:
Por teorema de Radon Nikodyn, como son f initas y << entonces existe una funcion
positiva g que cumple:
R

(E) = gd para todo E que pertenece a .

Supongamos que existe una funcion f positiva simple, de la siguiente manera:
f=

Pn
1

Luego:
Pn
1

b.

ai XEi donde los Ei son disjuntos y X =

f d =

Pn
1

ai Ei =

R Pn

ai gXEi d = (

d(1 +2)
d

d1
d

Pn
1

ai

R
Ei

Ei .

gd

d
ai XEi ) gd = f gd = f d
d

d2
d

Solucion:
Supongamos que 1 << entonces existe una funcion positiva f tal que por el Teorema de
Radon Nikodym:
1 (E) =

R
E

f d y f =

d1
.
d

2 << entonces existe una funcion positiva g tal que por el Teorema de Radon Nikodym:

2 (E) =

R
E

gd y g =

d1
.
d

Ademas como 1 << y 2 << entonces 1 + 2 << por el ejercicio 27b)

As si (E) = 0 entonces:
(1 + 2 ) (E) = 1 (E) + 2 (E) = 0 ya que esta suma sera absolutamente continua respecto a
; por otro lado:
Como (1 + 2 ) R<< entonces existe una funcion h positiva tal que:
(1 + 2 ) (E) = E hd para E que pertenece a , donde:
d(1 +2 )
d

=h

luego:
R

(f + g) d = f d + gd = 1 (x) + 2 (x) = hd;

entonces f + g = h casi en todas partes, luego se concluye:

d(1 +2 )
d

d1
d

d2
.
d

c. Si << y << , entonces

d
d

d
d

ih

d
d

solucion:
Como << y , son f initas entonces por el Teorema de Radon Nikodym existe una
funcion positiva g tal que:
R

(E) = gd; para todo conjunto E en y g =

d
;
d

Por otro lado << y , son f initas entonces por Teorema de Radon Nikodym existe
una funcion positiva f tal que:
R

(E) = f d y f =

d
;
d

Como << y << entonces << , de ahi que tambien existe una funcion positiva h tal
que:
(E) =

R
E

hd para todo E en y h =

d
;
d

entonces:
R
R
R
E hd = (E) = E gd = E f gd y por la unicidad de las funcione h y f g del Teorema de
Radon Nikodym se tiene:
h = gf
d
d

d d
.
d d

Lo que completa la prueba.

d. Si << y << , entonces

d
d

i
d 1
.
d

Si << entoces por teorema de Radon Nikodyn existe una funcion positiva f tal que:
(E) =

R
E

f d para todo E en y f =

d
.
d

Por otro lado como

<< , por teorema de Radon Nikodyn existe una funcion positiva g tal que:
(E) =

R
E

gd para todo E en y g =
d
d

Supongamos que
R

E gd =

Eg

d
d

d
.
d

es distinta de 0 as por literal a).

R
E

g (f ) d;

por otro lado:

R

1d = (E) =
se tiene:

R
E

1d =

R
E

gd, pero por la unicidad de las funciones del teorema de Radon Nikodym

gd, entonces gf = 1 casi en todas partes.

por lo tanto:
f = g1 ; y como hemos supuesto g distinta de 0 se tiene:
d
d

1
d
d

i
d 1
.
d