Capı́tulo

1
Espacios Medibles y Medidas

1.1 Introducción
Sea {an }∞
n=1 una sucesión de números reales y tn = ı́nf{an , an+1 , an+2 , . . .}.

Definición 1.1 (Lı́mite inferior).

Se llama lı́mite inferior de {an } al valor lı́m inf an = lı́m tn .
n→∞ n→∞

Observe que por ser t1 ≤ t2 ≤ · · · entonces

lı́m inf an = sup tn = sup ı́nf ak .

n→∞ n≥1 n≥1 k≥n

3 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas
Sea {an }∞
n=1 una sucesión de números reales y sn = sup{an , an+1 , an+2 , . . .}.

Definición 1.2 (Lı́mite superior).

Se llama lı́mite superior de {an } al valor lı́m sup an = lı́m sn .
n→∞ n→∞

Observe que por ser s1 ≥ s2 ≥ · · · entonces

lı́m sup an = ı́nf sn = ı́nf sup ak .

n→∞ n≥1 n≥1 k≥n

O. Santamaria S. 4
1.1. Introducción
Ejemplo 1.1.
(an )n∈N con an = (−1)n . Entonces

lı́m inf an = −1, lı́m sup an = 1

n→∞ n→∞

5 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas
Ejemplo 1.2.
nπ
Considere la sucesión (an )nN tal que an = sin . Hallar lı́m sup an y
3 n→∞
lı́m inf an .
n→∞
√ √
R: 3/2 y − 3/2, respectivamente.

O. Santamaria S. 6
1.1. Introducción
Ejemplo 1.3.
(−1)n (n + 1)
Para la sucesión (an )nN con an = . Hallar lı́m sup an y
n n→∞
lı́m inf an .
n→∞

R: 1 y −1, respectivamente.

7 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas
Definición 1.3(Lı́mite inferior y superior).
Dado un conjunto arbitrario X y {An : n ∈ N} una sucesión de subcon-
juntos de X, se define
∞
� ∞
� ∞ �
� ∞
ı́nf Ak := Ak lı́m inf An := ı́nf Ak = Ak ,
k≥n n→∞ k≥n
k=n n=1 n=1 k=n
�∞ �∞ ∞ �
� ∞
sup Ak := Ak lı́m sup An := sup Ak = Ak .
k≥n n→∞
k=n n=1 k≥n n=1 k=n

Los conjuntos lı́m inf n→∞ An y lı́m supn→∞ An se llaman lı́mite inferior y
lı́mite superior, respectivamente, de la sucesión {An }.

O. Santamaria S. 8
1.1. Introducción
1. x ∈ lı́m inf An si para algún n ≥ 1 se tiene que x ∈ Ak para todo k ≥ n. Es
n→∞
decir, x ∈ lı́m inf An si x ∈ An , excepto quizá para alguna cantidad finita
n→∞
de n’s.
2. x ∈ lı́m sup An si para cada n ≥ 1 existe algún k ≥ n tal que x ∈ Ak . En
n→∞
otras palabras, x ∈ lı́m sup An si x ∈ An para una cantidad infinita de n’s.
n→∞

9 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas
Proposición 1.1.
Sea {An }∞
n=1 una colección de subconjuntos de un conjunto X. Entonces
� �c
1. lı́m sup An = lı́m inf Acn
n→∞ n→∞
� �c
2. lı́m inf An = lı́m sup Acn
n→∞ n→∞

3. En general lı́m inf An ⊆ lı́m sup An

n→∞ n→∞

O. Santamaria S. 10
1.1. Introducción
Proposición 1.2.
Sea {An }∞
n=1 una sucesión de subconjuntos de X.

1. Si {An : n ∈ N} es tal que A1 ⊆ A2 ⊆ · · � · entonces por la Proposi-

ción 1.1, lı́m inf n→∞ An = lı́m supn→∞ An = ∞n=1 An .

2. Análogamente, si {An : n ∈ N} es �∞tal que A1 ⊇ A2 ⊇ · · · entonces

lı́m inf n→∞ An = lı́m supn→∞ An = n=1 An .

