Resumen de la integral de Lebesgue

J. López-Abad y V. Olmos

4 de enero de 2024
 Índice general

1 Integral de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1 Introducción a la medida e integral de Lebesgue 5
1.2 Espacios de Medida 7
1.2.1 Sobre familias de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

1.3 Medidas 8
1.3.1 Medidas exteriores y el criterio de Carathéodory . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

1.4 La medida de Lebesgue en Rn 9

1.4.1 Transformaciones afines, sumas de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4.2 Ejemplos de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4.3 Unicidad de la medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1.5 Funciones Medibles 12

1.5.1 Los tres principios de Littlewood . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

1.6 Integración abstracta 15

1.6.1 Funciones positivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6.2 Integral de funciones arbitrarias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.6.3 Integral de Riemann vs integral de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

1.7 Medidas signadas y descomposiciones 18

1.7.1 Descomposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.7.2 El Teorema de Radon-Nikodym . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

1.8 Integración y derivación 20

1.8.1 Recubrimientos de Vitali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.8.2 Teorema del cambio de variable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.8.3 Derivación bajo el signo integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
4

1.9 Los espacios de Lebesgue 23

1.9.1 Generalidades y desigualdades clásicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.9.2 Teorema de representación de Riesz para L p . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.10 Medidas producto 25
1.10.1 Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.10.2 Los teoremas de Fubini y Tonelli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.11 Bibliografía 30
Bibliografía Básica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Bibliografía Complementaria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
 1. Integral de Lebesgue

1.1 Introducción a la medida e integral de Lebesgue

El objetivo de esta parte es presentar las ideas y propiedades más relevantes de la medida y la integral de
Lebesgue, Las propiedades principales de la integral de Lebesgue:

(i) La integral de Lebesgue extiende a la de Riemann (Teorema 1.6.8).

(ii) Las funciones a integrar se pueden considerar borelianas, es decir, funciones para las que las preimágenes
de abiertos son borelianos de I.
(iii) Los conjuntos nulos (en este contexto simplificado) son borelianos B que para cada ε > 0 se pueden
recubrir B ⊆ n∈N In por intervalos (o rectángulos en el caso multidimensional) tales que ∑n∈N Long(In ) ≤ ε
S

(resp. volúmenes).
(iv) La integral de una función simple rectangular s = ∑nj=1 a j 1I j , (I j ) j disjuntos dos a dos, es igual a
∑nj=1 a j longitud(I j ). La integral de las funciones simples rectangulares en Rd se define similarmente.
(v) La integral de una función positiva f es el límite de integrales de funciones simples rectangulares
positivas sn tales que sn (t) ≤ f (t) salvo en un conjunto de medida cero.
(vi) La integral de una función real es la diferencia de la integral de su parte positiva y la integral de su parte
negativa. Similarmente, la integral de una función compleja es la suma de la integral de su parte real e i veces
la integral de parte imaginaria. Una función es integrable cuando la integral de su valor absoluto (módulo) es
finita.
(vii) El teorema de convergencia dominada (1.6.6).
(viii) El teorema del cambio de variable (1.8.2).
(ix) El teorema de Fubini (Teoremas 1.10.7 y 1.10.8).
(x) El teorema de derivación bajo el signo integral (Teorema 1.8.3).

Vamos a desarrollar un poco estos puntos. Empezaremos presentando diversas propiedades de las medidas
abstractas, para luego definir y estudiar la integral correspondiente. La manera natural de definir la integral
de Lebesgue es definirla como la integración abstracta asociada a una medida (σ -aditiva). Sin dar todos los
detalles, vamos a definir la medida de Lebesgue λn en Rn y después las integrales correspondientes. Esta

5
medida es la generalización de volumen de un rectángulo d-dimensional
d
R := ∏ I j ,
j=1

siendo I j intervalos acotados, y que tiene valor

d
Vold (R) := ∏ ℓ(I j )
j=1

donde ℓ(I) = sup I −ı́nf I es la longitud (o volumen 1-dimensional) del intervalo I. Antes de definir la medida
de Lebesgue, vamos a introducir los subconjuntos de Rd que van a ser medidos. La intuición es que serán los
conjuntos “definibles” a partir de los rectángulos, salvo un conjunto negligilble (a definir). Precisamente,
serán los conjuntos que son, salvo un conjunto nulo, un conjunto boreliano de Rd .
(1) Nótese que los conjuntos abiertos son relativamente sencillos de definir a partir de rectángulos, ya que
son uniones numerables de rectángulos abiertos. Además, nótese que el volumen de un rectángulo R, de
◦
su clausura R y de su interior R es el mismo. Esto se observa intuitivamente mejor por ejemplo cuando la
dimensión es n = 2, ya que parece razonable que los segmentos en R2 no tengan área (es decir, su área es
cero). Por tanto, en realidad todo abierto de O ⊆ Rd es unión numerable disjunta de rectángulos O = n Rn ,
S

no necesariamente abiertos y por tanto, su medida será λd (O) = ∑n Vol(Rn ) (que puede ser infinito).
(2) Así, dado E ⊆ Rd se definie la medida exterior de E como λd∗ (E) := ı́nf{λd (O) : E ⊆ O abierto}.
(3) Se dice que E es medible (de Lebesgue) cuando para todo ε > 0 existe un abierto O ⊇ E tal que
λd∗ (O \ E) ≤ ε. En este caso se define λd (E) := λd∗ (E).
Diremos que E ⊆ Rd es medible (de Lebesgue) cuando Se pueden demostrar entonces las siguientes
propiedades:
• λd es una medida: λd (E) ≥ 0, λd (0)
S
/ = 0, λd ( n En ) = ∑n λd (En ) si (En )n son medibles y disjuntos dos a
dos.
• La medida de Lebesgue es continua:
(a) Si (Bn )n es ⊆-creciente, entonces µ( n Bn ) = supn µ(Bn ) = lı́mn→∞ µ(Bn ).
S

(b) Si (Cn )n es ⊆-decreciente y µ(C0 ) < ∞, entonces µ( n Cn ) = ı́nfn µ(Cn ) = lı́mn→∞ µ(Bn ).
T

(c) µ(lı́m infn An ) ≤ lı́m infn µ(An ).

(d) Si µ( n An ) < ∞, entonces µ(lı́m supn An ) ≥ lı́m supn µ(An ).
S

• Todo conjunto boreliano de Rn es medible.

• La medida λn es completa: todo subconjunto de un conjunto nulo es medible.
• La medida de Lebesgue es regular:

λd (E) = ı́nf{λd (O) : E ⊆ O abierto} = sup{λd (K) : K ⊆ E compacto}.

• La medida de Lebesgue es invariante bajo traslaciones: λn (E) = λn (x + E).

• (Unicidad de la medida de Lebesgue): λd restringida a los conjuntos borelianos es la única medida de
Borel (es decir, que mide solamente a los borelianos) que es invariante bajo traslaciones y que mide al cubo
unidad [0, 1]d como 1. Es decir, la medida de Lebesgue en Rd cuando restringida a los borelianos es la
medida de probabilidad de Haar del grupo localmente compacto (Rd , +).
• La medida λd+e es el producto de las medidas λd y λe : en particular, λd+e (D × E) = λd (D) · λe (F) si
D ⊆ Rd , E ⊆ Re son medibles.
La medida de Lebesgue en un rectángulo R es por definición la medida de Lebesgue de los subconjuntos
medibles de R. Para simplificar la notación, usaremos λ para referirnos a λd . Seguidamente se extiende la
medida a funciones, es decir, se define la integral de una función f : Rd → C, pero para ello, como para la
medida, hay que explicitar las funciones medibles. Empezamos con las funciones positivas f : Rd → [0, ∞].
Diremos que f es medible si:

6
 (4) f = 1E es una función característica con E medible, y su integral es 1E dλ = λ (E).
R

