Práctica de ejercicios

Nombre: Matrícula:
Arturo Nava Ayala ES1511114073
Nombre del curso: Nombre del profesor:
Análisis Matemático II Braulio Samuel Colmenero Mejía

Unidad: 4 Actividad: 1

Fecha: 23 de agosto de 2021.

Bibliografía:
Análisis matemático II. Unidad 3.Integral de Riemann Stieltjes. Universidad
Abierta y a Distancia de México.

https://youtu.be/rs1quyYHmIE
 Práctica de ejercicios
Indicaciones:

1. La finalidad de esta actividad es comparar la integral de Riemann, con la integral de

Lebesgue, e Identificar las diferencias y similitudes entre las dos definiciones. Para
ello.

¿Qué relación se puede establecer entre las funciones Riemann integrables y las
funciones Lebesgue integrables?

2. A partir de las definiciones y tu respuesta, realiza un análisis sobre el impacto que

tienen los refinamientos sobre las particiones en el dominio en cada Integral la de
Riemann y la de Lebesgue. El análisis debe incluir la condición de medibilidad en el
caso de la Integral de Lebesgue.

3. Establece y analiza las condiciones de integrabilidad en cada caso para funciones

acotadas e integrabilidad de sucesiones de funciones monótonamente crecientes.

Haciendo un poco de historia, revisamos que el cálculo que nace con Newton-Leibniz
se ocupar de dos problemas fundamentales:

Encontrar la pendiente de la recta tangente a la curva de una función y encontrar el

área delimitada por la misma curva el eje x en un intervalo dado.

Más tarde Fourier contribuye afirmando que una función arbitraria definida y acotada
en el intervalo ⟦ ⟧ puede ser representada mediante una serie trigonométrica de la
forma:

( ) ∑[ ]
 Práctica de ejercicios

Posteriormente Cauchy trata el problema de definir la integral, primero para funciones

continuas y después para funciones discontinuas. Formula la siguiente definición para
una función continua en el intervalo , - que más tarde serían las sumas de
Riemann

∑ ( )( )

Cuando hacemos tender a infinito, los intervalos ( ) se hacen más

pequeños y entonces encontramos un valor que se define como la integral de en ese
intervalo:

∫ ( )

Cauchy consideró funciones discontinuas:

Si una función es continua en un intervalo , - excepto en un punto , en una
vecindad. Entonces puede ser acotada o no.
Se puede definir la integral de como el límite:

[∫ ( ) ∫ ( ) ]

Por fin, años más tarde Riemman plantea una definición general de la integral para
cualquier función y se aboca al problema de caracterizar a las funciones para las
cuales la integral está definida.

Si es una función continua en un intervalo cerrado , -, decimo que es integrable

en este intervalo si hay un número denotado por

∫ ( ) ∑ ( )
| |
 Práctica de ejercicios

Otra forma de definir la integral de Riemann.

Definamos lo siguiente:
Llamamos partición ( ) de un intervalo cerrado , - a una sucesión de puntos finita y
ordenada, donde el primer término es y el último término es , de tal forma que
obtendríamos:

Se definen las siguientes sumas

La suma inferior:

( ) ∑ ( ) * ( ) , -+

La suma superior de:

( ) ∑ ( ) * ( ) , -+

Entonces decimos que cuando el extremo inferior del conjunto de las sumas
superiores coincide con el extremo superior del conjunto de las sumas inferiores la
función es Riemann integrable o que es una integral de Riemann.

Esta definición parecía suficiente para integrar todas las funciones conocidas. Sin
embargo, se encontró que ciertas funciones no eran Riemann-integrables. Por ejemplo
ciertas funciones discontinuas o no continuas o funciones de dimensiones superiores.

Una de ellas es la función característica o la función de Dirichlet:

( ) {
 Práctica de ejercicios

La integral de Lebesgue.

Años más tarde, Lebesgue aborda el problema de las funciones que no son Riemann
integrables y extiende el concepto de integral para funciones discontinuas.

La diferencia conceptual entre la integral de Riemann y la de Lebesgue, se puede

observar gráficamente de la siguiente manera:

Integral de Riemann (tenemos rectángulos verticales)

Integral de Lebesgue (tenemos rectángulos horizontales)

 Práctica de ejercicios

Vuelvo a citar el siguiente párrafo atribuido a Lebesgue.

“Yo tengo que pagar cierta suma, la cual he reunido en mi bolsillo. Entonces saco los
billetes y las monedas de mi bolsillo y se las doy a mi acreedor en el orden en el que
las voy encontrando hasta que alcanzo la suma total. Esta es la Integral de Riemman.

Pero puedo proceder de manera distinta. Después de que he tomado todo el dinero
fuera de mi bolsillo, ordeno los billetes y las monedas de acuerdo a su valor y
entonces pago los distintos montones uno después de otro al acreedor. Esta es mi
integral.”
Henri Lebesgue.

¿Qué hace más general a la integral de Lebesgue?

He entendido que el hecho de integrar sobre conjuntos medibles. Entonces es
necesario saber y entender el concepto de medida de Lebesgue:

Además queremos
Diremos que m es que
una medida aditiva ∪𝐸 𝑙
𝔐 debe ser una 𝜎 numerable si es
álgebra de una función ∑ 𝐸 La medida de un
conjuntos de ℝ definida en los intervalo coincide
reales extendidos con su longitud.
Si 𝐸 es una
cuyo dominio es 𝔐 sucesión de
conjuntos disjuntos

Quizá como dijo Henri Lebsegue: “ su integral solo es una forma más ordenada de
pagar”.

He visto un concepto muy interesante en esta materia. No me refiero a la integral en sí

misma, sino al hecho de que el proceso de integración ha ido evolucionando desde las
fluxiones de Newton y su proceso inverso (sumatorias infinitas), a la sumatoria de
Cauchy, a la de Riemann, a la de Riemann-Stieltjes y ahora a la integral de Lebesgue.

De lo visto en los videos y lo leído en el contenido, puedo decir que el proceso de

integración alcanza un nivel de formalidad y generalización como nunca. Esto sucede
por el hecho de que la función integradora en la integral de Riemann-Stieltjes ahora
debe ser un conjunto medible.
 Práctica de ejercicios

Entonces podemos ahora integrar funciones que incluso no son continuas en una
gran número de discontinuidades.

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”.

Sabemos por ejemplo que la medida de Lebesgue de un intervalo corresponde a la

longitud del mismo. Es decir:
( )

Y esto se generaliza a la medida de Lebesgue de un conjunto abierto ∪( ), el

cual se define como la suma de las longitudes de estos intervalos:

( ) ∑( )

En resumen.
Con el concepto de medida de Lebesgue se puede definir la integral de Lebesgue.

Si tomamos la definición de función simple como aquella que solo toma finitamente
muchos valores distintos. Por ejemplo.

( ) 𝑙
{
𝑙

Es simple porque solo toma los valores 0 y 1.

 Práctica de ejercicios

Un ejemplo de función que no es simple es la función piso:

( ) ⌊ ⌋

No es simple porque puede adquirir cualquier valor de , de los cuales hay un número
infinito.

De esto podemos desprender un corolario:

Cualquier función simple positiva puede escribirse como una combinación lineal de
funciones características de conjuntos. Es decir:

Cuya integral de Lebesgue es

∫ ( ) ( )

Se debe agregar que si toma valores positivos y negativos, se puede dividir en una
parte positiva y otra negativa:

Y luego estas partes se pueden integrar por separado.

Entonces otra definición de la integral de Lebesgue es:

∫ ∫

En donde es simple.

Entonces podemos decir que la integral de Lebesgue se define de forma intuitiva para
funciones simples y luego se extiende a funciones generales aproximadas con
funciones simples.
 Práctica de ejercicios

De todo lo anterior, se desprende una relación entre la Riemann-integración y la

Lebesgue-integración.

Si una función está definida en toda la recta o en un segmento de ella, la integral de

Riemann solo puede existir en el sentido impropio. Pero si esta integral converge
absolutamente, esto implica que la integral de Lebesgue también existe y tiene el
mismo valor.

Sin embargo, si la integral de Riemann solo converge, esto implica que no es

integrable en el sentido de Lebesgue.
Por ejemplo

( )

Según la integral de Lebesgue

∫ | |

Pero la integral impropia de Riemann obtiene:

∫ | |

Ref: https://youtu.be/rs1quyYHmIE

Finalmente quisiera plantear la siguiente pregunta.

¿Es correcto pensar que la integral de Lebesgue es el concepto más general de

integración que podamos encontrar?

Se dice que la integral de Lebesgue generaliza el alcance de la integral de Riemann.

¿Es correcto pensar que generaliza a la integral de Riemann-Stieltjes?
Práctica de ejercicios