11 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas
Ejemplo 1.4.
Si An = {n, n + 1, . . .} entonces lı́m sup An = lı́m inf An = ∅.

En efecto, como A1 ⊇ A2 ⊇ A3 · · · entonces

∞
�
lı́m inf An = lı́m sup An = An .
n→∞ n→∞
n=1

�
∞
Pero si el conjunto An tuviera por lo menos un elemento x, significarı́a
n=1
que x deberı́a ser�mayor que todos los números naturales. Como esto es im-
posible entonces ∞ n=1 An = ∅.

O. Santamaria S. 12
1.1. Introducción
Ejemplo 1.5.
Si An = {1, . . . , n} entonces lı́m sup An = lı́m inf An = N.
En este caso, siendo A1 ⊆ A2 ⊆ A3 · · · entonces
∞
�
lı́m inf An = lı́m sup An = An .
n→∞ n→∞
n=1

�
∞
Pero An = {1; 2; 3; . . .} = N.
n=1

13 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas
Ejemplo 1.6.
� �
n
Para An = 0, se tiene lı́m inf An = lı́m sup An = [0, 1[.
n+1
� � � �
1 1
En efecto, observar que An = 0, 1 − entonces A1 = 0, , A2 =
� � � � n + 1 2
2 3
0, , A3 = 0, . . . y entonces se observa que A1 ⊆ A2 ⊆ A3 ⊆ · · · .
3 4
n n+1
Formalmente, como < entonces An ⊆ An+1 . Luego se tiene
n+1 n+2
∞
�
lı́m inf An = lı́m sup An = An = [0, 1[.
n→∞ n→∞
n=1

O. Santamaria S. 14
1.1. Introducción

Definición 1.4(Álgebra).
Sea X un conjunto arbitrario. Una colección A ⊆ P(X) es un álgebra si
1. X ∈ A .
2. Para cada A ∈ A , se tiene que Ac ∈ A .
3. Para cada colección finita A1 , . . . , An de elementos de A se cumple
�n
que Ak ∈ A .
k=1

15 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas
Definición 1.5(σ-álgebra).
Sea X un conjunto arbitrario. Una colección A ⊆ P(X) es un σ-álgebra
si
1. X ∈ A .
2. Para cada A ∈ A , se tiene que Ac ∈ A .
�
∞
3. Para cada colección numerable {Ak }k∈N en A se cumple que Ak ∈
k=1
A.

O. Santamaria S. 16
1.1. Introducción
Ejemplo 1.7.
Para cada X, la colección A = P(X) es un álgebra y al vez un σ-álgebra.

Observación 1.1.
1. Cada σ-álgebra es un álgebra. Lo recı́proco no es verdad en general.
2. Los elementos de un σ-álgebra A se llaman conjuntos medibles y el par
(X, A ) se llama espacio medible.

17 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas
Ejemplo 1.8.
Un álgebra A sobre X es un σ-álgebra si. y solo si, para toda sucesión
�
∞
{An }n∈N en A , formada por conjuntos disjuntos, se tiene tiene An ∈
n=1
A.

Observación 1.2. Si A es un σ-álgebra sobre X entonces

lı́m inf An ∈ A , lı́m sup An ∈ A .

n→∞ n→∞

O. Santamaria S. 18
1.2. Álgebra y σ-álgebra de conjuntos. Ejemplos.
Ejemplo 1.7.
Para cada X, la colección A = P(X) es un álgebra y al vez un σ-álgebra.

Observación 1.1.
1. Cada σ-álgebra es un álgebra. Lo recı́proco no es verdad en general.
2. Los elementos de un σ-álgebra A se llaman conjuntos medibles y el par
(X, A ) se llama espacio medible.

17 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas
Ejemplo 1.8.
Un álgebra A sobre X es un σ-álgebra si. y solo si, para toda sucesión
�
∞
{An }n∈N en A , formada por conjuntos disjuntos, se tiene tiene An ∈
n=1
A.

Observación 1.2. Si A es un σ-álgebra sobre X entonces

lı́m inf An ∈ A , lı́m sup An ∈ A .

n→∞ n→∞

O. Santamaria S. 18
1.2. Álgebra y σ-álgebra de conjuntos. Ejemplos.

Álgebra (Definición 0) σ-Álgebra (Definición 0)

Sea X un conjunto arbitrario. Sea X un conjunto arbitrario.
Una colección A ⊆ P(X) es un Una colección A ⊆ P(X) es un
álgebra si σ-álgebra si
1. X ∈ A . 1. X ∈ A .
2. Para cada A ∈ A , se tiene que 2. Para cada A ∈ A , se tiene que
Ac ∈ A . Ac ∈ A .
3. Para cada colección finita 3. Para cada colección numerable
A1 , . . . , An de elementos de A {Ak }k∈N en A se cumple que
�
n �∞
se cumple que Ak ∈ A . Ak ∈ A .
k=1 k=1

Definiciones alternativas de álgebra y σ-álgebra

Álgebra (Definición 1) σ-Álgebra (Definición 1)

Sea X un conjunto arbitrario. Sea X un conjunto arbitrario.
Una colección A ⊆ P(X) es un Una colección A ⊆ P(X) es un
álgebra si σ-álgebra si
1. X ∈ A . 1. X ∈ A .
2. Para cada A ∈ A , se tiene que 2. Para cada A ∈ A , se tiene que
Ac ∈ A . Ac ∈ A .
3. Para cada colección finita 3. Para cada colección numerable
A1 , . . . , An de elementos de A {Ak }k∈N en A se cumple que
�
n �∞
se cumple que Ak ∈ A . Ak ∈ A .
k=1 k=1

19 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas

Álgebra (Definición 2) σ-Álgebra (Definición 2)

Sea X un conjunto arbitrario. Sea X un conjunto arbitrario.
Una colección A ⊆ P(X) es un Una colección A ⊆ P(X) es un
álgebra si σ-álgebra si
1. ∅ ∈ A . 1. ∅ ∈ A .
2. Para cada A ∈ A , se tiene que 2. Para cada A ∈ A , se tiene que
Ac ∈ A . Ac ∈ A .
3. Para cada colección finita 3. Para cada colección numerable
A1 , . . . , An de elementos de A {Ak }k∈N en A se cumple que
�
n �∞
se cumple que Ak ∈ A . Ak ∈ A .
k=1 k=1

Álgebra (Definición 3) σ-Álgebra (Definición 3)

Sea X un conjunto arbitrario. Sea X un conjunto arbitrario.
Una colección A ⊆ P(X) es un Una colección A ⊆ P(X) es un
álgebra si σ-álgebra si
1. ∅ ∈ A . 1. ∅ ∈ A .
2. Para cada A ∈ A , se tiene que 2. Para cada A ∈ A , se tiene que
Ac ∈ A . Ac ∈ A .
3. Para cada colección finita 3. Para cada colección numerable
A1 , . . . , An de elementos de A {Ak }k∈N en A se cumple que
�
n �∞
se cumple que Ak ∈ A . Ak ∈ A .
k=1 k=1

O. Santamaria S. 20
1.2. Álgebra y σ-álgebra de conjuntos. Ejemplos.

Álgebra (Definición 4) σ-Álgebra (Definición 4)

Sea X un conjunto arbitrario. Sea X un conjunto arbitrario.
Una colección A ⊆ P(X) es un Una colección A ⊆ P(X) es un
álgebra si σ-álgebra si
1. A �= ∅. 1. A �= ∅.
2. Para cada A ∈ A , se tiene que 2. Para cada A ∈ A , se tiene que
Ac ∈ A . Ac ∈ A .
3. Para cada colección finita 3. Para cada colección numerable
A1 , . . . , An de elementos de A {Ak }k∈N en A se cumple que
�
n �∞
se cumple que Ak ∈ A . Ak ∈ A .
k=1 k=1

Álgebra (Definición 5) σ-Álgebra (Definición 5)

Sea X un conjunto arbitrario. Sea X un conjunto arbitrario.
Una colección A ⊆ P(X) es un Una colección A ⊆ P(X) es un
álgebra si σ-álgebra si
1. A �= ∅. 1. A �= ∅.
2. Para cada A ∈ A , se tiene que 2. Para cada A ∈ A , se tiene que
Ac ∈ A . Ac ∈ A .
3. Para cada colección finita 3. Para cada colección numerable
A1 , . . . , An de elementos de A {Ak }k∈N en A se cumple que
�
n �∞
se cumple que Ak ∈ A . Ak ∈ A .
k=1 k=1

21 O. Santamaria S.

Álgebra (Definición 6)
Sea X un conjunto arbitrario.
Una colección A ⊆ P(X) es un
álgebra si
1. X ∈ A .
2. Para cada A ∈ A , se tiene que
Ac ∈ A .
3. Para cada A, BA se cumple
que A ∪ B ∈ A .
O. Santamaria S.
Cap.1: Espacios Medibles y Medidas
Álgebra (Definición 7)
Sea X un conjunto arbitrario.
Una colección A ⊆ P(X) es un
álgebra si
1. X ∈ A .
2. Para cada A ∈ A , se tiene que
Ac ∈ A .
3. Para cada A, BA se cumple
que A ∩ B ∈ A .
22
1.2. Álgebra y σ-álgebra de conjuntos. Ejemplos.
Ejemplo 1.9.

1. La colección {∅, X} es al mismo tiempo un álgebra y un σ-álgebra.

2. En X = [0, 1), la colección A formada por el ∅ y todas las uniones
finitas n
�
A= [ai , bi ) con 0 ≤ ai ≤ bi ≤ ai+1 ≤ 1
k=1

es un álgebra en [0, 1) (pero no un σ-álgebra).

23 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas
Ejemplo 1.10.
X un conjunto infinito. La colección

A = {A ∈ P(X) : A es finito, o Ac es finito}

es un álgebra (pero no σ-álgebra).

O. Santamaria S. 24
1.2. Álgebra y σ-álgebra de conjuntos. Ejemplos.
Ejemplo 1.11.
X un conjunto no-numerable. La colección

A = {A ∈ P(X) : A es numerable, o Ac es numerable}

es un σ-álgebra (en general �= P(X)).

25 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas

1.3 σ-álgebra generada

Proposición 1.3.
Sea H ⊆ P(X). La intersección de todas las σ-álgebras en X que con-
tienen a H es un σ-álgebra sobre X. (Es la más pequeña que contiene
a H).

Definición 1.6 (σ-álgebra generada).

Sea H ⊆ P(X). La σ-álgebra de la Proposición 1.3 recibe el nombre de
σ-álgebra generada por H (y se denota por σ(H)).

O. Santamaria S. 26
1.3. σ-álgebra generada
Proposición 1.4.

1. Si A es un σ-álgebra sobre X, entonces σ(A ) = A .

2. Si H, K ⊆ P(X) son colecciones tales que H ⊆ K entonces σ(H) ⊆
σ(K).
3. Si H, K ⊆ P(X) son colecciones tales que H ⊆ K ⊆ σ(H) entonces
σ(H) = σ(K).

27 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas
Ejercicio 1.1.

1. ¿La unión de σ-álgebras en general es una σ-álgebra?

2. ¿Cuál es la diferencia que encuentra entre las definiciones de topologı́a
y σ-álgebra?
3. Dar un ejemplo de una σ-álgebra que no es topologı́a, y de una topo-
logı́a que no es σ-álgebra.
4.
5. Si X = {a; b; c} y H = {{a}, {b}}, encuentre σ(H).
6. Sea X un conjunto no vacı́o. Si H = {∅} y K = X encuentre σ(H) y
σ(K).

1.4 σ-álgebra de Borel

Definición 1.7.
Sea (X, T ) un espacio topológico. Se llama σ-álgebra de Borel sobre X,
respecto a T , a la σ-álgebra generada por T , es decir, σ(T ). Generalmente
esta se denota por B(X, T ) o simplemente B(T ) o también B.

Los elementos de un σ-álgebra de Borel se llaman conjuntos de Borel.

Ejemplo 1.12.
Sea X = {a; b; c} y T = {∅; X; {a}}. En este caso B(X, T ) =
{∅; X; {a}; {b; c}}.

O. Santamaria S. 28
1.4. σ-álgebra de Borel
Proposición 1.5.
Sea (X, T ) un espacio topológico. Si C es la colección de todos los conjuntos
cerrados en X entonces B(T ) = B(C).

Proposición 1.6.
Considere X = R con la topologı́a usual. Entonces la σ-álgebra de Borel
sobre R es generada por cada una de las siguientes colecciones de conjun-
tos:
1. C1 = {(a, b) : a, b ∈ R};
2. C2 = {[a, b] : a, b ∈ R};
3. C3 = {(a, b] : a, b ∈ R};
4. C4 = {(a, ∞) : a ∈ R}.

29 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas

1.5 Funciones aditivas, σ-aditivas y σ-subaditivas

Definición 1.8.
Sea A un álgebra sobre X y µ : A → [0, ∞] una función tal que µ(∅) = 0.
1. µ es aditiva si para cualquier familia finita A1 , . . . , An ∈ A, de conjuntos
disjuntos entre si, se tiene
�n � n
� �
µ Ai = µ(Ai ).
i=1 i=1

2. µ es σ-aditiva (o numerablemente aditiva) si para cualquier fami-

�∞numerable {Ai }i∈N ⊆ A, de conjuntos disjuntos entre si, tal que
lia
i=1 Ai ∈ A se tiene
�∞ � ∞
� �
µ Ai = µ(Ai ).
i=1 i=1

3. µ es σ-subaditiva (o numerablemente subaditiva) si para cualquier fa-

�∞ numerable {Ai }i∈N ⊆ A, de conjuntos disjuntos entre si, tal que
milia
i=1 Ai ∈ A se tiene
�∞ � ∞
� �
µ Ai ≤ µ(Ai ).
i=1 i=1

O. Santamaria S. 14
1.5. Funciones aditivas, σ-aditivas y σ-subaditivas
Ejemplo 1.13.
En X = N considere el álgebra

A = {A ∈ P(X) : A es finito, o Ac es finito}.

(sabemos que A es un álgebra pero no σ-álgebra).

1. La función µ : A → [0, ∞] definida como
�
 1
si A es finito
µ(A) = n∈A 2n

∞ si Ac es finito

es aditiva pero no σ-aditiva.

2. La función µ : A → [0, ∞] definida como
�
#A si A es finito
µ(A) =
∞ si Ac es finito

es σ-aditiva.

15 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas
Proposición 1.7.
Sea A un álgebra sobre X.
1. Toda función σ-aditiva sobre A es aditiva.
2. Toda función aditiva sobre A es monótona (i.e. A ⊆ B implica µ(A) ≤
µ(B)).
3. Si µ es una función aditiva sobre A y {An }n∈N es una sucesión de con-
�
∞
juntos mutuamente disjuntos tal que An ∈ A entonces
n=1

∞
� ∞
�
� �
µ(An ) ≤ µ An .
n=1 n=1

4. Cualquier función σ-aditiva sobre A es σ-subaditiva.

O. Santamaria S. 16
1.5. Funciones aditivas, σ-aditivas y σ-subaditivas
Definición 1.9.
Sea A un álgebra sobre X. Una función aditiva µ : A → [0, ∞] es
1. finita si µ(X) < ∞.
�
2. σ-finita si existe una sucesión {An }n∈N ⊆ A tal que n=1 An = X y
µ(An ) < ∞ para todo n ∈ N.

Proposición 1.8.
Sea µ : A → [0, ∞] una función aditiva sobre el álgebra A. Las siguientes
afirmaciones son equivalentes:
1. µ es σ-aditiva.
�
2. Si {An }n∈N ⊆ A es una sucesión tal que An ⊆ An+1 y An ∈ A
� � n∈N
�
entonces lı́m µ(An ) = µ An .
n→∞ n∈N

17 O. Santamaria S.
1.5. Funciones aditivas, σ-aditivas y σ-subaditivas
Proposición 1.8.
Sea µ : A → [0, ∞] una función aditiva sobre el álgebra A. Las siguientes
afirmaciones son equivalentes:
1. µ es σ-aditiva.
�
2. Si {An }n∈N ⊆ A es una sucesión tal que An ⊆ An+1 y An ∈ A
� � n∈N
�
entonces lı́m µ(An ) = µ An .
n→∞ n∈N

17 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas
Lema 1.1.
ea A un álgebra sobre X, y µ : A → [0, ∞] una función aditiva tal que
µ(∅) = 0. Para todo A, B ∈ A, si A ⊆ B y µ(A) < ∞ entonces µ(B −A) =
µ(B) − µ(A).

O. Santamaria S. 18
1.5. Funciones aditivas, σ-aditivas y σ-subaditivas
Proposición 1.9.
Sea µ : A → [0, ∞] una función σ-aditiva sobre el álgebra
� A. Si {An }n∈N ⊆
A es una sucesión tal que An ⊇ An+1 , µ(A1 ) < ∞ y An ∈ A entonces
� � n∈ N
�
lı́m µ(An ) = µ An .
n→∞ n∈N

19 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas
Definición 1.10 (Medida).
Sea A un σ-álgebra sobre X.
1. Una función µ : A → [0, ∞] es una medida si µ(∅) = 0 y µ es σ-aditiva.
2. La terna (X, A , µ) se llama espacio de medida.

O. Santamaria S. 20
1.5. Funciones aditivas, σ-aditivas y σ-subaditivas

Ejemplo 1.14 (Medidas triviales).

Sea X un conjunto no vacı́o y A = P(X).
1. Para cada A ∈ A defina µ(A) = 0. Entonces µ es una medida sobre
(X, A ).
2. La función ν definida en cada A ∈ A como
�
0, si A = ∅,
ν(A) =
+∞, si A �= ∅.

es una medida sobre (X, A ).

21 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas

Ejemplo 1.15 (Medida de Dirac).

Sea X un conjunto no vacı́o, x0 ∈ X un elemento fijo y A = P(X). Para
cada A ∈ A defina �
1, si x0 ∈ A
µ(A) =
0, si x0 ∈
/ A.

O. Santamaria S. 22
1.5. Funciones aditivas, σ-aditivas y σ-subaditivas

Ejemplo 1.16 (Medida de conteo).

Considere un conjunto enumerable X, provisto del σ-álgebra P(X). Para
cada conjunto A ∈ P(X) defina
�
µ(A) = 11A (x),
x∈X

donde 11A : X → {0, 1} es la función caracterı́stica de A, es decir, 11A (x) =

1 si x ∈ A y 11A (x) = 0 si x ∈
/ A.

23 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas

Ejemplo 1.16 (Medida de conteo).

Considere un conjunto enumerable X, provisto del σ-álgebra P(X). Para
cada conjunto A ∈ P(X) defina
�
µ(A) = 11A (x),
x∈X

donde 11A : X → {0, 1} es la función caracterı́stica de A, es decir, 11A (x) =

1 si x ∈ A y 11A (x) = 0 si x ∈
/ A.

O. Santamaria S. 18
1.5. Funciones aditivas, σ-aditivas y σ-subaditivas
Ejemplo 1.17.
Considere X = R provisto del σ-álgebra P(R), y sea {an }∞ n=1 una su-
cesión de números reales no negativos. Para cada conjunto A ∈ P(R)
defina ∞
�
µ(A) = an 11A (an ).
n=1

Entonces µ es una medida en (R, P(R)).

19 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas

Ejemplo 1.18 (Medida discreta de probabilidad).

Sea X un conjunto no vacı́o, {xn }n∈N ⊆ X una su-
cesión
�∞ en X, y {pn }n∈N ⊆ [0, 1] una sucesión tal que
n=1 pn = 1. Entonces la función µ definida para cada A ∈ P(X) como

∞
�
µ(A) = pi 11A (xi ),
i=1

es una medida sobre (X, P(X)).

O. Santamaria S. 20
1.5. Funciones aditivas, σ-aditivas y σ-subaditivas

Ejemplo 1.19 (Medida discreta).

Generalizando el Ejemplo 1.18, considere un conjunto no vacı́o X, pro-
visto del σ-álgebra A = P(X). Sea {xi }∞ ∞
i=1 una sucesión en X y {ai }i=1
una sucesión de números reales, con ai ≥ 0 para todo i. La función µ
definida para cada A ∈ A como
� ∞
�
µ(A) = ai = ai 11Ai (xi )
{i:xi ∈A} i=1

es una medida en (X, A ). Observe en este ejemplo que si se considera

xn = an para todo n = 1, 2, . . ., entonces µ es la medida del Ejemplo 1.17.

21 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas
Definición 1.11.
Sea (X, A , µ) un espacio de medida.
1. µ es medida finita si µ(X) < ∞.
µ es medida σ-finita si existe una sucesión {An }nN ⊆ A tal que X =
2. �
nN An y µ(An ) < ∞, para todo n ∈ N

3. µ es medida completa si todo conjunto contenido en un conjunto medible

de medida cero, es también un conjunto medible. Es decir,

A ∈ A , B ⊆ A, µ(A) = 0 =⇒ B ∈ A .

4. µ es medida concentrada en el conjunto A ∈ A si µ(Ac ) = 0. En este

caso, el conjunto A se llama soporte de µ.

O. Santamaria S. 22
1.5. Funciones aditivas, σ-aditivas y σ-subaditivas
Ejemplo 1.20.
Sea (X, A , µ) un espacio de medida. Si {An�}n∈N es �
una familia en A tal
�
∞
que µ(An ) = 0 para todo n ∈ N entonces µ An = 0.
n=1

23 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas
Definición 1.12 (restricción de una medida).
Sea (X, A , µ) un espacio de medida y S ∈ A . Se llama restricción de µ
a S a la función µS : A → [0, ∞] definida como

µS (A) = µ(A ∩ S).

Proposición 1.10.
La restricción µS es una medida sobre A .

O. Santamaria S. 24
1.5. Funciones aditivas, σ-aditivas y σ-subaditivas
Proposición 1.11.
Sea (X, A , µ) un espacio de medida tal que µ(X) < ∞. Entonces para
cualquier sucesión {An }nN ⊆ A se tiene
� � � �
µ lı́m inf An ≤ lı́m inf µ(An ) ≤ lı́m sup µ(An ) ≤ µ lı́m sup An .
n→∞ n→∞ n→∞ n→∞

En particular, si lı́m An = A entonces lı́m µ(An ) = µ(A).

n→∞ n→∞

25 O. Santamaria S.
1.6. Clases monótonas

1.6 Clases monótonas

Definición 1.13.
Sea X un conjunto. Una colección M ⊆ P(X) es una clase monótona si
cumple las siguientes condiciones:
�
1. Si {An }n∈N ⊆ M y A1 ⊆ A2 ⊆ · · · entonces ∞n=1 An ∈ M .
�
2. Si {A1 }n∈N ⊆ M y A1 ⊇ A2 ⊇ · · · entonces ∞n=1 An ∈ M .

Ejemplo 1.21.
Toda σ-álgebra es una clase monótona.

21 O. Santamaria S.
 Cap.1: Espacios Medibles y Medidas
El recı́proco del Ejemplo 1.21, en general es falso. Por ejemplo tome M = {∅}.

Ejemplo 1.22.
Sea X un conjunto. Si M es una clase monótona y además un álgebra,
entonces M es un σ-álgebra.

O. Santamaria S. 22
1.6. Clases monótonas
Ejemplo 1.23.
En X = R, la colección

M := {∅, R} ∪ {A ⊆ R : A es enumerable}

es una clase monótona pero no es σ-álgebra.

Teorema 1.1 (Halmos).

Sea A un álgebra sobre un conjunto X, y sea M una clase monótona tal
que A ⊆ M . Entonces σ(A ) ⊆ M .

23 O. Santamaria S.