Está en la página 1de 13

DEFINICIONES ORIGINALES DE LA INTEGRAL Y MEDIDA DE LEBESGUE

FERNANDO GALAZ-GARCIA Resumen. Hacemos algunos comentarios sobre el art culo en el que H. Lebesgue deni por primera vez su integral y establecemos la equivalencia de su denio cin original de medida con deniciones posteriores. o

1.

Introduccion

Henri Lebesgue (18751941) no era entusiasta de las generalizaciones. Alguna vez escribi que, reducida a teor generales, las matemticas ser una hero as a an mosa forma sin contenido [10]. Sin embargo, su contribucin ms importante a o a la matemtica fue, precisamente, una generalizacin. La teor de integracin dea o a o sarrollada por Lebesgue extendi la teor de Riemann a una clase ms amplia de o a a funciones. Aunque esta ampliacin es util por s misma, su virtud principal es que o los teoremas relacionados con el intercambio del l mite y la integral son vlidos a bajo condiciones ms generales que las requeridas por la integral de Riemann. Esto a permiti un gran avance en el estudio de las series trigonomtricas, fundamentales o e en el anlisis de Fourier. Esta rama del anlisis vio gran actividad a principios del a a siglo XX y fue de particular inters para Lebesgue a lo largo de su carrera. e Lebesgue dio a conocer con detalle su teor de integracin en su tesis doctoral a o Intgrale, longueur, aire [7], presentada en la Universidad de Nancy en 1902. Sin e embargo, fue en 1901, en su nota Sur une gnralisation de lintgrale dnie [6] e e e e aparecida en los Comptes Rendus de la Academia de Ciencias de Par cuando s, expuso por primera vez una s ntesis de sus resultados. La lectura de este documento histrico es de gran inters, pues se trata de la primera manifestacin de las ideas o e o que dieron origen a lo que hoy se conoce como medida e integral de Lebesgue. En las secciones siguientes haremos algunos comentarios sobre el art culo original de Lebesgue y demostraremos la equivalencia entre la denicin original de medida que o dio Lebesgue en [6] y otras deniciones ms familiares, debidas al mismo Lebesgue a y a Carathodory. El texto que en las pginas siguientes aparece entre comillas e a pertenece a la nota original [6], cuya traduccin incluimos en el apndice A. o e 2. Primitivas e integral de Riemann

Comencemos por recordar algunas deniciones bsicas en la teor de integracin. a a o Tomemos un intervalo [a, b] en R, con a b, y consideremos una funcin f : [a, b] o R. Diremos que una funcin F es una primitiva de f si o F (x) = f (x), a x b.
2000 Mathematics Subject Classication. Primary 26-03; Secondary 01-01 26A42. Parte de este trabajo fue escrito con apoyo del CONACYT, Mxico. e
1

FERNANDO GALAZ-GARCIA

Al inicio de su nota, Lebesgue observa que en el caso de las funciones continuas, hay identidad entre las nociones de integral y de funcin primitiva. Esto es resulo tado de que toda funcin continua es integrable en el sentido de Riemann y, como o consecuencia del teorema fundamental del clculo, su integral es una primitiva. a La teor de integracin de Riemann es capaz de tratar con una clase de funa o ciones ms amplia que la de las funciones continuas. Por ejemplo, es suciente que a f : [a, b] R sea montona para que su integral de Riemann exista. Sin embargo, la o integral de Riemann tiene algunas debilidades. De entre ellas, Lebesgue hace notar que no todas las funciones derivadas son integrables, en el sentido de Riemann. Histricamente, los primeros ejemplos de funciones con tal propiedad fueron funo ciones derivables cuya derivada no es acotada. Es claro, en este caso, que la derivada no es integrable en el sentido de Riemann. Una de estas funciones es f (x) = x2 sen(1/x2 ) , 0 , 0<x1 . x=0

Teniendo en cuenta este ejemplo, resulta natural formular la siguiente pregunta: existen funciones cuya derivada sea acotada pero no integrable en el sentido de Riemann? El matemtico italiano Vito Volterra (18601940) dio solucin a este a o problema al construir una funcin con estas propiedades (cf. [17]). La construccin o o moderna del ejemplo de Volterra es algo laboriosa y utiliza algunas herramientas de teor de la medida, razn por la cual es presentada en el apndice B. a o e Existen tambin funciones integrables en el sentido de Riemann y que no poseen e primitiva. Tomemos, por ejemplo, las funciones g(x) = sen(1/x) , 1 , g(x) , 0 , 0<x1 ; x=0 0<x1 . x=0

