U3. Preliminares de Teoria de La Medida PDF

Análisis matemático II
Unidad 3. Conceptos preliminares de Teoría de la Medida
Universidad Abierta y a Distancia de México
Licenciatura en Matemáticas
6° Semestre
Análisis Matemático II
Clave:
05143527/06143527
Ciencias exactas, Ingenierías y tecnologías | Licenciatura en Matemáticas
1
Índice
Unidad 3. Conceptos Preliminares de Teoría de la Medida ................................................... 3

Presentación de la unidad ........................................................................................................ 3
Propósitos de la unidad ........................................................................................................... 3
Competencia específica de la unidad...................................................................................... 3
3.1. Antecedentes ..................................................................................................................... 3
3.1.1. Medidas y conjuntos medibles ........................................................................................................ 3
3.1.2. Definición de medida de Lebesgue. Propiedades ......................................................................... 11
3.1.3. Conjuntos Lebesgue medibles ....................................................................................................... 16
Actividad 1.Preliminares de Teoría de la Medida .................................................................. 19

3.2. Funciones medibles......................................................................................................... 20
3.2.1. Algunas Aplicaciones ..................................................................................................................... 20
Actividad 2. Medida de Lebesgue .......................................................................................... 24

Evidencia de aprendizaje. Espacios métricos, conjuntos medibles y medida de Lebesgue
24
Cierre de la unidad.................................................................................................................. 24
Para saber más: ...................................................................................................................... 24
Referencias Bibliográficas ..................................................................................................... 24
2
Unidad 3. Conceptos Preliminares de Teoría de la Medida
Presentación de la unidad
La integral de Riemann-Stieltjes que se introdujo en el en la unidad anterior generaliza la

integral de Riemann, la función integrante introducida en la integral de Riemann-Stieltjes
adquiere un significado más particular cuando le asigna una “medida” a los conjuntos sobre los
cuales se va a integrar. El uso de esta función nos permite generalizar el concepto de integral,
incluso de funciones con “muchas” discontinuidades. En esta unidad se introduce el concepto
de medida de un conjunto y más específicamente el de “medida de Lebesgue”.
Propósitos de la unidad
 Identificar las propiedades de la medida de Lebesgue.

 Clasificar conjuntos en ℝ.
Competencia específica de la unidad
 Analizar el concepto de medida para clasificar conjuntos en ℝ mediante la utilización de sus

propiedades
3.1. Antecedentes
Emile Borel en 1898 fue el primero en establecer una teoría de la medida sobre los
subconjuntos de los números reales conocidos ahora como conjuntos de Borel. En 1902 H.
Lebesgue presentó su trabajo pionero sobre medida de Lebesgue y en 1918 C. Carathéodory
introdujo y estudió las propiedades de medidas exteriores.
3.1.1. Medidas y conjuntos medibles
El concepto general de medida de un conjunto constituye una generalización natural de los

siguientes conceptos:
 longitud de un segmento ∆,
 área de una figura plana F,
 volumen de una figura G del espacio,
 del incremento 𝑓(𝑏) − 𝑓(𝑎) de una función no decreciente 𝑓(𝑡) en el segmento semiabierto
[𝑎, 𝑏),
3
 de la integral de una función no negativa en una región lineal, plana, etc.
Un interés general es establecer una medida sobre la recta real, por el cual introduciremos un
concepto de medida sobre ciertos conjuntos de una manera general.
La teoría de integración de Riemann presentada en adaptación de la teoría de Cauchy

debilitando las hipótesis necesarias para que una función sea integrable. Mientras Cauchy
restringía la integrabilidad a funciones continuas, Riemann dio una condición necesaria y
suficiente para la integrabilidad de una función:
Una función acotada 𝑓(𝑥) es integrable en [a, b] si y sólo si la suma de Cauchy

𝑛
𝑆 = ∑ 𝑓(𝑡𝑘 )(𝑥𝑘 − 𝑥𝑘−1 ),

𝑘=1
donde 𝑎 = 𝑥0 < 𝑥1 … < 𝑥𝑛 = 𝑏 y 𝑡𝑘 ∈ [𝑥𝑘−1 , 𝑥𝑘 ], se aproxima valor límite cuando el tamaño de

la partición del se aproxima a 0. Este único valor límite es por definición es por definición
𝑏
∫𝑎 𝑓(𝑥)𝑑𝑥 .
Definición 1 [Semianillo] Sea 𝑋 un conjunto no vacío. Una colección 𝑆 de subconjuntos de 𝑋

es llamado un semianillo si esta satisface las siguientes propiedades.
a) El conjunto vacío pertenece a 𝑆, es decir Ø ∈ 𝑆.

b) Si 𝐴, 𝐵 ∈ 𝑆; entonces 𝐴 ∩ 𝐵 ∈ 𝑆; esto es, 𝑆 es cerrado bajo intercesiones finitas.
c) El conjunto diferencia de cuales quiera dos conjuntos de 𝑆 pueden ser escritos como la
unión finita de un par de conjuntos disjuntos de 𝑆. Esto es, para cada 𝐴, 𝐵 ∈ 𝑆; entonces
existe 𝐶1 … 𝐶𝑛 ∈ 𝑆 (dependiendo de 𝐴 y 𝐵) tal que 𝐴 ∖ 𝐵 = ⋃𝑛𝑖=1 𝐶𝑖 y 𝐶𝑖 ∩ 𝐶𝑗 = Ø si 𝑖 ≠ 𝑗.
Definición 2 [𝛔-conjunto] Sea 𝑆 un semianillo de subconjuntos, subconjuntos de 𝑋. Un

subconjunto 𝐴 de 𝑋 es llamado un 𝛔-conjunto con respecto a 𝑆 (simplemente un 𝛔-conjunto)
si existe una sucesión disjunta {𝐴𝑛 } de 𝑆 (esto quiere decir, 𝐴𝑛 ∩ 𝐴𝑚 = Ø si 𝑛 ≠ 𝑚 ) tal que 𝐴 =
⋃∞𝑛=1 𝐴𝑛 .
Observación 1. Si 𝐴 = ⋃𝑛𝑖=1 𝐴𝑖 , con 𝐴1 , … , 𝐴𝑛 ∈ 𝑆 y 𝐴𝑖 ∩ 𝐴𝑗 = ∅ para 𝑖 ≠ 𝑗, entonces 𝐴 es un 𝜎-

conjunto.
Algunas propiedades de los 𝜎-conjuntos están incluidas en el siguiente teorema.
Teorema 1. Para algún semianillo 𝑆, se tiene las siguientes propiedades.
a) Si 𝐴 ∈ 𝑆 y 𝐴1 , … , 𝐴𝑛 ∈ 𝑆, entonces 𝐴\ ⋃𝑛𝑖=1 𝐴𝑖 puede ser escrito como la unión finita de

conjuntos ajenos de 𝑆 (entonces, este es un 𝝈-conjunto).
b) Para cada sucesión {𝐴𝑛 } de 𝑆, el conjunto 𝐴 = ⋃∞ 𝑛=1 𝐴𝑛 es un 𝝈-conjunto.
4
c) Uniones numerables e intersecciones finitas de 𝝈-conjuntos son 𝝈-conjuntos.
Demostración. La prueba se hace por inducción sobre 𝑛. Para 𝑛 = 1, el teorema es válido por
la definición de semianillo. Ahora se asume que el teorema es válido para alguna 𝑛. Sea 𝐴 ∈ 𝑆,
y sean 𝐴1 , … , 𝐴𝑛 ∈ 𝑆. Por hipótesis de inducción, existen 𝐵1 , … , 𝐵𝑘 ∈ 𝑆 tal que 𝐵 = 𝐴 ∖∪𝑛𝑖=1 𝐴𝑖 =
⋃𝑘𝑖=1 𝐵_𝑖 y 𝐵𝑖 ∩ 𝐵𝑗 = ∅ si 𝑖 ≠ 𝑗 , entonces
𝑛+1 𝑘
𝐴 ∖ ⋃ 𝐴𝑖 = 𝐵\𝐴𝑛+1 = ⋃(𝐵𝑖 ∖ 𝐴𝑛+1 ).

𝑖=1 𝑖=1
Por la propiedad c) de semianillo, cada 𝐵 ∖ 𝐴𝑛+1 puede ser escrito como la unión finita de
conjuntos disjuntos de 𝒮. Donde 𝐵𝑖 ∩ 𝐵𝑗 = ∅ si 𝑖 ≠ 𝑗, esto se sigue de 𝐴 ∖ ⋃𝑛+1
𝑖=1 𝐴𝑖 puede ser
escrito como la unión finta de conjuntos disjuntos de 𝒮. Esto completa la inducción y la prueba.
Sea {𝐴𝑛 } ⊆ 𝒮. Donde 𝐴 = ⋃∞ ∞

𝑛=1 𝐴𝑛 , entonces se escribe 𝐴 = ⋃𝑛=1 𝐵𝑛 tal que 𝐵1 = 𝐴1 y 𝐵𝑛+1 =
𝑛
𝐴𝑛+1 ∖ ⋃𝑖=1 𝐴𝑖 para 𝑛 ≥ 1. Observamos que 𝐵𝑖 ∩ 𝐵𝑗 = ∅ si 𝑖 ≠ 𝑗, y por la propiedad a) cada 𝐵𝑖
es un 𝝈-conjunto. Ahora se sigue que 𝐴 es en sí mismo un σ-conjunto.
Para la prueba de c) se sigue de b), y de la propiedad b) de semianillo.∎
Lema 1. Si {𝐴𝑛 } es una sucesión de conjuntos de un semianillo 𝒮, entonces existe una sucesión
disjunta {𝐶𝑛 } de 𝒮 tal que ⋃∞ ∞
𝑛=1 𝐴𝑛 = ⋃𝑛=1 𝐶𝑛 y para 𝑛 entonces existe algún 𝑘 con 𝐶𝑛 ⊆ 𝐴𝑘 .
Definición 3 [Álgebra de conjuntos] Un conjunto no vacío 𝒮 de subconjuntos de 𝑋 tal que es

cerrado bajo intersecciones finitas y su complemento es llamado álgebra de conjuntos(o
simplemente un álgebra). Esto es, 𝒮 es un álgebra si satisface las siguientes propiedades:
a) Si 𝐴, 𝐵 ∈ 𝒮, entonces 𝐴 ∩ 𝐵 ∈ 𝒮.
b) Si 𝐴 ∈ 𝒮, entonces 𝐴𝑐 ∈ 𝒮.
Teorema 2. Para un álgebra de conjuntos 𝒮, las siguientes propiedades se cumplen:
a) Los conjuntos ∅, 𝑋 ∈ 𝒮.
b) El álgebra 𝒮 es cerrada bajo uniones e intersecciones finitas.
c) El álgebra 𝒮 es un semianillo.
Demostración.
a) Dado que 𝒮 es no vacío existe algún 𝐴 ∈ 𝒮. Ahora, por hipótesis 𝐴𝑐 ∈ 𝒮, así, ∅ = 𝐴 ∩

