Anlisis Real

ii

Indice
Captulo 1 Medida

Teorema de Tarski.....................................................................................
lgebra.................................................................................................
lgebra generada...........................................................................
lgebra de Borel............................................................................
Premedida...................................................................................................
Medida finita......................................................................................
Medida finita..............................................................................................
Medida exterior..........................................................................................
medibl................................................................................................
Funcin elemental de conjuntos ................................................................
Medida inducida.........................................................................................
Extensin de una medida............................................................................
Medida nula................................................................................................
Espacio de medida completo......................................................................
Completacin..............................................................................................
Teorema de aproximacin..........................................................................
Medida de Borel.........................................................................................
Medida de Borel-Stieljes............................................................................
lgebra de Lebesgue............................................................................
Medida de Lebesgue...................................................................................
Medida exterior de Lebesgue.....................................................................
Medida de Dirac.........................................................................................
Conjunto de Cantor.....................................................................................
Funcin notable de Cantor-Lebesgue.........................................................

3
4
5
6
6
6
6
8
8
10
10
11
14
14
15
16
17
20
22
22
22
22
24
27

Captulo 2 Funciones medible

Funcin medible.........................................................................................
Borel medible.............................................................................................
Lebesgue medible.......................................................................................
Pull-back.....................................................................................................
- iii -

29
30
30
31

Pull-forward................................................................................................
Medible en E...............................................................................................
lgebra inicial.......................................................................................
L+ ( X ,M ) ..................................................................................................
Funcin caracterstica................................................................................
Funcin Simple...........................................................................................
Funcin elemental.......................................................................................
Teorema de caracterizacin de L+ ..............................................................

31
32
32
34
35
36
36
36

Captulo 3 Integracin
Propiedad definida en casi todo punto........................................................
Funcin integrable......................................................................................
Teorema de convergencia montona (Beppo Levi)....................................
Lema de Fatou............................................................................................
Integral de funciones cualesquiera..............................................................
integrables.............................................................................................
Funciones complejas...................................................................................
Seminorma..................................................................................................
Espacio seminormado................................................................................
Espacio normado........................................................................................
Espacio normado L1 ( ) .............................................................................
Teorema de convergencia dominada..........................................................
Integral de Riemann Vs Integral de Lebesgue............................................

39
41
45
48
49
51
51
52
52
52
52
54
60

Captulo 4 Modos de convergencia y espacios Lp

Convergencia puntual................................................................................
Convergencia uniforme.............................................................................
Convergencia en casi todo punto...............................................................
Convergencia casi uniforme.. ...................................................................
Convergencia en medida...........................................................................
Convergencia en L1 ...................................................................................
Cauchy en medida.....................................................................................
Teorema de Egoroffs................................................................................
Espacios Lp ................................................................................................
Norma p......................................................................................................
- iv -

63
63
63
63
63
63
66
67
69
70

Funcin convexa.........................................................................................
Desigualdad de Jensen................................................................................
Desigualdad de Hlder...............................................................................
Conjugados.................................................................................................
Desigualdad de Minkowki.........................................................................
Desigualdad de Harkov..............................................................................
Uniformemente absolutamente continua...................................................
Equicontinua superiormente al vaco.........................................................
Continuidad absoluta del integral...............................................................
Teorema de Vitali.......................................................................................

71
71
73
73
74
76
77
78
78
78

Captulo 5 Medida signada, integracin y derivacin

Medida con signo....................................................................................... 85
positivo................................................................................................ 86
negativo............................................................................................... 86
nulo...................................................................................................... 86
Teorema de Hahn-Jordan........................................................................... 86
Descomposicin de Hahn.......................................................................... 88
Medidadas mutuamente singulares............................................................ 88
Teorema de descomposicin de Jordan..................................................... 88
Variacin positiva , variacin negativa...................................................... 88
Descomposicin de Jordan......................................................................... 88
Variacin total............................................................................................ 89
Medida absolutamente continua respecto de otra...................................... 89
Teorema de Radon-Nikodin-Lebesgue...................................................... 89
Teorema de Radon Nikodin....................................................................... 93
Puntos invisibles por derecha y por izquierda............................................. 95
Lema de Riez............................................................................................... 96
Integral indefinida de Lebesgue.................................................................. 100
Funcin absolutamente continua................................................................. 101
Descomposicin cannica........................................................................... 102

Captulo 6 Medida Producto

Rectngulos medibles................................................................................. 107
Medida producto......................................................................................... 107
-v-

Clase montona.......................................................................................... 108

Clase montona generada........................................................................... 108
Lema de la clase montona......................................................................... 108
Teorema de Fubini...................................................................................... 109
x-seccin de f.............................................................................................. 112
y-seccin de f.............................................................................................. 112
Teorema de Tonelli-Fubini......................................................................... 112
Formula integral por partes......................................................................... 115

Captulo 7
Espacio topolgico localmente compacto................................................... 117
Soporte de una funcin................................................................................ 118
Funciones continuas con soporte compacto................................................ 118
Lema de Urysohn para LCH....................................................................... 118
Teorema de extencin de Ttese para LCH................................................. 118
Particin de la unidad ................................................................................. 119
Funcional lineal positiva............................................................................. 120
Medida exteriormente regular..................................................................... 121
Medida interiormente regular...................................................................... 121
Medida regular............................................................................................ 121
Medida de Radon........................................................................................ 121
Teorema de representacin de Riez............................................................ 121
Conjunto F ................................................................................................ 126
Conjunto G ................................................................................................ 126
Teorema de Lusin........................................................................................ 129

Apndice

Teora Ergdica

Transformacin que preserva medida......................................................... 133

Teorema de recurrencia de Poincar........................................................... 133
Espacio dual................................................................................................ 135
Norma operador........................................................................................... 135
Teorema de Riez.......................................................................................... 135
Lema Ergdico maximal ............................................................................ 137
Teorema de Birkhoff................................................................................... 139

- vi -

Captulo 1
Introduccin
Un problema que se nos presenta en geometra es el de determinar el rea o volumen
a una regin del plano o el espacio. La tcnica de integracin es una herramienta
satisfactoria para solucionar dicho problema en regiones con borde pero es
inadecuado para regiones ms complicadas.
Queremos definir una funcin que a cada conjunto E n con n asigna un
nmero ( E ) [ 0, + ) , que llamamos n-dimensional medida de E , tal que ( E ) se
da por la integral usual cuando E es un conjunto con borde.
As como la integral cumple con algunas propiedades fundamentales pretendemos
que esta funcin cumpla con las mismas. Es decir:
i) Si E1 , E2 ,..., Er ,... con Ei n i entonces:

U Ei = ( Ei )
i =1 i =1
Aunque ms adelante definiremos en forma precisa, por ahora decimos que si la
secuencia de conjuntos es finita, es aditiva y si es infinita decimos que es
aditiva .
ii) Si E es congruente con F ( eso es si E se puede obtener por medio de una
traslacin, rotacin o simetra de F ) entonces:
(E) = (F )
Decimos que es invariante por isometras.
iii) ( Q ) = 1 siendo Q el cubo unidad o sea:
Q = { x n : 0 x j < 1 para j = 1,..., n}.

Lamentablemente estas propiedades son inconsistentes. Veamos por ejemplo para

n = 1 (un razonamiento similar se utiliza para dimensiones mas grandes). Para
empezar definimos en [ 0,1) una relacin de equivalencia por:
x : y m, n tal que x y = m + n con \
-1-

Anlisis Real

Captulo 1

-2-

As las clases son de la forma { y + n ( mod1) : n }

Sea C el conjunto que tiene exactamente un punto en cada clase de equivalencia (se
puede por el axioma de eleccin).
Para cada entero n definimos:
Cn = C + n ( mod1)
Supongamos que existe una funcin : P ( ) [0, + ) que cumpla las
propiedades i), ii) y iii) precedentes.
Por i) y ii) se tiene que si:
a) U Cn = [ 0,1)
n

b) Cn I Cn ' = si n n ' entonces:

([ 0,1) ) = U Cn = (C n ) = (C )
n n
n
Pero ([ 0,1) ) = 1 mientras que ( C ) = 0 si ( C ) = 0 o si ( C ) > 0 , luego no
n

existe dicha funcin que cumpla tales propiedades.

Falta demostrar que se cumplen a) y b)
a) Si x [ 0,1) x1 C tal que x : x1 x = x1 + m + n con m,n
entonces:
x = x1 + n ( mod1) x C
b) Sea n n ' , x Cn I Cn ' entonces:
x1 , x2 C , m y m ' tal que
x = x1 + n + m = x2 + n ' + m '
luego
x1 x2 = ( n ' n ) + ( m ' m ) x1 : x2
1442443
1442443

Pero de acuerdo a como se defini C tiene que ser x1 = x2 y entonces:

n n'
0 = ( n ' n ) + ( m ' m ) =

m ' m
Y esto es absurdo por ser el irracional por hiptesis.
Luego se cumple que Cn I Cn ' = si n n '.

No es posible entonces definir una medida en todos los subconjuntos de n de

modo que valga uno (o algo finito) en el cubo unidad aditiva e invariante por
isometras.
Si a la funcin le pedimos que sea solo aditiva tampoco se puede definir una
medida consistente, por el teorema de Tarski,

-2-

Anlisis Real

Medida

-3-

Teorema de Tarski Sean A, B n con n 3 no vacos, abiertos y acotados

entonces existen k y E1 , E2 ,..., Ek particin del conjunto A y F1 , F2 ,..., Fk
particin de B tal que cada Ei es congruente con Fi i = 1,..., k .
De esta forma a partir de una naranja podemos dividirla en un nmero finito de
partes tales que se pueden reestructurar para formar la tierra. Este teorema es
equivalente al axioma de eleccin. La dificultad radica en que n contiene
subconjuntos donde no se puede definir geomtricamente una medida razonable.
Para remediar esto solo definimos medida para una clase de subconjuntos de n .

-lgebras

Definicin 1.1 Sea X un conjunto no vaco, sea P ( X ) el conjunto de partes de X:

Se dice que A P ( X ) es un lgebra de subconjuntos de X si es una familia no
vaca de subconjuntos de X cerrada por complementos y por uniones finitas es decir;
A y:
i) Si E A E C A
ii) Si E , F A E U F A
Observacin 1.1 a)Si E1 , E2 ,..., En A U Ei A se justifica por induccin.
n

i =1

b) X A ya que si E A E A y entonces X = E U E C A.
c) A por la parte anterior X A = X C A.
C

d) Si E , F A E I F A ; ya que E I F = ( EC U F C ) , adems se justifica

C

por induccin que si E1 , E2 ,..., En A I Ei A

n

i =1

e) Si E , F A E \ F A ; ya que E \ F = E I F C .
Ejemplo 1.Sea X un conjunto cualquiera entonces el propio P ( X ) es un lgebra de
subconjuntos de X.
Ejemplo 1.2 A = { X , } P ( X ) es un lgebra de subconjuntos de X.
Observacin 1.2 Si tenemos dos lgebras A1 ,A2 entonces A1 I A2 es tambin
un lgebra; y generalizando por induccin si {Ai }i es una familia de lgebras
entonces A = IAi es un lgebra.
i

-3-

Anlisis Real

Captulo 1

-4-

Ya que si E A E Ai i E C Ai E C A anlogamente con la

unin.
Observacin 1.3 Sea S P ( X ) notamos como a (S ) al lgebra generada por
S y es la menor lgebra que contiene a la familia S.
n

Ejemplo 1.3 Sea I = {( a, b ] : a b +} y sea C = U I k : I k I se tiene

k =1

que a (I ) = C
Demostracin Si E C E = U I k con los I k disjuntos S , lo que se prueba
m

k =1

por induccin. Supongamos que se cumple para un cierto m entonces:

I m+1
m +1

k =1

k =1

E = U I k = U I k U I m+1

I k
estos se pueden escribir como unin de disjuntos
Luego sustituyendo:
m

E = U I k U I m +1
k =1

puede suceder que los I k sean disjuntos con I m+1 y se termina, o en caso contrario
consideramos I k U I m+1 y lo escribimos como la unin de tres intervalos disjuntos,
esto es para todo k, luego uniendo nos queda una unin de intervalos disjuntos.
Definicin 1.2 Sea X un conjunto no vaco, se dice que una familia M P ( X ) es
una - lgebra si M es un lgebra tal que es cerrada por uniones numerables, es
decir:

iii) si ( En )n1 M U En M
n =1

Observacin 1.4 M es cerrada respecto a intersecciones numerables, ya que:

Si ( An )n M ( A

C
n n

M U A M U AnC M y:
n =1
n =1
C

An = U AnC
I
n=1
n =1
C
n

-4-

Anlisis Real

Medida

-5-

Observacin 1.5 Si tenemos una familia de lgebras {Mi }iI IMi es una
iI

lgebra.

Observacin 1.6 Sea M P ( X ) una lgebra sobre X, entonces:

M es una lgebra Si M es un lgebra y para toda sucesin
( An )n M tal que Ai I A j = si i j se tiene que U An M . Lo que estamos
n

afirmando es que para probar la propiedad iii) de lgebra alcanza con hacerlo
para uniones disjuntas.
Demostracin es obvio.
n 1

Si ( Bn )n M entonces la sucesin ( An )n con An = Bn \ U B j es disjunta y

j =1

adems ( An )n M por ser M un lgebra y utilizando la observacin 1.1 a) y e)

n 1

n 1

j =1

j =1

se tiene que si B j M j = 1,..., n 1 U B j M y An = Bn \ U B j M entonces

por hiptesis

UA

M pero por construccin

UA = UB

, luego

UB

M.

Definicin 1.3 Sea S P ( X ) , notamos por (S ) y llamamos - lgebra

generada por S a la menor lgebra que contiene a S .
Ejemplo 1.4 El propio P ( X ) es una lgebra.
Ejemplo 1.5 La familia M = { X , } es una lgebra.
Ejemplo 1.6 Sea X = {1 , 2 ,..., n ,...} conjunto numerable.
Consideremos S = {{1} , { 2 } ,...,{ n } ,...} entonces (S ) = P ( X ) .
Ejemplo 1.7 Sea X = y S = {{ x} : x } entonces [ 0,1] (S )
Ejemplo 1.8 Sea M = { A : A es numerable o AC es numerable} se tiene que
M es una lgebra , en particular si S M (S ) M entonces como
[ 0,1] M [ 0,1] (S ) .
-5-

Anlisis Real

Captulo 1

-6-

Definicin 1.4 Sea I = {( a, b ] : a b +}

entonces

(I )

es la

lgebra que llamamos - lgebra de Borel y notamos como B ( ) .

Observacin 1.7 a) B ( ) P ( X )
b) Los intervalos abiertos , los intervalos cerrados los semiabiertos, los puntos
pertenecen a B ( ) . Ms en general cualquier abierto pertenece a B ( ) .

Medida
Definicin 1.6 Sea A un lgebra de subconjuntos de X se dice que:
: A [ 0, )
es una premedida sobre X si:
i) ( ) = 0
ii) Si ( En )n1 A es tal que Ei I F j = para i j , y

UE
n =1

A entonces:

U En = ( En )
n=1 n=1
(se dice que es sigma aditiva, y si las uniones son finitas decimos que es aditiva).
En el caso en que A =M sea una lgebra se dice que es una medida
sobre X, y al par ( X ,M ) le llamamos espacio medible, y a la terna ( X ,M , )
espacio de medida.
Definicin 1.7 Sea ( X ,M , ) un espacio de medida, si ( X ) < , decimos que
es una medida finita.
Definicin 1.8 Sea ( X ,M , ) un espacio de medida, si X =
( En ) < n entonces decimos que es - finita.
Ejemplo 1.9 Sea X un conjunto no numerable
M = { A X : A es numerable o AC es numerable}
entonces
0 si E es numerable
(E) =
C
1 si E es numerable
es una medida.
-6-

UE

, con

Anlisis Real

Medida

-7-

Ejemplo 1.10 Sea # X = y M = P ( X ) entonces:

0 si # E es finita
(E) =
en otro caso
es una medida.
Proposicin 1.1 Dado el espacio de medida ( X ,M , ) entonces se cumplen las
siguientes propiedades:
i) Si E , F M con E F ( E ) ( F ) (monotona).

ii) Si { Ei }i M U Ei ( Ei ) (subaditividad numerable).

i i
iii) Si { Ei }i M sucesin montona creciente, E1 E2 ... En ... entonces:

U En = lim ( En )
n n
iv) Si { Ei }i M sucesin montona decreciente, E1 E2 ... En ... de
conjuntos de medida finita entonces:

I En = lim ( En )
n n
Demostracin i) Como F = E U ( E C I F ) y aplicando la propiedad ii) de medida:
( F ) = ( E ) + ( EC I F ) ( E )
14444244443
0

ii) Definimos una sucesin de conjuntos disjuntos dos a dos:

F1 = E1

F2 = E2 \ E1

M
U Fn = U En
n =1
n =1

n 1
Fn = En \ U Ei

i =1

Como los Fi son disjuntos dos a dos podemos aplicar la propiedad ii) de la
definicin de medida.
Fn En
}

U En = U Fn = ( Fn ) ( En )
n
n n
n
iii) Si n0 tal que ( En0 ) = ya est; en otro caso:
-7-

Anlisis Real

Captulo 1

-8-

U En = U ( En \ En1 ) = ( En \ En1 ) =
n
n
n =1
n
n

= lim ( Ei \ Ei 1 ) = lim U ( Ei \ Ei 1 ) = lim ( En )

n
n
1444442444443
n
i =1
i =1
= En

iv) anlogamente que el caso anterior.

Las propiedad de monotona se cumple tambin si es una premedida, y la
propiedad ii) tambin se cumple pero est sera la subaditividad finita

Medida Exterior

Definicin 1.9 Dado un espacio medible ( X ,M ) y la funcin:

: P ( X ) [ 0, ]
se le llama medida exterior si cumple con las siguientes propiedades :
i) ( ) = 0
ii) Si E F entonces ( E ) ( F )

iii) U En ( En )
n=1 n=1

Definicin 1.10 Sea una medida exterior sobre X, decimos que A X es

- medible si E X se tiene:
( E ) = ( E I A ) + ( E I AC )
Observacin 1.8 Como E = ( E I A ) U ( E I AC ) por la propiedad iii) de medida

exterior se tiene ( E ) ( E I A ) + ( E I AC ) entonces para demostrar la

igualdad de la definicin alcanza con probar:
( E ) ( E I A ) + ( E I AC )
Lema 1.2 Sea X un conjunto y una medida exterior definida en l.
Sea M = { A X : A es medible} P ( X ) entonces M es una lgebra
Demostracin Probemos primero que es una lgebra para lo cual tenemos que
probar:
i) Si A M AC M
Lo cual se cumple por la simetra de la definicin de medible respecto a AC
-8-

Anlisis Real

Medida

-9-

ii) Si A, B M A U B M
Como A M E X se tiene que ( E ) = ( E I A ) + ( E I AC ) y como
B M tomando como E a E I A y a E I AC se tiene:
( E I A) = ( E I A I B ) + ( E I A I BC )

( E I AC ) = ( E I AC I B ) + ( E I AC I B C )

luego sustituyendo:
( E ) = ( E I A I B ) + ( E I A I B C ) + ( E I AC I B ) + ( E I AC I B C ) =

= ( E I ( A I B )) + ( E I ( A \ B )) + ( E I ( B \ A)) + E I ( A U B )

( E I ( A U B )) + E I ( A U B )

por ser ( A \ B ) U ( B \ A ) U ( A I B ) = A U B y subaditiva por ser medida exterior.

En consecuencia si A1 , A2 ,..., An M U Ai M
n

i =1

Para ver que M es una lgebra vasta probar que es cerrada por uniones
numerables disjuntas, por la observacin 1.5.
Sea ( An )n M una coleccin disjunta de conjuntos y sea A = U An y sea
n

Bn = U Ai entonces para todo E X se tiene:

n

i =1

( E I Bn ) = ( E I Bn I An ) + ( E I Bn I AnC ) = ( E I An ) + ( E I Bn1 )

= ( E I An ) + ( E I Bn1 I An1 ) + ( E I Bn1 I AnC1 ) =

= ( E I An ) + ( E I An1 ) + ( E I Bn2 ) = ...
M

= ( E I Aj )
j =1

Entonces:

( E ) = ( E I Bn ) + ( E I BnC )
n

= ( E I A j ) + ( E I BnC )
j =1

Como Bn A A B ( E I BnC ) ( E I AC ) y sustituyendo:

C

C
n

( E ) ( E I A j ) + ( E I AC )
j =1

pasando al lmite
-9-

Anlisis Real

Captulo 1

- 10 -

( E ) ( E I An ) + ( E I AC )
n =1

y como es subaditiva

( E ) U ( E I An ) + ( E I AC )
n=1

E I U An + ( E I AC )
1442443

n =1

=A

( E I A ) + ( E I AC )

luego AM.
Lema 1.3 Dada un conjunto X y una familia F P ( X ) tal que ,X F y sea
una funcin : F [ 0, + ] tal que ( ) = 0 llamada funcin elemental de
conjuntos se define: : P ( X ) [ 0, + ] tal que:

( E ) = inf ( E j ) : E U E j con E j F j
j
j =1

entonces es una medida exterior y decimos que es inducida por .

Demostracin Como i) F y 0 ( ) ( ) = 0 ( ) = 0

ii) Si E F y F U Fi , con Fi F i entonces E U Fi y por definicin:

i

( E ) = inf ( Ei ), E U Ei y Ei F
i

i
pero cada cubrimiento de F lo es tambin de E entonces:

( E ) inf ( Fi ), E F U Fi , y Fi F = ( F )
i

iii) Probaremos ahora la subaditividad o sea: U En ( En )

n=1 n=1
Dado > 0 por definicin de nfimo para cada n existe una sucesin de conjuntos
( Fjn ) j F tal que:
( En ) +

F
con
E

Fjn
(
)
j
U
n
2n j =1
j =1

entonces:
- 10 -

Anlisis Real

Medida

- 11 -

E
+
( F jn )
(
)

n
n
2 n =1 j =1
n =1

n
n

E
+

(
)
(
)
(
)

j
j
U En
n =1
n =1
n =1 j =1
n , j =1

ya que

U En UU Fjn =
n =1

n =1 j =1

UF

n , j =1

n
j

y luego por ser > 0 arbitrario:

(
)

n
U En
n=1
n =1
En el caso en que sea una premedida aditiva , es decir una funcin que
notaremos por 0 definida sobre un lgebra A ; 0 : A [0, + ] aditiva
tenemos el Teorema de Carateodory.

Proposicin 1.4 (Teorema de Carathedory)

Sea X un conjunto, A un lgebra definida en X, y una premedida aditiva
0 : A [0, + ] entonces existe una medida definida en (A ) tal que:
|A = 0
llamada extensin de 0
Demostracin Sea A X definimos : P ( X ) [ 0, + ] como:

( A ) = inf 0 ( An ) : ( An ) A , A U An
n

n
Por el lema anterior sabemos que es una medida exterior, y sea:
M = { A X : A es medible}
que por el lema 1.2 es una lgebra
Probaremos que
i) A M (A ) M

ii) |M es una medida, y por lo tanto es la extensin de 0 a la (A ) de la

tesis.
i) Sea A A , E X y para cada > 0 dado por definicin de nfimo sea
( Bn ) A tal que:

n =1

n =1

( E ) + 0 ( Bn ), E U Bn
como 0 es una premedida aditiva , es en particular aditiva y podemos escribir:
- 11 -

Anlisis Real

Captulo 1

- 12 -

( E ) + 0 ( Bn I A ) + 0 ( Bn I AC ) =
n =1

= 0 ( Bn I A ) + 0 ( Bn I AC )
n =1

n =1

y como E U Bn E I A U ( Bn I A ) y E I A U ( Bn I AC ) entonces:
C

n =1

n =1

n =1

( E ) + 0 ( Bn I A ) + 0 ( Bn I AC )
n =1

( E I A) + ( E I A

n =1

luego como es arbitrario:

( E ) ( E I A ) + ( E I AC )

y A M A M y como M es una lgebra (A ) M

ii) Probaremos que |M es una medida, y para ello primero demostramos que es
aditiva para despus demostrar que es aditiva.
Sean A, B M con A I B = ; como A es medible , y A U B X se tiene:

( A U B ) = ( A U B ) I A + ( A U B ) I AC = ( A) + ( B )
14444244443
1444442444443

=A
=B

luego es aditiva sobre M .

n

i =1

i =1

Sea ( An )n M con Ai I A j = si i j y llamemos Bn = U Ai , y A = U Ai

Como Ai M i = 1,..., n se tiene E X que:

( E I Bn ) = ( E I Bn I An ) + ( E I Bn I AnC ) =
= ( E I An ) + ( E I Bn1 ) =

= ( E I An ) + ( E I Bn1 I An1 ) + ( E I Bn1 I AnC1 ) =

= ( E I An ) + ( E I An1 ) + ( E I Bn 2 ) =
M

= ( E I Ai )
i =1

Entonces como Bn M E X :
( E ) = ( E I Bn ) + ( E I BnC ) C

Bn A

pasando al lmite n :
- 12 -

i =1

( E I Ai ) + ( E I AC )

Anlisis Real

Medida

- 13 -

( E ) ( E I Ai ) + ( E I A ) U ( E I Ai ) + ( E I AC ) =
i =1

i =1

= E I U Ai + ( E I AC ) = ( E I A) + ( E I AC ) ( E )
obs. 1.8

i =1
luego todas las desigualdades tienen que ser igualdades, y tomando a E = A

C
( A ) = A I Ai + 144244
A I A 3 = ( Ai )
1442443
i =1
=

i =1
= Ai
y se tiene que es aditiva sobre M
Adems hay que ver que ( A ) = 0 ( A ) A A es decir que ( A ) = 0 ( A )

( A ) = inf 0 ( An ) : A U An , An A n
n =1

n =1
tomando A1 = A y An = n > 1 entonces:

( A ) 0 ( A)

n 1

Por otro lado si ( An ) A tal que A U An entonces sea Bn = An \ U Ak de esta

n =1

forma los Bn son 2 a 2 disjuntos y

k =1

UB = UA
n =1

n =1

A entonces:

0 ( A ) = 0 ( AI Bn ) = 0 ( ( A I Bn ) ) = 0 ( A I Bn ) 0 ( An )
144424443 n =1
n =1
An

es decir que 0 ( A ) 0 ( An ) tal que A U An pasando al nfimo:

n =1

n =1

0 ( A ) inf 0 ( An ) : A U An = ( A )
n=1

n =1
desigualdades se tiene que coinciden.

luego

al

cumplirse

las

dos

Proposicin 1.5 En las mismas hiptesis que la proposicin anterior si adems le

pedimos que 0 sea finita (o finita ) entonces la extensin de 0 a (A ) es
nica.
Demostracin Sea 1 = |M como en la proposicin anterior y supongamos que
2 es otra extensiones de 0 a (A ) , luego:
1 |A = ( 0 ) = 2 |A
Al igual que la proposicin anterior sea:
M = { A X : A es medible}
- 13 -

Anlisis Real

Captulo 1

- 14 -

como ya probamos M es lgebra que contiene a la generada por A.

Tenemos que probar que 1 |M = 2 |M .
Primero probaremos que coinciden en un conjunto de medida finita.
Sea E M tal que 1 ( E ) < entonces 1 ( E ) = 2 ( E )
Tenemos que E M :
porque en A , 2 = 0

1 ( E ) = inf 0 ( An ) : E U An , An A n = inf 2 ( An ) : E U An
n

n
n
Por otro lado como 2 es una medida sobre M (A ) :

( An ) 2 U An { 2 ( E )
n

E U An
n

en particular esto vale para el nfimo y se tiene:

1 ( E ) 2 ( E )

Recordemos que si Bn Bn+1 entonces U Bn = lim ( Bn )

n
Sea en nuestro caso Bn = U A j y llamemos A = U An con ( An ) A se cumple:
n

j =1

1 ( A ) = 1 U An = lim 1 U Aj = lim 2 U Aj = 2 U An = 2 ( A)
n
n
j =1
1442443

j =1
A

luego 1 ( A ) = 2 ( A ) (1)

Por ser 1 ( E ) < se tiene que para cada > 0 ( An ) A tal que E
1 ( E ) + 0 ( An )
n

0 = 1 sobre A

(A )

UA

y:

1 U An = 1 ( A )
1 es medida sobre M
n

y nos queda:

1 ( A ) 1 ( E ) = 1 ( A \ E )
Como A \ E M , por lo ya demostrado 1 ( A \ E ) 2 ( A \ E ) entonces:

1 ( E ) 1 ( A ) = 2 ( A ) = 2 {
A I E + 2 144244
A I E C3
EA
(1)
EM
=E
A\ E
2 ( E ) + 1 ( A \ E ) 2 ( E ) +
y como es arbitrario se tiene que 1 ( E ) 2 ( E ) y por lo tanto se cumple la
igualdad.
Con lo que tenemos probado que coinciden en un conjunto de medida finita.
Ahora como X = X n , con 1 ( X n ) < ; sea E cualquiera en M , entonces:
n

- 14 -

Anlisis Real

Medida

por ser E = E I X = E I X n = E I X n
n

- 15 -

1 ( E ) = 1 E I X n = 1 ( E I X n )
n

y como E I X n X n 1 ( E I X n ) 1 ( X n ) < y por lo ya probado:

1 ( E ) = 1 ( E I X n ) = 2 ( E I X n ) = 2 E I X n = 2 ( E )
n

Definicin 1.11Dada una medida : M [0, ] definida en una lgebra M

se dice que E M tiene medida nula si:
(E) = 0
Definicin 1.12 Dado un espacio de medida ( X ,M , ) se dice que F P ( X ) es
- nulo si F E con E M tal que ( E ) = 0.
Definicin 1.13 Dado un espacio de medida ( X ,M , ) decimos que es completo si
para todo F X tal que F es nulo F M.
De acuerdo a estas definiciones y aplicando lo demostrado en el teorema de
Carathedory podemos enunciar la siguiente proposicin.
Proposicin 1.6 Dado un conjunto X sea : P ( X ) [ 0, + ] una medida exterior

y sea M = { A X : A es medible} entonces:

i) M es una lgebra.
ii) |M es una medida completa.

Demostracin La afirmacin i) ya fue demostrada y la ii) se demostr que |M es

una medida, ahora para probar que es completa alcanza con probar que si A X tal
que ( A ) = 0 A M , y para eso consideremos E X :
0 ( E I A ) + ( E I AC ) ( E I AC )
14444244443
( A) =0

E I AC E

luego A es medible A M.
Definicin 1.14 Dado un espacio de medida ( X ,M , ) sea:
M = { A U N : A M , N es nulo}
a M se le llama completacin de M.
- 15 -

