Está en la página 1de 16

Integral de Lebesgue

Camacho Ibarra Oscar

Funcin de Dirichlet

1 si x es irracional

F(x)=

0 si x es racional

Puede integrarse por la integral de Riemann?

Conocimientos previos

Un conjunto est cerrado s


cuando se realiza una
operacin sobre los miembros
del conjunto siempre produce
un miembro del mismo
conjunto

Una -lgebra de un conjunto


A es la coleccin de los
subconjuntos de A, donde A es
cerrado bajo un nmero de
operaciones contables.

La medida de Lebesgue

Es la forma estndar de asignar


una longitud, rea o volumen a
los subconjuntos del espacio
eucldeo.

A todo conjunto que se le


pueda asignar un tamao se le
llama conjunto de Lebesgue
medible o conjunto medible

La medida de Lebesgue

Los conjuntos medibles


cumplen ciertas propiedades y
todas estas propiedades
pueden resumirse como:

Una -lgebra de un conjunto


A es la coleccin de los
subconjuntos de A, donde A es
cerrado bajo un nmero de
operaciones contables.

Los conjuntos medibles forman


una -lgebra

Propiedades que hacen a un conjunto


medible

Si A es un producto cartesiano de intervalos I1 I2 ... In , es Lebesgue-medible y m*A = | I1 | | I2 | ... | In


|, donde | I | denota la longitud del intervalo I.

Si A es una unin disjunta de finitos o contables conjuntos Lebesgue-medibles, A mismo es Lebesguemedible y m*A es igual a la suma (o serie) de las medidas de los conjuntos correspondientes.

Si A es Lebesgue-medible, tambin lo es su complemento.

m*A 0 para todo conjunto Lebesgue-medible A.

Si A y B son Lebesgue-medibles, y A B, m*A m*B).

Las uniones e intersecciones contables de conjuntos Lebesgue-medibles son


asimismo Lebesgue-medibles.

Si A es un subconjunto abierto o cerrado de n, es Lebesgue-medible.

Si A es un conjunto Lebesgue-medible con m*A = 0 (o conjunto nulo), todo


subconjunto de A es tambin un conjunto nulo.

Si A es Lebesgue-medible y x es un elemento de n, la traslacin definida


por A + x = {a + x : a A} es tambin Lebesgue-medible y, ms an, tiene la
misma medida que A.

Funcion medible

El clculo de integrales se
restringe a un tipo de funciones
llamadas funciones medibles.

Una funcin es medible si su


conjunto solucin lo es.

La integral de Lebesgue:

Es una generalizacin de la
integral de Riemann,
manteniendo las propiedades
bsicas de linealidad pero
aplicable a familias ms
amplias de funciones.

En vez de dividir el dominio de


la funcin, la integral de
Lebesgue divide el rango de la
funcin.

Integral de funciones no negativas

Si E es un subconjunto del
espacio euclidiano n y f : n
una funcin no negativa
sobre E , para cada
descomposicin del conjunto E
como una unin finita de
conjuntos disjuntos E1, E2, . . . ,
EN , podemos calcular la suma:

=1

donde es el nfimo de los valores que


toma la funcin f sobre el conjunto Ei

= sup

Teorema

Si A y B son dos conjuntos


disjuntos cuya unin es E,
entonces para cualquier
funcin f no negativa sobre E
tenemos

Integral de funciones simples

Para un integral de una funcin


simple no negativa sobre algn
conjunto E:

Sean B1, B2, . . . , BN conjuntos


disjuntos cuya unin es E , y
sean C1, . . . , CN nmeros no
negativos. Si la funcin f toma
el valor constante i sobre el
conjunto Ci , entonces

= 1 1 + +

y en virtud del anterior teorema

+ +

Diferencias entre la integral de Riemann


y Lebesgue

La integral de Riemann solo


puede llevarse acabo en un
intervalo acotado

La integral de Riemann no
puede extrapolarse

La integral de Lebesgue nos


permite saber mejor cuando es
posible tomar lmites bajo el
signo de la integral.

La integral de Lebesgue puede


realizarse sobre funciones ms
generales

En probabilidad se confina el
estudio a conjuntos medibles
cuya medida sea 1 es decir se
satisface m*(E)=1.

Viendo de nuevo la funcin de Dirichlet

A diferencia de la integral de
Riemann de Direchlet la
integral de Lebesgue de
Dirichlet si est definida

(m*(racionales)) = 0

m*(irracionales) = 1

en [0,1]

1
0
0

1
1
0

1
1
1
()
0
+
1
=
0

=0
0
0
1
()
1

=0

=0 0 ()
1
1
(0)
(0)
+
=0
=0 1

+ 1=0 1 () =
1 =1

Gracias