You are on page 1of 22
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)

You might also like