(E )

Anlisis Real

Captulo 1

- 16 -

Observacin 1.9 Sea ( X ,M , ) un espacio de medida y M la completacin de

M entonces M M . Ya que es nulo A M A = A U M. En el
caso que ( X ,M , ) es completo entonces M = M.
Proposicin 1.7 Sea ( X ,M , ) un espacio de medida y M la completacin de
M entonces M es una lgebra y si definimos : M [ 0, + ] como:
( A U N ) = ( A ) donde N es nulo

se tiene que es una medida en ( X ,M ) y es completa.

Demostracin Sea H n = An U Fn con An M , Fn En tal que En M , ( En ) = 0

por definicin H n M n y tenemos que:

UH

= U ( An U Fn ) = U An U U Fn
n
n{
n

U En y 0 U En ( En ) = 0 luego
43
n n 14424
n
n
=0
Sea H = A U F con F E , E M y ( E ) = 0
y como

UF

UH

HC = (AU F) = {
AC I F C
C

y se tiene que F E E F entonces:

H C = AC I F C I E C AC I F C I E
y como AC I F C I E E ( AC I F C I E ) es nulo
C

adems AC I FC I E C = A C I E C y se tiene que:

C
A, E M A U E M ( A U E ) M

luego H C M y se tiene que M es una lgebra

Ahora queremos ver que est bien definido, es decir que si:
H = A U F = A U F con A, A M y F , F nulos ( A ) = ( A )
F , F nulos existen E , E M tal que F E , F E y ( E ) = ( E ) = 0
entonces como:
A H = A U F A U E
se tiene ( A ) ( A U E ) ( A ) + ( E ) = ( A ) ( A ) ( A ) por el mismo
1442443
=0

razonamiento resulta ( A ) ( A ) que son iguales.

Ahora probamos que es una medida.
( ) = ( ) = 0
- 16 -

Anlisis Real

Medida

ya que = { U
M

Por otro lado H n

n
n

- 17 -

=
An = ( An ) {=
{ n

por def.

(H

por def. n

) es aditiva

y por lo tanto es una medida.

Sea L nulo L H M tal que ( H ) = 0 , y H M H = A U F con
AM y F nulo se tiene que ( H ) = ( A ) = 0 adems por ser F nulo
F E , E M y ( E ) = 0 entonces:
L A U F A U E y ( A U E ) = 0 L es nulo
y como se puede escribir L = { U L
{ L M M es completa.
nulo
M

Proposicin 1.8 (Teorema de aproximacin)

Dado un conjunto X y en el un lgebra A sea:
0 : A [0, + ] una premedida aditiva
definimos : P ( X ) [ 0, + ] tal que:

( E ) = inf 0 ( A j ) : E U A j , A j A j
j =1
j =1

y sea M = { A X : A es medible} , entonces si E M con ( E ) < y dado

> 0 se tiene que A A tal que :

( EV A ) <
siendo la extensin de 0 a M (como ya fue visto en la proposicin 1.4)
Demostracin Podemos tomar una sucesin ( An ) A de elementos disjuntos con
E An tales que:
n

( E ) ( An ) < ( E ) +
n =1

Como la serie converge existe N tal que:

(A ) < 2

n= N
N 1

j =1

n =1

definimos A = U Aj ; y sea A = U An A A y:
Ahora

EV A = ( E \ A ) ( A \ E )

- 17 -

Anlisis Real

Captulo 1

( A \ E ) ( A \ E )

=
{

por ser ( E )<

- 18 -

( A ) ( E ) = ( An ) ( E ) =

= ( An ) ( E ) < ( E ) +
n =1

(E ) =
2
2

Por otro lado

( E \ A ) ( A \ A ) = U An = ( An ) <
2
n= N n= N
luego:

( EV A ) <

Definicin 1.15 Una medida cuyo dominio de definicin sea la lgebra de Borel
B ( ) o simplemente B , se le llamamos medida de Borel.
Proposicin 1.9 Sea : B [ 0, + ] una medida de Borel tal que si E B y es
acotado, sea ( E ) < . Definimos F : como:
( ( 0, x ]) si x 0
F ( x) =
( ( x, 0]) si x < 0
Entonces F es creciente y continua por la derecha y adems F ( 0 ) = 0

Demostracin Probaremos primero que es creciente. Para lo cual distinguimos

varios casos:
i) Si x 0 > y F ( x ) 0 F ( y )
y
0
x
ii)Si x > y 0 F ( x ) = ( ( 0, x ]) = ( ( 0, y ]) + ( ( y, x ]) =
= F ( y ) + ( ( y , x ]) F ( y )
144424443

iii)Si x y 0 F ( x ) = ( ( x, 0]) = ( ( x, y ]) ( ( y ,0]) =

= ( ( x, y ] ) + F ( y ) F ( y )
14444244443

Ahora probaremos que es continua por la derecha.

Si x 0 y ( xn ) es una sucesin decreciente tal que xn x entonces:

F ( x ) = ( ( 0, x ]) = I ( 0, xn ] = lim ( ( 0, xn ]) = lim F ( xn )
n=1

por ser ( ( 0, xn ]) < n y ( 0, xn ] ( 0, xn1 ] n > 1

Anlogamente si x < 0 con ( x, 0] = U ( xn , 0]

n

- 18 -

Anlisis Real

Medida

- 19 -

F ( 0 ) = ( ( 0, 0]) = ( ) = 0
Observacin 1.10 Si a < b y a, b 0 entonces:
( ( a, b ]) = ( ( 0, b ] \ ( 0, a ]) = ( ( 0, b ]) ( ( 0, a ]) = F ( b ) F ( a )
Igual en los dems casos.
En el ejemplo 1.3 definimos sobre el conjunto I = {( a, b ] : a b +} el

lgebra generado por I que en su momento notamos por C = a (I ) y que ahora

notaremos solo por A para referirnos al lgebra de las uniones finitas de
intervalos semiabiertos del tipo ( a, b ] admitiendo a = y b = + y en este caso
( a, +] = ( a, + ) . Sobre esta lgebra A establecemos la siguiente proposicin.
Proposicin 1.10 Sea A el lgebra recin mencionada y sea F : una
funcin creciente, continua por la derecha, entonces si definimos la funcin
F : A [0, + ] de manera que si la sucesin de intervalos disjuntos dos a dos

( ( ai , bi ])in=1 A se tiene:
n
n
F ( ai , bi ] = F ( bi ) F ( ai )
i =1
i =1
F ( ) = 0
F as definida es una premedida.
Demostracin Primero tenemos que ver que F est bien definida, es decir que si:
n
m
n

A = ( ai , bi ] = ( c j , d j F ( ai , bi ] = F ( c j , d j
i =1

i =1

i =1
i =1

veamos primero que para el caso en que

( a , b ] = ( a, b ] con
n

i =1

( ( ai , bi ])in=1 son disjuntos y su unin

a = a1 < b1 = a2 < b2 = a3.....an < bn = b se tiene:

n

F ( ( a, b ]) = F ( bi ) F ( ai ) = F ( b ) F ( a )
i =1

luego no depende de la particin del intervalo.

En el caso general tenemos usando la definicin y la igualdad anterior para cada
intervalo tenemos:
m
m
F ( c j , d j = F ( c j , d j
j =1
j =1
entonces si llamamos I i = ( ai , bi ] y I j = ( c j , d j podemos escribir:
- 19 -

Anlisis Real

Captulo 1

si A = i =1I i = j =1I j entonces

n

- 20 -

( I i ) = F ( I i I I j ) = F ( I j ) luego F

i, j

esta bien definida.

Para ver que es una premedida tenemos que probar que si ( An ) A
elementos son dos a dos disjuntos y

UA

cuyos

A entonces F An = F ( An ) .
n

A = An = ( a, b ] , y que ( an , bn ] = An n entonces

Se puede suponer que

podemos escribir:
N

A = An = An U An
n=1 n= N +1
n =1

y como A, An A
N

n =1

A A

n = N +1
N

y:

N N
F ( A ) = F An + F F An = F ( An ) N
n=1
n= N +1
n=1 n =1
pasando al lmite respecto a N:
N

N 01

n =1

F ( A ) lim F ( An ) = F ( An )
N

Para demostrar la desigualdad contraria supongamos < a < b < +.

Dado > 0 como F es continua por la derecha > 0 tal que:
F ( a + t ) F ( a ) < t [ 0, ]
entonces existen n > 0 tal que F ( bn + t ) F ( bn ) < n si t [ 0, n ]
2
La familia de intervalos ( an , bn + n )n es un cubrimiento por abiertos de [ a + , b ]
que es compacto, luego existe un subcubrimiento finito y sea:
{( an1 , bn1 + n1 ) ,..., ( ank , bnk + nk )}
el de cardinal mnimo.
A menos de una reordenacin se puede suponer que an1 < an2 < ... < ank y adems
bni + ni ( ani+1 , bni+1 + ni +1 ) an1

bn1 + n1
an2

entonces

bn2 + n2

F ( A ) = F ( ( a, b ] ) = F ( ( a, a + ] ) + F ( ( a + , b ] ) =
= F ( a + ) F ( a ) + F ( ( a + , b ]) < + F ( ( a + , b ])
144444424444443
<

usando el cubrimiento:

- 20 -

Anlisis Real

Medida

- 21 -

F ( A ) < + F ( ( a + , b ]) + F U ( ani , bni + ni )

i =1

+ F ( ( ani , bni + ni ) ) = + F ( bni + ni ) F ( ani ) =

k

i =1

i =1

= + F ( bni + ni ) F ( bni ) + F ( bni ) F ( a ni ) =

i =1
k

= + F ( bni + ni ) F ( bni ) + F ( bni ) F ( ani )

1444444442444444443 i =1
n =1
<

2n

a
b
,

F ( An )
+
<
+
+

F ( ( ni
ni )
n
n
2
n =1 2
i =1 1444442444443
n
1
n
1
=
=
{
= F ( An )
k

es decir que para cada > 0 arbitrario se tiene:

F ( A ) < 2 + F ( An )
n =1

luego F ( A ) F ( An ) y por lo tanto son iguales y F es una premedida.

n =1

Si a = para cualquier h < la familia de intervalos ( an , bn + n )n es un

cubrimiento de [ h, b ] , as que el mismo razonamiento que antes da:

F ( b ) F ( h ) 2 + F ( An ),
n =1

Por otro lado si b = + para cualquier h < obtendremos igualmente que:

F ( h ) F ( a ) 2 + F ( An )
n =1

El resultado deseado se obtiene al hacer 0 y h + .

Definicin 1.16 La extensin de la premedida del enunciado anterior a la
lgebra ( (A ) ) que no es otra que la lgebra de Borel (B ( ) ) se le
llama medida de Borel-Stieltjes asociada a F.
Proposicin 1.11 a) Si F : es una funcin creciente y continua por la
derecha, entonces existe una nica medida de Borel-Stieltfjes asociada a F tal que:
F ( ( a, b ] ) = F ( b ) F ( a )
Si G es otra funcin tal que F = G entonces:
F G es constante
b) El mapa F F es una biyeccin entre los conjuntos:
- 21 -

Anlisis Real

Captulo 1

- 22 -

{F : creciente, continua por la derecha y F ( 0 ) = 0} y las medidas

{ : B [0, + ] : medida tal que ( E ) < si E es acotado} .

de

Borel

Demostracin
a) Por la proposicin anterior el mapa F tal que:
n
n
F ( ai , bi ] = F ( bi ) F ( ai )
n =1
i =1
es una premedida, y es finita ya que = ( n, n + 1] y:
n

F ( ) = F ( ( n, n + 1]) = F ( n + 1) F ( n )
144444424444443
n
n
<

es unin numerable de conjuntos de medida finita la premedida es finita.

Por la proposicin 1.5 se extiende de manera nica a una medida F : B [ 0, + ].
Supongamos que G es tal que:
F = G
Sea a < b entonces:
F ( ( a , b ]) = G ( ( a , b ] ) F ( b ) F ( a ) = G ( b ) G ( a )
F (b ) G (b) = F ( a ) G ( a )
( F G )( b ) = ( F G )( a )
y como a y b son arbitrarios ( F G ) es constante.
b) El mapa F F por lo anterior y la condicin F ( 0 ) = 0 es inyectivo, pero
por la proposicin 1.9 es sobre.
Definicin 1.17 Dada una funcin creciente y continua por la derecha por la
proposicin 1.10 genera una premedida F : A [, 0 + ] si definimos la medida
exterior F : P ( ) [0, + ] como:

F ( E ) = inf F ( ( an , bn ]) : E U ( an , bn ]
n

y si llamamos MF = {E : E es F medible} tenemos que es una lgebra y

por la proposicin 1.5 F := F |MF es una medida completa.
Adems A B MF y F |A = F entonces llamamos - lgebra de
conjuntos medibles de Lebesgue a MId. que notamos por L y llamamos medida
exterior de Lebesgue a Id que notaremos por m y llamamos medida de Lebesgue
a Id que notaremos como m .
- 22 -

Anlisis Real

Medida

- 23 -

Ejemplo 1.11 Dado x + definimos x : B [ 0, + ] de la siguiente manera:

1 si x E
x ( E ) = E ( x) =
0 si x E
se le llama medida de Dirac concentrada en X.
1
Definimos una funcin F : como sigue:
( ( 0, t ]) si t 0
F (t ) = x
x
x ( ( t , 0]) si t < 0
Entonces F ( t ) = 0 t < 0
si t > 0 F ( t ) = 0 si t < x ,y F ( t ) = 1 si t x . Entonces F es creciente y
continua por la derecha.
Sea F la premedida asociada a F:
0 si x ( a , b ]
F ( ( a, b ]) = F ( b ) F ( a ) =
1 si x ( a, b ]
Sea F la medida exterior asociada a esta premedida entonces:
Si E X tal que x E F ( E ) = 0 ya que E { x} =
C

entonces

U (( n, x ] U ( x, x + n])

1
n

F ( E ) F ( ( n, x 1n ]) + F ( ( x, x + n ]) = 0
144444424444443 n 1444442444443
n
=0

=0

Luego los conjuntos que no contienen a x son medible { x} es F medible

y por lo tanto todos los subconjuntos de son medible.

Proposicin 1.12 La medida (m) de Lebesgue y la medida exterior
Lebesgue son invariantes por traslaciones, es decir:
Sea E , x E + x = { y + x : y E} entonces:

m ( E + x ) = m ( E ) x , E
m( E + x) = m( E )

Demostracin Basta probar para m

Primero observamos que:

n =1

n =1

E U En E + x U ( En + x )
entonces:

m ( E ) = inf ( bn an ) : E U ( an , bn ] =
n=1

n =1

- 23 -

(m )

de

Anlisis Real

Captulo 1

- 24 -

= inf [bn + x ( an + x )] : E + x U ( an + x, bn + x ]
n=1

n =1

Luego:

m ( E ) = inf d n c{n : E + x U ( cn , d n ] = m ( E + x )
{

n =1
n=1 bn + x an + x

Estas dos propiedades caracterizan la medida de Lebesgue.

Proposicin 1.13 Sea : B [ 0, + ] una medida tal que es invariante por

traslaciones y ([ 0,1]) = 1 entonces = m .
Demostracin Si x ({ x}) = 0 ya que de no ser as ({ x}) = > 0 se tiene

que ({ y}) = > 0 y por ser invariante por traslaciones.

Pero si 1 = ([ 0,1]) ({ 1n : n 1}) = ( 1n ) = lo cual es un absurdo.

{
n
>0

Por otro lado por ser invariante por traslaciones se tiene que:
n1
n1
( ( n, n ]) = U ( k , k + 1] = ( ( 0,1]) = 2n <
k = n
k = n

Entonces ( ) = U ( n, n ] = ( ( n, n]) con ( ( n, n]) <

n
n
Luego es una medida de Borel finita sobre acotados existe una nica
F : creciente y continua por la derecha que F ( 0 ) = 0 de manera que
= F de hecho es:
( ( 0, x ]) si x 0
F ( x) =
( ( x, 0]) si x < 0
Para terminar tenemos que probar que F = Id .
Si x = n con n entonces como:
F ( n ) = ( ( 0, n ]) = ( ( 0,1] (1, 2] ... ( n 1, n ]) =
= ( ( 0,1]) + ( (1, 2]) + ... + ( ( n 1, n ]) = n
144424443 144424443
14444244443

tenemos que F ( n ) = n

=1

Por otro lado si x sea x =

F(

p
q

=1

p
q

=1

> 0 entonces:

p
p j 1 j p
j 1 j
) = (( 0, ) = ( q , q = (( q , q ) = ( ( 0, q1 ) = p ( ( 0, 1q )
j =1
j =1
j =1
p
q

- 24 -

Anlisis Real

Medida

- 25 -

pero si p = q por lo anterior F (1) = 1 entonces q ( ( 0, 1q ) = 1 y por la tanto:

( ( 0, 1q ) =

sustituyendo

1
q

F ( qp ) = p ( 1q ) =

p
q

Si x es un nmero real cualquiera podemos considerar que est determinado por un

par de sucesiones racionales convergentes, es decir ( an ) , ( bn ) tales que ( an ) es
montona creciente, ( bn ) es montona decreciente, donde adems an < bn n y
para cada > 0, n0 tal que bn an < n n0 , entonces x tal que ( an ) x y
( bn ) x + .

Consideremos primero que x + ( an ) , ( bn ) + como an < x < bn se tiene:

( 0, an ] ( 0, x ] ( 0, bn ] ( ( 0, an ]) ( ( 0, x ]) ( ( 0, bn ])
P

F ( an ) F ( x ) F ( bn )
P

como an , bn
an
bn
Luego como n se tiene que an F ( x ) bn F ( x ) est determinado por el
par de sucesiones ( an ) , ( bn ) y como determinan un nico nmero real se tiene que:
F ( x) = x
Anlogamente se procede si x .
Ejemplo 1.12: Conjunto de Cantor
Consideremos el conjunto cuya construccin es la siguiente, partimos el intervalo
[0,1] en tres tercios, y extraemos el tercio central, luego repetimos el proceso para
estos tercios y as sucesivamente, el lmite de esta construccin es el conjunto de

Cantor. Para entender ms esto vamos a introducir el operador () que consiste en

extraer el tercio central. Entonces:
2 (b a )
ba
Si I = [ a, b ] I = a,
U
a
+
, b , si I = U I k I = U I k

3
3

k
k

1
2
Introducida la notacin comencemos, sea C0 = [ 0,1]; C1 = C0 = [ 0, 3 ] U [ 3 ,1]
Llamemos I11 = [ 0, 13 ] ; I12 = [ 32 ,1] entonces:

C2 = ( I11 ) U ( I12 ) = [0, 91 ] U [ 92 , 13 ] U [ 32 , 79 ] U [ 89 ,1] = I 21 U I 22 U I 23 U I 24 .

2n

En general Cn = ( I nj ) donde cada I nj tiene

j =1

- 25 -

Anlisis Real

longitud

Captulo 1

- 26 -

1
Definimos el conjunto tridico de Cantor como:
3n

C = I Cn
n= 0

El conjunto as definido tiene algunas propiedades importantes:

a) C es compacto no vaco.
Cada Cn es unin finita de cerrados, luego es cerrado, y como C es la interseccin
numerable de cerrados, es cerrado. Pero cerrado C [ 0,1] compacto C es
compacto. Adems es no vaco porque el 0 y el 1 pertenecen a Cn n que
pertenecen a C.
b) m ( C ) = 0
2

2
2
2
Tenemos que m ( Cn+1 ) = m ( Cn ) = m ( Cn1 ) = ... =
3
3
3

n +1

2
m ( C0 ) =
144244
3 3
=1

n +1

Entonces:
2

m ( C ) = m I Cn = lim m ( Cn ) = lim
n + 3
nl n+

n +1

=0

c) Es nunca denso (es decir C = )

Por ser C cerrado C = C y como no hay ningn intervalo abierto en C ya que si
suponemos por el absurdo que tenemos un abierto ( c, d ) C ( c, d ) Cn n y
como Cn es unin de intervalos disjuntos significa que tiene que estar en uno de
ellos
( c, d ) I nk para algn k
por lo tanto
1
0 m ( ( c, d ) ) = d c n n d c = 0
3
o

Luego C = .
d) C es perfecto (es igual al conjunto de sus puntos de acumulacin).
Si expresamos los elementos de C como:
an

C = n : an {0, 2}
n=1 3

Sea x C , > 0
Si no existe n0 a partir del cual todos los trminos de la serie son ceros entonces las
sumas parciales de la serie ( puntos del conjunto de Cantor ) son distintas a t y
siempre hay una a distancia menor que un cierto > 0 arbitrario.
Supongamos que n0 tal que xi = 0 i > n0
- 26 -

Anlisis Real

Medida

- 27 -

Entonces
n0
n0
n
xi
xi
0 2

:
t
=
+
+ i
t = i y sea t C tal que

i
i
3
3
3
i =1
i =1
n0 +1
n +1 3
Claramente t pertenece a C entonces:
n +1

2 1
2
1
1
3
= t + n t t = n
t = t + i = t +
2
3
3
n +1 3
3
2
1
2
Sea tal que n < t t = n < n < esto significa:
3
3
3
t C I B ( t , ) \ t t es de acumulacin
e) C es no numerable.
Como con la mtrica usual es un espacio mtrico completo, y [ 0,1] cerrado,
entonces es completo; por la misma razn, C [ 0,1] cerrado es completo. Luego C
es perfecto y completo luego no es numerable.
Otra forma de afirmar lo mismo es ver que entre los elementos de C y los de [ 0,1]
existe una funcin sobreyectiva, definida como:
xi xi 2
f i = i con xi {0, 2}
i =1 3 i =1 2
Demostracin
xi yi
xi
Si xi {0, 2} yi =
0,1 y podemos escribir f i = i con
2 { }
i =1 3 i =1 2
yi {0,1}
f es sobreyectiva ya que en primer lugar si yi = 0 i f ( ) = 0 y si yi = 1 i

1
implica f ( ) = i = 1
i =1 2
en segundo lugar

yi
con yi {0,1} es un nmero en base dos entre cero y uno.

i
i =1 2
Entonces # C = # [ 0,1] = # = c
f) C es totalmente disconexo.
Esto es consecuencia de lo demostrado en la c) que no hay intervalos en C,( A
es conexo es un intervalo) luego los nicos conexos son los conjuntos
unipuntuales.
Al conjunto de Cantor se le asocia una funcin notable, llamada funcin notable de
Cantor-Legesgue. Se define como el lmite de la sucesin de funciones { f n } de
funciones crecientes y continuas tal que:

( )

- 27 -

Anlisis Real

Captulo 1

- 28 -

fn ( 0 ) = 0

m
f n ( x ) = n si x I nm \ ( I nm )
f n (1) = 1
2
sobre cada intervalo componente de Cn .
Cada

fn

es

creciente,

f n +1 = f n sobre cada I nm \ ( I nm )

(los complementos de Cantor)

1
y f n+1 f n n luego f n es
2
uniformemente
convergente
hacia la funcin buscada .
Obviamente es creciente,
continua y constante sobre cada
intervalo
componente
de
[ 0,1] \ C . En particular tiene
derivada nula en todos los
puntos de [ 0,1] salvo en los del
conjunto de Cantor, que es de medida nula.
Proposicin 1.14 Si X = la lgebra de Lebesgue correspondiente que
notamos por L ( ) cumple que:
# L ( ) = #P ( ) = 2c siendo c = #

Demostracin Como L ( ) P ( ) # L ( ) 2c
Por otro lado
L ( ) {E C : con C conjunto de Cantor}
luego # L ( ) # {E C} = #P ( ) = 2c (ya que # C = # )
144424443
=P ( C )

entonces # L ( ) = 2c
Proposicin 1.15 Sea X = entonces la lgebra de Borel B ( ) cumple:
#B ( ) = # = c
Demostracin Sea P ( ) tal que definimos:

= U An : An o AnC
n =1

- 28

Anlisis Real

Medida

- 29 -

Como entonces si 0 es la topologa usual de definimos 1 = 0 y

as sucesivamente n+1 = n , obtenemos una familia creciente 0 , 1 ,..., n ,...
Sea = al primer cardinal no numerable, entonces para cada ordinal < se
define:

= U
<
finalmente sea F = U ; F as definida es una lgebra tal que F = ( 0 )
<

y el cardinal sera el del continuo #B ( ) = c .

- 29 -

Anlisis Real

Captulo 1

- 30 -

- 30 -

Captulo 2
Funciones Medibles

Recordemos que un mapa f : X Y entre dos conjuntos induce un mapa

f 1 : P (Y ) P ( X ) , definido por:

f 1 ( E ) = { x X : f ( x ) E}
que preserva las uniones, intersecciones y complementos es decir:

f 1 U Ei = U f 1 ( Ei )
iI iI

f 1 I Ei = I f 1 ( Ei )
iI iI
f 1 ( AC ) = ( f 1 ( A) )
Entonces si N es una lgebra en Y,

{ f (E): E N }
1

es una lgebra

en X.
Definicin 2.1 Sean ( X ,M ) y (Y , N ) dos espacios medibles, f : X Y se dice
que es una funcin medible si:
f 1 ( N ) M N N
tambin decimos que f es (M N ) medible.

Proposicin

2.1

Si

N = (S ) con S P (Y ) , entonces

f : X Y

(M N ) medible si y solo s f 1 ( E ) M E S.
Demostracin Es obvia
Sea F = {E Y : f 1 ( E ) M } veremos que es una lgebra ;
- 31 -

es

Anlisis Real

Captulo 2

- 32 -

}
C
si E F f 1 ( E ) M ( f 1 ( E ) ) M
por def.

f 1 ( E C ) M E C F
anlogamente
si ( En ) F f 1 ( En ) M U f 1 ( En ) M
n

f 1 U En M U En F
n
n
1
adems por hiptesis E S f ( E ) M S F y por lo tanto contiene a
la sigma lgebra generada, es decir:
(S ) F
P

luego E N f

N
( E ) M f es (M N ) medible.

Corolario 2.2 Si X e Y son espacios mtricos (o espacios topolgicos), entonces

todas las funciones continuas son (B ( X ) B (Y ) ) medibles.
Demostracin Por ser f continua, si y solo s f 1 (U ) es abierto en X, U abierto de
Y.
Definicin 2.2 Sea X espacio topolgico, ( X ,M ) un espacio medible, a la funcin
f : X ( o )

se dice

M medible o simplemente medible si es

(M B ( ) ) -medible (o (M B ( ) medible ) .
En particular si f : ( o ) llamamos Borel medible si f es
(B ( ) B ( ) ) medible (o (B ( ) B ( ) ) medible ).
En el caso que M = L entonces ( X , L ) es el espacio medible de Lebesgue y
decimos de f : X ( o ) que es Lebesgue medible si es (L B ) medible.
Observacin 2.1 Si f , g : son Lebesgue medibles, no implica que f o g sea
Lebesgue medible.
Si E B ( ) tenemos que f 1 ( E ) L pero esto no garantiza que
g 1 ( f 1 ( E ) ) L a menos que f 1 ( E ) B ( ) . Sin embargo si f es Borel medible,

entonces f o g es Lebesgue medible o Borel medible siempre que g lo sea.

- 32 -

Anlisis Real

Funciones medibles

- 33 -

Definicin 2.3 Sean ( X ,M ) y (Y , N ) dos espacios medibles, y una funcin

f : X Y definimos los siguientes conjuntos:
M = {E P ( X ) : E = f 1 ( N ) para algn N N }
llamado pull-back de N ; y el conjunto:
N = {B P (Y ) : f 1 ( B ) M }
llamado pull-forward de M .
Podemos enunciar las siguientes proposiciones:
Proposicin 2.3 Sean ( X ,M ) y (Y , N ) espacios medibles, f : X Y es medible
si y solo s M M.
Proposicin 2.4 Sean ( X ,M ) y (Y , N ) espacios medibles , f : X Y es medible
si y solo s N N .
Demostracin Basta con ver el siguiente esquema y la definicin de medible.
X

f 1 ( N )

Y
B P (Y )

f 1 ( B ) M

N N

f 1

f 1

Entonces si M M N N
Y si N N B N

f 1 ( N ) M f es medible.

f 1 ( B ) M f es medible.

Proposicin 2.5 Si ( X ,M ) es un espacio medible y f : X , entonces las

siguientes afirmaciones son equivalentes.
i) f es M medible.
ii) f 1 ( ( a, + ) ) M a .
iii) f 1 ([ a, + ) ) M
iv) f 1 ( ( , a ) ) M
v) f

a .

a .

( ( , a]) M a .

- 33 -

Anlisis Real

Captulo 2

- 34 -

Demostracin Simplemente por la proposicin 2.1 y el hecho de que B ( ) es

generado por los intervalos abiertos, semiabiertos, con ambos extremos finitos o
uno de los extemos infinito.
Definicin 2.4 Sea ( X ,M ) un espacio medible, f es una funcin definida en X, y
E M diremos que f es medible en E si f 1 ( B ) I E M B B ( ) , es
equivalente a decir que f |E es ME medible con ME = {F I E : F M }.
Definicin 2.5 Sea X un conjunto, (Yi ,Mi )iI una familia de espacios medibles y
fi : X Yi , i I . A la menor lgebra en X que torna a todas las fi medibles
es llamada lgebra inicial . En smbolos la lgebra inicial es la

lgebra U f 1 (Mi ) .
iI

Proposicin 2.6 En las condiciones de la definicin anterior, si para cada i I ,

Ci es una clase de subconjuntos de X, tal que (Ci ) = Mi entonces la
lgebra inicial coincide con la lgebra generada por la familia:
n 1

D = I f ik ( Cik ) : Cik Cik , ik I , k = 1, 2,..., n , n

k =1

Demostracin Sea F la lgebra inicial . Como F torna a las fi medibles,

fi 1 ( Ci ) F para todo Ci Ci para todo i I . Adems de eso como F es
cerrada por interseccines finitas (F es lgebra ), D F , entonces
( D ) F . Por otro lado,
fi 1 (Mi ) = fi 1 ( (Ci ) ) = ( fi 1 (Ci ) ) ( D ) ,

lo que implica que fi es ( D ) medible, i I F ( D ) , y son iguales.

Definicin 2.6 En las condiciones de la definicin anterior Y = Yi y las
iI

funciones fi = i proyecciones naturales de Y sobre Yi , la lgebra inicial se

le llama lgebra producto.
Si M es la lgebra producto notamos M = Mi .
iI

Veamos la siguiente generalizacin de la observacin 2.1.

- 34 -

Anlisis Real

Funciones medibles

- 35 -

Proposicin 2.7 Sean ( X ,M ) , (Y , N ) y ( Z ,O ) espacios medibles, y las

funciones f : X Y , g : Y Z medibles, entonces g o f es medible.
Demostracin Por ser g medible g 1 ( E ) N

E O y por ser f medible es

f 1 ( g 1 ( E ) ) M ( g o f ) ( E ) M , lo que significa que g o f es medible.

1

Proposicin 2.8 Sean (Yi ,N i )iI una familia de espacios medibles, X un conjunto
y i : Y Yi i I las proyecciones naturales de Y sobre los Yi . Sea N la
lgebra inicial correspondiente sobre Y.Sea ( X ,M ) un espacio medible y
f : X Y , entonces f es medible si y solo s fi = i o f son medibles i I .
Demostracin por ser f y i medibles i o f es medible por la
proposicin anterior.
Supongamos que i o f son medibles i I . Por las proposiciones 2.1 y 2.6
alcanza con probar que n , i1 , i2 ,..., in I , Aik Mik con k = 1,..., n se tiene:
n 1

f I ik ( Aik ) M
k =1

y esto se deduce de:

1
n 1
n
f I ik ( Aik ) = I ( ik o f ) ( Aik ).
43
k =1
k =1 1444444244444
M
1

Proposicin 2.9 Si R n indica la - lgebra de Borel en n entonces:

R ... R .
Rn = R
1444442444443
n veces

Demostracin Si I indica la familia de intervalos abiertos en , y I n la

familia de productos de estos intervalos en n , tenemos que
(I n ) = R R ... R (por que (I ) = R y R R ... R es lgebra
producto) Como los elementos de I n son abiertos, tenemos I n R n y por
tanto R R ... R R n . Recprocamente, como todo abierto de n puede ser
escrito como una unin numerable de elementos de I n , tenemos que todo abierto
es perteneciente a R R ... R , y por tanto R n R R ... R.
Corolario 2.10 Sea ( X ,M ) espacio medible y f1 , f 2 ,..., f n funciones que toman
valores en . Entonces ellas son medibles si y solo s la funcin
- 35 -

Anlisis Real

Captulo 2

- 36 -

( f1 ( ) , f 2 ( ) ,..., f n ( ) ) es (M R n ) medible.
Como consecuencia tenemos que:
Proposicin 2.11 Sea ( X ,M ) espacio medible, f y g dos funciones medibles que
toman valores en , c entonces las funciones:
cf , f 2 , f , f + , f , f + g y fg
son medibles ( f + = max { f , 0} , f = max { f , 0} )
Demostracin Las primeras 5 son composicin de f con una funcin contunua.
Para probar que f + g es medible procedemos de la siguiente forma:
x + y es continua y por tanto R R medible.
A la funcin ( x, y ) x

La funcin M ( f ( ) , g ( ) ) 2 es (M R R ) medible.
Como f + g es composicin de estas dos funciones ella tambin es medible. El
mismo argumento usamos con el producto.
Estudiaremos funciones reales positivas f : X [ 0, + ]

+ = + U {+} U {0}
B ([0, + ]) = {E [0, + ] : E I B ( )}

Observacin 2.2 Sea ( X ,M ) espacio medible, para que f : X [ 0, + ] sea

medible en [ 0, + ] alcanza con probar que:
f 1 ([ a, + ]) M o f 1 ([ a, + ) ) y f 1 ({+}) M

Definicin 2.7 Sea ( X ,M ) espacio medible y una funcin f : X [ 0, + ]

definimos el siguiente conjunto:
{ f : X [ 0, + ] : f es medible} = L+ ( X ,M )
o simplemente L+ .
Proposicin 2.12 Sea una sucesin de funciones ( f n )n L+ entonces las
funciones:
g1 ( x ) = sup f n ( x )
g 2 ( x ) = inf f n ( x )
n

n +

n +

g 3 ( x ) = lim sup f n ( x ) g 4 ( x ) = lim inf f n ( x )

todas pertenecen a L . Adems si f ( x ) = lim f n ( x ) existe para todo x X ,
+

n +

- 36 -

Anlisis Real

Funciones medibles

- 37 -

entonces f L+ .
Demostracin Para g 2 se tiene:

g 21 ( ( a, + ]) = { g 2 > a} = U { f n > a} = U f n1 ( ( a, + ]) M
1444442444443
n
n
M

1
2

f ([ 0, a ) ) M
([ 0, a ) ) = { g 2 < a} = U { fn < a} = U 1444
4244443
n

1
n

analogamente para g1 . Si hk ( x ) = sup n> k f n ( x ) tenemos que hk es medible para

cada k, as g 3 ( x ) = inf k hk es medible. Igual con g 4 . Finalmente si existe el lmite
de las f n para todo x, se tiene que f = g 3 = g 4 , y as es f medible.
Corolario 2.13 El mximo, mnimo y lmite de funciones si existen son medibles.
Definicin 2.8 Sea ( X ,M ) un espacio medible, a la funcin A : X {0,1}
llamamos funcion caracterstica de A o funcin indicadora de A si esta definida
como sigue:
1 si x A
A ( x) =
0 si x A
Observacin 2.3 La funcin caracterstica de un conjunto A es medible si y solo s
AM ya que:
si {0,1} B

X si 0 y 1 B
A1 ( B ) =
A si 1 B y 0 B
AC si 1 B y 0 B
Observacin 2.4 Sea A y B dos conjuntos disjuntos entonces:
A B = A + B
Ya que

A = 1
x A y x B = 0
B

A B = 1
o
1 = A + B

= 0
x B y x A A

Para el caso particular que todo el espacio X = A U B con A y B disjuntos se tiene:

A + B = X = 1
- 37 -

Anlisis Real

Captulo 2

- 38 -

luego como siempre X = A U AC A + AC = 1

Generalizando para una sucesin ( An )n de conjuntos disjuntos dos a dos:

An

= An
n

Observacin 2.5 Sean A y B dos conjuntos, entonces:

AI B = A B
Ya que:

x A A = 1

1 si x A I B
A B

=
y
1

x B = 1

B
AI B ( x ) =
= A B ( x)
x A A = 0

0 si x A I B
o
0 = A B

x B = 0

Generalizando para una sucesin ( An )n tenemos:

I An

= An
n

Definicin 2.9 Sea ( X ,M ) un espacio medible f : X [ 0, + ] se dice que es

una funcin simple si y solo s existen a1 , a2 ,..., an + y A1 , A2 ,..., An M
disjuntos dos a dos tales que:
n

f = ai Ai
i =1

Al conjunto de las funciones simples notamos por S +

n

Observacin 2.4 Si los ai son distintos, la funcin simple f = ai Ai es nica.

i =1

La suma y el producto de funciones simples son simples.

Definicin 2.10 En las mismas condiciones que la definicin anterior si la
sumatoria en vez de ser finita es infinita a saber:

f = ai Ai
i =1

decimos que f es una funcin elemental.

En la siguiente proposicin probaremos que L+ = S + .
- 38 -

Anlisis Real

Funciones medibles

- 39 -

Proposicin 2.14 (Teorema de Caracterizacin de L+ )

Dada f L+ , existe una sucesin de funciones simples ( f n )n S + tales que:
i) 0 f1 f 2 ... f n < f n
ii) lim f n ( x ) = f ( x ) en X (convergencia puntual)
n +

iii) Si f ( x ) k

x A f n | A f | A (converge uniformemente).

Demostracin
Tomemos la funcin:
i 1
A( n,i) + n{ f n}
n
i =1 2
i 1
i
siendo A( n ,i ) = x X : n f ( x ) < n por definicin esta claro que f n S +
2
2
Al intervalo [ 0, n ] lo dividimos en n2 n intervalitos de longitud 21n y de n en
n 2n

fn =

adelante un solo intervalo.

i
2n

interv.i
i1
2n

A( n ,i )

A( n ,i )

A( n ,i )

Se tiene que:

fn ( x )

f n +1 ( x ) =
1
f n ( x ) + 2 n+1
luego f n +1 f n en f 1 ([ 0, n ])

en f 1 ([0, n ])

y en f 1 ([ n, + ) ) f n = n y f n+1 = n + 1 > f n , luego f n es montona

creciente y por definicin f .
- 39 -

Anlisis Real

Captulo 2

- 40 -

ii) Si f ( x ) = f n ( x ) = n
Si f ( x ) k sea n0 tal que n0 > k entonces n n 0 :
1
0 f ( x ) fn ( x ) n 0
2
fn ( x ) f ( x )
iii) Si f ( x ) k

x A se tiene:
1
0 < f f n < n lim f n = f
n
2

x A

Corolario 2.15 Sea f : X una funcin medible, entonces existe

una sucesin ( f n )n de funciones simples tal que:
i) f n ( x ) f ( x )
ii) Si f est acotada sobre E X entonces:
f n |E f | E
iii) f n ( x ) f n+1 ( x ) f

