TEORIA DE LA MEDIDA 2017-1

AUTORES
ALLISON MARIA RAMIREZ FIERRO
WENDY KATHERINE CACERES UNAS
MARIO GUERRA GUALY
JHERSON JULIAN VELASQUEZ
JHOAN SEBASTIAN CUELLAR
JHONATAN CHANTRE ANDRADE
MARCEN EDUARDO LAGUNA
NIBER ROJAS CANO
MAICOL RODRIGUEZ
YENSY GONZLEZ GMEZ
CRISTIAN CARRERA DIAZ

www.usco.edu.co
Vigilada MinEducacin
 CONJUNTOS MEDIBLES

Un subconjunto es medible, si para cada nmero > 0 , existe

un conjunto -elemental , tal que

y <

Si E es medible, la medida exterior de E se llama simplemente la

medida de E y se denota por cualquiera de los smbolos

De modo que para un conjunto medible cualquiera, medida es

sinnimo de medida exterior.
 elemental.

Diremos que un conjunto U es -elemental si existe una sucesin de

conjuntos elementales ( = 1, 2, 3, . . . ) , disjuntos dos a dos, tal que

=
=1
Conjuntos Medibles Segn Peano.
Peano defini los conjuntos medibles como aquellos cuya medida
exterior coincide con la interior.
Medida exterior : Aproximaciones externas con polgonos.

Medida interior:
Ejemplos.
1. Si A es el producto cartesiano de dos
intervalos [a, b] y [c, d], es un rectngulo cuya medida es el rea (ba)(dc).

2. El conjunto de Cantor es un ejemplo de conjunto no numerable con medida

cero.

3. Sea A un conjunto de de medida cero. Si E

es un conjunto cualquiera de , entonces
Como , = 0Luego = 0.
Como \A , \A ()
Sumando las dos ecuaciones
+ \A 0 + ()
Por tanto A es medible
 MEDIDA EXTERIOR

Sea arbitrario y ( )1 una coleccin numerable de intervalos

abiertos tal que
=1 . La medida de se define mediante la
relacin

0 = inf ( ) : { }1 ,
=1
1

El nfimo se toma sobre todas las colecciones { } numerable de sub-

intervalos abiertos con
=1 .
Como 1 ( ) 0, para toda coleccin de
intervalos abiertos { }1 , tenemos que () est
bien definida, esto se debe a que es el nfimo de un
subconjunto no vaco y acotado por abajo.

Adems la definicin deduce que para cada > 0, existe

una coleccin de intervalos abiertos { }1 que contiene a
tal que

0 1 + .
La medida exterior goza de las siguientes propiedades:

1. Si es tal que 1 ( ) = para toda coleccin

{ }1 de intervalos abiertos tales que =1 , en
este caso definimos = .
2. A partir de la definicin tenemos que = 0. Para
demostrar esto, basta 1tomar
1
cualquier intervalo que lo
recubra 1,1 , ( , ) , Todas ellas cubren a ,
1 1 2 2
es decir, ( , ), para cada 1, entonces 0
2
> 1.

1. El mismo razonamiento permite demostrar que
la medida exterior de un punto es cero,
es decir = 0.
2. La relacin , implica .
3. =1
=1 .
4. Si son dos conjuntos de medida exterior
finita, denotando por la diferencia simtrica,
es decir
().
Colorario: Si es una sucesin de conjuntos con medida
exterior finita, tal que tiende a cero cuando
, entonces la medida exterior de es finita, y adems

= lim

Prueba: Por la ultima propiedad mencionada
anteriormente, solo hay que probar que la medida exterior
de es finita; pero esto sigue inmediatamente de aplicar la
hiptesis en la relacin + .
 CONJUNTOS BORELIANOS
Un caso particular importante de espacio medible se tiene cuando (A, ) es un espacio
topolgico.
Definicin: Dado un espacio topolgico (A, ) llamaremos -algebra de Borel a la generada
por sus abiertos, que denotaremos y a sus elementos los llamamos Borelianos.

Una clase de conjuntos se llama una -algebra, si verifica las siguientes tres condiciones.
1)Los conjuntos A y .
2)La unin de cualquier sucesin ( ) de miembros de .es un miembro de .
3)El complemento de cada miembro .es un miembro .
Si es una sigma algebra, entonces
4) La interseccin de cualquier sucesin de miembros de es un miembro de .
 1)El conjunto A esta dentro de la coleccin y vaco.
