2ae2016 Integracion de Lebesgue Integracién de Lebesgue Temas relacionados: Matemiticas ~ Content En as matemiticas , la integral de un no negativo fimeién puede ser considerada en el Antecedentes caso mis sencillo como el érea entre el. grifica de esa finciin y la integracién eje x ; Lebesgue es una construccién matemitica que se extiende la integral a una clase mis j eee eee econ amplia de fimciones; sino que también se extiende a la dominios en los que estas fimciones cstesito web video sobre Se pueden definir. Desde hace tiempo se habia entendido que para que las funciones no Attica, Haga clic nui para negativas con un grafico lo suficientemente suave (tal como finciones continuas en cerrado atta senites delimitada intervalos) el érea bajo la curva se podrian definir como la integral y calculan f + utlizando técnicas de aproximacin de la regin por poligonos . Sin embargo, como la necesidad de considerar las finciones mis imregulares surgié (por ejemplo, como La integral de una funcién positiva resultado de las limitantes procesos de andlisis matemitico y la matemsitica teoria de la puede ser interpretado como el rea probabilidad ) se hizo evidente que serian necesarias técnicas de aproximacién més cuidadosas para defini una integral bajo una curva, adecuado, También, puede ser que descen integrar en espacios mis generales de la linca real; la integral de Lebesgue offece las abstracciones correctas necesarias para realizar este importante trabajo. La integral de Lebesgue juega un papel importante en la rama de las matemuiticas lamado anilisis real y en muchos otros campos de as ciencias matemiticas, y lleva el nombre de Henri Lebesgue (1875-1941) quien introdujo la integral en (Lebesgue 1904). También es una parte findamental de la teoria axiomitica de la probabilidad. El término “integracion Lebesgue" puede referirse tanto a la teoria general de la integracién de una funcién con respecto a un general medir, introducido por Lebesgue, o para el caso especifico de la integracién de una fimcién definida en un subdominio de la recta real con respecto a Medida de Lebesgue. Introduccion La integral de una fimci6n f entre los limites A y B puede ser interpretado como el érea bajo la grifica de f. Esto es ficil de entender para las fimeiones familiares como polinomios , pero ,qué significa para las funciones mas exéticos? En general, ;cual es la clase de funciones para las que "rea bajo la curva" tiene sentido? La respuesta a esta pregunta tiene una gran importancia teérica y préctica, hpsrachegolear.usimodklesies-vikipedia for schoolsvaiiLebesgue_inegrationtim wnaausiaors Iegracion de besgue Como parte de un movimiento general hacia rigor en las matemiticas en el siglo XIX, hubo intentos de poner el célculo integral sobre una base firme. La Integral de Riemann, propuesta por Bernhard Riemann (1826-1866), es un intento ampliamente adjudicatario la constitucién de una fundacién tal, La definicién de Riemann comienza con la construccién de una secuencia de areas calculadas ficilmente que convergen a la integral de una fimciin dada. Esta definicién tiene éxito en el sentido de que da la respuesta esperada para muchos problemas ya resueltos-y da resultados tities para muchos otros problemas. Sin embargo, la integracién de Riemann no interactia bien con la toma de limites de secnencias de fimciones, por lo que tales procesos limitantes dificiles de analizar. Esto es de importancia primordial, por ejemplo, en el estudio de Series de Fourier, Transformadas de Fourier y otros temas. La integral de Lebesgue es mis capaz de describir cémo y cuindo es posible tomar limites bajo el signo integral. La definicién de Lebesgue considera una clase diferente de reas calculadas ficilmente que la definicién de Riemann, que es la raz6n principal por la integral de Lebesgue un mejor comportamiento. La definicién de Lebesgue también hace que sea posible caleular las integrales para una clase mis amplia de fimciones. Por ejemplo, el Funcién de Dirichlet, que es 0 en su argumento es irracional y 1 en caso contrario, tiene una integral de Lebesgue, pero no tiene una integral de Riemann. Elenfoque de Lebesgue de integracién se resumié en una carta a Paul Montel, fl escribe: ‘Tengo que pagar una cierta suma, que he recogido en mi boksllo, Tomo los billetes y monedas de mi bobillo y les doy a los acreedores en el orden los encuentro hasta que haya alearzado la suma total. Esta es la integral de Riemann, Pero puedo proceder de manera diferente. Después he tomado todo el dinero de mi bokilo ordeno los billetes y monedas de acuerdo con valores idénticos y tego tengo que pagar los varios montones, uno tras otto al acreedor. Este es mi integral. ~ Fuente: (Siegmund-Schultze 2068) La idea es que uno debe ser capaz de reorganizar los valores de una fimcién libremente preservando al mismo tiempo el valor de la integral. Este proceso de reordenacién puede convertir una fimcidn muy patolbgica en una que es "agradable" desde el punto de vista de la integracién, y por o tanto permite tales finciones patologicas que se integra. Interpretacién intuitiva Para tener una intuicién sobre los diferentes enfoques de la integracién, imaginemos que se desea encontrar el volumen de una montafia (sobre el nivel del mar). Elenfoque de Riemann-Darboux Divida la base de la montajia en una rejilla de cuadrados de 1 metro. Mida la altura de la montaiia en el centro de cada cuadrado. El volumen en un solo cuadrado de la cuadricula es de aproximadamente 1 * 1 x (atitud), de modo que el volumen total es la suma de las altitudes, Elenfoque de Lebesgue Dibuja un mapa de contorno de la montafia, donde los contornos adyacentes son de | metro de altura de diferencia. El volumen de la tierra contenida en un solo contomo es de aproximadamente veces zona de contomo que 1, por lo que el volumen total es la suma de estas dreas veces 1 metro. hpsrachegolear.usimodklesies-vikipedia for schoolsvaiiLebesgue_inegrationtim anaaas0018 iisgracinde Lebesgue Folland resume la diferencia entre el Riemann y Lebesgue enfoques asf: "para calcular la integral de Riemann de f; ‘uno particiones del dominio /a, b] en subintervalos", mientras que en la integral de Lebesgue, “uno es, en efecto, la nn voi. Hacia una definicién formal Para definir la integral de Lebesgue requiere formalmente la nocién de un medida que, mis © menos, asocia a cada conjunto 4 de los mimeros reales no negativos un nimero jt (A) que representan el tamafo” de A. Esta nocién de "tamafio" debe estar de acuerdo con la duracién habitual de una unién de intervalos o disjuntos de intervalos. Supongamos que f: R + R es una fncién real no negativo. Uso de la "particiin de la gama de f" la filosofia, la La integracién de Riemann-Darboux (en integral de f debe ser la suma sobre ¢ de las dreas entre una franja horizontal fina entre y =f yy = 1+ dt. Esta drea azul) y la integracién de Lebesgue (en es sélo rojo). we ({2] f(a) > t}) dt. Dejar F(t) = w (fal f(a) > t})- La integral de Lebesgue de f se define entonces por [r-[Pr@a donde la integral de la derecha es un ordinario inadecuada integral de Riemann (obsérvese que f * es una funcién positiva estrictamente decreciente, y por lo tanto tiene una inadecuada Riemann bien definida integral). Para una clase adecuada de funciones (la funciones medibles) Esto define la integral de Lebesgue. Un general (no necesariamente positive) la funcion f es integrable Lebesgue si el 4rea entre la grifica de f'y el eje x es fnito: [flan < +00. |: En ese caso, la integral es, como en el caso de Riemann, la diferencia entre el érea por encima del eje x y el area debajo del eje x. [fam [tran [pan hpsrachegolear.usimodklesies-vikipedia for schoolsvaiiLebesgue_inegrationtim ana2ae2016 Integracion de Lebesgue donde Le\ Begin {align} £* + (x) & =\ max (\ {£(x), 0 \}) & = & \ begin {casos} f(x), y \ text {if} f(x) > 0, \\0, y\ text {de lo contrario} \ end {casos} \\f* - (&) y=\ max (\ { £9, 0 \}) & = & \begin {casos } £08), y'\ text {if} f(x) <0, \\0, y \text {lo contrario.} \\end {casos} \ end {align} Construccién La discusién que sigue paralela a la expositivo enfoque mas comin a la integral de Lebesgue. En este enfoque, la teoria de la integracién tiene dos partes distintas: ered 1. Una teoria de conjuntos medibles y medidas sobre estos conjuntos. 2. Una teoria de finciones medibles ¢ integrales sobre estas funciones. La aproximacién de una funcién de La fimcién cuya integral se encuentra a continuacién, se aproxima por cierto la llamada finciones simples, cuyas funciones simples. integrales puede escribirse en términos de la medida. La integral de la finci6n original es entonces el limite de la integral de ls funciones simples. Teoria de la medida Teoria de la medida fue creada inicialmente para proporcionar una abstraccién util de la noci6n de longitud de subconjuntos de la recta real y, mas en general, area y Volumen de subconjuntos de espacios euclideos. En particular, se proporciona una respuesta sistemitica a la cuestién de que los subconjuntos de R tienen una longitud. Como se ha demostrado por los acontecimientos posteriores en la teoria de conjuntos (véase conjunto no medible), en realidad es imposible asignar una Jongitud de todos los subconjuntos de R de una manera que conserva algunos de aditividad y la traduccién de invariancia propiedades naturales. Esto sugiere que la seleccion de un clase adecuada de subconjuntos medibles es un requisito esencial. La integral de Riemann utiliza la nocién de longitud de forma explicita. De hecho, el elemento de célculo de la integral de Riemamn es el rectangulo fa, b/ x [c,d], cuya drea se calcula que (b - a) (d - c). La cantidad b - a es la longitud de la base del rectangulo y d - c es la altura del rectingulo. Riemam sélo podia utilizar rectdngulos planos para aproximar el 4rea bajo la curva, porque no habia una teoria adecuada para la medicion de los conjuntos mais generales. En el desarrollo de la teoria en la mayoria de los libros de texto modernos (después de 1950), el enfoque para medir y la integracién es axiomdtico. Esto significa que una medida es cualquier fancién p definida en un cierto X clase de subconjuntos de un conjunto E, que satisface una cierta lista de propiedades. Esta propiedades se pueden mostrar para mantener en muchos casos diferentes. Integra hpsrachegolear.usimodklesies-vikipedia for schoolsvaiiLebesgue_inegrationtim ana2ae2016 Integracion de Lebesgue Empezamos con una espacio de medida (E, X, 1) donde E es un conjunto , X’es una o~dlgebra de subconjuntos de E y 41 es una (no negativo) medir en E, definido en los sets de X. Por ejemplo, £ puede ser euclidiano n-espacio R " o algin Lebesgue subconjunto medible de la misma, sera el X. o-dlgebra de todos los subconjuntos medibles Lebesgue de £ y 1 serd el Medida de Lebesgue. En la teoria matemitica de la probabilidad, nos limitamos nuestro estudio a una probabilidad medida 1, que satisface y (E) = 1. En ka teoria de Lebesgue, integrales se definen para una clase de finciones llamado fimciones medibles. Una fincién f es medible si el pre-imagen de cada intervalo de la forma (1, 20) est en X: {x | f(x) >t}eEX forallteR. Se puede demostrar que esto es equivalente a requerir que el pre-imagen de cualquier Borel subconjunto de R sea en X. Vamos a hacer esta suposicion en adelante, El conjunto de fimciones medibles es cerrado bajo las operaciones algebraicas, pero lo mis importante de la clase se cierra bajo diversos tipos de Pointwise limites secuenciales: sup fe, liminf fy, limsup fe keN kEN keN se pueden medir siel g secuencia original f 4), donde k € N, se compone de finciones medibles. Construimos una integral [fan = ft) waz) f= Je para funciones reales medibles f definida en E en etapas: Indicador Funciones: Para asignar un valor a la integral de la fimci6n indicadora 1 ¢ de un conjunto S medible en consonancia con la medida dada p, la tnica opcién razonable es establecer: [isan = p(S). Observe que el resultado puede ser igual a + 0, a menos que j1 es una medida finita. Funciones simples: Un finito combinacién lineal de funciones de los indicadores hpsrachegolear.usimodklesies-vikipedia for schoolsvaiiLebesgue_inegrationtim sa2ae2016 Integracion de Lebesgue Vials, rs donde los coeficientes a , son nimeros reales y los conjuntos S , son medibles, que se lama una medible funcién simple. Extendemos la integral de linealidad para finciones simples medibles no negativas. Cuando los coeficientes a ; no son negativos, establecemos [ (Sats) du Saw f ts.du ue H(Sp). La convencién 0 x «0 = 0 debe ser utilizado, y el resultado puede ser infinita, Incluso si una fimcién simple se puede escribir de muchas maneras como una combinaciin lineal de las funciones del indicador, la integral serd siempre el mismo; esto se puede demostrar mediante la propiedad de aditividad de las medidas. Se necesita un cierto euidado al definr integral de una fimcién simple de valor real, para evitar la expresién indefinida oo - 20: Se supone que la representacién f=YVals, k es tal que jt (S gy 0 Fr) = 90 otherwise _-.) _ f-fla). if f(x) <0 FM=4 “0” otherwise Tenga en cuenta que tanto f~* f” son finciones medibles no negativas. También tenga en cuenta que latter. Decimos que existe la integral de Lebesgue de la finciin medible f; 0 se define si al menos uno de { fo dy | Fo dyes finito: min (fr ay, ff dn) <0. En este caso definimos [idee [rae fran. [flan < ce, decimos que f es integrable Lebesgue. Si Resuita que esta definicién da las propiedades deseables de la integral. hpsrachegolear.usimodklesies-vikipedia for schoolsvaiiLebesgue_inegrationtim ma2ae2016 Integracion de Lebesgue Complejas funciones con valores pueden ser integrados de manera similar, teniendo en cuenta la parte real y la parte imaginaria por separado. Ejemplo Considera el funcién de indicador de los nimeros racionales, 1 g, Esta fimcién es ninguna parte continua = 1qNo es-Riemann integrable en [0,1]:No importa cémo se reparte el conjunto [0,1] en subintervalos, cada particién contiene al menos un racional y al ‘menos un nimero itracional, porque los racionales y los irracionales son a la vez denso en los reales. Por lo tanto la parte superior Sumas Darboux todos seran uno, y las sumas inferiores Darboux todos seran cero. = 1 ges Lebesgue integrable en [0,1] con la Medida de Lebesgue: De hecho, es la fimeiin indicadora de los racionales asi por detinicion Jf toau= (Qn 00.1) = (0.1) porque Q es contable. Dominio de la integracién Un problema técnico en ka integracion de Lebesgue es que el dominio de la integracién se define como un conjunto (un subconjunto de un espacio de medida), sin nocién de orientacién, En célculo elemental, se define la integracién con respecto a una Orientacién: [refs Generalizando esta a las dimensiones mayores rendimientos integracién de formas diferenciales. Por el contrario, la integracién de Lebesgue proporciona una generalizacién aternativa, integrando sobre subconjuntos con respecto a una medida; esto puede ser anotada como [i fae= [gf para indicar integracién sobre un subconjunto 4. Para mis detalles sobre la relacién entre estas generalizaciones, consuite Forma diferencial: Relacién con las medidas. hpsrachegolear.usimodklesies-vikipedia for schoolsvaiiLebesgue_inegrationtim ana82018 grain de Lebease Limitaciones de la integral de Riemann Aqui hablamos de las limitaciones de la integral de Riemann y el mayor alcance que offece la integral de Lebesgue. Partimos de una comprensidn de trabajo de la Integral de Riemann, Con el advenimiento de Series de Fourier, muchos problemas analiticos relacionados con ks integrales acereé cuya solucién satisfactoria requiere intercambiar procesos limite y signos integrales. Sin embargo, las condiciones en que las integrales © | tala)ae, / [= s00] de son iguales resulté bastante dificil de aleanzar en el marco de Riemann. Hay algunas otras dificultades técnicas con la integral de Riemann. Estos estan vinculados con ka dificutad limite de toma discutido anteriormente. El fallo de la convergencia monétona, Como se muestra anteriormente, la funcién indicadora | g en los racionales no es Riemann integrable. En particular, la Teorema de la convergencia monétona fall. Para ver por qué, sea q, una enumeracién de todos los nimeros racionakes en [0,1] (que son contable asi que esto se puede hacer.) Luego deje _ fi ifesa,j 1 para casitodo x € A. Entonces lim | fedp > (A). Para demostrar este resultado, fijar «> 0 y definir la secuencia de conjuntos edibles Be={xe A: fi(x) 21- Por monotonicidad de la integral, se deduce que para cualquier k € N, (1=2)a(By) = [= )aedn sf fad Debido a que casi todo x estarin en B , para k suficientemente grande, tenemos hpsrachegolear.usimodklesies-vikipedia for schoolsvaiiLebesgue_inegrationtim raneIntegracion de Lebesgue hasta un conjunto de medida 0. Asi por aditividad numerable de jt, y porque B ; aumenta con k, “fea. Como esto es cierto para cualquier ¢ positivo el resultado sigue. n(A) = lim (By) < lim(1 - Formulaciones alternativas Es posible desarrollar la integral con respecto a la medida de Lebesgue sin depender de la maquinaria completa de teoria de la medida. Uno de tales enfoques es proporcionada por el Daniell integral También hay un enfoque alternativo para el desarrollo de la teoria de la integracién a través de métodos de andlisis fimeional. Existe la integral de Riemann para cualquier funcién f continua de soporte compacto definido en R " (0 un subconjunto abierto fijo). Integrales de funciones mais generales se pueden construit a partir de estas integrales Sea C ¢ el espacio de todas ls finciones continuas con soporte compacto con valores reales de R. Definir una norma en C , por isl = f irtelae. Entonces C , es un espacio vectorial normado (y, en particular, es un espacio métrico.) Todos los espacios métricos tienen Terminaciones Hausdorff, asi que vamos / ser su finaliza Este espacio es isomorfo al espacio de fianciones integrables Lebesgue modulo el subespacio de fimciones con cero integral. Ademis, 1a integral J Riemann es una uniformemente continua funcional con respecto a la norma en C ,, que es denso en L ! Por lo tanto J tiene una extensién tinica para todos “/- Esta integral es precisamente la integral de Lebesgue. ‘Mis generalmente, cuando el espacio de medida en la que se definen las finciones es también una localmente compacto espacio topoligico (como es el caso con Jos nimeros reales R), las medidas compatibles con la topologia en un sentido adecuado ( Medidas de Radon, de los cuales la medida de Lebesgue es un ejemplo) una integral con respecto a ellos se pueden definir de la misma manera, a partir de las integrales de finciones continuas con soporte compacto. Mas precisamente, las fimciones de soporte compacto forman un espacio vectorial que lleva un naturales topologia, y un (radén) medida se define como un continuo fincional lineal en hpsrachegolear.usimodklesies-vikipedia for schoolsvaiiLebesgue_inegrationtim sanaaas0018 iisgracinde Lebesgue este espacio. El valor de una medida en una fimcién de soporte compacto es entonces también, por definicién, la integral de la fncién. Uno procede entonces para expandir la medida (la integral) a las fimciones mis generales por la continuidad, y define la medida de un conjunto como la integral de la fimcidn de indicador. Este es el enfoque adoptado por Bourbaki (2004) y un cierto némero de otros autores. Para mis detalles ver Medidas de Radon, Limitaciones de la integral de Lebesgue Elobjetivo principal de integral de Lebesgue es proporcionar una notacin integral donde los limites de integrales tienen bajo supuestos leves. No hay garantia de que cada fincién es integrable Lebesgue. Puede suceder que existen (Riemann) integrales impropias de funciones que no son de Lebesgue integrable. Un ejemplo seria sin(x) _— Esta fimcién no es integrable Lebesgue como / Por otra parte, existe como una inadecuada integral de Riemann y la integral se puede calcular para ser finto. Un concepto equivalente de integral impropia Lebesgue no existe porque la perspectiva es innecesaria desde el punto de vista de los teoremas de convergencia. sin(x) x dj = co. Recuperado de " http:/en. wikipedia. org/w/index. php ?title-Lebesgue_integration&oldid-547598577 " Wikipedia para las escuelas es una seleccién tomada de la original en el idioma Inglés Wikipedia por la caridad de patrocinio de nifios SOS Children . Fue creado como una rmarcada y recurso didéctico para nies para su uso en las escuelas en elmundo en desarrollo y beyond Sources y autores se pueden encontrar en www.Wwikipedia.org. Ver también nuestro Aviso Legal . Estos articulos estan disponibles en la versi6n de Creative Commons Atrbucién-Compartr [gual 30 Unported Licencia . Fn este aticulo se obtuvo de http://en.wikipedia.org/?oldid=547598577. hpsrachegolear.usimodklesies-vikipedia for schoolsvaiiLebesgue_inegrationtim sana