INTEGRAL

CARLOS ALBERTO PEÑA MIRANDA

Definición 4.1
Una función 𝜑𝜑: 𝑋𝑋 → ℝ es simple cuando su imagen 𝜑𝜑 𝑋𝑋 es un conjunto finito. Una función
simple puede ser representada de la siguiente forma

𝑛𝑛

𝜑𝜑 = � 𝑎𝑎𝑗𝑗 𝜒𝜒𝐸𝐸𝑗𝑗
𝑗𝑗=1

con 𝑎𝑎𝑗𝑗 ∈ ℝ y 𝜒𝜒𝐸𝐸𝑗𝑗 es la función característica del conjunto 𝐸𝐸𝑗𝑗 ∈ Σ.

Observación
Entre las representaciones para la función simple 𝜑𝜑 existe una única representación con todo
los 𝑎𝑎𝑗𝑗 distintos y todos los 𝐸𝐸𝑗𝑗 dos a dos disjuntos. Esta representación es llamada
representación estándar.

Observe que si 𝜑𝜑 𝑋𝑋 = {𝑎𝑎1 , 𝑎𝑎2 , … . , 𝑎𝑎𝑛𝑛 } con 𝑎𝑎1 , 𝑎𝑎2 , … . , 𝑎𝑎𝑛𝑛 distintos y si 𝐸𝐸𝑗𝑗 = {𝑥𝑥 ∈ 𝑋𝑋; 𝜑𝜑 𝑥𝑥 =
𝑎𝑎1 } entonces los conjuntos 𝐸𝐸𝑗𝑗 son dos a dos disjuntos y

𝑛𝑛

𝑋𝑋 = � 𝐸𝐸𝑗𝑗
𝑗𝑗=1
Definición 4.2
Sea 𝜑𝜑 una función simple en 𝑀𝑀+ 𝑋𝑋, Σ = {𝜓𝜓; 𝑓𝑓 medible y no negativa} es simple con la
representación estándar.

𝑛𝑛

𝜑𝜑 = � 𝑎𝑎𝑗𝑗 𝜒𝜒𝐸𝐸𝑗𝑗
𝑗𝑗=1

La integral de 𝜑𝜑 con relación a la medida 𝜇𝜇 es un numero real extendido definido por

𝑛𝑛

� 𝜑𝜑𝑑𝑑𝜇𝜇 = � 𝑎𝑎𝑗𝑗 𝜇𝜇 𝐸𝐸𝑗𝑗 … 4.2

𝑗𝑗=1
Comentario
La expresión (4.2) empleamos el convenio de 0 � +∞ = 0. Observe que el valor de la integral
de una función simple, medible y no negativa esta bien definida, ya que todo los 𝑎𝑎𝑗𝑗 son no
negativos y por esa razón no encontramos expresiones del tipo +∞ − +∞ .
Observación
Sea 𝑋𝑋 = ℝ, Σ el álgebra de Borel y 𝜇𝜇: 𝑩𝑩 → ℝ la medida de Borel. Si 𝐸𝐸 ∈ Σ y numerable
entonces la medida 𝜇𝜇 𝐸𝐸 = 0.
En efecto, como 𝐸𝐸 numerable entonces podemos representarlo de la forma
𝐸𝐸 = {𝑥𝑥1 , 𝑥𝑥2 , … . , 𝑥𝑥𝑛𝑛 }
Dado arbitrariamente 𝜀𝜀 > 0 podemos considerar la familia (𝐸𝐸𝑛𝑛 ) dado por
𝜀𝜀 𝜀𝜀
𝐸𝐸𝑛𝑛 = 𝑥𝑥𝑛𝑛 − , 𝑥𝑥𝑛𝑛 + ; ∀𝑛𝑛 ∈ ℕ
2𝑛𝑛+1 2𝑛𝑛+1
Luego,
+∞ +∞
1
0 ≤ 𝜇𝜇 𝐸𝐸 ≤ 𝜇𝜇 � 𝐸𝐸𝑛𝑛 = � 𝜇𝜇 𝐸𝐸𝑛𝑛 = 𝜀𝜀 � 𝑛𝑛 = 𝜀𝜀 , ∀𝜀𝜀 > 0
2
𝑛𝑛∈ℕ 𝑛𝑛=1 𝑛𝑛=1
Luego, 𝜇𝜇 𝐸𝐸 = 0.
Ejemplo 1( Función de Dirichlet)
Sea 𝑓𝑓: 𝟎𝟎, 𝟏𝟏 → ℝ definida por

1 si 𝑥𝑥 ∈ [0,1] ∩ (ℝ − ℚ)
𝑓𝑓 𝑥𝑥 = �
0 si 𝑥𝑥 ∈ 0,1 ∩ ℚ

Como
𝑓𝑓 = 0 � ℵ 0,1 ∩ℚ + 1 � ℵ[0,1]∩(ℝ−ℚ)
Luego,

� 𝑓𝑓 𝑑𝑑𝜇𝜇 = 0 � 𝜇𝜇 0,1 ∩ ℚ + 1 � 𝜇𝜇 [0,1] ∩ (ℝ − ℚ)