2)Es una coleccin cerrada bajo complementos, si un
elementos esta all,
Su complemento tambin lo esta.
3) Si , , , entonces = .

Ejemplos.
1) La clase T = , cuyos nicos miembros son el vaco y el espacio.
2) La clase P( ) formada por todos los subconjuntos del espacio .
Sea C= , : la -algebra de borel de R, denominada por B(R) se
define como aquella coleccin de subconjuntos de R que cumple :
i) B(R) es una -algebra.
ii) C B(R)
iii)B(R) es mnima, es decir si C A y A es una -algebra de
subconjuntos de R, entonces B(R) A.
B(R)= , : , a los elementos de B(R)
se les llama :

a) Conjuntos de Borel de R.
b) Conjuntos Borel medibles.
c) Borelianos de R.

B(R)= , : Que otros elementos

pertenecen a B(R)?
1. (, ) B(R) pues (x,)=( ,x]

2. (-, ) B(R) pues (-, ) =
=(, ]
3. [, ) B(R) pues [, )=(, )
4. [, ] B(R) pues [, ] = (-, ]-(-, )
5. N,Z,Q y su B(R)
6. R B(R) pues R= =(, ]
7. = , ,

Nota: En probabilidades a cada , = , , se denominan

eventos
CONVERGENCIA PUNTUAL DE SUCESIONES DE FUNCIONES
Definicin: Para cada x del dominio, podemos construir otra sucesin { ()} de nmeros
cuyos trminos son los correspondientes valores de las funciones. Designemos con S el
conjunto de puntos x para los que esta sucesin converge. La funcin f definida en S por
la igualdad

= lim () si

Definicin: Una sucesin de funciones { ()} se llama uniformemente convergente
hacia f en un conjunto S si para todo > 0 existe un N (dependiente tan solo de ) tal
que n < para todo x de S.

Simblicamente uniformemente en S
Significado geomtrico de la convergencia uniforme si toda la grfica de cada
est situado a distancia menor que de la grafica de la funcin f.

Ejemplo:

1
1, [1,0)

Sean = 1
1 , (0,1]

1
lim 1, [1,0)

lim () = = ()
1
lim 1 , (0,1]

 1
En [1,0), se tiene que = 1 y f = 1, luego
1 1
lim () = lim 1 + 1 = lim =0<

Y converge uniformemente en el intervalo 1,0

1
En (0,1], se tiene que = 1 y f = 1, luego
1 1
lim () = lim 1 + 1 = lim = 0 <

Y converge uniformemente en el intervalo 0,1

En consecuencia
 FUNCIONES SIMPLES
Definicin (Funciones Simples).
Sea E M; se llama funcin simple en a una funcin medible
: que solo toma un nmero finito de valores, es decir, tal que =
0 , 1 , 2 , , es finito.
Llamando = 1 = : = estos conjuntos son medibles (por ser imgenes
inversas de cerrados), y verifican:
1. = ,
2. = =0 ,
3. y se puede escribir () de la forma = =1 () combinacin lineal de
funciones caractersticas de conjuntos
 Qu son las funciones simples ?
Las funciones simples son las
combinaciones lineales de funciones
caractersticas de conjuntos medibles:
cualquier combinacin lineal de
funciones caractersticas de conjuntos
medibles se puede descomponer como
otra combinacin lineal respecto a una
familia de conjuntos medibles disjuntos
dos a dos cuya unin es todo el
conjunto E.
Ejemplo
Si = 1 1 + 2 2 , con 1 subconjuntos medibles de , podemos
escribir:

= 1 1 \A2 + 2 2 \A1 + 1 + 2 12 + 0\ 1 2

Una descomposicin de ese tipo se llama descomposicin llamada elemental.

Si 1 2 son dos funciones simples, 1 =
=1 y 2 = =1
(descomposiciones elementales), se puede conseguir una descomposicin elemental de
ambas con respecto a la misma familia de conjuntos,

En general, como los conjuntos son disjuntos dos a dos y =1 = , entonces

= = = 1
=1 1
=1
Y podemos poner

1 = = =
=1 =1 =1
,

1 = ()
=1 =1 =1,=1
Y anlogamente

2 = = =
=1 =1 =1