𝐴𝑐 ∈ 𝒮. Más aún, 𝑋 = ∅𝑐 ∈ 𝒮.
b) Sea 𝐴, 𝐵 ∈ 𝒮. Entonces 𝐴 ∪ 𝐵 = (𝐴𝑐 ∩ 𝐵𝑐 )𝑐 ∈ 𝒮, el resto de la prueba se sigue por
inducción.
5
c) Solo se tiene que verificar para la propiedad 3) de la definición de semianillo, pero esto
se observa de la identidad 𝐴 ∖ 𝐵 = 𝐴 ∩ 𝐵𝑐 . ∎
Ejemplo
Para algún conjunto no vacío 𝑋, la colección 𝒮 = {∅, 𝑋} es un álgebra de conjuntos.
Sea ℱ una familia de subconjuntos disjuntos y distintos del vacíos de un conjunto 𝑋.
Entonces 𝒮 ∶= ℱ ∪ (∅) es un semianillo de subconjuntos de 𝑋. Para ver esto, se observa que
primero ∅ ∈ 𝒮. Ahora, si 𝐴, 𝐵 ∈ 𝒮, entonces 𝐵 es vacío o igual a 𝐴. Del mismo modo, 𝐴 \ 𝐵 es o
bien vacío o igual a 𝐴. Por lo tanto, 𝐴, 𝐵 ∈ 𝒮 implica que 𝐴 ∖ 𝐵 pertenece a 𝒮, y así, 𝒮 es un
semianillo.
Definición 4 [Anillo de conjuntos] Un anillo de conjuntos (o simplemente un anillo) es un

conjunto no vacío de subconjuntos ℛ de un conjunto 𝑋 satisfacer las siguientes propiedades:
a) Si 𝐴, 𝐵 ∈ ℛ entonces 𝐴 ∪ 𝐵 ∈ ℛ.
b) Si 𝐴, 𝐵 ∈ ℛ, 𝐴 ∖ 𝐵 ∈ ℛ.
Cada anillo ℛ contiene el conjunto vacío. En efecto, dado que ℛ es no vacío, entonces existe
𝐴 ∈ ℛ, por lo que ∅ = 𝐴 ∖ 𝐴 ∈ ℛ. Cada álgebra de conjuntos es un anillo de conjuntos. Además,
un anillo ℛ es necesariamente un semianillo. En efecto, si 𝐴, 𝐵 ∈ ℛ, entonces la relación 𝐴 ∩
𝐵 = 𝐴 \ (𝐴 \ 𝐵) muestra que 𝐴 ∩ 𝐵 ∈ ℛ .
Definición 5 [𝝈-Anillo] Un álgebra 𝒮 de subconjuntos de un conjunto 𝑋 se llama 𝝈-álgebra si

cada unión de una colección numerable de miembros de 𝒮 esta nuevamente en 𝒮. Es decir,
además 𝒮 es un álgebra, ⋃∞ 𝑛=1 𝐴𝑛 esta 𝒮 para cada sucesión {𝐴𝑛 }, de 𝒮.
En virtud de ⋂∞ ∞ 𝑐 𝑐
𝑛=1 𝐴𝑛 = (⋃𝑛=1 𝐴𝑛 ) , esto se sigue de que todas 𝜎-álgebra de conjuntos es
cerrado bajo intercesiones finitas. Cada colección de subconjuntos: ℱ de un conjunto no vacío 𝑋
está contenido en una 𝜎-álgebra más pequeña (con respecto a la relación de inclusión). Esta
𝜎-álgebra es la intersección de todas las 𝜎-álgebras que contienen a ℱ (nótese que 𝒫(𝑋) es
uno de ellos), que se llama la 𝜎-álgebra generada por ℱ.
Definición 6 [Conjuntos de Borel] Los conjuntos de Borel de un espacio topológico (X, r)

son conjuntos de la 𝜎-álgebra generada por los conjuntos abiertos.
La 𝜎-álgebra de todos los conjuntos de Borel de (𝑋, 𝑟) se denotan por ℬ.
Se introduce la noción de medida sobre una 𝜎-álgebra y se consideran el concepto de medida

cero.
Definición 7 [Medida] Sea (𝑋; 𝒮) un espacio medible. Una medida en (𝑋; 𝒮) es una función
𝜇: 𝑋 → ℝ con las siguientes propiedades:
a) 𝜇(∅) = 0.
b) 𝜇 ≥ 0 para todo 𝐸 ∈ 𝒮.
6
c) 𝜇 es 𝜎-aditiva, i.e. Si (𝐸𝑛 ) es una sucesión de elementos disjuntos entre sí de S, entonces:
∞ ∞
𝜇 (⋃ 𝐸𝑛 ) = ∑ 𝜇(𝐸𝑛 ).
𝑛=1 𝑛=1
Definición 8 [Medida Finita] Sea 𝜇 una medida en (𝑋, 𝒮). Se dice que 𝜇 es finita si no toma el
valor extendido ∞.
Si es posible hallar una sucesión (𝐸𝑛 ) de elementos de 𝒮 tal que 𝑋 = ⋃∞

𝑛+1 𝐸𝑛 < ∞ para todo
𝑛 ∈ ℕ, entonces se dice que 𝜇 es 𝜎-finita. Se observa que toda medida finita es
automáticamente 𝜎-finita.
Las siguientes propiedades son consecuencias de la definición.
Proposición 1. Sea 𝜇 una medida en (𝑋, 𝒮) entonces

a) 𝜇 es aditiva, esto quiere decir 𝜇(𝐸 ∪ 𝐹) = 𝜇(𝐸) + 𝜇(𝐹) si 𝐸, 𝐹 ∈ ∈ 𝒮, 𝜇(𝐸1 ∩ 𝐸2 ) = ∅.
b) 𝜇 es monótona; es decir, si 𝐸 ⊂ 𝐹, con 𝐸, 𝐹 ∈ 𝒮, entonces se tiene: 𝜇(𝐸) ≤ 𝜇(𝐹).
c) 𝜇 es sustractiva; es decir, si 𝐸 ⊂ 𝐹, con 𝐸, 𝐹 ∈ 𝒮 y 𝜇(𝐸) < ∞, entonces 𝜇(𝐹 ∖ 𝐸) =
𝜇(𝐹) − 𝜇(𝐸).
Demostración.
Para a), sean 𝐹1 = 𝐸1 , 𝐹2 = 𝐸2 , 𝐹𝑛 = ∅, entonces (𝐹𝑛 ) es una sucesión de elementos de 𝒮 y por la
Proposición 1 inciso a) y b) obtenemos:
∞ ∞
𝜇(𝐸1 ∪ 𝐸2 ) = 𝜇 (⋃ 𝐹𝑛 ) = ∑ 𝜇(𝐹𝑛 ) = 𝜇(𝐸1 ) + 𝜇(𝐸2 ),

𝑛=1 𝑛=1
La aditivita puede extenderse por inducción a cualquier número finito de elementos ajenos.
a) De la identidad 𝐹 = (𝐹 ∖ 𝐸) ∪ 𝐸 (unión disjunta de elementos de 𝒮), se obtiene del inciso

anterior que: 𝜇(𝐹) = 𝜇(𝐹 ∖ 𝐸) + 𝜇(𝐸), así se tiene que 𝜇(𝐸) ≤ 𝜇(𝐹) por (Proposición 1 b).
b) De la identidad 𝜇(𝐹) = 𝜇(𝐹 ∖ 𝐸) + 𝜇(𝐸), obtenemos al restar 𝜇(𝐸) < ∞ que:
𝜇(𝐹) − 𝜇(𝐸) = 𝜇(𝐹 ∖ 𝐸). Nótese que la valida aún si 𝜇(𝐹) = ∞. ∎
Ejemplo.
1. Sean (𝑋, 𝒮) es un espacio medible arbitrario y 𝑥0 ∈ 𝑋 fijo definimos 𝜇: 𝒮 → {0,1} como
sigue:
1 𝑠𝑖 𝑥0 ∈ 𝐸,
𝜇(𝐸) = {
0 𝑠𝑖 𝑥0 ∉ 𝐸.
La medida 𝜇 es una medida finita, llamada la medida unitaria concentrada en 𝒙𝟎 .
7
̅ medidas y 𝑐1 , 𝑐2 ≥ 0 entonces
2. Sean (𝑋, 𝒮) un espacio medible, 𝜇1 , 𝜇2 : 𝑆 → ℝ
̅,
𝜇 = 𝑐1 𝜇1 + 𝑐2 𝜇2 : 𝒮 → ℝ
es una medida.
Teorema 3. Sea 𝒮 un semianillo, y sea 𝜇: 𝒮 → [0, ∞] una función. Entonces 𝜇 es una medida
sobre 𝒮 si y sólo si 𝜇 satisface las siguientes condiciones.
a) 𝜇(∅) = 0.
b) Si 𝐴 ∈ 𝒮, 𝐴1 … 𝐴𝑛 ∈ 𝒮 y satisface ⋃𝑛𝑖=1 𝐴𝑖 ⊆ 𝐴 y 𝐴𝑖 ∩ 𝐴𝑗 = ∅ para 𝑖 ≠ 𝑗, entonces
∑𝑛𝑖=𝑖 𝜇(𝐴𝑖 ) ≤ 𝜇(𝐴) se satisface.
c) Si 𝐴 ∈ 𝒮 y {𝐴𝑛 } satisface 𝐴 ⊆ ⋃∞ ∞
𝑛=1 𝐴𝑛 , entonces 𝜇(𝐴) ≤ ∑𝑛=1 𝜇(𝐴𝑛 ), entonces 𝜇 es 𝜎-
subaditiva.
Demostración.
Supóngase 𝜇 es una medida sobre 𝒮. Entonces por definición, 𝜇(∅) = 0. Para b) supongamos
que 𝐴 ∈ 𝒮, y los conjuntos 𝐴1 , … , 𝐴𝑛 satisfacen ⋃𝑛𝑖=1 𝐴𝑖 ⊆ 𝐴. Entonces conjuntos disjuntos
𝐵1 , … , 𝐵𝑚 de 𝒮 tal que 𝐴 ∖ ⋃𝑛𝑖=1 𝐴𝑖 = ⋃𝑚
𝑖=1 𝐵𝑖 . Sea 𝐶1 = 𝐴1 , … , 𝐶𝑛 = 𝐴𝑛 , y 𝐶𝑛+𝑖 = 𝐵𝑖 para 1 ≤ 𝑖 ≤
𝑚. Entonces los conjuntos 𝐶1 , … , 𝐶𝑛+𝑚 son disjuntos y 𝐴 = ⋃𝑚+𝑛 𝑖=1 𝐶𝑖 . Por la propiedad de aditivita
finita de 𝜇, se tiene
𝑚+𝑛 𝑛
μ(A) = ∑ 𝜇(𝐶𝑖 ) ≥ ∑ 𝜇(𝐴𝑖 ).

𝑖=1 𝑖=1
Por la 𝜎-subaditividad de 𝜇, se asume que 𝐴 ⊆ ⋃∞

