Nombre: José Juan Meza Espinosa Matrícula: ES162003482

Nombre del curso: Análisis Nombre del profesor: Braulio

Matemático 2 Samuel Colmenero Mejía
Unidad: 4 Actividad: 2
Fecha: 27 de febrero del 2019
Bibliografía:
Apostol, T. (1976). Integrales de Lebesgue multiples. En T. Apostol, Analisis
Matematico (págs. 511-512). Barcelona: Reverte.
Apostol, T. (1976). Integrales de Lebesgue multiples. En T. Apostol, Analisis
Matematico (pág. 513). Barcelona: Reverte.
Apostol, T. (1976). Integrales de Lebesgue Multiples. En T. Apostol, Analisis
Matematico (pág. 520). Barcelona: Reverte.
UNADM. (2019). Unidad 4. Integral de Lebesgue. En UNADM, Análisis
Matemático II (págs. 19-20). Mexico: UNADM.

Ejercicios a resolver:
1. Demuestre lo siguiente: Sea 𝜶: 𝑹𝒏 → 𝑹𝒏 una transformación lineal de
coordenadas. Si existe la integral de Lebesgue ∫𝑹𝒏 𝒇(𝒙) 𝒅𝒙, entonces
también existe la integral de Lebesgue ∫𝑹𝒏 𝒇[𝜶(𝒕)]|𝑱𝒏 (𝒕)| 𝒅𝒕 y amabas
integrales son iguales.
Procedimientos y Resultados:
Obsérvese que si el teorema es cierto para 𝛼 y para 𝛽, entonces es cierto
también para la función compuesta 𝛾 = 𝛼 ∘ 𝛽 puesto que

∫ 𝑓(𝑥) 𝑑𝑥 = ∫ 𝑓[𝛼(𝑡)]|𝐽𝛼 (𝑡)| 𝑑𝑡 = ∫ 𝑓(𝛼[𝛽(𝑡)])|𝐽𝛼 [𝛽(𝑡)]||𝐽𝛽 (𝑡)| 𝑑𝑡 =

𝑅𝑛 𝑅𝑛 𝑅𝑛

= ∫ 𝑓[𝛾(𝑡)]|𝐽𝛾 (𝑡)| 𝑑𝑡
𝑅𝑛
Ya que 𝐽𝛾 (𝑡) = 𝐽𝛼 [𝛽(𝑡)]𝐽𝛽 (𝑡)
Por consiguiente, puesto que toda transformación lineal no singular 𝛼 es una
composición de transformaciones elementales es suficiente probar el teorema
para cada transformación elemental. Es suficiente también suponer que 𝑓 > 0.
Supongamos que 𝛼 es de tipo a. A fin de simplificar, suponemos que 𝛼 multiplica
la ultima componente de 𝑡 por un escalar no nulo 𝜆, esto es

𝛼(𝑡1 , ⋯ , 𝑡𝑛 ) = (𝑡1 , ⋯ , 𝑡𝑛−1 , 𝜆𝑡𝑛 )

Entonces
|𝐽𝛼 (𝑡)| = |𝑑𝑒𝑡(𝛼)| = |𝜆|
Aplicamos el teorema de Fubini a fin de escribir la integral de 𝑓 sobre 𝑅 𝑛 como
la reiteración de una integral (𝑛 − 1) −dimensional sobre 𝑅 𝑛−1 y una integral
unidimensional 𝑅1 . Para la integral sobre 𝑅1 . Para la integral sobre 𝑅1 utilizamos
el teoremas
  Invariancia por translaciones. Si 𝑔(𝑥) = 𝑓(𝑥 − 𝑐) para pertenecientes a
𝐼 + 𝑐, entonces 𝑔 ∈ 𝐿(𝐼 + 𝑐), y

∫𝑔=∫𝑓
𝐼+𝑐 𝐼
 Comportamiento de la integral bajo una dilatación o una contracción. Si
𝑔(𝑥) = 𝑓(𝑥/𝑐) para x pertenecientes a 𝑐𝐼, en donde 𝑐 > 0, entonces 𝑔 ∈
𝐿(𝑐)𝐼 y

∫ 𝑔 = 𝑐∫ 𝑓
𝑐𝐼 𝐼
y obtenemos
∞

∫ 𝑓(𝑥) 𝑑𝑥 = ∫ [ ∫ 𝑓(𝑥1 , ⋯ , 𝑥𝑛 )𝑑𝑥𝑛 ] 𝑑𝑥1 , ⋯ , 𝑑𝑥𝑛 =

𝑅𝑛 𝑅 𝑛−1 −∞
∞

= ∫ [|𝜆| ∫ 𝑓(𝑥1 , ⋯ , 𝑥𝑛−1, 𝜆𝑥𝑛 )𝑑𝑡𝑛 ] 𝑑𝑥1 , ⋯ , 𝑑𝑥𝑛−1 =

