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: 4 Actividad: 2
Fecha: 31/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.
T.M.Apostol. (2006). Análisis Matemático. Barcelona: Reverté, S.A.

Ejercicios a resolver:
1.- Demuestre lo siguiente: Sea  : n → n una transformación lineal de
coordenadas. Si existe la integral de Lebesgue  n f ( x)dx , entonces también
existe la integral de Lebesgue   (t ) J (t ) dt
n
y amabas integrales son iguales.
2.- Demuestre lo siguiente: Sea  : n
→ n una transformación lineal de
coordenadas. Si A es un subconjunto de n
con medida de Lebesgue  ( A) finita,
entonces  ( A) tiene tambien medida de Lebesgue finita y   ( A)  = det   ( A)
3.- Sea K un cubo compacto de g (T ) . Entones para cada función superior no
negativa f acotada en K , la integral  f  g (t ) J g (t )dt existe, y se tiene la
g −1 ( K )

desigualdad  f ( x)dx   f  g (t )  J g (t )dt

K g −1 ( K )

4.- Sea ( X ,  ,  ) 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 (𝑃).
 Práctica de ejercicios
b) Si 𝑓 es una función integrable de manera que para cada 𝜖>0 existe una función
integrable 𝑔 con la propiedad (𝑃) satisface  f − g d    , 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:
1.- Demuestre lo siguiente: Sea  : n → n una transformación lineal de
coordenadas. Si existe la integral de Lebesgue  n f ( x)dx , entonces
también existe la integral de Lebesgue   (t ) J (t ) dt
n
y amabas integrales
son iguales.
Ante todo, obsérvese que si el teorema es cierto para 𝛼 y 𝛽, entonces también
es cierto para la función compuesta 𝛾 = 𝛼 ∘ 𝛽 puesto que:

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

▯𝑛 ▯𝑛 ▯𝑛

= ∫ 𝑓[𝛾(𝑡)]|𝐽𝛾 (𝑡)|𝑑𝑡
▯𝑛

Ya que 𝐽𝛾 (𝑡) = 𝐽𝛼 [𝛽(𝑡)]𝐽𝛽 (𝑡)

Por consiguiente, puesto que toda transformación no singular 𝛼 es una
composición de transformaciones elementales, es suficiente demostrar para
cada transformación elemental, también se supone que 𝑓 ≥ 0.
Supongamos que 𝛼 es del tipo a. A fin de simplificar, suponemos que 𝛼 multiplica
la última componente de 𝑡 por un escalar no nulo 𝜆, esto es
𝛼(𝑡1 , … , 𝑡𝑛−1 , 𝑡𝑛 ) = (𝑡1 , … , 𝑡𝑛−1 , 𝜆𝑡𝑛 )
Entonces |𝐽𝛼 (𝑡)| = |det 𝛼| = |𝜆|. 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 sobre ▯1 . Para la integral sobre ▯1 ,
por lo que obtenemos:
∞
∫ 𝑓(𝑥)𝑑𝑥 = ∫ [∫ 𝑓(𝑥1 , … , 𝑥𝑛 )𝑑𝑥𝑛 ] 𝑑𝑥1 ∙∙∙ 𝑑𝑥𝑛−1
▯𝑛 ▯𝑛−1 −∞
∞
=∫ [|𝜆| ∫ 𝑓(𝑥1 , … , 𝑥𝑛−1 , 𝜆𝑡𝑛 )𝑑𝑡𝑛 ] 𝑑𝑥1 ∙∙∙ 𝑑𝑥𝑛−1
▯𝑛−1 −∞
 Práctica de ejercicios
∞
=∫ [∫ 𝑓[𝛼(𝑡)]|𝐽𝛼 (𝑡)|𝑑𝑡𝑛 ] 𝑑𝑡1 ∙∙∙ 𝑑𝑡𝑛−1 = ∫ 𝑓[𝛼(𝑡)]|𝐽𝛼 (𝑡)|𝑑𝑡
▯𝑛−1 −∞ ▯𝑛

en el último paso hemos utilizado el teorema de Tonelli-Hobson. Esto prueba el

teorema si 𝛼 es del tipo 𝑎. Si 𝛼 es del tipo 𝑏 la demostración es análoga. Para
este caso |𝐽𝛼 (𝑡)| = 1. Finalmente, si 𝛼 es del tipo 𝑐 se utiliza solamente el
teorema de Fubini para intercambiar el orden de integración sobre las
coordenadas 𝑖-ésima y 𝑗-ésima. De nuevo, en este caso |𝐽𝛼 (𝑡)| = 1.

2.- Demuestre lo siguiente: Sea  : n → n una transformación lineal de

coordenadas. Si A es un subconjunto de n con medida de Lebesgue  ( A)
finita, entonces  ( A) tiene también medida de Lebesgue finita y
  ( A)  = det   ( A)
Escribiendo 𝐴 = 𝛼 −1 (𝐵), para la cual 𝐵 = 𝛼(𝐴). Debido a que 𝛼 −1 también es
una transformación lineal de coordenadas, entonces obtenemos:

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

𝐴 𝛼 −1 (𝐵) 𝐵

Con lo que se comprueba