f (x) =

No es dif vericar que f y g son integrables en el sentido de Riemann. Consicil deremos ahora la funcin o h(x) = x2 cos(1/x) , 0 ,
x

0<x1 ; x=0

esta funcin es derivable y h = + f , donde es continua. Luego o (x) =


0

(t)dt,

0x1

es una primitiva de y, en consecuencia, h es una primitiva de f . Supongamos ahora que g tiene primitiva. Entonces tambin la tendr g f , que toma unicamente e a los valores 0 y 1. Esto contradice el teorema del valor intermedio de Darboux para derivadas, que nos asegura que si una funcin derivada toma dos valores, entonces o toma tambin todos los valores intermedios. Otro ejemplo de una funcin integrable e o en el sentido de Riemann y sin primitiva es el de una funcin continua en [a, b] salvo o en un nmero nito de puntos, en donde las discontinuidades son de salto. Esta u funcin es integrable en el sentido de Riemann. Por otra parte, se sigue del teorema o del valor intermedio de Darboux para derivadas que tal funcin no posee primitiva. o

DEFINICIONES ORIGINALES DE LA INTEGRAL Y MEDIDA DE LEBESGUE

Estos ejemplos nos indican que la teor de integracin de Riemann no resuelve a o por completo el problema de la bsqueda de primitivas. Al parecer, fue Volterra u el primero en hacer notar la posibilidad de generalizar el concepto de integral ms a all de la denicin dada por Riemann, al escribir en [17] que en algunos casos, a o puede suceder que la denicin ordinaria de integral [en trminos de una funcin o e o primitiva] no est incluida en aqulla de Riemann... (citado en [5], p. 57); en e e palabras del propio Lebesgue: podemos desear una denicin de la integral que o comprenda como caso particular a la de Riemann y que permita resolver el problema de las funciones primitivas. 3. La definicion de Lebesgue

Recordemos cmo se dene la integral de Riemann; con este propsito, siguiendo o o a Lebesgue, consideramos una funcin continua y creciente o y : [a, b] R , y dividimos el intervalo (a, b) en intervalos parciales y hacemos la suma de las cantidades obtenidas al multiplicar la longitud de cada intervalo parcial por uno de los valores de y cuando x est en ese intervalo. Esto equivale a tomar una particin a o {a0 , a1 , . . . , an } de [a, b], donde a = a0 < a1 < . . . < an = b, y considerar las sumas de la forma
n

S=
i=0

y(xi )(ai+1 ai ) ,

donde xi est en [ai , ai+1 ]. Tras un proceso que involucra el renamiento de la a b particin y el paso al l o mite, obtenemos a y(x)dx, la integral de Riemann de y. Usando la misma idea que Riemann, Gastn Darboux (1842-1917) deni las o o integrales por defecto y por exceso, tambin conocidas como integral inferior e e integral superior, respectivamente. Para denir estas integrales, denotemos por mi al nmo y por Mi al supremo de y en el subintervalo [ai , ai+1 ]. Al igual que con la integral de Riemann, consideramos las sumas de la forma
n

=
i=0 n

mi (ai+1 ai ), Mi (ai+1 ai ) .
i=0

S Observemos que

S S S, independientemente de la eleccin de subintervalos. Denimos entonces la integral o inferior de y por


b

y(x)dx = sup S,
a

donde hemos tomado el supremo sobre todas las posibles colecciones de subintervalos de [a, b]. De manera similar, denimos la integral superior de y por
b

y(x)dx = inf S.
a

FERNANDO GALAZ-GARCIA

Notemos que siempre se cumple


b b

(3.1)
a

y(x)dx
a

y(x)dx.

Las integrales inferior y superior tienen el mismo valor unicamente cuando la inte gral de Riemann existe; en este caso las tres integrales coinciden. La funcin de Dirichlet, denida en [a, b] por o f (x) = 0 1 , x irrracional , x racional ,

