Medida e Integral de Lebesgue

Natalia Son Vargas Cód.:20141127955

Heidy Soto García Cód.:20151134882

www.usco.edu.co

Vigilada MinEducación
 Introducción
La definición de integral que normalmente se estudió en el curso de cálculo integral se
debe a las matemáticos Cauchy y Riemann, mientras Cauchy restringía la integrabilidad a
funciones continuas, Riemann daba una condición necesaria y suficiente para la
integrabilidad de una función.
Tras las contradicciones que la noción de integral de Riemann tenia Camille Jordan busco
una solución a estos problemas a través de la noción de contenido el cual a pesar de ser
bastante frágil perfilo el problema en la dirección de una teoría abstracta de la medida que
empieza a perfilarse en los trabajos de Emile Borel. Este es justamente el punto de partida
de Lebesgue.
La teoría de integración de Lebesgue extendió la teoría de Riemann a una clase más
amplia de funciones, el intercambio de limite y la integral son válidos bajo condiciones más
generales que las requeridas por la integral de Riemann
A continuación antes de entrar a la teoría de la integral de Lebesgue se hablara de la
medida de Lebesgue.
 La medida de Lebesgue
Medida
• de intervalos
 Dados dos números reales a y b , tales que , la medida o longitud de cualquier intervalo
lineal J

 Si y son dos intervalos lineales disjuntos cuya unión es el intervalo entonces

 Si son intervalos lineales tales que , la medida o volumen de se define por medio de la
fórmula

• Teorema: Si el intervalo es la unión de los intervalos disjuntos , entonces

Si , la única manera de descomponer el intervalo

Como unión de conjuntos de dos intervalos disjuntos es dividir unos de sus lados en dos
intervalos disjuntos y . Sea k=1 tendremos:
y
donde
Medida
• de Conjuntos elementales
Si el conjunto elemental A del espacio R es la unión de los intervalos disjuntos de dicho
espacio, llamaremos medida de A al número

Ahora si es otra sucesión finita de intervalos disjuntos cuya unión es A, entonces cada intervalo
de la descomposición anterior es la unión de los intervalos disjuntos y análogamente, cada
intervalo es la unión de los intervalos disjuntos , y en virtud del teorema anterior
•
Propiedades de conjuntos elementales
 Si el conjunto elemental A es la unión de los conjuntos elementales disjuntos entonces

 Si el conjunto elemental A esta contenido en el conjunto elemental B , entonces

(B − A) = (B) − (A) ; en particular, (A) ≤ (B) .

 Si A y B son conjuntos elementales, entonces (A ∪ B ) + (A ∩ B ) = (A) + (B) ; en particular,

(A ∪ B ) ≤ (A ) + (B ) .

 Si son conjuntos elementales cualesquiera, entonces

 Si I es un intervalo, entonces para cada , existen un intervalo cerrado H I y un intervalo
• abierto J ⊃ I , tales que
,
 Si A es un conjunto elemental, entonces, para cada , existen un conjunto elemental
cerrado C ⊂ A y un conjunto elemental abierto B ⊃ A, tales que
,
 Teorema. Si un conjunto elemental A esta contenido en la unión de una sucesión de
conjuntos elementales (k = 1, 2, 3 . . .) , entonces

Supongamos pues, que dicha serie es convergente. Dado , existe un conjunto elemental
cerrado C ⊂ A, tal que . Por otra parte, para cada índice k , existe un conjunto elemental
abierto ⊃, tal que . Además, las inclusiones
•muestran que los conjuntos abiertos forman un cubrimiento del conjunto cerrado y acotado C .
Puesto que C es compacto, existe un entero positivo s , tal que y por consiguiente,

En vista de que el número ha sido elegido en forma arbitraria, la desigualdad del enunciado se
obtiene haciendo que ε tienda a cero.
 Si el conjunto elemental A es la unión de una sucesión de conjuntos elementales (k = 1,
2, 3 . . .) , disjuntos dos a dos, entonces
•
Conjuntos σ -elementales.
Diremos que un conjunto U es σ -elemental si existe una sucesión de conjuntos
elementales
(k = 1, 2, 3 . . .), disjuntos dos a dos, tal que

La medida del conjunto σ -elemental U se define por la fórmula

de modo que es un elemento no negativo de la recta extendida (posiblemente igual a ).

•
Propiedades de Conjuntos σ-elementales.
 La unión de cualquier sucesión de conjuntos elementales es un conjunto -elemental.
 La unión de cualquier sucesión de conjuntos -elementales es un conjunto -elemental. La
intersección de dos conjuntos -elementales es un conjunto -elemental.
 Todo conjunto abierto es un conjunto -elemental.
 Si el conjunto -elemental U esta contenido en la unión de una sucesión de conjuntos