=1
=1 = ,
=1,=1 ()
As es fcil demostrar que la suma de dos funciones simples es una funcin simple:
si 1 =
=1 y 2 = =1 , la suma 1 + 2 , es:

1 + 2 = 1 + 2 = +
=1
Anlogamente

1 2 =
=1

1
=
2
=1
Son funciones simples (si 2 0 para todo en el caso del cociente). Y
evidentemente, para todo ,

1 =
=1

es tambin una funcin simple.

 FUNCIN CARACTERSTICA
Definicin: Sea M un subconjunto de . Se llama funcin caracterstica de M a la
funcin : definida por:
1,
() =
0,

Las funciones caractersticas tienen las siguientes propiedades:

Propiedades
i. \M = 1
ii. =
iii. = +
iv. \B = = (1)
v. 2 =

Proposicin:
Sea M un conjunto en . El conjunto de puntos de discontinuidad de es la
frontera de M.
 TEOREMA DE WEIERSTRASS

Una sucesin creciente y acotada superiormente tiende a un lmite, y una

sucesin decreciente y acotada inferiormente tiende a un lmite.

Demostracin:

Sea una sucesin creciente y acotada superiormente , si es creciente esto

significa que

< +1
Adems si es acotada superiormente entonces

+ 1
Supongamos que > 0 y > , luego veamos lo siguiente

Sea el intervalo [, + 1], si dividimos el intervalo en 10 partes iguales

obtenemos lo siguiente

1 2 9
1 = + 10 , 2 = + 10 , , 9 = + 10 , 10 = + 1
Entonces existe un tal que todos los elementos de la sucesin sean menores que
( + 1) y algn elemento es mayor que

Ahora volvemos a subdividir en 10 puntos el intervalo [, ( + 1)], entonces para algn

tenemos

+1
+ 1 = + +
10 100

> = + +
10 100
As sucesivamente obtenemos un numero decimal infinito

1 = , 2 = ,

1 2 3
. 1 . 2 . 3 = + + +
10 100 1000

Que es evidentemente el limite de la sucesin.

Teorema
Toda sucesin acotada de nmeros reales posee una subsucesin convergente.

Demostracin:

Sea una sucesin acotada de nmeros reales y sea = 1 , 2 , . . , ,

el conjunto formado por los trminos de la sucesin dada.
El conjunto puede ser finito o infinito.
i. Si es finito:
Es porque la sucesin debe aparecer algn termino repetido infinitas veces,
digamos que 1 = 2 = 3 = = = con 1 < 2 < k 3 < <
Luego, podemos formar la sucesin constante (1 , 2 , 3 , , , ) la cual
converge a la constante.

ii. Si es infinito:
Podemos construir una sucesin convergente con los elementos distintos de ,
cambiando el orden de esta se obtiene una subsucesin convergente de la sucesin
, como sigue:
Sea 1 = sup . El supremo de existe, pues por hiptesis del teorema la sucesin
es acotada y as es acotado superiormente.
Si 1 ,existe una sucesin estrictamente creciente de elementos de que tiende a
1 . Luego, en este caso el teorema ya esta justificado.
Si 1 , entonces consideremos el conjunto 1 , el cual sigue siendo infinito
y acotado superiormente, luego existe el supremo de este.

Sea 2 = sup( 1 ) .Si 2 ( 1 ), se sabe que existe una sucesin

estrictamente creciente de elementos de ( 1 ) que tiende a 2 . Luego el
teorema estara justificado. Supongamos entonces que 2 ( 1 ). Es obvio
que 2 < 1 , y consideremos el conjunto 1 , 2 . Este conjunto sigue siendo
infinito y acotado superiormente. Luego en virtud del axioma del externo superior,
existe el supremo.

As sucesivamente. Si este proceso termina en algn momento , existe una sucesin

estrictamente creciente de elementos de que converge. Y si este proceso sigue
(sin terminar), se obtiene una sucesin estrictamente decreciente 1 , 2 , 3 , .
 TEORIA Y DESIGUALDAD DE CHEVYSHEV
En que consiste?
El teorema de Chebyshev me permite encontrar la desigualdad, la cual es un
resultado estadstico que nos permite acotar inferior y superiormente la
probabilidad de una variable aleatoria con varianza finita basndose en la distancia
de la que se encuentra respecto a su varianza matemtica
 Cul es su utilidad?