nos muestra claramente que es posible tener una desigualdad estricta en (3.1). En consecuencia, la integral de Riemann de f no existe. Notemos ahora que, si x est en el intervalo (ai , ai+1 ), y var entre ciertos a a l mites mi , mi+1 , y rec procamente si y est entre mi y mi+1 , x est entre ai y a a ai+1 . Al tomar la divisin de la variacin en x, es decir, los nmeros ai , como o o u punto de partida para la denicin de integral obtenemos las construcciones hechas o por Riemann y por Darboux. Por otra parte, tambin hubiramos podido tomar la e e divisin de la variacin de y, es decir, los nmeros mi . Esta es precisamente la o o u idea en que est basada la integral de Lebesgue. a Veamos cmo dene Lebesgue esta integral. Con este n, supongamos que y : o [a, b] R es tal que m y(x) M, axb, donde < m, M < . Tomemos m1 , . . . , mp tales que m = m0 < m1 < m2 < . . . < mp1 < M = mp . Consideremos ahora los conjuntos E0 (3.2) Ei = y 1 (m), = y 1 ((mi1 , mi ]), i = 1, . . . , p.

Hemos ilustrado este proceso en la gura 1. Antes de denir la medida 0 , i de los conjuntos E0 , Ei , consideremos una u otra de dos sumas m0 0 + mi i ; m0 0 + mi1 i ; si, cuando la diferencia mxima entre dos mi consecutivos tiende a cero, estas a sumas tienden a un mismo l mite independiente de los mi elegidos, este l mite ser por denicin la integral de y, que ser llamada integrable. a o a Enunciada ya la denicin de integral, hagamos una pausa para ver, de forma o intuitiva, la diferencia fundamental entre la integral de Riemann y la integral de Lebesgue. En un art culo publicado en 1927 [9], Lebesgue compara el proceso de integracin con el de contar cunto dinero tenemos en un conjunto de monedas de o a distintas denominaciones. Integrar a la manera de Riemann corresponder con ir a sumando los valores de las monedas en el orden en que stas se nos van presentane do. Por otra parte, para integrar a la manera de Lebesgue, primero agrupamos las monedas por su denominacin y contamos cuntas monedas de cada tipo tenemos, o a por ejemplo: n1 monedas de 1 peso, n2 monedas de 2 pesos, y as hasta agrupar todas las denominaciones; despus sumamos 1(n1 ) + 2(n2 ) + . . . hasta terminar. La e manera de Lebesgue parece ms eciente! a

DEFINICIONES ORIGINALES DE LA INTEGRAL Y MEDIDA DE LEBESGUE

Figura 1. Construccin de la integral de Lebesgue o

4.

Como medimos los conjuntos?

Para poder calcular la integral que denimos debemos primero especicar cunto a miden los conjuntos E0 , Ei , denidos en (3.2). Es la necesidad de asignarle una medida a estos conjuntos lo que motiva a Lebesgue a estudiar la medida de subconjuntos de [a, b]. Ms adelante el problema de medir conjuntos arbitrarios tomar a a importancia por s mismo, desarrollndose as la teor de la medida. a a Para asignar una medida a los subconjuntos de [a, b], consideremos un conjunto de puntos de (a, b); podemos encerrar de una innidad de maneras estos puntos en una innidad numerable de intervalos; el l mite inferior de la suma de las longitudes de estos intervalos es la medida del conjunto. A esta medida se le conoce con el nombre de medida exterior ; para E R, se dene actualmente como

m (E) = inf{
n=1

(In ) : E
n=1

In } ,

donde In = (an , bn ), < an bn < y (In ) = bn an . Es inmediato de esta denicin que la medida exterior del conjunto vac y la de un punto son cero. o o Asimismo, m ((a, b)) = m ([a, b]) = ba y, si E1 E2 , entonces m (E1 ) m (E2 ). Llamamos a esta ultima propiedad monoton Otra caracter a. stica fundamental de la medida exterior es la -subaditividad : si {En } es una familia numerable de

FERNANDO GALAZ-GARCIA n=1

subconjuntos de R y E

En , entonces

m (E)
n=1

m (En ).