–elementales (k = 1, 2, 3 . . .), entonces

Definición: Diremos que una función definida sobre una clase de conjuntos C es
-aditiva, si para cada sucesión disjunta () de miembros de cuya unión pertenezca a , se
verifica
•
Medida exterior de Lebesgue
Para cada subconjunto E del espacio , definimos la medida exterior de E por medio de la fórmula

De la definición se deduce que para cada numero , existe un conjunto -elemental U que contiene a E , tal
que .

Propiedades de la medida exterior

 la relación implica

 si V es un conjunto -elemental, entonces

 si son dos conjuntos con medida exterior finita, denotando por la diferencia simétrica, se verifica
 Si () es una sucesión de conjuntos con medida exterior finita, tal que tiende a cero cuando tiende a
infinito, entonces la medida exterior de es finita, y además,
.
•
Conjuntos medibles
Diremos que un subconjunto E del espacio es medible, si para cada número , existe un
conjunto σ -elemental U , tal que
y

Es inmediato de la definición:
 Todo conjunto σ -elemental es medible, pues si U es σ -elemental y ε un número
positivo, entonces U ⊂ U y = = 0 < ε .
 Todo conjunto de medida exterior nula es medible, pues si = 0 , entonces para cada ε
> 0 , existe un conjunto σ -elemental U que contiene a E y verifica (U ) < ε . Luego, ≤
(U ) < ε, lo cual muestra que E es medible.
•
Propiedades de conjuntos medibles
 La unión de cualquier sucesión de conjuntos medibles es un conjunto medible. La
intersección de dos conjuntos medibles es medible.

Definición. Diremos que el conjunto E es finitamente medible si es medible y su medida

(E ) es finita.
 Las siguientes afirmaciones son equivalentes:
(1) El conjunto E es finitamente medible
(2) Para cada numero ε > 0 , existe un conjunto elemental A, tal que < ε .
la afirmación (2) es equivalente al siguiente enunciado:
( 2′ ) Existe una sucesión () de conjuntos elementales, tal que tiende a cero cuando tiende
a infinito.
•
Definición. Diremos que una sucesión () de conjuntos con medida exterior finita converge
al conjunto , y escribiremos → , → 0 cuando → ∞.
Con la ayuda de esta definición, (2’) se puede expresar
(2′′ ) Existe una sucesión de conjuntos elementales () , tal que → E ;

 El conjunto E es finitamente medible si y solo si existe una sucesión de conjuntos

elementales () , tal que→ E .
 Si E y F son conjuntos medibles, entonces E − F es medible.
 El complemento de cada conjunto medible es medible.
 La intersección de cualquier sucesión de conjuntos medibles es un conjunto medible.
•
Teorema. Si el conjunto E es la unión de una sucesión () formada por conjuntos medibles
disjuntos, entonces

En el caso que estamos considerando, tendremos

Por otra parte, para cada entero positivo N

De modo que haciendo que N tienda a infinito, resulta la relación

Por lo tanto queda demostrado.

•
Conjuntos de medida nula.
Si Z es un subconjunto de que verifica entonces Z es medible y podemos escribir . Tales
conjuntos se llaman conjuntos de medida nula.
Si es una sucesión de conjuntos de medida nula, llamando a la unión de todos los ,
tendremos

Después de tener en cuenta esta definición, tenemos:

 Cualquier unión numerable de conjuntos de medida nula, es también un conjunto de
medida nula.
 Todo conjunto numerable tiene medida cero :
•
Como sabemos que los conjuntos numerable son de medida cero y entre ellos se
destacan .
También se debe tener en cuenta que por lo tanto es de medida no cero.

 Para tener medida cero no hace falta ser numerable:

En el caso de la recta (n = 1) , el conjunto de Cantor tiene medida nula, pues para cada
entero positivo , esta contenido en un conjunto elemental que es la unión de intervalos
cerrados disjuntos de longitud , de donde se sigue que
,
de modo que haciendo que k tienda a infinito, resulta
Lebesgue, Henri Léon (1875-1941).
Matemático francés, nacido en Beauvais (Osie) el 28 de Junio de 1875 y fallecido en París el
26 de Julio de 1941, que introdujo la integral de Lebesgue y que, junto con Borel, construyó la
teoría moderna de funciones de variable real.
A partir de los resultados de Borel y Jordan, en 1901 Lebesgue formuló la teoría de la medida y
un año después, en su tesis presentada en Nancy "Intégrale, longueur, aire", introdujo una
nueva herramienta que supuso un avance muy importante en el análisis moderno y
especialmente en el análisis de Fourier (véase Series de Fourier): la integral de Lebesgue, que
generalizaría el concepto de integral de Riemman y solucionaría las inconsistencias que ésta
poseía. Además, Lebesgue contribuyó de manera decisiva en la teoría de potenciales y son
también destacables sus aportaciones en topología.
¿En que consistía la integral de Lebesgue?

