Ls] SURCOLOMBIANA
Medida e Integral de Lebesgue
La definicién de integral que normalmente se estudié en el curso de cailculo integral se
debe a las matematicos Cauchy y Riemann, mientras Cauchy restringia la integrabilidad a
funciones continuas, Riemann daba una condicién necesaria y suficiente para la
integrabilidad de una funcién.
Tras las contradieciones 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 fragil perfilo el problema en la direccién de una teorla abstracta de la medida que
empieza a perfilarse en los trabajos de Emile Borel. Este es justamente el punto de partida
de Lebesgue
La teorla de integracién de Lebesgue extend la teorla de Riemann a una clase mas
amplia de funciones, el intercambio de limite y la integral son validos bajo condiciones més
generales que las requeridas por la integral de Riemann
Acontinuacién antes de entrar a la teoria de la integral de Lebesgue se hablara de la
medida de Lebesaue.
& peat
—RU Teele
La medida de Lebesgue
Medida de intervalos
¥ Dados dos nimeros reales a 0, tales que b < a, la medida 0 longitud de cualquier
intervala lineal J
mi) =b-a
¥ SijJ, ¥ Jy son dos intervalos lineales disjuntos cuya unién es el intervalo j, entonces
mJ) = mU) +mU2)
¥ Si fiJp,.,Ju Son intervalos lineales tales que I = J, x Jp Xx Jq, la medida o volumen de
1 se define por medio de la formula
m(I) = m(J,) + m(J2)
mn)
AL tele IN
¥ Teorema; Siel intervalo 1 es la unién de los intervalos disjuntos 1, ..., Jy, entonces
m(Z) = m(L) + + m(ly)
SiN = 2, la Gnica manera de descomponer el intervalo J = J. x x Jyy
Como unién de conjuntos de dos intervalos disjuntos i,e i, es dividir unos de sus lados /, en
dos intervalos disjuntos /', y )",. Sea k=1 tendremos:
LaIiX%XIn Bal" Xo XI
donde
m(I) = mi) mUn)
m= [m(7",) +m") mG)
m(I) = mUl,) + m(2)Eu Teele LUN
Medida de Conjuntos elementales
Si el conjunto elemental A del espacio Res la unién de los intervalos disjuntos 1,1, In de
dicho espacio, llamaremos medida de A al nimero
m(A) = (Iz) ++ m(ly)
Ahora si J; J2,.. Jn €8 otra sucesi6n finita de intervalos disjuntos cuya unién es A, entonces cada
intervalo I, de la descomposicion anterior es la unin de los intervalos disjuntos Iz 0 J; (i =
,M) y andlogamente, cada intervalo J; es la unién de los intervalos disjuntos 1, MJ; (k =
N), ¥en virtud del teorema anterior
v wae v
Ym) = LY mind) = LY mend)
ao at
ieL kat
EU tele LOIN
Propiedades de conjuntos elementales
¥ Siel conjunto elemental . es la unidn de los conjuntos elementales disjuntos 4, 4... Ay,
entonces
m(A) = m(4,) + (42) + + m(Ay)
¥ Siel conjunto elemental 4 esta contenido en el conjunto elemental 2, entonces
m(B— A) =m(B) —m(A); en particular, m(A) sm(B).
¥ Si Ay Bson conjuntos elementales, entonces m(4 UB) + m(4B) = m(A) + m(B); en
particular, m(A UB)