Demostracin
Consideremos primero f : X siendo = U {} U {+} y sean
f n y g n funciones simples como en la proposicin anterior, f n con
respecto a f + y g n con respecto a f .

Sea hn ( x ) = fn ( x ) gn ( x )

f + ( x ) f ( x ) = f ( x ) de igual

por prop. anterior

forma se demuestra ii).

hn = f n + g n f n+1 + g n+1 = hn+1 f + + f = f
En el caso complejo f : X se deduce igual al caso anterior
pasando a Re f y Im f .

- 40 -

Captulo 3
Integracin

Definicin 3.1 Sea ( X ,M , ) un espacio de medida. Se dice que una propiedad se

satisface en casi todo punto segn ( ctp ) , si el conjunto de puntos donde no
se satisface la propiedad est contenido en algn conjunto de medida nula.
Ejemplo 3.1 Sea f : tal que f ( x ) = senx la propiedad senx 0 es ctp m
siendo m la medida de Lebesgue.
Ejemplo 3.2 f : tal que:

con

p
q

0 si x o x = 0
f ( x) = 1
p
q si x = q
fraccin irreducible q > 0 entonces:

a) f = 0 ctp m
b) Adems f es continua ctp m
Definicin 3.2 Sea ( X ,M , ) un espacio de medida, sea f S + una funcin
simple, es decir:
n

f = a j E j donde
j =1

(E )
j

n
j =1

es una particin medible de X

(i.e.: E j M j = 1,..., n ; X = E j ) Entonces definimos:

n

j =1

f d = a j ( E j )
j =1

Usaremos indistintamente si no hay lugar a confusin

- 41 -

f =

f = f d
X

Anlisis Real

Captulo 3

- 42 -

Observacin 3.1 La definicin anterior no depende de la particin.

n

j =1

i =1

Sea f = a j E j = bi Fi entonces

j =1

i =1

a j ( E j ) = bi ( Fi ) ya que:

a j ( E j ) = ci , j ( E j I Fi ) = bj ( Fj )
j =1

j =1

i, j

veamos ahora algunas propiedades que cumples las integrales de funciones simples
Proposicin 3.1 Sea ( X ,M , ) un espacio de medida, , S + (funciones simples
no negativas) entonces se cumplen las siguientes propiedades:
i) Si d d
ii) Si c 0 c d = c d

iii) ( + ) d = d + d
: M [ 0, + ]

iv)Si

definicin

definimos

( A ) = d :=
{A d
A

entonces es una medida.

A M

S +

Demostracin Sean las representaciones de las funciones simples:

n

i =1

j =1

= ai Ei , = b j F j
podemos escribir las mismas de la siguiente forma:
n

= ai Ei I Fj , = b j Ei I F j
i =1 j =1

j =1 i =1

por lo tanto puede suponerse que:

N

k =1

k =1

= k Gk , = k Gk donde ( Gk )k =1 es una particin medible de X.

N

i)
N

k k k Gk k Gk
k =1

k =1

d d
anlogamente se prueban ii) y iii) Probemos ahora iv)
a) ( ) = d = 0 d = 0
{
=0

b) Sea ( An )n X una familia numerable de conjuntos disjuntos dos a dos,

entonces:
- 42 -

Anlisis Real

Integracin

- 43 -

n
n

Ak =
= ai Ei I Ak d =
{ Ak d = ai Ei Ak d obser.
2.5
k =1 por def.
i =1
i =1
n

n
= ai Ei I Ak = ai ( Ei I Ak ) = ai ( Ei I Ak ) =

i =1
k =1
i =1 k =1
k =1
i =1

= ai ( Ei I Ak ) = ai Ei Ak d = d = ( Ak )
k =1 i =1
k =1 1442443
i =1
k =1 Ak
k =1

Definicin 3.3 Dado ( X ,M , ) espacio de medida y la funcin simple f para un

conjunto AM definimos:
f d = f Ad
A

Debido a la proposicin 2.14, dada una funcin f L+ sabemos que existe una
sucesin f n S + de funciones simples tales que f n Z f , entonces tiene sentido
introducir la siguiente definicin.
Definicin 3.4 Sea ( X ,M , ) un espacio de medida, f L+ y ( f n )n S + tal
que f n Z f definimos:

f d = lim f n d
X

Si dicho lmite da finito decimos que f es integrable.

Proposicin 3.2 La definicin anterior es consistente, es decir que si tenemos dos
sucesiones ( f n )n , ( g n )n de funciones simples tales que f n Z f y g n Z f
entonces:
lim f n d = lim g n d
Demostracin Probaremos que:
lim f n g p

como se cumple para todo p podemos pasar al lmite en p y se tiene

lim f n lim g p
n

la otra desigualdad se prueba de la misma forma.

Supongamos primero el caso finito:
1) ( X ) <
Sea > 0 arbitrario y p fijo, definimos:
- 43 -

Anlisis Real

Captulo 3

- 44 -

An = { x : g p ( x ) f n ( x )

Claramente por ser ( f n ) creciente An Z X , llamemos M = max { g p ( x ) : x X }

entonces:
An =
f n f n An ( g p ) An = g p An {
( An )

obser. 2.4

(1 ) ( A ) = g
( An )C

g p ( A )C ( An )
n

g p M AC ( An ) g p M ( A ) ( An )
1442443
n
1442443
C
n

( X )

( )= 0

Pasando al lmite:
lim f n g p ( X )
n

Como el es arbitrario > 0 y ( X ) < entonces haciendo 0+ :

lim f n g p
n

Sea ahora el caso infinito, llamemos G p = { x : g p ( x ) > 0}

2)Entonces si ( G p ) < podemos restringir la funcin g p a G p y aplicar lo

anterior lim f n g p en G p y como en G Cp , g p = 0 tambin se cumple, por lo
n

que se verifica en todo X.

Si ( G p ) = sea m = min { g p ( x ) : x G p } por ser g p S + existe el mismo y es
m > 0 , tomemos > 0 tal que 0 < < m , en este caso definimos
Bn = { x : g p ( x ) f n ( x ) } I G p

Claramente Bn Z G p entonces:

f f
n

y pasando al lmite

Bn

( g p ) Bn ( m ) Bn = ( m ) ( Bn )

lim f n ( m ) ( G p ) = = g p
n

Observacin 3.2 Si f es simple la definicin 3.4 coincide con la definicin 3.2.

Adems si A es medible y f n S + , f n Z f f n A Z f A entonces por definicin

f A d = lim f n A d = lim f n d = f d
n

luego tambin vale la definicin 3.3 para funciones f L

f d = f A d
X

Proposicin 3.3 Sea ( X ,M , ) un espacio de medida, f , g L y c 0 entonces

se cumplen:
+

- 44 -

Anlisis Real

Integracin

- 45 -

i) cf d = c f d considerando el caso 0 = 0
ii) Si f g f d g d

iii) ( f + g ) d = f d + g d

iv)

A B

f d = f d + g d A, B M
A

Demostracin Existe una sucesin de funciones simples f n Z f como c 0

entonces cf n Z cf y por definicin:
lim cf n = cf

P
cf = c f
lim c f n = c lim f n = c f

n
n
n

f n simple
ii) Sea f g sabemos que existen ( f m )m , ( g n )n sucesiones de funciones
simples tales que f m Z f y g n Z g si fijamos m = p , como g n Z g f f p se
tiene que existe n0 tal que g n f p n n0 , por ser funciones simples se
cumple:
f p g n n n0
pasando al lmite en n

lim g n = g
n

como se cumple para todo p podemos pasar al lmite en p

lim f p lim g n = g
p
n

P
f g

iii) Tomemos dos sucesiones simples como el caso anterior f n Z f y g n Z g

entonces ( f n + g n ) Z ( f + g ) y aplicando la definicin 3.3
lim ( f n + g n ) = ( f + g )
n

pero por propiedad de funciones simples

( fn + gn ) = fn + gn
y pasando al lmite
lim ( f n + g n ) = lim f n + lim g n
n

( f + g)

- 45 -

Anlisis Real
iv)

A B

Captulo 3

- 46 -

f d = f A B d = f ( A + B ) d =
X

= f A d + f B d = f d + f d
X

Proposicin 3.4 Sea ( X ,M , ) un espacio de medida y f L+ entonces:

f d = 0

f = 0 c.t.p

Demostracin Consideremos el conjunto donde la funcin no es cero.

E = f 1 ( ( 0, +])
E M ya que f L+ y sean los conjuntos En definidos como sigue:
En = f 1 ([ 1n , + ])

En M adems En En +1 y

UE
n =1

= E entonces:

0 = f d f E n d

prop.3.3(ii)

def.

1
n

luego ( En ) = 0 n y entonces:

En d = 1n ( En ) 0

( E ) = U En = lim ( En ) = 0
n 1442443
n =1
=0
por definicin f = 0 c.t.p.
Sea ( f n )n S + tal que f n Z f entonces:
f n1 ( ( 0, +]) f 1 ( ( 0, + ])

luego 0 ( f n1 ( ( 0, + ]) ) f 1 ( ( 0, + ]) = 0 entonces ( f n1 ( ( 0, +]) ) = 0 y

1444442444443

=E
si una representacin de f n es:
n

f n = a j E j con
j =1

UE
n

j =1

=E

se tiene por definicin:

f n d = a j ( E j ) =
j =1

( f ( ( 0, +]) ) = 0
a ( E ) a 144444424444443

j:a j 0

j:a j 0

1
n

=0

Corolario 3.5 Sea ( X ,M , ) un espacio de medida y f , g L+ tales que

f = g c.t.p. entonces:

f d = g d
- 46 -

Anlisis Real

Integracin

- 47 -

Demostracin Si f = g c.t.p. que existe N M tal que ( N ) = 0, con:

f |X \ N = g |X \ N
por otro lado como f N y g N son ceros salvo en N que tiene medida nula (o en
un conjunto que est contenido en N), luego por definicin son cero c.t.p.

f d = ( f

+ f X \ N )d = f N d + f X \ N d =
144424443
=0

= g X \N

=0
64447444
8
d = g N d + g X \ N d = ( g N + g X \ N ) d = gd

Proposicin 3.6 (Teorema de Convergencia Montona) (Beppo Levi)

Sea ( X ,M , ) un espacio de medida y ( f n )n L+ , f L+ tales que:
i) f n ( x ) f n+1 ( x ) c.t.p.
ii) Si f n ( x ) f ( x ) puntualmente c.t.p. , entonces:

lim f n d = lim f n d = f d
n

Demostracin Como la convergencia es puntual c.t.p. , k N k M tal

que ( N k ) = 0 y f k ( x ) f k +1 ( x ) x N k adems existe N M tal que
( N ) = 0 y f n ( x ) f ( x ) x N .

Sea N = U N k U N N M y ( N ) = 0.
k =1
Por otro lado se tiene
f k X \ N ( x ) f k +1 X \ N ( x ) k y x X
y
f k X \ N ( x ) f X \ N ( x ) x X
si probamos:
f k X \ N d f X \ N d

Por ser f k N y f N iguales a cero c.t.p. , como en el corolario anterior se tiene:

d = f k X \ N d

X \N

d =

f d

En consecuencia se puede suponer que:

f k ( x ) f k +1 ( x ) k y x X
f k ( x ) f ( x ) x X

Sea ( f n,m )m una sucesin de funciones simples no negativas, tal que:

f n ,m Z f n

observemos
- 47 -

Anlisis Real

Captulo 3

- 48 -

f1,1

f1,2

f1,m

f1

f 2,1

f 2,2 L

f 2,m

f2

fn

f n ,2 L

f n ,1
definimos:

m
m

f n ,m

g m = max f n,m
n m

entonces para todo m las g m son funciones simples no negativas y la sucesin

( g m )m es creciente y demostraremos que g m Z f .
Si 1 n m, f n,m gm f m tomando lmite cuando m , obtenemos
f n lim g m f
m

y haciendo ahora el lmite cuando n ,

f lim g m f
m

entonces g m Z f y por definicin si 1 n m

f d = lim g
m

por otro lado aplicando la monotona a f n ,m gm fm

n ,m

d g m d f m d

haciendo el lmite cuando m se tiene

f n d f d lim f m d

y cuando n

lim f n d f d lim f m d
n

luego lim f n d = f d = lim f n d .

n

Corolario 3.7 Si ( f n )n L+ entonces:

n =1

f n d = f n d
n =1

Demostracin Basta con considerar

N

lim f n Z
N

n =1

y aplicamos la proposicin anterior.

- 48 -

f
n =1

Anlisis Real

Integracin

- 49 -

Veamos con algunos ejemplos la importancia de que se cumpla la hiptesis de la

monotona.
Ejemplo 3.1 Sea f n : tal que f n = 2n
Entonces

por otro lado

(0, )
1
2n

dm = 2n m ( ( 0, 21n ) ) = 1 m

2n

lim f n = 0 = f ( x ) x
n

y luego

f dm = 0

2n

no se cumple el TCM (Teorema de Convergencia

Montona) porque no tiende a f montonamente ya que:
f n +1 ( x ) f n ( x ) en general, pero si x 2n1+1 , 21n f n +1 ( x ) = 0 y f n ( x ) = 2n luego
f n +1 ( x ) < f n ( x ) .

Ejemplo 3.2 Veamos ahora un ejemplo en que s se cumple.

Sea g L+ [0,1] tal que g ( x ) < x entonces:
x n x n+1 x [ 0,1]

entonces
1 x n 1 x n+1

g ( x ) (1 x n ) g ( x ) (1 x n+1 )
1444442444443 1444442444443
gn ( x )

g n +1 ( x )

g ( x ) si x 1
lim g n ( x ) =
= h ( x)
n
si x = 1
0
se tiene g n ( x ) Z h ( x ) aplicando la proposicin:
lim
n

g
[0,1] n

( x ) dm = [0,1] h ( x ) dm = [0,1] g ( x ) dm

luego
lim
n

[0,1]

g ( x ) (1 x n ) dm =

[0,1]

g ( x ) dm

para sucesiones no negativas, no montonas tenemos el teorema de Fatou

- 49 -

Anlisis Real

Captulo 3

- 50 -

Proposicin 3.8 (Lema de Fatou) Sea ( X ,M , ) un espacio de medida y sean

( f n )n L+ y f = lim f n (lmite inferior) entonces:

f d lim f

o sea lim f n d lim f n d .

Demostracin Definimos:

g n = inf f k
k n

Por definicin de lmite inferior se tiene:

f ( x ) = lim f n ( x ) = supinf f k ( x )
k n
n
n 1 14442444
3
gn ( x )

As f L y por definicin de g n :
g n ( x ) g n+1 ( x ) n y x X con g n Z f

f d = lim g

( x ) d ={ lim g n ( x ) d = sup n g n d
TCM

por otro lado, si k n g n f k y se tiene:

d f k d k n

entonces

d inf k n f k d

tomando supremo
f d = sup n g n d sup n inf k n f k d = lim f n d
n

luego

f d lim f
n

d .

En el ejemplo 3.1 g n = 0 n y justifica que podemos tener la desigualdad

estricta o sea
f n d < lim f n d = 1
lim
{
=0

Corolario 3.9 Sea ( f n )n sucesin de funciones medibles y g, h dos funciones

integrable tales que:
i) f n g entonces
ii) f n h entonces

lim f

lim f n

- 50 -

Anlisis Real

Integracin

lim f

- 51 -

lim f n

Demostracin Probaremos el item i) para el otro caso se procede anlogamente.

Aplicamos la proposicin anterior para
hn = f n g 0
entonces:
limhn lim hn
luego sustituyendo
lim ( f n g ) = lim f n g = lim f n g lim ( f n g ) = lim f n g
entonces

lim f

g lim f n g

Proposicin 3.10 Sea ( X ,M , ) un espacio de medida y f L+ tal que

f d <

entonces:
i) E = { x : f ( x ) > 0} es finito
ii) F = { x : f ( x ) = } es tal que ( F ) = 0 .
Demostracin Probemos primero ii) tenemos que f f F luego:
> f d f F d = F d = ( F ) ( F ) = 0
ahora probemos i)
Sea En = { x : f ( x ) >

1
n

} E = U En basta ver que En tiene medida finita.

Ahora f f En entonces:

n =1

> f d f E n d

1
n

En d =

luego ( En ) < n .

( En )
n

Integrales de funciones cualesquiera

Hasta ahora consideramos funciones cuyo recorrido son los reales no negativos, para
considerar las funciones cuyo recorrido son los reales ampliados, introducimos las
siguientes definiciones.
Definicin 3.5 Sea f : X medible tal que f + d o f d < entonces
definimos:

f d = f

d f d

- 51 -

Anlisis Real

Captulo 3

- 52 -

y decimos que f es -integrable o simplemente integrable si y solo s ambas son

finitas, es decir:
f + d <

f integrable y
f d <

Observacin 3.3 Si f es medible, f es integrable si y solo s f es integrable.
Veamos tenemos que f + , f f f + , f f < luego f es integrable.
f integrable f + , f < lo que implica que:

f = ( f + + f ) = f + + f <
{ {
<

<

y f es integrable.
Ejemplo 3.3 Sea N un conjunto no medible y f definida como f = N N C es no
medible pero f = 1 .
Proposicin 3.11 Sea ( X ,M , ) un espacio de medida y sea L ( X ,M ) o L ( X ) el
conjunto de funciones medibles sobre los reales, entonces el conjunto
= { f L ( X ) : f es integrable} es un espacio vectorial sobre .Adems el
mapa integral :
:
f f d
es una funcional lineal.
Demostracin
Sean f , g a, b , como af + bg a f + b g entonces:
f d + b g d <
af + bg d a 1442443
1442443
<

<

y ( af + bg )
Sean ahora f , g , consideremos h = f + g y como:
h = h+ h = f + + g + f g = ( f + f ) + ( g + g )
reagrupando se tiene
h+ + f + g = h + f + + g + .
- 52 -

Anlisis Real

Integracin

- 53 -

como todos L+ , integramos y por la proposicin 3.3 (iii) se tiene:

+

h + f + g = h + f + g
y reagrupando
f f + g g
h = h h = 1444
4244443 14444244443
+

luego h = f + g .

Veamos ahora la integracin cuando las funciones tienen recorrido los complejos y
para ello primero introducimos algunas definiciones.

Funciones complejas

Definicin 3.6 Sea ( X ,M , ) un espacio de medida y f : X una funcin

medible ( f L ( X ) ) decimos que f es integrable o simplemente integrable si
Re f , Im f son integrables. Adems la integral es por definicin:

f d = Re f d + i Im f d
que a su vez es f d = Re f d + i Im f d
Proposicin 3.12 Sea ( X ,M , ) un espacio de medida y sea L ( X ,M ) o L ( X ) el
conjunto de funciones medibles sobre los complejos, entonces el conjunto
= { f L ( X ) : f es integrable} es un espacio vectorial sobre .Adems el
mapa integral :
:
es una funcional lineal y

f d

f f d
f d .

Demostracin La demostracin de ser un espacio vectorial es igual a la anterior

separando parte real de la imaginaria.
La ltima afirmacin es trivial si f = 0 , si f es real:

f f+ + f = f

Ahora si f es compleja no nula entonces sea = f , y consideremos =

= f =

= luego

f = f

= Re ( f ) + i Im ( f ) = Re ( f ) y:
1442443
=0

- 53 -

Anlisis Real

Captulo 3

- 54 -

f = Re ( f ) Re f f =

tal
Definicin 3.7 Dado un espacio vectorial una funcin : [ 0, + ]
que:
i) f + g f + g f , g
ii) f = f , f
Decimos que es una seminorma, a la pareja ( , ) se le llama espacio
seminormado. Si adems se sastisface:
iii) f = 0 f = 0
Entonces decimos que es una norma, y a la pareja ( , ) se le llama espacio
normado.
Observacin 3.4 Dado un espacio seminormado sea N = { f : f = 0} , es un

subespacio vectorial de ; sobre el cociente =

definimos f : := f siendo
N

f la clase de f en , entonces ( , : ) es un espacio normado.

N
Ya que si g f g f N y entonces:
g = g f + f g f + f = f
1442443
=0

pero haciendo el mismo razonamiento a f g se tiene:

f g
luego f = g si f,g son de la misma clase, por lo que esta bien definido, adems
si
por lo tanto ( ,

=0 f =0 f N

f =0

es un espacio normado.

Definicin 3.8 Sea ( X ,M , ) un espacio de medida , el espacio vectorial de las

funciones integrables, y el subespacio N = f L ( X ) : f d = 0 ,se define el

espacio normado ( L1 ( ) ,

) como:

y f 1 = f d
N
el 1 del superndice o subndice no tiene ningn significado til sino que es una
anotacin estndar.
L1 ( ) =

- 54 -

Anlisis Real

Integracin

- 55 -

Observacin 3.5 Si g f g f N g f d = 0 por proposicin 3.4

g f = 0 c.t.p. f = g

c.t.p. .

Proposicin 3.13 Las siguientes implicaciones son vlidas si es completa:

i) Si f es medible y f = g c.t.p. , entonces g es medible
ii) Si f n es medible n y f n f c.t.p. , entonces f es medible.
Demostracin Ejercicio.
Proposicin 3.14 Sea ( X ,M , ) un espacio de medida y

( X ,M , )

su

completacin. Si f es M medible entonces existe g M medible tal que f = g

c.t.p. .
Demostracin Tenemos que:
M = { F U K : F M K N M tal que ( N ) = 0}
Primero lo probamos para funciones simples.
Sea E M F M tal que E = F U E \ F con E \ F N y ( N ) = 0 y sea
f = E f es M medible .
(E) = (F U E \ F ) = (F )
(E) {
(F ) = 0
(E \ F ) = {
F M M ( F ) = ( F )
= ( F )
=(F )
Sea g = F g es M medible y f ( x ) g ( x ) x E \ F , como ( E \ F ) = 0
se tiene f = g c.t.p. .
Sean f y g funciones simples cualesquiera
n

f = j E j
j =1

con

(E )
j

n
j =1

particin M medible
n

sea F j M tal que ( E j \ F j ) = 0 y consideremos g = j F j entonces g es

j =1

M medible y f ( x ) g ( x ) x U E j \ Fj y como:
n

j =1

n
n
U E j \ Fj = ( E j \ Fj ) = 0
43
j =1
j =1 144442444
=0
entonces f = g c.t.p. medible.
Ahora para funciones cualesquiera
- 55 -

Anlisis Real
Sea f

Captulo 3

- 56 -

M medible cualquiera, existe una sucesin ( f n )n de funciones simples

con respecto a M , tal que:

1) f n f n+1
f n ( x ) f ( x ) x X
Ahora por lo anterior existe N M tal que ( N ) = 0 y una sucesin ( g n )n de
funciones simples con respecto a M tales que:
g n X \ N = f n X \ N y g n |N = 0
entonces:
0 si x N
lim g n ( x ) =
n
f n ( x ) = f ( x ) si x N
lim
n
cada g n es M medible y por lo tanto g : g ( x ) = lim g n ( x ) es tambin
2)