𝑛=1 𝐴𝑛 tal que 𝐴 ∈ 𝒮 y {𝐴𝑛 } ⊆ 𝒮. Sea 𝐵1 = 𝐴1 y
𝑛
𝐵𝑛+1 = 𝐴𝑛+1 ∖ ⋃𝑖=1 𝐴𝑖 para 𝑛 ≥ 1. Entonces ⋃𝑛=1 𝐵𝑛 = ⋃∞
∞
𝑛=1 𝐴𝑛 y 𝐵𝑛 ⊆ 𝐴𝑛 para cada 𝑛.
También, para sucesión {𝐵𝑛 } es disjunta, y para cada 𝑛 ≥ 2 existe un par de conjuntos disjuntos
𝐾 𝑘
𝑛
𝐶1𝑛 , … , 𝐶𝑘𝑛 𝑛
en 𝒮 tal que 𝐵𝑛 = ⋃𝑖=1 𝐶𝑖𝑛 . Obsérvese que por b) y por ⋃𝑖=1
𝑛
𝐶𝑖𝑛 ⊆ 𝐴𝑛 para cada 𝑛, se
𝑘
𝑛
sigue que ∑𝑖=1 𝜇(𝐶𝑖𝑛 ) ≤ 𝜇(𝐴𝑛 ). (Para n=1, hacemos 𝑘1 = 1 y 𝐶11 = 𝐴1 .)
𝑛 𝑘
Ahora, observemos que 𝐴 = ⋃∞ ∞ 𝑛
𝑛=1(𝐵𝑛 ∩ 𝐴) = ⋃𝑛=1 ⋃𝑖=1(𝐶𝑖 ∩ 𝐴), es una unión disjunta. Por lo
tanto la 𝜎-aditividad de 𝜇 se obtiene
∞ 𝑘𝑛 ∞ 𝑘𝑛 ∞
𝜇(𝐴) = ∑ ∑ 𝜇(𝐶1𝑛 ∩ 𝐴) ≤ ∑ ∑ 𝜇(𝐶𝐼𝑛 ) ≤ ∑ 𝜇(𝐴𝑛 ).

𝑛=1 𝑖=1 𝑛=1 𝑖=1 𝑛=1
A la inversa, si el conjunto de funciones 𝜇: 𝒮 → [0, ∞] satisface las tres condiciones anteriores, 𝜇

es 𝜎-aditiva por la combinación de los incisos b) y c). Por lo tanto, 𝜇 es una medida. ∎
Definición 9 [Conjunto nulo] Un conjunto 𝐸 es llamado un conjunto nulo si 𝜇(𝐸) = 0.

Denotamos a este por 𝒩(𝜇), es decir:
𝒩(𝜇) = {𝐸 ∈ 𝒮: 𝜇(𝐸) = 0}.
8
A partir de la propiedad de un 𝜎-subaditividad de 𝜇 que una unión numerable de conjuntos nulos

es de nuevo un conjunto vacío. Los conjuntos nulos jugarán un papel importante en la teoría de
la integración.
Teorema 4. Cada conjunto nulo es medible.
Demostración. Sea 𝐸 ⊆ 𝑋 con 𝜇(𝐸) = 0. Entonces la monotonía de 𝜇 implica 𝜇(𝐴 ∩ 𝐸) = 0

para cada 𝐴 ⊆ 𝑋 . Por consiguiente, para cada subconjunto 𝐴 de 𝑋 se tienen
𝜇(𝐴) ≤ 𝜇(𝐴 ∩ 𝐸) + 𝜇(𝐴 ∩ 𝐸 𝑐 ) = 𝜇(𝐴 ∩ 𝐸 𝑐 ) ≤ 𝜇(𝐴),
donde la primera desigualdad se cumple en virtud de la 𝜎-subaditividad de 𝜇. Por lo tanto, 𝐸 es

medible. ∎
Lema 1. Sean los conjuntos 𝐸1 , … , 𝐸𝑛 los conjuntos y medibles. Entonces

𝑛 𝑛
𝜇 (⋃(𝐴𝑛 ∩ 𝐸𝑖 )) = ∑ 𝜇(𝐴 ∩ 𝐸𝑖 )
𝐼=1 𝑖=1
esto se cumple para cada conjunto 𝐴 de 𝑋.
Demostración. La prueba es por inducción sobre 𝑛. Obviamente, el resultado es cierto para

𝑛 = 1. Supongamos ahora es cierto para algún 𝑛, y sean que los conjuntos 𝐸1 , … , 𝐸𝑛 , 𝐸𝑛+1,
conjuntos disjuntos y medibles. Si 𝐴 ⊆ 𝑋, entonces
𝑛+1
A ∩ [⋃ 𝐸𝑖 ] \𝐸𝑛+1 = 𝐴 ∩ 𝐸𝑛+1
𝑖=1
𝑛+1 𝑛
𝐴 ∩ [⋃ 𝐸𝑖 ] ∩ (𝐸𝑛+1 )𝑐 = 𝐴 ∩ [⋃ 𝐸𝑖 ].
𝑖=1 𝑖=1
Por lo tanto, usando la medida de 𝐸𝑛+1 , vemos que

𝑛+1 𝑛+1
𝜇 (⋃(𝐴 ∩ 𝐸𝑖 ) ) = 𝜇 (𝐴 ∩ [⋃ 𝐸𝑖 ]) =
𝑖=1 𝑖=1
𝑛+1 𝑛+1
𝜇 (𝐴 ∩ ([⋃ 𝐸𝑖 ]) ∩ 𝐸𝑛+1 ) + 𝜇 (𝐴 ∩ [⋃ 𝐸𝑖 ] ∩ (𝐸𝑛+1 )𝐶 )

𝑖=1 𝑖=1
𝑛 𝑛+1
𝜇(𝐴 ∩ 𝐸𝑛+1 ) + 𝜇 (𝐴 ∩ [⋃ 𝐸𝑖 ]) = ∑ 𝜇(𝐴 ∩ 𝐸𝑖 ).

𝑖=1 𝑖=1
donde la última igualdad se cumple por la hipótesis de inducción. La inducción es ahora

completar, y la prueba está terminada. ∎
9
Definición 10 [Completo] Un espacio de medida (𝑋, 𝒮, 𝜇) se llama completo, si siempre que
𝐸 ∈ 𝒩(𝜇) y 𝐹 ⊂ 𝐸, entonces 𝐹 ∈ 𝒮, en cuyo caso también se tiene que 𝐹 ∈ 𝒩(𝜇). También
decimos que en este caso 𝜇 es una medida completa.
Teorema 4. Sea 𝜇 una medida definida sobre el espacio medible (𝑋, 𝒮).
a) Si (𝐸𝑛 ) es una sucesión creciente de elementos 𝒮, entonces

∞
𝜇 (⋃ 𝐸𝑛 ) = lim 𝜇(𝐸𝑛 )
𝑛↑∞
𝑛=1
Donde lim 𝜇(𝐸𝑛 ) significa que el límite es el de una sucesión creciente.

𝑛↑∞
b) Si (𝐸𝑛 ) es una sucesión decreciente de elementos de 𝒮, entonces
∞
𝜇 (⋂ 𝐹𝑛 ) ≤ lim 𝜇(𝐹𝑛 ).
𝑛↓∞
𝑛=1
Si además 𝜇(𝐹𝑛 ) < ∞ para alguna 𝑘 ∈ ℕ entonces se tiene la igualdad.
Demostración.
a) Si 𝜇(𝐸𝑛 ) = ∞ para alguna 𝑛 ∈ ℕ, entonces ambos miembros de la expresión son iguales
∞. Así supondremos que 𝜇(𝐸𝑛 ) < ∞ para todo 𝑛 ∈ ℕ.
Sea 𝐸0 = ∅ y 𝐺𝑘 = 𝐸𝑘 − 𝐸𝑘−1 (𝐾 ≥ 1); entonces (𝐺𝑛 ) es una sucesión de elementos ajenos en 𝒮

tal que:
∞
𝐸𝑛 = ⋃ 𝐺𝑘 𝑛 ∈ ℕ,
𝑛=1
Y por tanto
∞ ∞
⋃ 𝐸𝑛 = ⋃ 𝐺𝑘 .
𝑛=1 𝑛=1
Usando la 𝜎-aditividad y la sustractividad de 𝜇 obtenemos:

∞ ∞ ∞ 𝑛
𝜇 (⋃ 𝐸𝑛 ) = 𝜇 ( ⋃ 𝐺𝑛 ) = ∑ 𝜇(𝐺𝑛 ) = lim ∑ 𝜇(𝐺𝑘 )

𝑛→∞
𝑛=1 𝑛=1 𝑛=1 𝑘=1
𝑛
lim ∑(𝜇(𝐸𝑘 ) − 𝜇(𝐸𝑘−1 )) = lim 𝜇(𝐸𝑛 ).

𝑛→∞ 𝑛→∞
𝑘=1
Finalmente, se observa que por la monotonía de 𝜇, el límite es una sucesión creciente.

b) Si ⋃∞𝑛=1 𝐹𝑘 ⊂ 𝐹𝑛 para todo 𝑛 ∈ ℕ, entonces,
∞
𝜇 (⋂ 𝑘𝑘 ) ≤ 𝜇(𝐹𝑛 ) 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑛,

𝑘=1
10
y como la sucesión es decreciente, entonces:

∞
𝜇 (⋂ 𝐹𝑛 ) ≤ lim 𝜇(𝐹𝑛 ).
𝑛↓∞
𝑛=1
Supongamos que 𝜇(𝐹𝑛 ) < ∞ para algún 𝑛 ∈ ℕ, sea 𝑛0 el primero natural con dicha propiedad.
Definimos 𝐸𝑘 = 𝐹𝑛 0 − 𝐹𝑛 0, entonces (𝐸𝑘 ) es una sucesión creciente de elementos de 𝒮 con
⋃∞ ∞
𝑘=1 𝐸𝑘 = 𝐹𝑛 0 − ⋂𝑛=1 𝐹𝑛 . Se sigue del inciso a) y de sustracción de 𝜇 que:
∞ 𝑛
𝜇(𝐹𝑛0 ) − 𝜇 (⋃ 𝐹𝑛 ) = 𝜇 (⋃ 𝐸𝑘 ) = lim (𝐸𝑘 ) =

𝑘↑∞
𝑛=1 𝑘=1
𝜇(𝐹𝑛0 ) − lim 𝜇(𝐹𝑛0 +𝑘 ) = 𝜇(𝐹𝑛 0 ) − lim 𝜇(𝐹𝑛 ).

𝑘↓∞ 𝑘↓∞
Pero 𝜇(𝐹𝑛 ) es finito porque se puede restar y concluir que:

∞
𝜇 (⋂ 𝐹𝑛 ) = lim 𝜇(𝐹𝑛 ). ∎
𝑘↓∞
𝑛=1
Ejemplo.
Supóngase que la función 𝑓: ℝ → ℝ es no decreciente y continua; esto es, lim 𝑓(𝑥) =
𝑥↑𝑎
𝑓(𝑎) para cada 𝑎 ∈ ℝ. Consideremos el semianillo
𝒮 = {[𝑎, 𝑏): 𝑎, 𝑏 ∈ ℝ y 𝑎 ≤ 𝑏}
Ahora se define 𝜇: 𝒮 → [0. ∞) por 𝜇([𝑎, 𝑏)) = 𝑓(𝑏) − 𝑓(𝑎) si 𝑎 < 𝑏 y 𝜇(∅) = 0. Observamos que
esta función es una medida.
3.1.2. Definición de medida de Lebesgue. Propiedades
En esta sección se presenta una forma de construir medidas con distintas propiedades a partir
de conceptos más primitivos, se demuestra la unicidad de la medida obtenida y dando como
caso particular la medida de Lebesgue en ℝ.
Definición 11 [Casi-medida].
̅ tal
Sea 𝑋 ≠ ∅; y 𝒜 ⊆ 𝒫(𝑋) un álgebra. Una casi-medida es una función conjuntista 𝜇: 𝒜 ⟶ ℝ
que:
1) 𝜇(∅) = 0
2) 𝜇(𝐴) ≥ 0, para toda 𝐴 ∈ 𝒜.
11
3) Si (𝐴𝑛 ) es una sucesión de elementos disjuntos de 𝒜 tal que ⋃∞
𝑛=1 𝐴𝑛 ∈ 𝒜, entonces:
∞ ∞
𝜇 (⋃ 𝐴𝑛 ) = ∑ 𝜇(𝐴𝑛 )
𝑛=1 𝑛=1
Observamos de la definición que como 𝜇(∅) = 0, entonces 𝜇 es aditiva y además monótona.