(5) f es una función simple positiva (es decir f tiene un número finito de valores positivos) tal que f −1 (α)
es medible para todo α ∈ [0, ∞[, y en este caso f dλ = ∑α≥0 αλ ( f −1 (α)).
R
R R
(6) f es límite puntual de una sucesión creciente de funciones simples medibles (sn )n e f dλ := supn sn dλ .
Una función real f : Rd → [−∞, ∞] es medible exactamente cuando su parte positiva f + := máx{ f , 0},
y su parte negativa f − := (− f )+ son medibles y la integral f dλ := f + dλ − f −1 dλ (nótese que
R R R

f = f + − f − . Finalmente, una función f : Rd → C es medible exactamente cuando su parte real y su parte

R R R
imaginaria son medibles, e f dλ = ℜ( f )dλ + i ℑ( f )dλ . Propiedades fundamentales.

1.2 Espacios de Medida

Se introducen los espacios de medida, colecciones de subconjuntos de uno dado, y luego una forma
aditiva (la medida) de asignar a cada uno de ellos un número real positivo.

1.2.1 Sobre familias de conjuntos

Se introducen las σ -álgebras y se estudian operaciones en y con ellas, como lı́mı́nf, lı́m sup, productos,
restricciones.

Álgebras, σ -álgebras, espacios medibles

Una familia A de subconjuntos de X es un álgebra de conjuntos o álgebra de Boole sobre X si:

a) X ∈ A .
Definición 1.2.1

b) A es cerrado bajo complementos, i.e., X \ A ∈ A para todo A ∈ A .

c) A es cerrado bajo reuniones.
A se denomina σ -álgebra (de X) cuando es una álgebra de Boole que es cerrada bajo reuniones
numerables, es decir si {An }n∈N ⊆ A , entonces n∈N An ∈ A . Un espacio medible es un par (X, A ),
S

donde A es una σ -álgebra sobre X.

Ejemplos de σ -álgebras

i) Las partes P(X) de un conjunto son la mayor σ -álgebra de subconjuntos de X, mientras que {0, / X}
es la mínima.
ii) Dada una familia A de subconjuntos de X, denotamos por ΣX (A ) a la mínima, bajo inclusión,
Ejemplo 1.2.1

σ -álgebra que contiene a A , equivalentemente ΣX (A ) es la intersección de todas las σ -álgebras que

contienen a A .
iii) Un caso particular de σ -álgebra es, dado un espacio topológico X, la σ -álgebra generada por los
abiertos de X se denomina familia de borelianos de X y se denota por B(X).
iv) Dada una σ -álgebra A de subconjuntos de X y una función arbitraria f : X → Y , se define la
σ -álgebra imagen f∗ (A ) := {B ⊆ X : f −1 (B) ∈ A }.

7
1.3 Medidas
Medida, espacio de medida

Una función µ : A → [0, ∞] definida en un álgebra de Boole A sobre X es una medida finitamente
aditiva cuando
/ = 0.
a) µ(0)
b) µ(A ∪ B) = µ(A) + µ(B) para todos A, B ∈ A disjuntos.
Definición 1.3.1

Se dice que µ es una medida (a veces llamada medida σ -aditiva) si además de a) también cumple
c) µ( n∈N An ) = ∑n∈N µ(An ) para toda {An }n∈N ⊆ A disjuntos dos a dos tal que n An ∈ A .
S S

Un espacio de medida es un triple (X, A , µ) donde (X, A ) es un espacio medible y µ es una medida
sobre A .
Una medida µ en X se denomina finita cuando µ(X) < ∞, y σ -finita cuando X tiene un recubrimiento
numerable por conjuntos de µ-medida finita. La medida µ se denomina medida de probabilidad o
simplemente probabilidad cuando µ(X) = 1.

1.3.1 Medidas exteriores y el criterio de Carathéodory

Llegamos ahora al problema de cómo definir una medida en un conjunto. Hay una manera natural para
esto que consta de dos pasos: en primer lugar hablaremos de medidas exteriores, que permiten medir más
conjuntos aunque no llegan a ser medidas, y luego veremos cómo restringiéndola se convierte en una medida.

Medida exterior

Una función π : P(X) → [0, ∞] es una medida exterior (sobre X) cuando:

/ = 0,
a) π(0)
Definición 1.3.2

b) π es monótona, i.e., π(A) ≤ π(B) para A ⊆ B ⊆ X,

c) π es σ -subaditiva, i.e. !
∞
[ ∞
π An ≤ ∑ π(An )
n=1 n=1

para toda {An }∞

n=1 ⊆A.

En general, π no es una función aditiva. Para corregir esto, restringimos la σ -álgebra P(X) de definición de
π a una más apropiada.

Criterio de Carathéodory

Sea π : P(X) → [0, ∞] una medida exterior. Un subconjunto A ⊆ X se denomina π-medible (de
Definición 1.3.3

Carathéodory) cuando
π(E) = π(E ∩ A) + π(E \ A) para todo E.

Sea M (π) la colección de subconjuntos de X que son π-medibles.

La importancia de M (π) es la siguiente.

Teorema de Carathéodory
Teorema 1.3.1.

(X, M (π), π) es un espacio de medida que es completo, es decir, si A ⊆ X está contenido en un cierto
B ∈ M (π) tal que π(B) = 0, entonces A ∈ M (π) (y tiene π-medida cero).

8
 Hay una manera natural de definir medidas exteriores, por recubrimiento.

Medida exterior por recubrimiento

Dada una familia de subconjuntos F que contiene al vacío y una función ξ : F → [0, ∞] tal que
Definición 1.3.4

ξ (0)
/ = 0, se define

ξe (E) := ı́nf{ ∑ ξ (Bn ) : {Bn }n∈N ⊆ F , E ⊆

[
Bn },
n∈N n∈N

Entonces ξe es una medida exterior, llamada por recubrimientos a partir de ξ .

En general, no es cierto que la medida exterior ξe extienda a ξ pero hay una situación natural en la que
esto ocurre:

Espacio de pre-medida

Un espacio de pre-medida es un triple (X, F , ξ ), donde

Definición 1.3.5

a) F es un semi-anillo de subconjuntos de X: F ⊆ P(X), 0/ ∈ F , F es cerrado bajo intersecciones y

para todos A, B ∈ F existe C ⊆ F finita y disjunta dos a dos tal que A \ B = C∈F C.
S

b) ξ : F → [0, ∞] es una pre-medida: µ(0)

/ = 0 y es σ -aditiva, i.e. si {Bn }n∈N ⊆ F son disjuntos dos a
dos y cumplen que n∈N Bn ∈ F , entonces µ( n∈N Bn ) = ∑n∈N µ(Bn ).
S S

Hiperrectángulos

Sea Rn la colección de hiperrectángulos de Rn , es decir conjuntos de la forma R = I1 × · · · × In

Ejemplo 1.3.1

donde I1 , . . . , In ⊆ R son intervalos acotados. Dado un hiperrectángulo R, se define su n-volumen,

Voln (R) := ℓl(I1 ) · ℓl(In ), donde ℓ(I) es la longitud de un intervalo acotado I. Entonces (Rn , Rn , Voln )
es un espacio de pre-medida.

Extensión de Hahn-Kolmogorov
Teorema 1.3.2.

Si (X, F , ξ ), entonces el espacio de medida completo (X, M (ξe ), ξe ) asociado a la medida exterior ξe
extiende a (X, F , ξ ); es decir, F ⊆ M (ξe ) y ξe (B) = ξ (B) para todo B ∈ F .

Medida de Lebesgue
Definición 1.3.6

La medida exterior por recubrimientos asociada a Voln se denomina medida exterior de Lebesgue y se
denota por λn∗ . El espacio de medida de Lebesgue n-dimensional es (Rn , M (λn∗ ), λn ), donde λn es la
restricción de λn∗ a M (λn∗ ).

1.4 La medida de Lebesgue en Rn

Se tiene el siguiente criterio de medibilidad de Lebesgue, que en particular implica que todo conjunto
medible es igual a un boreliano, salvo un conjunto de medida cero.

9
 Criterios de Lebesgue-medibilidad