M medible .
Adems, si x N f ( x ) = g ( x ) ; como ( N ) = 0 f = g c.t.p.
Proposicin 3.15 Sean F ( X , M , cod ) = { f : X cod: f es M medible} donde
cod ( , , ) entonces la relacin : definida como sigue:
f : g f = g

c.t.p. ({ x : f ( x ) g ( x )}) = 0

es una relacin de equivalencia sobre F ( X , M , cod ) .

Demostracin Ejercicio

Proposicin 3.16 Sea ( X ,M , ) un espacio de medida y

completacin, entonces:
i) El mapa:
F ( X , M , cod )
F ( X , M , cod )

:
:

[ f ] [ f ]

es una biyeccin.
ii) El mapa:

L1 ( )
L1 ( )

[ f ] [ f ]
es un isomorfismo entre espacios normados
Demostracin Es consecuencia de las consideraciones anteriores.

- 56 -

( X ,M , )

su

Anlisis Real

Integracin

- 57 -

Proposicin 3.17 Sea ( X ,M , ) un espacio de medida, f , g L1 ( ) , entonces son

equivalente:
i) f = g c.t.p.

f g d = 0
iii) f d = g d
ii)

E M

Demostracin
i) ii) f = g c.t.p. f g = 0 c.t.p. f g = 0 c.t.p.

f g d = 0

i) iii) Si E M f E = g E c.t.p. y por lo tanto

d = g E d y

por definicin

iii) i)

f d = g d
E

Re f = Re g
como f = g c.t.p.
c.t.p.
Im f = Im g
adems
Re f d = Re g d

E f d = E g d Im f d = Im g d

entonces podemos suponer que f y g toman valores reales y sea h = f g tomemos

En = h 1 ([ 1n , + ) ) n 1, E = h 1 [( 0, + )] entonces En es creciente y
luego ( E ) = lim ( En ) y se tiene:

UE
n =1

= E,

1
0 ( En ) = n d n h d = n f d g d = 0
En
En
En
En
14444444
3
n
4244444444
=0

por lo tanto ( En ) = 0 n ( E ) = 0 h 0 c.t.p. anlogamente llegamos a

que h 0 c.t.p. h = 0 c.t.p. i) .
Observacin 3.6 Las anteriores proposiciones nos permiten, a los efectos de
integrar, modificar una funcin en un conjunto de medida nula, sin modificar dicho
integral.
Proposicin 3.18 (Teorema de Convergencia Dominada)
Sea una sucesin de funciones ( f n )n L1 ( ) y g L1 ( ) tales que:
- 57 -

Anlisis Real

Captulo 3

- 58 -

i) f n g c.t.p.
ii) f n f c.t.p.
entonces f L1 ( ) y f d = lim f n d .
n

Demostracin f es medible (previamente modificada en un conjunto de medida

nula) por las proposiciones 3.13 y 3.14.
Como f n g c.t.p. modificando f n y f en un conjunto de medida nula se
tiene que f n g x X y pasando al lmite f g x X y entonces:

f d g d < por ser g L1 ( ) f L1 ( ) f L1 ( )

Por otro lado

f +g 0
fn g g fn g n
g fn 0

y se tiene

{ lim ( g + f n ) = ( g + f ) = g + f
g + lim fn = lim g + f n = lim ( g + fn ) Fatou
lim f n f

por otro lado aplicando algo parecido a g f n se tiene:

g f = ( g f ) = lim ( g f

) lim ( g f n ) = lim ( g f n ) = g lim f n

lim f n f

luego
lim f n f lim f n lim f n
es decir que se tienen que cumplir las igualdades y al ser los lmites superior e
inferior iguales se cumple que:
lim f n = f
Corolario 3.19 Sea una sucesin de funciones integrables ( f n )n L1 ( ) tal que

f d < , entonces:
n =1

n =1

f n converge c.t.p. ,

f
n =1

L1 ( ) y adems

f d = f d
n =1

n =1

- 58 -

Anlisis Real

Integracin

- 59 -

Demostracin Aplicando el corolario del TCM

f n d = f n d <

n =1

entonces

n =1

n =1

n =1

n=1

f n L1 ( ) f n < c.t.p. f n converge c.t.p.

adems, sea g = f n entonces:

n =1

f
j =1

( x ) f j ( x ) g ( x ) c.t.p.
j =1

}
n
n
y como g L1 ( ) lim f j ( x ) d = lim f j d es decir:
TCD

j =1

j =1

f d = f
n =1

n =1

Vamos a introducir la integral dependiente de un parmetro y veremos que podemos

derivar bajo el signo de integral.
Proposicin 3.20 Sea ( X ,M , ) un espacio de medida Y un espacio mtrico y la
funcin f : X Y tal que f ( g, y ) L1 ( ) y Y , podemos definir:
F : Y tal que F ( y ) = f ( x, y ) d
X

i) Supongamos que existe g L1 ( ) tal que:

f ( x, y ) g x e y

y que lim f ( x, y ) = f ( x, y0 ) x donde y0 es fijo, entonces:

y y0

lim F ( y ) = F ( y0 )

y y0

en particular F es continua si f lo es.

ii) Supongamos que Y = [ a, b ] y que existe
existe g L1 ( ) tal que

f
( x, y ) en [ a, b ] x X y adems que
y

f
( x, y ) g ( x ) x X , y [ a , b ] entonces F es
y

derivable en y, y vale:
F ( y ) =

f
( x, y ) d ( x )
X y

Demostracin Sea y0 Y arbitrario, pero fijo.

- 59 -

Anlisis Real

Captulo 3
F ( y ) F ( y0 ) =

- 60 -

[ f ( x, y ) f ( x, y0 )] d

Sea una sucesin ( yn ) n Y tal que yn y0 entonces:

lim ( F ( yn ) F ( y0 ) ) = lim
n

[ f ( x, yn ) f ( x, y0 )] d

llamemos f n ( x ) = f ( x, yn ) , como f n ( x ) f ( x, y0 ) f n ( x ) + f ( x, y0 ) 2 g ( x ) y
g L1 ( ) 2 g L1 ( ) podemos aplicar TCD,
lim
n

[ f n ( x ) f ( x, y0 )] d = X lim
[ f n ( x ) f ( x , y 0 ) ] d = 0
n
144444444424444444443
= 0 por hip.

lim [ F ( yn ) F ( y0 )] = 0 con yn y0
luego lim F ( y ) = F ( y0 ) .

y y0

Para la parte ii) hay que ver que si yn y0 entonces:

F ( y n ) F ( y0 )
f
lim
=
( x , y 0 ) d
X y
n
yn y0
Ahora

F ( yn ) F ( y0 )
=
X
yn y0

fn ( x)
644=4744
48
f ( x , y n ) f ( x , y0 )
d por otro lado
yn y0

f ( x, yn ) f ( x, y0 ) f
=
( x, y0 ) g ( x )
n
y
y n y0
f ( x , y n ) f ( x , y0 )
podemos aplicar el TCD, y si llamamos g n ( x ) =
tenemos:
yn y0
f
lim g n ( x ) d = lim g n ( x ) d =
( x, y0 ) d
X n
X y
n
X
como se cumple y0 [ a, b ] se concluye la tesis.
lim

Proposicin 3.21 Sea S = { : X : es simple} entonces:

i) S I L1 ( ) es 1 denso en L1 ( )
ii) Supongamos que es una medida Lebesgue-Stieltjes sobre y sea:
n

a = = j ( a ,b ) : n , j , a j < b j +, ( a j , b j ) < , j = 1,.., n

j j
j =1

1
1
entonces a L ( ) y a = L ( )
iii) Si es una medida Lebesgue-Stieltjes sobre , entonces:
El espacio vectorial de las funciones continuas con soporte compacto Cc ( ) ,
Cc ( ) = { f : : f es continua y k > 0 tal que f ( x ) = 0 si x > k }
- 60 -

Anlisis Real

Integracin

es tal que Cc ( ) L1 ( ) y Cc ( )

- 61 -

= L1 ( ) .

Demostracin i) Sea f L1 ( ) y ( n )n S tal que n n+1 f

y adems

n ( x ) f ( x ) x X , entonces:

n L1 ( ) n ya que

d f d <

Por otro lado como f n f + n < 2 f se tiene:

TCD
}
lim f n 1 = lim f n d = lim f n d = 0 d = 0
X

ii) Observamos primero que si E , F M E F

se tiene E F = E \ F

= E F d y como:
X

0 si x E I F

E F = 1 si x E \ F
1 si x F \ E

F \ E y E F = E \ F + F \ E = E V F entonces:
E F

= E V F d = ( E V F )
X

Sea E M tal que E L ( ) es decir con E acotada ( E ) < .

1

Dado > 0 por el teorema de aproximacin (proposicin 1.8) F = ( a j , b j tal

n

j =1

que ( EVF ) < . Se puede suponer que ai bj i, j .

Para cada k sea Gk = U ( a j , b j + 1k ) a partir de cierto k que llamamos k la familia

n

j =1

{( a , b
j

k
+ 1k )} j =1 es disjunta y adems ( Gk )
( F ) y por lo tanto existe k k

tal que

( Gk \ F ) <

entonces:
E Gk

E F 1 + F Gk

= ( EVF ) + ( F VGk ) < 2

144424443
Gk \ F

Es decir G = ( c j , d j ) tal que E G 1 < .

n

j =1

Si f L1 ( ) sea = j E j L1 ( ) tal que {E j } j =1 disjuntos y j 0 j desde

n

j =1

1 a n, de manera que f 1 < ( existe por la parte i))

- 61 -

Anlisis Real

Captulo 3

- 62 -

Para cada E j sea G j = ( cij , d i j ) de manera que E j G j

m

i =1

<

.
1

Sea = j G j a y adems:
j =1

f 1 f 1 + 1 < + j E j G j
j =1

< + j
j =1

<

m
= +
j = 2
1
1 j =1
1442443
=

iii) Basta ver que si ( ( a, b ) ) < entonces existe f Cc ( ) tal que:

( a ,b ) f

<

para > 0 dado.

Notar que si f Cc ( ) f L1 ( ) entonces tenemos que ver que:
a) f es medible (ya que es continua)
b) f d
f d = f ([ k , k ])
Lebesgue
[ k ,k ]

compacto ( compacto ) <

sucesiones
Sean
( an ) , (an ), (bn ) , (bn )
estrictamente montonas tales que:
a < an < an , bn < bn < b
y
1
lim an = a , lim bn = b
Sea una sucesin de funciones f n definidas
como sigue:
a an an
f n : tales que:
0 si x < an o x > bn

f n ( x ) = 1 si x [ an , bn ]
los segmentos de rectas en los que faltan

Entonces f n Cc ( ) y adems:
0 (a ,b ) f n ( a ,b ) ( an ,bn )

bn bn b

y se tiene:
( a ,b ) f n 1 = ( a ,b) f n d ( a ,b ) ( an ,bn ) d =

n
= ( a ,b) d ( an ,bn ) d = ( ( a, b ) ) ( ( an , bn ) )
0

por ser lim an = a y lim bn = b.

- 62 -

Anlisis Real

Integracin

- 63 -

Integral de Riemann versus Integral de Lebesgue

Proposicin 3.22 i) Sea f : [ a, b ] una funcin acotada y f Ra b (integrable
segn Riemann) entonces:
i) f es integrable segn Lebesgue y:

f ( x ) dx =

[ a ,b ]

f dm

ii) f Ra b m ( D f ) = 0 donde D f = { x [ a, b ] : f no es continua en x}

Demostracin Dada una particin de [ a, b ] P = { x0 = a, x1,..., xn = b} definimos:
n

Gp = M j ( x
j =1

j 1 , x j

y g p = m j ( x
j =1

j 1 , x j

donde M j = sup { f ( x ) : x x j 1 , x j } y m j = inf { f ( x ) : x x j 1 , x j }

entonces como G p y g p son funciones simples, por definicin se tiene:
n

j =1

j =1

G p dm = M j m (( x j1 , x j ) = M j ( x j x j 1 ) = S ( P , f )
anlogamente
n

j =1

j =1

g p dm = m j m ( ( x j1 , x j ) = m j ( x j x j1 ) = s ( P, f )
Sea Pn una familia creciente de particiones de [ a, b ] tales que la norma de la

n
particin ( Pn )
0 , y llamemos:

lim S ( Pn , f ) = f
b

lim s ( Pn , f ) = f
a

Por otro lado definimos:

Gn = GPn

y g n = g Pn

se tiene que n g n f Gn donde adems g n Z y Gn ] existe el lmite y le

llamamos g y G respectivamente, es decir:
lim g n = g y lim Gn = G
n

En particular las funciones G, g son medibles (por ser lmite de funciones medibles)
Observar que por la definicin de Gn se tiene:
Gn f

[ a ,b] L1 ( )

luego podemos aplicar el TCD como sigue:

- 63 -

Anlisis Real

Captulo 3
}
lim Gn dm = lim
TCD

a ,b ]

G dm =

[ a ,b ]

y como g n Gn f

a ,b ]

- 64 -

Gn dm = lim S ( Pn , f ) = f
a ,b
a
b

[ a ,b] L ( ) aplicamos el TCD para g n :

1

}
lim g n dm = lim
TCD

g dm =

[ a ,b ]

g n dm = lim s ( Pn , f ) = f
b

[ a ,b ]

Ahora por definicin:

f Ra b f f = 0

[a ,b ]

Gdm

[ a ,b ]

g dm = 0

( G g ) dm = 0 G g = 0 c.t.p.

[ a ,b ]

Observar que g f G luego si f Ra b 0 G f G g = 0 c.t.p.

entonces G = f = g c.t.p. f es medible Lebesgue, y por lo tanto integrable
(ya que es acotada y m ([ a, b ]) < ) y adems:

f dx =

[ a ,b ]

g dm =

[ a ,b ]

Gdm

ii) Sea E = U Pn notar que ( E ) = 0 probaremos que D f E = D \ E siendo

n =1

D = { x : G ( x ) > g ( x )} .

Si x E y f es continua en x, dado > 0 > 0 tal que

f ( y ) f ( x ) < si

y x < ; sea n tal que ( Pn ) < y sea J k el intervalo determinado por Pn en

el cual est x, entonces:
Gn ( x ) g n ( x ) = sup y , zJ k f ( y ) f ( z )

2
{
por desig. tring.

Por lo tanto:

G ( x ) g ( x ) Gn ( x ) g n ( x ) 2

luego G ( x ) = g ( x ) x D ( D f \ E ) ( D \ E )
C

> 0

Recprocamente, si x E , x D f es continua en x, ya que como G ( x ) = g ( x )

dado > 0 n tal que 0 ( Gn gn )( x ) < lo que implica:
sup y , zJ k f ( y ) f ( z ) <
en particular f ( y ) f ( x ) < y J k f es continua en x.
En conclusin m ( D f ) = m ( D f \ E ) = m ( D \ E ) = m ( D ) .

As que f Ra b G g = 0 c.t.p. m ( D ) = 0 m ( D f ) = 0 .

- 64 -

Captulo 4
Modos de Convergencia

Definicin 4.1 Sea ( X ,M , ) un espacio de medida, ( f n )n L ( X ) una sucesin

n
de funciones medibles f n : X , la declaracin f n
f puede tomarse en
muchos sentidos diferentes, as diremos que:
n
f ( x ) converge puntualmente si > 0, n0 ( , x ) tal que:
1) f n ( x )
f n ( x ) f ( x ) < n n0 ( , x ) y x X

si f ( x ) < en caso contrario f n ( x ) > 1 .

2) f n f converge uniformemente si > 0, n0 ( ) tal que:
f n ( x ) f ( x ) < n n0 ( ) y x X
c.t.p.
3) f n
f converge en casi todo punto si existe un conjunto A X tal que:
n
f n ( x )
f ( x ) x A y ( AC ) = 0

c.u.
4) f n
f converge casi uniformemente si > 0 existe un conjunto A X

tal que

( A ) < , y f n f

x ( A )

5) f n
f converge en medida si > 0 se tiene que:

n
({ x : fn ( x ) f ( x ) })
0

L
6) f n
f converge en L1 si f n L1 ( ) y f n f
1

0 o sea:

n
f n f
0

Veamos ahora algunos ejemplos.

Ejemplo 4.1
Sea f n = 1n ( 0,n )
fn 0

1
n

f n L1 ( )
- 65 -

Anlisis Real

Captulo 4

- 66 -

L
n pero f n
0 ya que lim f n f d = lim1 = 1
X
n 14444
n
42444443
1

=1

Ejemplo 4.2
Sea f n = [ n,n +1]

Puntualmente f n ( x ) 0 x

L
Por otro lado f n L1 ( ) n pero f n
0
1

n+1

Ejemplo 4.3
Sea la siguiente sucesin de funciones:
f1 = ( 0,1) , f 2 = ( 0, 12 ) , f3 = ( 12,1) , f 4 = ( 0, 14 ) ,... puntualmente f n 0 ya que toma
infinitas veces el valor 1 y el valor 0.

1
0
1
Por otro lado

1
0

1
1

1
1

1
1

1
0 donde n corresponde a la k-esima
2k
L1
subdivisin, por lo tanto f n
0
f n L1 ( ) mientras que

0,1]

fn =

Ejemplo 4.4
Sea ( f n ) como el ejemplo anterior y definimos g n = 2k f n entonces:
L
Puntualmente g n 0 , por otro lado g n L1 ( ) y g n
0 (los integrales valen 1)
sin embargo:
n
m ({ x [ 0,1] : g n ( x ) > } )
0
1

m
luego g n tiende en medida a cero ( g n
0 ).

Veremos equivalencias sobre las convergencias.

L
c.t.p.
Proporcin 4.1 Si f n
f y f n g L1 ( ) n entonces f n
f
1

Demostracin Por hiptesis A X tal que f n ( x ) f ( x ) x A luego

f n ( x ) f ( x ) 0 x A
- 66 -

Modos de Convergencia y espacios Lp

Anlisis Real

- 67 -

Como ( AC ) = 0 podemos modificar f en un conjunto de medida cero para que se

cumpla que f n ( x ) f ( x ) 0 x .

Por ser f n g pasando al lmite f g f n ( x ) f ( x ) f n + f 2 g y

podemos aplicar el TCD, como sigue:
lim f n f d = lim f n f d = 0 = 0
1

L
c.t.p.
Ms abajo veremos que si f n
f entonces alguna subsucesin f nk
f .

Proposicin 4.2 Sea f n

f entonces f n
f.
1

Demostracin Dado > 0 sea Fn = { x : f n ( x ) f ( x ) } tenemos que:

( Fn ) = d =
Fn

Fn

Fn

f n f d

fn f

f.
por definicin entonces f n
c.u.
c.t.p.
Proposicin 4.3 Si f n
f entonces f n
f

Demostracin > 0 A tal que ( A ) < y f n f

f en ( A )
Para cada m sea Am tal que ( Am )

y f n f
f en ( Am )

0 ( A) = I Am lim ( Am ) lim m1 = 0 ahora si x AC

m
m m
m
C
C
f en AmC0 f n ( x ) f ( x ) , esto
Am m0 tal que x Am0 y como f n f

Sea A =
x U

1
m

IA

c.t.p.
es para todo x AC f n
f .
c.u.

Proposicin 4.4 Si f n
f entonces f n
f.

Demostracin Tenemos que probar que > 0 y > 0 n0 tal que :

({ x : fn ( x ) f ( x ) }) < n n0

tomamos , > 0, por hiptesis

A tal que ( A ) < y f n f x AC luego

n0 tal que si x AC se cumple f n ( x ) f ( x ) < n n0 en particular:

{x :

f n ( x ) f ( x ) } A ({ x : f n ( x ) f ( x ) } ) ( A ) < .

- 67 -

Anlisis Real

Captulo 4

- 68 -

Definicin 4.2 Sea ( X ,M , ) un espacio de medida, ( f n )n L ( X ) una sucesin

de funciones medibles, se dice que es de Cauchy en medida si > 0 y > 0,
n0 tal que:
({ x : fn ( x ) f m ( x ) }) < m, n n0

Proposicin 4.5 Sea ( f n )n una sucesin de Cauchy en medida entonces:

f.
i) Existe f tal que f n
c.t.p.
ii) Si f es como en i) entonces existe una subsucesin f nk de f n tal que f nk
f

f y f n
g entonces f = g c.t.p. .
iii) Si f n

Demostracin Demostremos primero ii)

Sea n1 tal que ({ x : fn ( x ) f m ( x )

1
2

}) < 12

si n, m n1 anlogamente sea

n2 > n1 tal que ({ x : f m ( x ) f n ( x ) 14 }) < 14 si m, n n2

En general se tiene as nk > ... > n2 > n1 tomamos nk +1 > nk tal que:
({ x : f m ( x ) f n ( x )

llamemos Ek +1 = { x : f m ( x ) f n ( x )
Sea g j = f n j y x U Ek entonces:

1
2 k +1

1
2 k +1

}.

}) <

1
2 k +1

si m, n nk +1

k j

g j ( x ) g j + l ( x ) g j ( x ) g j +1 ( x ) + ... + g j + l 1 ( x ) g j + l ( x )

1
2j

+ 2 j +1 + ... + 2 j + l 1 =
1

j + l 1

i= j

1
2i

1
2j

i=0

1
2i

1
2 j 1

g n ( x ) es puntualmente de Cauchy, luego converge a cierto f ( x )

Es decir que g n ( x ) converge x IU Ek = E , observar que E es medible y:

j =1 k = j

( E ) = lim U Ek lim ( Ek ) lim 21k = 0

j
j
j
k= j
k j
k= j
Definimos f ( x ) = 0 x E f es medible y adems:

f n j
f
j
i) Tomemos =

1
2k

c.t.p.
c.t.p. es decir que f n j
f

, si x U Ek se tiene g j ( x ) g j + l ( x )

cuando l nos queda:

k j

g j ( x) f ( x )
- 68 -

1
2 j 1

1
2 j 1

pasando al lmite

Modos de Convergencia y espacios Lp

Anlisis Real

{x : g

entonces si j k

( x ) f ( x ) 21 > 2 1 } U Em y por lo tanto

j 1

m j

0

j
m j
por ltimo dado > 0 sea H n = { x : fn ( x ) f ( x ) } y

({ x : g j ( x ) f ( x )

f
Luego f n j

llamemos G( n,n ) = x : fn ( x ) f n j ( x )
j

1
2k

}) U E

y Fn j = x : f n j ( x ) f ( x )

H n G( n,n ) U Fn j
j
ya que si x no pertenece a la unin anterior se cumple que:
fn ( x ) f ( x ) fn ( x ) fnj ( x ) + fnj ( x ) f ( x ) <
144444424444443 1444442444443

- 69 -

) ( )

< 2

} se tiene:

< 2

f
y ( H n ) G( n ,n ) + Fn j < si n, n j son grandes f n
j

iii) Si f n
g como { x : f ( x ) g ( x ) > } { x : f ( x ) g ( x ) } , y adems:
{ x : f ( x ) g ( x ) } { x : f ( x ) f n ( x ) 2 } U { x : fn ( x ) g ( x ) 2 } n

en particular si n luego se tiene que ({ x : f ( x ) g ( x ) > }) = 0 > 0 y

haciendo tender 0 se tiene que f = g c.t.p. .
1

L
Corolario 4.6 Si f n
f entonces existe una subsucesin f n j de f n tal que
c.t.p.
f n j
f.

Demostracin Por la proposicin 4.2 si

( )

f n
f f n
f
1

y por la

c.t.p.
proposicin anterior f n j subsucesin de f n tal que f n j
f .
c.t.p.

Sin embargo puede suceder que f n

f y no se cumple que f n
f como
en el ejemplo 4.2

Proposicin 4.7 (Teorema de Egoroffs)

Sea ( X ,M , ) un espacio de medida finita ( ( X ) < ) , sea ( f n )n una sucesin

c.t.p.
de funciones medibles ( f n : X n ) tal que f n
f con f medible,
entonces:
c.u.
f n
f sobre X

Demostracin Dado k , para cada n , sea:

- 69 -

Anlisis Real