Alguna vez Lebesgue escribió: ”Es claro que se debe iniciar

partiendo [c, d] en lugar de [a, b],..”.En efecto, en contraposición
con la integral de Riemann, en la cual se inicia partiendo el
dominio de la función, Lebesgue propuso iniciar partiendo el
rango de la función que se desea integrar. Podemos ilustrar la
diferencia entre estos dos procedimientos con una analogía
propuesta por el mismo Lebesgue: si en un paquete se tienen
billetes de las siguiente denominaciones {0,10, 1, 0,50, 100, 20,
0,10, 2, 500, 20, 10, 100, 0,50}, de acuerdo con Riemann se
contarían agrupando los primeros tres, después los cuatro
siguientes y finalmente los últimos cinco para obtener 1,60 +
122,10 + 630,50 = 754,20. Pero de acuerdo con el procedimiento
propuesto por Lebesgue los contaríamos agrupándolos de
acuerdo a sus valores, así:
0,10×2+0,50×2+20×2+100×2+2+500+1+10 =754,20.
•
¿ Por qué una nueva integral ?

Hacia finales del siglo XIX resultó claro para muchos matemáticos, que la integral de Riemann
tiene importantes limitaciones, tales como que
1. El conjunto de funciones integrables es relativamente pequeño:
Hay funciones sencillas que no son integrables. Recuérdese por ejemplo que la función de
Dirichlet, esto es, la función , definida por:

no es integrable en el sentido de Riemann.

•
2. El espacio de funciones Riemann-integrables no es completo Si es una sucesión de
funciones Riemann-integrables, el Limite no es necesariamente Riemann-integrable.
Ejemplo: sea una enumeración de los racionales de [0,1], entonces con es Riemann-
integrable y se tiene para todo n.
Pero =...que no es Riemann-integrable por el punto anterior.
3. Mal comportamiento respecto al lımite Si suponemos que el lımite de una sucesión de
funciones es Riemann-integrable, tampoco se tiene siempre la identidad Para poder
intercambiar los signos “” y “ es necesario que la sucesión converja uniformemente hacia f.
•
La integral de Lebesgue se restringe a un tipo de funciones llamadas funciones medibles. Una
función es medible si la pre-imagen o imagen inversa de cualquier conjunto pertenece a X, es
decir, es un conjunto medible:

Para que un conjunto sea medible se debe cumplir:

donde U es una sigma-algebra y épsilon un numero tan pequeño como queramos. Esto nos da
a entender que una familia de conjuntos de la sigma-algebra que cubre a E, la medida del
complemento de E con respecto a U es muy pequeña.
•
Integral de funciones no negativas

Si E es un subconjunto del espacio euclidiano y

una función no negativa sobre , para cada descomposición del conjunto como unión finita de
conjuntos disjuntos , calculemos la suma:

donde es el ínfimo de los valores que toma la función sobre el conjunto .

•
El supremo de tales sumas se llama la integral de f sobre E y se denota por cualquiera de los
símbolos

donde el supremo se toma sobre todas las posibles descomposiciones de como unión finita de
conjuntos (medibles) disjuntos y

Propiedad: Si y son dos conjuntos disjuntos cuya unión es , entonces para cualquier función
no negativa sobre
•
Integral de funciones simples
 Si y son dos funciones simples no negativas sobre y es un numero no negativo,
entonces

 Si f es una función no negativa, entonces

donde el supremo se toma sobre todas las funciones simples , tales que

• Sea . . . una sucesión creciente de funciones no negativas. Si φ es una función simple no
negativa que verifica.

Entonces para cualquier conjunto

•
Ejemplo
Sea la función simple
La integración de Lebesgue, dividirá el intervalo de integración en sólo dos partes, una para los
puntos en los que la función vale 2 y otra para los puntos en los que la función vale 3, sumando
los productos de las medidas respectivas de los dos trozos por 2 y por 3 respectivamente:
•
PASO AL LÍMITE BAJO EL SIGNO INTEGRAL

El siguiente teorema debe considerarse el resultado fundamental de la teoría de la integral

(Teorema de Beppo Levi). Sea . . . una sucesión creciente de funciones no negativas. Si f es el
límite puntual de la sucesión , entonces
•
PROPIEDAD:
 Si f y g son funciones no negativas y c un numero real no negativo, entonces

 Si es una sucesión de funciones no negativas, se tiene