Sea A ⊆ Rn arbitrario. Son equivalentes:

1) A es Lebesgue medible.
2) Para todo ε > 0 existe un abierto U que contiene a A y tal que λn∗ (U \ A) ≤ ε.
Teorema 1.4.1.

3) Existe un Gδ -conjunto (intersección numerable de abiertos) G que contiene a A y tal que λn∗ (G \
A) = 0.
4) Para todo ε > 0 existe un cerrado C contenido en A tal que λn∗ (A \C) ≤ ε.
5) Existe un Fσ -conjunto (unión numerable de cerrados) F contenido en A tal que λn∗ (A \ F) = 0.
6) Existe un conjunto Borel B tal que λ ∗ (A△B) = 0.
7) Para todo ε > 0 existe un boreliano B tal que λ ∗ (A△B) ≤ ε.

A partir de esto se concluye que la medida de Lebesgue es regular.

1.4.1 Transformaciones afines, sumas de Minkowski

Se calcula la medida de Lebesgue de un paralelepípedo. Observemos que la medida de Lebesgue es
invariante por traslaciones

Medida de un paralelepípedo; tranformaciones afines

Supongamos que T : Rn → Rn una aplicación afin. Entonces se cumple que

λ (T ([0, 1]n )) = | det AT |,

donde AT es la matriz en la base canónica de Rn de la aplicación lineal T − T (0). En general,

Teorema 1.4.2.

a) Si T : Rn → Rn es una aplicación afín, entonces

λ (T (X)) = | det(AT )|λ (X) para todo X ⊆ Rn medible.

b) Si P ⊆ Rn es un paralelepípedo de dimensión n definido por los vectores (lados a partir de un

vértice fijado) v̄1 , . . . v̄n , entonces la medida de Lebesgue de P es

λ (P) = | det(v̄1 , . . . , v̄n )|.

Se estudia brevemente la medida de las sumas de Minkowski de conjuntos y se demuestra

Desigualdad de Brunn-Minkowski

Supongamos que A, B ⊆ Rn son conjuntos borelianos. Entonces se tiene que

Teorema 1.4.3.

1 1 1
λ (A + B) n ≥ λ (A) n + λ (B) n , (1.1)

y consecuentemente
1 1 1
λ (tA + (1 − t)B) n ≥ tλ (A) n + (1 − t)λ (B) n (1.2)

para todo 0 ≤ t ≤ 1.

1.4.2 Ejemplos de conjuntos

Se estudian ejemplos clásicos de conjuntos de medida cero no numerables (conjunto de Cantor), conjuntos
no medibles (Berstein, Vitali) y conjuntos borelianos.

10
 Bolas euclídeas

Dado p ∈ Rn y r ≥ 0 se define la bola (euclídea) B2 (p, r) := B(p, r) de centro p y radio r como el

conjunto de puntos de Rn a distancia euclídea de p estrictamente menor que r; se define similarmente
la bola cerrada Bn (p, r) := B(p, r) como el conjunto de puntos a distancia de p menor o igual que r.
Como la función distancia a un punto es continua, se sigue que toda bola abierta (cerrada) es abierto
(resp. cerrado) y por tanto medibles de Lebesgue. Usando técnicas de integración como el Teorema de
Ejemplo 1.4.1

Cambio de Variable o el Teorema de Fubini, se demuestra quela medida de Lebesgue de Bn (0, 1) es

n
π2
αn := n ,
Γ( 2 + 1)

donde Γ es la función gamma de Euler,

Z ∞
Γ(t) := e−x xt−1 dx
0

para t > 0. Por tanto, λn (B(p, r)) = rn αn .

Un conjunto Fσ no Gδ

Los racionales Q son claramente Fσ , Q = q∈Q {q}, pero no Gδ : supongamos para llegar a una
S

contradicción que Q es Gδ , Q = n∈N Un , donde cada Un es abierto. Sea {qn }n∈N = Q una enumeración
T
Ejemplo 1.4.2

de Q, y pongamos Vn := Un \ {qn } para cada n ∈ N. Entonces Vn ⊃ Q \ {qn }, este último denso en R

T
y por tanto cada Vn es abierto y denso en R. Por otro lado, n Vn = 0, / contradiciendo el teorema de
categoría de Baire (la intersección numerable de densos es densa). Es fácil ver que una intersección
numerable de abiertos densos en R es no vacía (y de aquí, fácil deducir el teorema) encontrando para
cada n ∈ N intervalos cerrados In ⊂ Vn y encajados In ⊂ In+1 , de lo que se sigue del teorema de intervalos
encajados que 0/ ̸= n In ⊂ n Vn . Por tanto, los irracionales I son Gδ y no Fσ
T T

11
 Un conjunto no medible Lebesgue. Los conjuntos de Vitali

No sólo existen subconjuntos de R que no son medibles Lebesgue, sino que todo subconjunto A ⊆
R tal que λ ∗ (A) > 0 contiene un subconjunto B ∈ / L (R). Para verlo podemos asumir, sin pérdida
de generalidad, que A está acotado y por tanto tiene medida finita. Definimos en R la relación de
equivalencia r ∼ s cuando r − s ∈ Q. Sea D un conjunto de representantes de A para la relación ∼, es
decir, un subconjunto de A tal que para todo a ∈ A existe un único d ∈ D tal que a ∼ d (se considera
el conjunto de clases A/ ∼:= {[b]∼ : b ∈ A} y, utilizando el Axioma de Elección, se escoge para cada
clase C ∈ A/ ∼ un a ∈ C ∩ A). Al conjunto D se lo denomina de Vitali. Entonces D no es Lebesgue
medible. Por reduccción al absurdo, supongamos que D es medible Lebesgue. Como A ⊆ q∈Q (q + D),
S

(q + D) ∩ (q′ + D) = 0/ si q ̸= q′ , Q es numerable y λ es invariante por traslación, se sigue que

!
Ejemplo 1.4.3

λ ∗ (A) ≤ λ ∗
[
(q + D) = ∑ λ (D).
q∈Q q∈Q

Por tanto, 0 < λ (D) < ∞ (ya que D ⊆ A). Por otro lado, sea n ∈ N tal que A ⊆ [−n, n]. Entonces
q∈Q∩[0,1] q + D ⊆ [−n − 1, n + 1] y por tanto,
S

[
2n + 2 ≥ λ ( q + D) = ∑ λ (D) = ∞,
q∈Q∩[0,1] q∈Q∩[0,1]

lo que también es obviamente imposible.

De manera similar se demuestra que D × [0, 1]n−1 no es Lebesgue-medible en Rn . Es interesante
observar que de manera sencilla, esto demuestra que no puede haber una medida total (es decir, que
mide todos los subconjuntos de Rn ), que extienda a la medida de Lebesgue, y que sea invariante por
traslaciones. Se puede ver que en R o R2 la medida de Lebesgue correspondiente sí admite una extensión
a una medida total invariante por isometrías, pero solamente finitamente aditiva, y sin embargo en Rn
con n ≥ 3 ni siquiera esto es posible, como consecuencia de la paradoja de Banach-Tarski .

1.4.3 Unicidad de la medida de Lebesgue

La medida de Lebesgue en los borelianos es la medida de Haar del grupo localmente compacto (R, +).
Concretamente se demuestra:

Unicidad de la medida de Lebesgue

Teorema 1.4.4.

Supongamos que µ es una medida de Borel en Rn tal que

a) µ es invariante bajo traslación, es decir µ(x + A) = µ(A) para todo A ∈ B(Rn )
b) µ([0, 1]n ) < ∞.
Entonces µ(A) = µ([0, 1]n ) · λn (A) para todo boreliano A ∈ B(Rn ).

1.5 Funciones Medibles

Se extiende un espacio de medida (X, A , µ) en el que µ mide cada conjunto en A , a un “espacio de
integración” donde una integral ·dµ definida a partir de µ “mide” ciertas funciones f llamadas A -medibles
R