El lector puede consultar la demostracin de esta propiedad de la medida exterior o en cualquier texto que trate la medida de Lebesgue, por ejemplo, [1], [4] [14]. o Lebesgue dene que E (a, b) es medible si su medida aumentada con la del conjunto de puntos que no forman parte de E da la medida de (a, b). Esto es, si (4.1) m ((a, b)) = m (E) + m ((a, b) E c ) . Observemos que la clase de subconjuntos medibles de (a, b) es diferente del vac o, pues contiene por lo menos al conjunto vac ya que o, m () + m ((a, b)) = m ((a, b)) . Actualmente decimos que E R es medible si, para todo A R, se cumple que (4.2) m (A) = m (A E) + m (A E c ). Constantin Carathodory (1873-1950) dio a esta propiedad carcter de denicin e a o en su libro Vorlesungen uber reelle Funktionen [2], publicado por primera vez en 1918. En [7] Lebesgue enunci otra de las deniciones modernas de medibilidad. o Esta involucra la medida interior de un conjunto E R, que denotamos por m (E) y denimos como m (E) = sup{m (F ) : F E, F es cerrado}. Observemos que m (E) m (E). En trminos de medida exterior y medida interior, diremos que un conjunto E e tal que m (E) < es medible si (4.3) m (E) = m (E). Tenemos entonces tres deniciones distintas de medibilidad, dadas por (4.1), (4.2) y (4.3). Son equivalentes? Demostraremos en seguida que, en el caso de conjuntos acotados, las tres deniciones coinciden. Sin embargo, antes de poner manos a la obra debemos desarrollar algunas herramientas que nos sern de utilidad en la a demostracin de este resultado. o Dados dos conjuntos E1 , E2 R, la medida exterior satisface la desigualdad (4.4) m (E1 E2 ) + m (E1 E2 ) m (E1 ) + m (E2 ). Demostremos esta desigualdad partiendo del hecho de que, cuando U y V son conjuntos abiertos, (4.5) m (U V ) + m (U V ) = m (U ) + m (V ) (cf. [1], p. 10). Si alguno de los conjuntos E1 , E2 tiene medida exterior innita, la desigualdad se cumple de manera trivial. Supongamos ahora que E1 y E2 tienen medida exterior nita. Fijemos > 0. La denicin de medida exterior implica o que existen colecciones numerables de intervalos abiertos {Ik } y {Jl } tales que E1 k=1 Ik , E2 l=1 Jl y

(Ik ) < m (E1 ) + /2,


k=1 l=1

(Jl ) < m (E2 ) + /2.

DEFINICIONES ORIGINALES DE LA INTEGRAL Y MEDIDA DE LEBESGUE

Notemos que U

k=1 Ik

yV

l=1

Jl son conjuntos abiertos tales que E1 E2 U V.

E1 E2 U V,

La denicin de la medida exterior implica que o m (U )


k=1

(Ik ),

m (V )
l=1

(Jl ).

Por otra parte, por la monoton de la medida exterior, a m (E1 E2 ) m (U V ), m (E1 E2 ) m (U V ). m (U V ) + m (U V ) m (U ) + m (V )


Luego, a partir de (4.5) y las dos desigualdades anteriores, obtenemos que m (E1 E2 ) + m (E1 E2 ) =
k=1

(Ik ) +
l=1

(Jl )

m (E1 ) + m (E2 ) + .

Finalmente, haciendo 0 obtenemos la desigualdad (4.4). Podemos tambin comparar las medidas exterior e interior de dos conjuntos e disjuntos E1 , E2 R mediante la desigualdad (4.6) m (E1 E2 ) m (E1 ) + m (E2 ) m (E1 E2 ) (cf. [1], p. 16 [14], p. 320). Estamos listos ahora para enunciar y demostrar nuestro o teorema: Teorema 4.1. Sea E (a, b). Las siguientes propiedades son equivalentes: i) (Lebesgue, 1901) m ((a, b)) = m ((a, b) E) + m ((a, b) E c ). ii) (Lebesgue, 1902) m (E) = m (E). iii) (Carathodory, 1918) Para todo A R, e m (A) = m (A E) + m (A E c ). Demostracin. i) ii). Por hiptesis, o o m ((a, b)) = = m ((a, b)) = = m ((a, b) E) + m ((a, b) E c ) m (E) + m ((a, b) E c ). m ((a, b) E) + m ((a, b) E c ) m (E) + m ((a, b) E c )

Por otra parte, no es dif ver que cil

(cf. [1], p. 13). Como todos los conjuntos involucrados tienen medida exterior nita, las igualdades anteriores implican que m (E) = m (E).

FERNANDO GALAZ-GARCIA