Ejemplo 1( Función de Dirichlet)
� 𝑓𝑓 𝑑𝑑𝜇𝜇 = 𝜇𝜇 [0,1] ∩ (ℝ − ℚ) …..(1)

Observamos
𝜇𝜇 [0,1] = 𝜇𝜇 ( 0,1 ∩ ℚ) ∪ [0,1] ∩ (ℝ − ℚ)
= 𝜇𝜇 0,1 ∩ ℚ + 𝜇𝜇 [0,1] ∩ (ℝ − ℚ)
= 𝜇𝜇 [0,1] ∩ (ℝ − ℚ) …..(2)
De (1) y (2) resulta

� 𝑓𝑓 𝑑𝑑𝜇𝜇 = 𝜇𝜇 [0,1] = 1− 0 0
Lema 4.1
Sean 𝜑𝜑, 𝜓𝜓 funciones simple en 𝑀𝑀+ 𝑋𝑋, Σ y 𝑐𝑐 ≥ 0.

a) � 𝑐𝑐𝜑𝜑𝑑𝑑𝜇𝜇 = 𝑐𝑐 � 𝜑𝜑𝑑𝑑𝜇𝜇

b) �(𝜑𝜑 + 𝜓𝜓)𝑑𝑑𝜇𝜇 = � 𝜑𝜑𝑑𝑑𝜇𝜇 + � 𝜓𝜓𝜓𝜓𝜇𝜇

c ) Si 𝜆𝜆: Σ → ℝ y definida por

𝜆𝜆 𝐸𝐸 = � 𝜑𝜑𝜒𝜒𝐸𝐸 𝑑𝑑𝜇𝜇

entonces 𝜆𝜆 es una medida.

Demostración del lema 4.1
a) Si 𝑐𝑐 = 0 entonces 𝑐𝑐𝜑𝜑 = 0

� 𝑐𝑐𝜑𝜑𝑑𝑑𝜇𝜇 = � 0𝑑𝑑𝜇𝜇 = 0 = 𝑐𝑐 � 𝜑𝜑𝑑𝑑𝜇𝜇

Si 𝑐𝑐 > 0 entonces la representación estándar de 𝑐𝑐𝜑𝜑 es

𝑛𝑛

𝑐𝑐𝜑𝜑 = � 𝑐𝑐𝑎𝑎𝑗𝑗 𝜒𝜒𝐸𝐸𝑗𝑗

𝑗𝑗=1
luego
𝑛𝑛 𝑛𝑛

� 𝑐𝑐𝜑𝜑𝑑𝑑𝜇𝜇 = � 𝑐𝑐𝑐𝑐𝑗𝑗 𝜇𝜇 𝐸𝐸𝑗𝑗 = 𝑐𝑐 � 𝑎𝑎𝑗𝑗 𝜇𝜇 𝐸𝐸𝑗𝑗 = 𝑐𝑐 � 𝜑𝜑𝑑𝑑𝜇𝜇

𝑗𝑗=1 𝑗𝑗=1
Demostración del lema 4.1
b) Consideremos para 𝜑𝜑 𝑦𝑦 𝜓𝜓 su representación estándar
𝑛𝑛 𝑚𝑚

𝜑𝜑 = � 𝑎𝑎𝑗𝑗 𝜒𝜒𝐸𝐸𝑗𝑗 y 𝜓𝜓 = � 𝑏𝑏𝑘𝑘 𝜒𝜒𝐹𝐹𝑘𝑘

𝑗𝑗=1 𝑘𝑘=1

sumando
𝑛𝑛 𝑛𝑛

𝜑𝜑 + 𝜓𝜓 = � � 𝑎𝑎𝑗𝑗 + 𝑏𝑏𝑘𝑘 𝜒𝜒𝐸𝐸𝑗𝑗 ∩𝐹𝐹𝑘𝑘 … . . (∗)

𝑗𝑗=1 𝑘𝑘=1

La representación (*) no necesariamente es una representación estándar, pues 𝑎𝑎𝑗𝑗 + 𝑏𝑏𝑘𝑘

podrían no ser diferentes.
Demostración del lema 4.1
Consideremos 𝑐𝑐ℎ con ℎ = 1,2, . . , 𝑝𝑝 números distintos del conjunto

𝑎𝑎𝑗𝑗 + 𝑏𝑏𝑘𝑘 ; 𝑗𝑗 = 1,2, . . , 𝑛𝑛 ; 𝑘𝑘 = 1,2, . . , 𝑚𝑚

y consideremos

𝐺𝐺ℎ = � 𝐸𝐸𝑗𝑗 ∩ 𝐹𝐹𝑘𝑘

Además
𝜇𝜇(𝐺𝐺ℎ ) = � 𝜇𝜇(𝐸𝐸𝑗𝑗 ∩ 𝐹𝐹𝑘𝑘 )
ℎ
.
Demostración del lema 4.1
Observe
𝑚𝑚 𝑚𝑚 𝑚𝑚