asignándoles el valor f dµ. Toda función característica 1A de A ∈ A es A -medible, y su entegral es

R

1A dµ := µ(A), y una combinación lineal de ellas f = ∑nj=1 a j 1A j también, llamadas funciones simples
R

A -medibles, asignándole como integral la misma combinación lineal de las integrales correspondientes
f dµ := ∑nj=1 a j µ(A j ). El límite puntual de funciones A -medibles, también es A -medible, y el menor
R

12
conjunto de funciones f que contiene a las funciones simples A -medibles y es cerrado para límites
puntuales es la colección de todas las funciones A -medibles. Sin embargo, hay que prestar atención
al valor asignado a la integral de un límite puntual f = lı́mn fn de funciones A -medibles ( fn )n . Se podría
R R
pensar que tenemos entonces f dµ := lı́mn fn dµ, pero esto no funciona, como se puede ver fácilmente con
el ejemplo fn := n · 1]0,1/n[ para cada n ∈ N, que cumple fn →n 0 puntualmente, mientras que lı́mn fn dλ =
R

n · ℓ(]0, 1/n[) = 1. Esto se debe a que la integral es una noción fundamentalmente reticular. Por ejemplo,
R R
tendremos la igualdad anterior f dµ := lı́mn fn dµ cuando f sea el límite puntual y creciente de funciones
positivas ( fn )n . Así, se verá que f es A -medible exactamente cuando su partes positiva f + := máx{ f , 0}
y negativa f − := − mı́n{ f , 0} son límites puntuales crecientes de funciones simples positivas (sn )n y (tn )n
R R R
respectivamente, y en este caso la integral correspondiente es f dµ := lı́mn→∞ sn dµ − lı́mn→∞ tn dµ.

Generalizando aún más, se consideran funciones f : X → R∗ = R ∪ {±∞} con, posiblemente, valores

±∞, y la medibilidad de f y su integral correspondiente contra µ no cambian (es decir, las partes positiva
y negativa de f son límites puntuales crecientes de funciones simples positivas, el valor de la integral es
la diferencia de los límites de integrales de simples). Finalmente, se dice que una función f : X → C es
una función A -medible cuando sus partes real e imaginaria son A -medibles, asignando como integral
R R R
f dµ := Re( f )dµ + i Im(f)dµ.

Funciones medibles

Sea f : X → Y una función.

a) Dados dos espacios medibles (X, A ) e (Y, B), una función f : X → Y es (A , B)-medible o simple-
mente medible cuando f −1 (B) ∈ A para todo B ∈ B.
b) Cuando Y es un espacio topológico y (X, A ) es un espacio medible diremos que f es A -medible
cuando f es una función (A , B(Y ))-medible, i.e. cuando f −1 (B) ∈ A para todo boreliano B ⊆ Y .
Definición 1.5.1

c) Así, f : X → R∗ , C es A -medible cuando la preimagen por f de todo boreliano de R∗, C (equiv.

abierto) pertenece a A .a
d) Cuando el espacio medible inicial es (Rn , L (Rn )) entonces las funciones medibles correspondientes
f : Rn → F se llaman medibles Lebesgue.
e) Cuando Y es un espacio topológico y el espacio inicial es (X, B(X)), las funciones medibles
correspondientes se denominan funciones Borel.
a la topología en la recta extendida R∗ tiene por abiertos básicos los intervalos abiertos acotados y los intervalos no acotados

de la forma [−∞, a[ y ]a, ∞]

Se tiene entonces las siguientes propiedades:

13
 Operaciones con funciones A -medibles

Sea (X, A ) un espacio medible.

a) Supongamos que f , g : X → R∗ , C son A -medibles tales que la suma de f y g está bien definida,
es decir, no hay x ∈ X cumpliendo que f (x) = ±∞ y g(x) = ∓∞. Entonces f + g y f · g también son
A -medibles.
b) Supongamos que ( fk )k∈N es una sucesión de funciones A -medibles fk : X → R∗ . Entonces las
siguientes funciones son A -medibles:
b.1) supk∈N fk , ı́nfk∈N fk .
Teorema 1.5.1.

b.2) lı́m supk∈N fk , lı́m infk∈N fk .

b.3) Si ( fk )k converge puntualmente a f , entonces f es también A -medible.
c) Supongamos que (X, A ) es un espacio medible topológico.
a) Si f : X → R es lsc, usc, entonces f es A -medible.
b) Si f : X → F es continua, entonces f es A -medible.
d) Una función f : X → R∗ es A -medible exactamente cuando sus partes positiva f ∗ := máx{ f , 0} y
negativa f − := − mı́n{ f , 0} son A -medibles.
e) Una función f : X → C es A -medible exactamente cuando sus partes real e imaginaria son A -
medibles.
f) Sea E ∈ A y f : E → R∗ , C. Se define la extensión por cero fb : X → R∗ , C de f por fb(x) = f (x) si
x ∈ E y fb(x) = 0 en caso contrario. Entonces fb es A -medible exactamente cuando f es A ↾ E-medible.

El siguiente resultado es el fundamental de aproximación de funciones medibles por simples medibles.

Aproximación por funciones simples

Sea f : X → R∗ , C. Son equivalentes:

a) f es A -medible.
Teorema 1.5.2.

b) Existe una sucesión (sk )k de funciones A -simples que converge puntualmente a f (es decir, sk (x) →k
f (x) para todo x ∈ X) y tal que |sk | ≤ | f | (i.e. |sk (x)| ≤ | f (x)| para todo k ∈ N y todo x ∈ X). Además,
cuando f es positiva, la sucesión (sk )k se puede escoger creciente y positiva.
c) Existen sucesiones crecientes (sk )k y (tk )k de funciones simples positivas A -medibles que converge
puntualmente a f + y f − , respectivamente.

Como consecuencia tenemos la siguiente caracterización de la familia de funciones medibles como lo

explicamos en la introducción de este capítulo.

Funciones A -medibles

Sea F una colección de funciones f : X → F. Son equivalentes:

Teorema 1.5.3.

a) F es la familia de funciones A -medibles.

b) F es la mínima familia que contiene a las funciones características 1A de elementos A ∈ A , es
cerrada por combinaciones lineales de funciones A -medibles que estén bien definidas y es cerrada por
límites puntuales (si { fn }n ⊆ F convergen puntualmente a f , entonces f ∈ F ).
c) Toda función en F es límite puntual de funciones simples A -medibles.

14
1.5.1 Los tres principios de Littlewood

Se trata de tres ideas intuitivas sobre la medida de Lebesgue, sobre conjuntos, funciones y sucesiones de
funciones que pueden ayudar a entender mejor muchas de las propiedades de una medida y la integral de
Lebesgue.

Los tres principios de Littlewood

Pr.1) Todo conjunto Lebesgue-medible es “aproximadamente” una unión finita de intervalos disjuntos
Teorema 1.5.4.

dos a dos.
Pr.2) Toda función Lebesgue-medible es “aproximadamente” una función continua.
Pr.3) La convergencia puntual de funciones Lebesgue medibles en intervalos acotados implica la
convergencia uniforme “aproximada”.

El siguiente resultado es el primer principio.

Primer principio

Sea E ⊆ R un conjunto de medida de Lebesgue finita. Para todo ε > 0 existe una colección finita {I j }nj=1
Teorema 1.5.5.

de intervalos disjuntos dos a dos tal que