Consideremos ahora (𝐴𝑛 ) una sucesión de elementos no necesariamente disjuntos de 𝒜 tal
que ⋃∞
𝑛=1 𝐴𝑛 ∈ 𝒜, se tiene que:
∞ ∞
𝜇 (⋃ 𝐴𝑛 ) ≤ ∑ 𝜇(𝐴𝑛 )
𝑛=1 𝑛=1
Si 𝜇(𝑋) < ∞ entonces decimos que 𝜇 es finita y si 𝑋 = ⋃∞

𝑛=1 𝐴𝑛 con 𝜇(𝐴𝑛 ) < ∞, entonces la casi-
medida se llama 𝜎-finita.
El siguiente concepto es el de media exterior, será usado para construir una medida.
Definición 12 [Medida exterior].

̅ tal que:
Una medida exterior es una función conjuntista 𝜌: 𝒫(𝑋) ⟶ ℝ
1) 𝜌(∅) = 0.
2) 𝜌(𝐸) ≥ 0 para todo 𝐸 ∈ 𝒫(𝑋).
3) 𝜌(𝐸) ≤ 𝜌(𝐹) si 𝐸 ⊂ 𝐹 ⊂ 𝑋. (Monotonía)
4) 𝜌(⋃∞ ∞
𝑛=1 𝐸𝑛 ) ≤ ∑𝑛=1 𝜌(𝐸𝑛 ) para toda sucesión (𝐸𝑛 ) de subconjuntos de 𝑋. (𝜎-subaditividad)
Notamos que por la propiedad 1), 𝜌 también es subaditiva y de forma análoga al caso de las
casi-medidas, si 𝜌(𝑋) < ∞ se llama finita y si 𝑋 = ⋃∞
𝑛=1 𝐸𝑛 con 𝜌(𝐸𝑛 ) < ∞, se denomina 𝜎-finita.
Una manera muy común dentro del análisis para obtener funciones que son medidas es
extender funciones para que estas tengan un dominio más grande y cumplan las condiciones
para ser medidas. Asociada a cada casi-medida tenemos una medida exterior, que resulta de
extender la casi-medida, el método que se dará es “aproximar desde afuera” a los subconjuntos
de 𝑋, por medio de cubiertas numerables de elementos de 𝒜.
Ejemplo. Medida exterior.

Considera ℝ con la topología dada por la métrica usual, para este ejemplo se considera
cualquier espacio métrico separable, los cuales son segundo numerables, es decir tienen una
base numerable para su topología. Sea
{𝑈𝑛 : 𝑛 ∈ ℕ} Una base numerable para la topología de ℝ. Definimos 𝜌: 𝒫(𝑋) ⟶ [0,1] de la
siguiente manera:
12
∞ 𝜌𝑛 (𝐸)
𝜌(𝐸) = ∑ 𝑛
𝑛=1 2
en donde:
1 𝑠𝑖 𝐸 ∩ 𝑈𝑛 ≠ ∅,
𝜌𝑛 (𝐸) = { para todo 𝑛 ∈ ℕ;
0 𝑠𝑖 𝐸 ∩ 𝑈𝑛 = ∅.
Entonces 𝜌 es una medida exterior y tiene la siguiente propiedad:
𝜌(𝐸) = 𝜌(𝐸̅ )
para todo 𝐸 ⊂ 𝑋, donde 𝐸̅ es la cerradura de 𝐸.
La siguiente es la definición de la medida exterior generada por una casi-medida 𝜇.
Definición 13 [Medida exterior generada por una casi-medida].

Sea 𝜇: 𝒜 ⟶ ℝ̅ una casi-medida. Definimos 𝜇∗ : 𝒫(𝑋) ⟶ ℝ
̅ de la siguiente forma:
∞ ∞
∗ (𝐸)
𝜇 = 𝑖𝑛𝑓 {∑ 𝜇(𝐴𝑛 ) : 𝐸 ⊆ ⋃ 𝐴𝑛 , 𝐴𝑛 ∈ 𝒜 (𝑛 ∈ ℕ)}
𝑛=1 𝑛=1
para todo 𝐸 ⊂ 𝑋.
Una sucesión (𝐴𝑛 ) de elementos de 𝒜 tal que 𝐸 ⊂ ⋃∞ 𝑛=1 𝐴𝑛 es llamada una 𝒜 -cubierta de 𝐸, 𝜇
∗
se denomina la medida exterior generada por 𝜇 a continuación se demuestra que esta función
está bien definida y que en efecto es una medida exterior.
Observación 2. Dada una casi-medida 𝜇, la función 𝜇∗ definida antes siempre existe pues para
todo 𝐸 ⊂ 𝑋 ya que 𝑋 ∈ 𝒜, se tiene que el conjunto de 𝒜-cubiertas es no vacío, por lo tanto el
conjunto de sumas a las que obtenemos el ínfimo también es no vacío y es acotado
inferiormente por cero, ahora por propiedades vistas en cursos anteriores de Cálculo, el ínfimo
existe. Notemos que con las definiciones presentadas para este curso, tanto 𝜇(𝐸), como 𝜇∗ (𝐸)
pueden tener el valor ∞ para algún 𝐸 ⊂ 𝑋.
̅ de la definición anterior es una medida exterior y además

Teorema 5. La función 𝜇∗ : 𝒫(𝑋) ⟶ ℝ
es una extensión de 𝜇, es decir:
𝜇∗ |𝒜 = 𝜇
Demostración. De la definición se tiene que como 0 ≤ 𝜇(𝐴) para cada 𝐴 ∈ 𝒜, entonces 0 ≤

∑∞𝑛=1 𝜇(𝐴𝑛 ) para cualquier sucesión (𝐴𝑛 ) de elementos de 𝒜, así dado 𝐸 ⊂ 𝑋 tienes que cero es
cota inferior del conjunto {∑∞ ∞
𝑛=1 𝜇(𝐴𝑛 ) : 𝐸 ⊆ ⋃𝑛=1 𝐴𝑛 , 𝐴𝑛 ∈ 𝒜 (𝑛 ∈ ℕ)}, por lo que
0 ≤ 𝜇∗ (𝐸).
Considera la 𝒜-cubierta de ∅ dada por ∅, ∅, …, entonces 𝜇∗ (∅) ≤ 0 ya que 𝜇 es una casi-medida

y junto a la conclusión anterior tenemos que 𝜇∗ (∅) = 0.
Sean 𝐸 ⊂ 𝐹 ⊂ 𝑋. Como toda 𝒜-cubierta de F es 𝒜-cubierta de entonces, de la definición
tenemos que:
𝜇∗ (𝐸) ≤ 𝜇∗ (𝐹).
13
Observa ahora la 𝜎-subaditividad de 𝜇∗ . Sea (𝐸𝑛 ) una sucesión de subconjuntos de 𝑋. Si
𝜇 ∗ (𝐸𝑛 0 ) = ∞ para algún 𝑛0 , entonces por la monotonía se tiene:
∞
∗ ∗
∞ = 𝜇 (𝐸𝑛 0 ) ≤ 𝜇 (⋃ 𝐸𝑛 )
𝑛=1
así que
∞ ∞
𝜇 (⋃ 𝐸𝑛 ) = ∞ = ∑ 𝜇∗ (𝐸𝑛 ).
∗
𝑛=1 𝑛=1
Ahora supón que 𝜇∗ (𝐸𝑛 ) < ∞ para todo 𝑛 ∈ ℕ.

(𝑛)
Sea 𝜖 > 0, para cada 𝑛 tomamos una 𝒜-cubierta numerable (𝐴𝑖 ) de 𝐸𝑛 tal que:
∞
(𝑛) 𝜖
∑ 𝜇 (𝐴𝑖 ) ≤ 𝜇∗ (𝐸𝑛 ) +
2𝑛
𝑖=1
∞ (𝑛)
Como ⋃∞ ∞
𝑛=1 𝐸𝑛 ⊂ ⋃𝑛=1(⋃𝑖=1 𝐴𝑛 ) tenemos que el conjunto {𝐴𝑖 : (𝑖, 𝑛) ∈ ℕ × ℕ} es una 𝒜-
cubierta de ⋃∞𝑛=1 𝐸𝑛 y por lo tanto se verifica que:
∞ ∞ ∞
∞
∗ (𝑛) (𝑛)
𝜇 (⋃ 𝐸𝑛 ) ≤ ∑ 𝜇 (𝐴𝑖 ) = ∑ (∑ 𝜇 (𝐴𝑖 )) ≤ (∑ 𝜇∗ (𝐸𝑛 )) + 𝜖
𝑛=1
(𝑖,𝑛)∈ℕ×ℕ 𝑛=1 𝑖=1 𝑛=1
Esto pasa para cualquier 𝜖 arbitraria así tenemos que 𝜇∗ (⋃∞ ∞ ∗

𝑛=1 𝐸𝑛 ) ≤ ∑𝑛=1 𝜇 (𝐸𝑛 ), lo que prueba
∗
que la función 𝜇 es 𝜎-subaditiva, por lo tanto constituye una medida exterior.
Sea 𝐴 ∈ 𝒜, se tiene que 𝜇∗ (𝐴) ≤ 𝜇(𝐴), sean (𝐴𝑖 ) una 𝒜-cubierta de 𝐴 y 𝐵𝑖 = 𝐴 ∩ 𝐴𝑖 , entonces
∞ ∞
𝐴 = ⋃∞
𝑛=1 𝐵𝑖 y además 𝜇(𝐵𝑖 ) ≤ 𝜇(𝐴𝑖 ) para toda 𝑖 ∈ ℕ por lo que ∑𝑖=1 𝜇(𝐵𝑖 ) ≤ ∑𝑖=1 𝜇(𝐴𝑖 ),
entonces por las propiedades de 𝜇 tenemos que:
∞
𝜇(𝐴) ≤ ∑ 𝜇(𝐴𝑖 ),
𝑖=1
por lo tanto
𝜇(𝐴) = 𝜇∗ (𝐴),
así que 𝜇∗ extiende a 𝜇.

∎
Por otra parte, 𝜇 es 𝜎-finita si y sólo si 𝜇∗ es 𝜎-finita.
La noción de medida de Lebesgue es una extensión natural de los conceptos de longitud, área
y volumen. En particular, la medida de Lebesgue alguna figura geométrica en ℝ2 resulta ser su
área mientras que en ℝ3 es su volumen.
14
Sea 𝒮 un semianillo que contiene el conjunto vacío y todos los conjuntos de la forma 𝐴 =
∏𝑛𝑖=1[𝑎, 𝑏), donde −∞ < 𝑎𝑖 < 𝑏𝑖 < ∞ para cada 𝑖 ∈ ℕ, se observa que la función 𝜆: 𝒮 → [0, ∞)
definida por 𝜆(∅) = 0 y 𝜆(∏𝑛𝑖=1[𝑎𝑖 , 𝑏𝑖 )) = ∏𝑛𝑖=1(𝑏𝑖 − 𝑎𝑖 ) es 𝜎-aditiva.
Teorema 6. La función 𝜆: 𝒮 → [0, ∞) definida anteriormente es una medida, llamada la medida

de Lebesgue sobre 𝒮.
Demostración. La prueba es por inducción sobre la dimensión de ℝ𝑛 . Sea 𝒮𝑛 que denota el

semianillo 𝒮 sobre ℝ𝑛 , y sus corresponde funciones por 𝜆𝑛 . Para 𝑛 = 1 resulta de un ejemplo
anterior. Ahora supóngase que 𝜆𝑛 es una medida para alguna 𝑛. Observamos que 𝜆𝑛+1 es
𝜎-aditiva sobre 𝑆𝑛+1 . Para terminar, sea 𝐴 × [𝑎, 𝑏) = ⋃∞ 𝑖=1[𝐴𝑖 × [𝑎𝑖 , 𝑏𝑖 )], con 𝐴 ∈ 𝒮𝑛 , 𝐴𝑖 ∈ 𝒮𝑛
para cada 𝑖, y la sucesión {𝐴𝑖 × [𝑎𝑖 , 𝑏𝑖 )} son pares disjuntos. Se deduce que 𝜒𝐴×[𝑎,𝑏) =
∑∞ 𝑛
𝑖=1 𝜒𝐴𝑖 ×[𝑎𝑖 ,𝑏𝑖 ) . Ahora para 𝑥 = (𝑥1 , … , 𝑥𝑛 ) ∈ ℝ y 𝑡 ∈ ℝ, se tiene
∞
𝜒𝐴 (𝑥) ∙ 𝜒[𝑎,𝑏) (𝑡) = ∑ 𝜒𝐴 𝑖 (𝑥) ∙ 𝜒[𝑎𝑖,𝑏𝑖) (𝑡).
𝑖=1
Fijemos 𝑥 = (𝑥1 , … , 𝑥𝑛 ) ∈ ℝ𝑛 , y sea 𝜙𝑘 (𝑡) = ∑𝑘𝑖=1 𝜒𝐴𝑖 (𝑥) ∙ 𝜒[𝑎𝑖,𝑏𝑖) (𝑡). Entonces cada 𝜙𝑘 es una
función para (ℝ, 𝒮1 , 𝜆1 ) tal que 𝜙𝑘 (𝑡) ↑ 𝜒𝐴 (𝑥) ∙ 𝜒[𝑎,𝑏) (𝑡) para cada 𝑡 ∈ ℝ, así que se tiene que
∑𝑘𝑖=1(𝑏𝑖 , 𝑎𝑖 )𝜒𝐴𝑖 (𝑥) ↑ (𝑏 − 𝑎)𝜒𝐴 (𝑥) para cada 𝑥 = (𝑥1 , … , 𝑥𝑛 ) ∈ ℝ. Como por hipótesis de inducción
(ℝ, 𝒮𝑛 , 𝜆𝑛 ) es un espacio de medida puede verse que:
𝑘
∑(𝑏𝑖 − 𝑎𝑖 )𝜆𝑛 (𝐴𝑖 ) ↑ (𝑏 − 𝑎)𝜆𝑛 (𝐴).

𝑖=1
Esto es,
∞
∑ 𝜆𝑛+1 (𝐴𝑖 × [𝑎𝑖 , 𝑏𝑖 )) = 𝜆𝑛+1 (𝐴 × [𝑎, 𝑏)).

𝑖=1
Por lo tanto es 𝜆𝑛+1 es 𝜎-aditiva. ∎
Un intervalo de ℝ𝑛 es un conjunto de la forma ∏𝑛𝑖=1 𝐼𝑖 donde cada 𝐼𝑖 , es un intervalo de ℝ. Si

cada 𝐼𝑖 ; es además un intervalo abierto y acotado de ℝ, entonces ∏𝑛𝑖=1 𝐼𝑖 ; es llamado un
intervalo abierto de ℝ. Además se observa que cada intervalo de esta forma es una medida de
Lebesgue.
Una fórmula útil para la medida de Lebesgue exterior es la siguiente:
∞ ∞
∗ (𝐴)
𝜆 = inf {∑ 𝜆∗ (𝐼𝑖 ): donde cada 𝐼𝑖 es un intervalo abierto acotado y 𝐴 ⊆ ⋃ 𝐼𝑖 }
𝑖=1 𝑖=1
15
3.1.3. Conjuntos Lebesgue medibles
En general puedes ver que no todas las medidas exteriores son medidas, esto suele ocurrir
porque el 𝒫(𝑋) es un dominio “muy grande”. La manera en que procede es elegir algunos
subconjuntos de 𝑋 en donde la medida exterior sea aditiva.
La definición que se utilizará fue dada por K. Carathéodory en 1918.
Definición 13 [Lebesgue-medible].
Sea 𝜌: 𝒫(𝑋) ⟶ ℝ̅ una medida exterior. Decimos que 𝐸 ⊂ 𝑋 es Lebesgue-medible (o 𝝆-
medible) si:
𝜌(𝐵) = 𝜌(𝐵 ∩ 𝐸) + 𝜌(𝐵 ∖ 𝐸)
Para todo 𝐵 ⊂ 𝑋. Es decir si 𝐸 y 𝑋 ∖ 𝐸 dividen aditivamente a cualquier subconjunto de 𝑋.
Se Denota 𝒜 𝜌 = {𝐸 ⊂ 𝑋: 𝐸 𝑒𝑠 𝐿𝑒𝑏𝑒𝑠𝑔𝑢𝑒 − 𝑚𝑒𝑑𝑖𝑏𝑙𝑒} y en el caso de una medida exterior 𝜇∗

generada por una casi-medida 𝜇, denotaremos 𝒜 ∗ = {𝐸 ⊂ 𝑋: 𝐸 𝑒𝑠 𝜇∗ − 𝑚𝑒𝑑𝑖𝑏𝑙𝑒}.
Observación 3. Nota que como toda medida exterior es subaditiva, basta pedir:
𝜌(𝐵) ≥ 𝜌(𝐵 ∩ 𝐸) + 𝜌(𝐵 ∖ 𝐸)
para todo 𝐵 ⊂ 𝑋.
La proposición siguiente es para identificar algunos de los elementos de 𝒜 𝜌 .
Proposición 2. Sea 𝜌: 𝒫(𝑋) ⟶ ℝ ̅ una medida exterior, entonces:

𝜌 𝜌
a) 𝐸 ∈ 𝒜 ⟺ 𝑋 ∖ 𝐸 ∈ 𝒜 .
b) 𝐸 ∈ 𝒜 𝜌 , 𝑠𝑖 𝜌(𝐸) = 0.
Demostración.
a) 𝐸 ∈ 𝒜 𝜌 ⟺ 𝜌(𝐵) = 𝜌(𝐵 ∩ 𝐸) + 𝜌(𝐵 ∖ 𝐸) = 𝜌(𝐵 ∖ (𝑋 ∖ 𝐸)) + 𝜌(𝐵 ∩ (𝑋 ∖ 𝐸) ⟺ (𝑋 ∖ 𝐸) ∈ 𝒜 𝜌 .
b) Como 𝜌 es no-negativa y monótona se tiene que:
𝜌(𝐵 ∩ 𝐸) = 0 𝑦 𝜌(𝐵 ∖ 𝐸) ≤ 𝜌(𝐵) 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜𝐵 ⊂ 𝑋
⇒ 𝜌(𝐵) ≥ 𝜌(𝐵 ∩ 𝐸) + 𝜌(𝐵 ∖ 𝐸)
Por la Observación 2 se tiene que 𝐸 ∈ 𝒜 𝜌 .

