Vous êtes sur la page 1sur 201

Integral de Lebesgue

σ−álgebra: Borel y Lebesgue Ir a la Sección 1

Medida de Borel-Lebesgue Ir a la Sección 2

Función medible; función simple Ir a la Sección 3

Integral de Lebesgue Ir a la Sección 4 Ir a la Sección 6

Teorema de convergencia monótona Ir a la Sección 5

Propiedad en casi todo punto Ir a la Sección 7

Teorema de convergencia dominada Ir a la Sección 8

Ir a la Sección 10 Ir a la Sección 11

Integral de Lebesgue vs integral de Riemann Ir a la Sección 9

Teorema de Fubini Ir a la Sección 12

Cambio de variables Ir a la Sección 13

Aplicaciones de la integral de Lebesgue Ir a la Sección 14

Principios de Littlewood Ir a la Sección 15

Integral de Lebesgue
Motivación

Integral de Riemann. Sean a < b números reales y f una


función continua en [a, b].
Z b X
f (x) dx = lı́m f (tj )(xj+1 − xj )
a kPk→0

donde P = {x0 , . . . , xn : a = x0 < x1 < . . . < xn = b} recorre


las particiones del intervalo, tj ∈ [xj , xj+1 ] y
kPk = máx{xj+1 − xj : j}
Lebesgue (1910). La idea fundamental de la integral de
Lebesgue es hacer una partición de f ([a, b]) ⊂ [c, d]. Si
P = {c = y0 < y1 < . . . < yn = d},
Z b X
yj m f −1 ([yj , yj+1 ))

f (x) dx = lı́m
a kPk→0

donde m f −1 ([yj , yj+1 )) es la “longitud” del conjunto




f −1 ([yj , yj+1 )).


Integral de Lebesgue
Motivación

Integral de Riemann. Sean a < b números reales y f una


función continua en [a, b].
Z b X
f (x) dx = lı́m f (tj )(xj+1 − xj )
a kPk→0

donde P = {x0 , . . . , xn : a = x0 < x1 < . . . < xn = b} recorre


las particiones del intervalo, tj ∈ [xj , xj+1 ] y
kPk = máx{xj+1 − xj : j}
Lebesgue (1910). La idea fundamental de la integral de
Lebesgue es hacer una partición de f ([a, b]) ⊂ [c, d]. Si
P = {c = y0 < y1 < . . . < yn = d},
Z b X
yj m f −1 ([yj , yj+1 ))

f (x) dx = lı́m
a kPk→0

donde m f −1 ([yj , yj+1 )) es la “longitud” del conjunto




f −1 ([yj , yj+1 )).


Integral de Lebesgue
Motivación. Cont.

El concepto de integral de Lebesgue permite responder a problemas


que en el contexto de la integral de Riemann son difı́ciles:
Dar una definición de integral
Z
f
A

sencilla para conjuntos y funciones generales. Por ejemplo,


cuando A ⊂ Rn es compacto y f : A → R una función
continua en A.
Caracterizar las funciones que son Riemann integrable en un
intervalo de R.
¿Cuándo se cumple la igualdad
Z b Z b
lı́m fn (x) dx = lı́m fn (x) dx?
n a a 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

¿Cómo debe ser f −1 ([yj , yj+1 ))?

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 ∅ ∈ Σ;

2 si (A )+∞ ⊂ Σ, entonces ∪+∞ A ∈ Σ;


k k=1 k=1 k
c
3 si A ∈ Σ, entonces A ∈ Σ;

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, ∞]

Necesitamos trabajar en [0, ∞].


Una base de la topologı́a en [0, ∞] son los conjuntos de la forma
(α, ∞], con α > 0, y los subconjuntos de [0, ∞] que se obtienen
como la intersección de abierto de R y el conjunto [0, ∞]. Por
ejemplo, son abiertos los intervalos de la forma [0, α), (α, β) en
[0, ∞] y las uniones de ellos.

Un conjunto A ⊂ [0, ∞], A 6= [0, ∞], es abierto si es la unión de


conjuntos de la base anterior.

El orden en [0, ∞] es el que se hereda de [0, ∞) y además, para


todo a ∈ [0, ∞) se tiene a < ∞.

Integral de Lebesgue
Medida de Borel-Lebesgue
Topologı́a y orden en [0, ∞]

Necesitamos trabajar en [0, ∞].


Una base de la topologı́a en [0, ∞] son los conjuntos de la forma
(α, ∞], con α > 0, y los subconjuntos de [0, ∞] que se obtienen
como la intersección de abierto de R y el conjunto [0, ∞]. Por
ejemplo, son abiertos los intervalos de la forma [0, α), (α, β) en
[0, ∞] y las uniones de ellos.

Un conjunto A ⊂ [0, ∞], A 6= [0, ∞], es abierto si es la unión de


conjuntos de la base anterior.

El orden en [0, ∞] es el que se hereda de [0, ∞) y además, para


todo a ∈ [0, ∞) se tiene a < ∞.

Integral de Lebesgue
Aritmética en [0, ∞]

Extendemos la aritmética en [0, ∞).


Tomamos a ∈ [0, ∞), b ∈ (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, ∞]

que tiene las propiedades:


1 mn (∅) = 0;
2 Si (Ak )∞
k=1 ⊂ Bn son disjuntos dos a dos, entonces