n
[
λ (E△ I j ) < ε.
j=1

El segundo es el principio de Lusin

Principio de Lusin: medibles son “casi” continuas

Teorema 1.5.6.

Si f : R → C es A -medible, entonces para todo ε > 0 existe una función continua g : R → C con
√
soporte compacto tal que λ ({ f ̸= g}) ≤ ε y cumpliendo que ∥g∥∞ ≤ 2∥ f ↾ E∥∞ .

El tercer principio es el siguiente:

Convergencia “casi” uniforme de Egoroff

Teorema 1.5.7.

Si E tiene medida finita y ( fk )k es una sucesión de funciones medibles fk : R → C que convergen

puntualmente a una función f : R → C. Entonces para todo ε > 0 existe un conjunto cerrado C
contenido en E tal que fk →k f uniformemente en C y λ (E \C) < ε.

1.6 Integración abstracta

Queremos extender naturalmente la medida µ a un espacio de funciones sobre X rico. El punto de nexo
son las funciones características 1A de conjuntos medibles y para las que la integral tiene que ser la medida
de A, y luego pedir linealidad, propiedad correspondiente a la aditividad de la medida. Definimos la integral
de una medida abstracta de la que la integral de Lebesgue en Rn será un caso particular (fundamental).

1.6.1 Funciones positivas

15
 Integral de funciones positivas

Sea (X, A , µ) un espacio de medida, y f : X → [0, ∞] una función medible.

a) Si f es una función simple se define su integral como f dµ := ∑α∈[0,∞[ α µ(s−1 (α)).
R
Definición 1.6.1

b) En general, se define la µ-integral (o integral contra µ) de f como

Z Z 
f dµ := sup sdµ : s es simple A -medible y 0 ≤ s ≤ f .

c) Dado E ∈ A , se define 1E · f dµ.

R R
E f dµ :=

Se estudian las propiedades algebraicas de la medida, el teorema de convergencia monótona y el lema de

Fatou.

Propiedades de la integral de funciones positivas

Sean f , g : X → [0, ∞] son funciones A -medibles

a) Desigualdad de Chebychev: Para todo α, p > 0 se tiene que
Teorema 1.6.1.

1
Z
µ( f ≥ α) ≤ f p dµ.
αp
R
b) Supongamos que f dµ < ∞. Entonces el conjunto { f > 0} es σ -finito, es decir, es unión numerable
de conjuntos de µ-medida finita.

Convergencia monótona de B. Levi

Teorema 1.6.2.

Si ( fn )n∈N es una sucesión de funciones A -medibles fn : X → [0, ∞] y f : X → [0, ∞] es su límite puntual

creciente, entonces f es A -medible y se cumple que lı́mn→∞ fn dµ = f dµ.
R R

Lema de Fatou
Teorema 1.6.3.

Si ( fn )n∈N es una sucesión de funciones A -medibles fn : X → [0, ∞], entonces (lı́m infn→∞ fn )dµ ≤
R
R
lı́m infn→∞ fn dµ.

1.6.2 Integral de funciones arbitrarias

Integral de funciones arbitrarias

a) Dada una función A -medible f : X → R∗ tal que mı́n{ f + dµ, f − dµ} < ∞, se define la µ-integral
R R

como f dµ := f + dµ − f − dµ, y de manera similar, dada una función A -medible f : X → C se

R R R
R R R
define la µ-integral de f como f dµ := ℜ f dµ + i ℑ f dµ.
Definición 1.6.2

b) Una función A -medible f : X → R∗ se dice µ-integrable | f |dµ < ∞.

R

c) Una función compleja A -medible f : X → C se dice µ-integrable cuando su parte real y su parte
imaginaria son µ-integrables.
d) Si f : X → R∗ es µ-integrable, entonces
Z
| f | dµ = 0 = µ({| f | = ∞}).
{| f |=∞}

16
Observemos que si f + dµ = f − dµ = ∞, entonces no está clara la definición de f dµ por encontrarnos
R R R

con una expresión del tipo ∞ − ∞. Así, cuando se escribe f dµ para una función A -medible f , entonces
R

implícitamente se supone que esa integral está bien definida.

Integral vs. ∞ vs. c.t.p.

a) Una función A -medible f : X → R∗ es µ-integrable exactamente cuando f + y f − son µ-integrables.

b) Una función A -medible f : X → C es µ-integrable exactamente cuando la función real | f | es
Teorema 1.6.4.

µ-integrable.
c) Si f : X → R∗ es µ-integrable, entonces {| f |=∞} | f |dµ = 0.
R

d) Si f = g son dos funciones A -medibles f , g : X → R∗ tales que f = g µ-c.t.p., entonces f dµ =

R

gdµ. a
R

a es
R R
decir, f dµ está bien definida exactamente cuando gdµ lo está, y las dos integrales coinciden

Funciones µ-integrables, L1 (µ, K)

a) Una función A -medible f : X → R∗ se dice µ-integrable cuando

Definición 1.6.3

Z
| f | dµ < ∞.

b) Una función compleja A -medible f : X → C se dice µ-integrable cuando la parte real y la parte
imaginaria son µ-integrables.
c) Dado K = R, C, la colección de funciones µ-integrables a valores en K se denota por L1 (µ, K).

Nótese que el espacio L1 (µ, R) consiste en todas las funciones µ-integrables f : X → R∗ . En efecto,
podemos identificar f con la función f0 , f0 (x) = f (x) si f (x) < ∞ y f0 (x) = 0 en caso contrario, ya que f0
R R
es µ-integrable y además se cumple que f dµ = f0 dµ.

Propiedades de la integral de funciones integrables o medibles positivas

Sean f , g ∈ L1 (µ, K), o f , g : X → [0, ∞] A -medibles.

a) (linealidad de la integral en L1 ) (α f + β g) dµ = α · f dµ + β · g dµ para todo α, β ∈ C.
R R R
R R
b) | f dµ| ≤ | f |dµ.
Teorema 1.6.5.

R R
c) Si f ≤ g entonces f dµ ≤ g dµ.
R
d) Si f = 0 c.t.p. entonces f dµ = 0.
R
e) Si µ(A) = 0 entonces A f dµ = 0.
f) Si A ∈ A es tal que f es no negativa en A y A f dµ = 0, entonces f = 0 c.t.p. de A.
R

g) Si se cumple que A f dµ ≥ 0 para todo A ∈ A , entonces f ≥ 0 c.t.p.

R

h) Si A f dµ = 0 para todo A ∈ A , entonces f = 0 c.t.p.

R

Se presenta el teorema de convergencia dominada.

Convergencia dominada de Lebesgue

Teorema 1.6.6.

Si ( fn )n son funciones µ-medibles fn : X → R∗ tales que existe una función g ∈ L1 (µ) con | fn | ≤ |g|
para todo n ∈ N, y f es el límite puntual de ( fn )n , entonces f ∈ L1 (µ) y lı́mn→∞ | fn − f |dµ = 0.
R

17
 La desigualdad de Jensen.

Desigualdad de Jensen

Sean (X, A , µ) un espacio de probabilidad, γ : I → R una función convexa definida en un intervalo

Teorema 1.6.7.

R
abierto I, y f : X → I es una función µ-integrable. Entonces X f dµ ∈ I y se cumple que
Z  Z
γ f dµ ≤ (γ ◦ f ) dµ.
X X

1.6.3 Integral de Riemann vs integral de Lebesgue

Se demuestra que la integral de Lebesgue es la integral de Riemann cuando ésta existe. En general, se
caracterizan las funciones Riemann-integrables en función de la medida de Lebesgue.

Caracterización de integrabilidad de Riemann por Lebesgue

Supongamos que f : [a, b] → R es una función acotada. Son equivalentes:

Teorema 1.6.8.

a) f es Riemann-integrable.
b) f es continua c.t.p.
Por tanto, si f es Riemann-integrable, entonces f es Lebesgue integrable, y su integral de Riemann y la
de Lebesgue coinciden.

1.7 Medidas signadas y descomposiciones

Tiene sentido considerar medidas signadas. Fijada una σ -álgebra A sobre un conjunto X, consideremos
M (A ) el conjunto de medidas sobre A . Evidentemente, M (A ) es un semigrupo: µ + ν ∈ M (A ) si
µ, ν ∈ M (A ), y la medida degenerada constante igual a cero es el elemento neutro. Y veremos cómo
extender la noción de medida para que pueda tener valores negativos. Esto se observa bien en las medidas
integrales ν(A) := A f dµ, para A ∈ A , donde (X, A , µ) es un espacio de medida y f : X → R∗ es una
R

función µ-integrable.

Medida signada