Captulo 4
Fn ( k ) = { x : f n ( x ) f ( x )

y sea En ( k ) =

UF

mn

- 70 1
k

( k ) entonces, para cada k, En ( k ) En +1 ( k ) y:

c.t.p.
f
x
como
E
k
N
x
:
f
x
f
f

(
)
(
)
(
)
{
}
I
n
n
n
I En ( k ) = 0
n=1

n =1
y por ser la medida finita, se tiene:

lim ( En ( k ) ) = I En ( k ) = 0 k
n
n=1

luego dado > 0 para cada k nk tal que:

( En ( k ) ) < 2k n nk

k =1

k =1

Sea E = U Enk ( k ) entonces E M y ( E ) ( Enk ( k ) ) < 2k = .

k =1

Ahora

si

x Enk ( k ) f n ( x ) f ( x ) <

fn ( x ) f ( x ) <

1
k

1
k

n nk ,

entonces

si

xE

n nk , k , luego f n f en E C y ( E ) < por

c.u.
definicin f n
f en X .

Ejemplo 4.5
c.t.p.
Sea f n = [n,+ ) tenemos que lim f n = 0 x f n
0
n

Si ( 0,1) f n ( x ) 0 >
espacio de medida finita.

c.u.
x [ n, + ) f n
f y esto se da por no ser el

c.t.p.
Corolario 4.8 Sea ( X ,M , ) un espacio de medida finita si f n
f entonces

f
f n

Demostracin Por la proposicin 4.7

c.t.p.
c.u.
f n
f f n
f

y por la

proposicin 4.4 que f n f f n

f.
c.u.

Proposicin 4.9 Sea ( X ,M , ) un espacio de medida finita, ( f n )n una sucesin

de funciones medibles, entonces f n

f (f medible) si y solo s f es de Cauchy en
medida

Demostracin Proposicin 4.5

Dados m,n cualquiera y > 0 como:
{ x : fm ( x ) fn ( x ) } { x : fn ( x ) f ( x ) 2 } U { x : fm ( x ) f ( x ) 2 }
se tiene:
- 70 -

Modos de Convergencia y espacios Lp

Anlisis Real

- 71 -

({ x : f m ( x ) f n ( x ) }) ({ x : fn ( x ) f ( x ) 2 }) + ({ x : f m ( x ) f ( x ) 2 })
1444444444442444444444443 1444444444442444444444443
< 2

luego ({ x : f m ( x ) f n ( x ) }) < que es de Cauchy en medida.

< 2

A modo de resumen construimos los siguientes diagramas:

En el primer diagrama tenemos que las flechas llenas corresponden a implicancias
que se cumplen en un espacio de medida arbitrario, las flechas punteadas significa
que existe una subsucesin que cumple la implicancia.
c.u.
4.3

4.4

c.t.p.

4.5

4.6

c.u.--- converve casi unimformemente

c.t.p.---converge en casi todo punto
---converge en medida
L1 ---converge en L1

4.2
L1

El siguiente diagrama es para un espacio de

medida finito.

c.u.
4.7

c.t.p.
4.8
L1
c.u.

El siguiente es el caso de existir sucesin de

funciones dominada

c.t.p.
4.1
L1

Espacios Lp

Definicin 4.3 Sea ( X ,M , ) un espacio de medida, sea p tal que 1 p < ,

definimos el conjunto L%p ( ) o simplemente L%p como:

- 71 -

Anlisis Real

Captulo 4

- 72 -

p
%
L ( ) = f : X , medibles tales que f d <
X

Observacin 4.1 L%p es un espacio vectorial si f , g L%p veamos que:

p
f ( x ) + g ( x ) [ 2max { f ( x ) , g ( x ) }]
{2 f
p

e integrando

f + g d 2 p
p

( f

luego f + g L%p .
Por otro lado si , y f L%p se tiene:

Observacin 4.2 Para probar que

(
p

<

Definicin 4.4 En el espacio vectorial L%p definimos una funcin

de la siguiente forma:

+g

d + g d <

f ( x ) d = f ( x ) d
luego f L%p .Por lo tanto L%p es un espacio vectorial.
p

: L%p [ 0, + ]

se trata de una seminorma nos falta probar

la desigualdad triangular, que se probar ms adelante (desigualdad de Minkowski).

Definicin 4.5 Sea ( X ,M , ) un espacio de medida, en l tenemos definido el
p
espacio vectorial L%p , sea el subespacio N = f L%p : f d = 0 , se define el
espacio normado ( Lp ,

) como:

L%p
L =
y
N
p

Observacin 4.3
Si f g g f N g f

= f

= 0 f g d = 0
p

f g = 0 c.t.p. f g = 0 c.t.p. f = g c.t.p.

p

Para el caso
medibles y f

p=

L = { f : ( f > M ) = 0 para algn M > 0} = { f : X

< } siendo el significado que le damos a

f

= inf {M : ( f > M ) = 0}
- 72 -

es el siguiente:

Modos de Convergencia y espacios Lp

Anlisis Real
y como f f

- 73 -

c.t.p. , por eso tambin lo llamamos supremo esencial de f

Definicin 4.6 Sea una funcin : ( a, b ) si t ( 0,1) , y x, y ( a, b ) se

cumple que:
( (1 t ) x + t y ) (1 t ) ( x ) + t ( y )
es llamada funcin convexa . Geomtricamente la
convexidad de es descripta cuando se dice que
( y)
cada punto de la cuerda que une ( x, ( x ) ) con

( y , ( y ) ) est por encima del grfico de como

se muestra en la figura.

( x)

x
x
y
Lema 4.10 Sea : ( a, b ) una funcin
convexa y si x ( a, b ) entonces existe tal que ( y ) ( x ) + ( y x )
y ( a, b )
Demostracin Primero demostraremos que x, y ( a , b ) si x ( x, y ) se tiene que:
( y ) ( x ) ( x ) ( x )

yx
x x
Consideremos la cuerda que une ( x, ( x ) ) con ( y, ( y ) ) que llamamos G ( X )
( y) (x)
G(X ) =
( X x) + ( x)
yx
por se la funcin convexa si x ( x, y ) se tiene G ( x ) ( x ) , luego
( y) ( x)
( x x ) + ( x ) ( x )
yx
y despejando
( y ) ( x ) ( x ) ( x )

(1)
yx
x x
( x ) ( x )
sea = sup x( x , y )
, que existe por estar acotado, y pasando al
x x

supremo en (1) , se tiene que se sigue cumpliendo la desigualdad, y podemos afirmar

que existe tal que ( y ) ( x ) + ( y x ) y ( a, b )
Proposicin 4.11 (Desigualdad de Jensen) Sea ( X ,M , ) un espacio de medida,
( X ) = 1 (espacio de probabilidad), si : ( a, b ) convexa y f medible e
integrable tal que el recorrido de f est incluido en ( a, b ) , entonces:
- 73 -

Anlisis Real

Captulo 4

- 74 -

f d ( f ( x ) ) d
X

Demostracin Por ser convexa es continua, luego medible y se tiene que o f es

medible.
Veamos primero que f d ( a, b ) .
X

Como f ( x ) ( a, b ) f ( x ) < b f d < b d = b ( X ) = b

X
X
Anlogamente a < f ( x ) a < f d , y llamemos a
X

f d = x .

Ahora por ser convexa se tiene que existe tal que

( z ) ( x ) + ( z x ) z ( a, b )
elegimos z = f ( y ) entonces:
( f ( y )) ( x) + ( f ( y ) x )
e integrando
=0
644444444444474444444444448
= ( x )
6444447444448

f ( y ) d ( y ) x d ( y )
X ( f ( y )) d ( y ) X ( x ) d ( y ) + 1444442444443
X
X 4244443
1444

=x
=x
y queda
( f ( y ) ) d ( y ) f d

Observacin 4.4 Sea h : X [ 0, + ] A M podemos definir

( A ) = h d = h A d
A

as resulta ser una medida y adems:

F d = Fh d
X

Demostracin Probamos primero que es aditiva , sea ( An )n una sucesin de

conjuntos disjuntos dos a dos y llamemos A = U An ,

n

( A ) = U An = h d = h A d
X
U n
n U An
n

i =1

i =1

Sea Bn = U Ai lim Bn = U Ai = A h Bn Z h A entonces por el TCM

( A ) = h A = lim h Bn d =
{ lim X h Bn d
X
X
T.C.M

- 74 -

=
{ lim X h Ai d = ( Ai )
n
i =1 144424443
i =1
Bn = Ai
( Ai )
i =1

Modos de Convergencia y espacios Lp

Anlisis Real

- 75 -

Para probar la otra afirmacin primero se demuestra para funciones caractersticas y

despus para funciones simples y luego para funciones no negativas, para por ltimo
generalizar para cualquier funcin.
Proposicin 4.12 (Desigualdad de Hlder)
Sea ( X ,M , ) un espacio de medida f , g : X medibles, y sean p, q 1 tales
que 1p + 1q = 1 (se dice de p y q en estas condiciones, que son conjugados, donde
eventualmente si p = 1 q = ), entonces se cumple:
f g 1 f p g q
Demostracin De acuerdo a las definiciones lo que tenemos que demostrar es:

fg d

) (
1

g d

Consideremos primero el caso p = 1 y q = como g g

f g f g

c.t.p. entonces

c.t.p. luego:
fg 1 = f g d g

f d = g

Para el caso 1 < p < si f = 0 o g = 0 c.t.p. se cumple.

Si f , g 0 c.t.p. pero f p = o g q = tambin se cumple.
Consideremos solo el caso 0 < f

, g q < por otro lado como

( f )( g ) 1 = fg 1

f p g q = f p g q
As podemos considerar que g q = 1 ya que si probamos que

fg 1 f

se tiene

que
fg 1
g
= f
g q
g q

fg 1 f

Definimos ( A ) = g d , como g
A
q

= 1 ( X ) = 1 es decir es un espacio de

probabilidad, y se tiene:
1 q
q
1 q
d = f g d
X fg d = X f g 14g4244
3
X
d

y como ( z ) = z es una funcin convexa se tiene aplicando Jensen:

p

f g

= f
X

1 q

)
p

=0
644474448
p + q pq

d = f
X

p(1 q )

d = f
X

d =

- 75 -

p pq

g d =
q

Anlisis Real
Luego

1)

fg

Captulo 4

- 76 -

que se cumple la desigualdad.

Ejemplo 4.6
Si X = y es la medida de Dirac (la de contar), entonces la integral es la serie y
se tiene:
1

p
q

p
q
anbn an bn

n
n

n
que es la desigualdad conocida como de Cauchy-Schwarz.

Proporcin 4.13 (Desigualdad de Minkowski)

Sea ( X ,M , ) un espacio de medida y f , g Lp , si 1 p entonces la funcin
p cumple la desigualdad triangular:
f +g

+ g

Demostracin Si f + g = 0 c.t.p. ya est, si p = 1 o p = tambin.

Sea p > 1
f +g = f +g
integrando
p

) =

=( f

+ g

( f + g ) = f f + g p 1 + g f + g p 1
p 1

p 1
1

p 1

= f ( f + g)

f +g f +g

f + g d f f + g

f +g

p 1

+ g( f + g)

) ( f + g)

p 1
1

d + g f + g

p 1

d =

Hlder

( f + g ) p 1 q + g

( f + g ) p 1 q =

p 1
q

Ahora
1

=p

( f + g)

p 1
q

6447448

( p 1) q
= f + g
d
X

p
= f + g d =
X
1444442444443

p
( f +g p )

f +g

Sustituyendo

(
Si

f +g

p
q

f +g

= f + g d
p

+ g
p

0 pasamos dividiendo y como p p q =

- 76 -

)(

f +g

p
q

pq p q
= =1
q
q

p
q

Modos de Convergencia y espacios Lp

Anlisis Real

( f +g )
( f +g )

= f +g

p
q

+ g

- 77 -

si fuera

f +g

p
q

=0 f +g

= 0 y tambin se cumple.

Como consecuencia podemos afirmar ahora que ( Lp ,

) es un espacio normado si

p ( 0,1) tambin tienen sentido las definiciones

p 1 , en el caso que

correspondientes pero en general no es ( Lp ,

) un espacio normado, ya que no se

cumple la desigualdad triangular, como veremos en lo que sigue, pero antes

necesitamos el siguiente lema.
Lema 4.14 Sean a, b > 0, 0 < p < 1 entonces se tiene que:
a p + b p > ( a + b)
Demostracin Sea t > 0 se tiene t p1 > ( t + a )

p 1

tp
dt =
p

p 1

integrando:

=
0

bp
p

mientras

( t + a ) dt =
p 1

(t + a ) p

(b + a ) p a p
p

sustituyendo
b p > (b + a ) a p
p

Ejemplo 4.7 Sea E y F medibles , E I F = tal que:

[ ( E )]

y consideremos f = E
f +g

= a y [ ( F )] p = b
y g = F tenemos:

p
= E + F d
3
144=42444

E UF

= E U F d
144424443
= ( E UF )

> (a + b) = ( E ) p + ( F ) p =
1

p
E

={
(E ) +
F
(
)
{
p
p
=a

=b
d

) + (
1

De manera que no se cumple la desigualdad triangular.

- 77 -

>

= f

+ g

Anlisis Real

Captulo 4

- 78 -

Proposicin 4.15 (Desigualdad de Markov) Sea g : [ 0, + ) una funcin par ,

tal que g ( x ) > 0 si x > 0 no decreciente en [ 0, + ) .f una funcin medible finita
definida sobre el espacio de medida ( X ,M , ) , entonces para todo a > 0 se tiene:
1
({ x : f ( x ) a})
( g o f ) d
g ( a ) X
Demostracin

g ( x)
1 si x a . Llamemos E = { x : f ( x ) a} y A = { x : x a} ,
g (a)

entonces
( E ) = 1d = E d = ( A o f ) d
E
X
X

go f
1
d =
(g o f )d
g (a)
g ( a ) X

Proposicin 4.16 Sea ( X ,M , ) un espacio de medida, 1 p , Lp es completo,

es decir que toda sucesin de Cauchy en l, es convergente.
Demostracin
Veamos primero el caso p = y sea ( f n )n L de Cauchy en L o sea que para
cada k > 0 existe N k tal que si m, n N k entonces:
f n f m < 1k
por definicin de

se tiene que ({ x : fn ( x ) f m ( x ) >

sucesin ( f n )n es de Cauchy en medida.

Sea A = U

U {x :

k =1 m , n N k

fn ( x ) f m ( x ) >

Sea x A k > 0 x

U {x :

m,n N k

1
k

1
k

}) = 0

m, n N k la

} ( A) = 0

fn ( x ) fm ( x ) >

1
k

lo que quiere decir que la

sucesin es ( c.t.p. ) puntualmente de Cauchy, luego existe

f ( x ) %f ( x ) x A , y podemos definir
n

%f ( x ) tal que

%f ( x ) x A
f ( x) =
si x A
0
f ( x ) es medible por ser lmite de f n ( x ) AC que es una sucesin de funciones
medibles. Y claramente por la definicin de supremo esencial:
f n f 0 ya que f n ( x ) f ( x ) 0 x AC y ( A ) = 0 .
- 78 -

Modos de Convergencia y espacios Lp

Anlisis Real

Hay que probar adems que f L , tenemos que f

f f n0

- 79 -

+ f n0

{
<

y fijamos n0 para que f f n0 < 1 .

Ahora consideremos el caso general 1 p <
Y sea ( f n )n Lp tal que es Lp de Cauchy es decir que para todo > 0 existe
N tal que m, n N se cumple que f n ( x ) f m ( x )
({ x : f n ( x ) f m ( x ) } )

Markov
p
con g ( x ) = x

lo que implica que

1
p

< ;

m ,n
f n ( x ) f m ( x) d 1442443
0

(1)

por hip.

m,n
({ x : fn ( x ) f m ( x ) })
0

( )

con lo que ( f n ( x ) )n es de Cauchy en medida ( prop.4.5 ) f n j y f tal que :

f n j ( x )
f ( x)
c.t.p.

L
Tenemos que probar que f n
f y que f Lp , pero como ( f n )n es de
p

Cauchy en Lp que es uniformemente acotada en Lp , o sea que M > 0 tal que

f n p < M para todo n , luego si probamos que f f n p 0 se cumplen las
dos cosas ya que si f f n
f

L
0 f n
f y adems como:

f f n p + f n p < + M f Lp
144424443 {
<

Veamos entonces que:

f fn

=
=

<M

f f n d
p

( lim f
X

nj

f n d

{ lim X f n j f n d

Fatou j

y por (1) lim lim f n j f n d = 0 , luego:

n

lim f f n
n

p
lim lim f n j f n d
X
n j

=0

Definicin 4.7 Sea F una familia de funciones. Se dice que F es

uniformemente absolutamente continua con respecto a si y solo s para cada
> 0 existe > 0 , tal que si ( A ) < con A M entonces:

f d < para toda f F

- 79 -

Anlisis Real

Captulo 4

- 80 -

Definicin 4.8 Dada una familia de funciones F se dice que es equicontinua

superiormente al vaco si y solo s para toda sucesin de conjuntos ( Ck )k M
decrecientes al vaco Ck ] , y para todo > 0 , existe k0 , tal que si k k0
entonces
f d < para toda f F
Ck

Lema 4.17 (Continuidad absoluta del integral)

Sea f 0 medible e integrable, entonces para todo > 0 , existe > 0 , tal que si
( A ) < se cumple:

Demostracin Sea

f <

En = { x : f ( x ) < n} , definimos g n = f En entonces como

En En +1 En En +1 g n g n +1 y por ser lim En = X g n Z f entonces por

n

el T.C.M. se tiene:
lim f = lim f En d = lim g n d = lim g n d = f d
En

por otro lado

f d = f d +

( En )C

En

f d

pasando al lmite se tiene que:

lim
n

EnC

f d = 0

Entonces dado > 0 existe n0 tal que n n0 se tiene:

f
d

<
C
( En )
2
ahora fijado el n0

f d =

AI En0

f d +

AI En0

f d n0

d
+

C f d n 0 ( A ) +
144
( En0 )
AI En0
2
424443
(

= AI En0 ( A )

tomando =

se tiene que si ( A ) < f d n 0 ( A ) + < + =
1442443 2 2 2
A
2n0

<2

Proposicin 4.18 (Teorema de Vitali)

Sea ( f n )n una sucesin de funciones de Lp ,
p

L
f n
f si y solo s se cumplen:

i) f n
f

- 80 -

f Lp ,1 p < , entonces

Modos de Convergencia y espacios Lp

Anlisis Real

ii) F = f n : n
p

- 81 -

es uniformemente absolutamente continua y equicontinua

superiormente al vaco.
p

L
Demostracin Supongamos que f n
f entonces por la desigualdad de

Markov para g ( x ) = x

({ x : f n ( x ) f ( x ) })

1
p

f n ( x ) f ( x ) d 0
p

luego f n
f.
Para mostrar que F es uniformemente absolutamente continua, observe que:
p
p
p
p
p
fn = fn f + f { 2 fn f + f
A

y como

cumple que

fn f

fn f

fn f

<

obs. 4.1

y esta ltima por hiptesis n0 tal que n n0 se

, y por el lema para la funcin f

2 p +1

( A) < 0 (para 0 > 0 suficientemente pequeo) f

A

Concluimos que

fn

d <

se tiene que si

.
2 p +1

< n n0 y ( A) < 0 .

Aplicando el lema (continuidad absoluta) a cada f i

existen 1 ,..., n0 1 > 0 tales que

i = 1,..., n0 1 se tiene que

Si ( A ) < i f i <
p

Luego tomamos = min { 0 , 1 ,..., n0 1} se tiene que si ( A ) < entonces:

f n d <
p

y por definicin F es uniformemente absolutamente continua.

La prueba de que F es equicontinua superiormente al vaco es anloga.

Sea Fn = { x : f n ( x ) 0} , llamemos A = U Fn entonces A es unin numerable de

n =1

de conjuntos de medida finita porque, para todo > 0

p
1
({ x : fn ( x ) }) p f n d <

Fn = U{ x : f n ( x ) >
k =1

- 81 -

Anlisis Real

Captulo 4

- 82 -

Sea ( Bk ) k una sucesin de conjuntos creciente, tal que Bk Z A , donde

( Bk ) < , sea Ck = A \ Bk , para todo k. Entonces Ck ] . Vamos a probar que

( f n )n es de Cauchy en Lp .

fm fn

= fm fn
A

fm fn +

Bk

Bk I( Am , n )

fm fn +
p

Ck

fm fn +
p

Am , n

Ck

fm fn
p

fm fn ,
p

siendo Am,n = { x : f m f n } para un cierto que ser especificado ms adelante.

Luego
p
p
( Bk43) + 2 p A f m p + A f n p + 2 p C f m p + C f n p
f m f n 1444244
k 424444444443

m,n
k
m ,n 4244444444443
144444444
1444444444

Para un > 0 dado podemos hacer cada termino sealado menor que 3 .
Por la equicontinuidad superior al vaco, se tiene:

p
Ck f n < 6
tanto para n como para m. Fijando este k, tomamos > 0 , tal que p ( Bk ) < 3 .
Por la uniformidad absolutamante continua, existe > 0 , tal que

p
( A) < f n d < 6p n
A
2

y como f n
f ( f n ) es de Cauchy en medida, luego existe n0 tal que

Si m, n n0 { x : f m ( x ) f n ( x ) } <
144444444424444444443

= Am , n

p
p
lo que implica que
f m d < 6p y
f n d < 6p
Am , n
Am , n
2
2
Con este procedimiento probamos que para el n0 citado
m, n n0 f m f n d <
p

es decir que ( f n ) es de Cauchy en Lp y como este espacio es completo, existe

L

g Lp tal que f n
g , entonces aplicando el teorema directo f n
g, y
p

como por hiptesis f n

f resulta que f = g c.t.p. (prop. 4.5 (iii)).

- 82 -

Anlisis Real

Modos de Convergencia y espacios Lp

- 83 -

Generalizando el resumen ya construido antes, tenemos los siguientes diagramas:

En el primer diagrama tenemos que las flechas llenas corresponden a implicancias
que se cumplen en un espacio de medida arbitrario, las flechas punteadas significa
que existe una subsucesin que cumple la implicancia.
c.u.

c.t.p.

c.u.--- converve casi unimformemente

c.t.p.---converge en casi todo punto
---converge en medida
Lp ---converge en Lp

Lp
c.u.

El siguiente diagrama es para un espacio de

medida finito.

c.t.p.

Lp
c.u.

El siguiente es el caso de existir sucesin de

funciones dominada

c.t.p.

Lp
Veamos ahora una proposicin equivalente a la 3.20 para espacios Lp ( ) , es decir
que el conjunto de funciones simples en Lp es p denso en Lp .
Proposicin 4.19 Sea ( X ,M , ) un espacio de medida, y consideremos el
conjunto:
S = { : X : simples medibles y ({ x : ( x ) 0}) < }
- 83 -

Anlisis Real

Captulo 4

entonces p [1, + ) S

- 84 -

= Lp

Demostracin Consideremos la demostracin para funciones no negativas.

Primero veremos que S Lp , sea f Lp por la proposicin 2.14 existe una
sucesin de funciones simples ( n ) n S montona creciente, tales que n Z f , o
sea que
n f n n d f d

n d
p

f d < n Lp n

14444244443
p

f Lp

por otra parte como n f n + f 2 f n f

TCD se tiene:

2p f

lim n f d = lim n f d = 0 n f
14444244443
p

L1 luego por el

=0

Relacin entre los espacios Lp

Proposicin 4.20 Sea ( X ,M , ) un espacio de medida y 1 p < q < r +

entonces se cumplen:
i) Lp ( ) I Lr ( ) Lq ( ) Lp ( ) + Lr ( )
ii) Si

1
q

= p + 1r

( 0 < < 1) entonces f q f

1
p

f Lp I Lq

Demostracin i)Demostremos primero Lq Lp + Lr ; sea f Lq y definimos el

conjunto E = { x : f ( x ) > 1 } , sean g = f E y h = f E C entonces
g = f
p

E f E = g
q

y como f Lq g Lq g d < g d < g Lp anlogamente

p

h f EC f EC = h
r

luego como h Lq h d < h Lr y evidentemente f = g + h

Para probar Lp I Lr Lq podemos ver que f = g + h y como:

q
f Lp h Lp
{ h L
q
p

h h
f Lp I Lr
g + h Lq

{
q
r
g g
}

Lq espacio vectorial
r
r
q
f

luego f Lq .
- 84 -

Modos de Convergencia y espacios Lp

Anlisis Real

- 85 -

ii) Veamos la desigualdad para el caso r < , aplicamos la desigualdad de Hlder

con exponentes pq , (1r ) q , que son exponentes conjugados y como funciones f y g las
funciones f
f

(1 ) q

y f

(1 ) q

= f d = f
q

q
q

resultando:
q

Para el caso r =
f

q
q

1
q

= f d = f
q

( f
q

(1 ) q

( f

= f

(1 ) q

q
r

p
q

q p

f
f

d f
f

q p

p
q

d = f

q(1 )

q
p

p
q

Proposicin 4.21 Sea ( X ,M , ) espacio de medida, ( X ) < y 1 p < q ,

entonces se cumplen:
i) Lq ( ) Lp ( ) ,
( X )p
1

ii) f

1q

Demostracin Veamos primero el caso q = , se tiene que :

f
Luego f

(X )
{

= f d f

p
p
1

1d =

(X )

y se cumplen i) y ii) a la vez.

<

Si q < , para ver que se cumple i), definimos E = { x : f ( x ) > 1} , y como

podemos escribir f = f E + f EC entonces:

f d =
p

(f

E + f EC ) d 2 p
p

obs. 4.1

E d + f
X

E C d

q
q
p

2 f E d + 1 E C d 2 f E d + ( X )
{
X
X
X
144424443
14444244443
<

<
= ( E )

q
q
Luego si f Lq f E Lq f E d < f Lp .
p

Para ver ahora la ii) aplicamos la desigualdad de Hlder con exponentes conjugados
p
q
q
f y 1, resultando:
p , q p y como funciones f y g, las funciones
f

p
p

= f 1d f

p
q

(X )
q p

( X ) pq
q

- 85 -

q p
q

Anlisis Real

Captulo 4

- 86 -

Nosotros concluimos esta seccin con unos comentarios sobre la relevancia de los
espacios Lp . Los tres ms importantes son obviamente los espacios L1 , L2 y L . Con
L1 ya estamos familiarizados; L2 es especial porque es un espacio de Hilbert; y la
topologa en L se relaciona estrechamente a la topologa de convergencia
uniforme. Desgraciadamente L1 y L son patolgicos en muchos aspectos, y es ms
fructfero tratar con los espacios intermedios Lp : Una manifestacin de esto es la
teora de la dualidad as como los operadores en el anlisis de Fourier y en las
ecuaciones diferenciales en Lp con 1 < p < pero no en L1 y L .

- 86 -

Captulo 5
Medida signada

Definicin 5.1 Dado un espacio de medible ( X ,M ) una medida con signo es un

mapa : M [ , + ] tal que:
i) Im ( ) [ , + ) o Im ( ) ( , +] ,
ii) ( ) = 0 ,

iii) Si En M disjuntos dos a dos En = ( En ) .

n

Es decir es aditiva.
Proposicin 5.1 Sea ( An )n

solo s

n =1

M disjuntos dos a dos entonces An < si y
n=1

(A ) <
n =1

Demostracin si

(A ) <
n =1

entonces :

An = ( An ) ( An ) <
n=1 n=1
n =1
Sea una permutacin de los naturales, entonces:

An = A ( n ) = ( A ( n ) )
n=1
n=1
n=1

es decir que la suma de la serie

(A )
n =1

es finita e invariante por medio de

reordenamientos. Luego la serie es absolutamente convergente.

- 87 -

Anlisis Real

Captulo 5

- 88 -

Ejemplo 5.1 Las medidas son medidas con signo y la llamamos medidas positivas.
Ejemplo 5.2 Si y son medidas positivas tales que o no alcanzan el valor
+ , entonces y son medidas con signo.
Ejemplo 5.3 Si f : X [ , + ] medible y una medida positiva y
entonces si definimos tal que:
( E ) = f d = f + d f d
E

d < ,

tenemos que es una medida signada.

Definicin 5.2 Sea una medida signada y sea F M , se dice que F es
- positiva si:
E F , E M es ( E ) 0
Anlogamente se define conjunto - negativo
Definicin 5.3 Se dice que A M es - nulo si es positivo y negativo a
la vez.
Lema 5.2 Sea ( X ,M ) un espacio medible y una medida con signo definida en
l entonces:

i) Si ( En )n M es creciente U En = lim ( En )
n n
ii) Si ( En )n M es decreciente y ( Ek ) es finito para algn k entonces:

I En = lim ( En )
n n
Demostracin Anloga a la demostracin de la proposicin 1.1

Proposicin 5.3 (Teorema de Hahn-Jordan)

Sea una medida con signo, entonces existe una particin ( P, N ) de X tal que P es
positiva y N es negativa adems si ( P, N ) es otra particin de X entonces:
PV P y N V N son nulos
Demostracin Se puede suponer que no alcanza el valor +

- 88 -

Anlisis Real

Medida signada, integracin y diferenciacin

- 89 -

Sea S = Sup { ( E ) : E es positivo} Existe una sucesin creciente Pn de

conjuntos positivos tal que lim ( Pn ) = S .

n

Sea P = U Pn ( P ) = U Pn = lim ( Pn ) = S y adems es positivo ya que

n
n =1
n =1

si E P ( E ) = ( E I P ) = U Pn I E = lim ( Pn I E ) 0
n 144424443
n=1

0
porque Pn I E Pn que es positivo.
Se tiene que S es un mximo y adems S < (porque + Im ( ) )
Sea N = X \ P hay que probar que N es negativo . Para lo cual supondremos
que N es no negativo y esto nos llevar a una contradiccin.
Primero veremos que N no tiene ningn subconjunto positivo no nulo.
Afirmacin 1 Si E N y es positivo ( E ) = 0 ;
Demostracin Supongamos que ( E ) > 0 y se tiene que P U E sera positivo y
( P U E ) = S + ( E ) > S lo que es imposible.
Afirmacin 2 Si A N y ( A ) > 0 entonces existe B A tal que ( B ) ( A )
Demostracin Por la afirmacin 1 A no es positivo entonces existe C A
tal que ( C ) < 0 , tomando B = A \ C se tiene ( B ) = ( A ) ( C ) ( A) .
{
<0

Entonces si N es no negativo, luego debe existir algn B N tal que ( B ) > 0 , y

podemos especificar una sucesin de subconjuntos

(n )
j

(A )
j

de N, y una sucesin

de enteros positivos como sigue:

n1 = min {n + : B N con ( B ) >

1
n

y sea dicho conjunto B = A1 , como A1 N y ( A1 ) > 0 aplicando la afirmacin 2

podemos definir:
n2 = min {n + : B A1 con ( B ) > ( A1 ) + 1n }
y sea este conjunto B = A2 ; y as sucesivamente definimos:

n j = min {n + : B Aj 1 con ( B ) > ( Aj 1 ) + 1n }

y sea ese conjunto B = Aj .

Sea A = I Aj entonces como Aj +1 Aj y 0 < ( A1 ) < + ( A ) = lim ( Aj )

j

j =1

Por otro lado ( Aj ) > ( Aj 1 ) + n1j > ( Aj 2 ) +

- 89 -

1
n j 1

+ n1j > ... > n1k pasando al lmite:

k =1

Anlisis Real

Captulo 5

- 90 -

> ( A ) > n1j > 0 n1j converge

j =1

j =1

0n j

1
nj

Pero una vez ms por ser ( A ) > 0 y A N B A con ( B ) > ( A ) + 1n para

algn entero positivo n ,ahora como n j si j tomando j suficientemente
grande tenemos n < n j contradiciendo la construccin de los n j . Luego asumir que
N es no negativo nos lleva a una contradiccin.
Finalmente si P y N es otra particin, por el propio teorema P \ P P ,como:

P \ P = { x P tal que x P} = { x P} I x ( P ) = N = P I N N ,
C

luego P \ P N , y entonces P \ P es -positivo y negativo a la vez, o sea que es

-nulo. Anlogamente con P \ P PVP es nulo . Igual con N VN .
Definicin 5.4 Al par ( P, N ) de la proposicin anterior llamaremos descomposicin
de Hahn para .
Como ya vimos esta descomposicin no es nica en general, pero nos lleva a una
representacin cannica de como diferencia de dos medidas positivas como
veremos en la siguiente proposicin.
Para enunciar este resultado necesitamos un nuevo concepto
Definicin 5.5 Sean y medidas signadas en ( X ,M ) , entonces decimos que
son mutuamente singulares o que es singular respecto de si existen
E , F M con X = E U F , E I F = tal que:
( A ) = 0 A E , A M

( B ) = 0 B F , B M
Es decir que existe una particin (E,F) de X tal que, F es nulo y E es nulo.
En estas condiciones se dice que est concentrada en E y est concentrada en F
Para notar la singularidad mutua utilizamos el smbolo de perpendicularidad, .
Proposicin 5.4 (Teorema de descomposicin de Jordan)
Si es una medida signada en ( X ,M ) , entonces existen
+

positivas y tal que =

nicas

medidas

y .

Demostracin Sea X = P U N con ( P, N ) descomposicin de Hahn de , y

definimos:
+ ( A) = ( A I P )
( A) = ( A I N ) A M
- 90 -

Anlisis Real

Medida signada, integracin y diferenciacin

- 91 -

Para todo AM se tiene que:

+ ( A) ( A) = ( A I P ) + ( A I N ) = ( A)
= +
Adems:
anlogamente

si A N + ( A ) = ( A I P ) = ( ) = 0
si B P ( B ) = ( B I N ) = ( ) = 0

es decir que + est concentrada en P y est concentrada en N + .

Para probar la unicidad, sean + y dos medidas positivas, con = + y
mutuamente singulares ( + ) , sea ( E , F ) la particin de X correspondiente a
la singularidad de + y , luego + est concentrada en E y en F.
Probaremos que E es positiva :
A E ( A ) = + ( A ) ( A ) 0
( )
1442443
=0

anlogamente F es negativa

=0 8
644744
+
B F ( B ) = ( B ) ( B ) < 0
Y por lo tanto ( E , F ) es otra descomposicin de Hahn de luego por la
proposicin 5.3 PVE es nulo. Por consiguiente para cualquier AM se tiene:
=0
644444744444
8
+
( A) = ( A I P ) = ( A I P I F ) + ( A I P I E ) =

= ( A I E I P) + ( A I E I N ) = ( A I E ) =
1444442444443
( )
=0

= ( A I E ) = ( A I E ) + + ( A I F ) = + ( A)
lo ceros son porque PVE = ( P I F ) U ( E I N ) y A I E I N E I N PVE como
tambin A I P I F P I F PVE .
Anlogamente = .
+

Definicin 5.6 A las medidas + y de la proposicin anterior se les llama

variacin positiva y negativa de , y = + es llamada descomposicin de
Jordan de .
Adems definimos la variacin total de , a la medida definida por:
= + +
Se verifica fcilmente que E M es nulo si ( E ) = 0 y que
y si + y .
- 91 -

si

Anlisis Real

Captulo 5

- 92 -

Si a la proposicin anterior le pedimos un poco menos a , como que sea una

funcin aditiva , igual sigue valiendo y adems tambin se pueden establecer las
definiciones correspondientes de singularidad y variacin, resultando algo ms
generales.
Observacin 5.1 Observemos que si no toma el valor + entonces
+ ( X ) = ( P ) < y + es una medida finita, anlogamente si no toma el valor
. Entonces si el recorrido de est contenido en , es limitada.
Definicin 5.7 Supngase que es una medida signada y una medida positiva en
( X ,M ) , decimos que es absolutamente continua respecto de y escribimos:
=
si A M tal que ( A ) = 0 ( A ) = 0 .
Observacin 5.2 Se verifica fcilmente que

= si = si + = y

= .
Si y = , entonces = 0 , ya que si E , F son conjuntos disjuntos tales que
X = E U F y ( E ) = ( F ) = 0 , entonces el hecho de que = ( E ) = 0 de
donde = 0 y =0 .
Uno puede extender la nocin de absolutamente continua al caso donde es una
medida signada a saber:
= =
aunque no tendremos ninguna necesidad de dar dicha definicin general.

Proposicin 5.5 (Teorema de Radon-Nikodin-Lebesgue )

Sea ( X ,M ) un espacio medible, una medida y una funcin de conjuntos
aditiva , supongamos adems que , son finitas , (es decir que si
X = X n tal que ( X n ) < y ( X n ) < n ) Entonces existen una y solo
n
n

una descomposicin de donde ( E ) = s ( E ) + c ( E ) E M tal que:

i) s y c son funciones aditivas
ii) s , c =
iii) Existe f tal que:
Adems f es nica c.t.p.