ii) iii). Fijemos A R y observemos que A es la unin disjunta de los conjuntos o A E y A E c . Se sigue de la -subaditividad que m (A) m (A E) + m (A E c ). Probemos ahora la desigualdad en direccin opuesta. A partir de la desigualdad o (4.6), tenemos que m ((A E c ) E) m (A E c ) + m (E). Por hiptesis, m (E) = m (E), de manera que o m ((A E c ) E) m (A E c ) + m (E). De la desigualdad (4.4), m (A) + m (E) m (A E) + m ((A E c ) E). Combinando las ultimas dos desigualdades, m (A) + m (E) m (A E) + m (A E c ) + m (E). Como E (a, b), entonces m (E) < y se sigue que m (A) m (A E) + m (A E c ). Por lo tanto, m (A) = m (A E) + m (A E c ). iii) i). Inmediato, tomando A = (a, b). Es natural preguntarnos qu propiedades tienen los conjuntos medibles. Lebesgue e distingue tres propiedades fundamentales: estando dada una innidad de conjuntos medibles Ei , el conjunto de puntos que forman parte de al menos uno de ellos es medible; si los Ei no tienen dos a dos ningn punto en comn, la medida del conjunu u to obtenido es la suma de las medidas Ei . El conjunto de puntos comunes a todos los Ei es medible. Observemos que, cuando Lebesgue habla de una innidad de conjuntos medibles, se reere a una innidad numerable. Las propiedades primera y tercera, junto con el hecho de que el conjunto vac es medible, estn estrechamente o a relacionadas con que la clase de conjuntos medibles es una -lgebra. Notemos tama bin que la segunda de las propiedades que menciona Lebesgue corresponde a la e -aditividad de la medida. 5. Funciones medibles

Ahora que sabemos cmo medir subconjuntos de [a, b], estamos casi listos para o calcular la integral. Nos resta ver para qu funciones existe la integral que hemos e denido. Con este n, es natural considerar primero las funciones tales que los conjuntos que guran en la denicin de la integral sean medibles. Encontramos o que: si una funcin acotada superiormente en valor absoluto es tal que cualesquiera o que sean A y B, el conjunto de valores de x para los cuales tenemos A < y B es medible, sta es integrable por el procedimiento indicado. Una funcin tal e o ser llamada sumable. Es importante notar que todas las funciones que Lebesgue a considera son acotadas. Teniendo esto en cuenta, es fcil ver que actualmente nos a referimos a las funciones que Lebesgue nombra sumables como funciones medibles a (cf. [5], p. 125). Por lo tanto, en los prrafos siguientes, en donde hemos citado a Lebesgue la palabra sumable tiene el signicado moderno de medible. Sugerimos al

DEFINICIONES ORIGINALES DE LA INTEGRAL Y MEDIDA DE LEBESGUE

lector tener esto presente al leer el resto de esta seccin, con el objeto de evitar o confusiones. Lebesgue observa que la integral de una funcin sumable est comprendida entre o a la integral por defecto y por exceso. Esto implica que toda funcin integrable en el o sentido de Riemann es sumable, ya que el conjunto de sus puntos de discontinuidad es de medida nula, y podemos demostrar que si, haciendo la sustraccin de un o conjunto de valores de x de medida nula, permanece un conjunto en cada punto del cual una funcin es continua, esta funcin es sumable. Esta observacin nos o o o permite inmediatamente formar funciones que no son integrables en el sentido de Riemann y, sin embargo, son medibles e integrables en el sentido de Lebesgue. El ejemplo que da Lebesgue en su nota, ahora clsico, es el de la funcin f : [a, b] R a o dada por 0 , x irracional f (x) = . 1 , x racional Como vimos en 4, la integral de Riemann de esta funcin no existe; por otra parte, o es fcil ver que su integral (de Lebesgue) es cero. Con esto queda establecido que la a integral que deni Lebesgue es, en efecto, una generalizacin propia de la integral o o de Riemann. Lebesgue hace mencin de dos propiedades de las funciones medibles: o Si f y son sumables, f + y f lo son y la integral de f + g es la suma de las integrales de f y de . Si una sucesin de funciones sumables tiene un l o mite, ste es una funcin e o sumable. Es claro que el conjunto de funciones medibles contiene a y = k y y = x. Como consecuencia del primer resultado, los polinomios son funciones sumables. Usando el teorema de aproximacin de Weierstrass y aplicando el segundo resultado, o concluimos que las funciones continuas son medibles. Siguiendo este procedimiento, encontramos que el conjunto de funciones medibles contiene todos los l mites de funciones continuas, es decir, las funciones de primera clase (ver Baire, Annali di Matematica, 1899), contiene todas aqullas de segunda clase, etc.. e En particular, toda funcin derivada, acotada superiormente en valor absoluto, o siendo de primera clase, es sumable y podemos demostrar que su integral considerada como funcin de su l o mite superior, es una de sus funciones primitivas. En este ultimo prrafo, Lebesgue anuncia la solucin del problema que plante al a o o inicio de su nota: encontrar una generalizacin de la integral de Riemann que reo suelva el problema de las funciones primitivas. 6. Comentarios finales