Para aquellas distribuciones las cuales no se

comportan en forma de curva de campana
nos facilita encontrar la probabilidad sin
necesidad calcularla por medio de la
integral
 TEOREMA
Sea Y una variable aleatoria con media finita y varianza 2 , entonces para cualquier
K>0:
1 1
< 1 2 2

Demostracin:
Por definicin de varianza tenemos que:

= 2 = 2

Donde F(Y) es la funcin de densidad, adems utilizando la definicin de linealidad
tenemos que:
+
2 + 2 + 2
+
Como:
+
2

Ya que la funcin de densidad se encuentra en el intervalo [0,1] y todo numero elevado
al cuadrado es positivo. Tenemos que:

2 2 + 2
+

Ademas:
< < < 2 < 2 2
Al ser este aumento lo suficientemente pequeo, tenemos as que:

2 2 2 + 2 2
+
Luego, utilizando las respectivas operaciones tenemos:

2 2 2 +
+

2 2 2 ( ) + ( + )

2 2 2 (| | )

1
(| | )
2
Obteniendo as por complemento:

(| | ) = 1 <

1
1 ( < )
2

1
1 2 ( < )

 Nota
Una consecuencia del teorema, adems de las 2 desigualdades es que para cada
distribucin de media y desviacin tpica 2 , al menos la mitad de los valores se
encontraran en el intervalo:

( 2, + 2)
 CONVERGENCIA EN MEDIDA

Denotaremos por E un subconjunto medible del espacio IR . Si f es una funcin definida sobre este espacio
y un nmero positivo, escribiremos E(|f| ) para denotar el conjunto de todos los puntos x de E , tales que
|f(x)| . De manera general si para cada punto x del espacio IR , tenemos una afirmacin P(x) que puede
ser tildada de verdadera o falsa, escribiremos E(P) para denotar el conjunto E {x : P(x)} .
Vamos a decir que la sucesin de funciones medibles ( ) converge en medida a la funcin medible f sobre
el conjunto E , si para cada nmero positivo , la medida del conjunto E(| ( ) f| ) tiende a cero cuando
k tiende a infinito.
Para afirmar que ( ) converge en medida a f sobre E , escribiremos :

Una misma sucesin ( ) no puede converger en medida a dos funciones f y g esencialmente diferentes
dentro de E ; pues si

Tomando medidas en la inclusin E(|f g| ) E(| f| /2) E(| g| /2) y haciendo k ,

resulta mE(|f g| ) = 0 para cada > 0 . Puesto que:
se sigue que mE(f g) = 0 ; es decir, f = g en casi todo punto de E . Si la medida de E es finita y si la
sucesin de funciones medibles ( ) converge a la funcin f en casi todo punto de E , entonces

Si Z es el conjunto de los puntos de E donde ( ) no converge a f , entonces por hiptesis, mZ = 0 . Luego,

dado > 0 , los conjuntos

forman una sucesin decreciente de conjuntos de medida finita cuya interseccin es de medida nula por
estar contenida en Z . Por lo tanto, la medida de tiende a cero cuando j tiende a infinito, y como para todo
k j , E(| f| ) , se sigue que

lo cual significa que:

EJEMPLO 1
22
= , es la medida de lebesgue, = . Graficas de 1 y 5
1 5

ANALISIS
Es suficiente calcular (, ) para cercanos a cero. Como las funciones toman valores de 0 y 1, es
natural suponer que (0,1). Entonces:
2 2
, = : () = 0 :
1 1
= 0 : 2 (1)/2 = , 0 0, .

 LEY DE LOS GRANDES NUMEROS
La Ley de los Grandes Nmeros, afirma que al repetir un
experimento aleatorio un numero de veces, la frecuencia
relativa de cada suceso elemental tiende aproximarse a
un numero fijo, tambin llamada probabilidad de un
suceso.
 El matemtico italiano Gerolamo Cardano (15011576) afirm que la precisin de las