Se dice que función µ : A → R∗ se denomina medida signada cuando

/ = 0.
a) µ(0)
Definición 1.7.1

b) µ toma a lo sumo uno de los dos valores infinitos −∞, ∞.

c) µ es σ -aditiva: Si {An }n ⊆ A son disjuntos dos a dos, entonces
[
µ( An ) = ∑ µ(An ),
n∈N n∈N

y la serie anterior es absolutamente convergente cuando |µ(

S
n∈N An )| < ∞.

1.7.1 Descomposiciones

Se presentan las descomposiciones de Hahn, de Jordan y de Lebesgue.

18
 Descomposición de Hahn
Teorema 1.7.1.

Sea µ una medida signada en un espacio medible (X, Σ). Entonces existe P ∈ A tal que P es positivo
para µ y N := X \ P es negativo para µ, es decir µ(A) ≤ 0 para todo A ⊆ N. Además la descomposición
anterior es µ-esencialmente única: si P′ ∈ A tiene las mismas propiedades entonces µ(A) = 0 para
todo A ∈ A ↾ (P△P′ ).

Singularidad mutua
Definición 1.7.2

Dos medidas signadas µ y ν sobre la misma σ -álgebra son mutuamente singulares cuando están
concentradas en conjuntos disjuntos A, B ∈ A (µ(Z) = µ(Z ∩ A), ν(Z) = ν(Z ∩ A)).

Lo siguiente se debería de comparar con la descomposición de una función f : X → R∗ como f = f + − f − .

Descomposición de Jordan

Sea µ una medida signada en un espacio medible (X, A ). Entonces existen dos únicas medidas
Teorema 1.7.2.

mutuamente singulares µ + y µ − en (X, A ) tales que µ = µ + − µ − . Además se cumple

µ + (A) = sup{µ(B) : B ∈ A ↾ A} (1.3)

−
µ (A) = − ı́nf{µ(B) : B ∈ A ↾ A}. (1.4)

Variación total, continuidad absoluta

Se define la variación total |µ| de µ como la medida positiva

Definición 1.7.3

|µ| := µ + + µ − .

Se dice que µ es absolutamente continua con respecto a ν, y se escribe µ << ν, si |µ|(X) = 0 para todo
X tal que |ν|(X) = 0.

Descomposición de Lebesgue
Teorema 1.7.3.

Sea (X, A ) un espacio medible y sean µ, ν medidas signadas sobre (X, A ), con ν σ -finita. Entonces
existen dos únicas medidas νa y νs en A tales que
a) ν = νa + νs .
b) νa << µ y νs ⊥ µ.

1.7.2 El Teorema de Radon-Nikodym

Hemos visto que dado un espacio de medida (X, A , µ) y dada una función µ-integrable f , se puede
definir una medida signada finita I f (A) := A f dµ. Esta medida es absolutamente continua con respecto
R

a la medida µ. El Teorema de Radon-Nikodym nos dice que, suponiendo que µ es σ -finita, esas medidas
integrales son todas las medidas signadas en A absolutamente continuas con respecto a µ. Se presenta el
Teorema de Radon-Nikodym para medidas signadas y complejas

19
 Medida compleja
Definición 1.7.4

Sea (X, A ) un espacio medible. Una función µ : A → C se denomina medida compleja cuando
/ =0
a) µ(0)
b) µ( n An ) = ∑n µ(An ) para toda familia {An }n ⊆ A disjunta dos a dos.
S

Sean µR , µI la parte real e imaginaria de µ, respectivamente; es decir µ(A) = µR (A) + iµI (A).

Radon-Nikodym

Sea (X, A ) un espacio medible, µ una medida σ -finita sobre A , y ν una medida signada (resp.
compleja) también sobre A . Si ν << µ, entonces existe una función σ − µ-integrable f : X → R∗ a
(resp. µ-integrable f : X → C) tal que dν = f dµ, es decir,
Z
ν(A) = f dµ para todo A ∈ A . (1.5)
A
Teorema 1.7.4.

y por tanto, el funcional integral dν es igual a f dµ, es decir

Z Z
gdν = g f dµ para toda función A -medible g. (1.6)

Además la función f es única salvo en un conjunto de medida 0 y se denomina la derivada de Radon-

Nikodym de ν (con respecto a µ) y se denota por dν/dµ. Con esta notación se tiene que

dν
dν = dµ.
dµ
a existe {Xn }n∈N ⊆ A tal que = X, y cada 1Xn f es µ-integrable
S
n Xn

A partir del Teorema de Radon-Nikodym se tiene la siguiente caracterización de las medidas signadas y
complejas a partir de medidas.

Forma polar de las medidas complejas

Teorema 1.7.5.

Supongamos que µ es una medida signada σ -finita (compleja) sobre (X, A ). Entonces la derivada de
Radon-Nikodym γ := dµ/d|µ| cumple que γ : X → S1 .
Por tanto, toda medida signada σ -finita (compleja) sobre X es de la forma γdν donde ν es una
medida sobre X y γ : X → S1 es σ − ν-integrable .

1.8 Integración y derivación

Uno de los resultados principales de las matemáticas es el Teorema Fundamental del Cálculo Integral
que nos dice que bajo ciertas hipótesis la integral y la derivada son funciones inversas una de la otra. En este
capítulo se trata la relación entre la derivada y la integral.

1.8.1 Recubrimientos de Vitali

Se presenta el Teorema del recubrimiento de Vitali, que nos dice en particular que si recubrimos un
conjunto por bolas arbitrariamente pequeñas, entonces el conjunto es una unión finita de esas bolas, salvo
una parte pequeña en medida.

20
 Recubrimiento de Vitali
Definición 1.8.1

Sea E ⊆ Rn y sea C una familia de bolas no degenerados de (Rn , ∥ · ∥), siendo ∥ · ∥ una norma arbitraria.
Se dice C es un recubrimiento de Vitali de E si para todo x ∈ E y todo ε > 0 existe una bola de radio
< ε que contiene a x.

21
 Teorema del recubrimiento de Vitali

Supongamos que C es un recubrimiento de Vitali de E ⊆ Rn .

a) Existe una subfamilia D ⊆ C de cubos disjuntos dos a dos que recubre c.t.p. de E, i.e., tal que
λ (E \ D∈D D) = 0.
S

b) Si λ ∗ (E) < ∞, entonces para todo ε > 0 existen C1 , . . . ,Ck ∈ C disjuntos dos a dos tales que
k
λ ∗ (E \
[
C j ) ≤ ε.
j=1

c) Si E es λ -medible y de medida finita entonces para todo ε > 0 existen C1 , . . . ,Ck ∈ C disjuntos
Teorema 1.8.1.

dos a dos tales que

k
[
λ (E△ C j ) ≤ ε.
j=1

0.0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
Figura 1.1: Ejemplo de recubrimiento por rectángulos

1.8.2 Teorema del cambio de variable

Cambio de variable

Recordemos que una función Θ := (θ j )nj=1 : Ω ⊆ Rn → Rn se denomina un cambio de variable (o

difeomorfismo) cuando:
a) Ω es un abierto no vacío.
Definición 1.8.2

b) Θ es inyectiva.
c) Θ es una función diferenciable con continuidad (es decir, las parciales ∂∂ xθij (p) existen en cada punto
p ∈ Ω y p ∈ Rn 7→ ∂∂ xθij (p) es una función continua.
d) El determinante Jacobiano JΘ (p) de Θ es no-nulo en todo p ∈ Ω; es decir
 n
∂ θi
Jθ (p) := det(DΘ(p)) = det (p) ̸= 0 para todo p ∈ Ω.
∂xj i, j=1

Teorema del cambio de variable

Teorema 1.8.2.

Sea Ω ⊆ Rn un abierto y supongamos que Θ : Ω → Rn es un cambio de variable. Entonces

Z Z
f (y)dλ (y) = f (Θ(x))|JΘ (x)|dλ (x).
Θ(Ω) Ω

1.8.3 Derivación bajo el signo integral