La integral y medida de Lebesgue son la culminacin de una serie de ideas o cuyos or genes llegan hasta los matemticos griegos Eudoxo de Cnido (408 a.C.355 a a.C.) y Arqu medes de Siracusa (287 a.C.212 a.C.), pasando por las contribuciones fundamentales de Augustin Cauchy (17891857), Bernhard Riemann (18261866) y Emile Borel (18711956). El lector puede encontrar un breve bosquejo de la o evolucin del concepto de integral y medida en [15]. Para un marco histrico de o las ideas de Lebesgue y, en general, del gnesis de la teor de integracin, puede e a o consultarse [5]. El lector interesado en datos biogrcos de Lebesgue puede consultar a [3], [13] el ensayo de K. May en [11]. Por supuesto, no podemos dejar de referir al o

10

FERNANDO GALAZ-GARCIA

lector a los textos del mismo Lebesgue (e.g. [9], [8], [11], [12]), quien escribi bastante o sobre sus propios trabajos. Agradecimientos. Una primera versin de este trabajo fue escrita a sugerencia de o V ctor Prez-Abreu en el ultimo ao de licenciatura del autor en la Facultad de e n Matemticas de la Universidad de Guanajuato-CIMAT. El autor agradece tambin a e a Fernando Galaz Fontes la lectura de varias versiones de este manuscrito. Apendice A.

Sobre una generalizacin de la integral denida o


Nota del Sr. H. Lebesgue presentada por el Sr. Picard ante la Acadmie des Sciences. e 29 de abril de 1901 En el caso de las funciones continuas, hay identidad entre las nociones de integral y de funcin primitiva. Riemann ha denido la integral de ciertas funciones o discontinuas, pero no todas las funciones derivadas son integrables, en el sentido de Riemann. El problema de la bsqueda de funciones primitivas no es entonces u resuelto por la integracin, y podemos desear una denicin de la integral que como o prenda como caso particular a la de Riemann y que permita resolver el problema de las funciones primitivas 1. Para denir la integral de una funcin continua creciente o y(x) (a x b), dividimos el intervalo (a, b) en intervalos parciales y hacemos la suma de las cantidades obtenidas al multiplicar la longitud de cada intervalo parcial por uno de los valores de y cuando x est en ese intervalo. Si x est en el intervalo (ai , ai+1 ), y a a var entre ciertos l a mites mi , mi+1 , y rec procamente si y est entre mi y mi+1 , x a est entre ai y ai+1 . De manera que en lugar de darse la divisin de la variacin de a o o x, es decir, de darse los nmeros ai hubiera podido darse la divisin de la variacin u o o de y, es decir, los nmeros mi . De ah dos maneras de generalizar la nocin de u o integral. Sabemos que la primera (darse los ai ) conduce a la denicin dada por o Riemann y a las deniciones de integrales por exceso y por defecto dadas por el Sr. Darboux. Veamos la segunda. Sea y una funcin comprendida entre m y M . Dmonos o e m = m0 < m1 < m2 < . . . < mp1 < M = mp ; y = m cuando x forma parte de un conjunto E0 ; mi1 < y mi cuando x forma parte de un conjunto Ei . Deniremos ms adelante las medidas 0 , i de estos conjuntos. Consideremos a una u otra de dos sumas m0 0 + mi i ; m0 0 + mi1 i ; si, cuando la diferencia mxima entre dos mi consecutivos tiende a cero, estas a sumas tienden a un mismo l mite independiente de los mi elegidos, este l mite ser por denicin la integral de y, que ser llamada integrable. a o a
1Estas dos condiciones impuestas a priori a toda generalizacin de la integral son evidenteo mente compatibles, porque toda funcin derivada integrable, en el sentido de Riemann, tiene por o integral una de sus funciones primitivas.

DEFINICIONES ORIGINALES DE LA INTEGRAL Y MEDIDA DE LEBESGUE

11

