Práctica de ejercicios
Nombre: Jesús Abraham Rojas Úrzulo Matrícula:ES1821013126
Nombre del curso: Análisis Nombre del profesor: Braulio Samuel
Matemático II Colmenero Mejía
Unidad: 3 Actividad: 1
Fecha: 25/07/2021
Bibliografía:
Bibliografía
Batalla, R. Q. (24 de 07 de 2021). Una introducci´on a la medida e integral.
Obtenido de Una introducci´on a la medida e integral:
http://mat.izt.uam.mx/mat/documentos/notas%20de%20clase/medida_
e_integral.pdf
Conjuntos Medibles. (24 de 07 de 2021). Obtenido de Conjuntos Medibles:
http://matematicas.unex.es/~montalvo/Analisis_Varias_Variables/apunt
es2010/cap18.pdf
Espacios de Medida. (24 de 07 de 2021). Obtenido de Espacios de Medida:
https://www.cimat.mx/~jortega/MaterialDidactico/myp09/Cap2v1.1.pdf
Integral de Riemann. (22 de 07 de 2021). Obtenido de Integral de Riemann:
https://webs.um.es/gvb/OCW/OCW-AM-II_files/PDF/Cap10.pdf
Notas: Análisis Matemático II. (s.f.). Universidad Abierta y a distancia de
México.
¿Qué es la integral de Lebesgue?
La integral de Lebesgue surge del desarrollo de la integral de Riemann, ante las
dificultades encontradas en las propiedades de paso al límite para calcular la
integral de una función definida como el límite puntual de una sucesión de
funciones.
La teoría de Lebesgue se basa en un concepto más general de lo que es la
medida de un conjunto que la definición euclídea de volumen, y lleva a la
definición de una familia de conjuntos “medibles”, y a la construcción de una
integral que puede aplicarse en contextos más variados que la de Riemann
(funciones no acotadas, dominios de integración no acotados, …) y que tiene
mejor comportamiento frente a las operaciones de límite de funciones.
Definición (Medida Exterior de Lebesgue)
Sea 𝐴 un subconjunto de ℝ𝑛 . Se define la medida exterior de Lebesgue de 𝐴
como:
Práctica de ejercicios
∞ ∞
𝑚∗ (𝐴) = inf {∑ 𝑣(𝑄𝑛 ) , 𝐴 ⊆ ⋃ 𝑄𝑛 , 𝑄𝑛 rectángulos cerrados}
𝑛=1 𝑛=1
Donde el ínfimo se toma entre todas las familias numerables de rectángulos
que recubren a 𝐴.
Propiedades de la medida exterior.
1. 𝑚∗ (∅) = 0
2. Si 𝐴 ⊆ 𝐵, 𝑚∗ (𝐴) ≤ 𝑚∗ (𝐵) (monotonía)
3. Sea {𝐴𝑛 }𝑛 una familia numerable de conjuntos; entonces
𝑚 ∗ (⋃ ∞ ∞ ∗
𝑛=1 𝐴𝑛 ) ≤ ∑𝑛=1 𝑚 (𝐴𝑛 ) (Subaditividad)
4. 𝑚∗ (𝐴) = inf{𝑚∗ (𝐺), 𝐺 abierto, 𝐴 ⊆ 𝐺} (regularidad)
5. Para todo conjunto 𝐴 y todo 𝑥 ∈ ℝ𝑛 , 𝑚∗ (𝑥 + 𝐴) = 𝑚∗ (𝐴) (Invariancia por
traslaciones)
Sin embargo, la medida exterior falla en cambio en una propiedad fundamental
respecto al volumen: no es cierto en general que si 𝐴 y 𝐵 son conjuntos disjuntos,
se tenga
𝑚∗ (𝐴⋃𝐵) = 𝑚∗ (𝐴) + 𝑚∗ (𝐵)
Si queremos conseguir que esta propiedad se verifique, debemos prescindir de
algunos conjuntos. Estos dan lugar a la definición de una familia de subconjuntos
de ℝ𝑛 , para los cuales si se verifica esta propiedad, que llamaremos conjuntos
medibles – Lebesgue.
Definición (Conjuntos Medibles - Lebesgue)
Un conjunto 𝐴 se dice medible – Lebesgue (en adelante conjunto medible) si
verifica la siguiente propiedad:
Para todo conjunto 𝐸 se verifica la igualdad
𝑚∗ (𝐸) = 𝑚∗ (𝐸⋂𝐴) + 𝑚∗ (𝐸 \A)
Práctica de ejercicios
𝑛
Llamamos 𝑀 a la familia de los conjuntos de ℝ que son medibles.
Propiedades de los conjuntos medibles – Lebesgue
1. Si 𝐴 ∈ 𝑀, entonces 𝐴𝑐 ∈ 𝑀
2. Si 𝐴 y 𝐵 son medibles, entonces 𝐴⋂𝐵 ∈ 𝑀; y por lo tanto 𝐴\B ∈ 𝑀
3. Si 𝐴 y 𝐵 son medibles, entonces 𝐴⋃𝐵 ∈ 𝑀; y si además 𝐴⋂𝐵 tiene medida
finita, 𝑚(𝐴⋃𝐵) = 𝑚(𝐴) + 𝑚(𝐵) − 𝑚(𝐴⋂𝐵)
4. Si 𝐴1 , … , 𝐴𝑘 es una familia finita de conjuntos medibles, entonces ⋃𝑘𝑖=1 𝐴𝑖 ∈
𝑀 y ⋂𝑘𝑖=1 𝐴𝑖 ∈ 𝑀.
5. Si {𝐴𝑖 }𝑖 es una familia numerable de conjuntos medibles, disjuntos dos a
dos, entonces ⋃∞ ∞ ∞
𝑖=1 𝐴𝑖 ∈ 𝑀. Además 𝑚(⋃𝑖=1 𝐴𝑖 ) = ∑𝑖=1 𝑚(𝐴𝑖 )
6. Si {𝐴𝑖 }𝑖 es una familia numerable de conjuntos medibles, entonces
⋃∞ ∞
𝑖=1 𝐴𝑖 ∈ 𝑀 y ⋂𝑖=1 𝐴𝑖 ∈ 𝑀.
7. Todo conjunto 𝐴 con 𝑚∗ (𝐴) = 0 es medible
8. Si 𝐴 ∈ 𝑀, para todo 𝑥 ∈ ℝ𝑛 , 𝑥 + 𝐴 ∈ 𝑀, 𝑚(𝑥 + 𝐴) = 𝑚(𝐴)
Práctica de ejercicios
¿Qué es la integral de Lebesgue?
La integral de Lebesgue surge del desarrollo de la integral de
Riemann, ante las dificultades encontradas en las propiedades
de paso al límite para calcular la integral de una función
definida como el límite puntual de una sucesión de funciones.
Definición (Medida Exterior de Lebesgue)
Sea 𝐴 un subconjunto de ℝ𝑛 . Se define la medida 1. 𝑚∗ ∅ = 0
exterior de Lebesgue de 𝐴 como: 2. Si 𝐴 ⊆ 𝐵, 𝑚∗ 𝐴 ≤ 𝑚∗ (𝐵) (monotonía)
∞ ∞
3. Sea 𝐴𝑛 𝑛 una familia numerable de conjuntos; entonces Propiedades de la medida
𝑚∗ 𝐴 = inf ∑ 𝑣(𝑄𝑛 ) , 𝐴 ⊆ ⋃ 𝑄𝑛 , 𝑄𝑛 rectángulos cerrados 𝑚 ∗ ⋃∞ ∞ ∗
𝑛=1 𝐴𝑛 ≤ ∑𝑛=1 𝑚 (𝐴𝑛 ) (Subaditividad) exterior.
𝑛=1 𝑛=1
∗ ∗
4. 𝑚 𝐴 = inf 𝑚 𝐺 , 𝐺 abierto, 𝐴 ⊆ 𝐺 (regularidad)
Donde el ínfimo se toma entre todas las familias 5. Para todo conjunto 𝐴 y todo 𝑥 ∈ ℝ𝑛 , 𝑚∗ 𝑥 + 𝐴 = 𝑚∗ (𝐴) (Invariancia
numerables de rectángulos que recubren a . por traslaciones)
Sin embargo, la medida exterior falla en cambio Un conjunto 𝐴 se dice medible – Lebesgue (en
en una propiedad fundamental respecto al adelante conjunto medible) si verifica la
volumen: no es cierto en general que si 𝐴 y 𝐵 son siguiente propiedad:
conjuntos disjuntos, se tenga Para todo conjunto 𝐸 se verifica la igualdad
𝑚∗ 𝐴⋃𝐵 = 𝑚∗ 𝐴 + 𝑚∗ (𝐵) 𝑚∗ 𝐸 = 𝑚∗ 𝐸⋂𝐴 + 𝑚∗ 𝐸\A
1. Si 𝐴 ∈ 𝑀, entonces 𝐴𝑐 ∈ 𝑀
5. Si 𝐴𝑖 𝑖 es una familia numerable de conjuntos medibles,
2. Si 𝐴 y 𝐵 son medibles, entonces 𝐴⋂𝐵 ∈ 𝑀; y por lo tanto disjuntos dos a dos, entonces ⋃∞𝑖=1 𝐴𝑖 ∈ 𝑀. Además
𝐴\B ∈ 𝑀 𝑚 ⋃∞ ∞
Propiedades de los 𝑖=1 𝐴𝑖 = ∑𝑖=1 𝑚(𝐴𝑖 )
3. Si 𝐴 y 𝐵 son medibles, entonces 𝐴⋃𝐵 ∈ 𝑀; y si además 6. Si 𝐴𝑖 𝑖 es una familia numerable de conjuntos medibles,
conjuntos medibles – 𝐴⋂𝐵 tiene medida finita, 𝑚 𝐴⋃𝐵 = 𝑚 𝐴 + 𝑚 𝐵 − entonces ⋃∞ ∞
𝑖=1 𝐴𝑖 ∈ 𝑀 y ⋂𝑖=1 𝐴𝑖 ∈ 𝑀.
𝑚 𝐴⋂𝐵
Lebesgue 7. Todo conjunto 𝐴 con 𝑚∗ 𝐴 = 0 es medible
4. Si 𝐴1 , … , 𝐴𝑘 es una familia finita de conjuntos medibles,
entonces ⋃𝑘𝑖=1 𝐴𝑖 ∈ 𝑀 y ⋂𝑘𝑖=1 𝐴𝑖 ∈ 𝑀. 8. Si 𝐴 ∈ 𝑀, para todo 𝑥 ∈ ℝ𝑛 , 𝑥 + 𝐴 ∈ 𝑀, 𝑚 𝑥 + 𝐴 = 𝑚(𝐴)