22
 Diferenciación bajo el signo integral

Sea U ⊆ R abierto, (Ω, Σ, µ) un espacio de medida, y sea f : U × Ω → R una función que satisface
i) La función ω ∈ Ω 7→ f (x, ω) es una función µ-integrable para todo x ∈ U.
Teorema 1.8.3.

ii) La función x ∈ U 7→ f (x, ω) es derivable µ-c.t.p. ω ∈ Ω.

iii) Existe una función µ-integrable g : Ω → R tal que supx∈U |(∂ f /∂ x)(x, ω)| ≤ g(ω) µ-c.t.p. ω ∈ Ω.
R
Entonces la función x ∈ U 7→ Ω f (x, ω)dµ(ω) es una función derivable y se cumple que

d ∂f
Z Z
f (x, ω)dµ(ω) = (x, ω)dµ(ω). (1.7)
dx Ω Ω ∂x

1.9 Los espacios de Lebesgue

Estudiamos ahora las medidas analizando la estructura del conjunto L1 de funciones que son integrables
sobre ellas. Sabemos que L1 es un espacio vectorial dotado de una pseudo-distancia natural d( f , g) :=
| f − g|dµ, que en realidad es una seminorma completa, y por tanto L1 es un espacio normado completo, i.e.
R

un espacio de Banach. Lo mismo ocurrirá con las p-normas, objeto de estudio introductorio de este capítulo.
Con objeto de no duplicar argumentos, todas las funciones se supondrán con valores complejos, salvo que se
explicite otra cosa.

1.9.1 Generalidades y desigualdades clásicas

Espacios de medida L p

Dado un espacio de medida (X, A , µ), 1 ≤ p ≤ ∞ y f : X → K, donde K = R∗ , C, se define la p-norma

∥ f ∥ p de f como sigue:
a) para p < ∞,
Definición 1.9.1

Z 1
p
p
∥ f ∥ p := | f | dµ ;

b) para p = ∞,
∥ f ∥∞ := ı́nf{α ≥ 0 : µ({| f | > α}) = 0},

con el convenio de que ı́nf 0/ = ∞.

Se definen los espacios de Lebesgue L p (µ, K) como la colección de funciones f para las que ∥ f ∥ p < ∞.

En realidad ∥ · ∥ p no es una norma, sino una seminorma. Evidentemente, ∥ f ∥ p = 0 no implica que f = 0,

sino que f = 0 c.p.t. Así que para tener una norma tenemos que considerar el cociente L p (µ)/ ∼c.t.p. .
Se observa que las funciones simples son densas y como consecuencia de esto y del Teorema de Lusin.

Las funciones continuas con soporte compacto son densas

Teorema 1.9.1.

Teorema!de densidad de funciones continuas Supongamos que X es localmente compacto y supongamos

que µ es una medida sobre X completamente regular interiormente, es decir, que cumple que µ(A) =
sup{µ(K) : K ⊆ A, K compacto}. Entonces las funciones continuas con soporte compacto son densas
en L p (µ).

23
 Conjugado
Definición 1.9.2

Dado 1 ≤ p ≤ ∞, el exponente conjugado de p es el único número 1 ≤ p∗ ≤ ∞ tal que

1 1
+ ∗ = 1.
p p

Se tienen entonces las siguientes desigualdades clásicas.

Desigualdades clásicas de los espacios L p

∗
a) Desigualdad de Hölder: Sea 1 ≤ p ≤ ∞ y sean f ∈ L p (µ), g ∈ L p (µ). Entonces se cumple que
Z
| f g| dµ ≤ ∥ f ∥ p · ∥g∥ p∗ .

b) Desigualdad de Cauchy-Schwarz: Para f , g ∈ L2 (µ) se tiene que

Teorema 1.9.2.

Z
f · g dµ ≤ ∥ f ∥2 ∥g∥2

donde g es la función conjugada de g.

c) Desigualdad de Minkowski: Para todo 1 ≤ p ≤ ∞ y f , g ∈ L p (µ) se tiene que

∥ f + g∥ p ≤ ∥ f ∥ p + ∥g∥ p . (1.8)

En particular f + g ∈ L p (µ).

Los espacios L p son de Banach

Teorema 1.9.3.

a) Para cada 1 ≤ p ≤ ∞ la norma ∥ · ∥ p es completa (toda sucesión de Cauchy es convergente), y por

tanto el espacio L p es de Banach.
b) La expresión ⟨ f , g⟩ := f · gdµ es un producto escalar en L2 (µ), que define la norma ∥ · ∥2 , es decir
R
p
∥ f ∥2 = ⟨ f , f ⟩. Por tanto L2 (µ) es un espacio de Hilbert.

1.9.2 Teorema de representación de Riesz para L p

de representación de Riesz para L p

Supongamos que (X, A , µ) es un espacio de medida. Entonces

∗
a) para todo 1 < p < ∞ se tiene que (L p (µ))∗ = L p (µ), es decir, para todo funcional continuo
∗
γ : L p (µ) → K existe una única g ∈ L p (µ) tal que
Teorema 1.9.4.

Z
γ( f ) = ⟨ f , g⟩ := ( f · g)dµ para todo f ∈ L p (µ), (1.9)

y además si 1 < p se cumple que

∥γ∥ = ∥g∥ p∗ . (1.10)

b) si µ es σ -finito, entonces también se tiene que (L1 (µ))∗ = L∞ (µ) en el mismo sentido que a).

24
1.10 Medidas producto

Supongamos que tenemos espacios de medida (X, A , µ) e (Y, B, ν) y queremos encontrar una medida
π sobre una σ -álgebra que mida los rectángulos medibles A × B (y por tanto que contenga A × B), que los
mida como

π(A × B) = µ(A) · ν(B).

Esto se hace como siguiendo la estrategia que usada para definir la medida de Lebesgue en Rn , que pasamos
a recordar: primeramente, tenemos un semi-anillo junto con una pre-medida sobre la familia. Seguidamente
se extiende la pre-medida por recubrimientos numerables una medida exterior, y finalmente se utiliza el
criterio de Carathéodory para definir una medida, que extiende la pre-medida.

1.10.1 Generalidades

Rectángulos generalizados

Un A × B-rectángulo es un producto cartesiano A × B con A ∈ A y B ∈ B. Sea R := R(A , B) la

Teorema 1.10.1.

familia de los rectángulos de A × B. Dado un rectángulo A × B se define

π(A × B) = µ(A) · ν(B),

donde aquí convenimos que 0 · ∞ = ∞ · 0 = 0. Entonces (X ×Y, R, π) es un espacio de pre-medida.

Espacio de medida producto

Definición 1.10.1

El espacio de medida producto (X ×Y, A ⊗ B, µ ⊗ ν) es la extensión de Hahn-Kolmogorov del espacio

de pre-medida (X ×Y, R, π).
Sea A ×σ B la σ -álgebra generada por los rectángulos de R, y µ × ν como la restricción de µ ⊗ ν
a A × B.

Es decir, µ ⊗ ν es la medida exterior πe asociada a µ × ν restringida a la familia A ⊗ B de πe -medibles

en el sentido de Carathéodory.
Teorema 1.10.2.

µ ⊗ν = \
µ ×ν

(X ×Y, A ⊗ B, µ ⊗ ν) es la compleción del espacio de medida (X ×Y, A ×σ B, µ × ν).

Antes de continuar con el estudio de las medidas productos veamos que las medidas de Lebesgue son
medidas productos.
Teorema 1.10.3.

Medida producto de Lebesgue

Para todo n, m ∈ N se tiene que λm+n = λm ⊗ λn .

Lo siguiente es la versión conjuntista del Teorema de Fubini.

25
 Secciones de conjuntos

Sea E ⊆ X ×Y .
a) Si E ∈ A ×σ B tiene medida finita, entonces
a.i) para todo x ∈ X se tiene que la x-sección Ex := {y ∈ Y : (x, y) ∈ E} ∈ B, y para todo y ∈ Y la
y-sección E y := {x ∈ X : (x, y) ∈ E} ∈ A ,
[Link]) la función x ∈ X 7→ ν(Ex ) es A -medible y la función y ∈ Y 7→ µ(E y ) es B-medible y función
Teorema 1.10.4.

