Statistical Theory
Statistical Theory
Statistical Theory
Capítulo 2. Compacidad 20
2.1. Denición topológica de compacidad 20
2.2. Conjuntos totalmente acotados y sucesiones de Cauchy. 21
2.3. Espacios métricos completos 23
2.4. Equivalencias de compacidad. 27
3
Índice general 4
Espacios métricos
6
1.1. INTRODUCCIÓN Y DEFINICIONES BÁSICAS 7
Claramente dm cumple m1) y m2), por lo que solo demostraremos que cumple
m3).
n n n
Sean (xi )i=1 , (yj )j=1 , (zk )k=1 ∈ Rn , por la desigualdad del triangulo para el
valor absoluto, sabemos que para todo r ∈ {1, 2, ..., n}
De esta desigualdad podemos obtener fácilmente que d10 es una métrica (ejer-
cicio).
1.2. Normas
Observemos que en la sección anterior para hablar de una métrica solo nece-
sitamos tener un conjunto, pero si este conjunto tiene un poco más de estructura
(espacio vectorial) podemos obtener un tipo especial de métricas, las cuales se ob-
tendrán a partir de normas.
Notación: Denotaremos por R+ al conjunto [0, ∞).
Definición 7. Sea V un espacio vectorial sobre R. Una norma en V es una
función k·k : V → R+ que cumple las siguientes propiedades:
n1) kvk = 0 si y solamente si v = 0.
Un espacio normado sera un espacio vectorial V provisto por una norma k·k lo
que denotaremos por (V, k·k) y cuando no sea necesario especicar la norma solo lo
denotaremos por k·k.
Todo espacio normado (V, k·k) es un espacio vectorial V, dk·k ,
Proposición 8.
donde
dk·k (v, w) = kv − wk .
Demostración. Es inmediato que n1) ⇒ m1).
Observemos que
dk·k (v, w) = kv − wk
= |−1| kv − wk
= kw − vk
n2)
= dk·k (w, v)
lo que muestra m2).
Por ultimo tenemos que si v, w, u ∈ V entonces
dk·k (v, w) = kv − wk
= kv + (u − u) − wk
≤ kv − uk + ku − wk
n3)
n
! p1
X p
kxkp = |xi |
i=1
Es fácil ver que k·kp cumple la propiedad n1) y n2). Para demostrar n3) nece-
sitamos demostrar previamente unas desigualdades importantes.
1 p 1 q p q
a + b ≥ e[ p lna + q lnb ] = ab.
1 1
p q
Aplicaremos la desigualdad de Young para demostrar la desigualdad de Hölder.
es decir
kxyk1 ≤ kxkp kykq
donde xy es el producto punto usual.
Demostración. Nuevamente el caso x = 0 o y = 0 es trivial, por lo que
nuevamente supondremos que los dos son distintos de cero, usando la desigualdad
de Young para
|xk |
ak =
kxkp
|yk |
bk =
kykq
obtenemos
p q
|xk yk | |xk | |yk |
≤ p + q.
kxkp kykq p kxkp q kxkq
1.2. NORMAS 10
n n
! q1
X p−1
X p
|xk | (|xk | + |yk |) ≤ kxkp (|xk | + |yk |) .
k=1 k=1
Análogamente,
n n
! q1
X p−1
X p
|yk | (|xk | + |yk |) ≤ kykp (|xk | + |yk |) .
k=1 k=1
Sumando las desigualdades anteriores llegamos a que
n n
! q1
X X
p p
(|xk | + |yk |) ≤ kxkp + kykp (|xk | + |yk |) .
k=1 k=1
Dividiendo entre
n
! q1
X p
(|xk | + |yk |)
k=1
y usando la desigualdad del triangulo para números reales llegamos a que
n
! p1
X p
kx + ykp = |xi + yi |
i=1
n
! p1
X p
≤ (|xk | + |yk |)
k=1
≤ kxkp + kykp .
Con lo que terminamos la demostración.
1.3. NOCIONES BÁSICAS DE TOPOLOGÍA EN ESPACIOS MÉTRICOS 11
n
! p1 n
! p1 n
! p1
X p
X p
X p
|xk + yk | ≤ |xk | + |yk | ≤ kxkp + kykp ,
k=1 k=1 k=1
∞
P p
esto para todo n ∈ N, en consecuencia la serie |xk + yk | converge y se cumple
k=1
que
kx + ykp ≤ kxkp + kykp .
Es importante notar que la métrica discreta no esta inducida por ni una norma.
¾Por que?, ¾Sera esta la única?. Esta ultima pregunta sera respondida más adelante.
Por lo que
dA (x, y) := dX (x, y) ,
para todo x, y ∈ A. Claramente esta es una métrica que se le llama la métrica
inducida por dX . Al espacio métrico (A, dA ) se le llama el subespacio métrico de
(X, dX ) .
Demostración. Es trivial usando la proposición anterior y tomando = δ.
En ocasiones podemos tener dos distintas métricas en un mismo conjunto X,
digamos d1 y d2 , una pregunta interesante es si las funciones continuas con respecto
a una métrica serán las mismas con respecto a la otra métrica. Como se puede
observar en las equivalencias de continuidad (Proposición 23) la continuidad de
una función solo depende de los abiertos en el conjunto X, pero al mismo tiempo
los abiertos de X solo dependen de quienes son las bolas abiertas en X. Por lo
anterior diremos que dos las métricas d1 y d2 son la misma métrica si los abiertos
generados por cada una en X son los mismos.
Uno podría pensar que X es un subespacio métrico de Y pero con distintas
etiquetas, es decir existe una función inyectiva f : X −→ Y y que además la métrica
dX y la métrica dy (f (·) , f (·)) en f (X) son la misma métrica (en el sentido del
párrafo anterior) entonces bajo un renombramiento de elementos (es decir aplicando
f ) las funciones continuas en X son las mismas que las funciones continuas en f (Y ).
cuando esto pasa se dice que los espacios métricos (X, dX ) y (Y, dy ) son isometrícos y
a f se le llama isometría. De manera más precisa enunciamos la siguiente denición
Definición 29. Sea (X, dX ) y (Y, dY ) dos espacios métricos. Diremos que X
es isometríco a un subespacio métrico de Y si existe una función f : X −→ Y tal
que
dX (x, y) = dy (f (x) , f (y)) .
A f se le llama isometría.
1
= n p max {x1 , x2 , ..., xn }
1
= n p kxk∞
y
1
kxkp ≤ n p kxkq
y
kxk∞ ≤ kxkq .
n
para todo x ∈ R , p ∈ [1, ∞], q ∈ [1, ∞).
1
Dado x ∈ Rn y > 0 denimos δ =n− p si q <∞ y δ = si p = ∞. De la
desigualdad anterior se sigue que
kx − x0 kq <
Con lo anterior nos damos cuenta que en un sentido topológico los espacios
n
R , k·kp son los mismos para p ∈ [0, ∞]. Esto no sucede para los espacios lp , los
−1
(U ) = φ−1 ψ −1 (U )
Demostración. a) Sea U abierto de Z , veamos que (ψ ◦ φ)
es un abierto.
ψ −1 (U ) es un abierto y como φ es continua φ−1 ψ −1 (U )
Como ψ es continua
es un abierto.
b) Si φ es un homeomorsmo, de la armación a) se sigue que si ψ es continua
entonces ψ ◦ φ es continua y si ψ ◦ φ es continua entonces (ψ ◦ φ) ◦ φ−1 = ψ es
continua.
c) Análogamente, si ψ es un homeomorsmo, de la armación a) se sigue que si φ
es continua entonces ψ◦φ es continua y si ψ◦φ es continua entonces ψ −1 ◦(ψ ◦ φ) = φ
es continua.
B̄ (x, ) := {y ∈ X : d (x, y) ≤ } .
Proposición 35. Cualquier bola cerrada es un conjunto cerrado.
c c
Demostración. veamos que B̄ (x, ) es abierto, sea y ∈ B̄ (x, ) , lo que
signica que d (x, y) > . Demostraremos que
c
B̄ (y, d (x, y) − ) ⊂ B̄ (x, ) .
Sea w ∈ B̄ (y, d (x, y) − ), por la desigualdad del triangulo tenemos que
A ⊂ ∩ {C : C es cerrado y A ⊂ C} .
1.5. CONJUNTOS CERRADOS 17
Por otro lado, por la Proposición 17, A es un cerrado tal que A ⊂ A, por lo que
∩ {C : C es cerrado y A ⊂ C} ⊂ A.
Ejemplo 39. Sea el espacio métrico (X, ddis ) donde X tiene más de dos puntos,
entonces para todo x ∈ X , B (x, 1) = {x}. Lo anterior por el Ejemplo 38. Por otro
lado B̄ (x, 1) = X .
δ
wδ := u + (v − u)
2
1.6. CONEXIDAD 18
satisface
δ
kwδ − vk =
u − v +
(v − u)
2
δ
= 1− ku − vk
2
δ
<−
< .
De lo que se sigue que wδ ∈ B (v, ) . Además
δ
kwδ − uk = kv − uk
2
δ
= .
2
Por tanto wδ ∈ B (u, δ). Con lo anterior terminamos la prueba.
1.6. Conexidad
Ya que mencionamos en la sección anterior la existencias de espacios métricos
(X, d) donde hay subconjuntos A⊂X tales que A es cerrado, abierto y no es ni
el total ni el vacío, esto nos lleva a la denición de espacios disconexos y conexos.
Para entender un poco mas este concepto veremos algunas deniciones equivalentes
y algunas consecuencias fuertes de que un espacio se conexo o disconexo.
Uno puede pensar que el conjunto X se puede separar en dos conjuntos abiertos
(A y Ac ). En cierta manera uno puede estudiar el conjunto A y el conjunto Ac
por separado como dos espacios métricos que no tienen ni una relación entre si.
Es debido a lo anterior que los espacios métricos disconexos no suelen ser tan
interesantes como los espacios conexos.
Compacidad
20
2.2. CONJUNTOS TOTALMENTE ACOTADOS Y SUCESIONES DE CAUCHY. 21
buena, por esto primero nos dedicaremos a encontrar equivalencias de ser compacto
en un espacio métrico.
homeomorfos.
0
Demostración. Veamos primero que dXes una métrica.
0 dX (x,y)
m1) Claramente 0 = dX (x, y) sii 0= 1+dX (x,y) sii 0 = dX (x, y) sii x = y.
m2) Sean x, y ∈ X , entonces
0 dX (x, y)
dX (x, y) =
1 + dX (x, y)
dX (y, x)
=
1 + dX (y, x)
0
= dX (y, x) .
m3) Veamos que se cumple la desigualdad del triangulo, sean x, y, z ∈ X .
x
Observemos que la función f (x) = 1+x es creciente si x ≥ 0. Para ver lo anterior
derivemos
0 1+x−1 x
f (x) = 2 = 2,
(1 + x) (1 + x)
0
claramente f (x) > si x > 0, por lo que f es creciente. Usando la desigualdad del
triangulo para dX tenemos que
0 dX (x, z)
dX (x, z) =
1 + dX (x, z)
dX (x, y) + dX (y, z)
≤
1 + dX (x, y) + dX (y, z)
dX (x, y) dX (y, z)
= +
1 + dX (x, y) + dX (y, z) 1 + dX (x, y) + dX (y, z)
dX (x, y) dX (y, z)
≤ +
1 + dX (x, y) 1 + dX (y, z)
0 0
= dX (x, y) + dX (y, z) .
0
Con lo anterior obtenemos que
0
dX es una métrica. Veamos ahora que la función
dX (xn , x)
−→ 0,
1 + dX (xn , x)
0
es decir dX (xn , x) −→ 0
0
Xd
Veamos que la inversa es continua. Sea (xn ) −→ x, lo que signica por denición
0 dX (xn ,x)
que dX (xn , x) = 1+dX (xn ,x) −→ 0 lo que sucede si y solamente si dX (xn , x) −→
0.
0
Observemos que la métrica dX es acotada por 1, lo que signica que todo sub-
0
conjunto de X es acotado con la métrica dX , lo que no es cierto en general para dX .
0
Pero al demostrar que los espacios (X, dX ) y X, dX son homeomorfos, los abier-
tos de los dos espacios métricos coinciden y claramente los subconjuntos compactos
también coinciden (debido a que la denición de compacto esta dado en términos de
abiertos) si el ser acotado y cerrado signica ser compacto, la proposición anterior
0
nos diría que como en X, dX todo es acotado, entonces todo cubconjunto A⊂X
0
cerrado es compacto, al ser el espacio X, dX homeomorfo a espacio (X, dX ) , se
En este punto es importante ver que existe una relación entre los conjuntos
totalmente acotados y un tipo de sucesiones que llamaremos sucesiones de Cauchy.
Definición 54. Una sucesión (xn ) ⊂ (X, dX ) es una sucesión de Cauchy si para
toda > 0 existe un momento N ∈ N tal que para todo n, m > N , dX (xn , xm ) < .
Lema 55. Sea (xn ) una sucesión de un espacio métrico (X, dX ) y sea A =
{xn : n ∈ N} el conjunto de los elementos de la sucesión (xn ). Entonces
2.3. ESPACIOS MÉTRICOS COMPLETOS 23
A ⊃ A1 ⊃ A2 ⊃ ... ⊃ An ⊃ ...
1
Donde Ak k paro todo
es innito y se encuentra contenido en una bola de radio
k ∈ N. Tomando un elemento xnk ∈ Ak obtenemos una subsucesión de (xn ) (tomar
cualquier elemento de Ak no nos da necesariamente una subsucesión, se debe de
hacer una elección cuidadosa para que (xnk ) sea una subsucesión, esto se puede
hacer usando el hecho de que Ak (xnk ) es de
es innito). Veamos por ultimo que
2
Cauchy. Sea > 0, por el principio Arquimediano existe m ∈ N tal que > m ,
por lo que si r, l > m, por construcción xnr y xnl son elementos de Am que esta
1
contenida en una bola de radio
m . Es claro por la desigualdad del triangulo que
2
dX (xnr , xnl ) < m < . Por tanto (xnk ) es de Cauchy.
Usando la proposición anterior podemos obtener una equivalencia de la deni-
ción de conjunto totalmente acotado pero en términos de sucesiones.
Lema 59. Sea (xn ) una secesión en un espacio métrico (X, d).
a) Si (xn ) converge a x entonces (xn ) es de Cauchy.
b) Si (xn ) es de Cauchy y (xnk ) es una subsucesión de (xn ) que converge a x,
entonces (xn ) converge a x.
Demostración. a) Sea > 0, como (xn ) −→ x por denición existe un mo-
mento N ∈N tal que para todo m > n, dX (xm , x) < 2 . Usando la desigualdad del
triangulo obtenemos que para todo m, k > n
pero esto es cierto para todo x, y ∈ A, por lo tanto sup {dX (x, y)} es una cota
x,y∈A
superior de dX (x, y) : x, y ∈ A y por denición de supremo
diam (A) = sup {dX (x, y)} ≥ sup {dX (x, y)} = diam A
x,y∈A x,y∈A
y por tanto diam (A) = diam A .
Proposición 63. Para un espacio métrico (X, dX ) los siguientes enunciados
son equivalentes.
a) (X, dX ) es completo.
b) Sean F1 ⊃ F2 ⊃ ... unaTsucesión decreciente de conjuntos cerrados tales
T que
diam (Fn ) −→ 0, entonces Fk 6= ∅. (Aun más, se puede armar que Fk =
n→∞ k∈N k∈N
{x} para algun x ∈ X )
c) (Teorema de Bolzano-Weierstrass) Todo subconjunto innito A de X total-
mente acotado tiene un punto de acumulación.
Demostración. a) ⇒ b) Sea x n ∈ Fn una elección de elementos (aquí se esta
usando el axioma de elección), por construcción xn+k ∈ Fn para toda k ∈ N. Sea
> 0, sabemos por hipótesis que existe N ∈N diam (Fn ) < y por tanto
tal que
1
Sea (xnk ) subsucesión de (xn ) tal que
xn − xn
<
k k+1 2n (lo anterior es fácil
de construir usando que (xn ) es de Cauchy) y por tanto
∞ ∞
X
xn − xn
≤
X 1
k k+1 n
=0
n=1
2
k=1
∞
P
de lo que se sigue que xnk − xnk+1 converge a un x ∈ X, es decir
k=1
m
!
X
lim xnk − xnk+1 = lim xn1 − x nm ,
m→∞ m→∞
k=1
Veamos que este teorema nos permite ver de una manera más practica cuando
un espacio no es completo
Ejemplo 65. Sea S el espacio de todas las sucesiones (xn ) tal que tienen una
cola de ceros (existe un momento N ∈ N tal que si n > N , xn = 0), es fácil ver
que S es un subespacio vectorial de l∞ y por lo tanto le podemos dar la norma
heredada.
en = 0, 0, ..., 0, 21n , 0, ...
Denamos la sucesión en que tiene en todas las en-
tradas cero menos en la n-sima entrada. Observemos que
∞ ∞
X X 1
ken k1 = = 1.
n=1 n=1
2n
∞ k
1 1 1
P P
Observamos que en = 2 , 4 , ..., 2n , ... y por tanto en no converge en S
n=1 n=1
(únicidad del limite). Lo anterior es debido a que
k
X 1 1 1
1
en − , , ..., n , ...
= sup : r ∈ {k + 1, k + 2, ...}
2 4 2 2r
n=1 ∞
1
= −→ 0.
2k+1 k→∞
Por el teorema anterior tenemos que S no es completo.
Más adelante veremos que los espacios lp son completos, pero por el momento
los resultados que tenemos sobre completitud nos son suciente para trabajar sobre
conjuntos compactos.
Ejemplo 73. Sea fn : [0, 1] −→ (R, |·|) denida como fn (x) = xn . Veamos que
(fn ) converge puntualmente a f , donde
(
0 si x 6= 1
f (x) =
1 si x = 1.
Si x = 1 entonces fn (1) = 1n = 1. es claro que la sucesión constante 1 converge
a 1. Sea x ∈ [0, 1), entonces xn −→ 0 en R cuando n tiende a innito.
En ciertos momentos necesitaremos que la convergencia de funciones contin-
uas no de una función continua, por el ejemplo anterior nos damos cuenta que
necesitamos algo más fuerte que la convergencia puntual.
Proposición 77. Sea (fn ) ⊂ B (S, X) una sucesión. Entonces (fn ) converge a
f en (B (S, X) , d∞ ) si y solo si (fn ) converge uniformemente a f en S .
Demostración. ⇒) Supongamos que (fn ) converge a f en (B (S, X) , d∞ ),
esto por denición signica que
lim d∞ (fn , f ) = 0.
n→∞
Es decir, para toda >0 existe un momento N ∈N tal que si k>N entonces
por lo que f esta acotada y por tanto f ∈ B (S, X) . De la ecuación ( ??) se sigue
que
d∞ (fn (x) , f (x)) = sup {dX (fn (s) , f (s)) : s ∈ S} ≤
para todo n > N y por tanto (fn ) converge a f en (B (S, X) , d∞ ).
Podemos ahora introducir un nuevo espacio, el cual sera un subespacio vectorial
de (B (S, X) , d∞ )
Definición 78. Sean X y Y espacios métricos. Denimos el espacio de las
funciones continuas y acotadas de X en Y como el conjunto
f (s) = xs .
Veamos que (fn ) converge uniformemente a f.
Como la sucesión (fn ) es uniforme de Cauchy, si > 0 entonces existe un
momento N ∈N tal que para todo k, m > N y todo s∈S
dX (fk (s) , fm (s)) <
2
y como (fn (s)) converge a f (s), entonces existe un momento N (s) ∈ N (que
depende de s) tal que si k > N (s) entonces
dX (fk (s) , f (s)) < .
2
Dado s∈S tenemos que si k>N y j > N (s)entonces
dX (fk (s) , f (s)) ≤ dX (fk (s) , fj (s)) + dX (fj (s) , f (s)) < .
Por tanto si k>N entonces
Es fácil ver que si (V, k·kV ) es un espacio normado, entonces el espacio (B (S, V ) , d∞ )
es un espacio normado (B (S, V ) , k·k ∞ ) donde
kf k∞ := sup kf (s)kV .
s∈S
Para terminar esta sección, observemos que si tenemos un espacio métrico com-
pacto K, entonces una función continua
f : (K, dK ) −→ (X, dX )
es acotada, ya que la función dX (_, x0 ) : X −→ R es continua (Un ejercicio que se
le deja al lector) y por tanto la función
dX (_, x0 ) ◦ f : K −→ R
es continua y por la Proposición (70), dX (_, x0 ) ◦ f (K) es un compacto en R, por
lo que es acotado, i.e.
n
f (x) = f (f (f... (f (f (x)))))
| {z }
n-veces
0
y f se dene como la función identidad.
.
.
.
≤ αn dX (f (x0 ) , x0 ) = αn C.
Entonces para m≥n por la desigualdad del triangulo
m m
!
X X
dX f m+1 (x0 ) , f n (x0 ) ≤ f k+1 (x0 ) , f k (x0 ) ≤ C αk
dX .
k=n k=n
3.3. EL TEOREMA DEL PUNTO FIJO DE BANACH 37
∞
αk converge, entonces el lado derecho de la desigualdad anterior se puede
P
Como
k=1
n
hacer tan pequeño como uno quiera, por tanto (f (x0 )) es de Cauchy y con esto
terminamos la prueba.
f (x0 ) , f k (x0 )
n
= lim dX
k→∞
m
!
X
k
≤ lim dX (f (x0 ) , x0 ) α
k→∞
k=n
∞
X
= dX (f (x0 ) , x0 ) αk
k=n
n
α
= dX (f (x0 ) , x0 ) .
1−α
Ejemplo 88. Sea f : (0, 1) −→ (0, 1) dada por f (t) = 21 t. f es una contracción
y no tiene puntos jos.
|t − s| = |f (t) − f (s)|
y f no tiene puntos jos, por lo tanto la condición de α<1 es necesaria.
Ejemplo 90. Sea f : [a, b] −→ [a, b] una función continua en [a, b] y derivable
en (a, b) tal que |f (x)| ≤ α < 1. Entonces por el teorema del valor medio para todo
x, y ∈ [a, b] existe un punto z ∈ [a, b] tal que
f (x) − f (y) = f 0 (z) (x − y)
por lo que
Veamos que el el teorema del punto jo de Banach no podemos quitar la hipóte-
sis de que el espacio sea completo.
b b
ˆ ˆ
b ˆ
fn − f = fn − f
a a
a
b
ˆ
≤
a
= (b − a) .
´ b ´ b ´b ´b
Concluimos que lim a fn − a f = 0, es decir lim fn = f.
n→∞ n→∞ a a
Ahora nos interesa saber cuando podemos intercambiar la derivada con el limite
cuando tenemos convergencia uniforme.
0 Sean
Proposición 93.
fn : R −→ R funciones con derivada continua en [a, b]
y supongamos que fn converge uniformemente a una función g : [a, b] −→ R
en [a, b]. Si la sucesión fn (x0 ) converge en R para algún x0 ∈ [a, b] entonces la
sucesión (fn ) converge a una función f en [a, b] y más aun f = g .
0
ˆ x ˆ x
0
fn (x) = fn (x0 ) + fn → C + g.
x0 x0
Por lo anterior tenemos que (fn ) converge puntualmente a una función f tal
´x
que f (x) = C + g. Como ya tenemos la convergencia puntual, podemos tomar
´x ´x
x0
Definición 94. Sean dos espacios vectoriales normados (V, k·kV ) y (W, k·kW ),
un operador lineal A : V −→ W es acotado si existe un a > 0 tal que
kA (v)kW ≤ a kvkV
para todo v ∈ V . El conjunto de todos los operadores lineales acotados es denotado
por L (V ; W ).
El estudio de este tipo de operador es muy amplia, debido a que estos operadores
coinciden con los operadores continuos. Veremos más adelante que L (V ; W ) es un
espacio normado.
Proposición 95. Sean dos espacios vectoriales normados (V, k·kV ) y (W, k·kW ),
un operador lineal A : V −→ W , los siguientes enunciados son equivalentes:
i) A es continuo.
ii) A es continuo en 0.
iii) A es acotado.
Demostración. i) ⇒ ii) Evidente.
ii) ⇒ iii) Como A es continua en 0, existe un δ > 0 tal que si kxkV < δ
entonces kA (x)kW < 1, de esto se sigue que
v
kA (v)kW =
A δ
kvkv
W
≤1
Usando la linealidad de A obtenemos que
1
kA (v)kW ≤ kvkv .
δ
Por tanto A es acotado.
3.5. ESPACIOS NORMADOS DE DIMENSIÓN FINITA. 40
iii) ⇒ i) Como A es acotado, existe a > 0 tal que para todo v, u ∈ V se cumple
que
kA (v) − A (u)kW = kA (v − u)kW
≤ a kv − ukV .
Con lo que se tiene que A es Lipschitz continua y por la Proposición 85 tenemos
que A es continua.
lugar n
L (k) = kL (1) .
Por lo que si kn −→ k entonces L (kn ) = kn L (1) −→ kL (1) = L (k) . Es
n→∞ n→∞
decir, L es continua.
2) Ahora, si L : RN , k·k −→ (v, k·kv ) es un operador lineal, entonces
N
! N
X X
L λ k ek = λk L (ek ) .
k=1 k=1
donde r ∈ {1, 2, ..., N } . Sea (xn ) sucesión en RN tal que xn −→ x, por lo que
n→∞
si kn y k son las entradas erresimas de xn y x respectivamente, entonces por
N
la denición de la norma en R se tiene que kxn − xkN ≥ kkn − kk1 , por lo que
kn −→ k . En otras palabras, las proyecciones son continuas. Por lo tanto usando
n→∞
lo demostrado en 1) y la continuidad de la proyección, se tiene que la función Lr
es continua (composición de continuas) y por tanto L es continua.
Definición 97. Dados dos espacios normados (V, k·k1 ) y (V, k·k2 ), diremos que
las normas son equivalentes si existen a, d > 0 tales que
Observación 98. Es fácil ver que si dos normas son equivalentes, entonces se
tiene que la identidad (como operador lineal) es continua y con inversa continua, en
particular nos interesan este tipo de operadores, que son homeomorsmos y lineales
al mismo tiempo.
Definición 99. Sean dos espacios vectoriales normados (V, k·kV ) y (W, k·kW ),
diremos que este par de espacios son isomorfos topológicos si existe un operador
lineal A : V −→ W , que es un homeomorsmo.
k·k
S1 := x ∈ RN : kxk = 1
N
k·k
es un compacto (cerrado y acotado) en R , k·k y por tanto S1 es un compacto en
N
R , k·k1 (funciones continuas mandan compactos en compacto).
Nuevamente por
N
k·k
continuidad de la norma k·k1 en R , k·k1 se tiene que
S1
en R es compacto
n o 1
k·k
y por tanto acotado. Veamos que a := inf kxk1 : x ∈ S1 > 0.
Sabemos que a ≥ 0. Supongamos que a = 0, entonces existe una sucesión xn
k·k k·k
de elementos de S1 tal que lim kxn k1 = 0, como S1 es compacto, entonces por
n→∞
las equivalencias de compacidad, existe una subsucesión (xnk ) ⊂ (xn ) tal que (xnk )
k·k
converge a x y x ∈ S1 , por continuidad de la norma lim kxnk k1 = kxk1 = 0, por
k→∞
k·k
lo que 0 ∈ S1 nlo que es un contradictorio, por lo que obtenemos que a > 0.
o
k·k x k·k
Si b := sup kxk1 : x ∈ S1 entonces para todo x distinto de cero,
kxk ∈ S1
por lo que
x
a≤
≤b
kxk
1
multiplicando por kxk obtenemos
kxkL = kL (x)k1 .
3.5. ESPACIOS NORMADOS DE DIMENSIÓN FINITA. 42
Es fácil ver que k·kL es una norma, n1) se debe a la inyectividad, n2) se debe
a la linealidad de L y que k·k1 es norma y n3) a que k·k1 cumple la desigualdad
del triangulo y que L es lineal. Por la proposición 100 sabemos que existen a, b > 0
tales que
a kxk ≤ kxkL = kL (x)k1 ≤ b kxk .
De lo que se sigue que L es continua.
Con esto podemos obtener el siguiente resultado, que dice que todo operador
lineal entre espacios de dimensión nita es continua y que si es biyectivo entonces
es un isomorsmo topológico.
Proposición 103. Sean (V, k·kV ) y (W, k·kW ) dos espacios normados de di-
mensión nita y L : V −→ W lineal. Entonces
a) L es continua.
b) Si L es biyectiva entonces es un isomorsmo topológico.
Demostración. a) Sea N la dimensión de V y sea T : RN −→ V una biyección
lineal, entonces por la Proposición 102 T es un isomorsmo topológico. Por la
Proposición 96 L ◦ T : RN −→ W es una función continua y por tanto
L ◦ T ◦ T −1 = L
es continua.
b) De manera parecida a a), Sea N la dimensión de V y sea T : RN −→ V una
biyección lineal, entonces por la Proposición 102 T es un isomorsmo topológico.
Por la misma razón L ◦ T : RN −→ W es un isomorsmo topológico y por tanto
L ◦ T ◦ T −1 = L
es un isomorsmo topológico (composición de homeomorsmos y de funciones lin-
eales es homeomorsmo y lineal).
El objetivo de esta sección es ver que todo espacio normado de dimensión nito
es de Banach. Por lo que ahora que tenemos que todos son isomorfos topológicos, nos
es suciente demostrar que la completitud se preserva bajo isomorsmos topológicos
si la dimensión es nita.
kA(v)kW
Demostración. 1)kAk ≥ sup kvkV 6= 0
kvkV . Sabemos que si entonces
v6=0
para todo a>0 tal que kA (v)kW ≤ a kvkV para todo v ∈ V se tiene que
kA (v)kW
v
≤ a,
=
A
kvk V kvk
V W
por lo que
kA (v)kW
sup ≤a
v6=0 kvkV
y por tanto
kA (v)kW
sup ≤ inf {a > 0 : kA (v)kW ≤ a kvkV para todo v ∈ V } = kAk .
v6=0 kvkV
kA(v)kW
2) sup
kvkV ≥ sup kA (v)kW . Si kvkV ≤ 1 entonces
v6=0 kvkV ≤1
kA (v)kW
≥ kA (v)kW
kvkV
y por tanto
kA (v)kW kA (v)kW
sup ≥ sup
v6=0 kvkV 06=kvkV ≤1 kvkV
≥ sup kA (v)kW
kvkV ≤1
3) sup kA (v)kW ≥ sup kA (v)kW . Evidente.
kvkV ≤1 kvkV =1
4) sup kA (v)kW ≥ kAk . Sea > 0, existe u∈V tal que
kvkV =1
El resultado anterior nos permite mayor facilidad para calcular normas de oper-
adores continuos. Ahora veamos que en efector la norma de los operadores continuos
es una norma.
kL (v)kW
sup =0
v6=0 kvkV
lo que sucede si y solamente si
kL (v)kW
=0
kvkV
para todo v 6= 0, y nuevamente esto sucede si y solamente si kL (v)kW = 0 para
todo v 6= 0, lo anterior se cumple si y solamente si L = 0.
n2). Sea λ ∈ R. Entonces
kλL (v)kW
kλLk = sup
v6=0 kvkV
kL (v)kW
= sup |λ|
v6=0 kvkV
kL (v)kW
= |λ| sup
v6=0 kvkV
= |λ| kLk .
3.6. EL ESPACIO NORMADO L (V, W ) . 45
kL + T k = sup kL + T (v)kW
kvkV =1
= kLk + kT k .
Es difícil dar ejemplos de operadores lineales no continuos, pero con los resul-
tados anteriores nos es mucho más fácil dar un ejemplo.
Ejemplo 108. Sea el espacio de las sucesiones con cola de ceros y norma
innito, es decir el espacio normado (S, k·k∞ ). Es fácil ver que si denimos
lugar n
densidad.
4.1. Equicontinuidad.
Nuestro primer objetivo es describir los conjuntos compactos del espacio C 0 (K),
donde K es un espacio métrico compacto. Al nal de la sección 3.2, concluimos que
el espacio C 0 (K) es completo, por esto el buscar conjuntos compactos en C 0 (K)
es lo mismo que buscar conjuntos totalmente acotados. Ya que sabemos que en los
espacios completos los compactos son cerrados totalmente acotados.
Estamos interesados entonces en caracterizar cuando una sucesión de funciones
en C 0 (K) tienen una subsucesión convergente, este ingrediente que falta también
responde la pregunta que que le hace falta a la convergencia puntual para que esta
sea uniforme.
En este capítulo consideraremos un espacio métrico compacto (K, dK ) y (X, dX )
, (Y, dY ) cualesquiera par de espacios métricos.
1
Ejemplo 110. Sea la función fn : [0, 1] −→ R denida como fn (t) = n t,
entonces el conjunto A := {fn : n ∈ N } es equicontinuo. Lo anterior es fácil de ver
tomando δ = .
Es importante introducir también un concepto que nos permita manejar un
tipo de acotamiento para un conjunto de funciones continuas.
{f (x) : x ∈ X, f ∈ A}
es acotado. Lo anterior es lo mismo que pedir que
46
4.1. EQUICONTINUIDAD. 47
por lo que |fn (y) − fn (xi )| < 6 y por tanto
|fn (x) − fn (y)| ≤ |fn (x) − fn (xı́ )| + |fn (xi ) − fn (y)| < .
3
Por tanto si dK (x, y) < δ entonces |fn (x) − fn (y)| <
3.
Ahora, nuevamente por ser K compacto, entonces es totalmente acotado y por
K
tanto existen k1 , k2 , ..., ks ∈ K tales que el conjunto B (ki , δ) : i ∈ {1, 2, ..., s}
es una cubierta de K . Como {fn : n ∈ N} es uniformemente acotado (debido a que
A lo es) entonces las sucesiones (fn (ki )) también son acotadas en R. Pasando a una
subsucesión adecuada la cual denotaremos también por (fn ), podemos suponer que
(fn (ki )) converge para toda i ∈ {1, 2, ..., s} (lo anterior se hace inductivamente,
primero se encuentra una subsucesión (fnr ) tal que (fnr (k1 )) converge, después se
repite el procedimiento para k2 pero ahora tomando una subsucesión de (fnr ), esto
para asegurar la convergencia al aplicar k1 , se repite este procedimiento hasta ter-
minar). En particular, podemos encontrar una Ni ∈ N tal que si n, m > Ni entonces
|fn (ki ) − fm (ki )| < 3 . Si tomamos N := máx {Ni : i ∈ {1, 2, ..., s}}, entonces ten-
emos que si n, m > N entonces |fn (ki ) − fm (ki )| <
3 para todo i ∈ {1, 2, ..., s}.
Veamos que esta subsucesión (fn ) es uniforme de Cauchy.
Sea x ∈ K , entonces existe ki tal que dK (x, ki ) < δ . Entonces para todo
n, m > N tenemos que
|fn (x) − fm (x)| ≤ |fn (x) − fn (ki )| + |fn (ki ) − fm (ki )| + |fm (ki ) − fm (x)|
< + +
3 3 3
= .
Por tanto (fn ) es uniforme de Cauchy y por ser el espacio C 0 (K) completo,
entonces (fn ) converge.
Este teorema nos permite trabajar más fácilmente con conjuntos compactos en
C 0 (K). Veamos un corolario del teorema anterior.
lim kfn − f k∞ = 0.
n→∞
|f (x) − f (y)| ≤ n |x − y|
<
y por tanto B es equicontinuo. Por el teorema de Arzelà-Ascoli concluimos que
B es compacto.
p (t) := a0 + a1 t + a2 t2 + ... + an tn
para algun n ∈ N y ak ∈ R para todo k ∈ {0, 1, ..., n} .
Para cada 0 ≤ k ≤ n consideremos los polinomios
n n−k
γn,k (t) := tk (1 − t)
k
donde
n n!
=
k k! (n − k)!
es el coeciente binomial. En particular nosotros sabemos que
n
n
X n
(a + b) = ak bn−k
k
k=0
Con lo anterior podemos denir los polinomios de Bernstein para una función
continua f.
Definición 120. Sea f : [0, 1] −→ R una función continua, denimos el
n−ésimo polinomio de Bernstein de f como
n
X j
βn (t) = βn,f (t) := f γn,,j (t) .
j=0
n
X n
f (t) − f t γn,k (t) <
X X
(4.2.5) γ n,k (t) ≤ γn,k (t) = .
n 2 2 2
k∈I1 k∈I1 k=0
4.2. TEOREMA DE APROXIMACIÓN DE WEIERSTRASS 52
−2 √
Por otra parte, si k ∈ I2 entonces t − nk ≤ n y, en consecuencia,
X
f (t) − f t γn,k (t) ≤
X
2 kf k∞ γn,k (t)
n
k∈I2 k∈I1
X t − k 2
n
(4.2.6) = 2 kf k∞ γn,k (t)
k 2
k∈I1 t − n
2
√ X
k
≤ 2 kf k∞ n t − n γn,k (t) .
k∈I1
Veamos que
n 2
X k 1
t− γn,k (t) ≤
n 4n
k=0
n
X k
|f (t) − βn,f (t)| ≤ f (t) − f n γn,k (t)
k=0
X k X k
= f (t) − f n γn,k (t) + f (t) − f n γn,k (t)
k∈I1 k∈I2
< .
para t ∈ [0, 1]. es decir,
kf − βn,f k∞ <
2
n o
1 kf k∞
si n ≥ máx δ 4 , 2 .
Es fácil darse cuenta que el teorema anterior también se debe de cumplir para
cualquier intervalo [a, b], este resultado es conocido por el teorema de aproximación
de Weierstraÿ.
ρ : [0, 1] −→ [a, b]
la función dada por ρ (t) := (1 − t) a+tb. Aplicamos el teorema anterior a la función
g := f ◦ ρ obteniendo que (βg,n ) converge uniformemente a g en [0, 1]. La función
pn := βg,n ◦ ρ−1 es un polinomio que cumple
kpn − f k∞ = máx |pn (s) − f (s)|
s∈[a,b]
βg,n ◦ ρ−1 (s) − f ◦ ρ ◦ ρ−1 (s)
= máx
s∈[a,b]
= kβg,n − gk∞ .
En consecuencia (pn ) converge uniformemente a f.
y por tanto la sucesión (pn ) es de Cauchy en C 0 ([a, b]), que es un espacio completo.
0
En conclusión existe g ∈ C ([a, b]) tal que los polinomios (pn ) convergen uniforme-
mente a g en [a, b] y por tanto g es una extensión de f en [a, b]. Lo anterior es una
contradicción y por tanto f no se puede aproximar por medio de polinomios.
Un ejemplo de una función que cumpla las hipótesis del teorema anterior es la
función f : (0, 1] −→ R denida como
1
f (t) = sen .
t
Se deja al lector demostrar que esta función no tiene extensión continua al [0, 1]
y que adecuadamente por medio de f se puede dar un ejemplo de una función que
cumpla las hipótesis del teorema anterior para cualquier intervalo (a, b].
4.3. Álgebras
Ya que conocemos el teorema de aproximación de Weierstraÿ, nos preguntamos
si se puede generalizar más, en el sentido de que hipótesis son suciente para que una
familia de funciones sea densa en el espacio C 0 (K) donde K es cualquier espacio
métrico compacto. Una generalización que se da es el teorema de Stone-Weierstraÿ,
para lo anterior se necesita algunos nuevos conceptos.
Hasta el momento cuando trabajamos en los espacios C 0 (K) solo usamos que
las funciones son continuas y que el dominio es compacto, en otras solo estamos
usando propiedades topológicas. Pero es importante notar que el espacio C 0 (K)
tiene un estructura algebraica, de la cual también podemos sacar información sobre
el espacio C 0 (K).
Definición 124. Un álgebra normada A es un espacio vectorial normado donde
existe una multiplicación, es decir, existe una función (_ · _) : A × A −→ A que
cumple las siguientes propiedades para todo f, g, h ∈ A y α ∈ R.
a1) f (gh) = (f g) h.
a2) f (g + h) = f g + f h y (f + g) h = f h + gh.
a3) α (f g) = (αf ) g = f (αg) .
a4) kf gkA ≤ kf kA kgkA .
Si A es un espacio vectorial que cumple a1), a2) y a3) es un álgebra, si además
cumple
a5) f g = gf .
Entonces A es un álgebra conmutativa, Si existe e ∈ A tal que
a6) ef = f e = f .
Entonces A es un álgebra con identidad.
Si B ⊂ A es un álgebra bajo las mismas operaciones que A entonces B es un
subálgebra de A.
4.3. ÁLGEBRAS 55
Es claro que el espacio B (X, R) es un álgebra conmutativa con uno (la función
constante 1). Observemos que
(f + g) + |f − g|
∈A
2
(f + g) − |f − g|
∈ A,
2
por el Lema 127 tenemos que
(f + g) + |f − g| (f ∨ g + f ∧ g) + (f ∨ g − f ∧ g)
= =f ∨g ∈A
2 2
4.4. EL TEOREMA DE STONE-WEIERSTRASS 57
y
(f + g) − |f − g| (f ∨ g + f ∧ g) − (f ∨ g − f ∧ g)
= = f ∧ g ∈ A.
2 2
Por lo anterior solo tenemos que demostrar que |f | ∈ A para todo f ∈ A.
Sea f ∈ A. Veamos que para toda > 0 existe g ∈ A tal que k|f | − gk∞ < 2 ,
con esto demostraríamos que |f | ∈ A = A. Sea M := kf k∞ y consideremos la
función |t| con dominio [−M, M ], por el teorema de aproximación de Weierstraÿ
existe un polinomio
n
X
p (t) = ak tk
k=0
tal que |p (t) − |t|| <
2 . Observemos que p (0) = |a0 | < 2 .
Tomemos la función g := p◦f y como f (x) ∈ [−M, M ] entonces |p (f (x)) − |f (x)|| <
2 y
n
X n
X
k k
p (f (x)) = ak f (x) = a0 + ak f (x) .
k=0 k=1
n
P k
Denamos g (x) := ak f (x) y debido a que A es un álgebra obtenemos que
k=1
g ∈ A. Por tanto
Los dos conceptos nuevos que introducimos son fundamentales para la de-
mostración de teorema de Stone-Weierstraÿ, pero necesitamos un pequeño lema
relacionado con estos nuevos conceptos.
4.4. EL TEOREMA DE STONE-WEIERSTRASS 58
u (y) = v (x) = 0
u (x) 6= 0 6= v (y) .
Finalmente la función
a b
f := u+ v
u (x) v (y)
es un elemento de A y
f (x) = a
f (y) = b.
Dado y 6= k, entonces y ∈ Uyr para algún r ∈ {1, 2, 3, ..., n}, por denición de
Uyr nosotros tenemos que
kf − hk∞ ≤ .
Por el paso 2 tenemos que f ∈ A = A.
Una consecuencia directa del Teorema de Stone-Weierstraÿ es el teorema de
aproximación de Weierstraÿ, ya que los polinomios son un álgebra que separa puntos
y no se anulan en ni un punto.
Teorema 136. Sea (K, dK ) un espacio métrico compacto y sea Lip (K) el con-
junto de las funciones Lipschitz continuas, entonces existe subconjunto numerable
A de Lip (K) tal que A es denso en C 0 (K). En particular C 0 (K) es separable.
Demostración. Veamos que el conjunto Lip (K) es una subálgebra de C 0 (K).
Sean f, g ∈ Lip (K) y α∈R y supongamos que a, b > 0 son reales tales que
por lo que fg ∈ Lip (K). Con esto tenemos que Lip (K) es una subálgebra.
Ahora veamos que separa puntos y no se anula en ni un punto.
Dados x 6= y ∈ K , observemos que la función
dK (x, _) : X −→ R
es tal que d (x, x) = 0 y d (x, y) 6= 0, por lo que la función d (x, _) separa a x y a y,
además por la desigualdad del triangulo sabemos que
Se puede observar que la denicion anterior solo mide la variación de las coor-
denadas y en la graca de la función f.
Proposición 138. Sea f : [a, b] −→ R y Q, P dos particiones de [a, b] y
supongamos que Q ⊃ P , en este caso diremos que Q es un renamiento de P.
Entonces
V (f, P ) ≤ V (f, Q) .
62
5.1. DEFINICIÓN DE FUNCIÓN CON VARIACIÓN ACOTADA 63
= V (f, Q) .
El paso inductivo es totalmente trivial, ya que es directo de la transitividad del
≤.
Definición 139. La variación total de una f : [a, b] −→ R se dene como el
supremos de V (f, P ) donde P es una partición de [a, b] y se denota pro Vab f . Si
Vab f < ∞ entonces diremos que la función f es de variación acotada.
entonces
n+1
X
1 2 (k − 1) + 1
V (g, Pn ) ≥ g k − g
2
k=1 2 (k − 1) + (k − 1)
n+1
X 1
=
k
k=1
n+1
1
P
Pero como
k se puede hacer tan grande como uno quiera (ya que la serie
k=1
1 1
P
k diverge) entonces V0 g = ∞.
k∈N
5.2. EL ESPACIO BV [a, b] , k·kBV 65
Como el conjunto BV [0, 1] ⊂ B ([0, 1]), uno podría tomarse la norma del supre-
mo, pero esta no es una buena elección ya que el espacio (BV [0, 1] , k·k∞ ) no es un
espació de Banach, lo anterior es debido a que la función g se le podría aproximar
por medio de funciones de variación acotada, para ser más exacto por medio de las
funciones fn denidas como
(
x ∈ n1 , 1
g (x) si
fn (x) := 1
0 si x∈/ n, 1 .
Más adelante argumentaremos por que son de variación acotada, ahora obser-
vamos que
1
kfn − gk∞ = sup |g (x)| ≤ ,
x∈[0, n
1
] n
por lo que fn converge uniformemente a g, y g no es de variación acotada. Por lo
anterior es necesario encontrar otra norma para el espacio B [a, b]
P := {a ≤ x < y ≤ b}
por hipótesis sabemos que
0 = V (f, P )
|f (a) − f (x)| + |f (x) − f (y)| + |f (y) − f (b)| ,
lo que implica que f (x) = f (y). Por tanto f es constante.
⇐) si f es constante es inmediato que V (f, P ) = 0 para cualquier partición y
por tanto Vab f = 0.
Sea
P = {a = t0 < t1 < ... < tn−1 < tn = b}
partición de [a, b],
ii) observemos que
n
X
V (cf, P ) = |cf (ti ) − cf (ti−1 )|
i=1
n
X
= |c| |f (ti ) − f (ti−1 )|
i=1
= |c| V (f, P ) .
Por tanto Vab cf = |c| Vab f .
5.2. EL ESPACIO BV [a, b] , k·kBV 66
n
X
V (f + g, P ) = |(f + g) (ti ) − (f + g) (ti−1 )|
i=1
Xn
≤ |f (ti ) − f (ti−1 )| + |g (ti ) − g (ti−1 )|
i=1
Xn n
X
= |f (ti ) − f (ti−1 )| + |g (ti ) − g (ti−1 )|
i=1 i=1
= V (f, P ) + V (g, P ) .
n
X
V (f g, P ) = |(f g) (ti ) − (f g) (ti−1 )|
i=1
Xn
≤ |f g (ti ) − g (ti ) f (ti−1 )| + |g (ti ) f (ti−1 ) − f g (ti−1 )|
i=1
Xn
= |g (ti )| |f (ti ) − f (ti−1 )| + |f (ti−1 )| |g (ti ) − g (ti−1 )|
i=1
n
X n
X
≤ kgk∞ |f (ti ) − f (ti−1 )| + kf k∞ |g (ti ) − g (ti−1 )|
i=1 i=1
= kgk∞ V (f, P ) + kf k∞ V (g, P ) .
Por tanto (gracias a que el supremo se mete en las sumas de conjuntos) Vab (f g) ≤
b b
kf k∞ Va g + kgk∞ Va f.
v) Sabemos que gracias a la desigualdad del triangulo, para cualesquiera x, y ∈
[a, b]
|f (x) − f (y)| ≥ ||f (x)| − |f (y)|| ,
usando esta desigualdad obtenemos que
n
X
V (f, P ) = |f (ti ) − f (ti−1 )|
i=1
Xn
≥ ||f (ti )| − |f (ti−1 )||
i=1
= V (|f | , P ) .
V (f, P ) = V (f, P 0 ) .
y por tanto
k−1
! !
X
0
V (f, P ) = |f (ti ) − f (ti−1 )| + |f (tk−1 ) − f (r)| +
i=1
n
! !
X
+ |f (ti ) − f (ti−1 )| + |f (r) − f (tk )|
i=k
≤ Var f + Vrb f.
Con lo que concluimos que
por lo que
= |λ| kf kBV .
n3) Sean f, g ∈ BV [a, b], entonces por iii) del Lema 143
Con lo anterior obtenemos que k·kBV es una norma. Lo importante es que esta
norma hace que el espacio BV [a, b] sea completo y además si lim fn = f con la
n→∞
norma k·kBV , entonces lim kfn − f kBV = 0 y por el Lema 141 obtenemos que
n→∞
lim kfn − f k∞ = 0, es decir la convergencia en k·kBV implica la convergencia
n→∞
uniforme.
kfn − fm k∞ < .
fn es de Cauchy en B ([a, b]) que es un espacio completo.
Por tanto la sucesión
Por tanto existe f ∈ B ([a, b]) tal que (fn ) converge uniformemente a f . Veamos
que f ∈ BV [a, b] y que (fn ) converge a f con la norma k·kBV .
Como (fn ) converge uniformemente a f , entonces (fn ) converge puntualmente
a f . Veamos que lim V (fn , P ) = V (f, P ) para cualquier partición.
n→∞
Sea P = {a = t0 < t1 < ... < tn−1 < tn = b}, entonces
n
X
lim V (fn , P ) = lim |fn (ti ) − fn (ti−1 )|
n→∞ n→∞
i=1
n
X
= lim |fn (ti ) − fn (ti−1 )|
n→∞
i=1
Xn
= |f (ti ) − f (ti−1 )|
i=1
= V (f, P ) .
Sea P una partición y n>N
difícil, uno tiene que observar que dada un función f ∈ BV [a, b] se puede denir la
función vf := v : [a, b] −→ R tal que
(
Vax f x ∈ (a, b]
v (x) =
0 x = 0.
Podemos entonces dar una caracterización de f usando v.
Teorema 145. Sea f ∈ BV [a, b], por tanto v := vf y v − f son funciones
crecientes. Además f es de variación acotada si y solo si es diferencia de funciones
crecientes.
Demostración. Primero demostremos que v := vf y v−f son funciones
crecientes. Sea x < y, entonces
−
− v (x) ≥ f y − − f (x)
v y
y
v (y) − v x+ ≥ f (y) − f x+ .
Tomemos una partición P de [x0 , b] tal que Vxb0 f −
2 ≤ V (f, P ) , en particular
como el agregar mas puntos hacemos que la variación crezca, podemos suponer que
P = {x0 = t0 < t1 < ... < tn−1 < tn = b} cumple con que t1 < x0 + δ por lo que
Vxb0 f − ≤ V (f, P )
2
≤ + Vtb1 f
2
y por tanto
≥ Vxb0 f − Vtb1 f = Vxt01 f = v (t1 ) − v (x0 ) .
Lo anterior nos garantiza la continuidad de v en x0 por la derecha.
Aplicando este resultado podemos obtener un corolario importante.
La integral de Riemann-Stieltjes
Q = {a0 := t0 < t1 < ... < tj−1 < x0 < tj < ... < tn = b} .
Entonces
n
X
L (f, P ) = mi 4αi
i=1
n
(6.1.1) X
= mi 4αi + mj 4αj .
i=1
i6=j
´b ´b
Por el corolario anterior es claro que
a
f dα y
a
f dα existe y
ˆ b ˆ b
f dα ≤ f dα.
a a
Observemos el siguientes ejemplo para poder comprender más esta nueva inte-
gral.
ˆ b ˆ b
f dα − f dα ≤ U (f, P ) − L (f, P ) < .
a a
ˆ b ˆ b
f dα = f dα
a a
(6.1.2) inf (f (y) : y ∈ [c, d]) < + sup (f (x) : x ∈ [c, d])
Sea P una partición tal que |ti − ti−1 | < δ para todo ti ∈ P . Usando (6.1.2)
llegamos a que
n
X n
X
U (f, P ) − L (f, P ) = Mi 4αi − mi 4αi
i=1 i=1
n
X
= (Mi − mi ) 4αi
i=1
Xn
< 4αi = (α (b) − α (a)) .
i=1
Por tanto f cumple la condición de Riemann lo que implica que f ∈ Rα [a, b].
ˆ b ˆ b ˆ b
f dα + gdα ≤ f + gdα
a a a
ˆ b
≤ f + gdα
a
ˆ b ˆ b
≤ f dα + gdα
a a
Lo que termina la demostración ya que f, g ∈ Rα [a, b] .
iii) Usando la propiedad de que si dado x ∈ A existe y ∈ B tal que x < y
entonces supA ≤ supB , ya que gracias a esto
U (f, P ) ≤ U (g, p)
y por tanto
ˆ b ˆ b
f dα ≤ gdα.
a a
iv) Usando que ||f (x)| − |f (y)|| ≤ |f (x) − f (y)| obtenemos que sup |f (A)| −
inf |f(B)| ≤ supf (A) − inff (B) y por tanto
U (|f | , P ) − L (|f | , P ) ≤ U (f, P ) − L (f, P ) .
En consecuencia |f | cumple la condición de Riemann y por tanto |f | ∈ Rα [a, b].
Además debido a que −f, f ≤ |f | ≤ kf k∞ y a iii) obtenemos que
ˆ ˆ ˆ b
b b
f dα ≤ |f | dα ≤ kf k∞ dα = kf k∞ (α (b) − α (a)) .
a a a
concluimos que
U f 2 , P − L f 2 , P ≤ 2 kf k∞ (U (f, P ) − L (f, P )) ,
por lo que f cumple la condición de Riemann y por tantof 2 ∈ Rα [a, b]. Ahora
2 2
observemos que 4f g = (f + g) −(f − g) , por i) y ii) obtenemos que 4f g ∈ Rα [a, b]
y por tanto f g ∈ Rα [a, b].
Por el Teorema anterior tenemos que Rα [a, b] es un álgebra, más aun Rα [a, b]
es una subalgebra de B ([a, b]), En este caso contrario con el espacio de funciones de
variación acota, (Rα [a, b] , k·k∞ ) resulta ser un espacio completo. Más aun, la con-
vergencia uniforme implica la convergencia de las integrales de Riemann-Stieltjes.
Teorema 154. Sea (fn ) ∈ Rα [a, b] una sucesión de funciones tales que con-
vergen uniformemente a f , entonces f ∈ Rα [a, b] y
ˆ b ˆ b
lim fn dα = f dα.
n→∞ a a
una partición P tal que U (fN , p) − L (fN , P ) < . Dados dos puntos t, s ∈ [a, b] por
la desigualdad del triangulo obtenemos
|f (s) − f (t)| ≤ |f (s) − fN (s)| + |fN (s) − fN (t)| + |fN (t) − f (t)|
(6.2.1)
≤ |fN (s) − fN (t)| + 2.
Denotemos
mN
i := inf (fN (x) : x ∈ [ti−1 , ti ]) ,
Una observación importante del teorema anterior es que el espacio de las fun-
ciones continuas C [a, b] ⊂ Rα [a, b] es un subespacio cerrado.
T = (r1 , r2 , ..., rn )
6.3. INTEGRAR CON RESPECTO A FUNCIONES DE VARIACIÓN ACOTADA 78
n
X
S (f, P, T ) = f (ri ) 4αi
i=1
|I − S (f, P ∗ , T )| < .
´b
El número I se denota por
a
f dα.
|I − S (f, P ∗ , T )| < .
2
0 0
sup (f (x) : x ∈ [ti−1 , ti ]) − f ri = Mi − f ri
(6.3.2)
< .
2n
6.3. INTEGRAR CON RESPECTO A FUNCIONES DE VARIACIÓN ACOTADA 79
n 0 0 0
o
Denotemos T := {r1 , r2 , ..., rn } y T 0 := r1 , r2 , ..., rn Usando las desigual-
n
X
U (f, P ) − L (f, P ) = (Mi − mi ) 4αi
i=1
Xn 0 0
= Mi − f ri + f ri − f (ri ) + (f (ri ) − mi ) 4αi
i=1
n
X 0
≤ + f ri − f (ri ) 4αi
i=1
n
n
X 0
= (α (b) − α (a)) + f ri − f (ri ) 4αi
i=1
= (α (b) − α (a)) + S (f, P, T ) − S (f, P, T 0 )
≤ (α (b) − α (a)) + .
Por tanto f cumple la condición de Riemann y por tanto es integrable bajo
la primera denición. Lo anterior muestra que nuestra denición de integrabilidad
extiende adecuadamente a nuestra primera denición, en la cual necesitábamos que
α fuera creciente.
Nuevamente queremos obtener los resultados de la sección anterior pero ahora
donde α no es necesariamente creciente. En particular el ver que el espacio Rα [a, b]
es un espacio vectorial es ahora mucho mas fácil, esto es debido a que dadas f, g ∈
Rα [a, b] y c, d ∈ R
S (cf + dg, P, T ) = cS (f, P, T ) + dS (g, P, T )
y por tanto
ˆ b ˆ b
!
ˆ b
S (cf + dg, P, T ) − c f dα + d f dα ≤ cS (f, P, T ) − c f dα +
a a a
ˆ b
+ dS (g, P, T ) − d f dα
a
ˆ b
= |c| S (f, P, T ) − f dα +
a
ˆ b
+ |d| S (g, P, T ) − f dα ,
a
el lado de la derecha de la igualdad se puede hacer tan pequeño como uno quiera,
por tanto
ˆ b ˆ b ˆ b
(cf + dg) dα = c f dα + d gdα.
a a a
Para demostrar otras de las propiedades que podemos esperar de esta integral,
es útil tener una manera de manejar con mayor facilidad la integral, demostraremos
la formula de integración por partes para funciones Riemann-Stieltjes.
6.3. INTEGRAR CON RESPECTO A FUNCIONES DE VARIACIÓN ACOTADA 80
Análogamente
ˆ b ˆ b ˆ b
f dα − f dβ = f d (α − β) .
a a a
b) Si f es monótona entonces f o −f es creciente, por lo que α ∈ Rf [a, b] o
α ∈ R−f [a, b], por el Teorema 156 obtenemos que f ∈ Rα [a, b] o −f ∈ Rα [a, b], lo
que demuestra el resultado.
c) Siα ∈ BV [a, b] entonces por el teorema de Jordan sabemos que existen
funciones crecientes u y v tales que α = u − v . Tomemos f ∈ C ([a, b]), entonces
al ser u y v monótonas, f ∈ Ru [a, b] y f ∈ Rv [a, b], por el Teorema 156 f ∈
Ru−v [a, b] = f ∈ Rα [a, b] y por tanto C ([a, b]) ⊂ Rα [a, b].
d) Si α ∈ C ([a, b]) y f ∈ BV [a, b] entonces existen funciones monótonas u, v
tales que f = u − v , por b) u, −v ∈ Rα [a, b] y por tanto f = u − v ∈ Rα [a, b]. Con
lo anterior concluimos que BV [a, b] ⊂ Rα [a, b] .
Por los corolarios anteriores, uno puede esperar obtener información de espacio
Rα [a, b] con α ∈ BV [a, b] a partir de la descomposición de Jordan de α, es decir si
α = u − v con u y v monótonas uno puede esperar obtener información del espacio
Rα [a, b] con los espacios Ru [a, b] y Rv [a, b]. Más aun, demostraremos que
Rα [a, b] = Ru [a, b] ∩ Rv [a, b]
6.3. INTEGRAR CON RESPECTO A FUNCIONES DE VARIACIÓN ACOTADA 82
con lo que demostraremos que Rα [a, b] es un álgebra que es cerrado bajo los máx-
imos y mínimos.
Más aun, si demostramos que Rα [a, b] ⊂ Rv [a, b], entonces también por el Coro-
lario anterior a) tendríamos que Rα [a, b] ⊂ Rv [a, b]. Por tanto solo demostraremos
que Rα [a, b] ⊂ Rv [a, b].
Sea f ∈ Rα [a, b], al ser α de variación acotada, sabemos que para > 0
sucientemente pequeña existe una partición P tal que para todo renamiento
se cumple que
T = {t1 , t2 , ..., tn }
T 0 = {t∗1 , t∗2 , ..., t∗n }
6.3. INTEGRAR CON RESPECTO A FUNCIONES DE VARIACIÓN ACOTADA 83
tales que f (ti )−f (t∗i ) tiene el mismo signo que ∆αi y |f (ti ) − f (t∗i )| ≥ Mi −mi −,
entonces
n
X
S (f, P 0 , T ) − S (f, P 0 , T 0 ) = (f (ti ) − f (t∗i )) ∆αi
i=1
n
X
≥ (Mi − mi − ) |∆αi |
i=1
Xn
≥ (Mi − mi ) |∆αi | − Vab α.
i=1
≤ 2 kf k∞ + + Vab α.
Teorema 160. Sea α ∈ BV [a, b], entonces para toda función f ∈ Rα [a, b]
ˆ ˆ
b b
f dα ≤ |f | dv ≤ kf k∞ Vab α.
a a
n
X
|Sα (f, P, T )| ≤ |f (ti )| |∆αi |
i=1
Xn
≤ |f (ti )| ∆vi
i=1
= Sv (|f | , P, T ) .
6.4. RELACIÓN DE LA INTEGRAL DE RIEMANN Y LA INTEGRAL DE RIEMANN-STIELTJES.
84
Corolario 161. Dada una función α ∈ BV [a, b], la función L : C ([a, b]) −→
R denida como
ˆ b
L (f ) = f dα
a
es continua y lineal.
Dada una función f ∈ C ([a, b]), la función T : BV [a, b] −→ R denida como
ˆ b
T (α) = f dα
a
es continua y lineal.
Demostración. La linealidad de L y T es inmediata con los resultados de
esta sección, solo nos falta ver que son continuas. Por ser funciones lineales lo que
necesitamos demostrar es que son acotadas, usando el teorema anterior tenemos
que
ˆ
b
f dα ≤ kf k∞ Vab α ≤ kf k∞ kαkBV .
a
Lo que demuestra el resultado.
V (F, P ) ≤ kf k∞ V (α, P )
= kf k∞ [α (b) − α (a)] .
Lo que demuestra i). Demostremos ahora iii).
Al ser f acotada sabemos que para todo x<y existe c ∈ [inff [x, y] , supf [x, y]]
tal que
ˆ y
f dα = cy [α (b) − α (a)] ,
x
Lo anterior por el Teorema (164), sea x un punto en el que α es diferenciable y f
continua, entonces
lim supf [x, y] = f (x) ,
y→x
lim inff [x, y] = f (x) .
y→x
Por tanto ´y
F (x) − F (y) f dα
lim = lim x
y→x x−y y→x x−y
cy [α (b) − α (a)]
= lim
y→x x−y
[α (b) − α (a)]
= lim cy lim
y→x y→x x−y
0
= f (x) α (c) .
Por tanto
F 0 (x) = f (x) α0 (x) .
Para terminar esta sección enunciemos un corolario inmediato del teorema an-
terior, ¾Te parece conocido?.
´
Corolario 166. Sea f ∈ R [a, b], y sea F (x) := ax f (t) dt, Entonces F ∈
C [a, b] ∩ BV [a, b], y F 0 (x) = f (x) en cada punto de continuidad de f .
Parte 2
Teoría de la medida
Cuando se creo la integral de Riemann, un problema salio a la luz, en las
demostraciones clásicas de series de Fourier, un problema complicado era saber
cuando una serie de funciones integrables era integrable y la integral es la serie de
las integrales, estos hechos y otros problemas relacionados a la integral de Riemann
fueron escritos en un artículo llamado Über die Darstellbarkeit einer Function
durch eine trigonometrische Reihe (Sobre la posibilidad de la representación de una
función por medio de una serie trigonométrica) escrito por el mismo Riemann en
1854, artículo que en un principio no fue publicado debido a que hacia más preguntas
de las que respondía, hasta 1867 (un año después de la muerte de Riemann) el
artículo fue publicado. Para muchos este Artículo marca un antes y un después
del análisis, ya que es considerado por muchos como el artículo que dio origen a la
creación de la integral de Lebesgue.
El problema con la integral de Riemann no es que este equivocada o calcule
mal las cosas, el problema es como esta denida, su denición que esta basada en
partir el dominio en intervalos es muy débil en dos sentidos. Primero es muy dicíl
saber cuando una función es integrable usando la denición y segundo, el tener
que considerar intervalos en el dominio impide que muchas funciones sean Riemann
integrables, cuando nosotros quisiéramos que estas fueran integrables. Los que se
buscaba entonces era extender la integral de Riemann.
Aquí es donde entra Lebesgue, que en 1902 publica su tesis doctoral, donde se
le ocurre una manera de extender la integral de Riemann, el decidió que deberían
de tomarse particiones del rango de la función en lugar de en el dominio, es decir,
si f : [a, b] −→ [c, d] es una función real y tomamos
P := {t0 = c, t1 , ..., tn = d}
partición del rango, entonces una aproximación de la integral de f en el intervalo
n−1
f (xi ) m f −1 [ti , ti+1 ] m f −1 [ti , ti+1 ]
P
[a, b] sería donde xi ∈ [ti , ti+1 ] y es la
i=1
longitud del conjunto f −1 [ti , ti+1 ] , aquí es importante resaltar que f −1 [ti , ti+1 ]
no es un intervalo, puede ser cualquier subconjunto de [c, d], entonces lo importante
aquí es poder tener una manera de extender la medida de subconjuntos, pero que
respeten la longitud usual.
Un ejemplo del problema de serie de funciones integrables es si consideramos
las funciones fn : [0, 1] −→ R denidas como
1
0si x ∈ n, 1
n2 − n3 xsi x ∈ 0, n1
fn (x) =
0si x = 0,
7.1. σ -álgebras
Como dijimos en nuestra breve introducción, un paso importante es extender
la noción de longitud para conjuntos más complejos, por ejemplo una longitud para
los racionales o para los irracionales, para el conjunto de cantor entre muchos otros
conjuntos. Es importante mencionar que no se lograra tener una longitud adecuada
para todos los subconjuntos de los reales, esto es malo, ya que signicara que existen
funciones que jamas se podrán integrar con nuestra extensión de integral. Pero eso lo
discutiremos más adelante. Por la razón anterior, necesitamos estudiar subconjuntos
de la potencia de los reales donde podremos trabajar con longitudes claro que esta
teoría por cuestiones practicas se puede extender y trabajaremos sobre conjuntos
abstractos.
Q := {A ⊂ X : A o Ac es numerable} .
es una σ -álgebra de Y .
Demostración. A1) Si B ∈ Af , entonces
A2) SeanBn ∈ Af para n ∈ N, por denición de Af sabemos que existen
conjuntos An ∈ A para todo n ∈ N tales que Bn = f −1 (An ) y por tanto
∞
[ ∞
[
Bn = f −1 (An )
n=1 n=1
∞
!
[
−1
=f An .
n=1
∞
S ∞
S
Por ser A σ -álgebra obtenemos que An ∈ A y por tanto Bn ∈ Af .
n=1 n=1
A3) X = f −1 (X) ∈ Af .
Proposición 170. Sea A ⊂ P (X) una σ -álgebra, Y ⊂ X un conjunto no
vacío, entonces
AY := {A ∩ Y : A ∈ A}
es una σ -álgebra de Y .
Demostración. Es inmediata usando la proposición anterior, ya que podemos
considerar la función f : Y −→ X tal que f (y) = y para todo y ∈ Y, por tanto
AY = Af .
7.1. σ -ÁLGEBRAS 92
Ahora veremos que las σ -álgebras nitas se pueden caracterizar fácilmente, caso
contrario con las innitas, las cuales ni siquiera son numerables.
{x} ∈ D,
para todo x ∈ X pero D es una σ -álgebra, por lo que A (Y ) ⊂ D. Sea B ∈ D,
entonces B o B c es numerable y S
como A (Y ) es una σ -álgebra que contiene a todos
{x} o B c =
S
los puntos de X entonces B = {x} es un elemento de A (Y )
x∈B x∈B c
(por ser cerrada bajo uniones numerables. Por tanto B ∈ A (Y ).
Ejercicio 174. Sea X un conjunto no vacío y A, B ⊂ P (X).
1) Si A ⊂ B entonces A (A) ⊂ A (B) .
2) Si A es σ -álgebra entonces A (A) = A.
3) A (A (A)) = A (A).
Podemos construir ahora la σ -álgebra más pequeña que contenga a todos los
abiertos de R, la que denotaremos por B (R) y llamaremos borelianos. Nuestro
objetivo sería crear una longitud que por lo menos pueda medir a los borelieanos.
Observemos que no es necesario tomar a todos los abiertos para construir a los
borelianos. Pero primero demostremos un lema.
D = {q1 , q2 , q3 , ...} .
7.1. σ -ÁLGEBRAS 94
Ahora para cada qn ∈ D denimos mn como el primer natural tal que B qn , m1n ⊂
S
A (Este natural existe por ser A un abierto). demostremos que A = B qn , m1n .
n∈N
S 1
Por construcción A ⊃ B qn , mn . Sea x ∈ A, entonces por ser A abierto
n∈N
1 1
existe r > 0 tal que B (x, r) ⊂ A, sea n0 ∈ N tal que
n0 < r , por lo que B x, n0 ⊂
B (x, r) ⊂ A. Por ser Qn denso en Rn , podemos tomar qk ∈ Qn ∩ B x, 2n1 0 ⊂ D,
1
observemos que si z ∈ B qk , entonces
2n0
kz − xk ≤ kz − qk + kq − xk
1 1
< +
2n0 2n0
1
= .
n0
1 1
Por tanto n0 ≤ nk y por tanto B qk ,
2n0 ⊂ B q ,
k nk , es decir A ⊂
B qn , m1n .
S
n∈N
\ !c
1
= (a, ∞) ∩ b − ,∞ ,
n
n∈N
c
1 1
T T
al ser A (ω) σ -álgebra entonces b− n, ∞ ∈ A (ω), por lo que b− n, ∞ ∈
n∈N n∈N
A (ω) y por tanto
\ !c
1
(a, b) = (a, ∞) ∩ b − ,∞ ∈ A (ω) .
n
n∈N
Con lo anterior todo intervalo se encuentra en A (ω), por el lema previo todo
abierto de R es una unión numerable de intervalos, es decir todo abierto de R
es un elemento de A (ω) σ -álgebra. Por ser B (R) la mínima σ -álgebra
por ser
que contiene a los abierto y por ser A (τ ) la mínima σ -álgebra que contiene a los
intervalos, A (ω) ⊃ A (τ ) y A (ω) ⊃ B (R). Por tanto A (ω) = A (τ ) = B (R) .
Ejercicio 177. Probar que
1) A ({(a, b] : a, b ∈ R}) = B (R) .
2) A ({[a, b) : a, b ∈ R}) = B (R).
3) A ({[a, ∞) : a ∈ R}) = B (R) .
7.2. FUNCIONES MEDIBLES 95
A = {A ⊂ X : A o Ac es numerable}
y f : X −→ Y inyectiva, entonces f es medible con respecto a A y Q. Lo anterior
−1
c
es debido a que si A ⊂ Y o A ⊂ Y es numerable, entonces f (A) o f −1 (Ac ) es
numerable (por ser f inyectiva).
−1
(B (R)) = f −1 h−1 (B (R))
(h ◦ f )
⊂ f −1 (B (R))
⊂ B (R) .
Por tanto h ◦ f es medible.
b) Sabemos que la función l : R −→ R denida como l (x) = ax es continua, por
tanto es medible, por a) de esta proposición l ◦ f es medible, pero l ◦ f (x) = af (x).
Concluimos que af es medible.
c) Sea a ∈ R, observemos que el conjunto
Sq := {x ∈ R : f (x) > a − q} ∩ {x ∈ R : g (x) > q}
S
es medible para todo q ∈ Q, por lo que Sq es boreliano. Demostremos que
q∈Q
[
{x ∈ R : f (x) + g (x) > a} = Sq .
q∈Q
Sq , entonces existe q 0
S
Claramente si x ∈ ∈ Q tal que x ∈ Sq0 , es decir
q∈Q
f (x) > a − q 0 y g (x) > q 0 , por tanto f (x) + g (x) > a.
7.2. FUNCIONES MEDIBLES 98
Si z ∈ {x ∈ R : f (x) + g (x) > a}, por lo que f (z) + g (z) − a > 0 sea r racional
tal que
g (z) > r,
y
g (z) − r < f (z) + g (z) − a.
Lo anterior se puede hacer gracias a la densidad de los racionales. De la última
desigualdad obtenemos que
a − r < f (z) .
Con lo que concluimos que z ∈ Sr .
−1
d) Sea a ∈ R, si a < 0 entonces f 2 ((a, ∞)) = X . Si a > 0 entonces
−1 −1 √ −1 √
f2 ((a, ∞)) = f 2 a, ∞ ∪ f 2
−∞, − a ,
que es boreliano por hipótesis.
e) Observemos que
1h 2 2
i 1
f 2 + g 2 + 4f g − f 2 − g 2
(f + g) − (f − g) =
4 4
= f g.
h i
1 2 2
Por los incisos anteriores
4 (f + g) − (f − g) es medible, es decir fg es
medible.
−1
f) Sea a ∈ R, si a<0 entonces |f | ((a, ∞)) = X . Si a>0 entonces
−1 −1 −1
|f | ((a, ∞)) = |f | ((a, ∞)) ∪ |f | ((−∞, −a)) ,
que es boreliano por hipótesis.
Sea f : X −→ R, denimos la parte positiva de f ( la cual denotaremos por
f +) como la función f + : X −→ R tal que
f + (x) := sup {f (x) , 0}
y denimos la parte negativa de f ( la cual denotaremos por f −) como la función
−
f : X −→ R tal que
f − (x) := sup {−f (x) , 0} .
La importancia de denir las dos funciones previas radica en que f = f + − f −,
es decir que toda función la podemos ver como la diferencia de dos funciones no
negativas. más adelante cuando denamos la integral de Lebesgue, que sera lineal,
podremos demostrar todas las propiedades para funciones no negativas, las cuales
usando la linealidad de la integral, extenderemos los resultado para funciones que
cambian de signo. Claro para eso debemos ver que una función es integrable si y
solo si su parte positiva y negativa son integrables. Antes de hablar de la integral,
iniciemos de mostrando que:
y
1 +
f− = f + f− − f+ − f−
2
1
= [|f | − f ]
2
Que son medibles por la proposición anterior.
Ahora si suponemos que f+ y f− son medibles, entonces es inmediato que
+ −
f =f −f es medible.
x+∞=∞
x + (−∞) = −∞
∞+∞=∞
−∞ − ∞ = −∞
y×∞=∞
y × −∞ = −∞
z × ∞ = −∞
z × −∞ = ∞
0×∞=0
0 × −∞ = 0
∞ × −∞ = −∞
∞×∞=∞
−∞ × −∞ = ∞.
Las expresiones ∞−∞ y −∞ + ∞ no están denidas. Además ∞ > x > −∞
para todo x ∈ R.
Definición 186. Sea una sucesión (an ) de reales extendidos, diremos que
tiende a innito si para todo x∈R N ∈ N tal que si n > N
existe un momento
entonces an > x, lo que denotaremos por lim an = ∞, análogamente diremos que
n−→∞
tiende a menos innito si para todo x ∈ R existe un momento N ∈ N tal que si
n > N entonces an < x, lo que denotaremos por lim an = −∞.
n−→∞
0−1 −1 −1
f ((a, ∞)) = f ((a, ∞]) \ f
({∞}) ,
−1
c
pero f ((a, ∞]) \ f −1 ({∞}) = f −1 ((a, ∞]) ∩ f −1 ({∞}) que es un elemento
de A por ser σ -álgebra.
Si a ≤ 0 entonces
Si a≤0 entonces
Como
−1 c
f −1 ({∞}) ∪ g −1 ({∞}) ∩ (M1 ∪ M2 )
(f + g) ({∞}) =
y
−1 c
({−∞}) = f −1 ({−∞}) ∪ g −1 ({−∞}) ∩ (M1 ∪ M2 )
(f + g)
que son elementos de A por ser σ -álgebra, solo tenemos que ver
−1
(f + g) (a, ∞) ∈ A
lo que se sigue de que
c
(
−1 {x ∈ X : ∞ > f (x) + g (x) > a} ∩ (M1 ∪ M2 ) si a > 0
(f + g) (a, ∞) =
{x ∈ X : ∞ > f (x) + g (x) > a} ∪ M1 ∪ M2 si a ≤ 0.
Antes de demostrar que fg es medible necesitamos trabajar con limites de
funciones y ver que ser medible es una propiedad que se preserva bajo limites.
Definición 191. Sea (an ) una sucesión de reales extendidos, denimos el límite
superio y el límite inferior que los denotaremos por lim (an ) y lim (an ) respec-
n−→∞ n−→∞
tivamente como:
lim (an ) := inf sup {an }
n−→∞ k≥1n≥k
Inversamente, supongamos que lim (an ) = lim (an ) = a, por tanto para
n−→∞ n−→∞
toda >0 existe un momento N ∈N tal que si k≥N
0≤a− inf {an } <
n≥k
y
entonces
es decir
|am − a| <
y por tanto lim (an ) = a.
n−→∞
Ahora podemos demostrar que ser función medible se preserva bajo inmos,
supremos, límites inferiores y límites superiores. en particular se preserva bajo
límites.
Si x ∈ F −1 ((a, ∞]) signica que supfn (x) > a, por denición de supremo, a
n≥1
no es cota superior, por lo que existe k ∈ N tal que fk (x) > a, es decir
[
x ∈ fk−1 ((a, ∞]) ⊂ f −1 ((a, ∞]) .
n∈N
Si x ∈ ∩ fn−1 ([a, ∞]) entonces para todo k ∈ N, x ∈ fk−1 ([a, ∞]), es decir
n∈N
fk (x) ≥ a, por lo que inf fn (x) ≥ a, con lo que concluimos que x ∈ f −1 ((a, ∞]).
n≥1
Lo anterior demuestra ii).
7.3. LÍMITES DE FUNCIONES MEDIBLES. 104
si denimos bk := sup {fn } y ck := inf {fn }, por i), ii) tanto bk como ck son
n≥k n≥k
medibles, por lo que nuevamente por i), ii), inf bk y supck son medibles.
k≥1 k≥1
Retomemos lo que dejamos pendiente la sección anterior, la medibilidad de f g.
Primero necesitamos apoyarnos con funciones que aproximen a f y g pero que estas
sean real denidas, esto nos lleva a denir el truncamiento de una función como:
f gm = lim fn gm ,
n→∞
pero usando 194 obtenemos que f gm ∈ M (X, A). de manera análoga tomando el
límite sobre m obtenemos que
fg = lim f gm ∈ M (X, A) .
m→∞
7.3. LÍMITES DE FUNCIONES MEDIBLES. 105
Proposición 199. Sea f ∈ M (X, A), entonces existe una sucesión de fun-
+
Si n ≤ f (x) < n + 1 tenemos que sn (x) = n y existe k < (n + 1) 2(n+1) tal que
k k+1
f (x) ∈ n+1 , n+1 ,
2 2
k0
pero observemos que si k 0 = n2(n+1) entonces
2n+1 = n, por lo que n2(n+1) ≤ k <
(n+1)
(n + 1) 2 , es decir
sn+1 (x) ≥ n = sn (x) .
Por último sif (x) ≥ n + 1 entonces sn (x) = n < n + 1 = sn+1 (x).
2) Sea x ∈ X t entonces por 1) sn (x) ≤ f (x) y sn (x) es una sucesión creciente,
por lo que
lim sn (x) = sup {sn (x)} .
n→∞ n∈N
Sea > 0, supongamos que f (x) ∈ R, por lo que existe n0 ∈ N tal que
f (x) < n0 , entonces existe k ∈ N tal que k < n0 2n0 y
k k+1
f (x) ∈ n0 , n0
2 2
por lo que
|f (x) − sn0 (x)| = f (x) − sn0 (x)
k+1 k
≤ − n0
2n0 2
1
= n0 .
2
1
Si tomamos n0 sucientemente grande, tal que
2n0 < obtenemos que para
n > n0
|f (x) − sn (x)| = f (x) − sn (x)
≤ f (x) − sn0 (x)
1
= n0
2
< .
Si f (x) = ∞ entonces sn (x) = n, por lo que
8.1. Medida
Con la estructura conjuntista y funcional que construimos el capítulo anterior,
estamos listos para dar el siguiente paso en dirección de crear nuestra nueva integral,
ya sabemos que queremos medir, los elementos de una σ -álgebra, ya sabemos que
funciones nos interesa integrar, las funciones integrables. Ahora todo se reduce a
poder medir conjuntos, iniciaremos nuevamente con el concepto en abstracto para
posteriormente concentrarnos en los reales.
Primero debemos de ponernos de acuerdo en que debe de cumplir una longitud,
la que llamaremos medida.
Definición 200. Sea (X, A) un espacio medible, diremos que una función
µ : A −→ R es una medida si cumple las siguientes propiedades:
µ1) µ (A) ≥ 0 para todo A ∈ A,
µ2) µ (∅) = 0,
µ3) Sean An ∈ A para toda n ∈ N, disjuntos por pares, entonces
∞
!
[ X
µ An = µ (An ) .
n∈N n=1
Es claro porque las propiedades µ1) y µ2) las debe de cumplir algo que extienda
la noción de longitud. La propiedad µ3) esta totalmente enfocada para trabajar con
serie de funciones.
µ1 (A) = 0
y
0si A = ∅
µ2 (A) =
∞si A 6= ∅
son medidas.
2) Sea (X, A) un espacio medible, entonces µ# : A −→ R denida como:
|A|si A es
nito
µ# (A) =
∞si A es innito.
es una medida, es inmediato que cumple µ1) y µ2). Sean An ∈ A para toda n ∈ N,
disjuntos por pares, si solo un numero nito de las An no es vacío es inmediato que
∞
!
[ X
µ# An = µ# (An ) .
n∈N n=1
107
8.1. MEDIDA 108
Demostración. 1), µ1) es inmediato ya que aµ (A) + bµ0 (A) ≥ 0 para todo
A ∈ A. µ2) aµ + bµ (∅) = aµ (∅) + bµ0 (∅) = 0, por último demostremosµ3). Sean
0
µ (B) = µ (B \ A ∪ A)
= µ (B \ A) + µ (A) ,
por lo que µ (A) ≤ µ (B). Ahora si µ (A) < ∞ podemos despejar la última
desigualdad y obtenemos
µ (B \ A) = µ (B) − µ (A) .
8.1. MEDIDA 110
Observación 204. Sean An elementos de una σ -álgebra A, por µ3) solo nos
interesan uniones disjuntas de elementos de A. Si denimos B 1 = A1 y B n =
n−1
S
An \ Ak para n > 1, entonces
k=1
1) Bn ⊂ An ,
2) BSn ∩ Bm =S∅ para n 6= m y
3) An = Bn .
n∈N n∈N S S
Solo veamos 3) ya que 1) y 2) son equivalentes, por 1) An ⊃ Bn , si
S n∈N n∈N
x∈ An entonces existe un primer momento k ∈N tal que x ∈ Ak y x ∈
/ An
n∈N
para todo n < k.
2) Si A
n ⊃ An+1 para todo n ∈ N y existe k ∈ N tal que µ (Ak ) < ∞ entonces
An = lim µ (An ) .
T
µ
n∈N n→∞
S S S
Demostración. 1) Ajenizemos la unión An , es decir An = Bn y
n∈N n∈N n∈N
n−1
S
B n = An \ Ak para n > 1 y B 1 = A1 . Al ser (An ) una sucesión creciente
k=1
n−1
S
An \ Ak = An \ An−1 si n > 1.
k=1
Si µ (Ak ) = ∞ para algún k ∈ N, entonces
!
[
∞=µ An = lim µ (An ) .
n→∞
n∈N
Por tanto
! !
\ \
µ (A1 ) − µ (An ) = µ A1 \ (An )
n∈N n∈N
!
[
=µ (A1 \ An )
n∈N
!
[
=µ En
n∈N
= lim µ (En )
n→∞
= lim µ (A1 − An )
n→∞
= lim (µ (A1 ) − µ (An ))
n→∞
= µ (A1 ) − lim µ (An ) .
n→∞
T T
Como µ (An ) < ∞ despejando tenemos que µ (An ) = lim µ (An ) .
n∈N n∈N n→∞
Proposición 206. Sea (X, A, µ) un espacio de medida, si An ∈ A para todo
n ∈ N entonces
∞
!
[ X
µ (An ) ≤ µ (An ) .
n∈N n=1
Diremos en un espacio medible (X, A, µ) que una propiedad P sobre X se
cumple casi donde quiera (lo que escribiremos como a.e.) si el conjunto
A := {x ∈ X : x no cumple P}
esta contenido en un conjunto B ∈ A tal que µ (B) = 0. Es importante notar que
no necesariamente porque A ⊂ B y µ (B) = 0 signica que A ∈ A. Por ejemplor la
medida cero en el espacio medible (X, {∅, X}) .
Ahora veremos que todo espacio medible se puede completar, es decir, dado un
espacio medible (X, A, µ) siempre es posible construir un espacio medible X, A, µ
tal que A ⊂ A y µA = µ. Por lo anterior podemos en general siempre trabajar en
un espacio medible completo.
0 0
An ∈ A para todo n ∈ N, entonces An = An ∪ Mn
Por último, si donde An ∈ A
y Mn ⊂ Nn ∈ N (µ) para todo n ∈ N. Por tanto
[ [ 0
(An ) = An ∪ M n
n∈N n∈N
! !
[ 0 [
= An ∪ Mn ,
n∈N n∈N
S 0 S S
el conjunto An ∈ A y Mn ⊂ Nn ∈ N (µ) ya que
n∈N n∈N n∈N
∞
!
[ X
µ Nn ≤ µ (Nn ) = 0.
n∈N n=1
S
por tanto (An ) ∈ A. Como el conjunto ∅ ∈ N (µ) es inmediato que A⊂A
n∈N
3) Veamos que µ esta bien denida, es decir si A ∈ A y A = A1 ∪M1 = A2 ∪M2
donde An ∈ A y Mn ⊂ Nn ∈ N (µ) para n ∈ {1, 2}.
Observemos que A1 ∪ N1 ∪ N2 = A2 ∪ N1 ∪ N2 . Si x ∈ N1 ∪ N2 entonces
x ∈ A2 ∪ N1 ∪ N2 , si x ∈ A2 , entonces
x ∈ A = A2 ∪ M2 ⊂ A2 ∪ N1 ∪ N2 .
µ (A1 ) = µ (A1 ∪ N1 ∪ N2 )
= µ (A2 ∪ N1 ∪ N2 )
= µ (A2 )
y por tanto µ µA = µ.
esta bien denida. Es claro que
C = C \ A = (C \ A) ∪ A ∈ A.
Veamos un último corolario técnico que usaremos más adelante. Para esto nece-
sitamos introducir el concepto de límite superior y límite inferior de conjuntos.
T T
Demostración. 1) Es claro que Ak ⊂ Ak si n < m, entonces por la
k≥n k≥m
proposición 205
[ \
µ lim An = µ Ak
n→∞
n∈N k≥n
\
= supµ Ak
k≥1
k≥n
8.2. MEDIDA EXTERIOR 115
0si A = ∅
µ1 (A) :=
1si A 6= ∅
y
0si A es numerable
µ2 (A) :=
1si A no es numerable.
Tanto
µ1 y µ2son medidas exteriores. Solo demostraremos e4) para µ2 .
S
Si µ2 An = 0 entonces An es numerable para todo n ∈ N y por tanto
n∈N
∞
P
µ2 (An ) = 0.
n=1
S S
Si µ2 An = 1 An es numerable, pero unión numerable de
entonces
n∈N n∈N
numerables es numerable, por lo que existe k ∈ N tal que Ak no es numerable y
por tanto µ2 (Ak ) = 1, con lo que concluimos que
∞
!
[ X
µ2 An = 1 = µ2 (Ak ) ≤ µ2 (An ) .
n∈N n=1
Ahora necesitaremos denir un nuevo concepto, más débil que una σ -álgebra.
Definición 214. Sea X un conjunto no vacío, y A∗ ⊂ P (X), diremos que A∗
es un álgebra si
a1) Si A, B ∈ A∗ entonces A \ B ∈ A∗ ,
a2) Si A, B ∈ A∗ entonces A ∪ B ∈ A∗ y
a3) X ∈ A∗
Claramente un álgebra es más débil que una σ -álgebra, veamos ahora un ejem-
plo que nos interesara más adelante.
Ahora que tenemos algo más débil que una σ -álgebra es natural pensar que
tendremos algo más débil que una medida.
Veremos que si partimos de una casi medida podemos construir una medida
exterior a partir de esta, pero para esto observemos primero que al igual que en la
demostración de medida, si Si An ∈ A∗ para todo n ∈ N, son disjuntos por pares y
∗
S
An ∈ A , entonces
n∈N
∞
!
[ X
µ An ≤ µ (An ) .
n∈N n=1
µ∗ (B) ≤ µ∗ (A) .
e4) Sean An ⊂ X para n ∈ N. Si µ∗ (An ) = ∞ para algún n∈N entonces es
inmediato que
∞
!
[ X
∗
µ An ≤∞= µ∗ (An ) .
n∈N n=1
8.3. LA MEDIDA EXTERIOR DE LEBESGUE EN R 117
An : n, k ∈ N es una A∗ cubierta de
k S
pero la colección An , por lo que
n∈N
∞ ∞
! !
[ X X
∗
Akn
µ An ≤ µ
n∈N k=1 n=1
∞
X
∗
≤ µ (Ak ) +
2k
k=1
∞
X
=+ µ∗ (Ak ) ,
k=1
∞
∗
µ∗ (Ak ) .
S P
lo anterior para todo > 0, por tanto µ An ≤
n∈N k=1
Solo falta demostrar que si A∈ A∗ entonces µ (A) = µ∗ (A). Es inmediato por
∗
la denición de µ que
µ (A) ≥ µ∗ (A) ,
debido a que A, ∅, ∅, ∅... es una cubierta de A.
∗
Sea (An ) una A cubierta de A entonces
!
[
µ (A) = µ (An ∩ A)
n∈N
∞
X
≤ µ (An ∩ A)
n=1
X∞
≤ µ (An )
n=1
∞ ∞
pares, entonces l (Jn ). Por tanto si los Jn son disjuntos por pares
P P
l (In ) ≤
n=1 n=1
∞ ∞
entonces
P P
l (In ) = l (Jn ) .
n=1 n=1
∞
P ∞
P
Demostración. Supongamos que l (In ) > l (Jn ), entonces existe un
n=1 n=1
M
P ∞
P
M ∈N tal que l (In ) > l (Jn ), sea
n=1 n=1
M
X ∞
X
a= l (In ) − l (Jn ) > 0.
n=1 n=1
M K
X 0 X 0
l In − l Jn > 0,
n=1 n=1
M
S 0
K
S M
S 0
por lo que es imposible que In ⊂ Jn , por, es decir In no tiene subcubiertas
n=1 n=1 n=1
∞
P ∞
P
nitas, esto es contradictorio y por tanto l (In ) ≤ l (Jn ).
n=1 n=1
8.4. EL TEOREMA DE CARATHÉODORY 119
Ahora supongamos hay In que son no acotados, estos se pueden ver como
uniones numerables de intervalos de la forma (ak , bk ] y más aun
∞
X
∞ = l (In ) = l ((ak , bk ]) ,
k=1
por lo que al nal de cuentas podemos suponer que todos los In son acotados y la
prueba queda completa.
Corolario 220. La función λ∗ : I (R) −→ R denida como
M
! M
[ 0 X
∗
λ In = l (An )
n=1 n=1
[ k
[
An = Bn
n∈N n=1
y por tanto usando la proposición anterior obtenemos que
! k
!
[ [
λ∗ An = λ∗ Bn
n∈N n=1
k
X
= I (Bn )
n=1
X∞
= I (An ) .
n=1
Ahora por la sección anterior sabemos que λ∗ crea una medida exterior λ : P (R) −→
∗
R que extiende a la medida λ , es decir que conserva la longitud de los intervalos.
Ahora el siguiente paso sera ltrar el conjunto P (R) para obtener una medida que
denotaremos por λ.
Lema 222. Sea A un álgebra de un conjunto X , tal que para toda colección
∗
Bn ∈ A ∗ , An ∈ A ∗
S S
Por hipótesis por tanto con lo que terminamos la
n∈N n∈N
demostración.
Teorema 223. (Carathéodory) Sea µ : P (X) −→ R medida exterior, denote-
mos por µ la restricción de µ a Aµ , entonces:
a) Aµ es una σ -álgebra,
b) La tripleta (X, Aµ , µ) es un espacio medible compreto y
c) Si µ es la medida exterior generada por la casi medida µ∗ en el algrabra A∗ ,
entonces A (A∗ ) ⊂ Aµ y µ = µ∗ en A∗ .
Demostración. a) A1) Observemos que si A ∈ Aµ , entonces para todo B⊂
X
µ (B) = µ (B ∩ A) + µ (B ∩ Ac )
c
= µ (B ∩ (Ac ) ) + µ (B ∩ Ac ) .
c
Con lo que obtenemos que A ∈ Aµ .
A3) Claramente
µ (B) = µ (B ∩ X) + µ (B ∩ ∅)
para todo B ⊂ X. X ∈ Aµ .
Por tanto
A2) Primero demostremos que si A1 y A2 son ajenos y elementos de Aµ entonces
A1 ∪ A2 ∈ Aµ . Observemos que
µ (B ∩ A1 ) = µ ((B ∩ A1 ) ∩ A2 ) + µ ((B ∩ A1 ) ∩ Ac2 )
= µ ((B ∩ A1 ) ∩ Ac2 )
y
µ (B ∩ Ac1 ) = µ ((B ∩ Ac1 ) ∩ A2 ) + µ ((B ∩ Ac1 ) ∩ Ac2 )
por lo que
µ (B) = µ (B ∩ A1 ) + µ (B ∩ Ac1 )
(8.4.1) = µ ((B ∩ A1 ) ∩ Ac2 ) + µ ((B ∩ Ac1 ) ∩ A2 ) + µ (B ∩ (Ac1 ∩ Ac2 )) .
= µ (B ∩ A1 ) + µ (B ∩ A2 ) + µ (B ∩ (Ac1 ∩ Ac2 ))
Sustituyendo en (8.4.1) a B por B ∩ (A1 ∪ A2 ) obtenemos que
(8.4.2) µ (B ∩ (A1 ∪ A2 )) = µ (B ∩ A1 ) + µ (B ∩ A2 )
y por tanto
Recordemos por el lema anterior que es suciente demostrar que la unión dis-
junta y numerable de elementos de Aµ que queda en Aµ .
Usando inducción en la ecuación (8.4.2) obtenemos que
k
! k
[ X
µ B∩ An = µ (B ∩ A1 )
n=1 n=1
k
An ∈ A∗ )
S
para todo k ∈ N, por tanto (usando que µ es medida exterior y que
n=1
k
! k
!c !
[ [
µ (B) = µ B ∩ An +µ B∩ An
n=1 n=1
k k
!c !
X [
= µ (B ∩ A1 ) + µ B ∩ An
n=1 n=1
k ∞
!c !
X [
≥ µ (B ∩ A1 ) + µ B ∩ An
n=1 n=1
∞ ∞
!c !
X [
µ (B) ≥ µ (B ∩ A1 ) + µ B ∩ An
n=1 n=1
∞
! ∞
!c !
[ [
≥µ B∩ An +µ B∩ An
n=1 n=1
≥ µ (B) .
∞ ∞
! !
[ [
µ An =µ B∩ An
n=1 n=1
∞
X
≥ µ (B ∩ A1 )
n=1
X∞
= µ (A1 )
n=1
∞
!
[
≥µ An .
n=1
8.4. EL TEOREMA DE CARATHÉODORY 122
∞
!
[
v (Fm ) ≤ v An
n=1
∞
X
≤ v (An )
n=1
X∞
= µ (An )
n=1
m
S
µ (Fm ) ≥ v (Fm ). De manera análoga se demuestra que µ
por lo que An \ Fm ≥
m n=1
S
v An \ Fm pero por hipótesis
n=1
m
! m
!
[ [
µ (Fm ) + µ An \ Fm = v (Fm ) + v An \ Fm
n=1 n=1
Definición 226. Sea λ∗ la casi medida denida en 220, esta sera llamada
la casi medida de Lebesgue, aplicando el Teorema de Carathéodory generamos la
medida de Lebesgue λ la cual tiene como domino Aλ , esta σ -álgebra sera denotada
por L (R) y si B ∈ L (R), diremos que B es Lebesgue medible.
Corolario 227. B (R) ⊂ L (R).
Demostración. Por el Teorema de Carathéodory sabemos que
0 0
> 0, denimos In = In si bn = ∞ y In = an , bn + 2n+1 si bn < ∞ , entonces
∞ ∞
[ [ 0
E⊂ In ⊂ In
n=1 n=1
y
∞
X
a≤ bn + − an
n=1
2n+1
∞ ∞
X X
= (bn − an ) + n+1
n=1 n=1
2
X∞
= (bn − an ) +
n=1
∞
P
para todo > 0, entonces a≤ (bn − an ), esto para toda I (R) cubierta de E.
n=1
Por tanto a ≤ λ (E) .
6) Usando 2) tenemos que
Por tanto suena posible que todo subconjunto de R sea Lebesgue medible, más
aun, como comentamos anteriormente, se puede mostrar que los borelianos son
tantos como reales, por tanto existen muchísimos conjuntos Lebesgue medibles que
no son borel medible.
Capítulo 9
medibles
9.1. Vitali
En 1905 Vitali demostró usando axioma de elección que existía un conjunto
no Lebesgue medible, Lebesgue después de estudiar arduamente el conjunto que
construyo Vitali, el único punto débil que le encontró fue la dependencia del axioma
de elección, por lo que reto al mundo matemático a dar un ejemplo que no necesitara
el axioma de elección.
Años después, Solovay en 1970 muestra que se puede construir un modelo donde
los axiomas de Zermelo Fraenkel sin axioma de elección todo subconjunto de R es
Lebesgue medible. Es decir jamas se podrá dar un ejemplo sin axioma de elección
que no sea medible.
Estudiaremos el ejemplo que dio Vitali de conjunto no medible.
(x − y) − (y − z) = x − z ∈ Q
y por tanto x ∼ z.
Sea [x] la clase de equivalencia de x bajo ∼, por ser ∼ relación de equivalencia
las clases de equivalencia son una partición de [0, 1], usando axioma de elección
podemos tomar un único elemento de cada partición inducida por ∼, y denotamos
a este conjunto por V.
Observemos primero que si r, s son racionales distintos entonces V +r es disjunto
a V + s. Si
x∈V +s∩V +r
entonces existen v1 , v2 ∈ V tales que
x = v1 + r = v2 + s
y por tanto v1 − v2 = s − r ∈ Q, es decir v1 ∼ v2 , por lo que v1 = v2 con lo que
obtenemos que r = s. Concluimos que r, s son racionales distintos entonces V + r
es disjunto a V + s.
Claramente V + s ⊂ [−1, 2] para s ∈ Q ∩ [−1, 1], además si x ∈ [0, 1], x ∼ z
para algún z ∈ V , es decir x − z = r ∈ Q ∩ [−1, 1] y por tanto
x = z + r ∈ V + r,
128
9.2. CONJUNTO NO BOREL PERO SI LEBESGUE MEDIBLE 129
S
con lo que obtenemos que [0, 1] ⊂ V + r ⊂ [−1, 2]. Si V es Lebesgue
r∈Q∩[−1,1]
medible tenemos las siguientes desigualdades
1 = λ [0, 1]
[
≤ λ V + r
r∈Q∩[−1,1]
∞
X
= λ (V + r)
n=1
X∞
= λ (V )
n=1
≤ λ ([−1, 2])
= 3.
Claramente se sigue de la ecuación anterior que no se puede denir λ (V ) y por
tanto V no es medible.
Uno puede observar que la demostración del teorema anterior solo depende de
que λ sea σ -nita, invariante baja traslaciones y que λ (I) donde I es un intervalo
es su longitud. Obtenemos el siguiente resultado.
y
x2 = 0.c1 c2 ...ck 02 3
donde ci ∈ {1, 2} para i ∈ {1, 2, ..., k}. Entonces x1 > x2 , más aun, por su forma,
x1 y x2 aparecen como extremos al quitar un tercio de un intervalo, pero
c c c ck
1 2 3
s (x1 ) = ... 10
2 2 2 2 2
y
c c c ck
1 2 3
s (x2 ) = ... 01
2 2 2 2 2
por lo que s (x1 ) = s (x2 ). Por tanto s es monótona en C y coincide en los elementos
que aparecen como extremos de intervalos al quitar un tercio de algún intervalo.
Además s es sobre ya que si z = (0.c1 c2 c3 ...)2 ∈ [1, 2] entonces
Sabemos entonces que ϕ manda y regresa abiertos en abiertos, por lo que son
ϕ y ϕ−1 medibles
2 = λ (ϕ [0, 1])
= λ (ϕ (C) ∪ ϕ ([0, 1] \ C))
= λ (ϕ (C)) + λ (ϕ ([0, 1] \ C)) .
Como la función ψ es contante en los intervalos de [0, 1] \ C , cada uno de estos
es enviado a otro intervalo de la misma longitud, por lo que
La integral
k
P
Definición 236. Sea (X, A, µ) un espacio de medida y sea an χAn una φ=
n=1
función simple, medible (borel medible) y no negativa (es decir An ∈ A, son ajenos
k
S
dos a dos, X = An y an ≥ 0 distintos dos a dos para todo n ∈ {1, 2, ..., k})
n=1 ´
entonces denimos la integral de φ con respecto a µ que la denotaremos por φdµ
como
ˆ k
X
φdµ = an µ (An ) .
n=1
y
ˆ
0dµ = 0.
0
k k
Sean φ = an µ (An ) y ψ = a0n χA0n dos funciones
P P
Proposición 237.
n=1 n=1
simples, medibles y no negativas en (X, A, µ), E ∈ A y c ≥ 0 entonces
ˆ ˆ
cφdµ = c φdµ,
ˆ ˆ ˆ
φdµ + ψdµ = (φ + ψ) dµ
y
ˆ
µ (E) = χE dµ.
132
10.1. LA INTEGRAL DE FUNCIONES MEDIBLES 133
ˆ k
X
cφdµ = can µ (An )
n=1
k
X
=c an µ (An )
n=1
ˆ
=c cφdµ.
k0
k X
X 0
φ+ψ = an + am χAn ∩A0m .
n=1m=1
entonces
ˆ X
φ + ψdµ = sµ (Ns )
{s}
X X 0
= s µ An ∩ Am
{s} 0
an +am =s
(10.1.1)
k0
k X
X 0 0
= an + am µ An ∩ Am
n=1m=1
0 0
k X
k k X
k
X 0 X 0 0
= an µ An ∩ Am + am µ An ∩ Am .
n=1m=1 n=1m=1
Debido a que
0
k k
[ [ 0
X= An = An
n=1 n=1
tenemos que
k0
X 0
µ (An ) = µ An ∩ Am
m=1
10.1. LA INTEGRAL DE FUNCIONES MEDIBLES 134
y
k
0 X
0
µ Am = µ An ∩ Am
n=1
n 0
o
para todo m ∈ 1, 2, ..., k y n ∈ {1, 2, ..., k}, sustituyendo en (10.1.1) obtenemos
que
ˆ k k 0
0
X X 0
φ + ψdµ = an µ (An ) + am µ Am
n=1 m=1
ˆ ˆ
= φdµ + ψdµ.
´
Es inmediato que χE dµ = µ (E) .
De lo anterior es inmediato probar el siguiente resultado, (usando la linealidad
de la integral)
k
P
Ejercicio 238. Sea φ= an χAn medible, donde las An no son disjuntas,
n=1
entonces
ˆ k
X
φdµ = an µ (An ) .
n=1
k
Sea f = an χAn simple, medible y no negativa, entonces
P
Proposición 240.
n=1
k
X ˆ
an µ (An ) = sup φdµ : φ ∈ S (f ) .
n=1
0
k
X 0
φ= a n χA0n
n=1
0 0
como φ≤f entonces am ≤ an si Am ∩ An 6= ∅, por lo que
0
0 0
am µ Am ∩ An ≤ an µ Am ∩ An ,
y
X 0
φ= an χA0m ∩An .
m,n
por tanto
ˆ ˆ
lim fn dµ ≤ f dµ.
n→∞
Denamos
An := {x ∈ X : fn (x) ≥ aφ (x)} ,
S
por lo que X = An y An ⊂ An+1 , nuevamente usando la monotonía de la
n∈N
integral y la linealidad de la integral en funciones simples obtenemos que
ˆ ˆ
aφdµ = aφχAn dµ
An
ˆ
= a φχAn dµ
ˆ
≤ fn dµ
An
ˆ
≤ fn dµ.
= ψχE dµ
ˆ X
k
= an χBn ∩E dµ
n=1
k
X
= an µ (Bn ∩ E)
n=1
k
X
= an µn (E) ,
n=1
donde µn (E) = µ (Bn ∩ E), entonces µ0 es combinación lineal de medidas, por tanto
es una medida. Por lo anterior, usando que la sucesión An es creciente obtenemos
que
ˆ ˆ
aφdµ = a φdµ
= aµ0 (X)
0
=a lim µ (An )
n→∞
ˆ
= lim a φdµ
n→∞ An
ˆ
= lim aφdµ
n→∞ An
ˆ
≤ lim fn dµ.
n→∞
Lo anterior es valido para todo a ∈ (0, 1), por tanto
ˆ ˆ
φdµ ≤ lim fn dµ.
n→∞
Concluimos que
ˆ ˆ
f dµ ≤ lim fn dµ.
n→∞
Una consecuencia importante de este teorema es la linealidad de la integral.
0 ≤ ψn ≤ ψn+1 ≤ g,
0 ≤ ψn + φn ≤ ψn+1 + φn+1 ≤ f + g,
y
ˆ ˆ
f + gdµ = lim φn + ψn dµ
n→∞
ˆ ˆ
= lim φn dµ + ψn dµ
n→∞
ˆ ˆ
= f dµ + gdµ.
´ ´
Además gn ≤ fr , por lo que gn dµ ≤ fr dµ para todo r ≥ n, por tanto
ˆ ˆ
lim fn dµ = lim gn dµ
n→∞ n→∞
ˆ
≤ lim fr dµ : r ≥ n
inf
n→∞
ˆ
= sup inf fr dµ : r ≥ n
n≥0
ˆ
= lim fn dµ.
n→∞
ˆ
0
µ (E) = f dµ,
E
ˆ ˆ
µ0 (∅) = f dµ = 0dµ = 0.
∅
n
X
fn = f χAk
k=1
10.2. TEOREMA DE CONVERGENCIA MONÓTONA Y LEMA DE FATOU 140
= fχ S
An dµ
n∈N
ˆ X
∞
= f χAk dµ
k=1
ˆ n
X
= lim f χAk dµ
n→∞
k=1
ˆ
= lim fn dµ
n→∞
ˆ
= lim fn dµ
n→∞
n ˆ
X
= lim f χAk dµ
n→∞
k=1
∞ ˆ
X
= f dµ
k=1 Ak
X∞
= µ0 (Ak ) .
k=1
0
Con lo que concluimos que µ es una medida.
El siguiente resultado es importante, ya que caracteriza a las funciones no
negativas que tienen integral nula.
´
Corolario 247. Sea f ∈ M + (X, A), entonces f = 0 a.e. si y solo si f dµ =
0.
Demostración. ⇒) Supongamos que f = 0 a.e., entonces A := {x ∈ X : f (x) > 0}
tiene medida cero, denamos fn = nχA , por lo que
lim fn = ∞χA ≥ f,
n→∞
´
⇐) Supongamos que f dµ = 0, denamos el conjunto
1
An := x ∈ X : f (x) ≥ ,
n
1
por lo que f≥ n χAn , nuevamente usando monotonía de la integral
ˆ
0= f dµ
ˆ
1
≥ χA dµ
n n
1
= µ (An )
n
≥ 0,
S
en consecuencia µ (An ) = 0, lo que implica que µ An = 0. Es claro que
n∈N
[
An = {x ∈ X : f (x) > 0} .
n∈N
y por tanto
ˆ ˆ
lim fn dµ = lim fn (χN + χN c ) dµ
n→∞ n→∞
ˆ ˆ
= lim fn χN dµ + fn χN c d
n→∞
ˆ ˆ
= lim fn χN dµ + lim fn χN c dµ
n→∞ n→∞
ˆ
= f χN c dµ + 0
ˆ ˆ
= f χN c dµ + f χN dµ
ˆ
= f dµ.
χA = χB + χA\B ,
de lo que se sigue que para toda f ∈ M + (X, A)
ˆ ˆ
f dµ = f χA dµ
A
ˆ
= f χB + χA\B dµ
ˆ ˆ
= f χB dµ + f χA\B dµ
ˆ ˆ
= f dµ + f dµ.
B A\B
´ ´
Proposición 253. Si f ∈ M (X, A), f1 , f2 ∈ M + (X, A), f1 dµ < ∞, f2 dµ <
∞ y f = f1 − f2 entonces
ˆ ˆ ˆ
f dµ = f1 dµ − f2 dµ.
Demostración. Como
f + − f − = f = f1 − f2
entonces
f + + f2 = f1 + f − ∈ M + (X, A) ,
por linealidad de integrales de funciones medibles no negativas obtenemos que
ˆ ˆ ˆ
+
f + + f2 dµ
f dµ + f2 dµ =
ˆ
f1 + f − dµ
=
ˆ ˆ
= f1 dµ + f − dµ
y por tanto
ˆ ˆ ˆ
f dµ = f + dµ − f − dµ
ˆ ˆ
= f1 dµ − f2 dµ.
cf = c f + − f −
= cf + − cf −
ˆ ˆ
+
cf dµ = c f + dµ <∞
ˆ ˆ
cf − dµ = c f − dµ <∞
ˆ ˆ ˆ
cf dµ = cf dµ − cf − dµ
+
ˆ ˆ
=c f + dµ − f − dµ
ˆ
= c f dµ.
cf = c f + − f −
= cf + − cf −
= −cf − − −cf + ,
±
(f + g) ≤ |f + g|
≤ |f | + |g|
≤ f + + f − + g+ + g−
y por tanto
ˆ ˆ
±
(f + g) dµ ≤ f + + f − + g + + g − dµ < ∞.
10.3. INTEGRAL DE FUNCIONES NO POSITIVAS Y TEOREMA DE CONVERGENCIA DOMINADA DE LEBESGUE
145
ˆ ˆ
f + − f − + g + − g − dµ
f + gdµ =
ˆ
f + + g + − f − + g − dµ
=
ˆ ˆ
+ +
f − + g − dµ
= f + g dµ −
ˆ ˆ ˆ ˆ
= f + dµ + g + dµ − f − dµ + g − dµ
ˆ ˆ ˆ ˆ
= f dµ − f dµ + g dµ − g − dµ
+ − +
ˆ ˆ
= f dµ + gdµ.
Veamos ahora otra propiedad, que en parte ya esta demostrada cuando estudi-
amos las funciones medibles.
|f | = f + + f − ,
ˆ ˆ ˆ
|f | dµ = +
f dµ + f − dµ < ∞.
ˆ ˆ
+
|f | dµ = |f | dµ
ˆ ˆ
= f + dµ + f − dµ
<∞
´ ´
y por tanto f + dµ, f − dµ < ∞, además por ser f medible, lo es f+ y f −.
Concluimos que f es integrable.
10.3. INTEGRAL DE FUNCIONES NO POSITIVAS Y TEOREMA DE CONVERGENCIA DOMINADA DE LEBESGUE
146
ˆ ˆ
= f + dµ + f − dµ
ˆ
= |f | dµ.
Un corolario importante, inmediato y muy de la proposición anterior es el sigu-
iente.
´ ´
´ De la misma forma se demuestra que g − f dµ ≤ 0 y por tanto f dµ =
gdµ.
Con lo anterior estamos listos para mostrar el tercer teorema importante de
convergencia.
fn + g ≥ 0,
podemos aplicar el Lema de Fatou, por lo que obtenemos que
ˆ ˆ ˆ
f dµ + gdµ = f + gdµ
ˆ
= lim (fn + g) dµ
n→∞
ˆ
≤ lim (fn + g) dµ
n→∞
ˆ ˆ
= lim fn dµ + gdµ
n→∞
´ ´
y por tanto f dµ ≤ lim fn dµ.
n→∞
Usando nuevamente el Lema de Fatou en g −fn ≥ 0 y que − lim an =− lim an
n→∞ n→∞
(se le deja de ejercicio al lector) concluimos que
ˆ ˆ ˆ
gdµ − f dµ = g − f dµ
ˆ
= lim (g − fn ) dµ
n→∞
ˆ
≤ lim (g − fn ) dµ
n→∞
ˆ ˆ
= lim −fn dµ + gdµ
n→∞
ˆ ˆ
= − lim fn dµ + gdµ
n→∞
´ ´
y por tanto f dµ ≥ lim fn dµ, con lo que demostramos que
n→∞
ˆ ˆ
f dµ = lim fn dµ.
n→∞
10.4. RELACIÓN ENTRE INTEGRAL DE RIEMANN E INTEGRAL DE LEBESGUE 148
−1
fN c ((a, b)) ∩ N c = U ∩ N c .
Por tanto, si para todo x ∈ (a, ∞) tomamos un intervalo Ix ⊂ (a, ∞) tal que x ∈ Ix
y denotamos por Ux es abierto enR tal que
−1 c
fN c (Ix ) ∩ N = Ux ∩ N c ,
entonces
[
−1 c −1 c
fN c ((a, ∞)) ∩ N = fN c (Ix ) ∩ N
x∈(a,∞)
[
= Ux ∩ N c
x∈(a,∞)
Denamos
f (x)x ∈ N c
f0 =
0x ∈ N,
por lo que fN c = f0N c y por tanto
[
−1 −1
f0N c ((a, ∞)) =
Ux ∩ N c ∪ f0N c ({0})
x∈(a,∞)
10.4. RELACIÓN ENTRE INTEGRAL DE RIEMANN E INTEGRAL DE LEBESGUE 149
! !
c
∩ N c ∪ {0}
S S
que es Ux ∩N o Ux en ambos casos ontenemos
x∈(a,∞) x∈(a,∞)
un conjunto Lebsgue medible, por lo que f0 es Lebsgue medible, además f0 =
f casi dondequera y por tanto |f − f0 | es integrable (tiene integral cero) por el
Corolario ?? sabemos que f − f0 es integrable y por tanto medible, lo que implica
que (f − f0 ) + f0 = f es medible.
Teorema 260. (El Teorema de Lebesgue) Para f : [a, b] −→ R y δ > 0 sea
gδ (t) = inf {f (x) : x ∈ (t − δ, t + δ) ∩ [a, b]}
y sea
hδ (t) = sup {f (x) : x ∈ (t − δ, t + δ) ∩ [a, b]} ,
denamos la envoltura superior de f y la envoltura inferior de f como:
g (t) = lim+ gδ (t)
δ→0
y
h (t) = lim hδ (t) .
δ→0+
Entonces:1) g y h son borel medibles,
2) g ≤ f ≤ h y g (t) = f (t) = h (t) si y solo si f es continua en t.
3) Si f es acotada y no negativa entonces
ˆ b ˆ
R f (x) dx = gdλ
a [a,b]
y
ˆ b ˆ
R f (x) dx = hdλ.
a [a,b]
4) f es integrable si y solo si es continua casi donde quiera.
5) Si f es Riemann integrable entonces
ˆ b ˆ
R f (x) dx = f dλ.
a [a,b]
que es un boreliano. Análogamente se demuestra que que h−1 ((−∞, a)) es boreliano
y por tanto g, h son Borel medibles.
10.4. RELACIÓN ENTRE INTEGRAL DE RIEMANN E INTEGRAL DE LEBESGUE 150
y
(
f (z) : z ∈ tni , tni+1 si x ∈ tni , tni+1
sup
En (x) :=
h (tni ) si x = tni p.a.i ∈ {0, 1, 2, ..., kn − 1} .
Claramente las funciones en y En son medibles (por ser simples), veamos que
en converge a g de manera creciente. Por ser Pn+1 renamiento de Pn y por la
denición de g es fácil ver que en es una sucesión creciente (se deja esto al lector),
ahora veamos la convergencia. Sea t ∈ [a, b], si t es un punto de alguna partición,
entonces es inmediato (por denición) que lim en (t) = g (t) ya que la sucesión se
n→∞
estaciona en g (t) (Por ser Pn+1 renamiento de Pn ). Supongamos entonces que t
jamas es un punto de ni una partición Pn .
Sea δ > 0, entonces existe N ∈ N tal que si l > N , kPl k < δ, sea i ∈
{0, 1, 2, ..., kl − 1} tal que
t ∈ tli , tli+1 ,
entonces tli+1 − tli ≤ kPl k < δ y por tanto tli , tli+1 ⊂ (t − δ, t + δ), con lo que se
tiene que
es decir el (t) ≥ gδ (t), es inmediato que se puede encontrar δ0 tan pequeña que
(t − δ 0 , t + δ 0 ) ⊂ tli , tli+1
y por tanto
Observemos que
ˆ n −1
kX
f (z) : z ∈ tlr , tlr+1 tlr+1 − tli
en dλ = inf
r=1
y
ˆ n −1
kX
f (z) : z ∈ tlr , tlr+1 tlr+1 − tli ,
En dλ = sup
r=0
10.4. RELACIÓN ENTRE INTEGRAL DE RIEMANN E INTEGRAL DE LEBESGUE 152
si y solo si h−g =0 casi donde quiera, si y solo si h=g casi donde quiera, por 2)
esto es equivalente a que f es continua casi donde quiera.
5) Sea f Riemann integrable, entonces es continua casi donde quiera, por el
último Lema, f es medible y por 2) g = h a.e., por lo que
ˆ ˆ ˆ
gdλ ≤ f dλ ≤ hdλ
[a,b] [a,b] [a,b]
y por tanto
ˆ ˆ ˆ b ˆ b
f dλ = gdλ = R f (x) dx = R f (x) dx.
[a,b] [a,b] a a
Capítulo 11
1
por lo que dijimos ya, toda g ∈ [f ] ∈ L (X, A, µ) es integrable.
153
11.1. DEFINICIÓN DE LOS ESPACIOS Lp 154
< ∞.
Con lo anterior tenemos que la suma esta bien denida, claramente si c∈R
entonces [cf ] ∈ Lp (X, A, µ).
Para el caso p = ∞, tomemos dos conjuntos de medida cero N1 , N2 tales que
f χN c ≤ M1
1
y
gχN c ≤ M2 .
2
Por lo anterior,
(f + g) χ(N1c ∪N2c ) = f χ(N1c ∪N2c ) + gχ(N1c ∪N2c )
≤ f χ(N c ∪N c ) + gχ(N c ∪N c )
1 2 1 2
≤ f χN c + gχN c
1 2
≤ M1 + M2 .
Con lo anterior tenemos que f +g es acotada a.e.. Con lo anterior tenemos que la
suma esta bien denida, claramente si c∈R entonces [cf ] ∈ L∞ (X, A, µ).
11.1. DEFINICIÓN DE LOS ESPACIOS Lp 155
ˆ
p
kf kp = |f | dµ
1 p 1 q
ab ≤ a + b .
p q
kf gk1 ≤ kf kp kgkq .
|f |
∈ Lp (X, A, µ)
kf kp
|g|
∈ Lq (X, A, µ) .
kgkq
ˆ ˆ !p !q
|f g| 1 |f | 1 |g|
dµ ≤ + dµ < ∞
kf kp kgkq p kf kp q kgkq
11.1. DEFINICIÓN DE LOS ESPACIOS Lp 156
= M kf k1 ,
es decir kf gk1 ≤ M kf k1 para todo M cota a.e. de g, por tanto
kf gk1 ≤ kf k1 kgk∞ .
Antes de continuar, se dejara un ejercicio.
p
además si q= 1
p−1 entonces p = p1 + p−1
+ 1
q p =1 y
ˆ q ˆ
p−1 p
|f + g| dµ = |f + g| dµ < ∞
p−1
por lo que |f + g| ∈ Lq (X, A, µ) y por la desigualdad de Hölder
ˆ ˆ p−1
p
p−1 p
|f | |f + g| dµ ≤ kf kp |f + g| dµ
p−1
= kf kp kf + gkp ,
p−1
obtenemos una desigualdad análoga para |g| |f + g| y por tanto
ˆ
p p
kf + gkp = |f + g| dµ
ˆ
p−1 p−1
≤ |f | |f + g|
+ |g| |f + g| dµ
ˆ ˆ
p−1 p−1
= |f | |f + g| dµ + |g| |f + g| dµ
p−1 p−1
≤ kf kp kf + gkp + kgkp kf + gkp
p−1
= kf kp + kgkp kf + gkp
y por tanto
kf + gkp ≤ kf kp + kgkp .
Falta demostrar el caso p = ∞, Por el ejercicio anterior |f | ≤ kf k∞ y |g| ≤ kgk∞
a.e., con lo que obtenemos que
|f + g| ≤ |f | + |g| ≤ kf k∞ + kgk∞
a.e., y por denición kf + gk∞ ≤ kf k∞ + kgk∞ .
Con lo anterior es inmediato demostrar que la función k_kp es una norma.
Teorema 269. El espacio Lp (X, A, µ) , k_kp para 1 ≤ p ≤ ∞ es un espacio
normado.
Demostración. Por lo ya demostrado Lp (X, A, µ) es un espacio vectorial.
Veamos que k_kp es una norma, claramente kf kp ≥ 0.
q
´ p
Caso 1 ≤ p < ∞. n1) Sea f ∈ L (X, A, µ), kf kp = 0 si y solo si |f | dµ = 0
p
si y solo si |f | = 0 a.e. si y solo si f = 0 a.e. si y solo si f ∈ [0].
n2) Es inmediata debido a la linealidad de la integral (kcf kp = |c| kf kp ).
n3) Es la desigualdad de Minkowski.
∞
Caso p = ∞. n1) Sea f ∈ L (X, A, µ), kf k∞ = 0 si y solo si 0 es una cota
casi donde quiera, si y solo si |f | = 0 a.e. si y solo si f ∈ [0].
p
Observemos que si f ∈ L (X, A, µ) para 1 ≤ p ≤ ∞ entonces el conjunto
E := {x ∈ X |: f (x)| = ∞} tiene medida cero, es inmediato para el caso p = ∞.
Para el caso 1 ≤ p < ∞ tenemos que
ˆ ˆ
p p
|f | dµ ≥ |f | dµ
E
= ∞µ (E)
11.2. TEOREMAS DE COMPLETUD 158
f : X −→ R,
ˆ p1
p
(11.2.1) kfr − fs kp = |fr − fs | dµ ≤ .
por tanto existe una subsucesión de (fn ) (la cual denotaremos por (gn )) tal que
1
kgn − gn+1 kp ≤ .
2n
Para todo n∈N (Ejercicio, demostrar que lo anterior siempre se puede hacer para
sucesiones de Cauchy). Denimos
∞
X
g = |g1 | + |gk+1 − gk |
k=1
ˆ ˆ n
X
!p
g p dµ ≤ lim |g1 | + |gk+1 − gk | dµ.
n→∞
k=1
11.2. TEOREMAS DE COMPLETUD 159
ˆ p1
p
kgkp = g dµ
ˆ n
X
!p ! p1
≤ lim |g1 | + |gk+1 − gk | dµ
n→∞
k=1
n
X
= lim
|g1 | + |gk+1 − gk |
n→∞
k=1 p
X n
≤ lim kg1 kp +
|gk+1 − gk |
n→∞
k=1 p
n
X
= kg1 kp + lim
|gk+1 − gk |
n→∞
k=1 p
n
X
≤ kg1 kp + lim kgk+1 − gk kp
n→∞
k=1
n
X 1
≤ kg1 kp + lim
n→∞ 2k
k=1
= kg1 kp + 2
n−1
X
|g| ≥ |g1 | + |gk+1 − gk |
k=1
n−1
X
≥ |g1 | + |gk+1 | − |gk |
k=1
= |gn | ,
y
p p
|f − gk | ≤ (2max {|f | , |gk |})
p p
≤ 2p (|f | + |gk | )
p p
≤ 2p (|g| + |g| )
p
< 2p+1 |g| ,
usando el Teorema de convergencia dominada de Lebesgue llegamos a que
ˆ ˆ
p p
0= |f − g| dµ = lim |f − gn | dµ
n→∞
11.2. TEOREMAS DE COMPLETUD 160
por lo que
0= lim kf − gn kp .
n→∞
Por la Ecuación (11.2.1) y la desigualdad del triangulo sabemos que existe un
momento M ∈N tal que si k>M n es sucientemente grande
y
ˆ p1
p
kfk − gn kp = |fk − gn | dµ ≤
(x)x ∈
(
lim fn /N
f (x) := n→∞
0x ∈ N,
las funciones fn convergen uniformemente a.e. a f, entonces para =1 sabemos
que existe k ∈ N tal que
|f (x) − fk (x)| ≤ kf − fk k∞ < 1
en consecuencia
a.e., y por tanto f es acotada a.e., es decir f ∈ L∞ (X, A, µ) y por ser convergencia
uniforme a.e. llegamos a que
lim kf − fn k∞ = 0.
n→∞
Teorema 272. Sea (X, A, µ) un espacio de medida tal que µ (X) < ∞, si
(fn ) es una sucesión en Lp (X, A, µ)
que converge uniformemente
a f , entonces
f ∈ Lp (X, A, µ) y (fn ) converge en Lp (X, A, µ) , k_kp a f.
Demostración. La prueba es inmediata ya que por la convergencia uniforme
tenemos que f es medible y por tanto
ˆ ˆ
p p
|fn − f | dµ ≤ kfn − f k∞ dµ
p
= kfn − f k∞ µ (X) ,
que tiende a cero cuando n tiende a innito.
Ejemplo 273. Dar un contraejemplo que que el teorema anterior es falso cam-
biando la hipótesis de convergencia uniforme por convergencia puntual.
Lp (X, A, µ) , k_kp a f .
p
Demostración. Es inmediato que |f | ≤ g p a.e., como g ∈ Lp (X, A, µ), se
p
sigue que f ∈ L (X, A, µ), además
p p p
|fn − f | ≤ 2p (|fn | + |f | )
p
≤ 2p+1 |g|
p
que es integrable, por lo que |fn − f | es integrable y por el Teorema de convergencia
dominada de Lebesgue concluimos que
ˆ ˆ
p p
lim |fn − f | dµ = lim |fn − f | dµ
n→∞ n→∞
ˆ
= 0dµ
=0
11.3. TIPOS DE CONVERGENCIA, EN Lp Y EN MEDIDA 162
y por tanto (fn ) converge en Lp (X, A, µ) , k_kp a f.
1
Ejemplo 275. Defínase inductivamente los conjuntos
1 1 1 2 A1 := [0, 1], A2 := 0, 2 ,
A3 := 2 , 1 , A4 := 0, 4 , A5 := 4 , 4 ,..., sea la función fn = χAn , demuestra que
p
las funciones ,fn convergen en L (X, A, µ), pero no convergen a ni una función a.e..
Ahora deniremos un dos nuevos tipos de convergencia.
Definición 276. Sea (fn ) una sucesión de funciones medible, (fn ) convergen
en medida a la función medible f si
Por la denición de E,
1
µ (E) ≤ µ (Ek ) <
k
para todo k ∈ N, por tanto µ (E) = 0, además si x ∈ / E , entonces x ∈
/ Ek para
algun k ∈ N y tenemos la convergencia de fn (x) en f (x), lo que demuestra la
c
convergencia en E y por tanto la convergencia a.e..
11.3. TIPOS DE CONVERGENCIA, EN Lp Y EN MEDIDA 164
Proposición 282. Sea (fn ) una sucesión que converge casi uniformemente a
f , entonces converge en medida a f
Demostración. Sea > 0, sabemos que existe un conjunto M ∈ A tal que
µ (M ) < y la convergencia en M c es uniforme, es decir que existe un momento
N ∈ N tal que si k > N , |fk (x) − f (x)| < si x ∈ M c . Por lo que
{x ∈ X : |fn (x) − f (x)| > } ⊂ M
y por tanto
Demostración. Sea
Con lo anterior obtenemos que la sucesión (gn (x)) es de Cauchy para todo
x∈
/ B, denamos la función
(
lim gn (x)x ∈
/B
f (x) := n→∞
0x ∈ B.
Observemos que para x∈
/ Bk s > k obtenemos que
y
|f (x) − gs (x)| = lim gn (x) − gs (x)
n→∞
= lim |gn (x) − gs (x)|
n→∞
1
< ,
2s−1
1
lo que es convergencia uniforme fuera de Bk , 2k−1
pero µ (Bk ) ≤
, es decir tenemos
convergencia casi uniforme (y por tanto a.e.), ahora veamos que esta convergencia
también es en medida.
11.3. TIPOS DE CONVERGENCIA, EN Lp Y EN MEDIDA 166
1
α, > 0, seleccionamos k
Sean natural tal que
2k
< min (α, ) . Sea j ≥ k
observemos que si x ∈ X es tal que
|f (x) − gj (x)| ≥ α
entonces
1
|f (x) − gj (x)| >
2k
usando la desigualdad del triangulo obtenemos que
1
|f (x) − gk (x)| + |gk (x) − gj (x)| >
2k
despejando y usando las desigualdades previas llegamos a que
1 1 1 1
|gk (x) − gj (x)| > − |f (x) − gk (x)| ≥ k − k−1 = k−1
2k 2 2 2
y por tanto
1
µ ({x ∈ X : |f (x) − gj (x)| ≥ α}) ≤ µ (Bk−1 ) ≤ <
2k−1
para j≥k y por tanto obtenemos la convergencia en medida.
1
para todo por α > 0, por lo que (intercambiando α por
n y uniendo conjuntos de
medida cero) concluimos que
kf − gn kp >
para tono n ∈ N, pero sabemos que (gn ) (gnk ) que converge
tiene una subsucesión
en medida y a.e. a una función h, f = g a.e., por lo que (gnk )
es inmediato ver que
p
converge a f a.e. y por ser dominadas, estas convergen en L (X, A, µ) a f, lo que
es contradictorio con que kf − gn kp > para todo n ∈ N. Por tanto las funciones
(fn ) convergen en Lp (X, A, µ) a f .
Con lo anterior podemos resumir lo visto con tres tablas en la que a.e. es
convergencia casi donde quiera, Lp convergencia en Lp (X, A, µ), a.u. convergencia
uniforme y m en medida y en la esquina superior izquierda pondremos que hipótesis
se supone, las columnas y lineas serán etiquetadas por los distintos tipos de conver-
gencia si ponemos en la la x columna y signica que la convergencia x implica que
una subsucesión converge en y, si ponemos en la la x y la columna y signica
que la convergencia x implica la convergencia y.
a.e. a.u. m Lp
a.e. ×
a.u. ×
m ×
Lp ×
µ (X) < ∞ a.e. a.u. m Lp
a.e. ×
a.u. ×
m ×
Lp ×
p
|fn | ≤ g ∈ L a.e. a.u. m Lp
a.e. ×
a.u. ×
m ×
Lp ×
Capítulo 12
Cargas
Definición 290. Sea un espacio medible (X, A) una carga es una función
ϑ : A −→ R tal que
c1) ϑ (∅) = 0,
c2) No existen A, B ∈ A tales que ϑ (A) = ∞ y ϑ (B) = −∞,
c3) Si An ∈ A para todo n ∈ N y Ai ∩ Aj = ∅ para todo j 6= i entonces
[ X∞
ϑ An =
ϑ (An ) .
n≥1 n=1
Sea f ∈ L1 (X, A, µ), tal que f cambia de signo, entonces denimos para todo
E∈A ˆ ˆ ˆ
ϑ (E) := f dµ = f + dµ − f − dµ,
E E E
por se ϑ una diferencia de medidas es una carga, se deja al lector observar que
P := f −1 (0, ∞], N := f −1 [−∞, 0) y O := f −1 {0} son respectivamente positivo,
negativo y nulo.
ϑ (F ) = ϑ (E ∪ F \ E) = ϑ (E) + ϑ (F \ E) ,
como|ϑ (F )| <∞ tenemos que ϑ (E) , ϑ (F \ E) ∈ R y por tanto
ϑ (F \ E) = ϑ (F ) − ϑ (E) .
168
12.1. DESCOMPOSICIÓN DE HANH 169
α= lim ϑ (An ) .
n→∞
12.1. DESCOMPOSICIÓN DE HANH 170
S
Por la proposición anterior N := An es negativo, por denición de α, α ≤
n∈N
ϑ (N ), pero An ⊂ N por lo que
ϑ (N ) = ϑ (N \ An ) + ϑ (An ) ≤ ϑ (An )
ya que N \ An es negativo por ser subconjunto de un conjunto negativo, con esto
ϑ (N ) ≤ α y por tanto ϑ (N ) = α.
llegamos a que
c
Demostraremos que P := N es positivo. Supongamos que no, Entonces existe
E ⊂ P tal que ϑ (E) < 0, claramente E no es negativo, ya que de ser lo, N ∪ E
sería negativo y
ϑ (N ∪ E) = ϑ (N ) + ϑ (E) < ϑ (B) = α
lo que es contradictorio con la denición de α. Sea k1 el menor natural tal que existe
E1 ⊂ E , E1 ∈ A y ϑ (E1 ) ≥ k11 , además estamos suponiendo que −∞ < ϑ (E) < 0
por lo que 0 < |ϑ (E)| < ∞ usando la Proposición 292 tenemos que |ϑ (E1 )| < ∞ y
en consecuencia
1
ϑ (E \ E1 ) = ϑ (E) − ϑ (E1 ) ≤ ϑ (E) − < 0.
k1
Repitiendo los argumentos para E obtenemos que E \ E1 no es negativo, den-
imos el natural k2 como el menor natural tal que existe E2 ⊂ E \ E1 , E2 ∈ A y
ϑ (E2 ) ≥ k12 , inductivamente construimos conjuntos En contenidos en E , ajenos
1 1
tales que ϑ (En ) ≥
kn para n ∈ {1, 2, ..., s}, donde kn es el menor natural tal que
n
Er contiene un subconjunto de medida mayor o igual que k1n .
S
E\
r=1
Por la aditividad de la carga obtenemos que
∞ ∞
!
X 1 X [
≤ ϑ (En ) = ϑ En < ∞
k
n=1 n n=1 n∈N
S
la ultima desigualdad se debe que En ⊂ E y |ϑ (E)| < ∞.
S n∈N
Deamos B := E \ En , observemos que
n∈N
! !
[ [
ϑ (B) = ϑ E \ En = ϑ (E) − ϑ En ≤ ϑ (E) < 0,
n∈N n∈N
A := {x ∈ X : f (x) = 0}
.
ϑ (P ) = ϑ (P ∩ P ) = 0 = ϑ (P c ∩ P ) = ϑ− (P ) .
+ c c
Como ϑ no puede valer innito y menos innito para dos conjuntos medibles,
se sigue que ϑ+ o ϑ− es nita. Por último observemos que para E ∈ A,
c
ϑ (E) = ϑ ((P ∩ E) ∪ (P ∩ E))
= ϑ (P ∩ E) + ϑ (P c ∩ E)
= ϑ+ (E) − ϑ− (E) .
Con lo anterior terminamos la prueba.
Observemos que no existe un regreso para el teorema de Jordan, uno puede
tomar cualesquiera dos medidas µ1 y µ2 que no sean singulares y su resta es una
carga. Por otro lado veamos que la descomposición de Jordan no depende de la
selección de la descomposición de Hanh. Sean P1 , P2 dos conjuntos obtenidos a
partir de la descomposición de Hanh, entonces sabemos que P1 ∆P2 es nulo, por lo
que
ϑ (P1 ∩ E) = ϑ (P1 ∩ E) + ϑ (E ∩ (P2 \ P1 ))
= ϑ (E ∩ (P2 ∪ P1 ))
= ϑ (P2 ∩ E) + ϑ (E ∩ (P1 \ P2 ))
= ϑ (P2 ∩ E) ,
de manera análoga se demuestra que
ϑ (P1c ∩ E) = ϑ (P2c ∩ E) .
Ejemplo 301. Sea un espacio de medida (X, A, µ) y una función f medible,
entonces la descomposición de Jordan para
ˆ
ϑ (E) := f dµ
E
son ˆ
µ1 (E) := f + dµ
E
y
ˆ
µ2 (E) := f dµ.
E
Lema 302. Sean µ1 y µ2 dos medidas nitas en es espacio medible (X, A),
entonces µ1 µ2 si y solo si para toda > 0 existe δ > 0 tal que si E ∈ A y
µ2 (E) < δ entonces µ1 (E) < .
12.3. EL TEOREMA DE RADON-NIKODÝM 173
Demostración. ⇐) Supongamos que para toda > 0 existe δ > 0 tal que si
E ∈ A y µ2 (E) < δ entonces µ1 (E) < . si µ2 (E) = 0, entonces µ1 (E) < para
toda > 0, es decir µ1 (E) = 0, por tanto µ1 µ2 .
1
⇒) Supongamos que existe > 0 tal que S existe En medible, µ2 (E) < n y
2
µ1 (En ) > para todo n ∈ N, denimos Fn := Ek , entonces
k≥n
∞
X 1
µ2 (Fn ) ≤ µ2 (Ek ) =
2n−1
k=n
∞
!
\
µ2 Fk = lim µ2 (Fn ) = 0
n→∞
k=1
y
∞
!
\
µ2 Fk = lim µ2 (Fn ) ≥ .
n→∞
k=1
por lo que µ2 no es absolutamente continua con respecto a µ1 , por contrapositiva
terminamos la demostración.
A1 = N (r)
e inductivamente
k
[
Ak+1 := N ((k + 1) r) \ An .
n=1
Es claro que los conjuntos Ak con k natural son disjuntos por pares y Ak ⊂
N (kr), además
k
[ k
[
N (nr) = An ,
n=1 n=1
por lo anterior se sigue que
k
[ k
\
Ak = N (kr) \ N (nr) = N (kr) ∩ P (nr) ,
n=1 n=1
12.3. EL TEOREMA DE RADON-NIKODÝM 174
∞
!c ∞
!c ∞
[ [ \
F := An = N (nr) = P (nr) ,
n=1 n=1 n=1
0 ≤ nrµ2 (F ) ≤ µ1 (F ) ≤ µ1 (X)
para todo n ∈ N, con lo que concluimos que µ2 (F ) = 0. Por hipótesis sabemos que
µ1 µ2 , entonces µ1 (F ) = 0.
Consideremos la función
∞
X
fr (x) := (k − 1) rχAk
n=1
que es el límite puntual de funciones medibles, por lo que es medible, además usando
(12.3.1) obtenemos que para todo conjunto E medible
ˆ ˆ
fr dµ2 = ∞
S
fr dµ2
E (F ∩E)∩ An ∩E
n=1
∞ ˆ
X
= fr dµ2
n=1 An ∩E
X∞
= (k − 1) µ2 (An ∩ E)
n=1
X∞
≤ µ1 (An ∩ E)
n=1
= µ1 (E)
∞
X
= µ1 (An ∩ E)
n=1
X∞
≤ kµ2 (An ∩ E)
n=1
X∞ ˆ
= (fr + 1r) dµ2
n=1 An ∩E
ˆ
= ∞
S
(fr + 1r) dµ2
(F ∩E)∩ An ∩E
n=1
ˆ
= (fr + 1r) dµ2
ˆE
= fr dµ2 + rµ2 (E) .
12.3. EL TEOREMA DE RADON-NIKODÝM 175
Denamos la función gn := f2−n para todo n ∈ N, por tanto para todo conjunto
E medible ˆ ˆ
gn dµ2 ≤ µ1 (E) ≤ gm + 2−m µ2 (X)
E E
paro todo m, n naturales, por lo que obtenemos que
ˆ ˆ
gn dµ2 ≤ µ1 (E) ≤ gm dµ2 + 2−m µ2 (X)
E E
y
ˆ ˆ
gm dµ2 ≤ µ1 (E) ≤ gn dµ2 + 2−n µ2 (X)
E E
si suponemos que m≥n restando las desigualdades anteriores concluimos que
ˆ
gm − gn dµ2 ≤ 2−n µ2 (X)
E
≤ |gn − f | dµ2
por lo que
ˆ ˆ
lim gn dµ2 = f dµ2
n→∞ E E
≤ µ1 (E)
ˆ
≤ lim gn dµ2 + 2−n µ2 (X)
n→∞
ˆ E
= f dµ2
E
es decir ˆ
µ1 (E) = f dµ2
E
para todo conjunto E medible. ´
La unicidad def es inmediata usando el resultado de que
E
hdµ2 es cero y h
no negativa en E implica que h es cero a.e. en E.
Ahora veamos el caso donde µ1 y µ2 son σ -nitas. Sea Dn ⊂ Dn+1 ⊂ X
medibles para todo n natural tales que
y
∞
[
X= Dn ,
n=1
(se deja al lector comprobar que se puede tomar esta familia Dn ), aplicamos el
caso nito para cada Dn , es decir existe una función fn tal que para todo conjunto
medible E ⊂ Dn ˆ
µ1 (E) = fn dµ2 ,
E
por la unicidad a.e. y fn es cero fuera de Dn , tenemos que fn+1 = fn a.e. en Dn ,
bajo un cambio de las funciones fn a.e., podemos suponer que fn = fn+1 en Dn .
Por lo anterior las funciones fn son monótonas crecientes, por lo que se puede usar
el teorema de convergencia monótona, si f = lim fn entonces
n→∞
ˆ ˆ
f dµ2 = lim fn dµ2
E n→∞ E
= lim µ1 (E ∩ Dn )
n→∞
∞
!
[
= µ1 (Dn ∩ E)
n=1
= µ1 (E) .
La unicidad es el mismo argumento que en el caso nito.
y ˆ
µ2 (E) = gdv,
E
para todo conjunto E medible.
Denamos los conjunto A := g −1 ({0}) y B := g −1 ((0, ∞)), construimos las
medidas λ1 y λ2 tales que
λ1 (E) = µ1 (E ∩ A)
y
λ2 (E) = µ1 (E ∩ B) .
Observemos primero que
λ2 (E) = µ1 (E ∩ B) = 0
ya que por construcción µ1 v , con lo que obtenemos que λ2 µ2 . Es evidente
que µ1 = λ1 + λ2 , por lo que solo falta demostrar la unicidad de las medidas λ1 y
λ2 .
0 0 0 0
Supongamos que µ1 = λ1 + λ2 , λ1 ⊥ µ2 y λ2 µ2 , se sigue que
0 0
λ1 − λ1 = λ2 − λ2 ,
donde lo anterior esta bien denido por estar en el caso nito. Observemos que si
P , N := P c es a descomposición de Hanh entonces
0
0
+ 0
−
λ1 − λ1 (E) = λ1 − λ1 (E) + λ1 − λ1 (E)
0
0
= λ1 − λ1 (E ∩ P ) − λ1 − λ1 (E ∩ N )
0 0
= λ1 (E ∩ P ) − λ1 (E ∩ N ) + λ1 (E ∩ N ) − λ1 (E ∩ P )
0
≤ λ1 (E) + λ1 (E) ,
0 0
análogamente λ1 − λ1 (E) ≤ λ2 (E) + λ2 (E) para todo E medible, entonces si
0
µ2 (E) = 0 implica que λ2 (E) = λ2 (E) = 0 por lo que
0
λ1 − λ1 (E) = 0,
0
es decir λ1 − λ1 µ2 . Por otro existen conjuntos A y B tales que λ1 (A) = 0 =
0
c c
µ2 (A ) λ1 (B) = 0 = µ2 (B ) por lo que
y
0 0 c
λ1 − λ1 (A ∩ B) ≤ λ1 (A ∩ B) + λ1 (A ∩ B) = 0 = µ2 ((A ∩ B) )
0
0
por tanto λ1 − λ1 ⊥ µ2 , por el lema anterior tenemos que λ1 − λ1 = 0, de lo que
se sigue que
0 0
λ1 − λ1 = λ2 − λ2 = 0
con lo que terminamos el primer caso.
12.5. TEOREMA DE REPRESENTACIÓN DE RIESZ 178
El caso donde las medidas no son nitas se le deja al lector, la idea es usar la σ-
adictividad de las medidas de manera parecida al Teorema de Radon-Nicodým.
Gf : Lq (X, A, µ) −→ R
denida como ˆ
Gf (g) := f gdµ
Lema 307. Sea G un operador lineal en L (Lq (X, A, µ)), entonces existe dos
operadores G , G− ∈ L (Lq (X, A, µ)) tales que
+
G = G+ − G−
y para toda función g ∈ Lq (X, A, µ) tal que g ≥ 0 entonces
G± (g) ≥ 0.
Demostración. Sea g ∈ Lq (X, A, µ) tal que g ≥ 0, entonces denimos
G+ (g) = G+ g + − G+ g − ,
G− := G+ − G
que por ser diferencia de lineales es lineal, es claro que
G = G+ − G−
y si g≥0 entonces
Solo nos falta demostrar que los operadores G+ y G− son acotados (continuos),
observemos que
+
+
G
= sup G (g)
kgkq ≤1
≤ kGk
que
ˆ
G (f ) = f gdµ
para toda función f ∈ L1 (X, A, µ), además kGk = kgk∞ y si G (f ) ≥ 0 para toda
f ≥ 0 entonces g ≥ 0.
µ0 (E) := G (χE )
!
[
0
µ En = µ0 (A)
n∈N
= G (χA )
= lim G (χEn )
n→∞
0
= lim µ (En ) .
n→∞
k
!
[
µ0 An = G χ
k
S
n=1 An
n=1
k
!
X
=G χAn
n=1
k
X
= G (χAn )
n=1
k
X
= µ0 (An ) .
n=1
12.5. TEOREMA DE REPRESENTACIÓN DE RIESZ 181
para toda f ∈ L1 (X, A, µ) , es inmediato observar que gn (x) = gn+1 (x) para toda
x ∈ Xn (despues de cambiar las funciones gn en un conjunto de medida cero) y
12.5. TEOREMA DE REPRESENTACIÓN DE RIESZ 182
además las funciones gn son crecientes y convergen a una función g ≥ 0. Por tanto
por la continuidad de G y convergencia dominada (|f χXn gn | ≤ |f g|) obtenemos que
G (f ) = lim G (f χXn )
n→∞
ˆ
= lim f χXn gn dµ
n→∞
ˆ
= f gdµ.
y
ˆ
−
G (f ) = f g − dµ
por lo que kGk ≤ kgk∞ , ahora se n ∈ N entonces existe un conjunto medible E tal
que µ (E) > 0 y gE ≥ kgk∞ − n1 , sea µ(E)
1
χE sgn (g) ∈ L1 (X, A, µ), donde
(
1 si g (x) ≥ 0
sgng (x) =
−1 si g (x) < 0.
más aun
1
µ (E) χ E sgng
= 1
1
y
ˆ ˆ
1 1 1
χE sgng gdµ = χE |g| dµ ≥ kgk∞ −
µ (E) µ (E) n
para todo n natural, por tanto kGk = kgk∞ .
para toda función f ∈ Lp (X, A, µ), además kGk = kgkq y si G (f ) ≥ 0 para toda
f ≥ 0 entonces g ≥ 0.
12.5. TEOREMA DE REPRESENTACIÓN DE RIESZ 183