estadsticas empricas tienden a mejorar con el nmero de intentos.
Despus Jacob Bernoulli demostr una forma especial de la ley de los grandes
nmeros (para una variable aleatoria binaria), Le llev ms de 20 aos desarrollar una
prueba matemtica suficientemente rigurosa que fue publicada en su Ars
Conjectandi [El arte de la conjetura] en 1713. Bernouilli le llam su Teorema
dorado, pero lleg a ser conocido generalmente como teorema de Bernoulli.
S.D. Poisson describi con ms detalle bajo el nombre de la loi des grands nombres
(la ley de los grandes nmeros).
Despus de que Bernoulli y Poisson publicasen sus esfuerzos, otros matemticos
tambin contribuyeron al refinamiento de la ley,
como Chebyshev, Markov, Borel, Cantelli, Kolmogorov y Khinchin. Estos nuevos
estudios han dado lugar a dos formas prominentes de la ley de los grandes nmeros:
una se llama la ley "dbil" y la otra la ley "fuerte", en referencia a dos modos
diferentes de convergencia de la muestra acumulada significa el valor esperado.

Jacob Bernoulli (Basilea, 27 de diciembre de 1654 - 16 de agosto de 1705)

La tabla nos muestra el siguiente ejemplo, hemos tomado como referencia
el sexo del beb de las pacientes que acuden a un hospital. El recuento se
hace desde una fecha determinada tomando slo los partos de un nico
feto. Teniendo en cuenta la probabilidad de que salga nia, hemos contado
que de los 1000 partos observados, 545 bebs fueron nia.
545
La frecuencia relativa sera la siguiente: 1000 = 0,545
57
Observando los 100 primeros partos: = 0,57
100
4
Por ltimo, los 10 primeros partos: 10 = 0,4
La media es de 0,5; esto es totalmente comprensible, pues un beb tiene
siempre las mismas posibilidades de que sea nio o de que sea nia.
Como tambin podemos ver, contra ms partos observamos, el
contabilizador de bebs nia se va aproximando a la media con mayor
precisin.
Dentro de la Ley de los Grandes Nmeros, podemos encontrar:
La Ley Dbil de los Grandes Nmeros: Esta ley asegura que en muchas situaciones, la media
aritmtica de n variables aleatorias se aproxima a un lmite de probabilidad. Esta ley se cumple si en
una sucesin de variables aleatorias se aproxima al lmite de probabilidad 0.
Se puede probar como un caso particular del Modelo Poisson, corolario del Teorema de Chebyshev.
Corolario del Teorema de Chebyshev: Si se tiene una sucesin de variables aleatorias , con
medias y varianzas 2 finitas, 2 convergiendo a 0, entonces, para todo 0 ,

En el caso particular de que las variables aleatorias , sean independientes y Bernoulli, con

= 1 = , las variables aleatorias = =1 cumplen las hiptesis del Teorema de Chebyshev,

pudiendo concluirse entonces que:

Resultado llamado Modelo de Poisson, que bajo la hiptesis = para todo n, se reduce al:
Teorema de Bernoulli: Si { } es una sucesin de variables aleatorias Bernoulli independientes e
igualmente distribuidas con = 1 = para todo n, entonces:
La Ley Fuerte de los Grandes Nmeros: Se demuestra que la convergencia del Teorema de
Bernoulli se puede fortalecer a convergencia casi segura, obtenindose el llamado Teorema de Borel.
Veamos primero un par de resultados:
Teorema: Sea { } una sucesin de variables aleatorias. Si para todo ,

Entonces 0, en convergencia casi segura.

Demostracin: Demostrar que 0 en convergencia casi segura es equivalente a demostrar que
= 1 o lo que es lo mismo que = 0, donde C es el llamado conjunto de convergencia de la
sucesin { },

Veamos que = 0. Obsrvese que

Puesto que,

dado 0 y fijo, existe 0 = 0 (, ) tal que

y puesto que

se tiene que

y por lo tanto
Ahora como este ltimo resultado se tiene para todo 0, concluimos que: = 0

Otro resultado que interviene en la demostracin del Teorema de Borel es el siguiente:

Para todo 0; (**)

Teorema de Borel: Sea { } una sucesin de variables aleatorias Bernoulli independientes con

= 1 = Si = =1 , entonces en convergencia casi segura.

Demostracin: Es suficiente, por el Teorema anterior, mostrar que para todo la serie,

converge. Por (**) se tiene que para todo ,

Resolviendo podemos encontrar una cota para esta expresin:

Debido a la independencia de las variables y al hecho de que E = 0, el valor

es diferente de cero solo en los siguientes casos:

Teniendo n trminos y trminos . As que,

