Académique Documents
Professionnel Documents
Culture Documents
Ir a la Sección 10 Ir a la Sección 11
Integral de Lebesgue
Motivación
Integral de Lebesgue
El problema fundamental es saber medir
Z b X
yj m f −1 ([yj , yj+1 ))
f (x) dx = lı́m
a kPk→0
Integral de Lebesgue
Conjuntos borelianos. σ−álgebra
P(Rn ) = {A : A ⊂ Rn }
Bn ⊆ P(Rn ), la familia de los borelianos de Rn , está caracterizada
por ser la menor familia de conjuntos en Rn con las siguientes
propiedades:
1 ∅ ∈ Bn .
2 Si (Ak )+∞ +∞
k=1 ⊂ Bn , entonces ∪k=1 Ak ∈ Bn .
3 Si A ∈ Bn , entonces Ac = Rn \ A ∈ Bn .
4 Si A ⊆ Rn es abierto, entonces A ∈ Bn .
Una σ−álgebra de conjuntos en Rn es una familia Σ ⊆ P(Rn )
cumple las mismas tres primeras condiciones:
1 ∅ ∈ Σ;
Integral de Lebesgue
Los borelianos son una σ-álgebra
Las condiciones:
1 Bn ⊂ P(Rn ); Bn está formada por conjuntos: sus elementos
son conjuntos.
2 ∅ ∈ Bn .
3 Si (Ak )+∞ +∞
k=1 ⊂ Bn , entonces ∪k=1 Ak ∈ Bn .
4 Si A ∈ Bn , entonces Ac ∈ Bn .
dicen que Bn es una σ - álgebra en Rn .
Lema
Bn es la menor σ−álgebra en Rn que contiene a los abiertos de Rn .
Integral de Lebesgue
Propiedades de los borelianos
Si A ⊆ Rn es abierto, entonces A ∈ Bn .
Si Σ ⊆ P(Rn ) cumple las mismas cuatro condiciones de
arriba; o sea,
1 ∅ ∈ Σ,
2 si (Ak )+∞ +∞
k=1 ⊂ Σ entonces ∪k=1 Ak ∈ Σ,
c
3 si A ∈ Σ entonces A ∈ Σ,
4 A ⊆ Rn es abierto, entonces A ∈ Σ,
entonces Bn ⊂ Σ: dice que Bn es la menor σ - álgebra en Rn que
contiene a los conjuntos abiertos de Rn .
Bn : σ - álgebra de Borel.
Sus elementos se llaman borelianos de Rn .
Integral de Lebesgue
Medida de Borel-Lebesgue
Topologı́a y orden en [0, ∞]
Integral de Lebesgue
Medida de Borel-Lebesgue
Topologı́a y orden en [0, ∞]
Integral de Lebesgue
Aritmética en [0, ∞]
1 a + ∞ = ∞ + a = ∞.
2 ∞ + ∞ = ∞.
3 b · ∞ = ∞ · b = ∞.
4 0 · ∞ = ∞ · 0 = 0.
5 ∞ · ∞ = ∞ · ∞ = ∞.
De forma análoga se definen la topologı́a, el orden y las
operaciones en R = [−∞, ∞].
Integral de Lebesgue
Medida de Borel-Lebesgue
Teorema
Existe una única función
mn : Bn → [0, ∞]
∞
[ ∞
X
mn ( Ak ) = mn (Ak );
k=1 k=1
∞
[ ∞
X
µ( Ak ) = µ(Ak ).
k=1 k=1
Integral de Lebesgue
Medida de Borel-Lebesgue. Cont.
Definición
La aplicación mn se llama medida de Borel - Lebesgue en Rn .
Integral de Lebesgue
Otras propiedades de la medida de Borel-Lebesgue
Lema
1 Si (A )m
k k=1 ⊂ Bn es una cantidad finita de borelianos,
disjuntos dos a dos, entonces
m
[ m
X
mn ( Ak ) = mn (Ak ).
k=1 k=1
mn (A) ≤ mn (B),
más aún,
mn (B) = mn (A) + mn (B \ A).
Integral de Lebesgue
Otras propiedades de la medida de Borel-Lebesgue. Cont.
Lema
1 Si (A )∞
k k=1 ⊂ Bn es una sucesión creciente (Ak ⊂ Ak+1 ) de
borelianos, entonces
∞
[
lı́m mn (Ak ) = mn ( Ak ).
k→∞
k=1
2 Si (Ak )∞
k=1 ⊂ Bn es una sucesión decreciente (Ak+1 ⊂ Ak ) de
borelianos, con mn (A1 ) < ∞, entonces
∞
\
lı́m mn (Ak ) = mn ( Ak ).
k→∞
k=1
Integral de Lebesgue
Conjunto Lebesgue-medible
B ⊆ A ⊆ C, mn (C \ B) = 0.
Integral de Lebesgue
σ−álgebra de Lebesgue Mn
Lema
La familia Mn es una σ−álgebra en Rn :
∅ ∈ Mn .
Si A ∈ Mn , entonces Ac ∈ Mn .
Si {Ak : k ∈ N} es una sucesión en Mn ,
∞
[
Ak ∈ Mn .
k=1
Integral de Lebesgue
σ−álgebra de Lebesgue Mn . Cont.
Lema
1 La familia M es una σ−álgebra en Rn ;
n
2 Bn ⊂ Mn .
3 Si A ∈ Bn , B ⊂ A y
mn (A) = 0,
entonces
B ∈ Mn .
4 Si A ∈ Mn , existen B ∈ Bn y C ∈ Mn tales que
A = B ∪ C, md (C ) = 0.
Integral de Lebesgue
Propiedades de Mn
Lema
Sea A ∈ Mn , entonces
Integral de Lebesgue
Resumen de propiedades de la medida de Borel-Lebesgue
Teorema
La medida de Lebesgue mn : Mn → [0, +∞] tiene las siguientes
propiedades:
mn (∅) = 0.
Si {Ak }k es una cantidad contable de conjuntos
Lebesgue-medibles, disjuntos dos a dos, entonces
X
mn (∪k Ak ) = mn (Ak ).
k
Integral de Lebesgue
Resumen de propiedades de la medida de Borel-Lebesgue.
Cont.
Teorema (Cont.)
La medida de Lebesgue mn : Mn → [0, +∞] tiene las siguientes
propiedades:
Si A ⊆ B con A ∈ Mn , B ∈ Mn ,
mn (A) ≤ mn (B).
Integral de Lebesgue
Resumen de propiedades de la medida de Borel-Lebesgue.
Cont.
Teorema (Cont.)
La medida de Lebesgue mn : Mn → [0, +∞] tiene las siguientes
propiedades:
Si {Ak : k ∈ N} ⊂ Mn es una sucesión decreciente, y
mn (A1 ) < ∞,
\
mn ( Ak ) = lı́m mn (Ak ).
k→∞
k
Si A ∈ Mn , y x ∈ Rn , entonces A + x ∈ Mn ,
mn (A + x) = mn (A).
Integral de Lebesgue
Resumen de propiedades de la medida de Borel-Lebesgue.
Cont.
Teorema (Cont.)
La medida de Lebesgue mn : Mn → [0, +∞] tiene las siguientes
propiedades:
Si L : Rn → Rn es una aplicación lineal con matriz asociada
M, entonces L(A) ∈ Mn ,
Integral de Lebesgue
Ejercicio
Ejercicio
Probar que todo intervalo n−dimensional es un conjunto boreliano.
Además, si
n
Y
I = Ij ,
j=1
Integral de Lebesgue
Función Lebesgue-medible
f −1 (A) ∈ Bn .
Integral de Lebesgue
Función Lebesgue-medible
f −1 (A) ∈ Bn .
Integral de Lebesgue
Imagen inversa
para A ⊂ Y . Entonces
f −1 (Ac ) = (f −1 (A))c .
Integral de Lebesgue
Caracterización de funciones medible
Lema
Son equivalentes las afirmaciones siguientes:
1 f −1 (A) ∈ Bd para todo abierto A ∈ R.
2 f −1 (I ) ∈ Bd para todo I intervalo abierto en R.
3 f −1 ((−∞, a)) := {x ∈ E : f (x) < a} ∈ Bd para todo a ∈ R.
4 f −1 ((−∞, a]) := {x ∈ E : f (x) ≤ a} ∈ Bd para todo a ∈ R.
5 f −1 ((a, +∞)) := {x ∈ E : f (x) > a} ∈ Bd para todo a ∈ R.
6 f −1 ([a, +∞)) := {x ∈ E : f (x) ≥ a} ∈ Bd para todo a ∈ R.
Integral de Lebesgue
Demostración
Se tiene 4 ⇒ 5 porque
c
f −1 ((a, ∞)) = f −1 ((−∞, a])
Integral de Lebesgue
Demostración. Cont.
Integral de Lebesgue
Demostración. Cont.
utilizando 3 y 4 tenemos
c
f −1 (I ) = f −1 ((−∞, b)) ∩ f −1 ((−∞, b]) ∈ Bd .
Integral de Lebesgue
Propiedades de las funciones medibles
Lema
Tomamos a ∈ R, E ∈ Md y f , g : E → R funciones medibles
Lebesgue, (fk )+∞
k=1 : E → R sucesión de funciones medibles
Lebesgue, h : E → R.
1 Las funciones continuas son medibles.
2 Las funciones constantes son medibles.
3 f + g es medible.
4 f · g es medible.
5 a · f es medible.
6 máx(f , g ) es medible.
7 mı́n(f , g ) es medible.
8 f + , f − , |f | son medibles, donde
Integral de Lebesgue
Demostración. Cont.
Por otra parte, si f (x) + g (x) > a, f (x) > a − g (x); por la
densidad de los números racionales, existe r0 ∈ Q tal que
[
f (x) > r0 > a − g (x) ⇔ x ∈ Ar0 ⇒ x ∈ Ar .
r ∈Q
N
X
f = (r .e.) aj χAj
j=1
PN
y decimos que j=1 aj χAj es la representación estándar de f .
Integral de Lebesgue
Función simple. Cont.
Ejercicio
Dar la representación estándar de la función simple
Solución
Los conjuntos [0, 1), [1, 2), [2, 5] son disjuntos. Además, son
medibles. Los valores que toma la función son 0, 1, 3, 4. Se tiene
Integral de Lebesgue
Función simple. Cont.
Integral de Lebesgue
Aproximación por funciones medibles.
Teorema
Sean E ∈ Bn , f : E → [0, ∞] una función medible. Existe una
sucesión de funciones simples medibles {sN } en E tal que:
1 {sN } es una sucesión monótona creciente: para todo x ∈ E ,
∀N ∈ N
sN (x) ≤ sN+1 (x).
2 sN (x) ≤ f (x) para todo x ∈ E .
3 lı́mN sN (x) = f (x), x ∈ E .
Integral de Lebesgue
Sucesión de funciones simples. Cont.
Demostración.
Observar que
0 1 N2N
PN = {0 = N
< N < . . . < N = N}
2 2 2
es una partición del intervalo [0, N] formada por N intervalos
de longitud 21N .
Además, PN ⊂ PN+1 .
Si f (x) = ∞, entonces f (x) > N, ∀N ∈ N.
Si f (x) < ∞, entonces f (x) < N , para todo N ≥ N0 y existe
j tal que
j j +1
f (x) ∈ [ N , N ).
2 2
Integral de Lebesgue
Sucesión de funciones simples. Cont.
Demostración. Cont.
Dado x ∈ E , f (x) pertenece a uno de los intervalos
determinados por la partición PN ó f (x) ≥ N.
Definimos
k k +1
Ek,N := x ∈ E : N ≤ f (x) < N
2 n 2 n
k = 0, 1, . . . , N2N − 1,
EN2N ,N := {x ∈ E : f (x) ≥ N} .
Integral de Lebesgue
Sucesión de funciones simples. Cont.
Demostración. Cont.
Como PN ⊂ PN+1 ,
sN (x) ≤ sN+1 (x), x ∈ Rn .
Se tiene
sN (x) ≤ f (x), x ∈ E.
En efecto, si f (x) = ∞,
sN (x) = N, ∀N ∈ N.
Si f (x) < ∞, f (x) ∈ [0, N], ∀N ≥ N0 ,
j j +1 j 1
f (x) ∈ [ , ), sN (x) = , sn (x) − f (x) <
2N 2N 2N 2N
De donde,
lı́m sN (x) = f (x).
N→∞
Integral de Lebesgue
Integral de una función simple
Se suele escribir
Z Z
I (f ) = IE (f ) = f = f.
E
Integral de Lebesgue
Integral de una función simple
Se suele escribir
Z Z
I (f ) = IE (f ) = f = f.
E
Integral de Lebesgue
Propiedades de la integral de una función simple
Lema
1 Sean f y g son funciones simples en A ∈ B
d y c ∈ [0, ∞),
entonces
Z Z Z Z Z
(cf ) = c f, (f + g ) = f + g.
A A A A A
Integral de Lebesgue
Integral de una función positiva
Observación
R
Notamos que Af ∈ [0, +∞].
Integral de Lebesgue
Integral de una función positiva. Cont.
Lema
Sean A ∈ Md y f R: A → [0, +∞) una función simple en A. Se
tiene que IA (f ) = A f ; es decir, la integral de una función simple
según se definió antes coincide con la definición de integral que se
ha dado ahora considerando la función simple como una función
positiva.
Lema
Sea A ∈ Md y f : A → [0, ∞] y g : A → [0, ∞] funciones medibles
tales que
f (x) ≤ g (x), ∀x ∈ A.
Entonces Z Z
f ≤ g.
A A
Integral de Lebesgue
Teorema de la convergencia monótona
O sea,
Z Z Z Z
lı́m fk = sup fk = lı́m fk = sup fk .
E k→+∞ E k∈N k→+∞ E k∈N E
Integral de Lebesgue
Teorema de la convergencia monótona
O sea,
Z Z Z Z
lı́m fk = sup fk = lı́m fk = sup fk .
E k→+∞ E k∈N k→+∞ E k∈N E
Integral de Lebesgue
Demostración del teorema de convergencia monótona
R R
Paso 1. lı́mn→∞ E fn ≤ E f .
Como {fn } es una sucesión monótona creciente, existe
Integral de Lebesgue
Demostración del teorema de convergencia monótona.
Cont.
An := {x ∈ A : fn (x) ≥ αs(x)}.
demostramos Z Z
s = lı́m s,
A n An
Z Z
α f ≤ lı́m fn .
A n A
Integral de Lebesgue
Demostración del teorema de convergencia monótona.
Cont.
An := {x ∈ A : fn (x) ≥ αs(x)}.
Integral de Lebesgue
Demostración del teorema de convergencia monótona.
Cont.
Integral de Lebesgue
Demostración del teorema de convergencia monótona.
Cont.
Además,
Z Z Z Z
αλ(An ) = α s= αs ≤ fn ≤ fn .
An An An A
3 Si D ⊆ E , f ≤ f.
Z D
Z E
4 a·f =a f.
E E
Integral de Lebesgue
Propiedades de la integral de funciones medibles positivas.
Cont.
Proposición. Cont.
Z Z Z
1 (f + g ) = f + g.
E E E
2 (Teorema de la convergencia monótona para series.)
+∞
Z X +∞ Z
X
fk = fk .
E k=1 k=1 E
Integral de Lebesgue
Propiedades de la integral de funciones medibles positivas.
Cont.
Proposición. Cont.
1 Si C ∪ D = E son disjuntos,
Z Z Z
f = f + f.
E C D
2 Si ∪+∞
k=1 Ek = E son disjuntos dos a dos ,
Z +∞ Z
X
f = f.
E k=1 Ek
3 Si Ek ⊆ Ek+1 , y ∪+∞
k=1 Ek = E , entonces
Z Z
f = lı́m f.
E k→+∞ Ek
Integral de Lebesgue
Propiedades de la integral de funciones medibles positivas.
Cont.
Proposición. Cont.
Z
1 Si Ek+1 ⊆ Ek , ∩+∞
k=1 Ek = E, e f < +∞, entonces
E1
Z Z
f = lı́m f.
E k→+∞ Ek
Z
2 f = 0 si y sólo si mn ({x ∈ E : f (x) > 0}) = 0.
ZE
3 f < +∞ implica que mn ({x ∈ E : f (x) = +∞}) = 0.
E
Integral de Lebesgue
Lema de Fatou
Integral de Lebesgue
Demostración
gn (x) ≤ fk (x), ∀k ≥ n, x ∈ E,
Integral de Lebesgue
Demostración. Lema Fatou. Cont.
Por tanto,
Z Z Z Z
gn ≤ fk , ∀k ≥ n ⇒ gn ≤ lı́m inf fk
E E E k→∞ E
Integral de Lebesgue
Integral de funciones reales
Definición
Sea E ∈ Bn y f : E → R. Se dice integrable si es medible y además
Z
|f | < +∞.
E
Definición
Sea E ∈ Bn y f : E → R. Se dice integrable si es medible y además
Z
|f | < +∞.
E
Observación
R
Notamos que E f ∈ R.
Notamos
R que para f con valores en [0, +∞) tal que
E f < +∞ tenemos definidos, a priori dos conceptos de
integral. Sin embargo, inmediatamente concluimos que ambos
coinciden.
Integral de Lebesgue
Propiedades de la integral
Proposición. Cont.
1 Si E es compacto, y h ∈ C(E ), entonces h ∈ L(E ).
Z Z
2 a · f ∈ L(E ). Además, a·f =a f.
EZ EZ Z
3 f + g ∈ L(E ). Además, (f + g ) = f + g.
E E E
4 Si C ∪ D = E son disjuntos,
Z Z Z
f = f + f.
E C D
Integral de Lebesgue
Propiedades de la integral de funciones medibles reales.
Cont.
Proposición. Cont.
1 Si ∪+∞
k=1 Ek = E son disjuntos dos a dos,
Z +∞ Z
X
f = f.
E k=1 Ek
2 Si Ek ⊆ Ek+1 , y ∪+∞
k=1 Ek = E , entonces
Z Z
f = lı́m f.
E k→+∞ Ek
3 Si Ek+1 ⊆ Ek , ∩+∞
k=1 Ek = E , y f ∈ L(E1 ), entonces
Z Z
f = lı́m f.
E k→+∞ Ek
Integral de Lebesgue
Definición de propiedad en casi todo punto
P(x) c. t. p. x ∈ E
y leemos
Integral de Lebesgue
Definición de propiedad en casi todo punto
P(x) c. t. p. x ∈ E
y leemos
Integral de Lebesgue
Ejemplos de c.t.p.
F = {x ∈ E : f (x) = 0} = f −1 ({0}) ∈ Md , md (E \ F ) = 0.
De donde, Z Z Z
f = f + f = 0.
E F E \F
Integral de Lebesgue
R f : E → [0, +∞] Lesbesgue-medible. Se tiene que
Sea
E f = 0 si y sólo si f (x) = 0 c. t. p. x ∈ E .
Demostración.
R Cont. Probemos ahora el recı́proco. Supongamos
que E f = 0. Sea
1
En := {x ∈ E : f (x) > }.
n
Entonces,
En ∈ Bd , En ⊂ En+1 ,
S
y n∈N En = {x ∈ E : f (x) > 0} =: F ∈ Md . Además, para todo
n ∈ N, md (En ) = 0 ya que f (x) ≥ n1 χEn ∀x ∈ E y
Z Z
1 1
0= f ≥ χEn = md (En ).
E n E n
Ası́, [
md (F ) = md ( En ) = lı́m md (En ) = 0.
n→∞
n∈N
Integral de Lebesgue
Ejemplos de c.t.p. Cont.
Integral de Lebesgue
Ejemplos de c.t.p. Cont.
L
F = ∩n En , md (F ) = md (∩n En ) = lı́m md (En ) ≤ lı́m =0
n n n
⇒ md (F ) = 0.
Integral de Lebesgue
Ejemplos de c.t.p. Cont.
Integral de Lebesgue
Ejemplos de c.t.p. Cont.
{x ∈ g (x) > α}
= ({x ∈ E : f (x) > α} ∩ N c ) ∪ ({x ∈ E :∈ g (x) > α} ∩ N).
Integral de Lebesgue
R
Proposición.Sean f , g : E → R medibles. Entonces E |f − g | = 0
es equivalente a que f (x) = g (x) c. t. p. x ∈ E .
Integral de Lebesgue
Ejemplos de c.t.p. Cont.
Integral de Lebesgue
Lı́mite en c.t.p.
lı́m fn = f c.t.p. de E
n
Integral de Lebesgue
Lı́mite en c.t.p.
lı́m fn = f c.t.p. de E
n
Integral de Lebesgue
Teorema de la convergencia dominada
Integral de Lebesgue
Teorema de la convergencia dominada
Integral de Lebesgue
Demostración
Integral de Lebesgue
Demostración. Cont.
Se prueba más, Z
lı́m |fk − f | = 0.
k
Integral de Lebesgue
Demostración. Cont.
|fk − f | ≤ 2g
Integral de Lebesgue
Demostración. Cont.
R
Simplificando 2 E g , que es un número finito porque g ∈ L(E ),
obtenemos Z
lı́m sup |fk − f | ≤ 0
E
de donde, Z
lı́m |fk − f | = 0
E
Como Z Z
(fk − f ) ≤ |fk − f |,
E E
el teorema queda completamente demostrado.
Integral de Lebesgue
Teorema de la convergencia dominada para series
Entonces
P+∞
k=1 hk (x) converge c. t. p. x ∈ E ; o sea,
1
∃ +∞
P
k=1 hk (x) = F (x) c. t. p. x ∈ E .
2 F ∈ L(E ), hk ∈ L(E ) para todo k ∈ N.
P+∞ R
k=1 E hk converge.
3
P+∞ R R R P+∞
k=1 E hk = E F = E k=1 hk .
4
Integral de Lebesgue
Demostración
Basta considerar
n
X ∞
X
fn (x) = hk (x), g (x) = |hk (x)|
k=1 k=1
∀n ∈ N y c.t.p. x ∈ E .
Integral de Lebesgue
Ejemplo
Porque
m1 (Q) = 0,
χQ = 0 c.t.p. de R.
Integral de Lebesgue
La integral de Riemann
N
X
S(f , P) = (aj − aj−1 ) sup f (x).
aj−1 ≤x<aj
j=1
Integral de Lebesgue
La integral de Riemann
N
X
S(f , P) = (aj − aj−1 ) sup f (x).
aj−1 ≤x<aj
j=1
Integral de Lebesgue
La integral de Riemann. Cont.
Integral de Lebesgue
Relación entre la integral de Lebesgue y la integral de
Riemann
Teorema
Si f es integrable Riemann, entonces f es integrable Lebesgue.
Además, Z b Z
f (x) dx = f
a [a,b]
Integral de Lebesgue
Demostración
N
X
hk = sup f (x)χ[aj−1 ,aj ) + f (b)χ{b} .
aj−1 ≤x<aj
j=1
Integral de Lebesgue
Demostración de ambos teoremas. Cont.
Integral de Lebesgue
Demostración de ambos teoremas. Cont.
Sea
g = lı́m gk , h = lı́m hk .
k→∞ k→∞
Por TCD de Lebesgue g ∈ L([a, b]),
Z Z
g = I (f ) = lı́m I (f , Pk ) = lı́m gk .
[a,b] k k [a,b]
Integral de Lebesgue
Demostración de ambos teoremas. Cont.
Además
g ≤ f ≤ h.
Integral de Lebesgue
Demostración de ambos teoremas. Cont.
Si
d = h − g, P = {x ∈ [a, b] : d(x) > 0},
se tiene que d es medible y positiva, y P ∈ M1 .
Integral de Lebesgue
Demostración de ambos teoremas. Cont.
Por tanto,
Integral de Lebesgue
Caracterización de las funciones Riemann-integrables
Teorema
Sea f acotada y definida en un intervalo acotado. Se tiene que f es
integrable Riemann si y sólo el conjunto de puntos de
discontinuidad de f es un conjunto medible Lebesgue de medida
nula.
Integral de Lebesgue
Demostración
m(N) = 0.
Integral de Lebesgue
Demostración. Cont.
Como
d = h − g, P = {x ∈ [a, b] : d(x) > 0},
tenemos
P \ N = L \ N.
En consecuencia,
L ⊆ P ∪ N,
De aquı́ se deduce que L es medible Lebesgue de medida nula si y
sólo si m(P) = 0; o sea,
Integral de Lebesgue
Relación entre la integral impropia de Riemann y la
integral de Lebesgue
Teorema
Sea −∞ ≤ a < b ≤ ∞, f : (a, b) → R, f ∈ R([c, d]) para todo
[c, d] ⊂ (a, b). Entonces f ∈ L(a, b) si y sólo si la integral
Rb
impropia de Riemann a f (x) dx sea absolutamente convergente; o
R b−δ
sea, que lı́m→0+ ,δ→0+ a+ |f (x)|dx existe (es un número real).
Integral de Lebesgue
Demostración
Rb
Probemos que si f ∈ R[c, d], ∀c, d : a < c < d < b y a |f (x)|dx
converge como integral impropia de Riemann:
f es medible.
Rb
a |f (x)| dx < ∞.
Sea {an } decreciente y {bn } creciente, a < an < bn < b,
lı́mn an = a, lı́mn bn = n. Como f ∈ R[an , bn ], según la
caracterización de función Riemann-integrable, f es continua en
[an , bn ] excepto en un conjunto de medida cero An . Ası́ el conjunto
de puntos de discontinuidad de f en (a, b) es A = ∪n An , como
X
m1 (A) = m1 (∪n An ) ≤ m1 (An ) = 0,
n
Integral de Lebesgue
Demostración.Cont.
Ejemplo
Hallar el siguiente lı́mite
Z ∞
n sen(x/n)
lı́m dx.
n→∞ 0 x(1 + x 2 )
Veamos que Z ∞
n sen(x/n) π
lı́m 2
dx = .
n→∞ 0 x(1 + x ) 2
Integral de Lebesgue
Ejemplo. Solución
Sea
1
g (x) = , x ∈ [0, ∞).
1 + x2
Entonces g ∈ R[0, A], ∀A > 0, porque g ∈ C(R),
Z ∞ Z ∞
dx π
g (x)dx = Impr. 2
= < ∞.
0 0 1 + x 2
Las funciones fn (x) = nx(1+x
sen(x/n)
2 ) , ∀n ∈ N, son funciones continuas
n sen(x/n)
lı́m = g (x), x ∈ (0, ∞).
n→∞ x(1 + x 2 )
Aplicando el teorema de convergencia dominada de Lebesgue,
Z ∞ Z ∞ Z ∞
n sen(x/n) n sen(x/n) dx π
lı́m 2
dx = lı́m 2
dx = 2
= .
n→∞ 0 x(1 + x ) 0 n→∞ x(1 + x ) 0 1+x 2
Integral de Lebesgue
Versión continua TCD
Integral de Lebesgue
Versión continua TCD
Integral de Lebesgue
Demostración
Integral de Lebesgue
Versión continua del TCD
Integral de Lebesgue
Versión continua del TCD
Integral de Lebesgue
Continuidad de integrales paramétricas
f (·, t0 ) ∈ L(E ),
Z Z Z
lı́m f (x, t) dx = lı́m f (x, t) dx = f (x, t0 ) dx = F (t0 ).
t→t0 E E t→t0 E
Por tanto, F es continua en t0 .
Integral de Lebesgue
Continuidad de integrales paramétricas. v2
Ejemplo. La función
1
arc tg(a(1 + x 2 ))
Z
F (a) = dx, a ∈ R,
0 1 + x2
es continua en R.
Solución. Sea
arc tg(a(1 + x 2 ))
f : (0, 1)×R → R, f (x, a) = , (x, a) ∈ (0, 1)×R.
1 + x2
Para todo x ∈ (0, 1), f (x, a) es continua como función de a porque
la arctan es una función continua en R. Como función de x
tambien es continua, luego medible. Como | arctan t| ≤ π2 , ∀t ∈ R,
π
|f (x, a)| ≤ ,
2(1 + x 2 )
π
y la función g (x) = 2(1+x 2 ) es una función positiva e integrable en
Integral de Lebesgue
R ∞ 1−e −tx 2
Solución de ejercicio: lı́mt→0+ 0 x2 dx = 0.
∞ 2 ∞
1 − e −tx
Z Z
lı́m+ dx = lı́m+ f (x, t) dx
t→0 0 x2 t→0 0
Z ∞
= lı́m+ f (x, t) dx = 0
0 t→0
Integral de Lebesgue
Derivación de integrales paramétricas
Integral de Lebesgue
Derivación de integrales paramétricas. Cont.
Integral de Lebesgue
Demostración
F (t) − F (t0 )
Z
0 ∂f
F (t0 ) = lı́m = (x, t0 ) dx
t→t0 t − t0 E ∂t
f (x, t) − f (x, t0 )
Z Z
∂f
lı́m dx = (x, t0 ) dx.
t→t0 E t − t0 E ∂t
f (x, t) − f (x, t0 ) ∂f
lı́m = (x, t0 ), ∀x ∈ E .
t→t0 t − t0 ∂t
Integral de Lebesgue
Demostración. Cont.
Integral de Lebesgue
Derivación bajo el signo de integral
Integral de Lebesgue
Derivación de integrales paramétricas. Cont.
Integral de Lebesgue
Ejercicio
Ejercicio
Probar que para todo t ∈ (−1, ∞),
Z 1
1
x t log x dx = − .
0 (t + 1)2
Integral de Lebesgue
R1 1
Solución: 0 x t log x dx = − (t+1)2
Sea
f : (0, 1) × (−1, ∞) → R, f (x, t) = x t .
Para cada t ∈ (−1, ∞), f (·, t) → R es medible porque es continua.
Sea t0 ∈ (−1, ∞) y sea δ > 0 tal que t0 − δ > −1,
∂f (x, t) t t0 −δ
∂t = |x log x| ≤ |x log x| ∈ L((0, 1)), ∀t ∈ J,
J un entorno de t0 .
Integral de Lebesgue
R1 1
Solución: 0 x t log x dx = − (t+1)2
Como Z 1
1
F (t) = x t dx = , ∀t ∈ (−1, ∞),
0 t +1
y se puede derivar bajo el signo de integral,
Z 1 t Z 1
1 d ∂x
− = F (t) = dx = x t log x dx, ∀t ∈ (−1, ∞).
(t + 1)2 dt 0 ∂t 0
Integral de Lebesgue
Ejercicio
Calcular 2
∞
1 − e −x
Z
dx.
0 x2
Integral de Lebesgue
R ∞ 1−e −x 2
Solución: 0 x2 dx.
Sea 2
∞
1 − e −tx
Z
F (t) = dx, t ∈ (0, ∞).
0 x2
La función f : (0, ∞) × (0, ∞) → R, ∀(x, t) ∈ (0, ∞) × (0, ∞),
2
1 − e −tx
f (x, t) =
x2
f (·, t) ∈ L((0, ∞)) para cada t ∈ (0, ∞), porque para cada
[c, d] ⊂ (0, ∞), f (·, t) ∈ R([c, d]), y la integral impropia
Z ∞ Z ∞ 2
1 − e −tx
|f (x, t)|dx = dx
0 0 x2
es convergente, con lo que F está bien definida: observar que
2
1−e −tx tx 2
lı́mx→0 x2
= lı́mx→0 x2
=t y
1−e −tx 2 1
∼ , cuando x → ∞.
x2 x2
Integral de Lebesgue
R ∞ 1−e −x 2
Solución: 0 x2 dx.
Integral de Lebesgue
Función gamma
Integral de Lebesgue
Función beta
Función beta:
B : (0, ∞) × (0, ∞) → R
para u > 0, v > 0,
Z 1
B(u, v ) = x u−1 (1 − x)v −1 dx
0
Integral de Lebesgue
R1
Función beta. Cont. B(u, v ) = 0 x u−1 (1 − x)v −1 dx
Se cumple
1 B(u, v ) = B(v , u). Hacer el cambio de variable x = 1 − s.
2
∞
t u−1
Z
t
B(u, v ) = u+v
dt, x = ,
0 (1 + t) t +1
Z π/2
=2 (cos θ)2u−1 (sen θ)2v −1 dθ, x = cos2 θ,
0
1 u−1
+ t v −1
Z
t
= dt.
0 (1 + t)u+v
Integral de Lebesgue
Otras propiedades
√
1 Se tiene Γ(1/2)√ = π. Esto es equivalente a
R ∞ −x 2
0 e dx = 2π .
Γ(u)Γ(v )
2 B(u, v ) = , (u, v > 0);
Γ(u + v )
uv β(u, v )
3 B(u + 1, v + 1) = , (u, v > 0);
(u + v + 1)(u + v )
(p − 1)!(q − 1)!
4 B(p, q) = , ∀p, q ∈ N.
(p + q − 1)!
Z +∞ p−1
x π
5 Se tiene dx = , (0 < p < 1) y
0 1+x sen(pπ)
π
Γ(p)Γ(1 − p) = .
sen(pπ)
Integral de Lebesgue
Motivación
Si E ∈ Mn , f = χE ,
Z
f = mn (E ).
Integral de Lebesgue
Motivación
Si E ∈ Mn , f = χE ,
Z
f = mn (E ).
Integral de Lebesgue
Notaciones
Integral de Lebesgue
Volumen por secciones
ϕ(x) = ml (Ex )
Integral de Lebesgue
Ideas de la demostración
G1 ⊇ G2 ⊇ . . . ⊇ Gk ⊇ . . . ⊇ E ⊇ . . . ⊇ Fk ⊇ . . . ⊇ F2 ⊇ F1 .
Integral de Lebesgue
Secciones de funciones
Lema
Sean n, k, l ∈ N tales que n = k + l. Dados E ⊆ Rn , y ∈ Rk se
tiene que
χE (y , ·) = (χE )y = χEy .
Integral de Lebesgue
Teorema de Tonelli
g (y ) dy = f (y , z) dz dy .
Rk Rk Rl
Integral de Lebesgue
Teorema de Tonelli. Cont.
Integral de Lebesgue
Teorema de Fubini
g (y ) dy = f (y , z) dz dy .
Rk Rk Rl
Integral de Lebesgue
Extensión de una función
Lema
Sea E ∈ Bn y f : E → R. Sea f0 la extensión de f a Rn que vale 0
fuera de E y coincide con f en los puntos de E . Entonces se tiene
que f ∈ L(E ) si y sólo si f0 ∈ L(Rn ). En cuyo caso,
Z Z
f = f0 .
E Rn
Integral de Lebesgue
Teorema de Tonelli
Integral de Lebesgue
Teorema de Tonelli. Cont.
Z Z Z
f = f (x, y ) dy dx
E πx (E ) Ex
Z Z
= f (x, y ) dx dy .
πy (E ) Ey
Integral de Lebesgue
Caracterización de la integrabilidad
Corolario
Sean n, k, l ∈ N tales que n = k + l. Sean E ∈ Bn y f : E → R
medible. Se tiene que f ∈ L(E ) si y sólo si
Z Z
|f (x, y )| dy dx < ∞, ó
πx (E ) Ex
Z Z
|f (x, y )| dx dy < ∞
πy (E ) Ey
Integral de Lebesgue
Teorema de Fubini
Integral de Lebesgue
Ejemplo Teorema de Tonelli-Fubini
Ejemplo
Calcular ZZ
y
dxdy ,
I (1 + x2 + y 2 )3/2
donde I = [0, 1] × [0, 1].
Como la función que se integra es una función continua en todo
R2 , en particular en I , y este conjunto es compacto, entonces ella
es integrable en I . Según el teorema de Fubini, la integral se puede
calcular a partir de las integrales iteradas. También se puede
argumentar la misma conclusión con el teorema de Tonelli ya que
la función considerada es positiva en I .
ZZ Z 1 Z 1
y y
2 2 3/2
dxdy = 2 2 3/2
dy dx,
I (1 + x + y ) 0 0 (1 + x + y )
Integral de Lebesgue
Introducción.
ZZ Ejemplo Teorema de Tonelli-Fubini
y
2 2 3/2
dxdy
I (1 + x + y )
Ejemplo
Z 1 Z 1
y
2 2 3/2
dy dx,
0 0 (1 + x + y )
Z 1 √ x=1
x + x 2 + 1
1 1
= √ −√ dx = log √
0 x2 + 1 x2 + 2 x + x 2 + 2 x=0
√
2+ 2
= log √
1+ 3
Integral de Lebesgue
Ejemplo
Ejemplo
Probemos, utilizando el teorema de Fubini, que
Γ(u)Γ(v )
B(u, v ) = , u, v > 0.
Γ(u + v )
Sean
Z ∞ Z ∞
f (t)g (x − t)dtdx
Z−∞ −∞
∞ Z ∞
= t u−1 e −t χ(0,∞) (t)(x −t)v −1 e −(x−t) χ(0,∞) ((x −t))dtdx
−∞ −∞
Z ∞ Z x
= e −x t u−1 (x − t)v −1 dtdx
0 0
s=xt
= β(u, v )Γ(u + v ).
Integral de Lebesgue
Γ(u)Γ(v )
Ejemplo B(u, v ) = Γ(u+v )
Z ∞ Z ∞
f (t)g (x − t)dtdx
−∞ −∞
Z ∞Z ∞
= f (t)g (x − t)dxdt
−∞ −∞
Z ∞ Z ∞
u−1 −t
= t e χ(0,∞) (t) (x −t)v −1 e −(x−t) χ(0,∞) ((x −t))dxdt
−∞ −∞
Z ∞ Z ∞
= t u−1 e −t (x − t)v −1 e −(x−t) dxdt = Γ(u)Γ(v )
0 t
Integral de Lebesgue
Difeomorfismo
det(Jac(u)(x)) 6= 0, x ∈ U.
1
det(Jac(u −1 )(x)) = .
det(Jac(u)(x))
Notación: Jac(u) = J(u).
Cambios de variables más usuales:
Cambio de variable lineal.
Coordenadas polares.
Coordenadas cilı́ndricas y esféricas.
Integral de Lebesgue
Difeomorfismo
det(Jac(u)(x)) 6= 0, x ∈ U.
1
det(Jac(u −1 )(x)) = .
det(Jac(u)(x))
Notación: Jac(u) = J(u).
Cambios de variables más usuales:
Cambio de variable lineal.
Coordenadas polares.
Coordenadas cilı́ndricas y esféricas.
Integral de Lebesgue
Teorema de cambio de variable en la integral de Lebesgue
Observación
Indicando la variable en el conjunto escribiremos
Z Z
f (x) dx = f (u(t))|detJu(t)| dt.
x∈E u(t)∈E
Integral de Lebesgue
Teorema de cambio de variable en la integral de Lebesgue.
Cont.
Observación
Indicando la variable,
Z Z
f (x) dx = f (t)|det(Ju)(t)| dt.
u(x)∈D t∈D
Integral de Lebesgue
Teorema de cambio de variable en la integral de Lebesgue.
Cont.
Integral de Lebesgue
Cálculo de volumen
Integral de Lebesgue
Ejemplo
Ejemplo
Hallar ZZ
(x 2 + y 2 ) dxdy ,
D
Integral de Lebesgue
Ejemplo
Ejemplo
Calcular ZZ
máx{x, y } dxdy
E
Integral de Lebesgue
RR
Ejemplo E máx{x, y } dxdy . Cont.
Ejemplo (Cont.)
ZZ Z 5π/4 Z 2
2 16
y dxdy = r sen θ dr dθ = ,
D1 π/4 0 3
ZZ Z π/4 Z 2
2 16
x dxdy = r cos θ dr dθ = .
D2 −3π/4 0 3
ZZ
32
máx{x, y } dxdy = .
E 3
Integral de Lebesgue
Cambio de variables a esféricas, v.1
Integral de Lebesgue
Coordenadas esféricas. Cont.
x = r cos ψ cos θ,
y = r cos ψ sen θ, det(Jac)(esf.) = −r 2 cos ψ.
z = r sen ψ,
Integral de Lebesgue
Región: x 2 + y 2 + z 2 = 2Rz, z 2 = x 2 + y 2
0.5 1.0
-0.5 0.0
-1.0
2.0
1.5
1.0
0.5
-1.0
-0.5
0.0
0.0
0.5
1.0
Dibujo con R = 1.
Integral de Lebesgue
Ejemplo
Ejemplo
Calcular ZZZ p
x 2 + y 2 + z 2 dxdydz
V
Integral de Lebesgue
Ejemplo
Ejemplo
Calcular ZZZ p
x 2 + y 2 + z 2 dxdydz
V
ZZZ p
x 2 + y 2 + z 2 dxdydz
V
ZZZ √
3 1 2 4
= r cos ψ dr dψ dθ = 8π( − )R ,
∆ 5 40
donde ∆ = {0 < r < 2R sen ψ, 0 < θ < 2π, π/4 < ψ < π/2}.
Integral de Lebesgue
Cambio de variable a esféricas, v.2
Integral de Lebesgue
Cambio a coordenadas esféricas para funciones integrables,
v1
g : A → R mediante
Integral de Lebesgue
Cambio a coordenadas esféricas para funciones integrables,
v1. Cont.
Integral de Lebesgue
Cambio a coordenadas cilı́ndricas para funciones
integrables
Ejemplo
Calcular el volumen del cuerpo limitado por el paraboloide
z = x 2 + y 2 y el por el cono z 2 = x 2 + y 2 .
Integral de Lebesgue
Ejemplo
Ejemplo
Calcular el volumen del cuerpo limitado por el paraboloide
z = x 2 + y 2 y el por el cono z 2 = x 2 + y 2 .
Si V es la región limitado z = x 2 + y 2 , z 2 = x 2 + y 2 ,
ZZZ ZZZ
m3 (V ) = dxdydz = r dr dθ dz,
V K
donde
√
K = {(r , θ, z) : z < r < z, 0 < θ < 2π, 0 < z < 1}.
√ ! !
Z 1 Z 2π Z z Z 1
π
m3 (V ) = r dr dθ dz = π (z − z 2 ) dz = .
0 0 z 0 6
Integral de Lebesgue
Aplicaciones geométricas de la integral de Lebesgue.
Volumen
Integral de Lebesgue
Aplicaciones geométricas de la integral de Lebesgue.
Volumen
n = 1: m1 (E ) longitud;
n = 2: m2 (E ) área;
n = 3: m3 (E ) volumen.
Integral de Lebesgue
Ejemplo
Ejemplo
Calcular el volumen del cuerpo limitado por el paraboloide
z = x 2 + y 2 y el por el cono z 2 = x 2 + y 2 .
Integral de Lebesgue
Ejemplo
Ejemplo
Calcular el volumen del cuerpo limitado por el paraboloide
z = x 2 + y 2 y el por el cono z 2 = x 2 + y 2 .
Si V es la región limitado z = x 2 + y 2 , z 2 = x 2 + y 2 ,
ZZZ ZZZ
m3 (V ) = dxdydz = r dr dθ dz,
V K
donde
√
K = {(r , θ, z) : z < r < z, 0 < θ < 2π, 0 < z < 1}.
√ ! !
Z 1 Z 2π Z z Z 1
π
m3 (V ) = r dr dθ dz = π (z − z 2 ) dz = .
0 0 z 0 6
Integral de Lebesgue
Masa de una lámina
Integral de Lebesgue
Masa
Integral de Lebesgue
Centro de gravedad
Integral de Lebesgue
Momento de inercia
Integral de Lebesgue
Ejemplo
Ejemplo
Hallar el centro de gravedad de un semicı́rculo de radio a.
Integral de Lebesgue
Ejemplo
Ejemplo
Hallar el centro de gravedad de un semicı́rculo de radio a.
Sea S el semicı́rculo de radio a con su diámetro apoyado en el eje
X . Se asume que la densidad de masa ρ es constante.
RR
y ρ dxdy
ZZ
S 1
xG = 0, yG = RR = a2 π y dxdy
S ρ dxdy S
2
A = Ld.
Integral de Lebesgue
Teorema de Papus-Guldin
Integral de Lebesgue
Teorema de Papus-Guldin
Z b q
= 2πf (ζ) 1 + (f 0 (x))2 dx = 2πf (ζ)L.
a
Integral de Lebesgue
Tres principios de Littlewood
Integral de Lebesgue
Tres principios de Littlewood
Integral de Lebesgue
Tres principios de Littlewood
Integral de Lebesgue
Rectángulos próximos a un conjunto medible
Lema
Sea A ∈ Md tal que md (A) < ∞, entonces para todo > 0 existe
una cantidad finita de rectángulos R1 , R2 . . . , Rn en Rd tal que
Integral de Lebesgue
Rectángulos próximos a un conjunto medible. Cont.
Lema
Sea A ∈ Md . Entonces
Lema
Sea G es un abierto en Rd . Existe una sucesión de rectángulos
{Rn : n ∈ N} disjuntos dos a dos tales que
[
G= Rn
n∈N
Integral de Lebesgue
Convergencia vs convergencia uniforme
Teorema (Egorov)
Sea E ∈ Md tal que md (E ) < ∞. Para cada n ∈ N, sea
fn : E → R una función medible tal que
uniformemente en A.
Integral de Lebesgue
Demostración del teorema de Egorov
1
md (E \ Ekn ,n ) < .
2n
Integral de Lebesgue
Demostración del teorema de Egorov. Cont.
Ek,n = {x ∈ E : |fj (x) − f (x)| < 1/n, ∀j > k},
md (E \ Ekn ,n ) < 21n
Entonces
[ ∞
X
md (E \ A) = md ( (E ∩ Ekcn ,n )) ≤ md (E \ Ekn ,n ) < .
n≥N n=N
Teorema (Egorov)
Sea E ∈ Md tal que md (E ) < ∞. Para cada n ∈ N, sea
fn : E → R una función medible tal que
uniformemente en A.
Integral de Lebesgue
L y funciones continuas
Teorema (Lusin)
Sean E ∈ Md con md (E ) < ∞, f : E → R una función en L.
Entonces para todo > 0 existe un conjunto A ⊂ E tal que
md (E \ A) < , md (E \ A) < ,
y f |A es continua en A.
Integral de Lebesgue
L y funciones continuas
Integral de Lebesgue
L y funciones continuas
Integral de Lebesgue
Rb
a |f (x) − g (x)| dx < , f ∈ L(a, b), g ∈ C(a, b)
Integral de Lebesgue