∎
Teorema 6. (De extensión de K. Carathéodory – E. Hopf (1918)).

Sea 𝜌: 𝒫(𝑋) ⟶ ℝ ̅ una medida exterior, entonces:
a) 𝒜 𝜌 es una 𝜎-álgebra.
̅ es una medida completa. En caso de que 𝜌 = 𝜇∗ sea la medida
b) 𝜌̅ = 𝜌|𝒜 𝜌 : 𝒜 𝜌 ⟶ ℝ
exterior generada por una casi-medida 𝜇: 𝒜 ⟶ ℝ̅ , entonces:
∗
c) 𝒮(𝒜) ⊂ 𝒜
16
Demostración.
a) Por la proposición 1, se tiene que 𝒜 𝜌 es cerrado bajo complementos y 𝜌(∅) = 0,
entonces ∅ ∈ 𝒜 𝜌 ; basta demostrar que 𝒜 𝜌 es cerrado bajo uniones numerables.
Sean 𝐸1 , 𝐸2 ∈ 𝒜 𝜌 , de la definición de conjuntos Lebesgue-medibles se tiene que para todo 𝐵 ⊂

𝑋 el conjunto 𝐸2 cumple:
𝜌(𝐵 ∩ 𝐸1 ) = 𝜌((𝐵 ∩ 𝐸1 ) ∩ 𝐸2 ) + 𝜌((𝐵 ∩ 𝐸1 ) ∖ 𝐸2 ) (1)
𝜌(𝐵 ∖ 𝐸1 ) = 𝜌((𝐵 ∖ 𝐸1 ) ∩ 𝐸2 ) + 𝜌((𝐵 ∖ 𝐸1 ) ∖ 𝐸2 ) (2)

Sumando (1) y (2), como 𝐸1 ∈ 𝒜 𝜌 :
𝜌(𝐵) = 𝜌(𝐵 ∩ 𝐸1 ) + 𝜌(𝐵 ∖ 𝐸1 ) = 𝜌(𝐵 ∩ 𝐸1 ∩ 𝐸2 ) + 𝜌((𝐵 ∩ 𝐸1 ) ∖ 𝐸2 )
(3)
+𝜌((𝐵 ∩ 𝐸2 ) ∖ 𝐸1 ) + 𝜌(𝐵 ∖ (𝐸1 ∪ 𝐸2 ))
Esto es válido para cualquier 𝐵 ⊂ 𝑋 y podemos sustituir 𝐵 por 𝐵 ∩ (𝐸1 ∪ 𝐸2 ) en la ecuación (3):
𝜌(𝐵 ∩ (𝐸1 ∪ 𝐸2 )) = 𝜌(𝐵 ∩ 𝐸1 ∩ 𝐸2 ) + 𝜌((𝐵 ∩ 𝐸1 ) ∖ 𝐸2 ) + 𝜌((𝐵 ∩ 𝐸2 ) ∖ 𝐸1 ) (4)
Despejando 𝜌(𝐵 ∩ 𝐸1 ∩ 𝐸2 ) de (4) y sustituyendo en (3) tenemos que:
𝜌(𝐵) = 𝜌(𝐵 ∩ (𝐸1 ∪ 𝐸2 )) + 𝜌(𝐵 ∖ (𝐸1 ∪ 𝐸2 ))
para todo 𝐵 ⊂ 𝑋, por lo tanto 𝐸1 ∪ 𝐸2 ∈ 𝒜 𝜌 . Se sigue por inducción que ⋃𝑛𝑖=1 𝐸𝑖 ∈ 𝒜 𝜌 .