𝜇𝜇(𝐸𝐸𝑗𝑗 ) = 𝜇𝜇(𝐸𝐸𝑗𝑗 ∩ 𝑋𝑋) = 𝜇𝜇 𝐸𝐸𝑗𝑗 ∩ � 𝐹𝐹𝑘𝑘 = 𝜇𝜇 � 𝐸𝐸𝑗𝑗 ∩ 𝐹𝐹𝑘𝑘 = � 𝜇𝜇(𝐸𝐸𝑗𝑗 ∩ 𝐹𝐹𝑘𝑘 )

𝑘𝑘=1 𝑘𝑘=1 𝑘𝑘=1
Luego
𝑛𝑛

�(𝜑𝜑 + 𝜓𝜓)𝑑𝑑𝜇𝜇 = � 𝑐𝑐ℎ 𝜇𝜇(𝐺𝐺ℎ )

𝑗𝑗=1
Demostración del lema 4.1
c ) Como
𝑛𝑛

𝜑𝜑𝜒𝜒𝐸𝐸 = � 𝑎𝑎𝑗𝑗 𝜒𝜒𝐸𝐸𝑗𝑗 ∩𝐸𝐸

𝑗𝑗=1
Como
𝑛𝑛 𝑛𝑛 𝑛𝑛

𝜆𝜆 𝐸𝐸 = � 𝜑𝜑𝜒𝜒𝐸𝐸 𝑑𝑑𝜇𝜇 = � � 𝑎𝑎𝑗𝑗 𝜒𝜒𝐸𝐸𝑗𝑗 ∩𝐸𝐸 𝑑𝑑 = � 𝑎𝑎𝑗𝑗 � 𝜒𝜒𝐸𝐸𝑗𝑗 ∩𝐸𝐸 𝑑𝑑𝜇𝜇 = � 𝑎𝑎𝑗𝑗 𝜇𝜇(𝐸𝐸𝑗𝑗 ∩ 𝐸𝐸)
𝑗𝑗=1 𝑗𝑗=1 𝑗𝑗=1

Como 𝜇𝜇 es una medida y 𝐸𝐸𝑗𝑗 ∈ Σ entonces 𝜇𝜇𝑗𝑗 : Σ → ℝ definida por 𝜇𝜇𝑗𝑗 𝐸𝐸 = 𝜇𝜇(𝐸𝐸𝑗𝑗 ∩ 𝐸𝐸) es
medida. Luego, 𝜆𝜆 es una medida.
Definición 4.2
Sea 𝑓𝑓 ∈ 𝑀𝑀+ 𝑋𝑋, Σ . La integral de 𝑓𝑓 con relación a la medida 𝜇𝜇 es un numero real extendido
dado por

� 𝑓𝑓 𝑑𝑑𝜇𝜇 = sup � 𝜑𝜑 𝑑𝑑𝜇𝜇

donde el supremo es extendido a todas las funciones simples 𝜑𝜑 ∈ 𝑀𝑀+ 𝑋𝑋, Σ verificando
0 ≤ 𝜑𝜑 𝑥𝑥 ≤ 𝑓𝑓 𝑥𝑥 , ∀𝑥𝑥 ∈ 𝑋𝑋.
Es decir,

� 𝑓𝑓𝑓𝑓𝜇𝜇 = sup � 𝜑𝜑 𝑑𝑑𝜇𝜇 ; 𝜑𝜑 ∈ 𝑀𝑀+ 𝑋𝑋, Σ simple y 𝜑𝜑 𝑥𝑥 ≤ 𝑓𝑓 𝑥𝑥

Definición 4.2
Sea 𝑓𝑓 ∈ 𝑀𝑀+ 𝑋𝑋, Σ y 𝐸𝐸 ∈ Σ. Definimos la integral de 𝑓𝑓 sobre 𝐸𝐸 con relación a la medida 𝜇𝜇 por

� 𝑓𝑓𝑑𝑑𝜇𝜇 = � 𝑓𝑓𝜒𝜒𝐸𝐸 𝑑𝑑𝜇𝜇

𝐸𝐸

Observamos que 𝑓𝑓𝜒𝜒𝐸𝐸 ∈ 𝑀𝑀+ 𝑋𝑋, Σ .

Lema 4.5
a) Sea 𝑓𝑓, 𝑔𝑔 ∈ 𝑀𝑀+ 𝑋𝑋, Σ . Si𝑓𝑓 ≤ 𝑔𝑔. Entonces

� 𝑓𝑓𝑓𝑓𝜇𝜇 ≤ � 𝑔𝑔 𝑑𝑑𝜇𝜇

Demostración.

� 𝑓𝑓𝑓𝑓𝜇𝜇 = sup � 𝜑𝜑 𝑑𝑑𝜇𝜇 ; 𝜑𝜑 ∈ 𝑀𝑀+ 𝑋𝑋, Σ simple y 𝜑𝜑 𝑥𝑥 ≤ 𝑓𝑓 𝑥𝑥

≤ sup � 𝜑𝜑 𝑑𝑑𝜇𝜇 ; 𝜑𝜑 ∈ 𝑀𝑀+ 𝑋𝑋, Σ simple y 𝜑𝜑 𝑥𝑥 ≤ 𝑔𝑔 𝑥𝑥