[Link]) ν(Ex )dµ(x) = µ(E y )dν(y) = µ ⊗ ν(E).

R R

b) Si E es tal que µ ⊗ ν(E) = 0 entonces ν(Ex ) = 0 µ-c.t.p. x ∈ X si ν es completa, y µ(E y ) ν-c.t.p.

y ∈ Y , si µ es completa.
c) Si E ∈ A ⊗ B, entonces
c.i) Ex ∈ B µ-c.t.p. x ∈ X, si ν es completa, y E y ∈ A ν-c.t.p. y ∈ Y , si µ es completa.
[Link]) La función x ∈ X 7→ ν(Ex ) es A -medible si ν es completa, y la función y ∈ Y 7→ µ(E y ) es
B-medible si µ es completa
[Link]) ν(Ex )dµ(x) = µ ⊗ ν(E) si ν es completa, y µ(E y )dν(y) = µ ⊗ ν(E) si µ es completa.
R R

1.10.2 Los teoremas de Fubini y Tonelli

Se trata de resultados fundamentales que identifican la integral contra una medida producto como
integrales iteradas.

Teorema de Tonelli para µ × ν

Supongamos que µ y ν son medidas σ -finitas, y f : X → Y → [0, ∞] una función A × B-medible.

a) la función y ∈ Y 7→ fx (y) := f (x, y) es B-medible para todo x ∈ X y la función x ∈ X 7→ f y (x) :=
Teorema 1.10.5.

f (x, y) es A -medible para todo y ∈ Y .

b) La función x ∈ X 7→ fx (y)dν(y) es A -medible y la función y ∈ Y 7→ f y (x)dµ(x) es B-medible.
R R

c) Se tiene
Z Z Z  Z Z 
f d(µ × ν) = fy (x)dµ(x) dν(y) = fx (y)dν(y) dµ(x). (1.11)

Teorema de Tonelli para µ ⊗ ν

Supongamos que µ y ν son medidas completas y σ -finitas. Sea f : X → Y → [0, ∞] una función
A ⊗ B-medible.
a) la función y ∈ Y 7→ fx (y) := f (x, y) es B-medible µ-c.t.p. x ∈ X, y la función y ∈ yx∈ X 7→ f y (x) :=
Teorema 1.10.6.

f (x, y) es A -medible ν-c.t.p. y ∈ Y .

b) La función x ∈ X 7→ fx (y)dν(y) es A -medible y la función y ∈ Y 7→ f y (x)dµ(x) es B-medible.
R R

c) Se tiene
Z Z Z  Z Z 
f d(µ ⊗ ν) = fy (x)dµ(x) dν(y) = fx (y)dν(y) dµ(x). (1.12)

Las versiones para funciones arbitrarias, pero integrables son las siguientes.

26
 Teorema de Fubini para µ × ν

Supongamos que µ y ν son medidas signadas o complejas, con variaciones |µ| y |ν| σ -finitas, y sea
f : X ×Y → R∗ , C una función µ × ν-integrable. Se tiene:
Teorema 1.10.7.

a) La función y ∈ Y 7→ fx (y) := f (x, y) es ν-integrable µ-c.t.p. x ∈ X, y la función x ∈ X 7→ f y (x) :=

f (x, y) es µ-integrable ν-c.t.p. para todo y ∈ Y .
b) La función x ∈ X 7→ fx (y)dν(y) es µ-integrable y la función y ∈ Y 7→ f y (x)dµ(x) es ν-integrable.
R R

c) Se tiene
Z Z Z  Z Z 
f d(µ ⊗ ν) = fy (x)dµ(x) dν(y) = fx (y)dν(y) dµ(x). (1.13)

Teorema de Fubini para µ ⊗ ν

Supongamos que µ y ν son medidas signadas o complejas completas, con variaciones |µ| y |ν| σ -finitas
y completas, y sea f : X ×Y → R∗ , C una función µ ⊗ ν-integrable. Se tiene:
Teorema 1.10.8.

a) La función y ∈ Y 7→ fx (y) := f (x, y) es ν-integrable µ-c.t.p. x ∈ X, y la función x ∈ X 7→ f y (x) :=

f (x, y) es µ-integrable ν-c.t.p. para todo y ∈ Y .
b) La función x ∈ X 7→ fx (y)dν(y) es µ-integrable y la función y ∈ Y 7→ f y (x)dµ(x) es ν-integrable.
R R

c) Se tiene
Z Z Z  Z Z 
f d(µ ⊗ ν) = fy (x)dµ(x) dν(y) = fx (y)dν(y) dµ(x). (1.14)

27
 Índice alfabético

A ⊗ B, 25 Espacio
A ×σ B, 25 de Lebesgue L p (µ), 23
µ ⊗ ν, 25 de medida producto, 25
µ × ν, 25 de pre-medida, 9
x-sección, 26 medible, 7
y-sección, 26 Espacio de medida, 8
Exponente conjugado, 24
Algebra
σ, 7 Forma polar de medidas complejas, 20
de Boole, 7 Funciones
µ-integrables, 17
Cambio de variable, 22 Función
Caracterización µ-integrable, 17
de A -medibilidad, 14 compleja µ-integrable, 17
Conjunto gamma de Euler, 11
de Vitali, 12 medible, 13
negativo, 19
Continuidad absoluta entre medidas, 19 Hiperrectángulo, 9
Criterio
Integral
de Carathéodory, 8
de funciones arbitrarias, 16
de medibilidad de Lebesgue, 10
de funciones positivas, 16
Desigualdad
Lema
de Brunn-Minkowski, 10 de Fatou, 16
de Cauchy-Schwarz, 24
de Chebychev, 16 Medida, 8
de Holder, 24 σ -finita, 8
de Jensen, 18 compleja, 20
de Minwowski, 24 de Lebesgue, 9

28
 de probabilidad, 8
exterior, 8
exterior por recubrimiento, 9
finita, 8
signada, 18
Medidas
mutuamente singulares, 19

Principio
de Egoroff, 15
de Lusin, 15

Rectángulo generalizado, 25
Recubrimiento
de Vitali, 21

Teorema
de Carathéodory, 8
de extensión de Hahn-Kolmogorov, 9
de Fubini para µ ⊗ ν, 27
de Fubini para µ × ν, 27
de representación de Riesz para L p , 24
de Tonelli para µ ⊗ ν, 26
de Tonelli para µ × ν, 26
de aproximación por funciones simples, 14
de convergencia dominada de Lebesgue, 17
de descomposición
de Hahn, 19
de Jordan, 19
de descomposición de Lebesgue, 19
de diferenciación bajo el signo integral I, 23
de Radon-Nikodym, 20
de unicidad de la medida de Lebesgue, 12
del cambio de variable, 22
del recubrimiento de Vitali, 22
Teorema de Convergencia monótona de B. Levi,
16

Variación total, 19

29
1.11 Bibliografía
Bibliografía Básica
[VU] M. Valdivia Ureña. Análisis Matemático V, segundo tomo. 1ª ed., 1ª reimp. Ed. UNED. ISBN:
9788436223323.

Bibliografía Complementaria
[GR79] M. de Guzmán y B. Rubio. Integración: teoría y técnicas. Editorial Alhambra, S.A., Madrid,
1979, páginas x+171. ISBN: 84-205-0631-1.
[LAO24] J. Lopez-Abad y V. Olmos. “La integral de Lebesgue”. 2024.
[Roy88] H. L. Royden. Real analysis. Third. Macmillan Publishing Company, New York, 1988, pági-
nas xx+444. ISBN: 0-02-404151-3.
[Rud87] W. Rudin. Real and complex analysis. Third. McGraw-Hill Book Co., New York, 1987,
páginas xiv+416. ISBN: 0-07-054234-1.

30