𝑅 𝑛−1 −∞

= ∫ [ ∫ 𝑓[𝛼(𝑡)]|𝐽𝑛 (𝑡)| 𝑑𝑡𝑛 ] 𝑑𝑡1 , ⋯ , 𝑑𝑡𝑛−1 =

𝑅 𝑛−1 𝑅 𝑛

= ∫ 𝑓[𝛼(𝑡)]|𝐽𝛼 (𝑡)| 𝑑𝑡
𝑅𝑛
en donde el último paso hemos utilizado el teorema de Tonelli-Honson. Esto
prueba que si 𝛼 es de tipo a. Si 𝛼 es del tipo b la demostración es análoga salvo
que se utiliza el teorema
 Invariancia por translaciones. Si 𝑔(𝑥) = 𝑓(𝑥 − 𝑐) para pertenecientes a
𝐼 + 𝑐, entonces 𝑔 ∈ 𝐿(𝐼 + 𝑐), y

∫𝑔=∫𝑓
𝐼+𝑐 𝐼
en el caso unidimensional.

Apostol, T. (1976). Integrales de Lebesgue multiples. En T. Apostol, Analisis Matematico

(págs. 511-512). Barcelona: Reverte.

2. Demuestre lo siguiente: Sea 𝜶: 𝑹𝒏 → 𝑹𝒏 una transformación lineal de

coordenadas. Si 𝑨 es un subconjunto de 𝑹𝒏 con medida de Lebesgue
𝜇(𝐴) finita, entonces 𝛼(𝐴) tiene tambien medida de Lebesgue finita y
𝝁[𝜶(𝑨)]] = |𝒅𝒆𝒕(𝜶)|𝝁(𝑨)
Procedimientos y Resultados:
Escribimos 𝐴 = 𝛼 −1 (𝐵), en donde 𝐵 = 𝛼(𝐴). Puesto que 𝛼 −1 es también una
transoformacion lineal de coordenadas, obtenemos

𝜇(𝐴) = ∫ 𝑑𝑥 = ∫ 𝑑𝑥 = ∫ |𝑑𝑒𝑡(𝛼 −1 )|𝑑𝑡 = |𝑑𝑒𝑡(𝛼 −1 )|𝜇(𝐵)

𝐴 𝛼−1 (𝐵) 𝛼−1 (𝐵)
Esto prueba 𝜇[𝛼(𝐴)]] = |𝑑𝑒𝑡(𝛼)|𝜇(𝐴) ya que 𝐵 = 𝛼(𝐴) y |𝑑𝑒𝑡(𝛼 −1 )| =
−1
(𝑑𝑒𝑡(𝛼))

Apostol, T. (1976). Integrales de Lebesgue multiples. En T. Apostol, Analisis Matematico

(pág. 513). Barcelona: Reverte.

3. Sea 𝑲 un cubo compacto de 𝒈(𝑻). Entones para cada función superior

no negativa 𝒇 acotada en 𝑲, la integral

∫ 𝒇(𝒙) 𝒅𝒙 ≤ ∫ 𝑓[𝑔(𝑡)]|𝐽𝑔 (𝑡)| 𝒅𝒕

𝒈−𝟏 (𝑲) 𝒈−𝟏 (𝑲)
existe, y se tiene la desigualdad

∫ 𝒇(𝒙) 𝒅𝒙 ≤ ∫ 𝑓[𝑔(𝑡)]|𝐽𝑔 (𝑡)| 𝒅𝒕

𝑲 𝒈−𝟏 (𝑲)

Procedimientos y Resultados:

Sea s una función escalonada no negativa en K. Entonces existe una partición

de K constituida de un numero finito de cubos 𝐾1 , ⋯ , 𝐾𝑟 tal que 𝑠 es contstante
en el interior de cada 𝐾𝑖 ,o sea 𝑠(𝒙) = 𝑎𝑖 ≥ 0 si 𝒙 ∈ 𝑖𝑛𝑡(𝐾𝑖 ), Aplicamos

𝜇(𝐴) ≤ ∫ |𝐽𝑔 (𝑡)| 𝑑𝑡

𝑔−1 (𝐾)
A cada cubo 𝐾𝑖 , multiplicamos por 𝑎𝑖 y sumamos, obteniendo

∫ 𝑠(𝒙) 𝑑𝑥 ≤ ∫ 𝑠[𝑔(𝑡)]|𝐽𝑔 (𝑡)| 𝑑𝑡

𝐾 𝑔−1 (𝐾)
Sea ahora {𝑠𝑘 } una sucesión creciente de funciones escalonadas no negativas
convergente casi en todo 𝐾 hacia la función superior 𝑓. Entonces