𝜇(𝐴) = |det(𝛼 −1 )|𝜇(𝐵)
Debido a que 𝐵 = 𝛼(𝐴) y por último
det(𝛼 −1 ) = (det(𝛼))−1
Entonces
𝜇(𝐴) = |det(𝛼 −1 )|𝜇(𝐵) = |(det(𝛼))−1 |𝜇(𝐵) = |det(𝛼)|−1 𝜇(𝐵)
𝜇(𝐴)|det(𝛼)| = 𝜇(𝐵) = 𝜇(𝛼(𝐴))
Terminando la demostración.

3.- Sea K un cubo compacto de g (T ) . Entones para cada función superior

no negativa f acotada en K , la integral  f  g (t ) J g (t )dt existe, y se
g −1 ( K )

tiene la desigualdad  f ( x)dx   f  g (t )  J g (t )dt

K g −1 ( K )

Sea 𝑠 una función escalonada no negativa en 𝐾. Entonces existe una partición

de 𝐾 constituida de un número finito de cubos 𝐾1 , … , 𝐾𝑟 , tal que 𝑠 es constante
en el interior de cada 𝐾𝑖 , es decir que para 𝑠(𝑥) = 𝑎𝑖 ≥ 0 si 𝑥 ∈ 𝑖𝑛𝑡(𝐾𝑖 ), aplicando

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

𝑔−1 (𝐾)
 Práctica de ejercicios
Para cada cubo 𝐾𝑖 multiplicamos por 𝑎𝑖 y después sumamos, obteniendo así

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

𝐾 𝑔−1 (𝐾)

De tal manera que ahora {𝑠𝑘 } es una sucesión creciente de funciones

escalonadas no negativas convergente casi en todo 𝐾 hacia la función superior
𝑓. Entonces se verifica para cada 𝑠𝑘 , y si se convierte 𝑘 → ∞ se obtiene:

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

𝐾 𝑔−1 (𝐾)

De tal manera que la existencia de la integral de la derecha sigue el teorema de

convergencia acotada de Lebesgue puesto que tanto 𝑓[𝑔(𝑡)] como |𝐽𝑔 (𝑡)| se
encuentran acotadas en el conjunto compacto 𝑔−1 (𝐾).

4.- Sea ( X ,  ,  ) 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 𝜖>0 existe una
función integrable 𝑔 con la propiedad (𝑃) satisface  f − g d    , 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 (𝑃).

Suponiendo que 𝐴 es un 𝜎-álgebra tal que:

𝜇∗ (𝐴) < ∞
De tal manera que existe una sucesión de conjuntos disjuntos {𝐴𝑛 } de 𝛿 tales
que:
∞

𝐴 = ⋃ 𝐴𝑛
𝑛=1

Haciendo
∞

𝐵𝑛 = ⋃ 𝐴𝑘
𝑘=1
 Práctica de ejercicios
Para cada n y tomando en cuenta que 𝐵𝑛 ↑ 𝐴.
Por medio de
∞

𝑋𝐵𝑛 = ∑ 𝑋𝐴𝑘
𝑘=1

De los incisos (c) y (a), se puede notar que 𝑋𝐵𝑛 tiene la propiedad (𝑃) para cada
𝑛. Dado que:

∫|𝑋𝐴 − 𝑋𝐵𝑛 | 𝑑𝜇 = 𝜇∗ (𝐴) − 𝜇(𝐵𝑛 ) → 0

Se deduce a partir del inciso (b) que 𝑋𝐴 tiene la propiedad (P).

Después, partimos de la suposición de que 𝐴 es un conjunto medible de medida
finita y siendo 𝜀 > 0. Entonces existe una 𝜎-álgebra 𝐵 de medida finita tal que:
𝐴 ⊆ 𝐵 𝑦 𝜇∗ (𝐵) < 𝜇(𝐴) + 𝜀
Lo cual implica que:

∫|𝑋𝐴 − 𝑋𝐵 | 𝑑𝜇 = 𝜇∗ (𝐴) < 𝜀

Con lo descrito anteriormente y dado el inciso (𝑏), se tiene que 𝑋𝐴 satisface la

propiedad (𝑃). Ahora bien, del inciso (𝑎) se puede observar que cada función
escalonada satisface la propiedad (𝑃). Pero entonces, se sigue del inciso (𝑏) que
toda función superior satisface la propiedad (𝑃). Debido a que cada función
integrable es la diferencia de 2 funciones superiores, haciendo uso del inciso (𝑎),
se infiere que en efecto cada función integrable satisface la propiedad (𝑃).

Conclusiones:
En esta actividad 2, se realizaron demostraciones de teoremas importantes a la
hora de aplicar la integral de Lebesgue; el primero de ellos es que el resultado
de una integral es el mismo cuando se aplica una transformación lineal de
coordenadas, lo cual es fundamental, ya que el cambio de coordenadas es una
de las herramientas más utilizada en el cálculo. El segundo teorema se relaciona
con el primero ya que, si un conjunto A tiene medida finita, y se le aplica una
transformación lineal de coordenadas, la medida del resultado se asegura que
sea finita, además de establecer una relación mediante una ecuación de estas.
La tercer demostración establece una desigualdad para un cubo compacto y
 Práctica de ejercicios
finalmente el teorema 4 establece las condiciones para que propiedades de
funciones integrables hereden o no esa propiedad.
Esta práctica de ejercicios se considera satisfactoria y se seguirá trabajando en
torno a la integral de Lebesgue.