c ( E ) = f d E M
E

- 92 -

Anlisis Real

Medida signada, integracin y diferenciacin

- 93 -

Demostracin
Supongamos primero que y son medidas positivas y finitas y sea:

F = f : X [0, + ] : f d ( E ) E M
E

Entonces se cumple que:

a) F ya que la funcin nula pertenece a F
b) Si ( f n ) F y f n ( x ) f n+1 ( x ) x entonces f = sup f n F , ya que:
T.C.M
}

=
f
d
lim
f
d
lim f n d ( E ) f F
E
E n
E
1442443
( E )

c) Si f , g F h = max { f , g} F . Para probar esto tomemos el conjunto

A = { x : f ( x ) > g ( x )}
si E M se tiene:
hd = hd + C hd =
EI A

=
Sea = sup

EI A

EI A

f d +

E I AC

C
gd
{ ( E I A) + ( E I A ) = ( E )
f , gF

f d : f F ( X ) < , existe una sucesin ( f n ) F tal que

f n d .

Sea g n = max { f1 , f 2 ,..., f n } por la propiedad c) inductivamente se tiene que

g n F n y adems f n g n g n +1 n y llamemos f = lim g n que por la
n

propiedad b) f F .Entonces:

}
f d = lim g n d lim f n d =
T.C.M

por lo tanto = f d

porque f F

Definimos

c ( E ) = f d ( E )
E

( )

primero que nada por definicin de c resulta c = , ya que si ( A ) = 0 f A

es cero c.t.p. 0 = f A d = f d = c ( A ) .
X

y sea

s ( E ) = ( E ) c ( E )

que por ( ) es s ( E ) 0 .
Veremos que s para ello definimos n n ( E ) = s ( E ) 1n ( E )
n es aditiva por ser suma de funciones aditivas .
- 93 -

Anlisis Real

Captulo 5

- 94 -

Llamemos n ( Pn , N n ) al par de la descomposicin de Hahn para n y sea

N = I N n y P = N C = U N nC = U Pn veremos que s ( N ) = 0 y ( P ) = 0 .
n

0 s ( N n ) = n ( N n ) + 1n ( N n ) 1n ( Nn )
1442443
0

como n Z n+1 ( Pn ) n ( Pn ) 0 Pn Pn+1 Pn Z N n ] y entonces:

0 s ( N ) = s I N n = lim s ( N n ) lim 1n ( N n ) = 0
1442443
n
n
n
<
Luego s ( N ) = 0 , para probar la otra afirmacin supongamos que no se cumple es
decir que ( P ) 0 como es positiva n0 tal que ( Pn0 ) > 0 y definimos:
r ( x ) = f ( x ) + n10 Pn ( x )
0

integrando

rd = f d + n10 Pn d = +
0
X
X
1442443
=

1
n0

( Pn0 ) >
1442443
>0

Si probamos que r ( x ) F llegamos a un absurdo por ser el supremo.

E M se tiene:
c ( E )
644744
8
1
rd = f + n0 Pn d = f d + n10 d =
E

= c ( E ) +

1
n0

E I Pn0

( E I Pn0 ) = ( E ) s ( E ) + n10 ( E I Pn0 )

( E ) s ( E I Pn0 ) n10 ( E I Pn0 ) ( E ) n0 ( E I Pn0 ) ( E )

14444244443
144444444444424444444444443
luego r ( x ) F.

n0 E I Pn0

Adems f es nica c.t.p. ya que si hay otra %f tenemos que:

E M f d = %f d f = %f c.t.p.
E

Analicemos ahora el caso que , son finitas .

Entonces existe una sucesin creciente ( X n )n M disjuntos dos a dos tal que
X = U X n y ( X n ) < , ( X n ) < n , A M tal que A X n podemos
n

restringir a X n , y estamos en el caso anterior, entonces n sn y cn tal que:

( A ) = sn ( A ) + cn ( A )

siendo sn , y f n tal que cn ( A ) = f n d luego cn = .

Definimos A M :

- 94 -

Anlisis Real

Medida signada, integracin y diferenciacin

- 95 -

s ( A ) = sn ( A I X n ) y c ( A) = cn ( A I X n )
n

Se tiene que:

( A ) = ( A I X n ) = sn ( A I X n ) + cn ( A I X n ) =
n

= s n ( A I X n ) + cn ( A I X n ) = s ( A ) + c ( A )
n

Adems como para cada n sn Dn X n tal que sn ( Dn ) = 0 y ( DnC ) = 0

Sea D = U Dn , entonces:
n

s ( D ) = sn ( D I X n ) = sn ( Dn ) = 0
1442443
n
n
= 0 n

Y como D = I D se tiene:
C

C
n

( D C ) = I DnC ( D1C ) = 0
n

C
asumiendo que f n = 0 en X n , definimos f = f n f X n = f n y se tiene:

f d =

U AI X n
n

f d = f A I X n d = f X n d =
n

= f n d =
n

AI X n

f n d = c n ( A I X n ) = c ( A )
n

Ahora probemos la unicidad de la descomposicin para el caso finito.

Supongamos que tenemos dos descomposiciones, A M se tiene:
s ( A ) + c ( A) = s ( A ) + c ( A )
con s , c = y s , c = entonces
s ( A ) s ( A ) = ( A )c c ( A) A M
1444442444443 144444424444443
s

Llamamos s = s s y c = c c luego s y c son funciones aditivas tal

que s y c = , ya que si llamamos ( E , F ) y ( E , F ) a las particiones
correspondientes a s y s respectivamente, es decir que s esta concentrada en E y
s est concentrada en E entonces sea ( C , D ) tal que D = F I F y C = X \ D
C = E U E y si A C ( A) ( A I E ) + ( A I E ) = 0 por ser s , s ,
144424443 144424443
=0

=0

luego est concentrado en D.

Por otro lado
A F s ( A) = 0
Si A D
( s s )( A ) = 0
A F s ( A ) = 0
- 95 -

Anlisis Real

Captulo 5

- 96 -

y s s est concentrada en C s s adems es claro que c = .

A M se tiene:
(c c )( A) = (c c )( A I C ) + (c c )( A I D ) =
= ( c c )( A I C ) + ( s s )( A I D ) = 0
144444424444443 144444424444443
=0

=0

pues ( A I C ) = 0
luego c c 0 y s s 0 .

por estar concentrado en C

Definicin 5.8 Dada una medida signada tal que existe una funcin f de manera
de que ( A ) = f d lo que tambin notamos por d = f d , entonces a f le
A

llamamos derivada de Radon-Nikodym de respecto de y haciendo abuso de

d
d
entonces sustituyendo nos queda d =
notacin escribimos que f =
d
d
d
Corolario 5.6 Si y son medidas tales que = entonces:
d
( A) =
d
A d

Corolario 5.7 Sean 1 y 2 dos medidas signadas finitas y una medida

finita , tales que 1 = y 2 = , entonces si 1 , 2 y 11 + 2 2
siempre que est definida se cumple que 11 + 2 2 = y:
d
d
d
(11 + 22 ) = 1 1 + 2 2
d
d
d
Demostracin Por la unicidad del teorema de 5.5 .
Proposicin 5.8 Sean una funcin aditiva , finita , y y medidas
finitas , entonces si = y = se cumple:
i) g L1 ( )
d
d
g
L1 ( ) y g d = g
d
d
d
d d d
ii) = y
=

d d d
Demostracin Vamos a hacer la demostracin para 0
Si E M , es tal que E L1 ( ) (o sea ( E ) < ) entonces:
- 96 -

Anlisis Real

Medida signada, integracin y diferenciacin

Por definicin

> ( E ) {=
P

luego E

d
L1 ( ) y
d

- 97 -

d
d
d = E
d
X
d
d

E d

E d = E

d
d . Las funciones caractersticas la
d

cumplen. Consideremos ahora una funcin L1 ( ) simple, entonces:

d
d

L1 ( ) y d =
d
d
d
porque toda funcin simple es combinacin lineal de funciones caractersticas y
aplicando la linealidad del integral se llega a la igualdad deseada.
En el caso general, es decir que f L1 ( ) con f 0 entonces por la proposicin
2.14 existe una sucesin de funciones simples ( n ) n tal que:
0 n n +1 f y n ( x ) f ( x )
d
d
d
Por otro lado
0 c.t.p. , por ser {
( E ) = E d n 0 c.t.p.
d
d
d
0
entonces:
d
d
> f d = lim n d = lim n
d = f
d
T.C.M n
n
T.C.M
d
d
Finalmente si f L1 ( ) cualquiera consideramos:

f = ( f r+ f r ) + i ( fi + fi )

y aplicamos lo anterior a cada una de las funciones f r+ , f r , f i+ , f i por ser todas

reales positivas.
ii) Si ( E ) = 0 ( E ) = 0 ( E ) = 0 = , adems:
=

g
}

d } =
d d
(E) =
d =

d
E
E
=
parte anterior
d
d d
P
por ser =
d
E d d
y como la derivad de Radon- Nikodym es nica
d d d
c.t.p.
=

d d d

Corolario 5.9 Si y son medidas finitas tales que = y =

entonces
- 97 -

Anlisis Real

Captulo 5

- 98 -

d d

= 1 c.t.p. ( igual c.t.p. )

d d
Demostracin Por la proposicin anterior:
d d d
c.t.p.

=
d d d
d
y
= 1 c.t.p. por ser ( E ) = 1d
E
d
Nos interesa analizar el caso particular en que X = y = medida de
Lebesgue.
Si f es una funcin continua ( f C 0 ) entonces:
1)

[a , x]

f d = f ( x )

2) F C1

[ a ,b]

F d = F ( b ) F ( a )

Luego queremos analizar si f L1 implica que se cumple 1), como encontrar una
caracterizacin para las funciones que cumplan con 2)
Observar que
( x ) = f d
[ a , x]

si f es no negativa ( x ) Z (es montona) y en general es diferencia de dos

montonas, entonces tiene sentido analizar la monotona.
Definicin 5.9 Sea : [ a, b] una funcin continua, consideremos el conjunto
E = { x [ a, b ] : y [ a, b ] con y > x, ( y ) > ( x )}
llamado
conjunto
de
puntos
invisibles por derecha. Es el
conjunto de puntos que si vemos el
grafico desde la derecha no son
visibleso son ocultos por el grfico.
Hay una definicin anloga para
puntos invisibles por la izquierda al
a
b
conjunto:
F = { x [ a, b ] : y [ a , b ] con y < x, ( y ) > ( x )}
- 98 -

Anlisis Real

Medida signada, integracin y diferenciacin

- 99 -

Lema 5.10 (Lema de Riez)

Dada una funcin : [ a, b] continua entonces el conjunto de puntos invisibles
por derecha E cumple:
i) E es abierto, en particular es medible.
ii) E = U ( ak , bk ) donde ( ak ) ( bk )
k

Demostracin i)Que es abierto es casi inmediato porque si x E que hay un

entorno incluido en E por ser continua.
ii) Sea ( ak , bk ) E entonces si x ( ak , bk ) ( x ) ( bk ) por la continuidad
de , ( ak ) ( bk ) , ya que de no ser as ( ak ) > ( bk ) por la continuidad que
sigue pasando lo mismo en un entorno, luego x ( ak , bk ) tal que ( x ) > ( bk ) y

definimos x = sup { x : ( x ) = ( x ) , x x , bk }.

Como x x , bk ( ak , bk ) E x E y > x tal que ( y ) > ( x ) por otro

lado ( x ) = ( x ) > ( bk ) lo que implica que y < bk ya que si y > bk bk E
Observando la figura podemos ver que:
( y ) > ( x ) > ( bk )
Luego como x < y < bk podemos aplicar Bolzano en
el intervalo ( y , bk ) , y %y ( y , bk ) tal que:
( %y ) = ( x )
pero esto es absurdo por ser x el supremos de los
punto que cumplen que son iguales a ( x ) = ( x ) .

bk

Observacin 5.3 Hay un resultado anlogo para los puntos invisibles a izquierda
Para el caso que f no es continua igual podemos definir el conjunto E como sigue:

E = x : y > x, ( y ) > lim ( z )

z x

Ahora introduciremos algunas notaciones:

f ( x + h) f ( x)
Df ( x + ) = lim+
h 0
h
f ( x + h ) f ( x)
Df ( x ) = lim
h0
h
f ( x + h) f ( x)
df ( x + ) = lim
h
h 0+
f ( x + h) f ( x)
df ( x ) = lim
h
h 0
- 99 -

Anlisis Real

Captulo 5

- 100 -

f es diferenciable en x si los cuatro nmeros anteriores coinciden.

Proposicin 5.11 Si f es una funcin montona entonces:
({ x : f ( x ) no existe o f ( x ) = }) = 0
Demostracin Supongamos f Z continua definimos:
E = { x : Df ( x + ) = }
y

Df ( x )
df ( x )

F f = { x : df ( x ) < Df ( x + )}

Df ( x + )
df ( x + )

Vamos a ver que todo se reduce a probar que ( E ) = ( Ff ) = 0

Llamemos g ( x ) = f ( x ) g es continua y montona, tenemos que se cumple

siempre que df ( x ) Df ( x ) y llamemos Fg = { x : dg ( x ) < Dg ( x + )} veamos que

significa que x Fg

f ( x h) + f ( x)
g ( x + h) g ( x)
= lim
=
h%= h
h
h
h 0
h 0
f ( x + h% ) f ( x )
= lim
= df ( x + )
%
+
h
h%0
una cuenta anloga muestra que:
f ( x + h%) f ( x )
f ( x h) + f ( x )
+
Dg ( x ) = lim+
= %lim
= Df ( x )
%
%
h = h h 0
h 0
h
h
dg ( x ) = lim

llamemos F f = { x : df ( x + ) < Df ( x )} entonces si ( F ) = 0 ( F ) = 0 y :

Df ( x + ) df ( x ) Df ( x ) df ( x + ) Df ( x + ) <
c.t.p.

c.t.p.

luego tienen que ser todos iguales.

Ahora probemos que ( E ) = ( Ff ) = 0

Para cada n si x E y > x tal que

f ( y) f ( x)
>n
yx
f ( y) f ( x)

Sea An = x : y > x con

> n entonces si x E x An por lo
yx

tanto E An n .
Probaremos que los An son medibles, de medida finita y adems como An ] se

tiene que I An = lim ( An ) , si probamos que este ltimo es cero E es

n
medible y ( E ) = 0 .
- 100 -

Anlisis Real

Medida signada, integracin y diferenciacin

- 101 -

Como An es el conjunto de puntos invisibles (luego medible) por derecha de

f ( y) f ( x)
n ( x ) = f ( x ) nx ya que si
> n f ( y ) ny > f ( x ) nx entonces
yx
aplicando el lema de Riez para dicha funcin tenemos que An = U ( ak , bk ) para cada
k

n con n ( ak ) n ( bk ) f ( ak ) nak f ( bk ) nbk bk ak

( An ) = ( bk ak )
k

f ( bk ) f ( ak )

1
n

f (b ) f ( a

f ( bk ) f ( ak )
n
f montona

1
) 14444442444444
n ( f ( b ) f ( a )3)
<

luego

( E ) I An = lim ( An ) = lim 1n ( f ( b ) f ( a ) ) = 0
n
n
n
Ahora probaremos que ( Ff ) = 0
Veamos primero que a F f lo podemos escribir como:
Ff =

U { x : df ( x ) < r

r , s
r <s

y Df ( x + ) > s} =

UE

r , s
r <s

r ,s

Probemos que ( Er , s ) = 0 r , s para lo cual consideremos el siguiente lema.

Lema 5.12 En las condiciones del teorema
( Er , s I ( , ) ) rs ( )
Demostracin Definimos:

1 ( I ) = ( Er ,s I I )
2 ( I ) = rs ( I )

se observa que 1 y 2 son medidas y si se cumple el lema 1 ( A ) 2 ( A ) A

(Teorema de extensin mediante).En particular ( Er ,s ) {rs ( Er ,s ) ( Er ,s ) = 0
<1

f ( y) f ( x)

Sea Gr = { x : df ( x ) < r} = x : y < x con

< r lo que es igual al
yx

conjunto invisible por izquierda de la funcin h ( x ) = f ( x ) rx entonces por el

lema de Riez dado ( , ) se tiene

( , ) I Gr = U ( ak , bk ) tal que h ( ak ) h ( bk )
k

lo que significa que f ( ak ) rak f ( bk ) rbk f ( bk ) f ( ak ) r ( bk ak )

- 101 -

(1)

Anlisis Real

Captulo 5

- 102 -

Anlogamente definimos
f ( y) f (x)

H s = { x : Df ( x + ) > s} = x : y > x con

> s y este es el conjunto de
yx

puntos invisibles por derecha de la funcin g ( x ) = f ( x ) sx aplicando el lema de

Riez se tiene para cada k:
H s I ( ak , bk ) = U ak j , bk j tal que g ak j g bk j

)
f ( b ) sb

( )

y esto significa que f ak j sak j

kj

( ) ( )
b a f ( b ) f ( a ) (2)

kj

kj

kj

1
s

kj

kj

entonces:

( H s I Gr I ( , ) ) = U ak j , bk j = bk j ak j 1s f bk j f ak j
fZ
( 2)
k, j
k, j
k, j
1s f ( bk ) f ( ak ) 1s r ( bk ak ) = sr ( bk ak ) sr ( )

(1)

( ) ( )

Con lo que queda probado el lema y por las consideraciones ms arribas queda
demostrada la proposicin.
Observacin 5.4 Sea una sucesin de conjuntos An ] y f L1 entonces:

An

n
f
0

ya que f An 0 y est dominada por f

( f

An

) por el T.C.D.

lim f = lim f An = lim f An = 0

n

An

Proposicin 5.13 Sea ( X ,M , ) un espacio de medida y f L1 ( ) entonces para

cada > 0 > 0 tal que:
si AM y ( A ) < se cumple que

f d <

Demostracin Si la tesis fuera falsa significa que > 0 tal que n An con
( An ) <

1
n

An

f d > pero esto contradice la observacin anterior.

Observacin 5.5 Sea ([ a , b ] ,M , ) un espacio de medida entonces A M dado

> 0 existe K compacto y U abierto tal que K A U con:
( A ) = (U )
( A) = ( K ) +
ya que considerando la medida:
- 102 -

Anlisis Real

Medida signada, integracin y diferenciacin

- 103 -

( A ) = inf ( I n ) con I n intervalos tal que A U I n = ( A )

n

n
etc...
Proposicin 5.14 Sea f : [ a, b ] , f L1 ([ a, b ] , ) y ( x ) = f d llamada
x

integral indefinida de Lebesgue entonces:

({ x : ( x ) no existe o ( x ) f ( x )}) = 0
Demostracin Hagamos la demostracin para f 0 ( como ya hemos considerado
en otras ocasiones esto es suficiente).
Sea A = { x : ( x ) no existe} probaremos que ({ x : ( x ) > f ( x )} I AC ) = 0
Observamos que { x : ( x ) > f ( x )} =

U {x : ( x ) > s , f ( x ) < r} = U C

r , s
r <s

r , s
r<s

Probaremos que r , s ( Cr ,s ) = 0 .

r ,s

Sea U un abierto tal que para r y s fijos Cr ,s U y (U \ Cr ,s ) < esto es posible

por la regularidad de , donde > 0 se elige de modo que si > 0 arbitrario
entonces
f d < E tal que ( E ) <
E

( y) ( x)
> s Cr , s {puntos invisibles por derecha
yx
de la funcin h ( x ) = ( x ) sx } = U ( ak , bk ) U donde adems h ( ak ) h ( bk ) lo
Si x Cr , s y > x con

que significa ( bk ) sbk ( ak ) sak y por lo tanto:

( bk ak ) 1s [ ( bk ) ( ak )] = 1s a f d a f d = 1s a f d
bk

ak

bk

entonces:
( Cr , s ) ( bk ak )
k

r
s

1
s

bk

ak

f d
{

f 0

1
s

f d = {f d +
f d
U \ Cr , s
cr , s
144424443
>r

<

1
s

d + s = ( C ) + s
r
s

r ,s

Cr , s

y como esto se cumple para > 0 arbitrario llegamos a que

( Cr ,s ) {rs ( Cr ,s ) ( Cr ,s ) = 0
<1

- 103 -

Anlisis Real

Captulo 5

- 104 -

Definicin 5.10 Sea f : [ a, b ] decimos que es absolutamente continua si dado

> 0 , > 0 tal que si {( ai , bi )}i =1 es una familia de intervalos abiertos disjuntos
n

contenidos en [ a, b ] , que verifique

n

i =1

n
i =1

( bi ai ) < entonces:

f ( bi ) f ( ai ) <

Ejemplo 5.4 Si f C1 f es absolutamente continua. Vasta con aplicar el teorema

de Lagrange convenientemente.
Ejemplo 5.5 Continua no implica absolutamente continua, como contraejemplo
tenemos la funcin de Cantor.
Definicin 5.11 Dada la funcin f : [ a, b ] decimos que es de variacin
acotada si existe c > 0 tal que:
V f [ a , b ] = sup f ( ti+1 ) f ( ti ) < c
PPa b

siendo P una particin de todas las posibles del intervalo [ a, b ] .

P = {a = t0 < t1 < ... < tn = b}
Ejemplo 5.6 Las funciones que tienen derivada acotada son de variacin acotada.
La funcin de Cantor tiene variacin acotada.
Observacin 5.6 Las funciones de variacin acotada cumplen :
1) La combinacin lineal de funciones de variacin acotada es una funcin de
variacin acotada.
2) Si a < b < c entonces:
V f [ a , b ] + V f [ b, c ] = V f [ a , c ]
Demostracin Veamos la demostracin de 2)
Por definicin de supremo existen particiones:
P1 = {a = t0 < t1 < ... < tn = b} Pa b y

P2 = {b = t n < tn+1 < ... < t n+ r = c} Pb c tal que:

n 1

i=0

f ( ti +1 ) f ( ti ) V f [ a, b ] ,

n + r 1

i=n

f ( ti +1 ) f ( ti ) V f [b, c ]

Sea P3 = P1 U P2 Pa b entonces como:

n + r 1

i=0

n 1

n + r 1

i=0

i=n

f ( ti +1 ) f ( ti ) = f ( ti +1 ) f ( ti ) +
- 104 -

f ( ti +1 ) f ( ti )

Anlisis Real

Medida signada, integracin y diferenciacin

- 105 -

y
V f [a, c ]

n + r 1

i =0

n 1

n + r 1

i =0

i=n

f ( ti +1 ) f ( ti ) = f ( ti +1 ) f ( ti ) +
V f [ a, b ]

V f [ b, c ]

f ( ti +1 ) f ( ti )

Luego V f [ a , c ] V f [ a, b ] + V f [b, c ] 2 , pero como es arbitrario:

V f [ a , c ] V f [ a , b ] + V f [b , c ] .
Por otro lado sea P una particin tal que b P

n 1

P = {a = t0 < t1 < ... < tr = b < ... < t n = c} y llamemos S p = f ( ti +1 ) f ( ti )

i =0

r 1

n 1

i =0

i =r

S p = f ( ti +1 ) f ( ti ) + f ( ti+1 ) f ( ti ) V f [ a , b ] + V f [b, c ]
luego S p tiene como cota superior a V f [ a , b ] + V f [b, c ] entonces el supremos
tambin est acotado, y por lo tanto V f [ a , c ] V f [ a , b ] + V f [b, c ] .
En
el
caso
que
b P
consideramos
P = P U {b}

y
como
S p S P V f [ a, b ] + V f [b, c ] y por lo tanto el supremo tambin cumple lo mismo.
De manera que se cumplen las dos desigualdades la igualdad.

Proposicin 5.15 Dada una funcin f : [ a, b ] tenemos que es de variacin

acotada si existen g , h Z tal que f = g h
Demostracin Si f = g h con g , h Z sea P = {a = t0 < t1 < ... < tn = b} una
particin de [ a, b ] , entonces:
n 1

i=0

n 1

f ( ti +1 ) f ( ti ) = g ( ti +1 ) g ( ti ) ( h ( ti +1 ) h ( ti ) )
i=0

n 1

n 1

g ( ti +1 ) g ( ti ) + h ( ti +1 ) h ( ti ) =
i=0

i=0

n 1

n 1

i =0

i =0

= g ( ti +1 ) g ( ti ) + h ( ti +1 ) h ( ti ) =
Por lo tanto V f [ a , b ] < .

= g (b ) g ( a ) + h (b) h ( a ) <

Sea t ( a, b ) y definimos
V f ( t ) = V f [ a , t ] y sea g = V f (t )
luego g es creciente por definicin y sea h = g f
- 105 -

Anlisis Real

Captulo 5

- 106 -

Sea t < t h ( t ) h ( t ) = V f ( t ) V f ( t ) ( f ( t ) f ( t ) ) 0 por ser:

1444442444443
=V f [ tt ]

V f [t , t ] f ( t ) f ( t ) por definicin de supremo.

Luego h es creciente y f se puede escribir como resta de dos montonas, dicha
descomposicin se le llama en ocasiones descomposicin cannica.
Lema 5.16 Sea F : [ a, b ] una funcin absolutamente continua, entonces F es
de variacin acotada.
Demostracin Sea = 1 y > 0 correspondiente a la continuidad absoluta.
Tomemos la particin del intervalo [ a, b ] que lo divide en m pedazos de longitud
menor que , llamemos P a una particin como esta.
P = {a = s0 < s1 < ... < sm = b} y sea Q una particin cualquiera entonces P = P U Q
es tal que SQ S p y la variacin de F en cada intervalo [ si , si +1 ] es menor que 1,

luego la suma (variacin de F en [ a, b ] ) no supera a m

SQ SP < m
y por lo tanto m es una cota superior de la variacin F es de variacin acotada.

Proposicin 5.17 Sea F : [ a, b ] una funcin tal que F ( a ) = 0 entonces F es

absolutamente continua si f L1 tal que:
F ( x ) = f d
x

Demostracin
n
Dado > 0 sea una familia de intervalos abiertos disjuntos {( ai , bi )}i =1 y > 0
como en la proposicin 5.13 , para

( bi ai ) < sea A = U i =1 ( ai , bi ) entonces:

i =1
n

f d = F ( bi ) F ( ai )
A f d = Uni=1 ( ai ,bi ) f d =

ai
i =1
i =1
luego F es absolutamente continua, y por el lema implica que es de variacin
acotada.
Existen G y H montonas no decrecientes tales que:
F =G H
Definimos G y H las medidas de Borel-Stieltjes asociadas.
Queremos probar que
1) G y H son absolutamente continuas.
2) G , H =
Probado esto Radon- Nikodym mediante existen h y g tales que:
- 106 >

bi

Anlisis Real

Medida signada, integracin y diferenciacin

- 107 -

G ( [ a , x ] ) = g d
x

H ( [ a , x ] ) = h d
x

entonces f = g h y F ( x ) = f d
x

Probemos ahora 1)
Sea G ( x ) = VF [ a, x ]

Dado > 0, sea > 0 de la continuidad absoluta de F es decir si {( ai , bi )}i =1 es una

n

familia de intervalos contenidos en [ a, b ] tal que

n
i =1

( bi ai ) < entonces:

F (b ) F ( a ) <
i

i =1

por otro lado:

G ( bi ) G ( ai ) = VF [ ai , bi ]
Y por el lema 5.16 F es de variacin acotada y por definicin de supremo existe
para cada i = 1,..., n una particin Pi = {ai = t0i < t1i < ... < tmi = bi } de manera que:
VF [ ai , bi ]

m1
F ( t ij +1 ) F ( t ij )
i
2
j =0

en consecuencia:
n
n
m 1

i
i
G
b

G
a

F
t

F
t
+
( i ) ( i ) ( j +1 ) ( j ) i

i =1
i =1 j = 0
i =1 2
n

F ( bi ) F ( ai ) + n < 2
i =1
1 2
1444444
4244444443 {
n

<

G absolutamente continua.
2) Sea E M tal que ( E ) = 0 y dado > 0 sea el > 0 correspondiente a la
continuidad absoluta de G.
n
Consideremos la familia de intervalos disjuntos {( ai , bi )}i =1 tal que
E U i =1 ( ai , bi ) y
n

U i=1 ( ai , bi ) = ( bi ai ) <
n

lo cual es posible por ser regular.

G ( E ) G

(U

i =1

( ai , bi ) ) i =1 G ( bi ) G ( ai ) <
i =1
n

como es arbitrario G ( E ) = 0 G = . Anlogamente con H .

- 107 -

Anlisis Real

Captulo 5

- 108 -

- 108 -

Captulo 6
Medida Producto

Definicin 6.1 Sean ( X 1 ,M1 , 1 ) y ( X 2 ,M2 , 2 ) dos espacios de medida llamamos

rectngulo medible en X 1 X 2 a los conjuntos F G con F M1 y G M2 .
notamos M1 M2 = {F G : F M1 y G M2 }
Observacin 6.1 Nuestra intencin es definir una medida en el conjunto producto
X 1 X 2 , para ello necesitamos una lgebra que es la sigma lgebra generada
por los rectngulos medibles que notamos (M1 M2 ) .
Primero definimos una premedida en el lgebra generada por los rectngulos (que
notamos a (M1 M2 ) ), y extendemos a la (M1 M2 ) , sigma lgebra generada
por los rectngulos.
Definicin 6.2 Sean ( X 1 ,M1 , 1 ) y ( X 2 ,M2 , 2 ) dos espacios de medida, entonces
definimos sobre a (M1 M2 ) , la premedida:
0 ( E F ) = 1 ( E ) 2 ( F ) E M1 , F M2
de acuerdo al teorema de extensin de medidas dicha premedida se extiende a una
medida que notamos por 1 2 llamada medida producto definida sobre
(M1 M2 ) .
Recordar que:
medida exterior

0
: P ( X ) [ 0, + ]
sea M = { A X : A es medible}

= |M : M [ 0, + ] es completa

Es decir que para X = X 1 X 2 :

1 2 = | (M1M2 )
- 109 -

Anlisis Real

Captulo 6

- 110 -

Observacin 6.2 En el caso de que 1 y 2 sean finitas

X 1 = U ( X 1 )n y X 2 =

entonces como X 1 X 2 =

U [( X )

n , m

1 n

U (X

2 m

( X 2 )m ] y 1 ( ( X 1 )n ) < y 2 ( ( X 2 )m ) <

para todo m, n 0 ( ( X 1 )n ( X 2 ) m ) <

Luego si 1 y 2 son finitas , 0 tambin lo es. En este caso 1 2 es
finita y entonces es la nica medida definida sobre (M1 M2 ) cuya
restriccin a a (M1 M2 ) coincide con la premedida 0 .
Definicin 6.3 Sea C P ( X ) se dice que C es una clase montona sobre X si
cumple:
i) Siendo ( En )n C sucesin creciente de conjuntos, entonces