(Lema de Fatou). Si es una sucesión de funciones no negativas,

•
Integral de funciones con valores de distinto signo

Hemos visto que toda función f se puede expresar como diferencia de dos funciones no
negativas en la forma . Diremos que f es integrable sobre E si las integrales

son ambas finitas y en tal caso definimos la integral de f sobre E como el numero real
•
La función f es integrable sobre E si y solo si |f| es integrable sobre E ; y en tal caso

Si y son dos funciones no negativas e integrables sobre E , tales que , entonces f es integrable
sobre E y además,
•
Convergencia mayorada.

El hecho de que una sucesión de funciones integrables sobre E converja a una función límite f
en cada punto de E no basta para asegurar la validez de la relación

ni aun suponiendo que f sea también integrable sobre E.

•
Teorema de Fatou-Lebesgue. Sea una función integrable sobre E . Si una sucesión de
funciones verifica:

en puntos de E , entonces las funciones

y
son integrables sobre E y además,
•
La función del teorema precedente se llama una mayorante integrable de la sucesión , de
donde deriva el nombre del siguiente corolario, que se conoce como teorema de la
convergencia mayorada.

Corolario. Sea una sucesión de funciones que converge a una función f en cada punto de E .
Si existe una función integrable sobre E , tal que

en puntos de E , entonces f es integrable sobre E y además,

• integral y los conjuntos de medida nula
La
Comencemos recordando que si f y g son funciones no negativas que coinciden en casi todo
punto de E , entonces

En otras palabras, la integral no distingue entre dos funciones que coinciden en casi todo punto
o lo que es lo mismo, los conjuntos de medida nula equivalen al conjunto vaco desde el punto
de vista de la integral.
•
En particular, sobre un conjunto de medida nula cualquier función resulta integrable y su
integral sobre dicho conjunto vale cero, pues si ,entonces cualquier función f verifica en casi
todo punto de E , y la integral de la función nula es cero.

Para lo que sigue recordemos que el símbolo representa el conjunto de todos los puntos x de
E , tales que . En esta sección usurémosla desigualdad de Chebyshev, la cual establece que
para cualquier numero positivo λ , cualquier función f y cualquier conjunto E , se cumple
•
Es decir, la medida del conjunto de los puntos de donde se verifica es menor o igual que el
reciproco depor la integral de sobre el conjunto .

 Si la función no negativa f tiene integral nula sobre el conjunto E , entonces f es nula en

casi todo punto de E .
 Si f es integrable sobre E , entonces f es finita en casi todo punto de E .
•
Integral

de funciones con valores complejos
Si es una función con valores complejos definida sobre pondremos:

 de modo que y (parte real y parte imaginaria de f ) son funciones con valores reales y
además, .

 Diremos que f es medible si lo son y . Todas las funciones que se consideren en lo

sucesivo son funciones medibles.

 Se dira que f es integrable sobre E si lo son Vy , y en tal caso deCimos la integral de f

sobre E por medio de la formula
•
Propiedad
 Si f y g son integrables sobre E y c es un numero complejo, entonces f + g y cf son
integrables sobre E y además,

 La función f con valores complejos es integrable sobre E si y solo si lo es ; y en tal caso,

La integral como función de conjunto
•
Si es una función integrable sobre , la función de conjunto

Se llama integral indefinida de , Su propiedad mas importante es la llamada

σ-aditividad
Propiedad:
 Si el conjunto E es la unión de los conjuntos disjuntos, entonces
 Si f es integrable sobre , entonces para cada ε > 0 existe un numero δ > 0 , tal que
la relación implica .
Integral de Riemann comparada con la integral de Lebesgue
•
Sea una función acotada definida sobre el intervalo de la recta. Para cada partición de dicho
intervalo en subíntralos por medio de los puntos , tales que , formemos las sumas de Riemann:

Donde y representan respectivamente el ínfimo y el supremo de los valores de sobre el

intervalo .
•La función es integrable Riemann sobre si para cada , existe una partición del intervalo, tal
que ; y en tal caso, el limite común de las sumas cuando se llama la integral de Riemann de
sobre y se denota

Proposición: si la función acotada es integrable Riemann sobre , entonces es integrable en

el sentido de Lebesgue y además,
•
Comparación geométrica

La grafica de color azul muestra la geometría de la integral de Riemann de una función

cualquiera. Ahora, la grafica de color rojo, señala la geometría de la integral de una función en
el sentido de Lebesgue, donde la altura de cada rectángulo está dada por el ínfimo del valor de
f para algún subconjunto del dominio E y la anchura viene dada por la medida de cada
subconjunto del dominio E.