Consideremos un conjunto de puntos de (a, b); podemos encerrar de una innidad de maneras estos puntos en una innidad numerable de intervalos; el l mite inferior de la suma de las longitudes de estos intervalos es la medida del conjunto. Un conjunto E es llamado medible si su medida aumentada con la del conjunto de puntos que no forman parte de E da la medida de (a, b) 2. He aqu dos propiedades de estos conjuntos: estando dada una innidad de conjuntos medibles Ei , el conjunto de puntos que forman parte de al menos uno de ellos es medible; si los Ei no tienen dos a dos ningn punto comn, la medida del conjunto obtenido es la suma de las u u medidas Ei . El conjunto de puntos comunes a todos los Ei es medible. Es natural considerar primero las funciones tales que los conjuntos que guran en la denicin de la integral sean medibles. Encontramos que: si una funcin acotada o o superiormente en valor absoluto es tal que cualesquiera que sean A y B, el conjunto de valores de x para los cuales tenemos A < y B es medible, sta es integrable e por el procedimiento indicado. Una funcin tal ser llamada sumable. La integral o a de una funcin sumable est comprendida entre la integral por defecto y la integral o a por exceso. De tal suerte que, si una funcin integrable en el sentido de Riemann es o sumable, la integral es la misma con las dos deniciones. O, toda funcin integrable o en el sentido de Riemann es sumable, ya que el conjunto de sus puntos de discontinuidad es de medida nula, y podemos demostrar que si, haciendo la sustraccin de o un conjunto de valores de x de medida nula, permanece un conjunto en cada punto del cual una funcin es continua, esta funcin es sumable. Esta propiedad permite o o formar inmediatamente funciones no integrables en el sentido de Riemann, y sin embargo sumables. Sean f (x) y (x) dos funciones continuas, (x) no siendo siempre nula; una funcin que no diere de f (x) ms que en los puntos de un conjunto o a de medida nula denso en todas partes y que en estos puntos es igual a f (x) + (x) es sumable sin ser integrable en el sentido de Riemann. Ejemplo: La funcin igual o a 0 si x irracional, igual a 1 si x racional. El proceso de formacin anterior muestra o que el conjunto de funciones sumables tiene una cardinalidad superior al continuo. He aqu dos propiedades de las funciones de este conjunto. 1. 2. Si f y son sumables, f + y f lo son y la integral de f + es la suma de las integrales de f y de . Si una sucesin de funciones sumables tiene un l o mite, ste es una funcin e o sumable.

El conjunto de funciones sumables contiene evidentemente y = k y y = x; luego, de acuerdo a 1., contiene todos los polinomios y como, de acuerdo a 2., contiene todos sus l mites, contiene por lo tanto todas las funciones continuas, todos los l mites de funciones continuas, es decir, las funciones de primera clase (ver Baire, Annali di Matematica, 1899 ), contiene todas aqullas de segunda clase, etc. e En particular, toda funcin derivada, acotada superiormente en valor absoluto, o siendo de primera clase, es sumable y podemos demostrar que su integral, considerada como funcin de su l o mite superior, es una de sus funciones primitivas. Ahora, he aqu una aplicacin geomtrica: si |f |, | |, | | son acotadas superior o e mente, la curva x = f (t), y = (t), z = (t)
2Si agregamos a estos conjuntos conjuntos de medidas nulas elegidos convenientemente, uno obtiene conjuntos medibles en el sentido del Sr. Borel (Leons sur la thorie des fonctions). c e

12

FERNANDO GALAZ-GARCIA

tiene por longitud la integral de f 2 + 2 + 2 . Si = = 0, tenemos la variacin total de la funcin f de variacin acotada. En el caso en que f , , no o o o existan, podemos obtener un teorema casi idntico reemplazando las derivadas por e los nmeros derivados de Dini. u Traduccin del autor. o Apendice B. El objetivo de este apndice es construir una funcin cuya derivada sea acotada e o pero no integrable en el sentido de Riemann. La construccin que aqu presentao mos est basada en [16], pp. 9899. El primer paso consiste en construir cierto a subconjunto del intervalo [0, 1] que tenga medida 1/2. Comencemos por remover del intervalo [0, 1] el subintervalo (5/12, 7/12). Notemos que este subintervalo tiene longitud 1/2 1/3 y su punto medio coincide con el punto medio del intervalo [0, 1]. Denotemos por E1 a la unin de los dos intervalos cerrados que quedan despus o e de remover (5/12, 7/12) de [0, 1]. De manera anloga a como lo hicimos con el ina tervalo [0, 1], removamos ahora de cada uno de los intervalos que componen E1 un intervalo de longitud 1/2 1/32 . Obtenemos de esta manera un nuevo conjunto E2 que consiste de cuatro intervalos cerrados. Repitiendo este proceso, obtenemos una sucesin de conjuntos cerratos {En } tal que En+1 En . Sea H = En [0, 1]. o n=1 El conjunto H es compacto y, por lo tanto, medible. No es dif vericar, a partir cil de su construccin, que tiene medida 1/2. o Sea (a, b) uno de los intervalos contenidos en [0, 1] \ H. Denamos f en (a, b) de la siguiente manera: f (t) = (t a)2 sen(1/(t a)) en (a, ), donde < (a + b)/2 es tal que f () = 0; f (t) = f () en [, (a + b)/2]. De esta manera f (t) = 2(t a)sen 1 ta 1 ta + (t a)2 cos 1 ta 1 ta 1 (t a)2