Sea (𝐸𝑛 ) una sucesión de elementos de 𝒜 𝜌 , a partir de ella es posible construir una sucesión
(𝐹𝑛 ) tal que:
∙ 𝐹𝑛 ⊂ 𝐸𝑛 para todo 𝑛 ∈ ℕ,
∙ 𝐹𝑛 ∩ 𝐹𝑚 = ∅ si 𝑛 ≠ 𝑚 y
∙ ⋃∞ ∞
𝑛=1 𝐸𝑛 = ⋃𝑛=1 𝐹𝑛 .
Esto es un ejercicio sencillo de teoría de conjuntos así que se dará por hecho. Si tomamos una
sucesión cualquiera, la unión de los elementos de esta sucesión puede ser sustituida por la
unión de elementos disjuntos de elementos también de 𝒜 𝜌 , así que basta probar que
⋃∞ 𝜌
𝑛=1 𝐸𝑛 ∈ 𝒜 , donde (𝐸𝑛 ) es una sucesión de elementos ajenos de 𝒜 .
𝜌
Si 𝐸1 , 𝐸2 son disjuntos la ecuación (4) se convierte:
𝜌(𝐵 ∩ (𝐸1 ∪ 𝐸2 )) = 𝜌(𝐵 ∩ 𝐸1 ) + 𝜌(𝐵 ∩ 𝐸2 ) para todo 𝐵 ⊂ 𝑋 (5)

Nuevamente procediendo por inducción se tiene que para todo 𝑛 ∈ ℕ se cumple:
𝑛 𝑛
𝜌 (𝐵 ∩ (⋃ 𝐸𝑖 )) = ∑ 𝜌(𝐵 ∩ 𝐸𝑖 ) (6)
𝑖=1 𝑖=1
para todo 𝐵 ⊂ 𝑋 con 𝐸1 , … , 𝐸𝑛 subconjuntos ajenos en 𝒜 𝜌 .
Sea (𝐸𝑖 ) una sucesión de conjuntos ajenos, denota:
17
𝑛 ∞
𝐹𝑛 = ⋃ 𝐸𝑖 (𝑛 ≥ 1) 𝑦 𝐸 = ⋃ 𝐸𝑖 ,
𝑖=1 𝑖=1
entonces 𝑋 ∖ 𝐸 ⊂ 𝑋 ∖ 𝐹𝑛 y como 𝐹𝑛 ∈ 𝒜 𝜌 se sigue de (6), y de lo obtenido a partir de (3) y (4)

que:
𝑛
𝜌(𝐵) ≥ (∑ 𝜌(𝐵 ∩ 𝐸𝑖 )) + 𝜌(𝐵 ∖ 𝐸)

𝑖=1
para todos 𝑛 ∈ ℕ y 𝐵 ⊂ 𝑋, por lo que:
∞
𝜌(𝐵) ≥ (∑ 𝜌(𝐵 ∩ 𝐸𝑖 )) + 𝜌(𝐵 ∖ 𝐸)

𝑖=1
y como 𝜌 es 𝜎-subaditiva entonces 𝜌(𝐵 ∩ (⋃∞ ∞ ∞

𝑖=1 𝐸𝑖 )) = 𝜌(⋃𝑖=1 𝐵 ∩ 𝐸𝑖 ) ≤ ∑𝑖=1 𝜌(𝐵 ∩ 𝐸𝑖 ), por lo
tanto:
𝜌(𝐵) ≥ 𝜌(𝐵 ∩ 𝐸) + 𝜌(𝐵 ∖ 𝐸) (7)
para todo 𝐵 ⊂ 𝑋, así que 𝐸 ∈ 𝒜 𝜌 , por lo tanto, 𝒜 𝜌 es una 𝜎-álgebra.
̅ , ésta es no-negativa y 𝜌̅ (∅) = 0. Así que basta probar

b) Por la definición de la 𝜌̅ : 𝒜 𝜌 ⟶ ℝ
que ̅𝜌 es 𝜎-aditiva.
Para facilitar la nomenclatura decimos que una sucesión de subconjuntos es disjunta si: 𝐸𝑗 ∩
𝐸𝑖 = ∅ cuando 𝑖 ≠ 𝑗.
Sean (𝐸𝑖 ) una sucesión disjunta de elementos en 𝒜 𝜌 y 𝐸 = ⋃∞ 𝜌
𝑖=1 𝐸𝑖 por el inciso (a) 𝐸 ∈ 𝒜 , así
𝜌̅ (𝐸) = 𝜌(𝐸). Si ponemos 𝐵 = 𝐸 en (7) tenemos que:
∞
𝜌̅ (𝐸) ≥ ∑ 𝜌̅ (𝐸𝑖 ) ,
𝑖=1
y como 𝜌 es 𝜎-subaditiva, 𝜌̅ es 𝜎-subaditiva, por lo que:

∞
𝜌̅ (𝐸) = ∑ 𝜌̅ (𝐸𝑖 ),
𝑖=1
por lo tanto 𝜌̅ es subaditiva. Por lo tanto 𝜌 es medida.
Sean 𝐸 ∈ 𝒜 𝜌 con 𝜌̅ (𝐸) = 0 y 𝐹 ⊂ 𝐸 dados, entonces 𝜌(𝐹) = 0 y por Proposición 1.b) tenemos
que 𝐹 ∈ 𝒜 𝜌 , eso prueba que 𝜌̅ es completa.
c) Sea 𝜇: 𝒜 ⟶ ℝ ̅ una casi-medida y 𝜌 = 𝜇∗ la medida exterior generada. Como 𝒜 ∗ es una

𝜎-álgebra basta probar que 𝒜 ⊂ 𝒜 ∗. Sean 𝐴 ∈ 𝒜 y 𝐵 ⊂ 𝑋, si 𝜇∗ (𝐵) = ∞, entonces
𝜇∗ (𝐵) ≥ 𝜇∗ (𝐵 ∩ 𝐴) + 𝜇 ∗ (𝐵 ∖ 𝐴), esto de manera trivial. Ahora supongamos 𝜇 ∗ (𝐵) < ∞.
Para 𝜖 > 0 dada, hallemos una 𝒜-cubierta numerable (𝐴𝑛 ) de 𝐵 tal que:
18
∞
∑ 𝜇(𝐴𝑖 ) ≤ 𝜇∗ (𝐵) + 𝜖 .
𝑖=1
Como 𝜇∗ |𝒜 = 𝜇, por la monotonía y la 𝜎-subaditividad de 𝜇∗ y la aditividad de 𝜇 obtenemos:
𝑛 ∞ ∞
∗ (𝐵 ∗ (𝐵
𝜇 ∩ 𝐴) + 𝜇 ∖ 𝐴) ≤ ∑(𝐴𝑖 ∩ 𝐴) + ∑(𝐴𝑖 ∖ 𝐴) = ∑ 𝜇(𝐴𝑖 ) ≤ 𝜇∗ (𝐵) + 𝜖.
𝑖=1 𝑖=1 𝑖=1
Esto ocurre para cualquier 𝜖 > 0, así que 𝐴 ∈ 𝒜 ∗.

∎
Nuevamente para facilitar notación denotaremos 𝜇̅ = 𝜇∗ |𝒜∗ .
Hasta ahora se ha dado una forma de construir una medida para una 𝜎-álgebra a partir de una
medida exterior, o más general, de una casi-medida; podemos preguntarnos las propiedades
que esta medida tiene con respecto a la función que tomamos como base para construirla, el
siguiente teorema da una información muy importante a este respecto para un tipo especial de
casi-medida, nos dice que la medida 𝜇̅ que construimos sobre la 𝜎-algebra 𝒜 ∗ es única con las
propiedades que se expusieron, esto se verá con más claridad en el enunciado siguiente.
Teorema 7. (H. Hahn (1921))

Sean 𝜇: 𝒜 ⟶ ℝ̅ una casi-medida 𝜎-finita, 𝒮 ⊂ 𝒫(𝑋) una 𝜎-álgebra que contiene a 𝒜 ∗ y 𝜈: 𝒮 ⟶
̅ una medida tal que: 𝜇(𝐴) = 𝜈(𝐴) para todo 𝐴 ∈ 𝒜, entonces 𝜇̅ (𝐸) = 𝜈(𝐸) para todo 𝐸 ∈ 𝒜 ∗ .
ℝ
Esta unicidad es importante en el momento en que deseamos plantearnos la construcción de

medidas distintas a las que ya tenemos, pues con esas propiedades sólo tenemos una
posibilidad de extender a la casi medida 𝜇.
Teorema 8. Un subconjunto 𝐸 de ℝ𝑛 es Lebesgue medible si y sólo si para cada 𝜖 > 0, existe

un conjunto abierto 𝐴, tal que 𝐸 ⊆ 𝐴, y 𝜆(𝐴 ∖ 𝐸) < 𝜖.
El teorema expresa que aquellos conjuntos que son Lebesgue medibles en ℝ pueden ser
aproximados “desde afuera” por abiertos del espacio, esta condición es bastante útil para
caracterizar los conjuntos medibles, pues de inicio nos dice que todos los conjuntos abiertos de
ℝ𝑛 son Lebesgue medibles, más aún el siguiente resultado hace ver que la categoría de los
Lebesgue medibles incluye a todos los conjuntos de Borel.
Teorema 9. Si 𝐸 es un conjunto de Borel sobre ℝ𝑛 , entonces 𝐸 es Lebesgue medible
Actividad 1.Preliminares de Teoría de la Medida
A través de esta actividad compararás los conceptos previos de Teoría de la medida con la
medida de Lebesgue.
19
3.2. Funciones medibles
El concepto de función medible es importante porque permite construir un conjunto de funciones