y por tanto, para todo ,

Tenindose que la serie converge.

Con el desarrollo de la Teora de la Medida, la Ley Dbil se puede ver como una
consecuencia de la Ley Fuerte, debido al resultado de que convergencia casi segura
implica convergencia en probabilidad.
 TEOREMA DEL LIMITE CENTRAL
sea 1 , 2 , una sucesin de valores aleatorios independientes e idnticamente distribuidos
con media y varianza finita 2 entonces la variable aleatoria
1
( )
=1
=
2
converge en distribucin a la variable aleatoria normal estndar es decir,
2
1
2 2
esto significa que la funcin de distribucin de evaluada en , , converge a la funcin
de distribucin arriba.
Demostracin
Recordemos que si (0,1), entonces su funcin generadora de momento es de la
2
siguiente forma = . Demostraremos que la funcin generadora de momento de la
2

funcin es decir,
;
ello es suficiente, por el teorema de continuidad de la funcin generadora de momento que


ahora multiplicando denominador y numerador obtendremos lo siguiente, escribiendo se
puede escribir:
( )
= =1
2
Si lo escribimos as tenemos que la funcin generadora de momento es:
= ( ) donde = esperanza


= ( =1 )

++
= ( )

Por la hiptesis de independencia esto va a ser el producto de las esperanzas.

= ahora usando la funcin generadora de momentos, como una serie de potencia,


2 2 2
= 1+ + 2 + ; : pequea


2 2
= 1 + 2 +

2 2
= 1 + 2 + cuando la primera expresin converge a 2 y la segunda es igual a cero.


= 2
Por lo tanto se concluye que la sucesin de funciones generada de momento de las variables ; converge, a la funcin
generadora de momentos de una variable aleatoria normal estndar y como explicamos antes es suficiente para garantizar
la convergencia en distribucin de las variables , a la variable aleatoria , con distribucin normal estndar.
EL CONJUNTO DE LOS NMEROS RACIONALES TIENE MEDIDA CERO

El conjunto de los nmeros racionales denotado en trminos de conjunto como Q= /, , 0 .

Un subconjunto de R se dice de medida nula, si para todo > 0 existe un conjunto infinito de intervalos que
cubran al conjunto y la suma de sus longitudes tiene que ser menor que .

El conjunto de los nmeros racionales tiene medida cero.

sea x y la B(x,), por la densidad de la recta real en la B(x,) hay tanto racionales como irracionales ,de
esta manera los racionales tienen interior vaco.
Ahora, si ( ) es una sucesin de conjuntos de medida nula, Llamamos Q a la unin de todos
los , tenemos

M(Q)
=1 ( )=0

Luego, cualquier unin enumerarle de medida nula, es tambin un conjunto de medida nula. En
consecuencia, los racionales tienen medida cero.

Anlisis: Tomamos cada racional como un conjunto unitario. pues bien, como el conjunto es
finito (por definicin de conjunto de medida nula) la suma de todos esos conjuntos de medida
nula es un conjunto de medida nula.
 INTEGRAL DE LEBESGUE
Por qu una nueva integral ?
Hacia finales del siglo XIX result claro para muchos matemticos que la
integral de Riemann tiene importantes limitaciones, tales como que
El conjunto de funciones integrables es relativamente pequeo:
Hay funciones sencillas que no son integrables. Recurdese por ejemplo
que la funcin de Dirichlet, esto es, la funcin : 0,1 , definida por:

0
=
1

no es integrable en el sentido de Riemann.

La integral de Lebesgue se restringe a un tipo de funciones llamadas
funciones medibles. Una funcin es medible si la preimagen o imagen
inversa de cualquier conjunto pertenece a X, es decir, es un conjunto
medible:

1 , .

Para que un conjunto sea medible se debe cumplir:

, ( ) < donde U es una sigma-algebra y psilon un
numero tan pequeo 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 pequea.
Integral de funciones no negativas.
Si E es un subconjunto del espacio euclidiano y :
una funcin no negativa sobre , para cada descomposicin del
conjunto como unin finita de conjuntos disjuntos 1 , 2 , . . . , ,
calculemos la suma:

( )
=1
donde es el nfimo de los valores que toma la funcin sobre el
conjunto .
El supremo de tales sumas se llama la integral de f sobre E y se
denota por cualquiera de los smbolos