∫ 𝑠(𝒙) 𝑑𝑥 ≤ ∫ 𝑠[𝑔(𝑡)]|𝐽𝑔 (𝑡)| 𝑑𝑡

𝐾 𝑔−1 (𝐾)
se verifica para cada 𝑠𝑘 y si hacemos que 𝑘 → ∞ obtenemos

∫ 𝑓(𝒙) 𝑑𝑥 ≤ ∫ 𝑓[𝑔(𝑡)]|𝐽𝑔 (𝑡)| 𝑑𝑡

𝑔−1 (𝐾) 𝑔−1 (𝐾)
La existencia de la integral de la derecha se sigue del teorema de convergencia
acotada de Lebesgue puesto que tanto 𝑓[𝑔(𝑡)] como |𝐽𝑔 (𝑡)| están acotadas en
el conjunto compacto 𝑔−1 (𝐾).
Apostol, T. (1976). Integrales de Lebesgue Multiples. En T. Apostol, Analisis
Matematico (pág. 520). Barcelona: Reverte.

4. Sea (𝑿, 𝓢, 𝝁), un espacio de medida y sea (𝑷) una propiedad que puede o no tener
una función integrable. Asúmase que:

a) Si 𝒇 y 𝒈 son funciones integrables con la propiedad (𝑷), entonces

𝒇 + 𝒈 y 𝜶𝒇 para toda 𝜶 ∈ ℝ tienen la propiedad (𝑷).

b) Si 𝒇 es una función integrable de manera que para cada 𝝐 > 𝟎 existe

una función integrable 𝒈 con la propiedad (𝑷) satisface ∫|𝒇 − 𝒈|𝒅𝝁 <
𝝐, entonces 𝒇 tiene la propiedad (𝑷).

c) Para cada 𝑨 ∈ 𝓢 tal que 𝝁(𝑨) < ∞, la función característica 𝓧𝑨 tiene

la propiedad (𝑷).

Entonces, cada función integrable tiene la propiedad (𝑷).

Procedimientos y Resultados:
Supón primero que 𝐴 es una 𝜎 −álgebra tal que 𝜇 ∗ (𝐴) < ∞. Así, existe una sucesión
de conjuntos disjuntos {𝐴𝑛 } de 𝒮 tal que:
∞

𝐴 = ⋃ 𝐴𝑛
𝑛=1
Hacer:
∞

𝐵𝑛 = ⋃ 𝐴𝑘
𝑘=1

Para cada 𝑛 y nótese que 𝐵𝑛 ↑ 𝐴. De

∞

𝜒𝐵𝑛 = ∑ 𝜒𝐴𝑘
𝑘=1
y de los incisos (c) y (a), puedes ver que 𝜒𝐵𝑛 tiene la propiedad (𝑃) para cada 𝑛. Dada
∫|𝜒𝐴 − 𝜒𝐵 | 𝑑𝜇 = 𝜇 ∗ (𝐴) − 𝜇(𝐵𝑛 ) → 0
se deduce a partir de (b) que 𝜒𝐴 tiene a la propiedad (𝑃).
Después, supón que 𝐴 es un conjunto medible de medida finita y sea 𝜖 > 0. Entonces
Existe una 𝜎 −álgebra 𝐵 de medida finita tal que 𝐴 ⊆ 𝐵 y𝜇 ∗ (𝐵) < 𝜇 ∗ (𝐴) + 𝜖. Esto
implica:
∫|𝜒𝐴 − 𝜒𝐵 | 𝑑𝜇 = 𝜇 ∗ (𝐴) − 𝜇 ∗ (𝐵𝑛 ) → 0
De lo anterior y de (𝑏), se infiere que 𝜒𝐴 satisface la propiedad (𝑃).
Ahora, de (𝑎) observa que cada función escalonada satisface la propiedad (𝑃). Pero
entonces, se sigue de (𝑏) que toda función superior satisface la propiedad (𝑃). Dado que
cada función integrable es la diferencia de dos funciones superiores, usando (𝑎), se infiere
que en efecto cada función integrable satisface la propiedad (𝑃).

UNADM. (2019). Unidad 4. Integral de Lebesgue. En UNADM, Análisis Matemático II

(págs. 19-20). Mexico: UNADM.
Conclusión
La integral de Lebesgue es de alguna forma la generalización natural del
concepto de integral de funciones medibles en los conjuntos medibles. En esta
actividad practique los teoremas de integración de Lebesgue, que son una algo
complejos de una sola lectura pero estas son buenas para funciones definidas
en subconjuntos del espacio 𝑛 −dimensional 𝑹𝒏 siendo esta una clara de
integración múltiple de Riemann, pudiendo aplicar a funciones más generales
donde de alguna manera se puede obtener un concepto más claro de donde
funcionan un tipo de integrales u otras.