que contiene a otras funciones definidas en cursos anteriores tales como las continuas, las
Riemann-Integrables, y cómo estas satisfacen ciertas propiedades algebraicas, además las
variables aleatorias definidas en Probabilidad son un ejemplo de función de medida, la
definición de función medible es casi copia de la de continua, lo que nos recuerda la manera en
que la matemática se generaliza.
3.2.1. Algunas Aplicaciones
Ya que existe la posibilidad de que algún conjunto tenga medida infinita, se trabaja con el
sistema de números reales ampliado al que se denota por ℝ∗ es decir se agregarán los
símbolos {−∞, ∞} que cumpla ciertas propiedades.
Definición 14. El sistema de los reales extendido está formado por los números reales y los
símbolos −∞, ∞ tal que las operaciones entre reales son las ya definidas, 𝑎 < ∞, −∞ < 𝑎, para
todo real 𝑎, 𝑎 + ∞ = ∞, para 𝑎 real o 𝑎 = ∞;𝑎 ∙ ∞ = ∞(𝑎 > 0); 𝑎 ∙ ∞ = −∞(𝑎 < 0); ∞ ∙ ∞ = ∞; 0 ∙
∞ = ∞, se dan definiciones similares para −∞ y finalmente ∞ − ∞, no está definido.
Una propiedad se satisface casi en todas partes (c.t.p.), si se satisface en todo punto excepto
un conjunto de medida cero, es decir si A es el conjunto en que falla la condición, entonces
𝜇 ∗ (𝐴) =) 0 (𝑑𝑜𝑛𝑑𝑒 𝜇∗ 𝑒𝑠 𝑙𝑎 𝑚𝑒𝑑𝑖𝑑𝑎 𝑒𝑥𝑡𝑒𝑟𝑖𝑜𝑟 𝑔𝑒𝑛𝑒𝑟𝑎𝑑𝑎 𝑝𝑜𝑟 𝜇 y se denota que la propiedad se
cumple c.t.p.
Definición 15. Un espacio de medida es una terna (𝑋, 𝑆, 𝜇) formada por un conjunto
𝑋(𝑑𝑒 𝑟𝑒𝑎𝑙𝑒𝑠),un 𝜎 − 𝑎𝑛𝑖𝑙𝑙𝑜 𝑆, y una medida 𝜇 sobre 𝑆.
Las propiedades más usadas serán las siguientes:

1. 𝑓 = 𝑔 𝑐. 𝑡. 𝑝 𝑠𝑖 𝜇∗ ({𝑥 ∈ 𝑋|𝑓(𝑥) ≠ 𝑔(𝑥)}) = 0.
2. 𝑓 ≥ 𝑔 𝑐. 𝑡. 𝑝. 𝑠𝑖 𝜇∗ ({𝑥 ∈ 𝑋|𝑓(𝑥) < 𝑔(𝑥)}) = 0.
3. 𝑓𝑛 → 𝑔𝑛 𝑐. 𝑡. 𝑝. 𝜇∗ ({𝑥 ∈ 𝑋|𝑓𝑛 (𝑥) ↛ 𝑔𝑛 (𝑥)}) = 0.
4. 𝑓𝑛 ↑ 𝑓 𝑝. 𝑐. 𝑡. . si 𝑓𝑛 ≤ fn+1 p.c.t. para toda n y 𝑓𝑛 → 𝑓 p.c.t.
5. 𝑓𝑛 ↓ 𝑓 𝑝. 𝑐. 𝑡. . si 𝑓𝑛+1 ≤ 𝑓𝑛 p.c.t. para toda n y 𝑓𝑛 → 𝑓 p.c.t
Definición 16. Sea 𝑓: 𝑋 → ℝ una función. Si 𝑓 −1 (𝒪) es medible para todo abierto 𝒪 𝑑𝑒 ℝ,
entonces se dice que 𝑓 es una función medible.
20
Un primer teorema nos caracteriza a las funciones medibles.
Teorema 9. Para cada función 𝑓: 𝑋 → ℝ, las siguientes proposiciones son equivalentes.

1. 𝑓 es medible.
2. 𝑓 −1 ((𝑎, 𝑏)) es medible para cada intervalo abierto acotado (𝑎, 𝑏) de ℝ.
3. 𝑓 −1 (𝒞) es medible para todo subconjunto cerrado 𝒞 𝑑𝑒 ℝ.
4. f −1 ([a, ∞)) es medible para todo𝑎 ∈ ℝ.
5. 𝑓 −1 ((−∞, 𝑎]) es medible para todo 𝑎 ∈ ℝ.
6. 𝑓 −1 (𝐵) es medible para todo subconjunto de Borel 𝐵.
Ejemplos.
Si f es medible entonces {𝑥: 𝑓(𝑥) = 𝛼} 𝑒𝑠 𝑚𝑒𝑑𝑖𝑏𝑙𝑒, 𝑝𝑢𝑒𝑠 {𝑥: 𝑓(𝑥) = 𝛼} = {𝑥: 𝑓(𝑥) ≥ 𝛼} ∩ {𝑥: 𝑓(𝑥) ≤
𝛼} para 𝛼 real finito, para 𝛼 = ∞, se tiene {𝑥: 𝑓(𝑥) = ∞} = ⋂∞
𝑛=1{𝑥: 𝑓(𝑥) > 𝑛}, de manera similar
para 𝛼 = −∞.
Las funciones constantes son medibles ya que 𝑓 −1 ([𝑎, ∞))=∅ 𝑜 ℝ que es medible para todo
𝑎 real.
La función característica sobre cualquier conjunto 𝐴 es medible, si y sólo si 𝐴 es un conjunto

medible ya que {𝑥 ∈ ℝ: 𝜒𝐴 (𝑥) < 𝛼} = 𝐴, ℝ 𝑜∅, dependiendo del valor de 𝛼.
Las funciones continuas son medibles, ya que 𝑓 −1 ((𝛼, ∞)) es abierto para todo 𝛼 y por tanto
medible.
Se define la igualdad p.c.t. (para casi todo) lo que nos da una forma de equivalencia entre
funciones medibles.
Teorema 10. Si 𝑓 es una función medible y 𝑔: 𝑋 → ℝ satisface 𝑓 = 𝑔 p.c.t., entonces 𝑔 es una

función medible.
Demostración.
Si 𝐴 = {𝑥 ∈ 𝑋: 𝑓(𝑥) ≠ 𝑔(𝑥)}, entonces de la hipótesis 𝜇∗ (𝐴) = 0, y así 𝐴 es medible. Ahora, sea
𝒪 un subconjunto abierto de ℝ. Ya que 𝑓 es medible, 𝑓 −1 (𝒪) es medible, de aquí que 𝐴𝑐 ∩
𝑔−1 (𝒪) = 𝐴𝑐 ∩ 𝑓 −1 (𝒪) es un conjunto medible. Ya que 𝐴 ∩ 𝑔−1 (𝒪) tiene medida exterior cero, es
medible. De aquí,
𝑔−1 (𝒪) = [𝐴 ∩ 𝑔−1 (𝒪)] ∪ [𝐴𝑐 ∩ 𝑔−1 (𝒪)]
Es un conjunto medible, así que g es una función medible.∎
21
Otras propiedades de las funciones medibles se enuncian en el siguiente teorema.
Teorema 11. Si 𝑓 𝑦 𝑔 son funciones medibles, entonces los siguientes conjuntos

a) {𝑥 ∈ 𝑋: 𝑓(𝑥) > 𝑔(𝑥)}.
b) {𝑥 ∈ 𝑋: 𝑓(𝑥) ≥ 𝑔(𝑥)}.
c) {𝑥 ∈ 𝑋: 𝑓(𝑥) = 𝑔(𝑥)}.
Son todos medibles.
Demostración.
Demostraremos a) y los otros se deducen de este.
Sea 𝑟1 , 𝑟2 , … un enumeración de los números racionales de ℝ, entonces

{𝑥 ∈ 𝑋: 𝑓(𝑥) > 𝑔(𝑥)} = ⋃∞ 𝑛=1[{𝑥 ∈ 𝑋: 𝑓(𝑥) > 𝑟𝑛 } ∩ {𝑥 ∈ 𝑋: 𝑔(𝑥) < 𝑟𝑛 }] es medible ya que es unión
numerable de conjuntos medibles.∎
El siguiente teorema establece que la medibilidad es preservada por operaciones algebraicas

entre funciones.
Teorema 12. Sean 𝑓 𝑦 𝑔 funciones medibles, entonces las siguientes proposiciones son váildas:
1. 𝑓 + 𝑔 es una función medible.
2. 𝑓𝑔 es una función medible.
3. |𝑓|, 𝑓 + , 𝑦 𝑓 − son funciones medibles.
4. 𝑓 ∨ 𝑔 y 𝑓 ∧ 𝑔 son funciones medibles.
Demostración.
1) Si 𝑐 es un número constante, entonces 𝑐 − 𝑔 es medible, ya que si 𝑎 ∈ ℝ, entonces
{𝑥 ∈ 𝑋: 𝑐 − 𝑔(𝑥) ≥ 𝑎} = {𝑥 ∈ 𝑋: 𝑔(𝑥) ≤ 𝑐 − 𝑎} es un conjunto medible, ahora si 𝑎 ∈ ℝ,
entonces el conjunto (𝑓 + 𝑔)−1 ([𝑎, ∞)) = {𝑥 ∈ 𝑋: 𝑓(𝑥) + 𝑔(𝑥) ≥ 𝑎} = {𝑥 ∈ 𝑋: 𝑓(𝑥) ≥ 𝑎 −
𝑔(𝑥)} es medible por el teorema anterior, por tanto 𝑓 + 𝑔 es medible.
2) Nota que 𝑓 2 es medible, ya que si 𝑎 ∈ ℝ, entonces se tiene {𝑥 ∈ 𝑋: 𝑓 2 (𝑥) ≤ 𝑎} = ∅ si

𝑎 < 0 y {𝑥 ∈ 𝑋: 𝑓 2 (𝑥) ≤ 𝑎} = 𝑓 −1 ([−√𝑎, √𝑎]) si 𝑎 ≥ 0. Por tanto 𝑓 2 es medible, también
𝑐𝑓 es una función medible para c constante, ya que si 𝐴 = {𝑥 ∈ 𝑋: 𝑐𝑓(𝑥) ≥ 𝑎}, entonces
𝑎 𝑎
𝐴 = {𝑥 ∈ 𝑋: 𝑓(𝑥) ≥ 𝑐 } para c>0 y 𝐴 = {𝑥 ∈ 𝑋: 𝑓(𝑥) ≤ 𝑐 } para 𝑐 < 0, combinando 1) y la
relación 𝑓𝑔 = 1/2[(𝑓 + 𝑔)2 − 𝑓 2 − 𝑔2 ].
22
3) La medibilidad de |𝑓| se sigue de las relaciones {𝑥 ∈ 𝑋: |𝑓(𝑥)| ≤ 𝑎} = ∅ si 𝑎 < 0, y
{𝑥 ∈ 𝑋: |𝑓(𝑥)| ≤ 𝑎} = {𝑥 ∈ 𝑋: 𝑓(𝑥) ≤ 𝑎} ∩ {𝑥 ∈ 𝑋: 𝑓(𝑥) ≥ −𝑎} si 𝑎 ≥ 0.
1 1
Para 𝑓 + 𝑦 𝑓 − usa las identidades 𝑓 + = (|𝑓| + 𝑓) y 𝑓 − = (|𝑓| − 𝑓).
2 2
1
4) Las identidades (𝑓 ∨ 𝑔)(𝑥) = max{𝑓(𝑥), 𝑔(𝑥)} = 2 (𝑓 + 𝑔 + |𝑓 − 𝑔|) y (𝑓 ∧ 𝑔)(𝑥) =
1
min{𝑓(𝑥), 𝑔(𝑥)} = 2 (𝑓 + 𝑔 − |𝑓 − 𝑔|) nos dan los resultados junto con (1).∎
La medibilidad de funciones con la condición c.p.t (casi para todo). se preserva en sucesiones
convergentes como queda establecido en el siguiente teorema.
Teorema 13. Para una sucesión {𝑓𝑛 } de funciones medibles, las siguientes proposiciones son
válidas:
1) Si 𝑓𝑛 → 𝑓 c.p.t., entonces f es una función medible.
2) Si {𝑓𝑛 (𝑥)} es una sucesión acotada para cada x, entonces lim sup 𝑓𝑛 y lim inf 𝑓𝑛 son
ambas funciones medibles.
Demostración.
1) Sea 𝐴 = {𝑥 ∈ 𝑋: lim 𝑓𝑛 (𝑥) = 𝑓(𝑥)} ya que 𝑓𝑛 → 𝑓 c.p.t. se sigue que 𝜇∗ (𝐴𝑐 ) = 0. Por tanto
𝐴𝑐 y 𝐴 son medibles. Ahora mostraremos que f es medible. Sea 𝑎 ∈ ℝ y observemos la
∞ −1 1
igualdad 𝐴 ∩ 𝑓 −1 ((𝑎, ∞)) = 𝐴 ∩ [⋂∞
𝑛=1 ⋂𝑖=𝑛 𝑓𝑖 ((𝑎 + 𝑛 , ∞))] y la medibilidad de cada 𝑓𝑖
muestra que 𝐴 ∩ 𝑓 −1 ((𝑎, ∞)) es un conjunto medible. También 𝐴𝑐 ∩ 𝑓 −1 ((𝑎, ∞)) es