UE
n =1

ii) Si ( Fn )n C sucesin decreciente de conjuntos, entonces

IF C
n =1

Ejemplo 6.1 P ( X ) es una clase montona, de forma obvia.

Ejemplo 6.2 Si M es una lgebra entonces M es una clase montona.
Ejemplo 6.3

Si ( Ci )iI es una familia de clases montonas sobre X entonces

C = I Ci es una clase montona.

iI

Definicin 6.4 Si E P ( X ) consideremos:

m ( E ) = {C : C P ( X ) , E C , con C clase montona}
C (E) =

C es una clase montona llamada clase montona generada por E.

Cm ( E )

Lema 6.1 (de la Clase Montona) Sean A un lgebra, M la lgebra

generada porA y C la clase montona generada por A , entonces:
M =C
- 110 -

Anlisis Real

Medida Producto

- 111 -

Demostracin Por el ejemplo 6.2 M es una clase montona que contiene a A

M m (A ) , luego C M .
Para ver la otra inclusin probaremos que C es una lgebra . Para eso es
suficiente probar que C es un lgebra, ya que si ( En )n1 C definimos:
F1 = E1 , F2 = E1 U E2 ,...,Fn = U Ei ( Fn )n1 Z
n

i =1

C clase montona

UE = UF

Dado E C sea C ( E ) = { F C : F \ E , E \ F , E I F C } , luego E , C ( E )

C ( E ) , probaremos que C ( E ) =C E C ,una inclusin es obvia por
definicin C ( E ) C E C
Por otro lado C ( E ) es una clase montona ya que si ( Fn )n1 Z ( Fn \ E )n1 Z y
1442443
C ( E )

( E I Fn )n1 Z U Fn \ E = U ( Fn \ E ) C y E I U Fn = U ( E I Fn ) C , adems
n

( E \ Fn )n1 ] E \ U Fn = I ( E \ Fn ) C U Fn C ( E ) .
n

Por otro lado se tiene que F C ( E ) E C ( F ) .

Ahora supongamos que E A A C ( E ) ya que:
si F A E \ F , F \ E , F I E A C F C ( E )
y C ( E ) es una clase montona que contiene a A entonces C C ( E ) E A
Por lo tanto si F C F C ( E ) E A E C ( F ) E A , F C
luego A C ( F ) , F C ( por ser C ( F ) clase montona ) C ( F ) m (A ) .

Y luego C C ( F ) F C y se tiene la igualdad.

Si F1 , F2 C F1 C ( F2 ) ( o F2 C ( F1 ) ) F1 \ F2 , F2 \ F1 , F1 I F2 C C es
cerrado por complementos ya que tomando F1 = X se tiene que F2C C F2 C .
Y adems:
Si F1 , F2 C F1C I F2C C
( F1C I F2C ) C
C

( F1 U F2 ) C
Definicin 6.5 Sea A un lgebra de conjuntos de X, y una premedida definida
sobre X , decimos que es continua por arriba en el vaco si ( An )n A y

( An ) ] , entonces:

lim ( An ) = 0

n +

- 111 -

Anlisis Real

Captulo 6

- 112 -

Lema 6.2 Si es una premedida finita, aditiva y continua por arriba en el vaco,
entonces es aditiva.
Demostracin Sea ( An )n A tal que Ai I Aj = si i j y A = U An A
n

Definimos Bn = U Ai como ( A \ Bn ) n A y ( A \ Bn ) ] luego por hiptesis:

n

i =1

lim ( A \ Bn ) = 0

n +

Como es finita, n se tiene ( A \ Bn ) = ( A ) ( Bn ) y pasando al lmite:

n
lim ( A \ Bn ) = ( A ) lim ( Bn ) = ( A ) lim U Ai =
n
n
n
i =1
n

i =1

n =1

= ( A ) lim ( Ai ) = ( A ) ( An ) = 0
n

luego U An = ( An ) es aditiva
n=1 n=1
Definicin 6.6 Dado un conjunto A X1 X 2 , llamamos x-seccin de A al
conjunto:
Ax = { y : ( x, y ) A}
Anlogamente llamamos y-seccin de A al conjunto:
Ay = { x : ( x, y ) A}
Proposicin 6.3 (Teorema de Fubini 1)
Sean ( X 1 ,M1 , 1 ) y ( X 2 ,M2 , 2 ) espacios de medida finitos , entonces existe
una nica medida 1 2 definida en (M1 M2 ) tal que:
1 2 ( F G ) = 1 ( F ) 2 ( G ) F M1 , G M2
y adems:
1 2 ( A ) = 2 ( Ax ) d1 = 1 ( Ay ) d 2 A (M1 M2 )
X1

X2

Demostracin Veamos primero que si A (M1 M2 ) entonces x X 1 Ax es

2 medible y y X 2 Ay es 1 medible.
X2
Sea el conjunto:
a = { A : A X1 X 2 , Ax M2 x X 1}
Ax
Probaremos que
A
{F G : F M1 , G M2 } a
x
X1
- 112 -

Anlisis Real

Medida Producto

- 113 -

y que a es lgebra la lgebra generada por los rectngulos est incluida

en " a " es decir (M1 M2 ) a ya que:
G si x F
Si A = F G Ax =
M2 A a
si x F
C
por otro lado si A a Ax M2 ( Ax ) M2 y como:

( Ax )C = { y : ( x, y ) A} = { y : ( x, y ) AC } = ( AC ) x

entonces ( AC ) x M2 AC a .

Sea ( An )n a ( An ) x M2 entonces:

U An = y : ( x, y ) U An = { y : ( x, y ) An para algn n} = U ( An ) x M2
n x

n
n

luego U An M2 U An a
n x
n
Resulta que " a " es una lgebra tiene que contener a la sigma lgebra
generada por los rectngulos.
Anlogamente para Ay .
Consideremos ahora el conjunto:
n

A = U Fi Gi : Fi M1 , Gi M2 dos a dos disjuntos i = 1,..., n M1 M2

i =1

A es un lgebra (ejercicio) a (M1 M2 ) A (M1 M ) (A )

q Sean 1 , 2 finitas, definimos:
1 2 ( A ) = 1 ( F ) 2 ( G ) siendo A = F G con F M1 , G M2
(1)
entonces 2 ( Ax ) = 2 ( G ) F ( x ) .
1 2 ( A ) = 1 ( F ) 2 ( G ) = 2 ( G ) F ( x ) d 1 =
X1

= 2 ( G ) F d1 = 2 ( Ax ) d1
X1

X1

de manera natural 1 2 se extiende a A que es un lgebra y se sigue

cumpliendo:
1 2 ( A ) = 2 ( Ax ) d1 = 1 ( Ay ) d 2
(2)
X1

X2

Hasta ac 1 2 es una premedida aditiva y finita en A entonces si probamos que

1 2 es continua por arriba en el vaco 1 2 es aditiva .
Lema 6.2

Probemos entonces esto ltimo.

Sea ( An )n A , An ] ( An ) x ]
igualdad (2) tenemos:

x X 1 como en A se cumple la

- 113 -

Anlisis Real

Captulo 6

- 114 -

1 2 ( An ) = 2 ( ( An ) x ) d1 = 1 ( An ) y d 2
X
X
1

Y como por el lema 5.2 (ii) aplicado a 2 :

( An ) x ]
0
2 ( ( An ) x )
n
2 finita
por otro lado 2 ( ( An ) x ) 2 ( X 2 ) < , y como adems 1 es finita se tiene que

2 ( X 2 ) es 1 integrable , luego podemos aplicar el teorema de convergencia

dominada, y nos queda:
lim 1 2 ( An ) = lim 2 ( ( An ) x ) d1 = =
2 ( ( An ) x ) d1 = 0
{ X1 lim
X1
n
n
n
144444244444
3
T.C.D
=0

1 2 es aditiva en el lgebra A , por el teorema de extensin, existe una

nica medida 1 2 (que por comodidad seguimos llamando 1 2 ) definida en
(A ) (M1 M2 ) que extiende a 1 2 definida como (1).
Falta ver que:
1 2 ( A ) = 2 ( Ax ) d1 = 1 ( Ay ) d 2 A (M1 M2 )
X1

X2

Consideremos el conjunto donde se cumple (2) es decir:

H = { A P ( X ) : donde se cumple la igualdad (2)}
entonces A H , ahora si probamos que H es una clase montona; por definicin
de m (A ) = {C P ( X ) : A C y C es clase montona} H m (A ) y se

tiene que C (A ) H , pero por lema 6.1 (A ) = C (A ) y entonces:

(M1 M2 ) (A ) = C (A ) H
Probemos que H es clase montona.
Sea ( An )n Z H entonces como estamos en H:

1 2 ( An ) = 2 ( ( An ) x ) d1 = 1 ( An ) y d 2
X
X
1

Sea A = U An por el lema 5.2 (i) aplicado a 1 2 se tiene:

n

n
1 2 ( An )
1 2 ( A )
e igualmente ( An ) x Z Ax 2 es una medida, por el mismo lema:

n
2 ( ( An ) x )
2 ( Ax )

entonces:

n
1 2 ( A )
1 2 ( An )
P

X1

2 ( ( An ) x ) d1
2 ( Ax ) d 1
T.C.M
X1

- 114 -

Anlisis Real

Medida Producto

- 115 -

Luego 1 2 ( A ) = 2 ( Ax ) d1
X1

Anlogamente sea ( Bn )n H tal que ( Bn ) ] B entonces por estar en H:

1 2 ( Bn ) = 2 ( ( Bn ) x ) d1 = 1 ( Bn ) y d 2
X1

X2

Como 1 , 2 son finitas 1 2 es finita y por el lema 5.2 (ii) aplicado a 1 2 ,

se tiene:
n
1 2 ( Bn )
1 2 ( B )
por otro lado como ( Bn ) x ] ( B ) x y por el mismo lema aplicada a 2 :
2 ( ( Bn ) x ) 2 ( Bx )

y como 2 es finita 2 ( ( Bn ) x ) 2 ( X 2 ) <

y 1 finita 2 ( X 2 ) es 1 -integrable, y podemos aplicar el T.C.D. y nos queda:

T.C.D
2 ( Bx ) d 1
2 ( ( Bn ) x ) d1
X

1 2 ( Bn )
1 2 ( B )
Por la tanto 1 2 ( B ) = 2 ( Bx ) d1
X1

Si 1 y 2 son finitos , podemos escribir al conjunto X 1 X 2 que ahora

llamamos X Y , como unin de una sucesin creciente ( X n Yn )n de medida
finita donde se cumple lo anterior.
Si E M1 M2 con el argumento precedente aplicado a E I ( X n Yn ) n :
q

1 2 ( E I ( X n Yn ) ) = 2 ( E x I Yn )d1 = 1 ( E y I X n ) d 2
X

por ser E = U ( E I ( X n Yn ) ) , y ( E I ( X n Yn ) ) n Z E as como ( Ex I Yn ) Z Ex

y

(E

I X n ) Z E y , aplicando el teorema de convergencia montona se llega el

resultado deseado.
Definicin 6.7 Sea f : X 1 X 2 [0, + ) , llamamos x-seccin de f a la funcin
f x : X 2 [0, + ) tal que f x ( y ) = f ( x, y ) . Y llamamos y-seccin de f a la funcin
f y : X 1 [0, + ) tal que f y ( x ) = f ( x, y ) .
Proposicin 6.4 (Teorema de Tonelli-Fubini)
Dados ( X 1 ,M1 , 1 ) y ( X 2 ,M2 , 2 ) espacios de medida con 1 , 2 finitas
entonces:
i) Tonelli Si f L+ ( X 1 X 2 ) entonces f x L+ ( X 2 ) , f y L+ ( X 1 ) y adems:
- 115 -

Anlisis Real

X 1 X 2

Captulo 6

f d ( 1 2 ) =

X1

- 116 -

f x ( y ) d 2 d1 =

X2

ii) Fubini Si f L1 ( 1 2 ) entonces:

X2

f y ( x ) d1 d 2

X1

( )

f x L1 ( 2 ) c.t.p. 1 y f y L1 ( 1 ) c.t.p. 2

y adems se cumple ( )

Demostracin Si A (M1 M2 )
f x ( y ) = Ax ( y ) ya que:

entonces

f = A

sea

en

este

caso

1 si y Ax ( x, y ) A
Ax ( y ) =
0 si y Ax ( x , y ) A
Todo se reduce a la proposicin anterior.
Es decir que las funciones caracterstica cumplen con el teorema.
Por linealidad se extiende a funciones simples no negativas.
Si f L+ ( X 1 X 2 ) cualquiera, sea ( n ) una sucesin de funciones simples tal que
0 n ( x, y ) n +1 ( x, y ) f ( x, y ) y lim n ( x, y ) = f ( x, y ) ( x, y ) X 1 X 2
n

entonces:

X 1 X 2

f d ( 1 2 ) =
n d ( 1 2 ) = lim
{ lim
X1
n X 1 X 2
n
T.C.M

X1

X2

X2

X 1 X 2

ii) Si f L1 ( X 1 X 2 )

( n ) x ( y ) d 2 d 1 ={

( n ) x ( y ) d2 d 1 ={

T.C.M

n x

Anlogamente se prueba que:

X2

)
( lim ( ) ( y ) d )d = (

= lim
X1

f d ( 1 2 ) =

X2

X1

X1

X2

f x ( y ) d 2 d 1

f y ( x ) d1 d 2

f d ( 1 2 ) < y por la parte anterior entonces:

X1 X 2

(14444442444444
f ( y ) d 3) d
X1

X2

<

(x)

Luego ( x ) L ( 1 ) ( x ) < c.t.p. 1 es decir:

1

(x) =

X2

f x d 2 <

lo que significa que f x (y por lo tanto f x ) L1 ( 2 ) c.t.p. 1 .

Por ltimo si escribimos a f como:
+

f = Re ( f ) Re ( f ) + i Im ( f ) Im ( f )

T.C.M

) (

- 116 -

Anlisis Real

Medida Producto

- 117 -

como todas estn en L1 ( 1 2 ) y adems estn en L+ aplicando Tonelli a cada

una y rehaciendo la funcin f se tiene que se cumple ( ) .
Observacin 6.3 Dada una funcin f : X 1 X 2 , medible , para calcular

f d (
1

se verifica que f L1 ( 1 2 ) en caso afirmativo usamos Tonelli, es decir que

podemos calcular la integral, por medio de las iteradas.
No tenemos que fijarnos que las secciones de f sean integrables, porque sale del
teorema anterior.
Observacin 6.4 El teorema anterior vale para espacios de medida finitos si
sacamos esta hiptesis el teorema no es necesariamente cierto, as como al sacar la
hiptesis de integrabilidad en la parte ii) (Fubini)
Ejemplo 6.1 Consideremos la funcin f que
-1
1
vale 1 o -1 en los vrtices del reticulado del
4
dibujo y cero en el resto.
3
1 -1
1 si x = y
1 si x = 2k + 1, y = 2k + 2
2 -1
1

f ( x, y ) =
1 1 -1
e viceverza con k {0,1}

0 en otro caso
1 2 3 4 5
Con 1 = 2 = a la medida de conteo.
En cada seccin nos queda cero luego la integral por iteraciones es:

(
X1

X2

y como f = f + + f , y

X1 X 2

f x ( y ) d 2 d1 =

X1 X 2

X2

X1

f + d ( 1 2 ) =

f d ( 1 2 ) =

X1 X 2

f y ( x ) d1 d 2 = 0

X1 X 2

f d ( 1 2 ) = se tiene:

f + d ( 1 2 ) +

X1 X 2

f d ( 1 2 ) =

es decir f L1 ( 1 2 ) .

Frmula integral por partes

Proposicin 6.5 Sea = [ a, b ] ,donde los extremos pueden ser finitos o no. Sea
finita en y las funciones f , g L1 ([ a, b] , ) , definimos:
F ( x) =

[ a , x]

f d

G ( x) =

- 117 -

[ a , x]

g d

Anlisis Real

Captulo 6
F ( y 0) =

[ a , y]

- 118 -

f d , G ( y 0 ) =

g d

[ a , y]

Entonces tenemos la siguiente frmula de integracin por partes:

f ( x ) G ( x ) d = F ( b ) G ( b ) g ( y ) F ( y 0 ) d

Demostracin
Sea E = {( x, y ) ; y x} y definimos:

h ( x, y ) = f ( x ) g ( y ) E ( x, y )
tenemos que h es medible y
h ( x, y ) d ( ) = f ( x ) g ( y ) E d ( )

f ( x) g ( y) d ( ) =

f ( x ) d

luego h L1 ( ) , y por Fubini:

h ( x, y ) d ( ) = g ( y )

)(

g ( y ) d <

f ( x ) E ( x, y ) d d =

(
= g ( y)(
= g ( y)

[ y ,b ]

[ a ,b ]

f ( x ) d d =

f ( x ) d f ( x ) d d =
a,y
[

= g ( y ) ( F (b ) F ( y 0)) d =

= g ( y ) F (b ) d g ( y ) F ( y 0 ) d =

= F (b ) G ( b ) g ( y ) F ( y 0 ) d

Si ahora integramos primero en relacin a y e despus en relacin a x tenemos:

h ( x, y ) d ( ) = f ( x ) g ( y ) E ( x, y ) d d =

= f ( x)

[ a , x]

g ( y ) d d = f ( x ) G ( x ) d

Tenemos por lo tanto:

f ( x ) G ( x )d = F (b ) G ( b ) g ( y ) F ( y 0 )d

con lo que queda probado el teorema.

- 118 -

Captulo 7
Integracin en espacios localmente compactos.
Definicin 7.1 Sea X un espacio topolgico, decimos que es localmente compacto si
cada punto tiene un entorno compacto que lo contiene.
De ac en adelante abreviaremos LCH para referirnos a un espacio topolgico
localmente compacto y Haurdrff.
Proposicin 7.1 Si X es LCH y x X , entonces la familia de entornos compactos
de x es una base local de x.
Demostracin Sea U X tal que x U .
Podemos suponer que U es compacto, porque en caso contrario si F es un entorno
o

compacto de x, sustituimos U por U I F , entonces como U compacto y Haurdff

implica que es normal, luego si F1 y F2 son cerrados disjuntos en U , existen
abiertos A1 y A2 disjuntos tales que F1 A1 , F2 A2 .
Como { x} y U son cerrados en U disjuntos que existen A y B abiertos

disjuntos de U , tales que x A, U B , en particular A U con A abiertos en

U y U abierto y por lo tanto A es abierto en X, adems:
A = Ar U \ B U A U U
relativo

y como U es compacto A tambin lo es.

Luego A es un entorno compacto de x que est contenido en U.

- 119 -

Anlisis Real

Captulo 7

- 120 -

Proposicin 7.2 Sea X un espacio LCH, K compacto, U abierto de manera

que K U X entonces existe un abierto pre-compacto (con clausura compacta)
V tal que:
K V V U
Demostracin Para cada x K sea N x un entorno compacto de x tal que N x U .

La familia N x : x K es un cubrimiento por abiertos de K. x1 , x2 ,..., xn K

o

tales que K U N x j = V V = U N x j que es compacto contenido en U.

j =1
j =1 {
n

compactos

Definicin 7.2 Sea X un espacio topolgico y en l una funcin f : X

definimos el siguiente conjunto llamado soporte de f , que notamos por Sop ( f ) a:
Sop ( f ) = { x X : f ( x ) 0}
Definicin 7.3 Sea X un espacio topolgico localmente compacto y Haurdrff ,
definimos el siguiente espacio vectorial de funciones continuas con soporte
compacto, que notamos por Cc ( X ) , al conjunto:
Cc ( X ) = { f : X : f es continua y Sop ( f ) compacto}
Proposicin 7.3 (Lema de Urysohn para LCH)
Sea X un espacio LCH, F X cerrado y K X \ F , compacto, entonces existe
f Cc ( X , [ 0,1]) es decir f : X [0,1] tal que f |K = 1 y f |F = 0 .
Demostracin Sean U = X \ F y V como en la proposicin anterior, entonces V es
compacto y Haurdff V es normal.
Como K y V son cerrados disjuntos en V , por el Lema de Urysohn para espacios
normales existe f Cc (V , [ 0,1]) tal que f |K = 1 y f |V = 0 , entonces extendemos f
a X poniendo f ( x ) = 0 x V f es continua, Sop ( f ) V y Im ( f ) [ 0,1] ,
donde f |K = 1.
Corolario 7.4 Si x X , F X es cerrado y x F entonces f Cc ( X , [ 0,1])
Proposicin 7.5 (Teorema de extensin de Tietze, para LCH)
Si X es un espacio LCH, K X compacto y f : K [0,1] continua, entonces
existe %f : X [0,1] continua tal que:
- 120 -

Anlisis Real

Integracin en LCH

- 121 -

%f | = f
K
Demostracin Anloga a la anterior.
Notacin Si K es compacto K p g significa que:
g C c ( X , [ 0,1]) tal que g |K = 1
Si U es abierto g p U significa que:
g C c ( X , [ 0,1]) tal que Sop ( g ) U
Definicin 7.4 Sea X un espacio topolgico, A X , se dice que {hi }iI es una
particin de la unidad para A si se cumple:
i) hi : X [ 0,1] continua i I
ii) Para cada x A existe un entorno Vx de x tal que:
hi |Vx = 0 i excepto para una cantidad finita de ndices
iii)

h ( x ) = 1 x A .
iI

Definicin 7.5 Si U es un cubrimiento por abiertos de A se dice que la particin de

la unidad {hi }iI est subordinada al cubrimiento si i I U U tal que
Sop ( hi ) U .

Proposicin 7.6 Sean X un espacio LCH y K X compacto. Si U = {U1 ,...,U n } es

un cubrimiento por abiertos de K, entonces existe una particin de la unidad {hi }i =1
de K, con Sop ( hi ) compacto en U i i = 1,..., n .
n

Demostracin Para cada x K , existe entorno compacto Vx U i para algn i,

entonces V x : x K es un cubrimiento de K, entonces existen Vx1 ,...,Vxl tal que:

l

K UVxi
i =1

Para cada i {1,..., n} sea K i = U Vx j : Vx j U i , K i es compacto (es unin finita

j

de compactos) i adems:
K U Ki y Ki U i
n

i =1

Por el Lema de Uryshon para cada i existe fi tal que K i p f i p U i , entonces

- 121 -

Anlisis Real

Captulo 7

- 122 -

f ( x ) 1 x K
i

i =1

Por Lema de Urysohn existe f n+1 tal que:

K p f n+1 p x : f i ( x ) > 0 = U

i
n

Sea f n +1 = 1 f n+1 entonces h := fi no se anula.

i =1

Por ltimo definimos:

fi
i = 1,..., n
h
Sop ( hi ) = Sop ( f i ) U i y Im ( hi ) [ 0,1] .
n
1 n
1 n +1
Si x K hi ( x ) =
f
x
=
(
)
i
fi ( x ) = 1
h ( x ) i =1
h ( x ) i =1
i =1
hi =

Definicin 7.6 Una funcional lineal positiva I sobre Cc ( X ) es una funcional lineal
tal que I ( f ) 0 si f ( x ) 0 x X .
Observacin 7.1 Si es una medida de Borel definida sobre compactos y
( K ) < K X compacto, entonces I tal que I ( f ) = f d es una funcional
X

positiva.
Proposicin 7.7 Si I es una funcional positiva sobre Cc ( X ) , entonces K X
compacto existe una constante Ck tal que:
I ( f ) CK f , f Cc ( X ) tal que Sop ( f ) K
Demostracin Supongamos f a valores reales.
Por el Lema de Urysohn existe tal que K p entonces si f Cc ( X ) tal que
Sop ( f ) K f = f y tenemos:
f = f f
f
aplicando I

I( f
f

f 0

f ) 0

I ( ) I ( f ) 0

I(f ) f

I ( )
{
CK

- 122 -

Anlisis Real

Integracin en LCH

- 123 -

Definicin 7.7 Sea X un espacio LCH y una medida de Borel sobre X. Si

E BX , se dice que :
es exteriormente regular en E si:
( E ) = inf { (U ) : U E , U abierto}
es interiormente regular en E si:
( E ) = sup { ( K ) : K E , K compacto}
es regular en E si es interiormente y exteriormente regular en E.
Adems decimos que es exteriormente regular, interiormente regular o regular si lo
en cada boreleano.
Definicin 7.8 Sea una medida de Borel sobre X se dice que es una medida de
Radon si:
i) ( K ) < K compacto.
ii) es exteriormente regular.
iii) es interiormente regular en cada abierto.
Proposicin 7.8 (Teorema de representacin de Riez)
Sea I : Cc ( X ) una funcional positiva, entonces existe una nica medida de
Radon tal que:
I ( f ) = f d f Cc ( X )
X

Adems satisface:
1) (U ) = sup {I ( f ) : f p U , U abierto}

2) ( K ) = inf {I ( f ) : K p f , K compacto}

Demostracin Primero demostraremos la unicidad, supongamos que existen dos

medidas de Radon tales que I ( f ) = f d .
X

Sea U X abierto, y sea K U compacto entonces por el Lema de Urysohn

existe f tal que:
K p f p U K f U
e integrando
( K ) = K d f d U d = (U )
X

luego ( K ) I ( f ) (U )
y como (U ) = sup K U ( K ) sup {I ( f ) : f p U } (U )

En la misma desigualdad a su vez f p U I ( f ) (U ) y pasando al supremo

- 123 -

Anlisis Real

Captulo 7

- 124 -

sup {I ( f ) : f p U } (U ) por lo tanto (U ) = sup {I ( f ) : f p U } U abierto

Entonces I determina sobre los abiertos de X, como es exteriormente regular
entonces I determina sobre los bolerianos. Luego est determinada por I.
Ahora demostraremos la existencia, hay que definir (U ) = sup {I ( f ) : f p U }
para todo U abierto, tiene que ser ( E ) = inf { (U ) : U E , U abierto} E BX
y probamos que se trata de una medida de Radon.
Pasos a seguir:
a) Definimos : P ( X ) [ 0, + ) tal que:

( E ) = inf (U j ) : E UU j ,U j abierto j
j
j =1

es una medida exterior; veremos que:

( E ) = inf { (U ) : E U , U abierto} y BX { medibles} , extiende a
definida como:
= |BX
b) es de Radon, es decir satisface 1) y 2).
c) Por ltimo hay que probar que:
I ( f ) = f d f Cc ( X )
X

empecemos probando:

inf { (U ) : E U , U abierto} = inf (U n ) : E UU n , U n abierto E BX

n=1

n
La desigualdad ( ) ya la tenemos. Para probar la otra desigualdad consideramos un
cubrimiento por abiertos {U n } de E.

Sean U = UU n , f p U , Sop ( f ) = K .
n =1

Como K es compacto, existe m tal que K UU j nos tomamos una paricin de la

m

j =1

unidad de K subordinada a los U j .

Sea {h1 ,..., hm } una particin de la unidad para K subordinada a {U1 ,...,U m } .
m

Entonces f = f h j y Sop ( f h j ) U j adems f h j p U j

j =1

Por tanto
m

I ( f ) = I ( f h j ) ( U j ) (U j )
1442443 j =1
j =1
j =1
(U j )

- 124 -

Anlisis Real

Integracin en LCH

- 125 -

luego I ( f ) (U n ), f p U (U ) (U n ) .
n =1

Ahora probaremos que BX { medibles}

n =1

Basta ver que si U es abierto, entonces U es medible . Para eso hay que ver que
si E X y ( E ) < entonces:
( E ) ( E IU ) + ( E IU C )

Supongamos primero que E es abierto, notar que es este caso ( E ) = ( E ) o sea:

( E ) = inf { (U ) : E U , U abierto} ( E )
Por otro lado si E U abierto y f p E f p U
( E ) = sup {I ( f ) : f p E} sup {I ( g ) : g p U } = (U )
por lo tanto ( E ) ( E ) .

Como ( E I U ) = ( E I U ) ( E ) < dado > 0 f p E I U tal que:

( E IU ) < I ( f ) +
Ahora E \ Sop ( f ) es un abierto contenido en E, entonces existe g p E \ Sop ( f ) tal
que:
( E \ Sop ( f ) ) < I ( f ) + f + g p E
entonces
( E ) I ( f + g ) = I ( f ) + I ( g ) > ( E I U ) + ( E \ Sop ( f ) )

> ( E I U ) + E \ Sop ( f ) 2 ( E I U ) + ( E \ U ) 2
14444244443
E \U

Esto vale para todo > 0 , as que queda demostrado.

Si E X es cualquiera, tal que ( E ) < dado > 0 existe V abierto tal que
E V y ( E ) (V ) (V I U ) + (V I U C )
( E IU ) + ( E IU C )

Esto vale para todo > 0 , llamemos a |BX .

Entonces es exteriormente regular ya que:
Si E BX ( E ) = ( E ) = inf { (U ) : E U , U abierto}
satisface 1)
satisface 2) ya que ( K ) < K compacto
Sea K compacto y K p f dado ( 0,1) sea U = { x : f ( x ) > 1 } por definicin
U es abierto y K U .
- 125 -

Anlisis Real

Captulo 7

- 126 -

1
1
f > g I
f I ( g ) luego:
1
1
1
I ( f ) I ( g ) g p U
1
tomando supremo en I ( g ) se mantiene la desigualdad y tenemos:
1
I ( f ) sup g pU I ( g ) = (U )
1
entonces
I ( f ) (1 ) (U ) (1 ) ( K ) ( 0,1)
I ( f ) (K )
por un lado ( K ) < y por otro
( K ) inf {I ( f ) : K p f }
Sea ahora > 0 y U abierto tales que:
K U , (U ) ( K ) <
Por el Lema de Urysohn existe f tal que K p f p U lo que implica
( K ) I ( f ) (U )
luego 0 I ( f ) ( K ) (U ) ( K ) < ( K ) = inf {I ( f ) : K p f }
satisface 2).
es interiormente regular en abiertos. Tomemos un abierto U y f p U que existe
por el Lema de Urysohn. Entonces f g I ( f ) I ( g ) g luego:
I ( f ) = inf {I ( g ) : K p g p U } = ( K )
Sea g p U

Si K p h K p gh p U y gh h I ( gh ) I ( h ) luego:
(U ) = sup {I ( f ) : f p U } = sup { ( K ) : K U , K compacto}
lo que implica que es inferiormente regular en abiertos.

Falta ver que I ( f ) = f d f Cc ( X ) para lo cual basta mostrar que vale para
todo f Cc ( X , [ 0,1])

Sea n + definimos K 0 = Sop ( f )