= 2(t a)sen

cos

y es 0 para t [, (a + b)/2] {a}. Denamos f en [(a + b)/2, b] reejando respecto a la l nea t = (a + b)/2. Finalmente, extendamos f a [0, 1] deniendo f (t) = 0 para t H. Observemos que f existe para todo t [0, 1] \ H y |f | 3 en [0, 1] \ H. Fijemos ahora x H y veamos que f (x) = 0. Sea > 0 y supongamos que |x t| < . Si t H, entonces f (t) f (x) = 0. tx Si t [0, 1] \ H, entonces t est en algn intervalo abierto (a, b) [0, 1] \ H. Sea d a u el extremo de (a, b) ms cercano a t. Entonces a f (t) f (x) f (t) = tx tx < f (t) td |t d|2 = |t d| |t d| |t x| .

DEFINICIONES ORIGINALES DE LA INTEGRAL Y MEDIDA DE LEBESGUE

13

Esta desigualdad implica que f (x) = 0. Los prrafos anteriores demuestran que f existe en todo [0, 1] y es acotada. Por a otra parte, para cualquier x H se cumple que l sup f (t)tx = 1 y f (x) = 0. m Por lo tanto f es discontinua en H. Por ultimo, como m(H) = 1/2 > 0, f no es integrable en el sentido de Riemann, ya que el conjunto de discontinuidades de una funcin integrable en el sentido de Riemann tiene necesariamente medida cero. o Referencias
1. J. C. Burkill, The lebesgue integral, Cambridge Tracts in Mathematics and Mathematical Physics, no. 40, Cambridge University Press, 1951. 2. C. Carathodory, Vorlesungen uber reelle funktionen, 3rd ed., Chelsea Publishing Company, e New York, 1968. 3. G. Choquet, Borel, Baire, Lebesgue, Panor. Synthses (2004), no. 18, 2337. e 4. F. Galaz Fontes, Medida e integral de Lebesgue en n , 1a ed., Oxford University Press Mxico, e 2002. 5. T. Hawkins, Lebesgues theory of integration: its origins and development, 2nd ed., Chelsea Publishing Company, New York 1975. 6. H. Lebesgue, Sur une gnralisation de lintgrale dnie, Ac. Sci. C.R. 132 (1901), 1025 e e e e 1028. 7. , Intgrale, longueur, aire, Annali di Matematica 3 (1902), no. 7, 231359. e 8. , Remarques sur les thories de la mesure et de lintgration, Ann. Sci. Ecole Norm. e e Sup. (3) (1918), no. 35, 191250. 9. , Sur le dvelopement de la notion dintgrale, Revue de mtaphysique et de morale e e e 34 (1927), no. 2, 149167. 10. , Humbert et Jordan, Roberval et Ramus, Enseign. Math. 2 (1957), no. 3, 149167. 11. , Measure and the integral, The Mathesis series, Holden-Day, 1966. 12. , La medida de las magnitudes, Serie metrolog tcnica, Limusa, Mxico, 1995. a e e 13. J. J. OConnor and E. F. Robertson, The Mactutor History of Mathematics archive, University of St Andrews, URL: http://www-history.mcs.st-andrews.ac.uk/history/. 14. H. L. Royden, Real analysis, 3rd ed., Prentice Hall, New Jersey, 1998. 15. A. Shenitzer and J. Steprns, The evolution of integration, Amer. Math. Monthly 101 (1994), a no. 1, 6672. 16. C. W. Swartz, Measure, integration and function spaces, World Scientic, Singapore, 1994. 17. V. Volterra, Sui principii del calcolo integrale, Giorn. Mat. Battaglini 19 (1881), 333372.

Department of Mathematics, University of Maryland, College Park MD 20742 E-mail address: galazg@math.umd.edu