= = ( )
=1
donde el supremo se toma sobre todas las posibles descomposiciones
de como unin finita de conjuntos (medibles) disjuntos y

= inf
Propiedad: Si y son dos conjuntos disjuntos cuya unin es ,
entonces para cualquier funcin no negativa sobre :

= +

Integral de funciones simples.
Si y son dos funciones simples no negativas sobre y es
un numero no negativo, entonces

( + ) = + y =
 Si f es una funcin no negativa, entonces

= 0

donde el supremo se toma sobre todas las funciones simples , tales

que 0
 Sea 1 2 3 . . . una sucesin creciente de funciones
no negativas. Si es una funcin simple no negativa que
verifica.
lim

Entonces para cualquier conjunto

lim

Paso al lmite bajo el signo integral.
El siguiente teorema debe considerarse el resultado
fundamental de la teora de la integral
(teorema de Beppo Levi). Sea 1 2 3 . . . una
sucesin creciente de funciones no negativas. Si f es el
lmite puntual de la sucesin ( ) , entonces

= lim

Integral de funciones con valores de distinto signo.

Hemos visto que toda funcin 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 funcin f es integrable sobre E si y solo si |f| es integrable sobre E ; y
en tal caso

Si 1 y 2 son dos funciones no negativas e integrables sobre E , tales

que = 1 2 , entonces f es integrable sobre E y adems,

= 1 2

Convergencia Mayorada.

El hecho de que una sucesin de funciones ( ) integrables sobre

E converja a una funcin lmite f en cada punto de E no basta
para asegurar la validez de la relacin

= lim

ni aun suponiendo que f sea tambin integrable sobre E.

 Teorema de Fatou-Lebesgue. Sea una funcin integrable
sobre E . Si una sucesin de funciones ( ) verifica:

( = 1,2,3, )
en puntos de E , entonces las funciones
= lim inf y = lim sup

son integrables sobre E y adems,

lim inf lim sup

La funcin del teorema precedente se llama una mayorante
integrable de la sucesin ( ) , de donde deriva el nombre del siguiente
corolario, que se conoce como teorema de la convergencia
mayorada.
Corolario. Sea ( ) una sucesin de funciones que converge a una
funcin f en cada punto de E . Si existe una funcin integrable sobre E ,
tal que
( = 1,2,3, )
en puntos de E , entonces f es integrable sobre E y adems,

= lim

La integral y los conjuntos de medida nula.
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 funcin
resulta integrable y su integral sobre dicho conjunto vale cero, pues
si () = 0 ,entonces cualquier funcin f verifica () = 0 en casi
todo punto de E , y la integral de la funcin nula es cero.

Para lo que sigue recordemos que el smbolo ( > ) representa

el conjunto de todos los puntos x de E , tales que () > . En esta
seccin usurmosla desigualdad de Chebyshev, la cual establece
que para cualquier numero positivo , cualquier funcin f y cualquier
conjunto E , se cumple
1
( > )

 Es decir, la medida del conjunto de los puntos de donde se verifica
|| > es menor o igual que el reciproco de por la integral de
sobre el conjunto .

Si la funcin 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 .
Comparacin con la integral de Riemann
Sea una funcin acotada definida sobre el
intervalo [, ] de la recta. Para cada
particin de dicho intervalo en subntralos
por medio de los puntos 0 , 1 , . . . , , tales
que = 0 < 1 < 2 < . . . < = ,
formemos las sumas de Riemann:


= 1 , = ( 1 )
=1 =1

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

sobre el intervalo = [1 , ].

La funcin es integrable Riemann sobre [, ] si para cada > 0, existe una particin del
intervalo, tal que < ; y en tal caso, el limite comn de las sumas cuando max(
1 ) 0 se llama la integral de Riemann de sobre [, ] y se denota

Proposicin: si la funcin acotada es integrable
Riemann sobre [, ], entonces es integrable en el
sentido de Lebesgue y adems,

= ()

Comparacin geomtrica

La grafica de color azul muestra la geometra de la integral de Riemann de una funcin

cualquiera. Ahora, la grafica de color rojo, seala la geometra de la integral de una funcin
en el sentido de Lebesgue, donde la altura de cada rectngulo est dada por el nfimo del
valor de f para algn subconjunto del dominio E y la anchura viene dada por la medida
de cada subconjunto del dominio E.