[ ∞
X
mn ( Ak ) = mn (Ak );
k=1 k=1

3 Siempre que −∞ < aj < bj < ∞ para j = 1, . . . , n, se tiene


n
Y n
Y
mn ( [aj , bj )) = (bj − aj ).
j=1 j=1
Integral de Lebesgue
Medida positiva

Definición (medida positiva)


Si Σ es una σ−álgebra de conjuntos, una medida positiva en Σ es
una función µ : Σ → [0, ∞] que cumple:
1 µ(∅) = 0;
2 Si (Ak )∞
k=1 ⊂ Σ son disjuntos dos a dos, entonces


[ ∞
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 .

Las propiedades anteriores caracterizan la medida de


Borel-Lebesgue.
Al decir que existe una tal aplicación estamos diciendo que es
posible medir los borelianos de Rn .
La medida m1 (denotada habitualmente por m) expresa
matemáticamente el concepto de longitud; m2 expresa el área;
y m3 el volumen.

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

2 Si A ⊂ B son conjuntos en Bn , entonces

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

Definición (conjunto Lebesgue-medible)


A ⊂ Rn es medible en el sentido de Lebesgue (o
medible–Lebesgue) si existen B, C en Bn tales que

B ⊆ A ⊆ C, mn (C \ B) = 0.

Denotamos Mn la clase de tales conjuntos.

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.

En tal caso, mn (A) := mn (B). ¡La medida de Borel-Lebesgue


se extiende a Mn !

Integral de Lebesgue
Propiedades de Mn

Lema
Sea A ∈ Mn , entonces

mn (A) = sup{mn (K ) : K ⊂ A, K compacto}


= ı́nf{mn (U) : A ⊂ U, Uabierto}

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

Sean Ij , j = 1, . . . , In intervalos en R. Entonces


n
Y n
Y
mn ( Ij ) = m1 (Ij ).
j=1 j=1

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).

Además, si mn (B) < ∞, mn (B \ A) = mn (B) − mn (A).


Si {Ak : k ∈ N} ⊂ Mn es una sucesión creciente,
[
mn ( Ak ) = lı́m mn (Ak ).
k→∞
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 {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 ,

mn (L(A)) = |det(M)| mn (A).

Integral de Lebesgue
Ejercicio

Ejercicio
Probar que todo intervalo n−dimensional es un conjunto boreliano.
Además, si
n
Y
I = Ij ,
j=1

donde Ij es un intervalo en R con extremos aj ≤ bj , entonces


n
Y
mn (I ) = (bj − aj ).
j=1

Integral de Lebesgue
Función Lebesgue-medible

Definición. Sea E ∈ Bn y f : E → R una función. Diremos que f


es una función Borel-medible (o simplemente, medible) si se
cumple f −1 (A) ∈ Bn para todo A abierto en R.

Más general, si (X , T ) es un espacio topológico y f : E → X es


una función, se dice que f es una función medible si f −1 (A) ∈ Bn
para todo A ∈ T .

Nota. Observar que si la función f : E → R es medible, para todo


A abierto en R se cumple

f −1 (A) ∈ Bn .

Cuando cambiamos Bn por Mn , hablamos de funciones


Lebesgue-medibles.

Integral de Lebesgue
Función Lebesgue-medible

Definición. Sea E ∈ Bn y f : E → R una función. Diremos que f


es una función Borel-medible (o simplemente, medible) si se
cumple f −1 (A) ∈ Bn para todo A abierto en R.

Más general, si (X , T ) es un espacio topológico y f : E → X es


una función, se dice que f es una función medible si f −1 (A) ∈ Bn
para todo A ∈ T .

Nota. Observar que si la función f : E → R es medible, para todo


A abierto en R se cumple

f −1 (A) ∈ Bn .

Cuando cambiamos Bn por Mn , hablamos de funciones


Lebesgue-medibles.

Integral de Lebesgue
Imagen inversa

Sean X e Y dos conjuntos y f : X → Y una función. Se define

f −1 : P(Y ) → P(X ), f −1 (A) := {x ∈ X : f (x) ∈ A},

para A ⊂ Y . Entonces

f −1 (Ac ) = (f −1 (A))c .

Además, para toda familia de conjuntos {Ai : i ∈ I } ⊂ Y , se tiene

f −1 (∪i∈I Ai ) = ∪i∈I f −1 (Ai ), f −1 (∩i∈I Ai ) = ∩i∈I f −1 (Ai ).

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

Es obvio que 1 ⇒ 2 ⇒ 3. Veamos ahora que 3 ⇒ 4. Sea a ∈ R.


Entonces \ 1
(−∞, a] = (−∞, a + ),
n
n∈N
\ 1
f −1 ((−∞, a]) = f −1 ((−∞, a + )) ∈ Bd .
n
n∈N

Se tiene 4 ⇒ 5 porque
c
f −1 ((a, ∞)) = f −1 ((−∞, a])

Integral de Lebesgue
Demostración. Cont.

Veamos que 2 ⇒ 1. Sea A un conjunto abierto cualquiera de R;


entonces existe una cantidad contable de intervalos abiertos {In },
disjuntos dos a dos, tales que A = ∪n In ; ası́,

f −1 (A) = f −1 (∪n In ) = ∪n f −1 (In );

si se cumple 2, entonces f −1 (In ) ∈ Bd , ∀n; y también,


∪n f −1 (In ) ∈ Bd .

Integral de Lebesgue
Demostración. Cont.

Veamos ahora que 3 ⇒ 2. Como 3 ⇒ 4, podemos admitir que 4


también es cierto. Sea I un intervalo abierto en R; el caso más
interesante es I = (a, b) con a, b en R, a < b. Como

I = (a, b) = (−∞, b) \ (−∞, a] = (−∞, b) ∩ (−∞, a]c ,

utilizando 3 y 4 tenemos
c
f −1 (I ) = f −1 ((−∞, b)) ∩ f −1 ((−∞, b]) ∈ Bd .

Las otras implicaciones se prueban de manera similar.

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

f + (x) = máx{f (x), 0}, f − (x) = − mı́n{f (x), 0}.


Integral de Lebesgue
Propiedades de las funciones medibles. Cont.
Lema
9 sup
k∈N fk , ı́nf k∈N fk son medibles.
10 lı́m supk∈N fk , lı́m inf k∈N fk son medibles.
11 Si (fk (x))+∞
k=1 tiene lı́mite, para todo x ∈ E , lı́mk→∞ fk es
medible.
12 {x ∈ E : ∃ lı́mk→+∞ fk (x)} es medible Borel.
13 Si f (x) ∈ J para todo x ∈ E y φ : J → R es continua, φ ◦ f es
medible.
14 Si f (x) ≥ 0 y a > 0, f a es medible.
15 Si f 6= 0 para todo x ∈ E 1/f es medible.
16 Si A ∈ Bd con A ⊆ E , f |A es medible.
17 Si (Ek )+∞ +∞
k=1 ⊂ Bd son tales que E = ∪k=1 Ek y h|Ek es medible
para todo k, entonces h es medible.
18 Si (Ek )N N
k=1 ⊂ Bd son tales que E = ∪k=1 Ek y h|Ek es medible
para todo k, entonces h es medible.
Integral de Lebesgue
Demostración

Si f : E → R es continua en E , entonces para todo U abierto en


R, se tiene que f −1 (U) es abierto en E . Por la definición de la
topologı́a inducida, existe A abierto en Rd tal que
f −1 (U) = E ∩ A. Por tanto, f −1 (U) ∈ Md .
Como las funciones constantes son continuas, ellas también son
medibles, que es el apartado (2) de este lemma.

Integral de Lebesgue
Demostración. Cont.

Veamos que la suma de funciones medibles es una función medible.


Sean a ∈ R,
A = {x ∈ E : f (x) + g (x) > a}.
y para cada r ∈ Q
 \ 
Ar := {x ∈ E : f (x) > r } {x ∈ E : g (x) > a − r } .
S S
Entonces A = r ∈Q Ar . En efecto, si x ∈ r ∈Q Ar , existe r0 ∈ Q
tal que
 ^ 
x ∈ Ar0 ⇒ f (x) > r0 g (x) > a − r0 ⇒ f (x) + g (x) > a.

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

La demostración del resto de propiedades queda como ejercicio.


Integral de Lebesgue
Función simple
Definición (función simple)
Sea A ∈ Bd . Decimos que una función s : A → [0, ∞) es una
función simple en A si es una función medible que toma un número
finito de valores en [0, ∞).

Definición (representación estándar)


Sea A ∈ Md . Sea f una función simple en A, sea N la cantidad de
valores distintos que toma f en A y enumeramos ese rango de
valores por {aj : j = 1, . . . , N} ⊂ [0, +∞), aj 6= ak , ∀j 6= k.
Denotamos Aj = f −1 ({aj }). Observar que Aj ∈ Bd y
Aj ∩ Ak = ∅, ∀j 6= k. Escribimos

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

f : R → R, f (x) = χ[0,2) (x) + 3χ[1,5] (x)

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

f (x) = (r .e.)χ[0,1) (x) + 4χ[1,2) (x) + 3χ[2,5]

es una función simple medible.

Integral de Lebesgue
Función simple. Cont.

Lema (Propiedades de las funciones simples)


1 La suma de funciones simples es simple.
2 Una función simple multiplicada por un escalar positivo es
simple.
3 TodaPfunción, digamos f , expresada de laPforma
f = N a χ
j=1 j Aj es simple. Sin embargo, N
j=1 aj χAj no es
necesariamente su forma estándar.

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} .

Sea sN : Rn → [0, ∞), N ∈ N, las funciones simples definidas


por
N2 N
X k
sN (x) := χE (x)
2N k,N
k=0

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

Definición (Integral de una función simple)


Sea E ∈ Bn y f : E → [0, ∞) una función simple con
N
X
f = (f .e.) aj χAj ,
j=1

definimos la integral de f como


N
X
I (f ) := aj mn (Aj ).
j=1

Se suele escribir
Z Z
I (f ) = IE (f ) = f = f.
E

Integral de Lebesgue
Integral de una función simple

Definición (Integral de una función simple)


Sea E ∈ Bn y f : E → [0, ∞) una función simple con
N
X
f = (f .e.) aj χAj ,
j=1

definimos la integral de f como


N
X
I (f ) := aj mn (Aj ).
j=1

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

2 Sean λ : Bd →: [0, ∞] definida por


Z Z
λ(E ) = (χE f ) = f, ∀E ∈ Bd .
A A∩E

Se tiene que λ es una medida positiva en Bd .


3 Si f (x) ≤ g (x), x ∈ A,
Z Z
f ≤ g.
A A

Integral de Lebesgue
Integral de una función positiva

Definición (integral de funciones medibles positivas)


Sean A ∈ Md , f : A → [0, ∞] una función medible. Definimos
Z
f := sup{IA (s) : s(x) ≤ f (x), ∀x ∈ A, s función simple en A}.
A

Otras notaciones son


Z Z Z
f = f (x) dx = f (x1 , x2 . . . , xd ) dx1 dx2 . . . dxd ,
A A A

donde x denota una variable d-dimensional, y x1 , x2 , . . . , xn


denotan variables 1-dimensionales.

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

Teorema (convergencia monótona)


Sea E ∈ Bd . Dada (fk )+∞
k=1 : E → [0, +∞] una sucesión monótona
creciente de funciones medibles, i. e. fk (x) ≤ fk+1 (x), se tiene que
Z Z
lı́m fk = lı́m fk .
E k→+∞ k→+∞ E

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

Teorema (convergencia monótona)


Sea E ∈ Bd . Dada (fk )+∞
k=1 : E → [0, +∞] una sucesión monótona
creciente de funciones medibles, i. e. fk (x) ≤ fk+1 (x), se tiene que
Z Z
lı́m fk = lı́m fk .
E k→+∞ k→+∞ E

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

lı́m fn (x) =: f (x), x ∈ E.


n→∞

Como cada función fn es medible, f es también medible.


Para cada n ∈ N, fn (x) ≤ fn+1 (x) ≤ f (x), x ∈ E . Por la
monotonı́a de la integral se tiene
Z Z Z
fn ≤ fn+1 ≤ f.
E E E
R
De modo que la sucesión { E fn : n ∈ N} es una sucesión
monótona creciente en [0, ∞] y podemos concluir que
Z Z
lı́m fn ≤ f.
n→∞ E E

Integral de Lebesgue
Demostración del teorema de convergencia monótona.
Cont.

Paso 2. Sea α ∈ (0, 1) y s una función simple tal que


0 ≤ s(x) ≤ f (x), ∀x ∈ A y

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.

Veamos que la otra desigualdad también es válida. Sean α ∈ (0, 1)


y s una función simple tal que 0 ≤ s(x) ≤ f (x), ∀x ∈ A. Definimos

An := {x ∈ A : fn (x) ≥ αs(x)}.

Entonces {An : n ∈ N} es una sucesión creciente de conjuntos


medibles tal que ∪n∈N An = A; en efecto, si x ∈ A, entonces
lı́mn fn (x) = f (x) ≥ αs(x), de modo que existe n0 tal que
[
fn0 (x) ≥ αs(x) ⇒ x ∈ An0 ⇒ x ∈ An .
n∈N

Integral de Lebesgue
Demostración del teorema de convergencia monótona.
Cont.

Como la función λ : Md → [0, ∞]


Z Z
λ(B) = χB s = s
A A∩B

es una medida positiva en Md ,


Z [ Z Z
s = λ(A) = λ( An ) = lı́m λ(An ) = lı́m s = lı́m s.
A n→∞ n A∩An n An
n∈N

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

Tomando lı́mite en n, nos queda


Z Z
αλ(A) = α s ≤ lı́m fn .
A n A

Como s es una función simple cualquiera s ≤ f ,


Z Z
α f ≤ lı́m fn
A n A

y como α es un número arbitrario en (0, 1), se concluye la otra


desigualdad que querı́amos probar.
Integral de Lebesgue
Propiedades de la integral de funciones medibles positivas

Proposición. Sean C , D, E ∈ Bn , (Ek )+∞


k=1 ⊂ Bn , a ∈ [0, +∞], f ,
g funciones medibles positivas definidas en E , (fk )+∞
k=1 una sucesión
de funciones medibles positivas definidas en E .
1 Si f0 : Rn → [0, +∞] es tal que f0 (x) = f (x) cuando x ∈ E y
f0 (x) = 0 si x ∈
/ E, Z Z
f = f0 .
E Rn
Z Z
2 Si f ≤ g en E , entonces f ≤ g.
Z Z E E

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

3 (Teorema de convergencia monótonaZ para sucesiones


decrecientes.) Si f k (x) ≥ fk+1 (x) e f1 < +∞ se tiene que
E
Z Z
lı́m fk = lı́m fk .
E k→+∞ k→+∞ 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

Lema. Sean E ∈ Bd , {fn }n∈N una sucesión de funciones medibles


positivas en E . Entonces
Z Z
lı́m inf fk ≤ lı́m inf fk .
E k→∞ k→∞ E

Integral de Lebesgue
Demostración

Sea f (x) = lı́m inf fk (x), x ∈ E . Entonces f es una función positiva


y medible en E .
Sea
gn (x) = ı́nf{fn (x), fn+1 (x), . . .}, x ∈ E , n ∈ N.
Entonces {gn } es una sucesión monótona creciente de funciones
medibles positivas en E , que satisfacen

gn (x) ≤ fk (x), ∀k ≥ n, x ∈ E,

lı́m gn (x) = lı́m inf fk (x) = f (x), x ∈ E.


n→∞ k→∞

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

Por otra parte, según el teorema de Convergencia Monótona, se


tiene Z Z Z Z
lı́m gn = lı́m gn = f = lı́m inf fk .
n→∞ E E n→∞ E E k→∞
Combinando las últimas dos relaciones probadas, sigue la
conclusión buscada.

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

Se denota f ∈ L(E ) o bien f ∈ L1 (E ).

Observación. Equivalentemente, podemos decir que f es


integrable si y sólo si f + , f − son medibles e
Z Z
+
f < ∞, f − < +∞.
E E
+ −
f := máx{f , 0}, f := máx{−f , 0}
f (x) = f +
− f , |f (x)| = f + + f −

Z Z Z
f := +
f − f−
E E 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

Se denota f ∈ L(E ) o bien f ∈ L1 (E ).

Observación. Equivalentemente, podemos decir que f es


integrable si y sólo si f + , f − son medibles e
Z Z
+
f < ∞, f − < +∞.
E E
+ −
f := máx{f , 0}, f := máx{−f , 0}
f (x) = f +
− f , |f (x)| = f + + f −

Z Z Z
f := +
f − f−
E E E
Integral de Lebesgue
Lema
Dada f definida en E , medible,Rcon valores en [0, +∞) se tiene
que f es integrable si y sólo si E f < +∞.

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. Sean C ∈ Bn , D ∈ Bn , E ∈ Bn , (Ek )+∞ k=1 ⊂ Bn ,


a ∈ R, f , g funciones integrales definidas en E , (fk )+∞
k=1 una
sucesión de funciones medibles con valores reales definidas en E .
Sea h función medible con valores reales definida en E .
1 Si f0 : Rn → R es tal que f0 (x) = f (x) cuando x ∈ E y
/ E , se tiene que f0 ∈ L(Rn ). Además,
f0 (x) = 0 si x ∈
Z Z
f = f0 .
E Rn
2 Una función constante no nula C está en L(E
Z ) si y sólo si
mn (E ) < +∞. Además, en caso afirmativo, C = Cmn (E ).
Z Z E
3 Si f ≤ g en E , entonces f ≤ g.
E E
4 Si D ⊆ E , f ∈ L(D).
5 Si |h| ≤ |f |, entonces h ∈ L(E ).
Integral de Lebesgue
Propiedades de la integral de funciones medibles reales.
Cont.

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

Definición (propiedad en casi todo punto)


Sea E ∈ Mn . Supongamos que tenemos asociado a cada elemento
x ∈ E una cierta proposición P(x) tal que P(x) se cumple ó no,
pero no se tiene otra situación. Decimos que

P(x) c. t. p. x ∈ E

y leemos

P(x) en casi todo punto de E

si N := {x ∈ E : P(x) es falsa} es tal que N ∈ Mn y mn (N) = 0.

Integral de Lebesgue
Definición de propiedad en casi todo punto

Definición (propiedad en casi todo punto)


Sea E ∈ Mn . Supongamos que tenemos asociado a cada elemento
x ∈ E una cierta proposición P(x) tal que P(x) se cumple ó no,
pero no se tiene otra situación. Decimos que

P(x) c. t. p. x ∈ E

y leemos

P(x) en casi todo punto de E

si N := {x ∈ E : P(x) es falsa} es tal que N ∈ Mn y mn (N) = 0.

Integral de Lebesgue
Ejemplos de c.t.p.

Proposición. Sean E ∈ Md , la función


R f : E → [0, +∞]
Lebesgue-medible. Se tiene que E f = 0 si y sólo si f (x) = 0 c. t.
p. x ∈ E .
Demostración. Si f = 0 c.t.p. E , entonces

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.

Proposición. Sean E ∈ MRd y la función f : E → [0, +∞]


Lebesgue-medible tal que E f < +∞. Entonces f (x) < +∞ c. t.
p. x ∈ E .

Integral de Lebesgue
Ejemplos de c.t.p. Cont.

Proposición. Sean E ∈ MRd y la función f : E → [0, +∞]


Lebesgue-medible tal que E f < +∞. Entonces f (x) < +∞ c. t.
p. x ∈ E .
Demostración. Sean
Z
F := {x ∈ E : f (x) = ∞}, En := {x ∈ E : f (x) > n}, L := f.
E

Entonces F , En ∈ Md , {En } decreciente,


Z
L
L= f ≥ nmd (En ) ⇒ md (En ) < ,
En n

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.

Proposición. Sean E ∈ Md , f , g : E → [0, +∞] funciones tales


que f es Lebesgue-medible y f (x)R= g (x)R c. t. p. x ∈ E . Entonces
g es Lebesgue medible. Además, E f = E g .

Integral de Lebesgue
Ejemplos de c.t.p. Cont.

Proposición. Sean E ∈ Md , f , g : E → [0, +∞] funciones tales


que f es Lebesgue-medible y f (x)R= g (x)R c. t. p. x ∈ E . Entonces
g es Lebesgue medible. Además, E f = E g .
Demostración. Sea N = {x ∈ E : f (x) 6= g (x)}. Entonces N ∈ M
y md (N) = 0.
Veamos que g es una función Lebesgue-medible. Para todo α ∈ R,
se tiene {f > α} ∈ Md . Además,

{x ∈ g (x) > α}
= ({x ∈ E : f (x) > α} ∩ N c ) ∪ ({x ∈ E :∈ g (x) > α} ∩ N).

Como ({x ∈ g (x) > α} ∩ N) ⊂ N, entonces él es


Lebesgue-medible. También {x ∈ f (x) > α} ∩ N c es
Lebesgue-medible porque es la intersección de conjuntos
Lebesgue-medible.

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.

Proposición. Sean f , g : E → R tales que f (x) = g (x) c. t. p. de


E . Entonces f ∈ L(E ) siR y sóloRsi g ∈ L(E ). Además, en caso
afirmativo se tiene que E f = E g .

Integral de Lebesgue
Lı́mite en c.t.p.

Proposición. Sean E ∈ Md , (fn )n≥1 : E → R funciones


Lebesgue-medibles y f : E → R una función tales que

lı́m fn = f c.t.p. de E
n

Entonces f es una función medible.

Integral de Lebesgue
Lı́mite en c.t.p.

Proposición. Sean E ∈ Md , (fn )n≥1 : E → R funciones


Lebesgue-medibles y f : E → R una función tales que

lı́m fn = f c.t.p. de E
n

Entonces f es una función medible.

Nota. Si N ⊂ E el conjunto donde no existe el lı́mite anterior y la


función f puede estar definida en los puntos de N de cualquier otra
forma.

Integral de Lebesgue
Teorema de la convergencia dominada

Teorema (de la convergencia dominada)


Sea E ∈ Mn . Sea (fk )+∞
k=1 : E → R una sucesión de funciones
Lebesgue-medibles tales que:
1 ∃ lı́mk→+∞ fk (x) = f (x) c. t. p. x ∈ E .
2 Existe
R g : E → [0, +∞] Lebesgue-medible tal que
E g < +∞, |fk (x)| ≤ g (x) c.t.p. x ∈ E para todo k ∈ N.
Entonces f ∈ L(E ), fk ∈ L(E ) para todo k ∈ N, y se tiene:
Z Z Z Z
f = lı́m fk = lı́m fk , lı́m |fk − f | = 0.
E E k→∞ k→∞ E k E

Integral de Lebesgue
Teorema de la convergencia dominada

Teorema (de la convergencia dominada)


Sea E ∈ Mn . Sea (fk )+∞
k=1 : E → R una sucesión de funciones
Lebesgue-medibles tales que:
1 ∃ lı́mk→+∞ fk (x) = f (x) c. t. p. x ∈ E .
2 Existe
R g : E → [0, +∞] Lebesgue-medible tal que
E g < +∞, |fk (x)| ≤ g (x) c.t.p. x ∈ E para todo k ∈ N.
Entonces f ∈ L(E ), fk ∈ L(E ) para todo k ∈ N, y se tiene:
Z Z Z Z
f = lı́m fk = lı́m fk , lı́m |fk − f | = 0.
E E k→∞ k→∞ E k E

Integral de Lebesgue
Demostración

Haremos la demostración sustituyendo en las hipótesis del teorema


la condición de “casi todo punto” por “en todo punto”. Con
pequeñas variaciones técnicas se demuestra la situación más
general. Ası́, el teorema que demostraremos será:
Teorema
Sea E ∈ Bn . Sea (fk )+∞
k=1 : E → R una sucesión de funciones
medibles tales que:
1 ∃ lı́mk→+∞ fk (x) = f (x), ∀x ∈ E .
R
2 Existe g : E → [0, +∞] medible tal que E g < +∞,
|fk (x)| ≤ g (x), ∀x ∈ E , para todo k ∈ N.
Entonces f ∈ L(E ), fk ∈ L(E ) para todo k ∈ N, y se tiene
Z Z Z Z
f = lı́m fk = lı́m fk , lı́m |fk − f | = 0.
E E k→∞ k→∞ E k E

Integral de Lebesgue
Demostración. Cont.

Paso 1. Demostrar que fk ∈ L(E ), ∀k, f ∈ L(E ).


Como cada fk es medible,

|fk (x)| ≤ g (x), |f (x)| ≤ g (x), ∀x ∈ E ,

y g ∈ L(E ), entonces fk ∈ L(E ) y f ∈ L(E ).


Paso 2. Probar que Z Z
lı́m fk = f .
k

Se prueba más, Z
lı́m |fk − f | = 0.
k

Integral de Lebesgue
Demostración. Cont.

Como |fk − fn | ≤ 2g y tomando lı́mite en n, nos queda

|fk − f | ≤ 2g

Aplicando el lema de Fatou a las funciones 2g − |fk − f |, que son


medibles y positivas, nos queda
Z Z Z
2g = lı́m inf(2g − |fk − f |) ≤ lı́m inf (2g − |fk − f |)
E E E
Z  Z 
= 2 g + lı́m inf − |fk − f |
E
ZE Z
= 2 g − lı́m sup |fk − f |
E E

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

Teorema de la convergencia dominada para series. Sea


E ∈ Bn . Sea (hk )+∞
k=1 : E → R una sucesión de funciones medibles
tales que
X+∞ Z
|hk | < +∞.
k=1 E

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

y aplicar el teorema de convergencia dominada de Lebesgue,


teniendo en cuenta que


Xn X n X
|fn (x)| ≤ hk (x) ≤ |hk (x)| ≤ |hk (x)| = g (x),


k=1 k=1 k=1

∀n ∈ N y c.t.p. x ∈ E .

Integral de Lebesgue
Ejemplo

Sean a, b reales, a ≤ b, se tiene


Z
χQ = 0.
[a,b]

Porque
m1 (Q) = 0,
χQ = 0 c.t.p. de R.

Integral de Lebesgue
La integral de Riemann

Recordamos algunas ideas sobre integración Riemann. Sean


−∞ < a < b < +∞. Dada f : [a, b] → R acotada y
P = (a0 , a1 , . . . , aN ) partición de [a, b]
(a0 = a < a1 < · · · < an = b) definimos las sumas inferior y
superior de Darboux:
N
X
I (f , P) = (aj − aj−1 ) ı́nf f (x)
aj−1 ≤x<aj
j=1

N
X
S(f , P) = (aj − aj−1 ) sup f (x).
aj−1 ≤x<aj
j=1

Se tiene que I (f , P) ≤ S(f , P).


Cuando refinamos una partición la suma inferior crece y la superior
decrece.

Integral de Lebesgue
La integral de Riemann

Recordamos algunas ideas sobre integración Riemann. Sean


−∞ < a < b < +∞. Dada f : [a, b] → R acotada y
P = (a0 , a1 , . . . , aN ) partición de [a, b]
(a0 = a < a1 < · · · < an = b) definimos las sumas inferior y
superior de Darboux:
N
X
I (f , P) = (aj − aj−1 ) ı́nf f (x)
aj−1 ≤x<aj
j=1

N
X
S(f , P) = (aj − aj−1 ) sup f (x).
aj−1 ≤x<aj
j=1

Se tiene que I (f , P) ≤ S(f , P).


Cuando refinamos una partición la suma inferior crece y la superior
decrece.

Integral de Lebesgue
La integral de Riemann. Cont.

La integral superior de Darboux


Z b
S(f ) = f (x)dx = ı́nf{S(f , P) : P ∈ P([a, b])}.
a
Z b
I (f ) = f (x)dx = sup{I (f , P) : P ∈ P([a, b])}.
a
El supremo como el ı́nfimo se alcanzan cuando la norma de las
particiones tiende a cero.
Decimos que f es integrable Riemann si I (f ) = S(f ). Definimos,
en ese caso la integral de Riemann de f como el valor anterior.

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

Paso 1. Definiciones: sean f : [a, b] → R acotada, M ∈ [0, +∞),

|f (x)| ≤ M, ∀x ∈ [a, b].

(Pk )k∈N de particiones de [a, b], con Pk ⊂ Pk+1 y cuya norma


tiende a 0. Si Pk = {a0 , a1 , . . . , ak },
N
X
gk = ı́nf f (x)χ[aj−1 ,aj ) + f (b)χ{b}
aj−1 ≤x<aj
j=1

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.

Tenemos que (gk )k∈N en L([a, b]), (gk ) sucesión monótona


creciente Z
gk = I (f , Pk ).
[a,b]

(hk )k∈N sucesión decreciente de funciones en L([a, b]),


Z
hk = S(f , Pk ).
[a,b]

Integral de Lebesgue
Demostración de ambos teoremas. Cont.

Paso 2. Aplicar el teorema de convergencia dominada de Lebesgue


(TCD) a (gk ) y (hk ).
−M ≤ gk ≤ f ≤ hk ≤ M, ∀k ∈ N
⇒ |gk (x)| ≤ M, |hk (x)| ≤ M, ∀x ∈ [a, b].
Notamos que la función constante M, que es la que sirve de cota,
cumple que es positiva, medible y
Z
M = M(b − a) < +∞.
[a,b]

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.

Análogamente, h ∈ L([a, b]),


Z
h = S(f ).
[a,b]

Además
g ≤ f ≤ h.

Integral de Lebesgue
Demostración de ambos teoremas. Cont.

Paso 3. Demostramos que si f es Riemann-integrable en [a, b],


entonces f ∈ L([a, b] y
Z b Z
f (x) dx = f.
a [a,b]

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.

Si f es Riemann-integrable en [a, b], entonces


Z Z b Z
h = S(f ) = f (x) dx = I (f ) = g,
[a,b] a [a,b]
Z Z Z
d= h− g = S(f ) − I (f ) = 0.
[a,b] [a,b] [a,b]

Por tanto,

m1 (P) = 0 (⇔ S(f ) − I (f ) = 0 ⇔ f ∈ R([a, b])),

f (x) = g (x) = h(x), para todo x ∈ [a, b] \ P.


g ∈ L([a, b]) ⇒ f ∈ L([a, b]),
Z Z Z b
f = g= f (x) dx. 
[a,b] [a,b] a

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

Paso 1. Sea N el conjunto de puntos que están en alguna de las


particiones (Pk )k∈N . Sea L el conjunto de puntos de discontinuidad
de f en [a, b].
Tenemos que N es numerable. Por tanto,

m(N) = 0.

Podemos caracterizar la continuidad de f en x ∈ [a, b] \ N:


El punto x ∈ [a, b] \ N es de continuidad para f si y sólo si
g (x) = h(x).

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,

f ∈ R[a, b] ⇔ m1 (P) = 0 ⇔ m1 (L) = 0. 

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

f es continua en (a, b) excepto un conjunto de medida cero. Por


tanto es medible.

Integral de Lebesgue
Demostración.Cont.

Veamos ahora que


Z b
|f (x)| dx < ∞.
a
Sea gn (x) = χ[an ,bn ] |f (x)|. Entonces gn son funciones medibles y
positivas,
lı́m gn (x) = lı́m inf gn (x) = |f (x)|, ∀x ∈ (a, b).
n n
Según el lema de Fatou, la relación entre la integral de Riemann y
la integral de Lebesgue (f ∈ R[an , bn ]),
Z b Z b Z b
|f (x)| dx = lı́m inf gn (x) dx ≤ lı́m inf gn (x) dx
a a n n a
Z bn Z b
= lı́m inf |f (x)| dx = Impr. |f (x)| dx < ∞
n an a
Rb
Impr. a |f (x)| dx significa que la integral se calcula como integral
impropia de Riemann.
Integral de Lebesgue
Ejemplo.

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

en (0, ∞) y, por tanto, medibles. Como | sen(t)| ≤ |t|, ∀t ∈ R,



n sen(x/n)
x(1 + x 2 ) ≤ g (x), x ∈ (0, ∞)

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

Teorema (paso al lı́mite bajo signo integral, v1.)


Sea −∞ ≤ a < b ≤ +∞. Sea E ∈ Bn . Sea f : E × [a, b) → R tal
que:
1 ∃ lı́m f (x, t) = f (x) ∈ R c.t.p. x ∈ E , .
t→b −
2 Para todo a ≤ t < b, f (·, t) es una función medible.
Z
3 Existe g : E → [0, +∞] medible tal que g < +∞ de modo
E
que

|f (x, t)| ≤ g (x) c.t.p. x ∈ E y para todo a ≤ t < b.

Entonces f ∈ L(E ), f (·, t) ∈ L(E ) para todo a ≤ t < b, y se tiene


Z Z Z
f = lı́m f (x, t) dx = lı́m f (x, t) dx.
− t→b −
E E t→b E

Integral de Lebesgue
Versión continua TCD

Teorema (paso al lı́mite bajo signo integral, v1.)


Sea −∞ ≤ a < b ≤ +∞. Sea E ∈ Bn . Sea f : E × [a, b) → R tal
que:
1 ∃ lı́m f (x, t) = f (x) ∈ R c.t.p. x ∈ E , .
t→b −
2 Para todo a ≤ t < b, f (·, t) es una función medible.
Z
3 Existe g : E → [0, +∞] medible tal que g < +∞ de modo
E
que

|f (x, t)| ≤ g (x) c.t.p. x ∈ E y para todo a ≤ t < b.

Entonces f ∈ L(E ), f (·, t) ∈ L(E ) para todo a ≤ t < b, y se tiene


Z Z Z
f = lı́m f (x, t) dx = lı́m f (x, t) dx.
− t→b −
E E t→b E

Integral de Lebesgue
Demostración

Sea una sucesión cualquiera tn ↑ b, tn ≥ a. Sea fn : E → R tal que


fn (x) = f (x, tn ).
Entonces
lı́m fn (x) = lı́m f (x, tn ) = lı́m f (x, t) = f (x), c.t.p. x ∈ E ;
n n t→b −
|fn (x)| = |f (x, tn )| ≤ g (x), c.t.p. x ∈ E .
Ası́, se cumplen las hipótesis del TCD de Lebesgue y, por tanto,
f ∈ L(E );
Z Z Z Z
lı́m f (x, tn )dx = lı́m fn (x) dx = lı́m fn (x) dx = f
n E n E E n E
Como la conclusión es válida para toda sucesión {tn },tn < b,
lı́m tn = b, también
Z Z
lı́m f (x, t)dx = f
t→b − E E

Integral de Lebesgue
Versión continua del TCD

Teorema (Paso al lı́mite bajo signo integral, v2.)


Sea −∞ ≤ a < b ≤ +∞. Sea E ∈ Bn . Sea f : E × (a, b] → R tal
que
1 ∃ lı́m+ f (x, t) = f (x) ∈ R c.t.p. x ∈ E .
t→a
2 Para todo a < t ≤ b, f (·, t) es una función medible.
Z
3 Existe g : E → [0, +∞] medible tal que g < +∞ de modo
E
que

|f (x, t)| ≤ g (x) c.t.p. x ∈ E y para todo a < t ≤ b.

Entonces f ∈ L(E ), f (·, t) ∈ L(E ) para todo a < t ≤ b, y se tiene


Z Z Z
f = lı́m+ f (x, t) dx = lı́m+ f (x, t) dx.
E E t→a t→a E

Integral de Lebesgue
Versión continua del TCD

Teorema (Paso al lı́mite bajo signo integral, v3.)


Sea I un intervalo abierto en R. Sea E ∈ Bn . Sea c ∈ I . Sea
f : E × I → R tal que
1 ∃ lı́m f (x, t) = f (x) ∈ R c.t.p. x ∈ E .
t→c
2 Para todo t ∈ I , f (·, t) es una función medible.
Z
3 Existe g : E → [0, +∞] medible tal que g < +∞ de modo
E
que

|f (x, t)| ≤ g (x) c.t.p. x ∈ E y para todo t ∈ I .

Entonces f ∈ L(E ), f (·, t) ∈ L(E ) para todo t ∈ I , y se tiene


Z Z Z
f = lı́m f (x, t) dx = lı́m f (x, t) dx.
E E t→c t→c E

Integral de Lebesgue
Continuidad de integrales paramétricas

Teorema (continuidad de integrales paramétricas, v1)


Sea I intervalo en R. Sea E ∈ Bn . Sea f : E × I → R tal que
1 f (x, t) es continua como función de t ∈ I para c.t.p. x ∈ E .
2 Para todo t ∈ I , f (·, t) es una función medible.
Z
3 Existe g : E → [0, +∞] medible tal que g < +∞ de modo
E
que

|f (x, t)| ≤ g (x) c.t.p. x ∈ E y para todo t ∈ I .

Entonces f (·, t) ∈ L(E ) para todo t ∈ I y, si definimos


Z
F (t) = f (x, t) dx, t ∈ I ,
E

se tiene que F es una función continua.


Integral de Lebesgue
Demostración

Sea t0 ∈ I . Según la versión continua del TCD, se tiene que

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

Teorema (continuidad de integrales paramétricas, v2)


Sea I intervalo en R. Sea E ∈ Bn . Sea f : E × I → R tal que:
1 f (x, t) es continua como función de t ∈ I para c.t.p. x ∈ E .
2 Para todo t ∈ I , f (·, t) es una función medible.
3 Dado t0 ∈ I existe un intervalo abierto JZ⊂ I tal que t0 ∈ J y
existe g : E → [0, +∞] medible tal que g < +∞ de modo
E
que

|f (x, t)| ≤ g (x) c.t.p. x ∈ E y para todo t ∈ J.

Entonces f (·, t) ∈ L(E ) para todo t ∈ I y, si definimos


Z
F (t) = f (x, t) dx, t ∈ I ,
E

se tiene que F es una función continua.


Integral de Lebesgue
Ejemplo

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

[0, 1] porque es continua. Del teorema de continuidad v1 de


funciones paramétricas sigue la conclusión que buscábamos.
Integral de Lebesgue
Ejercicio. Calcular
∞ 2
1 − e −tx
Z
lı́m dx.
t→0+ 0 x2

Integral de Lebesgue
R ∞ 1−e −tx 2
Solución de ejercicio: lı́mt→0+ 0 x2 dx = 0.

Aplicando la versión continua del teorema de convergencia


dominada, concluimos que
2
1 − e −tx
f (x, t) = ∈ Lx (0, ∞), ∀t ∈ (0, 1]
x2
f (x, t) ≤ g (x), x ∈ (0, ∞), t ∈ (0, 1),
donde 
1, si x ∈ (0, 1],
g (x) = 1
x2
, si x ∈ (1, ∞).

∞ 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

Teorema. Sea I intervalo abierto en R. Sea E ∈ Mn . Sea


f : E × I → R tal que
1 Para todo x ∈ E , f (x, ·) es una función derivable.
2 Para todo t ∈ I , f (·, t) es una función medible en E , y existe
d ∈ I tal que f (·, d) ∈ L(E ).
Z
3 Existe g : E → [0, +∞] medible tal que g < +∞ de modo
E
que

∂f (x, t)
∂t ≤ g (x) c.t.p. x ∈ E y para todo t ∈ I .

Integral de Lebesgue
Derivación de integrales paramétricas. Cont.

Teorema derivación de integrales paramétricas. Cont.


∂f (·, t)
Entonces f (·, t), ∈ L(E ) para todo t ∈ I y, si definimos
∂t
Z
F (t) = f (x, t) dx, t ∈ I ,
E

se tiene que F es una función derivable en I , con


R  Z
0 d E f (x, t) dx ∂f (x, t)
F (t) = = dx para todo t ∈ I .
dt E ∂t

Integral de Lebesgue
Demostración

Hay que probar que para todo t0 ∈ I

F (t) − F (t0 )
Z
0 ∂f
F (t0 ) = lı́m = (x, t0 ) dx
t→t0 t − t0 E ∂t

o por linealidad de la integral

f (x, t) − f (x, t0 )
Z Z
∂f
lı́m dx = (x, t0 ) dx.
t→t0 E t − t0 E ∂t

Según las hipótesis del teorema

f (x, t) − f (x, t0 ) ∂f
lı́m = (x, t0 ), ∀x ∈ E .
t→t0 t − t0 ∂t

Integral de Lebesgue
Demostración. Cont.

Según el teorema del valor medio, si t 6= t0 , existe


ζ = ζx,t,t0 ∈ (t0 , t) tal que

f (x, t) − f (x, t0 ) ∂f
= (x, ζ) ≤ g (x).
t − t0 ∂t

Aplicando la versión continua del TCD tenemos la igualdad y el


resto de relaciones que querı́amos probar.

Integral de Lebesgue
Derivación bajo el signo de integral

Teorema (derivación bajo signo integral, v2)


Sea I intervalo abierto en R. Sea E ∈ Mn . Sea f : E × I → R tal
que
1 Para todo x ∈ E , f (x, ·) es una funcón derivable.
2 Para todo t ∈ I , f (·, t) es una función medible.
3 Para cada c ∈ I existen J entorno de c en I , existe d ∈ J tal
Z f (·, d) ∈ L(E ) y existe g : E → [0, +∞] medible tal que
que
g < +∞ de modo que
E

∂f (x, t)
∂t ≤ g (x) para todo x ∈ E y para todo t ∈ J.

Integral de Lebesgue
Derivación de integrales paramétricas. Cont.

Teorema derivación de integrales paramétricas v2. Cont.


∂f (·, t)
Entonces f (·, t), ∈ L(E ) para todo t ∈ I y, si definimos
∂t
Z
F (t) = f (x, t) dx, t ∈ I ,
E

se tiene que F es una función derivable en I , con


R  Z
0 d E f (x, t) dx ∂f (x, t)
F (t) = = dx para todo t ∈ I .
dt E ∂t

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

Aplicamos el teorema de derivación bajo el signo de integral


(versión local) a
Z 1
F (t) = x t dx, t ∈ (−1, ∞).
0

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.

Sean t0 ∈ (0, ∞) y δ > 0 tales que t0 − δ > 0. J = (t0 − δ, ∞),



∂ 1 − e −tx 2 2 2
= e −tx ≤ e −(t0 −δ)x , ∀x ∈ (0, ∞), t ∈ J.

∂t

x 2
Por tanto, por el teorema de diferenciación bajo el signo de
integral, Z ∞ √
0 −tx 2 π
F (t) = e dx = √ , t > 0.
0 2 t
¡Esta igualdad la probaremos en clases posteriores! Existe C ∈ R
tal que √
F (t) = πt + C , ∀t > 0.
Según el ejercicio realizado al principio de la clase lı́mt→0 F (t) = 0.
De modo que C = 0 y se sigue que
Z ∞ 2
1 − e −x √
2
dx = F (1) = π.
0 x
Integral de Lebesgue
Función gamma

Función gamma (Γ).


1 Γ : (0, ∞) −→ R está definida ∀t > 0 como
Z ∞
Γ(t) = x t−1 e −x dx.
0

La función gamma está bien definida: x t−1 e −x ∈ L(0, ∞),


como función de x ssi t > 0.
Se cumple:
1 Γ(1) = 1;
2 Γ(t + 1) = t Γ(t);
3 Γ(k) = (k − 1)!, k ∈ N; Γ es de clase C (∞) sobre (0, ∞) y
Z ∞
Γ(k) (t) = x t−1 (log x)k e −x dx, k = 0, 1, 2, . . .
0

Integral de Lebesgue
Función gamma

Función gamma (Γ).


1 Γ : (0, ∞) −→ R está definida ∀t > 0 como
Z ∞
Γ(t) = x t−1 e −x dx.
0

La función gamma está bien definida: x t−1 e −x ∈ L(0, ∞),


como función de x ssi t > 0.
Se cumple:
1 Γ(1) = 1;
2 Γ(t + 1) = t Γ(t);
3 Γ(k) = (k − 1)!, k ∈ N; Γ es de clase C (∞) sobre (0, ∞) y
Z ∞
Γ(k) (t) = x t−1 (log x)k e −x dx, k = 0, 1, 2, . . .
0

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

La función x −→ x u−1 (1 − x)v −1 es integrable sobre


(0, 1) ⇐⇒ u, v > 0; luego β está bien definida.

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

Nos preguntamos bajo que hipótesis se cumple


ZZ Z Z  Z Z 
f = f (x, y )dx dy = f (x, y )dy dx
R2 R R R R

Los teoremas de Fubini-Tonelli afirman que bajo hipótesis muy


generales las igualdades anteriores se cumplen.

Si E ∈ Mn , f = χE ,
Z
f = mn (E ).

¿Como hallar el volumen de E a partir del volumen de sus


secciones?

Integral de Lebesgue
Motivación

Nos preguntamos bajo que hipótesis se cumple


ZZ Z Z  Z Z 
f = f (x, y )dx dy = f (x, y )dy dx
R2 R R R R

Los teoremas de Fubini-Tonelli afirman que bajo hipótesis muy


generales las igualdades anteriores se cumplen.

Si E ∈ Mn , f = χE ,
Z
f = mn (E ).

¿Como hallar el volumen de E a partir del volumen de sus


secciones?

Integral de Lebesgue
Notaciones

Sea n ∈ N, k ∈ N, l ∈ N, n = k + l, una función f : Rn → R,


x ∈ Rk , un conjunto E ∈ Mn , denotamos:
fx = f (x, ·) : Rl → R, y 7→ f (x, y ) (sección de f en las k
primeras componentes x).
De igual forma, si y ∈ Rl ,
f y = f (·, y ) : Rk → R, x 7→ f (x, y ). (sección de f en las l
últimas componentes y ).
Dados x ∈ Rk denotamos Ex = {y ∈ Rl : (x, y ) ∈ E }.
(sección de E en las k primeras componentes x). Para cada
y ∈ Rl E y = {x ∈ Rk : (x, y ) ∈ E }.
πx (E ) = {x ∈ Rk : ∃y ∈ Rk , (x, y ) ∈ E },
πy (E ) = {y ∈ Rl : ∃x ∈ Rk , (x, y ) ∈ E }.

Integral de Lebesgue
Volumen por secciones

Lema (volumen por secciones)

Sean n, k, l ∈ N tales que n = k + l. Sea E ∈ Mn . Entonces:


1 Para casi todo x ∈ Rk , Ex ∈ Ml (Ex es Lebesgue-medible).
2 Para casi todo y ∈ Rl , E y ∈ Mk .
3 La función ϕ definida en c.t.p. x ∈ Rk por

ϕ(x) = ml (Ex )

es medible. Igual ψ(y ) = mk (E y ) es medible c.t.p. y ∈ Rl .


R R
4 Se verifica mn (E ) = Rk ϕ(x)dx = Rl ψ(y )dy ; o sea,
Z Z
mn (E ) = ml (Ex )dx = mk (E y )dy
πx (E ) πy (E )

Integral de Lebesgue
Ideas de la demostración

Se prueba primero cuando E es un rectángulo.


Se extiende a E = G un abierto utilizando que cada abierto es
unión disjunta de una sucesión de rectángulos disjunto dos a
dos.
Se extiende a E medible acotado utilizando abiertos {Gk } y
cerrados {Fk } tales que

G1 ⊇ G2 ⊇ . . . ⊇ Gk ⊇ . . . ⊇ E ⊇ . . . ⊇ Fk ⊇ . . . ⊇ F2 ⊇ F1 .

Se amplı́a a los medibles mediante En = E ∩ B(0, n), que es


una sucesión no decreciente cuya unión es E .

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

Teorema (Teorema de Tonelli, v1)


Sean n, k, l ∈ N tales que n = k + l. Sea f : Rn → [0, +∞]
medible. Se tiene
1 Para todo y ∈ Rk , f (y , ·) es una función medible.
Z
2 k
Sea g : R → [0, +∞] definida como g (y ) = f (y , z) dz.
Rl
Se tiene que g es medible.
Z Z Z Z
3 f = f (x) dx = f (y , z) dy dz = g=
ZRn Rn Z Z Rn  Rk

g (y ) dy = f (y , z) dz dy .
Rk Rk Rl

Integral de Lebesgue
Teorema de Tonelli. Cont.

Corolario (Caracterización de integrabilidad mediante Tonelli, v1)


Sean n, k, l ∈ N tales que n = k + l. Sea f : Rn → R medible. Se
tiene que f ∈ L(Rn ) si y sólo si
Z Z 
|f (y , z)| dz dy < +∞
Rk Rl

Integral de Lebesgue
Teorema de Fubini

Teorema (Teorema de Fubini, v1)


Sean n, k, l ∈ N tales que n = k + l. Sea f ∈ L(Rn ). Se tiene:
1 f (y , ·) ∈ L(Rl ) c. t. p. y ∈ Rk .
Z
2 Existe g ∈ L(Rk ) tal que g (y ) = f (y , z) dz c. t. p.
Rl
y ∈ Rk .
Z Z Z Z
3 f = f (x) dx = f (y , z) dy dz = g=
ZRn Rn Z Z Rn  Rk

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

RSi f es Rpositiva y medible, entonces f0 es positiva y medible, y


E f = Rn f0 .

Integral de Lebesgue
Teorema de Tonelli

Teorema (de Tonelli, v2)


Sean n, k, l ∈ N tales que n = k + l. Sean E ∈ Mn y
f : E → [0, ∞] una función medible. Se tiene
1 Para casi todo x ∈ πx (E ), f (x, ·) es una función medible
definida en Ex . Para casi todo y ∈ πy (E ), f (·, y ) es una
función medible definida en E y .
2
Zx (E ) → [0, +∞] definida como
Sea g : π
g (x) = f (x, y ) dy ; se tiene que g es medible c.t.p.
Ex
x ∈ πx (E l
Z ). Sea h : R → [0, +∞] definida como
h(y ) = f (x, y ) dx; se tiene que g es medible c.t.p.
Ey
y ∈ πy (E ).

Integral de Lebesgue
Teorema de Tonelli. Cont.

Teorema (de Tonelli, v2)


Sean n, k, l ∈ N tales que n = k + l. Sean E ∈ Mn y
f : E → [0, ∞] una función medible. Se tiene
1

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

Teorema (de Fubini, v2)


Sean n, k, l ∈ N tales que n = k + l. Sean E ∈ Bn . Sea f ∈ L(E ).
Se tiene
1 f (x, ·) ∈ L(Ex ) c. t. p. x ∈ πx (E ).
Z
2 La función g (y ) = f (y , z) dz está bien definida en c. t. p.
Ey
y ∈ πx (E ).
3 Se cumple
Z Z Z  Z Z 
f = f (x, y ) dy dx = f (x, y ) dx dy .
E πx (E ) Ex πy (E ) Ey

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

f (t) = t u−1 e −t χ(0,∞) (t), g (t) = t v −1 e −t χ(0,∞) (t)

Cambiemos el orden de integración en la integral


Z ∞Z ∞
f (t)g (x − t)dtdx
−∞ −∞

Observar que como la función es positiva y continua se puede


aplicar el teorema de Tonelli.
Integral de Lebesgue
Γ(u)Γ(v )
Ejemplo B(u, v ) = Γ(u+v )

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 )

Por otra parte parte,

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

Sean U y V abiertos de Rn . Una aplicación u : U → V es un


difeomorfismo si es biyectiva y u y u −1 son C 1 . Se tiene

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

Sean U y V abiertos de Rn . Una aplicación u : U → V es un


difeomorfismo si es biyectiva y u y u −1 son C 1 . Se tiene

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

Teorema (Cambio de variable para funciones positivas, v1)


Sea u : U → V difeomorfismo. Sea E ⊆ V , E ∈ Bn . Sea
f : E → [0, +∞] medible. Entonces f ◦ u · |detJu(t)| es medible,
u −1 (E ) es boreliano, y
Z Z
f (x) dx = f (u(t))| det Ju(t)| dt.
E u −1 (E )

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.

Una formulación ligeramente distinta es la que sigue:


Teorema (Cambio de variable para funciones positivas, v2)
Sea u : U → V difeomorfismo. Sea D ⊆ U, D ∈ Mn . Sea
f : u(D) → [0, +∞] medible. Entonces f ◦ u · |detJu| es medible,
u(D) es lebesgue-medible, y
Z Z
f (x) dx = f (t)|det(Ju)(t)| dt.
u(D) D

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.

El mismo resultado se obtiene para funciones con valores reales.


Teorema (Cambio de variable para funciones integrables)
Sea u : U → V difeomorfismo. Sea E ⊆ V , E ∈ Bn . Sea
f : E → R medible. Entonces u −1 (E ) es Lebesgue-medible. Se
tiene que f ∈ L(E ) si y sólo si f ◦ u · | det Ju| ∈ L(u −1 (E )).
Además, en caso afirmativo,
Z Z
f (x) dx = f (u(t))|det(Ju)(t)| dt.
E u −1 (E )

Integral de Lebesgue
Cálculo de volumen

Veamos algunos casos particulares. En el que


R de que f se la
función constante igual a 1, tenemos que E 1 dx = mn (E ). Luego

Teorema (Cambio de variable para funciones indicadoras)


Sea u U → V difeomorfismo. Sea E ⊆ V , E ∈ Bn . Entonces
u −1 (E ) es Lebesgue-medible. Además
Z
mn (E ) = |det(Ju)(t)| dt.
u(t)∈E

Integral de Lebesgue
Ejemplo

Ejemplo
Hallar ZZ
(x 2 + y 2 ) dxdy ,
D

donde D = {(x, y ) ∈ R2 : |x| + |y | ≤ 1}.

Hacemos el cambio de variables (u, v ) = g (x, y ),


u = x + y , v = x − y . Con
este cambio de variables,
∂(u, v ) 1 1
det = = 2, g (D) = [−1, 1] × [−1, 1],
∂(x, y ) 1 −1
ZZ ZZ
1 1
(x 2 + y 2 ) dxdy = (u 2 + v 2 ) dudv
D 2 [−1,1]×[−1,1] det ∂(u,v )
∂(x,y )
Z 1 Z 1 
1
= (u 2 + v 2 ) dv du = 1.
4 −1 −1
Integral de Lebesgue
Coordenadas polares para funciones integrables, v.1

Teorema (Cambio a polares para funciones integrables, v1)


Sea E ∈ B2 . Sea f : E → R. Definimos

A = {(r , θ) : r > 0, −π < θ < π, (r cos θ, r sen θ) ∈ E },

g : A → R mediante g (r , θ) = f (r cos θ, r sen θ)r . Se tiene que


f ∈ L(E ) si y sólo si g ∈ L(A). Además, en tal caso
ZZ ZZ
f (x, y ) dx dy = f (r cos θ, r sen θ)r dr dθ.
(x,y )∈E (r ,θ)∈A

Integral de Lebesgue
Ejemplo

Ejemplo
Calcular ZZ
máx{x, y } dxdy
E

donde E = {(x, y ) ∈ R2 : x 2 + y 2 ≤ 4}.

Consideramos D1 = {(x, y ) ∈ D : y ≥ x},


D2 = {(x, y ) ∈ D : y < x}.
ZZ ZZ ZZ
máx{x, y } dxdy = y dxdy + x dxdy .
E D1 D2

Hacemos cambio de variable a polares


ZZ Z 5π/4 Z 2  Z π/4 Z 2 
y dxdy = r 2 sen θ dr dθ+ r 2 cos θ dr dθ
D1 π/4 0 −3π/4 0

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

Teorema (Cambio a coordenadas esféricas para funciones positivas,


v1)
Sea E ∈ B3 . Sea f : E → [0, +∞] medible. Entonces
ZZZ
f (x, y , z) dx dy dz
(x,y ,z)∈E
ZZZ
= f (r cos ψ cos θ, r cos ψ sen θ, r sen ψ)r 2 cos ψ
(r ,ψ,θ)∈G
dr dψ dθ.

donde G = {(r , ψ, θ) : (r cos ψ cos θ, r cos ψ sen θ, r sen ψ) ∈ E , r >


0, −π/2 < ψ < π/2, −π < θ < π}

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

donde V es la región limitada por la esfera x 2 + y 2 + z 2 = 2Rz y


por el cono z 2 = x 2 + y 2 .

Integral de Lebesgue
Ejemplo

Ejemplo
Calcular ZZZ p
x 2 + y 2 + z 2 dxdydz
V

donde V es la región limitada por la esfera x 2 + y 2 + z 2 = 2Rz y


por el cono z 2 = x 2 + y 2 .

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

Teorema (Cambio a coordenadas esféricas para funciones positivas,


v2)
Sea F ⊆ [0, +∞) Borel-medible. Sea h : F → [0, +∞] medible.
Entonces
ZZZ p Z
√ 2 2 2
h( x + y + z ) dx dy dz = 4π h(r )r 2 dr .
x 2 +y 2 +z 2 ∈F r ∈F

Integral de Lebesgue
Cambio a coordenadas esféricas para funciones integrables,
v1

Teorema (Cambio a coordenadas esféricas para funciones


integrables, v1)
Sea E ∈ B3 . Sea f : E → R. Sea Definimos

A = {(r , ψ, θ) : r > 0, −π/2 < ψ < π/2, , −π < θ < π,


(r cos ψ cos θ, r cos ψ sen θ, r sen ψ) ∈ E },

g : A → R mediante

g (r , ψ, θ) = f (r cos ψ cos θ, r cos ψ sen θ, r sen ψ)r 2 cos(ψ).

Se tiene que f ∈ L(E ) si y sólo si g ∈ L(A).

Integral de Lebesgue
Cambio a coordenadas esféricas para funciones integrables,
v1. Cont.

Teorema (Cambio a coordenadas esféricas para funciones


integrables, v1)
Además, si f ∈ L(E ), se cumple
ZZZ
f (x, y , z) dx dy dz =
(x,y ,z)∈E
ZZZ
f (r cos(ψ) cos(θ), r cos(ψ) sen(θ), r sen(ψ))r 2 cos(ψ)
(r ,ψ,θ)∈A
dr dψ dθ.

Integral de Lebesgue
Cambio a coordenadas cilı́ndricas para funciones
integrables

Teorema (Cambio a coordenadas cilı́ndricas para funciones


integrables, v1)
E ∈ B3 . Sea f : E → R,

A = {(r , θ, z) : r > 0, −π < θ < π, z ∈ R,


(r cos θ, r sen θ, z) ∈ E }.

g (r , θ, z) = f (r cos θ, r sen θ, z)r .


Se tiene que f ∈ L(E ) si y sólo si g ∈ L(A).
ZZZ
f (x, y , z) dx dy dz
(x,y ,z)∈E
ZZZ
= f (r cos θ, r sen θ, z)r dr dθ dz.
(r ,θ,z)∈A
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
Aplicaciones geométricas de la integral de Lebesgue.
Volumen

Sea E ∈ Mn , el volumen de E se define


Z Z
mn (E ) = 1 dmn = χE dmn .
E Rn

Integral de Lebesgue
Aplicaciones geométricas de la integral de Lebesgue.
Volumen

Sea E ∈ Mn , el volumen de E se define


Z Z
mn (E ) = 1 dmn = χE dmn .
E Rn

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

Sea E ∈ M2 y ρ : E → [0, ∞] una función medible positiva que


representa la densidad de masa en E . Se tiene que la masa de E es
Z
ρ.
E

E se puede interpretar como una lámina fina.

Integral de Lebesgue
Masa

Sea E ∈ Mn y ρ : E → [0, ∞] una función medible positiva que


representa la densidad de masa en E . Se tiene que la masa de E es
Z
ρ.
E

Integral de Lebesgue
Centro de gravedad

Sea E ∈ M2 y ρ : E → [0, ∞] una función medible positiva que


representa la densidad de masa en E . El centro de masas de un
sistema discreto o continuo es el punto geométrico que
dinámicamente se comporta como si en él estuviera aplicada la
resultante de las fuerzas externas al sistema.
Coordenadas del centro de gravedad:
RR
xρ(x, y ) dxdy
xG = RRE ,
E ρ(x, y ) dxdy
RR
y ρ(x, y ) dxdy
yG = RRE ,
E ρ(x, y ) dxdy

Integral de Lebesgue
Momento de inercia

Sea E ∈ M2 y ρ : E → [0, ∞] una función medible positiva que


representa la densidad de masa en E .
Momento de inercia respecto al eje X:
ZZ
y ρ(x, y ) dxdy ,
E

Momento de inercia respecto al eje Y:


ZZ
xρ(x, y ) dxdy .
E

De forma análoga para n ≥ 3.

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

haciendo cambio de variable a polares, nos queda


Z πZ a
2a3
ZZ
y dxdy = r 2 sen θ dr dθ =
S 0 0 3

y las coordenadas del centro de gravedad son


4
(0; a) ≈ (0; 0,42 a).

Integral de Lebesgue
Teorema de Papus-Guldin

Teorema. El área A, de una superficie de revolución generada


mediante la rotación de una curva plana C alrededor de un eje
externo a tal curva sobre el mismo plano, es igual a su longitud L,
multiplicada por la distancia d recorrida por su centroide en una
rotación completa alrededor de dicho eje

A = Ld.

Integral de Lebesgue
Teorema de Papus-Guldin

Si consideramos el eje X como el eje de rotación y la gráfica de la


curva la correspondiente a una función f definida en un intervalo
[a, b], f de clase C 1 [a, b], f ≥ 0. Entonces el área de la superficie
que limita la región de revolución limitada por la gráfica de
y = f (x), x ∈ [a, b], es
Z b q
2π f (x) 1 + (f 0 (x))2 dx.
a

Integral de Lebesgue
Teorema de Papus-Guldin

Si consideramos el eje X como el eje de rotación y la gráfica de la


curva la correspondiente a una función f definida en un intervalo
[a, b], f de clase C 1 [a, b], f ≥ 0. Entonces el área de la superficie
que limita la región de revolución limitada por la gráfica de
y = f (x), x ∈ [a, b], es
Z b q
2π f (x) 1 + (f 0 (x))2 dx.
a

Z b q
= 2πf (ζ) 1 + (f 0 (x))2 dx = 2πf (ζ)L.
a

Integral de Lebesgue
Tres principios de Littlewood

J. E. Littlewood. Lectures on the Theory of Functions.


Oxford University Press. p. 26:
There are three principles, roughly expressible in the following
terms: Every (measurable) set is nearly a finite sum of intervals;
every function (of class L) is nearly continuous; every convergent
sequence of functions is nearly uniformly convergent.

Integral de Lebesgue
Tres principios de Littlewood

Tres principios de Littlewood:


Todo conjunto medible está “próximo” a la unión de una
cantidad finita de rectángulos;
Toda función en L está “próxima” a una función continua;
Toda sucesión convergente de funciones medibles es “casi”
uniformemente convergente.

Integral de Lebesgue
Tres principios de Littlewood

Tres principios de Littlewood:


Todo conjunto medible está “próximo” a la unión de una
cantidad finita de rectángulos;
Toda función en L está “próxima” a una función continua;
Toda sucesión convergente de funciones medibles es “casi”
uniformemente convergente.

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

|md (A) − md (∪nj=1 Rj )| < .

Integral de Lebesgue
Rectángulos próximos a un conjunto medible. Cont.

Lema
Sea A ∈ Md . Entonces

md (A) = ı́nf{md (G ) : G un conjunto abierto en Rd , G ⊃ A},

md (A) = sup{md (K ) : K un conjunto compacto en Rd , K ⊂ A}.

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

lı́m fn (x) = f (x), c.t.p. x ∈ E .


n→∞

Entonces para todo  > 0 existe un conjunto A ∈ Md , A ⊂ E tal


que md (E \ A) <  y

lı́m fn (x) = f (x), x ∈ A,


n→∞

uniformemente en A.

Integral de Lebesgue
Demostración del teorema de Egorov

Sin perdida de generalidad podemos asumir que

lı́m fn (x) = f (x), ∀x ∈ E .


n→∞

Para k, n naturales, sea

Ek,n = {x ∈ E : |fj (x) − f (x)| < 1/n, ∀j > k}.

Si n ∈ N está fijo, entonces



[
Ek,n ⊂ Ek+1,n , Ej,n = E .
j=1

De donde, lı́mj→∞ md (Ej,n ) = md (E ). Ası́, existe kn tal que

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

Por construcción, para todo j ≥ kn ,


1
|fj (x) − f (x)| < , ∀x ∈ Ekn ,n
n
P∞ 1
Dado  > 0, sea N ∈ N tal que n=N 2n < , y
\
A= Ekn ,n .
n≥N

Entonces
[ ∞
X
md (E \ A) = md ( (E ∩ Ekcn ,n )) ≤ md (E \ Ekn ,n ) < .
n≥N n=N

lı́mj fj (x) = f (x) uniformemente en A. Ya que si δ > 0 y 1/n < δ,


|fj (x) − f (x)| < δ, ∀x ∈ A, j ≥ kn .
Integral de Lebesgue
Convergencia vs convergencia uniforme. v.2

Teorema (Egorov)
Sea E ∈ Md tal que md (E ) < ∞. Para cada n ∈ N, sea
fn : E → R una función medible tal que

lı́m fn (x) = f (x), c.t.p. x ∈ E .


n→∞

Entonces para todo  > 0 existe un conjunto compacto A ∈ Md ,


A ⊂ E tal que md (E \ A) <  y

lı́m fn (x) = f (x), x ∈ A,


n→∞

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

Teorema (Lusin v2)


Sean a, b números reales, a < b, y f : (a, b) → R una función en
L(a, b). Entonces, para todo  > 0, existe g continua en (a, b) tal
que
Z b
|f (x) − g (x)| dx < .
a

Integral de Lebesgue
L y funciones continuas

Teorema (Lusin v2)


Sean a, b números reales, a < b, y f : (a, b) → R una función en
L(a, b). Entonces, para todo  > 0, existe g continua en (a, b) tal
que
Z b
|f (x) − g (x)| dx < .
a

Sólo probaremos el caso f = χA , donde A es un conjunto cerrado.


El resto queda como ejercicio.
Sugerencia: Para demostrar esta afirmación considerar que f = χA
con A ∈ M1 , y A ⊂ (a, b). Después hacer la demostración para f
una función simple. A continuación, considerar el caso f ∈ L(a, b)
y f ≥ 0 en (a, b). Por último, demostrar la situación general
utilizando que f = f + − f − .

Integral de Lebesgue
Rb
a |f (x) − g (x)| dx < , f ∈ L(a, b), g ∈ C(a, b)

Sean A ⊂ (a, b) un conjunto cerrado, f = χA . Sea t : (a, b) → R,


t(x) = ı́nf |x − y |.
y ∈A

Se tiene t(x) = 0, x ∈ A y t(x) > 0 para x ∈ (a, b) \ A. Como


para todo x, x0 en (a, b)
t(x) − |x0 − x| ≤ t(x0 ) ≤ t(x) + |x0 − x|,
la función t es continua en (a, b). Ası́, para n ∈ N,
1
gn : (a, b) → R, gn (x) = , x ∈ (a, b),
1 + ntn (x)
son funciones continuas en (a, b), |f (x) − gn (x)| ≤ 2,
lı́mn gn (x) = χA (x) = f (x), y por el TCD
Z b
lı́m |f (x) − gn (x)| dx = 0.
n→∞ a

Integral de Lebesgue

Vous aimerez peut-être aussi