medible por ser subconjunto de un conjunto de medida cero, así 𝑓 −1 ((𝑎, ∞)) =
[𝐴 ∩ 𝑓 −1 ((𝑎, ∞))] ∪ [𝐴𝑐 ∩ 𝑓 −1 ((𝑎, ∞))] es un conjunto medible y por tanto f es una
función medible.
2) Sea {𝑓𝑛 (𝑥)} sucesión acotada para cada x. Mostraremos que lim sup 𝑓𝑛 es una función
medible. La medibilidad de lim inf 𝑓𝑛 se sigue de la identidad lim inf 𝑓𝑛 = − lim sup(−𝑓𝑛 ).
∞
Ahora notemos que lim sup 𝑓𝑛 =⋀∞ 𝑛=1 ⋁𝑘=𝑛 𝑓𝑘 , fijemos 𝑛 natural, y sea ℎ𝑚 =
𝑓𝑛 ⋁𝑓𝑛+1 ⋁ ⋯ ⋁𝑓𝑛+𝑚 es medible para cada 𝑚, y ya que ℎ𝑚 ↑ ⋁∞ 𝑘=𝑛 𝑓𝑘 = 𝑔𝑛 (en todo), se
sigue de (1) que 𝑔𝑛 es una función medible. Ya que 𝑔𝑛 ↓ lim sup 𝑓𝑛 (en todo lado) se
sigue de (1) que lim sup 𝑓𝑛 es una función medible.∎
El último teorema de este tema relaciona la convergencia uniforme con la convergencia en

medida, este teorema se atribuye al matemático ruso Dimitry Fedorovich Egorov(1864-1931).
Teorema 14 (Egorov). Sea {𝑓𝑛 } una sucesión de funciones medibles tal que 𝑓𝑛 → 𝑓 p.c.t., y sea
𝐸 un subconjunto medible de 𝑋 tal que 𝜇∗ (𝐸) < ∞. Entonces para todo 𝜀 > 0, existe un
subconjunto medible 𝐹 𝑑𝑒 𝐸 con 𝜇∗ (𝐹) < 𝜀, y con {𝑓𝑛 } convergiendo uniformemente a 𝑓 𝑒𝑛 𝐸 ∖ 𝐹.
23
Actividad 2. Medida de Lebesgue

A través de esta actividad, resolverás ejercicios sobre los conceptos fundamentales de la
teoría de la Medida y Medida de Lebesgue. Para ello:
Evidencia de aprendizaje. Espacios métricos, conjuntos medibles y medida

de Lebesgue
Es momento de realizar tu evidencia de aprendizaje, donde tendrás que aplicar tus
conocimientos sobre aproximación de funciones continuas.
Cierre de la unidad
La medida de Lebesgue es de alguna forma una generalización del concepto de conjunto

abierto, ya que todos los conjuntos abiertos son medibles. La generalización natural del
concepto de función continua es la función medible con los conjuntos medibles haciendo el
papel de los abiertos, también toda función continua es medible. Una ventaja de las funciones
medibles queda manifiesta en el Teorema de Egorov: la cerradura bajo sucesiones de
funciones convergentes es algo que no se da en las funciones continuas, esta convergencia es
tan fuerte que la convergencia es uniforme.
El contenido de esta unidad es necesario para la siguiente en la que se definirá la Integral de

Lebesgue, un paso más en la generalización del concepto de integral, que permitirá tener una
mayor cantidad de funciones integrables.
Para saber más:
Un resumen histórico de la Teoría de la medida de 1887 a 1990:

http://www.lps.uci.edu/~johnsonk/CLASSES/FoundationsOfMeasurement/Diez.AnHistoricalIntro
ductionToMeasurementTheoryPartOne.pdf
El blog de Terence Tao, uno de los matemáticos más notables de nuestra época, entre otras
secciones presenta: libros, resúmenes de artículos, apps, etc. sobre Matemáticas en general
en particular en Teoría de la Medida
http://terrytao.wordpress.com/
Interesante artículo sobre la aplicación de la Teoría de la Medida a la ingeniería de software.

http://www.cin.ufpe.br/~ssj/on_the_application_of_measurement_theory_825427.pdf
Referencias Bibliográficas
24
Charalambos, D. (1998). Principles of Real Analysis. USA. Academic Press.
De Barra, G. (2000). Measure Theory and Integration. India. New Age International.
Folland, G. B. (1999). Real Analysis: Modern Techniques and their Applications. USA. Wiley.
Galaz, F. (2002). Medida e Integral de Lebesgue en ℝ𝑛 .México. University Press.
Grabisnky, G. (2011). Teoría de la Medida. México. Facultad de Ciencias UNAM.
Halmos, P. R.. (1991). Measure Theory. USA. Springer Verlag.
Royden, H; Fitzpatrick, P.. (2010). Real Analysis. USA. Pearson.
Sánchez, C; Valdés, C.. (2004). De los Bernoulli a los Bourbaki. España. Nivola.
Schram, M. (1996). Introduction to Real Analysis. USA. Prentice Hall.
25

U3. Preliminares de Teoria de La Medida PDF

Cargado por

Copyright:

Formatos disponibles

U3. Preliminares de Teoria de La Medida PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

U3. Preliminares de Teoria de La Medida PDF

Cargado por

Copyright:

Formatos disponibles

Análisis matemático II

Unidad 3. Conceptos preliminares de Teoría de la Medida

Universidad Abierta y a Distancia de México

Unidad 3. Conceptos preliminares de Teoría de la Medida

Ciencias exactas, Ingenierías y tecnologías | Licenciatura en Matemáticas

Unidad 3. Conceptos Preliminares de Teoría de la Medida ................................................... 3

3.1.2. Definición de medida de Lebesgue. Propiedades ......................................................................... 11

3.1.3. Conjuntos Lebesgue medibles ....................................................................................................... 16

Actividad 1.Preliminares de Teoría de la Medida .................................................................. 19

Actividad 2. Medida de Lebesgue .......................................................................................... 24

Ciencias exactas, Ingenierías y tecnologías | Licenciatura en Matemáticas

Unidad 3. Conceptos Preliminares de Teoría de la Medida

La integral de Riemann-Stieltjes que se introdujo en el en la unidad anterior generaliza la

 Identificar las propiedades de la medida de Lebesgue.

Competencia específica de la unidad

 Analizar el concepto de medida para clasificar conjuntos en ℝ mediante la utilización de sus

3.1.1. Medidas y conjuntos medibles

El concepto general de medida de un conjunto constituye una generalización natural de los

Ciencias exactas, Ingenierías y tecnologías | Licenciatura en Matemáticas

La teoría de integración de Riemann presentada en adaptación de la teoría de Cauchy

Una función acotada 𝑓(𝑥) es integrable en [a, b] si y sólo si la suma de Cauchy

𝑆 = ∑ 𝑓(𝑡𝑘 )(𝑥𝑘 − 𝑥𝑘−1 ),

donde 𝑎 = 𝑥0 < 𝑥1 … < 𝑥𝑛 = 𝑏 y 𝑡𝑘 ∈ [𝑥𝑘−1 , 𝑥𝑘 ], se aproxima valor límite cuando el tamaño de

Definición 1 [Semianillo] Sea 𝑋 un conjunto no vacío. Una colección 𝑆 de subconjuntos de 𝑋

a) El conjunto vacío pertenece a 𝑆, es decir Ø ∈ 𝑆.

Definición 2 [𝛔-conjunto] Sea 𝑆 un semianillo de subconjuntos, subconjuntos de 𝑋. Un

Observación 1. Si 𝐴 = ⋃𝑛𝑖=1 𝐴𝑖 , con 𝐴1 , … , 𝐴𝑛 ∈ 𝑆 y 𝐴𝑖 ∩ 𝐴𝑗 = ∅ para 𝑖 ≠ 𝑗, entonces 𝐴 es un 𝜎-

Algunas propiedades de los 𝜎-conjuntos están incluidas en el siguiente teorema.

Teorema 1. Para algún semianillo 𝑆, se tiene las siguientes propiedades.

a) Si 𝐴 ∈ 𝑆 y 𝐴1 , … , 𝐴𝑛 ∈ 𝑆, entonces 𝐴\ ⋃𝑛𝑖=1 𝐴𝑖 puede ser escrito como la unión finita de

Ciencias exactas, Ingenierías y tecnologías | Licenciatura en Matemáticas

𝐴 ∖ ⋃ 𝐴𝑖 = 𝐵\𝐴𝑛+1 = ⋃(𝐵𝑖 ∖ 𝐴𝑛+1 ).

Sea {𝐴𝑛 } ⊆ 𝒮. Donde 𝐴 = ⋃∞ ∞

Para la prueba de c) se sigue de b), y de la propiedad b) de semianillo.∎

Definición 3 [Álgebra de conjuntos] Un conjunto no vacío 𝒮 de subconjuntos de 𝑋 tal que es

Teorema 2. Para un álgebra de conjuntos 𝒮, las siguientes propiedades se cumplen:

a) Dado que 𝒮 es no vacío existe algún 𝐴 ∈ 𝒮. Ahora, por hipótesis 𝐴𝑐 ∈ 𝒮, así, ∅ = 𝐴 ∩

Ciencias exactas, Ingenierías y tecnologías | Licenciatura en Matemáticas

Definición 4 [Anillo de conjuntos] Un anillo de conjuntos (o simplemente un anillo) es un

Definición 5 [𝝈-Anillo] Un álgebra 𝒮 de subconjuntos de un conjunto 𝑋 se llama 𝝈-álgebra si

Definición 6 [Conjuntos de Borel] Los conjuntos de Borel de un espacio topológico (X, r)

Se introduce la noción de medida sobre una 𝜎-álgebra y se consideran el concepto de medida

Ciencias exactas, Ingenierías y tecnologías | Licenciatura en Matemáticas

Si es posible hallar una sucesión (𝐸𝑛 ) de elementos de 𝒮 tal que 𝑋 = ⋃∞

Las siguientes propiedades son consecuencias de la definición.

Proposición 1. Sea 𝜇 una medida en (𝑋, 𝒮) entonces

𝜇(𝐸1 ∪ 𝐸2 ) = 𝜇 (⋃ 𝐹𝑛 ) = ∑ 𝜇(𝐹𝑛 ) = 𝜇(𝐸1 ) + 𝜇(𝐸2 ),

a) De la identidad 𝐹 = (𝐹 ∖ 𝐸) ∪ 𝐸 (unión disjunta de elementos de 𝒮), se obtiene del inciso

La medida 𝜇 es una medida finita, llamada la medida unitaria concentrada en 𝒙𝟎 .

Ciencias exactas, Ingenierías y tecnologías | Licenciatura en Matemáticas

μ(A) = ∑ 𝜇(𝐶𝑖 ) ≥ ∑ 𝜇(𝐴𝑖 ).

Por la 𝜎-subaditividad de 𝜇, se asume que 𝐴 ⊆ ⋃∞

𝜇(𝐴) = ∑ ∑ 𝜇(𝐶1𝑛 ∩ 𝐴) ≤ ∑ ∑ 𝜇(𝐶𝐼𝑛 ) ≤ ∑ 𝜇(𝐴𝑛 ).

A la inversa, si el conjunto de funciones 𝜇: 𝒮 → [0, ∞] satisface las tres condiciones anteriores, 𝜇

Definición 9 [Conjunto nulo] Un conjunto 𝐸 es llamado un conjunto nulo si 𝜇(𝐸) = 0.

Ciencias exactas, Ingenierías y tecnologías | Licenciatura en Matemáticas

A partir de la propiedad de un 𝜎-subaditividad de 𝜇 que una unión numerable de conjuntos nulos

Teorema 4. Cada conjunto nulo es medible.

Demostración. Sea 𝐸 ⊆ 𝑋 con 𝜇(𝐸) = 0. Entonces la monotonía de 𝜇 implica 𝜇(𝐴 ∩ 𝐸) = 0