K j = { x : f ( x ) Kj } , j = 1,..., n
Definimos f j tal que:

n1 si f ( x ) nj o sea x K j

f j ( x ) = f ( x ) jn1 si 0 f ( x ) jn1 <

0 en otro caso

x K j 1 \ K j

2
1
n

n
n

K2
K1

- 126 -

Anlisis Real

Integracin en LCH
n

entonces f j es continua para todo j y

f
j =1

- 127 -

= f adems:

K j f j K j 1 K j p nf j p U U abierto y U K j 1

1
n

1
n

luego:
1
n

( K j ) f j d 1n ( K j 1 )
X

es decir ( K j ) nI ( f j ) (U ) U abierto U K j 1
Pero entonces:
1
n

( K j ) I ( f j ) 1n ( K j 1 )

sumo
n

1
n

( K ) I ( f ) ( K )

1
n

I
(
)

fj
j
j =1
j =1 3
14442444

j =1

1
n

j =1

j =1

j 1

1
n

(K )
j 1

j =1

=I ( f )

luego I ( f ) f d
X

1
n

( ( K ) ( K )) = ( ( K
j =1

j 1

1
n

) ( Kn ))

( K0 )
0
n

o sea I ( f ) = f d .
X

Proposicin 7.9 Sea X un espacio LCH, de Radon sobre X, E BX de medida

finita. Entonces es interiormente regular en E.
Demostracin Supongamos que E tiene medida finita. ( E ) <
Dado > 0 sea U abierto tal que U E y (U ) < ( E ) +
Como es interiormente regular en U existe K1 U compacto tal que:
( K1 ) (U )
Sea V abierto tal que V K1 \ E y:
(V ) < ( K1 \ E ) +
Sea K = K1 I V C entonces K E , V K1 I E C V C K1C U E E
K = K1 I V C K1 I E E
luego K es compacto por ser un cerrado contenido en un compacto K1
( K ) = ( K1 I V C ) = ( K1 \ V ) = ( K1 ) ( K1 I V ) >
> ( K1 ) (V ) > (U ) ( K1 \ E ) >
> ( E ) 2 (U \ E ) > ( E ) 3
- 127 -

Anlisis Real
luego

Captulo 7

- 128 -

( E ) = sup { ( K ) : K E y K compacto}

Sea ahora ( E ) = y consideremos E = U En con En En+1 y ( En ) < n

n =1

entonces dado M sea n0 tal que:

( En0 ) > M

por lo anterior existe K En0 con K compacto, tal que ( K ) > M

sup { ( K ) : K E , K compacto} =
y por lo tanto tambin se cumple que:
( E ) = sup { ( K ) : K E , K compacto}

Corolario 7.10 i) Si es una medida de Radon finita , entonces es regular.

ii) Si X es compacto, es decir que:

X = U K n con K n compacto n
entonces es regular.

n =1

Corolario 7.11 Las medidas de Lebesgue-Stieljes son regulares.

Definicin 7.9 Un conjunto Ade un espacio X se dice que es un conjunto F en X si
es igual a la unin de una coleccin numerable de subconjuntos cerrados de X.
A X es F A = U Fn con Fn cerrado de X n
n

Un conjunto B de un espacio X se dice que es un conjunto G en X si es igual a la

interseccin de una coleccin numerable de subconjuntos abiertos de X.
B X es G B = I Gn con Gn abierto de X n
n

Proporcin 7.12 Sea una medida de Radon finita y E BX entonces:

i) Dado > 0 existen F cerrado y G abierto tales que:
F E G y (G \ F ) <
y pasando al lmite:
ii) Existen F y G , digamos A y B respectivamente, tales que:
A E B y ( B \ A) <

- 128 -

Anlisis Real

Integracin en LCH

- 129 -

Demostracin i) Sea E = U En con ( En ) < para cada En existe U n abierto tal

n =1

que U n En y ( U n ) ( En ) + 2n , luego:

( U n ) ( En )
P

( U n \ En )

2n

2n

Sea U = UU n U es abierto , U E y:
n =1

(U \ E ) = UU n \ En (U n \ En ) 2n =
n
n
n
C
de la misma manera existe V abierto tal que V E y (V \ E C ) < .
Sean G := U , F := V C entonces G es abierto y F cerrado y adems F E G y:
( G \ F ) = ( G \ E )+ ( E \ F ) < 2
ya que ( E \ F ) = ( E \ V

<

= (V \ E

E C V

)<.

<

ii) Para cada n existe Gn abierto y Fn cerrado tales que:

Fn E Gn , y ( Gn \ Fn ) < 1n
Sean:
B = I Gn

n
A es F y B es G tales que A E B y como B \ A Gn \ Fn
A = U Fn

n
( B \ A ) ( Gn \ Fn ) < 1n n ( B \ A ) = 0 .
Lema 7.13 Si X es un espacio LCH compacto, entonces existe una sucesin
creciente de compactos tal que K n es compacto n

K n K n+1 y X = U K n
n =1

Demostracin Por hiptesis existe ( H n )n , con H n compacto n tal que

X = U H n . Sea K1 = H1 y definimos K n tal que K nC K nC1 entonces:

n =1

o
o
K = K n K nC1 K n1 K n .

C

C
n

- 129 -

Anlisis Real

Captulo 7

- 130 -

Proposicin 7.14 Sea X un espacio LCH tal que todo abierto de X es compacto
(por ejemplo que X satisface el 2do axioma de numerabilidad) Si es una medida
de Borel sobre X tal que es finita sobre subconjuntos compactos, entonces es una
medida regular (es decir que es de Radon).
Demostracin Como es finita sobre compactos, se tiene Cc ( X ) L1 ( ) .
Riez

Sea I : Cc ( X ) tal que I ( f ) = f d I es funcional positiva existe una

X

nica medida de Radon , sobre X tal que:

I ( f ) = f d
X

Ahora sea U X abierto. Por el Lema existe una sucesin ( K n ) n de compactos

tales que K n K n+1 , y U = U K n .

n =1

Para cada n sea f n tal que K n p f n p K n +1 , entonces

creciente y adems lim f n ( x ) = U ( x ) , por lo tanto:

( f n ( x ) )n es una sucesin

T.C.M

(U ) = U d = lim f n d = lim f n d = U d = (U )

y coinciden sobre abiertos.

Como X es compactos es finita .
Sea E BX dado > 0, existen F E cerrado, G E abierto, tales que:
(G \ F ) <
Como G \ F es abierto, entonces:
(G \ F ) = (G \ F ) <
por lo tanto ( G \ F ) < .
Como
( G ) = (G \ E ) + ( E ) ( E ) +
es exteriormente regular.
Como y coinciden en abiertos y son exteriormente regulares = , o sea
es de Radon. Como es finita es regular.
Proposicin 7.15 Sea es espacio X LCH y una medida de Radon sobre l,
entonces Cc ( X ) es denso en L1 ( ) .
Demostracin Basta probar que si E BX tal que ( E ) < entonces dado > 0
existe f Cc ( X ) tal que:
- 130 -

Anlisis Real

Integracin en LCH

- 131 -

f E 1 <
Sea K E compacto, y U E abierto, tomamos:
K p f p U K f U
por otro lado como K E U K E U entonces:
f E U K = U \ K
o sea
f E 1 U \ K 1 = (U \ K )
como es regular en conjuntos finitos se puede tomar U y K tales que:
(U \ K ) <
Proposicin 7.16 (Teorema de Lusin)
Sea X un espacio LCH y una medida de Radon sobre X
Si f : X es medible y el conjunto E = { x X : f ( x ) = 0} tiene medida finita,
entonces dado > 0 existe una funcin continua tal que:
({ x X : f ( x ) ( x )}) <
Adems en el caso que f est acotada se puede tomar tal que:
f
Demostracin Supongamos primero que f est acotada, entonces
1
f d f E d = f ( E ) < f L ( )

y como Cc ( X ) = L1 ( ) y toda sucesin convergente en L1 ( ) a f tiene una

subsucesin que converge c.t.p. a f, entonces existe una sucesin ( n ) Cc ( X )
c.t.p.
tal que n
f.
Como ( E ) < , por el teorema de Egoroff existe F E tal que:
1

c.u.
( E \ F ) < 1 y n
f sobre F
y como es regular en F y en E existen los conjuntos U E abierto, y K F
cerrado tal que:
(U \ E ) < 2 y ( F \ K ) < 3
Sea 0 = lim n |K , al ser n continuas y convergentes uniformemente en K
n

0 Cc ( K ) , entonces por el teorema de Tietze existe Cc ( K ) tal que:

|K = 0 y Sop ( ) U
notar adems que 0 ( x ) = f ( x ) x K .
Por otro lado, si x U ( x ) = 0 = f ( x ) , luego
- 131 -

Anlisis Real

Captulo 7

- 132 -

{ x X : ( x ) f ( x )} U \ K
y

(U \ K ) = (U \ E ) + ( E \ F ) + ( F \ K ) < 2 + 1 + 3 < 2
Para ver que se puede elegir tal que
f
consideramos : definida como sigue:
z si z f
(z) =
z
f z si z > f
Sea = o f ya que:

es continua y si f ( x ) = ( x ) ( x ) = ( ( x ) ) = ( f ( x ) ) = f ( x ) y esto
implica { x X : ( x ) f ( x )} { x X : ( x ) f ( x )} y este ltimo tiene medida
menor que , luego el incluido tiene medida menor que .
Ahora si f no est acotada sea:

En = { x X : 0 f ( x ) n} E = U En con En En +1 n
n =1

y como ( E ) < , n0 tal que ( E \ En0 ) < , por el teorema de Lusin para

funciones acotadas, aplicado a f En existe continua tal que:

0

entonces

({ x X : ( x ) f ( x )

En0

( x )}) < 2

({ x X : ( x ) f ( x )} ) < 2 + 2 <

- 132 -

Apndice
Teora Ergdica

Definicin a-1 Sea ( X ,M , ) un espacio de medida, decimos que una

transformacin T : X preserva medida (o que es invariante sobre T) si para
todo AM su pre-imagen T 1 ( A ) tambin pertenece a M y ( A) = (T 1 ( A ) )

Tambin decimos que es T- invariante.

El tema de la Teora Ergdica es la dinmica de las transformaciones que preservan
medida.
Proposicin a.1 (Teorema de recurrencia de Poincar)Sea T : X que preserva
medida, de espacios de probabilidad ( X ,M , ) .Entonces para todo AM , el
conjunto:
A0 = { x A : T n ( x ) A, para infinitos valores de n 0}
pertenece a M y ( A ) = ( A0 ) .

Demostracin Sea Cn = { x A : T j ( x ) A j n} . Es claro que:

A0 = A U Cn
n =1

Por lo tanto el teorema queda demostrado si probamos que Cn M y ( Cn ) = 0

para todo n 1 .
Observamos que:
Cn = A U T j ( A )
jn

lo que prueba que Cn M y como

Cn = A U T j ( A ) U T j ( A ) U T j ( A),
jn

j0

- 133 -

jn

Anlisis Real

Apndice

- 134 -

resulta

( Cn ) U T j ( A ) U T j ( A)
j 0

jn

ms

UT
jn

j 0

( A ) = T n UT j ( A) ,

de modo que

T n UT j ( A)
=
UT j ( A)
{
j 0
T preserva medida j 0

lo que implica que ( Cn ) = 0 .

Definicin a.2 Sea ( X ,M ) un espacio medible con X compacto, y consideremos
todas las medidas de probabilidad definida en ( X ,M ) , que llamamos
M ( X ) = { en ( X ,M ) de probabilidad}
Sea T : X -invariante sobre T.
y definimos
M T ( X ) = { M ( X ) : es T invariante}
Antes de ver la versin Topolgica del teorema de recurrencia repasaremos algunos
conceptos.
Definicin a.3 Sea (V , g ) un espacio vectorial normado, definimos el espacio dual
como:
V = { : V K , funcional lineal continuas }
Si tenemos una transformacin lineal T : V W se puede definir una norma de
forma natural como:
T = sup x =1 T ( x )
consideremos el conjunto de los operadores T tal que:
T = sup x =1 T ( x ) < = B (V ,W )
esta norma se le llama norma operador.
Definicin a.4 Sea X un espacio topolgico, ( X , ) el espacio producto
X = { f : X } la topologa producto.

Recordar que si ( f n )n , entonces f n f con la topologa producto si y solo

s f n ( x ) f ( x ) x X
- 134 -

Anlisis Real

Teora Ergdica

- 135 -

Si X es un espacio vectorial X X , a la topologa producto en el dual se le llama

, continua son acotadas
En el dual podemos definir la norma operador (que es ms fuerte que la topologa
dbil).
Proposicin a.2 Sea B = { f X : f 1} , B es compacto y si X es
normado y separable entonces B es mtrico y por lo tanto secuencialmente
compacto
Demostracin Vamos a construir K compacto tal que B K y B es cerrado.
Para cada x X vemos que Dx = [ x , x ] y sea
K = Dx
x X

por el Teorema de Tijonov K compacto. Probaremos que B K

Sea f B y como f 1 x X f ( x ) x f K
ya que en general
Veamos ahora que es cerrado.

T ( x) T

xV

Sea f B entonces ( f n ) B tal que f n

f
f es lineal ( lmite puntual de lineales) , si probamos que f 1 x tal que x 1

entonces f B f acotada f es continua

Como ( f n ) B f n ( x ) 1 n tal que x 1 entonces:
f ( x ) f ( x ) f n ( x ) + f n ( x ) + 1 n n0
como el > 0 es arbitrario f ( x ) 1 x tal que x 1 o sea que:
f 1 f B
Ahora probaremos la metrizacin de ( B , ) , para lo cual vamos a construir un
homeomorfismo entre B y I D donde D = [ 0,1] .

Como X es separable B = { x 1} , sea ( xn ) B tal que ( xn ) = B .

Definimos : B I D como:
( f ) = f ( xn ) n
Proposicin a.3 (Teorema de Rierz)
Sea X compacto y si llamamos

C ( X ) = { f : X , continuas} su dual

C ( X ) = { : C ( X ) , continuas y lineales} , para toda C ( X ) existe una

- 135 -

Anlisis Real

Apndice

- 136 -

nica medida (medida signada) en ( X ,B ) con B la sigma lgebra de Borel, tal

que:
( f ) = f d f C ( X )
X

adems si 0 ( ( f ) 0 f tal que f 0 ) entonces es una medida y

(1) = 1 ( X ) = 1 (Donde 1 C ( X ) es una funcin idnticamente 1).
Si X es compacto C ( X ) es separable.

Proposicin a.4 Sea X compacto y T : X continua entonces M T ( X )

Demostracin Consideremos el siguiente conjunto:
P = { C ( X ) : (1) = 1, ( f ) 0 si f 0}
P es convexo ya que, si , P entonces:
+ (1 ) C ( X ) [ 0,1]
porque + (1 ) 0 y adems (1) + (1 ) (1) = + (1 ) = 1 .
0

P es compacto ( compacto ) (secuencialmente compacto) entonces para eso

vemos que P B secuencialmente y que P es cerrado
Sea P = ( X ) = 1 B

Sea ( n ) P tal que n

entonces:
f continua n ( f )
( f )

y como

n ( Id ) = 1 n (1) = 1 y f 0 ( f ) 0

implica que B es acotado continua.

Observacin a.1 Sea F : D P definida como:
F ( )( f ) = ( f o T )
Supongamos que es tal que F ( ) = es decir:
( f o T ) = ( f ) f C ( X )
P

Si f = A se tiene:

f o T d = f d f C ( X )
X

A o T d = A d
X

como A o T = T 1 ( A) se tiene:
- 136 -

entonces

n ( f ) B

Anlisis Real

Teora Ergdica

- 137 -

T 1 ( A) d = ( A)
P

(T ( A ) ) = ( A ) .
Veamos que F tiene un punto fijo
F es lineal ya que:
F ( + ) = ( + )( f o T ) = ( f o T ) + ( f o T ) =
1

= F ( ) + F ( ) .

F es continua.

entonces:
Sea n tal que n

( f o T ) = F ( )
F ( n )( f ) = n ( f o T )

continua
Sea n =

cualquiera P

n 1

1
n

( ) P por ser convexo, existe una subsucesin que seguimos

llamando n tal que n P y por la continuidad de F F ( n ) F ( ) y de la

linealidad de F F ( n ) =

1
n

F i+1 ( ) = n nn +

F n ( )
n

F ( n ) si

F n ( )
n

F n ( ) 1 n
= n F ( )
n
1
n

F n ( )( f )

1
n

F n ( ) f
1

f
0
n

Lema a.5 (Ergdico maximal) Sea f L1 ( ) y T : X que preserva medida

n

consideremos el conjunto E ( f ) = x : supn 0 f o T j > 0 entonces:

j=0

f d 0

E( f )

Demostracin Para cada x definimos:

n

f n ( x ) = max f ( x ) , f ( x ) + f (T ( x ) ) ,..., f ( T j ( x ) )
j=0

Llamemos En = { x : f n ( x ) > 0} como f n Z En En +1 y por

definicin

E ( f ) = U En es decir En Z E ( f ) , y sea f n = f En entonces f n Z f E ( f ) L1 por

n

convergencia montona

f n d f E ( f )d
X

- 137 -

Anlisis Real

Apndice

Si probamos que n ,
Y como

- 138 -

f n d 0 f E ( f ) d =

E( f )

f n d = f En d = f d Probaremos que
X

En

f d 0
f d 0

En

Afirmacin 1 Si f n o T 0 f n o T + f f n n
Demostracin de la afirmacin, observemos que m tal que 0 m n se tiene:
m

fn ( x ) f o T j ( x)
j =0

de donde
m

m +1

j =0

j =0

f n ( T ( x ) ) + f ( x ) f o T j +1 ( x ) + f ( x ) = f o T j ( x ) m = 0,1,..., n
entonces en particular
m +1

f n ( T ( x ) ) + f ( x ) max f o T j ( x ) = f n+1 ( x ) f n ( x )
0 m n

j =0

o sea f n (T ( x ) ) + f ( x ) f n ( x ) cuando f n ( T ( x ) ) + f ( x ) f ( x ) f n (T ( x ) ) 0 lo
que prueba la afirmacin.
Afirmacin 2 Si f n ( x ) 0 y f n o T ( x ) < 0 f n ( x ) = f ( x )
n

Demostracin de la afirmacin 2. Como 0 > f n o T ( x ) f o T j +1 ( x ) entonces

j=0

para los distintos valores de n se tiene:

f (T ( x ) ) < 0

f (T ( x ) ) + f (T 2 ( x ) ) < 0
M

<0

f (T ( x ) ) + f (T 2 ( x ) ) ... + f (T m ( x ) ) < 0
entonces

f n ( x ) = max f ( x ) , f ( x ) + f (T ( x ) ) ,..., f ( x ) + f o T j ( x ) = f ( x )
144424443
j =1

<0
14444
42444443

<0
lo que prueba la afirmacin 2.
f d 0 alcanza con probar que
f d 0
Para probar que
{ f n >0}

f n 0}

{ f n 0}

f d =

{ f n 0}I{ f n oT < 0}

f d +

{ f n 0}I{ f n oT 0}

f d

y como por la afirmacin 1

f f n f n o T siempre que f n o T 0 y por la
afirmacin 2 f n = f si f n 0 y f n o T < 0 se tiene entonces sustituyendo en la
anterior igualdad:
- 138 -

Anlisis Real

f n 0}

Teora Ergdica

- 139 -

f d
f d +
f d
f n o T d
{ f n 0}I{ f n oT < 0} n
{ f n 0}I{ f n oT 0} n
1444444444444444
42444444444444444
43 { f n 0}I{ f n oT 0}
P

{
Adems como T preserva medida

f n 0}

f n 0}

f n d

f
{ f n 0}I{ f n oT 0} n

f n 0}

f d

T 1 ({ f n 0})

f n d =

T 1 ({ f n 0} )

oT

f n o T d y sustituyendo

f n o T d

f
{ f n 0}I{ f n oT 0} n

o T d

y como T 1 ({ f n 0}) = { f n o T 0} { f n 0} I { f n o T 0} luego:

f n 0}

f d

f
{ f n oT 0} n

o T d

f
{ f n 0}I{ f n oT 0} n

o T d 0

como se quera probar.

Como corolario de este lema tenemos:
Corolario a.6 Para todo A E ( f ) tal que T 1 ( A) = A (medible e invariante) se
tiene que
f d 0
A

Demostracin E ( f A ) = A ya que:
j ( f A o T j ) = j ( f o T j )T j ( A) = j ( f o T j ) A
y entonces

E ( f A ) = x : sup j ( f o T j ) A > 0 = A

Proporcin a.7 (Teorema de Birkhoff) Sea ( X ,M , ) un espacio de

probabilidad T : X que preserva entonces
n 1

1
x : lim n f o T j ( x ) = 0 f L1 ( )
n
j =0

Demostracin Definimos:
n

E+ ( f ) = x : lim n1+1 f o T j ( x ) >

j =0

1
E ( f ) = x : lim n +1 f o T j ( x ) <
j=0

Sea ( n ) una sucesin real tal que ( n ) = entonces:

- 139 -

Anlisis Real

Apndice

- 140 -

n
n

j
j
1
1
:
lim
lim
x
f
o
T
>

n +1
n +1 f o T = U E n I E m
j=0
j=0

n > m
queremos probar que
( E+ I E ) = 0 >

Afirmacin

E+ ( f )

f ( E+ ( f ) ) y

E ( f )

f ( E ( f ) )

Observemos primero que:

1) E ( f ) = E+ ( f )
2) E+ ( f ) = E0+ ( f )
Demostracin de la afirmacin
+ f d =

( f )d + ( E+ ( f ) ) =

( f )d + ( E+ ( f ) )

E ( f )

E+ ( f )

E0+ ( f )

para probar la afirmacin entonces alcanza con probar que

E0+ ( f )

( f )d 0 y

para eso aplicamos el corolario del Lema:

como E0+ ( f ) E ( f ) y T 1 ( E0+ ( f ) ) = E0+ ( f ) ya que:
T 1 ( E0+ ( f ) ) = { x : T ( x ) E0+ ( f )} =

n 1

= x : lim 1n f o T j +1 > 0 =
j=0

0
1
}
}
n

f ( x)
+
j
n +1 1
= x : lim E
o

>
0
f
T
= E0 ( f )
n n +1
nF
F
E
j=0

y por el corolario del lema +

f 0

E0 ( f )

Ms aun si A E ( f ) y T 1 ( A) = A entonces:
+

f ( A )

aplicamos el corolario del Lema para el caso A E+ ( f ) = E0+ ( f ) E ( f )

f 0
A

f ( A)

anlogamente con la otra desigualdad:

1
f ( A ) A E ( f ) y T ( A) = A
A

- 140 -

Anlisis Real

Teora Ergdica

- 141 -

Sea > y consideremos A = E+ ( f ) I E ( f ) tenemos que ver que T 1 ( A) = A

pero como cada uno es invariante la interseccin tambin, entonces:
( A ) f ( A )
A

pero como > tiene que ser ( A ) = 0 luego ( E+ ( f ) I E ( f ) ) = 0

n 1

Corolario a.8 Si f Lp sea f ( x ) = lim n1 f o T j ( x ) llamado promedio de

n

Birkhoff, entonces f Lp y f

j =0

p
Demostracin Hay que probar que f L1

Observamos que
f ( x ) = lim n1
n

n 1

f (T
j=0

( x ) ) lim
n

n 1

1
n

j=0

f o T j ( x ) c.t.p.

y este ltimo lmite existe por el Teorema de Birkhoff entonces:

p
n1

f ( x ) lim 1n f o T j ( x )
n
j =0

(1)

p
como f ( x ) es una funcin positiva, para probar que es integrable basta con

mostrar que el lmite de la derecha define una funcin integrable, lo que por el Lema
de Fatou se reduce a mostrar que:
p

n 1

lim n1 f o T j d < .
n
j =0

Ms
p

1 n 1

f oT j d =
X n
j =0

n 1

1
n

j =0

f oT

j
p

n1

n1

p
1n f o T j p = 1n f p = f p
j=0

j=0

j
donde en la ltima igualdad usamos que f o T p = f p porque T j preserva
medida. Por tanto el lmite de la derecha en (1) define una funcin integrable con
p
p
integral f p esto muestra que f es integrable y que su integral tambin es
f

p
p

lo que implica que f Lp y que:

- 141 -

Anlisis Real

Apndice
f

- 142 -

Corolario a.9 Si f Lp con 0 p entonces:

n 1

f 1n f o T j

j =0

Demostracin Consideremos primero el caso p = entonces si f L

p

n 1
j
f lim 1
n n f oT
j =0

n 1
n1
lim 1n f o T j lim 1n f
n
n j = 0 144424443
j=0
=
f

= f

entonces
p

n 1
1 n1

j
j
1
f 1
f
T
f
f
T
f
f
T
o

+
o

+
o

n
n
n

j=0
j=0
j=0

1
p
p
p
p
p 1
j
1
2 f + n f o T 2 p1 f + f = 2 p f

j = 0 144424443

= f

n 1

n 1

por lo tanto como la sucesin f 1n f o T j

esta dominada por una constante,

j =1

luego por el teorema de convergencia dominada su integral converge a cero, lo que

prueba el corolario para el caso f L .
Sea ahora f Lp con 0 p < .
Como L = Lp f 0 L tal que
n 1

< entonces:

n 1

f 1n f o T j
j =0

f f0

f f0 + fo 1n f 0 o T j +
144424443p
j =0
14444444244444443p
< 3

1
n

n 1
n1
j
j
f0 o T f o T
j =0
j =0

y como:
f f0

=
f f0

f f0

y por ser f 0 L tenemos que:

- 142 -

<

Anlisis Real

Teora Ergdica
n 1

f0 1n f 0 o T j
j=0

y el ltimo sumando
n 1
n1

j
1
f
o
T

f oT j

n 0
j =0
j =0

n 1

1
n

j =0

- 143 -

0
p

n 1

1
n

( f
j =0

j =0

f )oT j

n 1

( f 0 f ) o T j p = 1n f 0 f

= f0 f

< 3

Corolario a.10 Si f Lp con 0 p para c.t.p. f o T = f

Demostracin
n 1

n 1

f (T ( x ) ) = lim n1 f (T j ( T ( x ) ) ) = lim 1n f (T j +1 ( x ) ) =
n

j =0

j =0

= lim 1n f o T j ( x ) = lim nn+1 n1+1 f o T j ( x ) 1n f ( x ) = f ( x )

1442443
n
n {
j =1
j =0
1 144444
0
424444443
f ( x )

Corolario a.11 En las mismas hiptesis que el corolario anterior, entonces

f d = f d
X

Demostracin
n 1

1
n

f oT

L1

j =0

lo que implica

n 1
1 n1
j
j
1
f

f
o
T
d

n
n f o T d 0

j=0
j=0

o sea

n 1

f n1 14
f 424
o T43j 0
j=0

=f

es decir que

f f

no depende de n

f f

por lo tanto en casi todo punto vale

f d = f d
X

- 143 -

=0

Anlisis Real

Apndice

- 144 -

- 144 -

ndice alfabtico
lgebra de conjuntos 3
Borel medible 30
Casi todo punto 39
Cauchy en medida 66
Clase montona 108
Clase montona generada 108
Completa 14
Completacin 15
Conjunto F 126
Conjunto G 126
Conjunto de Cantor 24
Continuidad absoluta del integral
78
Convergencia casi uniformemente
63
Convergencia en L1 63
Convergencia en casi todo punto
63
Convergencia en medida 63
Convergencia puntual 63
Convergencia uniforme 63
Derivada de Radon-Nikodin 93
Descomposicin cannica 102
Descomposicin de Hahn 88
Descomposicin de Jordan 88
Desigualdad de Hlder 73
Desigualdad de Jensen 71
Desigualdad de Markov 76
Desigualdad de Minkowski 74
Equicontinua superiormente al
vaco 78
Espacio de medida completa 14
Espacio Dual 132
Espacio normado L1 ( ) 52
Espacio normado 52
Espacio seminormado 52
Espacios Lp 69
Extensin de medida 11
- 145 -

Exteriormente regular 121

Frmula integral por puntos 131
Funcin absolutamente continua
101
Funcin caracterstica 35
Funcin continua con soporte
compacto 118
Funcin convexa 71
Funcin elemental 36
Funcin elemental de conjuntos 10
Funcin indicadora 35
Funcin inegrable 39
Funcin medible 29
Funcin notable de CantorLebesgue
27
Funcin simple 36
Funcional lineal positiva 120
Funciones complejas 51
Integral de funciones cualesquiera
49
Integral de Riemann vs Integral de
Integral indefinida de Lebesgue
100
Interiormente regular 121
L+ ( X ,M ) 34
Lebesgue 60
Lebesgue medible 30
Lema de Fatou 48
Lema de la clase montona 108
Lema de Riez 96
Lema de Urysohn para LCH 118
Lema Ergdico maximal 135
Localmente compacto 117
Medible en un conjunto E 32
Medida absolutamente continua
respecto de otra 89
Medida con signo 85
Medida de Borel 17
Medida de Borel-Stieljes 20

Medida de Dirac 22
Medida de Lebesgue 22
Medida de Radon 121
Medida exterior 8
Medida finita
6
Medida inducida
10
Medida nula 14
Medida producto 107
Medida singular respecto de otra
88
integrables 49
8
medible
negativo 86
nula 86
positivo 86
Mutuamente singulares 88
Norma operador 132
Norma p 70
Particin de la unidad 119
Premedida
6
Pull-back 31
Pull-forward 31
Puntos invisibles por derecha 95
Puntos invisibles por izquierda 95
Rectngulo medible 105
Regular 121
lgebra
4
lgebra de Borel 6
lgebra de Lebesgue 22
lgebra generada 5
lgebra inicial 32
finita
6
Seminorma 52
Soporte de una funcin 118
Teorema de aproximacin 16
Teorema de Birkhoff 137
Teorema de convergencia
dominada 54

Teorema de convergencia
montona (Beppo Levi) 45
Teorema de descomposicin de
Jordan 88
Teorema de Egoroffs 67
Teorema de extencin de Ttese
para LCH 118
Teorema de Fubini 1 109
Teorema de Hahn-Jordan 86
Teorema de Lusin 129
Teorema de Radon-NikodinLebesgue 89
Teorema de recurrencia de
Poincar 131
Teorema de Representacin de
Riez 121
Teorema de Rierz 133
Teorema de Tarsk 3
Teorema de Tonelli-Fubini 110
Teorema de Vitali 78
Transformacin que preserva
medida 131
Uniformemente absolutamente
continua 77
Variacin negativa 88
Variacin positiva 88
Variacin total 89
x-seccin de f 112
y-seccin de f 112

- 146 -