La integral de Lebesgue en su contexto

historico
Cordero Zamorano, Pablo Martn
Diciembre 2006

Indice general
1. Hacia una nueva teora de integraci
on
1.1. El punto de partida: la integral de Riemann . . . . . .
1.2. Dos nuevas caracterizaciones de integrabilidad . . . . .

1.3. Las aportaciones de Emile

Borel . . . . . . . . . . . . .
1.4. Problemas que motivaron la nueva integral . . . . . . .
1.4.1. Series trigonometricas y de Fourier e integracion
1.4.2. El teorema fundamental del calculo . . . . . . .
1.4.3. Longitud de una curva . . . . . . . . . . . . . .
1.4.4. Integrales dobles e iteradas . . . . . . . . . . . .
1.5. Consecuencias durante el siglo XX . . . . . . . . . . . .
1.5.1. Consecuencias en el Calculo. . . . . . . . . . . .
1.5.2. Consecuencias en la Probabilidad. . . . . . . . .

. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
termino a termino
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .

2. La primera nota de Lebesgue sobre su teora

2.1. Primera nota de Lebesgue sobre su integral (texto original en frances)
2.2. Primera nota de Lebesgue sobre su integral (traduccion) . . . . . . .
2.3. Comentarios sobre la Nota. . . . . . . . . . . . . . . . . . . . . . . . .
2.4. Limitaciones de la nota. . . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

2
2
3
5
6
6
7
8
8
9
9
10
11
11
14
16
19

Captulo 1
Hacia una nueva teora de integraci
on
Se podra decir que Lebesgue creo la primera teora de integracion genuina. Varias
definiciones, teoremas y ejemplos antecededieron a su trabajo, pero carecan de la coherencia y completitud de una verdadera teora. Sin embargo, estas contribuciones anteriores
prepararon el terreno para una sofisticada teora de integracion. Concretamente, permitieron a Lebesgue tener la medida como punto de vista para la creacion de su integral y le
proveyeron con una buena cantidad de problemas teoricos descubiertos en el contexto de
la integral de Riemann (aunque en su momento no fueron considerados como tales).

1.1.

El punto de partida: la integral de Riemann

La necesidad historica de desarrollar una teora de la medida es que el de proporcionarnos un nuevo punto de vista desde el que mirar la definicion de la integral de
Cauchy-Riemann. De ah que sea imprescindible comenzar con una mnima retrospectiva de dicha integral.
Bernhard Riemann (1826-1866) adquirio su interes en problemas relacionados con la
teora de series trigonometricas e integracion debido a su contacto con Dirichlet. Tras pasar
un a
no en Gottingen, se fue a Berln, donde asistio a las clases que Dirichlet imparta
sobre teora de n
umeros, teora de la integral definida y ecuaciones en derivadas parciales.
Dirichlet rapidamente desarrollo un especial interes por el joven Riemann, quien a su
vez consideraba a Dirichlet como el mejor matematico vivo despues de Gauss. Dos a
nos
despues, Riemann volvio a Gottingen y en 1851 presento su tesis doctoral Grundlagen f
ur
eine allgemeine Theorie der Functionen einer veranderlichen complexen Grosse. El punto
de partida es una definicion bastante diferente del termino de funcion cuando la variable
considerada es real o compleja, lo cual fue imprescindible para el posterior desarrollo de
su integral. Tres a
nos mas tarde, en su Habilitationsschrigt, decidio retomar el estudio
de la representacion de funciones mediante series trigonometricas. La pregunta inicial de

 rico
La integral de Lebesgue en su contexto histo
su investigacion fue: en que casos es una funcion integrable? Fue entonces cuando creo la
integral que hoy conocemos.
La teora de integracion de Riemann (1854) fue derivada de la Cauchy debilitando al
maximo las hipotesis necesarias para que una funcion sea integrable. Mientras Cauchy
restringa la integrabilidad a funciones continuas, Riemann dio una condion necesaria y
suficiente para ello: una funcion acotada f (x) es integrable en [a, b] si y solo si la suma de
Cauchy
S=

n
X

f (tk )(xk xk1 ),

k=1

donde a = x0 < x1 < ... < xn = b y tk [xk1 , xk ], se aproxima a un u

nico valor lmite
cuando el tama
n
o
de
la
partici
o
n
del
intervalo
se
aproxima
a
0.
Este
u

nico
valor lmite es
Ra
por definicion b f (x)dx.
Aunque lo que Riemann hizo nos pueda parecer ahora un paso casi trivial a partir
de la integral de Cauchy, historicamente represento un gran salto, ya que involucraba un
concepto radicalmente diferente de funcion. De hecho, en su tiempo, la teora de Riemann
pareca la mas general posible: su condicion de integrabilidad era la mas debil usando la
definicion tradicional de Cauchy; de hecho, permita extender el concepto de integral a
funciones cuyos puntos de discontinuidad forman un conjunto denso, funciones cuya existencia ni siquiera haba sido sospechada por la mayora de los matematicos de la epoca.
Una nueva generalizacion pareca por lo tanto impensable. Impensable siempre y cuando
la suma de Cauchy fuese tomada como punto de partida para la definicion de integral. Es
a este respecto que la idea de medida se torna fundamental para sentar las bases de una
nueva definicion de integral.

1.2.

Dos nuevas caracterizaciones de integrabilidad

Definamos primero algunos conceptos que son necesarios. Sea S un conjunto acotado
de n
umeros reales. Sean I1 , I2 , ..., In un conjunto finito de intervalos que cubren S. El conn
P
tenido externo de S, ce (S), es el nfimo de todos los n
umeros reales de la forma
L(Ik ),
k=1

donde Ik cubre S y L(Ik ) es la longitud del intervalo IK . Analogamente, el contenido inn

n
P
S
terno de S, ci (S), se define como el supremo de
L(Ik ), donde Ik Ik0 = y
Ik S.
k=1

k=1

Diremos que un conjunto es Jordan-medible si ci (S) = ce (S) y, en tal caso, diremos que su
contenido es c(S) = ci (S) = ce (S). Observese que estas definiciones se pueden extender de
forma natural a mas dimensiones.

 rico
La integral de Lebesgue en su contexto histo
El primer matematico que introdujo la definicion de contenido exterior de un conjunto
fue Otto Stolz (1842-1905) en 1881, Profesor de matematicas de la Universidad de Innsbruck. Tres a
nos mas tarde, e independientemente de Stolz, Cantor publico una definicion
equivalente conceptualmente, pero en el contexto mas general de los espacios euclideos
enedimensionales. En un escrito publicado poco despues de que Cantor diera su definicion,
el matematico Harnack propuso su propia definicion, la cual era bastante similar a la de
Stolz (aunque aparentemente no conoca nada acerca de ella). Por otra parte, el concepto
de medible definido anteriormente fue introducido, como su nombre indica, por Jordan a
principios de la decada de 1890.
Estas nociones sugirieron dos nuevas caracterizaciones de la condicion de integrabilidad
de Riemann. La primera de ellas adopta una vision geometrica, considerando la integral de
una funcion en terminos del area delimitada por su grafica. Dada una funcion f definida
y acotada en el intervalo [a, b], sea E el conjunto de puntos del plano delimitado por el
grafico de f , el eje de abcisas y las rectas x = a y x = b. Entonces f es Riemann-integrable
si y solo si el conjunto E es Jordan-medible, y
Za

Za
f = c(E + ) c(E ),

|f | = c(E),
b

donde E + y E denotan el semiplano positivo y negativo del eje de ordenadas, respectivamente.

La segunda caracterizacion de la condicion de integrabilidad de Riemann consiste en
que las integrales superior e inferior de f sean iguales, esto es,
Z

f,

f=
siendo

Ra
b

f y

Ra
b

f el supremo y el nfimo, respectivamente, de

L=

n
X

mi (xi xi1 ),

U=

i=1

n
X

Mi (xi xi1 ),

i=1

donde a = x0 < x1 < ... < xn = b denota una particion de [a, b], y mi y Mi denotan,
respectivamente, el nfimo y supremo de f (x) en [a, b]. La introduccon del concepto de
conjunto medible causo la siguiente variacion en esta caracterizacion de integrabilidad.
Consideremos las sumas mas generales:
L=

n
X

mi c(Ei ),

U=

n
X

Mi c(Ei ),

i=1

i=1

Sn donde los conjuntos Ei son Jordan-medibles, disjuntos dos a dos y tales que [a, b] =
nfimo de U son a
un las integrales inferior y supei=1 Ei . Entonces el supremo de L y el
rior de f y, por tanto, la condicion de integrabilidad de Riemann puede ser enunciada en
4

 rico
La integral de Lebesgue en su contexto histo
terminos de estas sumas mas generales.
Las dos caracterizaciones expuestas anteriormente hicieron ver que una generalizacion
de los conceptos de medida y medible permitiran una generalizacion de los conceptos
de integral e integrabilidad. En otras palabras, supongamos que M denota la clase de
conjuntos medibles que contiene la clase de conjuntos Jordan-medibles, y supongamos
que una medida, m(E), ha sido definida para todos los elementos de M de tal manera
que m(E) coincide con c(E) cuando E es Jordan-medible. As, la primera caracterizacion
de funciones integrables Riemann, sugiere que el concepto de integrabilidad se podra
extender a cualquier funcion acotada f , cuyoR conjunto correspondiente E pertenezca a
a
M. La integral de f vendra as definida por b f = m(E + ) m(E ). Analogamente, la
Ra
Ra
segunda caracterizacion, sugiere definir las integrales superior e inferior f y b f con
b
respecto a M como el supremo de L y el nfimo de U para las sumas

L =

n
X

mi m(Ei ),

U =

i=1

n
X

Mi m(Ei ),

i=1

donde ahora Ei pertenece a M. Entonces

Z

f
b

f
b

f,
b

Ra
Ra
y se podra definir f como integrable si se cumple f b f .
b
Claramente, las dos definiciones anteriores, basadas en un concepto mas amplio de medida, representan generalizaciones de la integral de Riemann; cuando M denota la clase
de conjuntos Lebesgue-medibles, las definiciones resultan ser la de la integral de Lebesgue
para funciones acotadas.

1.3.

Las aportaciones de Emile

Borel

Fue esencialmente a traves de las consideraciones anteriores por las que Lebesgue (e,
independientemente, W. H. Young) obtuvo su generalizacion de la integral, despues de que

Emile
Borel sugiriese la lista de propiedades que una medida generalizada deba tener. De
hecho, una vez que dichas ideas se desarrollaron, fue completamente inevitable que alguien
las aplicara al concepto de integral, y es por esta razon que se pone especial atencion al
desarrollo de la nocion de medida que precede a Lebesgue (y de todas las ideas que subyacen bajo o se derivan de ella).
As, el nacimiento de medida puede ser atribudo a Emile Borel. Antes de hacer p
ublicos Lebesgue sus trabajos, en 1898, Emile Borel publico el libro Lecons sur la theorie
des fonctions, donde investigaba sobre ciertos conjuntos del intervalo [0, 1] (seccion Les
5

 rico
La integral de Lebesgue en su contexto histo
ensembles mesurables). Pretenda asignar medidas a subconjuntos mas generales que los
subintervalos, especialmente a aquellos engendrados mediante uniones numerables o paso
al complementario de intervalos. De forma paralela peda que estos subconjuntos cumplieran que si Xn es una familia finita o numerable de tales conjuntos disjuntos dos a dos, su
union tiene como medida la suma de sus medidas; y por otra parte, todos los subintervalos
tienen como medida su longitud. Como podemos observar, esta definicion de Borel es la
definicion de premedida, nombre que mas adelante asignara Lebesgue.
Borel no probo la existencia y unicidad de dicha definicion. Afirma que ((el lema funadmental demostrado [...] nos asegura que estas definiciones nunca seran contradictorias
entre s)), y anoto en el pie de pagina de ese mismo libro que ((He omitido toda demostraci
on
ya que la redacci
on me pareci
o tener que ser larga y fastidiosa [...] )). Por otra parte, Borel
no hace absolutamente ninguna referencia o insinuacion sobre una posible conexion entre
su concepto de medida y la teora de integracion.
Aunque Borel no fue capaz de probar dicho resultado, gracias a las aportaciones de
Lebesgue el resultado de Borel queda incluido en la construccion de la integral de Lebesgue.
Mas adelante, a esos conjuntos a los que se refera Borel, Lebesgue los llamo borelianos por
deferencia a su amigo.

1.4.

Problemas que motivaron la nueva integral

Para Lebesgue, la definicion generalizada de integral representa solo el inicio y la parte

menos profunda de su aportacion a la teora de integracion. Lo que hizo el descubrimiento
inicial importante fue que Lebesgue consiguio reconocer en el una herramienta analtica
capaz de hacer frente a los problemas no resueltos que haban surgido a partir de la anterior
teora de integracion. Como Leguesgue explico, u
na generalizacion hecha no por el placer
de generalizar, sino para resolver problemas previos no resueltos, es siempre una generalizacion fructfera. De hecho, los problemas no resueltos motivaron los mayores resultados
de Lebesgue.

1.4.1.

Series trigonom
etricas y de Fourier e integraci
on t
ermino
a t
ermino

El primero de estos problemas surgio con Fourier en 1822: si una funcion F se puede
representar por una serie trigonometrica, es esa serie la serie de Fourier de f ? Directamente
relacionado con esta pregunta, tenemos: cuando podemos permitir integrar termino a
termino una serie infinita de funciones? Es decir, cuando es cierto que

 rico
La integral de Lebesgue en su contexto histo
Z

a
b

!
un (x)

n=1

Z
X
n=1

un (x) ?

Fourier asumio que la la respuesta a esta u

ltima pregunta es siempre, y lo uso para
probar que la respuesta a la primera pregunta es s. Hacia finales del siglo diecinueve
se desmostro que no se puede integrar termino a termino
siquiera en el caso de series
Pni

uniformemente acotadas, precisamente porque f (x) =

i=1 un (X) no tiene porque ser
integrable Riemann; aun as, se obtuvieron algunos resultados positivos aumentando las
hipotesis, pero requeran pruebas extremadamente largas. Estos desarrollos, sin embargo, allanaron el camino para que Lebesgue probara elegantemente que se pueden intercambiarla integral y la suma para cualquier serie uniformemente acotada de funciones
integrables-Lebesgue. Y, aplicando este resultado a la primera cuestion, Lebesgue estuvo
en posicion de afirmar la creencia de Fourier de que la respuesta es siempre.

1.4.2.

El teorema fundamental del c

alculo

Otro torrente de dificultades fue el teorema fundamental del calculo

Z a
f 0 (x)dx = f (b) f (a)
.

El trabajo de Ulisse Dini y Vito Volterra dejo claro que existen funciones con derivadas
acotadas no integrables, por lo que el teorema fundamental anterior se torna in
util para
estas nuevas funciones. Mas adelante, se descubrieron mas clases de funciones con esta
propiedad. Nuebos problemas surgieron en relacion con la extension que Axel Harnacks
hizo de la integral de Riemann para funciones no acotadas, dado que se descubrieron
funciones monotonas continuas con intervalos densamente distribuidos de invariavilidad.
Tales funciones sirvieron como ejemplo de derivadas Harnack-integrables para las cuales
el teorema fundamental no es aplicable. Algunos teoremas debidos a Lebesgue resolveran
elegantemente estos problemas.
La existencia de las funciones mencionadas anteriormente hicieron preguntarse cuando
una funcion continua es una integral. Esto incito a Alex Harnack a introducir una nueva
propiedad cuyo nombre no ha variado desde entonces: la continuidad absoluta. Durante la
decada de 1890 la continuidad absoluta se empezo a considerar como la propiedad caracterstica de las integrales absolutamente convergentes, aunque nadie fue capaz de probar
que cualquier funcion absolutamente continua es una integral.

 rico
La integral de Lebesgue en su contexto histo

1.4.3.

Longitud de una curva

Una familiaridad mas profunda con los conjuntos infinitos de puntos haban conducido
al descubrimiento de problemas relacionados con el teorema fundamental del calculo. La
incipiente teora de conjuntos infinitos tambien estimulo el interes de la formula clasica
para la longitud de una curva, a saber,
Z a
1
L=
(1 + (f 0 )2 ) 2 .
b

Paul du Bois-Reymond, quien inicialmente se intereso por este problema, estaba convencido de que la teora de integracion era indispensable para el tratamiento la longitud
de una curva, enmarcado todo ello en el contexto general derivado del concepto de funcion moderno. Hacia finales del siglo diecinueve este punto de vista pareca insostenible,
en particular por las crticas y contrajemplos de Ludwig Scheeffeer. Lebesgue estaba realmente interesado en esta cuestion y fue capaz de usar los resultados de su propia teora de
integracion para devolver la credibilidad a las afirmaciones de du Bois-Reymond sobre la
estrecha relacion de los conceptos de integral y de curva.
El trabajo de Lebesgue en el teorema fundamental del calculo y en la teora de curvas
jugo un importante papel en su descubrimiento de que una funcion continua con variacion
acotada posee una derivada finita salvo quiza en un conjunto de medida cero. Este teorema
gana a
un mas importancia al ser visto en contraposicion a la discusion sobre las propiedades
de diferenciabilidad de las funciones continuas desarrollas en la escena matematica de todo
el siglo diecinueve. Durante practicamente toda la primera mitad del siglo, la creencia general fue que las funciones continuas eran diferenciables en la mayorade puntos, aunque
hay que tener en cuenta que normalmente se asuma continuidad y monotona a trozos
(as, diferenciabilidad y monotona estuvieron ligadas, aunque debilmente). Hacia finales
de siglo, nada menos que un matematico como Weierstrass se dio cuenta de que deban
existir funciones continuas y monotonas que no fuesen diferenciables en ning
un punto. As,
en cierto sentido, el teorema de Lebesgue justifico las intuiciones de algunos matematicos
anteriores.

1.4.4.

Integrales dobles e iteradas

La extension de Riemann del concepto de integral hizo que surgieran problemas tambien
en relacion con el clasico teorema sobre integrales dobles e iterada, a saber,

Z
Z a Z c
Z c Z a
f (x, y)dR =
f (x, y)dy dx =
f (x, y)dx dy,
R

donde R es el rectangulo determinado por a x b y c y d. No hizo falta

mucho tiempo para descubrir que cuando f (x, y) es integrable en el rectangulo R, puede
8

 rico
La integral de Lebesgue en su contexto histo
suceder que las funciones x f (x, y) y y f (x, y) no lo sean en conjuntos densos de
x e y respectivamente (conjuntos con contenido exterior positivo). La formulacion clasica
haba de ser, por lo tanto, modificada. Algo mas tarde se descubrio que las modificaciones
deban ser cada vez mas drasticas cuando se consideran funciones no acotadas. Aunque
Lebesgue no resolvio este problema, su tratamiento del problema sento las bases para el
bien conocido teorema de Fubini, devolviendo la simplicidad de la formulacion original.

1.5.

Consecuencias durante el siglo XX

Hacia finales de la primera decada del siglo veinte, las ideas de Lebesgue haban recibido
ya bastante atencion y el n
umero de matematicos atrados por las ideas de Lebesgue crecio rapidamente. El propio trabajo de Lebesgue durante esta decada -particularmente sus
aplicaciones de la nueva integral a las series trigonometricas- fue la razon principal, pero las
investigaciones pioneras de otros matematicos -Guido Fubini, Pierre Fatou, Ernst Fischer
y F. Riesz- tambien contribuyeron sustancialmente a esta tendencia.
En 1913, J. Radon fusiona las integrales de Lebesgue y Stieljes, basadas en el concepto
de conjunto de funciones numerablemente aditivas, sentando las bases para las modernas
teoras medida e integracion. El trabajo de Radon representa un verdadero triunfo de las
ideas de Lebesgue, pues dejaron claro que son viables en un marco mucho mas general.
A da de hoy todava se siguen generando consecuencias de la teora de Lebesgue, por
lo que enumerar todas las consecuencias sera imposible. Tan solo citaremos brevemente
dos de los campos en los que ha tenido mas repercusion: el calculo y la probabilidad.

1.5.1.

Consecuencias en el C
alculo.

A parte de las consecuencias obvias, esto es, la generalizacion de la integral de Riemann,

consiguio uno de sus objetivos, la ampliacion de funciones primitivas, la integracion de funciones de varias variables usando el Teorema de Fubini, etc. Pero sus consecuencias no se
quedan aqu, la teora de Lebesgue sirvio para la evolucion del C
lculo.
RaP
PAR grandes rasgos
podramos decir que se consiguieron resolver calculos del tipo
,
, se justifico el
paso al lmite de las Serires de Fourier; en 1907 Fisher y Riesz enunciaron un resultado
muy potente: el espacio de funciones integrables es completo; etc.
La medida fue objeto de estudio en los a
nos posteriores a los trabajos de Lebesgue;
as Radon en 1913 pudo hablar de sus medidas, Caratheodory desarrollo los trabajos de
completacion de medidas abstractas, liberando de argumentos topologicos a la medida y
finalmente Wiener en 1922 fue el primero en hablar de medidas de probabilidad.

 rico
La integral de Lebesgue en su contexto histo
Las consecuencias menos inmediatas en el Calculo fueron definir los Espacios Lp y
propiedades de los mismos, originando el analisis funcional abstracto, as como los espacios
funcionales de Sovolev, que es la base del Analisis y de las EDPs de hoy en da.

1.5.2.

Consecuencias en la Probabilidad.

Gracias a la teora de Lebesgue, la Probabilidad se desarrollo espectacularmente, haciendo de la Teora de Lebesgue una herramienta indispensable para la evolucion de la
Probabilidad. Hoy en da podemos ver que la probabilidad no es mas que un caso particular de la generalizacion de la teora de Lebesgue.
Fue Kolmogoroff en 1933 el que axiomatizo la teora de la probabilidad y el que relaciono ambas materias.
El estudio hoy en da de Probabilidad pasa por el dominio de la integral de Lebesgue:
sin ella, seramos incapaces de relover muchos teoremas fundamentales de la probabilidad.

10

Captulo 2
La primera nota de Lebesgue sobre
su teora

Henri Lebesgue (1875-1941) asistio a la Ecole

Normale Superieure (al igual que Borel
y Baire), y completo sus estudios all en 1897. Los dos a
nos siguientes, mientras trabaja

en la biblioteca de la Ecole,
resultaron ser my productivos para Lebesgue, teniendo como
resultado la publicacion de un buen n
umero de trabajos. Tambien durante este periodo
aparecio Lecons de Borel, as como los primeros trabajos de Baire sobre funciones discontinuas. En 1899 Lebesgue tomo cargo como profesor en el Lycee Central en Nancy, donde
permanecio hasta 1902. Entre Junio de 1899 y Abril de 1901, la Academia de las Ciencias
publico una sere de notas escritas por Lebesgue en las Comptes Rendus, que mas adelante
formaran la base para su tesis doctoral; es en la quinta y u
ltima nota en la que Lebesgue
anuncia la generalizacion de la integral de Riemann. Transcribimos a continuacion esta
nota en su version original francesa (paginas 1025 a 1027 del tomo 132 de los Comptes
Redus) y su traduccion para, por u
ltimo, comentar los aspectos mas relevantes, realizando
as una breve incursion la teora que nos ocupa.

2.1.

Primera nota de Lebesgue sobre su integral (texto original en franc

es)

ANALYSE MATHEMATIQUE.Sur une generalisation de lintegrale definie.

Note de M. H. Lebesgue, presentee par M. Picard.

Dans le cas des fonctions continues, il y a identite entre les notions dintegrale
et de fonction primitive. Riemann a defini lintegrale de certaines fonctions
discontinues, mais toutes les fonctions derivees ne sont pas integrables, au sens
de Riemann. Le probl`eme de la recherche des fonctions primitives nest donc
pas resolu par lintegration, et lon peut desirer une definition de lintegrale
comprenant comme cas particulier celle de Riemann et permettant de resoudre
11

 rico
La integral de Lebesgue en su contexto histo
le probl`eme des fonctions primitives1 .
Pour definir lintegrale dune fonction continue croissante
(x) (a 5 x 5 b),
on divise lintervalle (a, b) en intervalles partiels et lon fait la somme des
quantites obtenues en multipliant la longueur de chaque intervalle partiel par
lune des valeurs de quand x est dans cet intervalle. Si x est dans lintervalle
(ai , ai+1 ), varie entre certaines limites mi , mi+1 , et reciproquement si est
entre mi et mi+1 , x est entre ai et ai+1 . De sorte quau lieu de se donner la
division de la variation de x, cest-`a-dire de se donner les nombres ai , on aurait
pu se donner la division de la variation de , cest-a-dire les nombres mi . De l`a
deux mani`eres de generaliser la notion dintegrale. On sait que la premi`ere (se
donner les ai ) conduit `a la definition donnee par Riemann et aux definitions des
integrales par exc`es et par defaut donnes par M. Darboux. Voyons la seconde.
Soit la fonction comprise entre m et M . Donnons-nous
m = m0 < m1 < m2 < ... < mp1 < M = mp
= m quand x fait partie dun ensemble E0 ; mi1 < 5 mi quand x fait
partie dun ensemble Ei .
Nous definirons plus loin les mesures 0 , i de ces ensembles. Considerons lune
ou l`autre des deux sommes
m0 0 + mi i ;

m0 0 + mi1 i ;

si, quand lecart maximum entre deux mi consecutifs tend vers zero, ces sommes
tendent vers une meme limite intependante des mi choisis, cette limite sera par
definition lintegrale des qui sera dite integrable.
Considerons un esemble de points de (a, b); on pent dune infinite de mani`eres
enfermer ces points dans une infinite denombrable dintervalles; la limite inferieure
de la somme des longueurs de ces intervalles est la mesure de lensemble. Un
ensemble E est dit mesurable si sa mesure augmentee de celle de lensemble des
points ne faisant pes partie de E donne la mesure de (a, b)2 . Voici deux proprietes de ces ensembles: une infinita densembles mesurables Ei etant donnee,
lesemble des points qui font partie de lun au moins dentre eux est mesurable;
si les Ei nont deux `a deux aucun point commun, la mesure de lensemble
obtenu est la somme des mesures Ei . Lensemble des points communs `a tous
les Ei est mesurable.
1

Ces deux conditions imposees a priori `a toute generalisation de lintegrale sont evidemment compatibles, car toute fonction derivee integrable, au sens de Riemann, a pour integrale une de ses fonctions
primitives.
2
Si l`on ajoute `a ces ensembles des ensembles de mesures nulles convenablement choisis, on a des ensembles mesurables au sens de M. Borel (Lecons sur la theorie des fonctions).

12

 rico
La integral de Lebesgue en su contexto histo
Il est naturel de considerer dabord les fonctions telles que les ensembles qui
figurent dans la definition de lintegrale soient mesurables. On trouve que: si
une fonction limitee superieurement en valeur absolue est telle que, quels que
soient A et B, lensemble des valeurs de x pour lesquelles on a A < 5 B est
mesurable, elle est integrable par le procede indique. Une telle fontion sera dite
sommable. Lintegrale dune fonction sommable est comprise entre lintegrale
par default et lintegrale par exc`es. De sorte que si une fonction integrable au
sens de Riemann est sommable, lintegrale est la meme avec les deux definitions.
Or, totte fonction integrable au sens de Riemann est sommable car lensemble
de ses points de discontinuite est de mesure nulle, et lon peut demontrer que si,
en faisant abstaction dun ensemble de valeurs de x de mesure nulle, il reste un
ensemble en chaque point duquel une fonction est continue, cette fonction est
sommable. Cette propriete permer de former immediatement des fonctions non
integrables au sens de Riemann et cependant sommables. Soient f (x) et (x)
deux fonctions continues, (x) netant pas toujours nulle; une fonction qui ne
diff`ere de f (x) quaux points dun ensemble de mesure nulle partout dense et
qui en ces points est egale `a f (x) + (x) est sommable sans etre integrable au
sens de Riemann. Exemple: La fonction egale `a 0 si x irrationnel, egale `a 1 si x
rationnel. Le procede de formation qui prec`ede montre que l`ensemble des fonctions sommables a une puissance superieure au continu. Voici deux proprietes
des fonctions de cet ensemble.
1o Si f et sont sommables, f + et f le sont et lintegrale f + est la
somme des integrales de f et de .
2o Si une suite de fonctions sommables a une limite, cest une fonction
sommable.
Lensemble des fonctions sommables contient evidemment = k et = x;
donc, dapr`es 1o , il contient donc toutes les polynomes et comme, dapr`es 2o , il
contient toutes ses limites, il contient donc toutes les fonctions continues, toutes
les limites de fonctions continues, cest-`a-dire les fonctions de premi`ere classe
(voir Baire, Annali di Matematica, 1899), il contient toutes celles de seconde
classe, etc.
En particulier, toute fonction derivee, limetee superieurement en valeur absolue,
etant de premiere classe, est sommable, et lon peut demontrer que son integrale,
consideree comme fonction de sa limite superieure, est une de ses fonctions
primitives.
Voici maintenant une application geometrique: si |f 0 |, |0 |, | 0 | sont limitees
superieurement, la courbe
x = f (t), y = (t), z = (t)
p
a pour longueur lintegrale de f 02 + 02 + 02 . Si = = 0, on a la variation
totale de la fonction f `a variation limitee. Dans le cas o`
u f 0 , 0 , 0 nexistent
13

 rico
La integral de Lebesgue en su contexto histo
pas, on peut obtenir un theor`eme presque identique en remplacant les derivees
par les nombres derives de Dini.

2.2.

Primera nota de Lebesgue sobre su integral (traducci

on)
Analisis Matematico.- Sobre la Generalizaci
on de la integral definida.
Nota de M. H. Lebesgue, presentada por M. Picard.

En el caso de las funciones continuas, existe una identidad entre las nociones de
integral y funcion primitiva. Riemann definio la integral de algunas funciones
discontinuas, pero no todas las funciones derivadas son integrables, en el sentido
Riemann. La integracion no resuelve por tanto el problema de la b
usqueda de
funciones primitivas, y es deseable una definicion de la integral que comprenda
como caso particular la de Riemann y permita resolver el problema de las
funciones primitivas1 .
Para definir la integral de una funcion continua creciente
(x) (a 5 x 5 b)
se divide el intervalo (a, b) en intervalos parciales y se hace la suma de las cantidades obtenidas multiplicando la longitud de cada intervalo parcial por uno de
los valores de cuando x esta en el intervalo. Si x esta en el intervalo (ai , ai+1 ),
vara entre ciertos lmites mi , mi+1 y, recprocamente, si esta entre mi y
mi+1 , x esta entre ai y ai+1 . De tal manera que en lugar de darnos la division
de la variacion de x, es decir darnos los n
umeros ai , nos hubieramos podido dar
la division de la variacion de , esto es, los n
umeros mi . De ah dos maneras
de generalizar la nocion de integral. Sabemos que la primera (darnos los ai )
conduce a la definicion dada por Riemann y a las definiciones de integrales por
exceso y por defecto dadas por el Sr. Darboux. Veamos la segunda.
Sea la funcion comprendida entre m y M . Demonos
m = m0 < m1 < m2 < ... < mp1 < M = mp
= m cuando x forma parte del conjunto E0 ; mi1 < 5 mi cuando x forma
parte de un conjunto Ei .
Definiremos mas adelante las medidas 0 , i de estos conjuntos. Consideremos
una u otra de las dos sumas
m0 0 + mi i ;

m0 0 + mi1 i ;

Estas dos condiciones puestas a priori a toda generalizacion son evidentemente compatibles, ya que
toda toda funcion derivada integrable, en el sentido Riemann, tiene como integral una de sus funciones
primitivas.

14

 rico
La integral de Lebesgue en su contexto histo
si, cuando la distancia maxima entre dos mi consecutivos tiende hacia cero,
estas sumas tienden hacia un mismo lmite independiente de los mi elegidos,
este lmite sera por definicion la integral de las de la que diremos es integrable.
Consideremos un conjunto de puntos de (a, b); es posible encerrar estos puntos
en un n
umero infinito numerable de intervalos de una infinidad de maneras; el
lmite inferior de la suma de las longitudes de estos intervalos es la medida del
conjunto. Se dice que un conjunto E es medible si su medida aumentada de la
del conjunto de los puntos que no forman parte de E da la medida de (a, b)2 .
He aqu dos propiedades de estos conjuntos: dada una infinidad de conjuntos
medibles Ei , el conjunto de los puntos que forman parte de uno al menos de
todos ellos es medible; si los Ei no tienen ning
un punto com
un dos a dos, la
medida del conjunto obtenido es la suma de las medidas de los Ei . El conjunto
de los puntos comunes a todos los Ei es medible.
Es natural considerar primero las funciones tales que los conjuntos que figuran
en la definicion de integral sean medibles. Se obtiene: si una funcion limitada
superiormente en valor absoluto es tal que, cualesquiera que sean A y B, el conjunto de los valores de x para los que se tiene A < 5 B es medible, entonces
es integrable por el procedimiento indicado. Tal funcion sera llamada sumable.
La integral de una funcion sumable esta comprendida entre la integral por defecto y la integral por exceso. De manera que si una funcion integrable en el
sentido de Riemann es sumable, la integral es la misma con las dos definiciones.
Ahora bien, toda funcion integrable en el sentido Riemann es sumable ya que
el conjunto de sus puntos de discontinuidad es de medida nula, y se puede demostrar que si, haciendo abstraccion de un conjunto de valores de x de medida
nula, queda un conjunto en cada punto del cual una funcion es continua, esta
funcion es sumable. Esta propiedad permite obtener inmediatamente funciones
no integrables en el sentido de Riemann y sin embargo sumables. Sean f (x)
y (x) dos funciones continuas, no siendo (x) siempre nula; una funcion que
no difiere de f (x) mas que en los puntos de un conjunto de medida nula denso
en todas partes y que en esos puntos es igual a f (x) + (x) es sumable sin
ser integrable en el sentido de Riemann. Ejemplo: La funcion igual a 0 si x es
irracional, igual a 1 si x es racional. El procedimiento de construccion antes
expuesto demuestra que el conjunto de las funciones sumables tiene una potencia superior al continuo. He aqu dos propiedades de las funciones de este
conjunto.
1o Si f y son sumables, f + y f lo son y la integral de f + es la suma
de la integrales de f y de .
2

Si a estos conjuntos se a
naden conjuntos de medida nula convenientemente elegidos, se obtienen
conjuntos medibles en el sentido del Sr. Borel (Lecons sur la theorie des fonctions).

15

 rico
La integral de Lebesgue en su contexto histo
2o Si una sucesi
on de funciones sumables tiene lmite, es una funcion sumable.
El conjunto de las funciones sumables contiene claro esta = k e = x; luego
por 1o , contiene todos los polinomios y como, seg
un 2o , contiene todos sus
lmites, contiene por tanto todas las funciones continuas, todos los lmites de
funciones continuas, es decir las funciones de primera clase (ver Baire, Annali
di Matematica, 1899), contiene todas las de segunda clase, etc.
En particular, toda funcion derivada limitada superiormente en valor absoluto, por ser de primera clase, es sumable, y se puede demostrar que su integral
considerada como funcion de su lmite superior, es una de sus funciones primitivas.
He aqui ahora una aplicacion geometrica: si |f 0 |, |0 |, | 0 | estan limitadas superiormente, la curva
x = f (t),

y = (t), z = (t)
p
tiene por longitud la integral de f 02 + 02 + 02 . Si = = 0, se tiene
la variacion total de la funcion f de variacion limitada. En el caso en que f 0 ,
0 , 0 no existen, se puede obtener un teorema casi identico sustituyendo las
derivadas por los n
umeros derivados de Dini.

2.3.

Comentarios sobre la Nota.

La nota esta escrita con sumo cuidado, sin grandes adornos, todo con sencillez y claridad. En ning
un momento enuncia teoremas o definiciones, simplemente describe sus ideas.
Obviamente, la nota no puede contener todos los resultados de la teora tal y como hoy
la conocemos. En esencia se compone de:
Motivacion a partir del teorema fundamental del calculo para la integral de Riemann.
Construccion tecnica de su integral a partir de la la integral de Riemann.
Primeras definiciones de medida, funcion (acotada) medible e integrable.
Inclusion de la integral de Riemann en la construccion hecha por Lebesgue.
Algunas propiedades basicas de las funciones integrables seg
un Lebesgue.
El ejemplo de una funcion no integrable Riemann e integrable Lebesgue.

16

 rico
La integral de Lebesgue en su contexto histo
Integral
Lebesgue parte del Teorema Fundamental del Calculo ya que en aquella epoca conocan
todas las derivadas de funciones derivables y pretendan hallar todas sus primitivas, para
lo cual utilizaban dicho teorema. Ademas eran conscientes de las limitaciones de la integral
de Riemann. Una de esas limitaciones, integrar funciones discontinuas, es descrita perfectamente por Lebesgue en las lneas 2 y 3.
El autor narra con sumo cuidado gramatical y matematico la integral de Riemann para
constatar la diferencia sustancial con su nueva definicion de integral; para ello le dedica
once lneas, un parrafo entero (teniendo en cuenta que el texto ocupa algo mas de dos
paginas, es mucho).
Con mucha naturalidad Lebesgue enuncia su construccion, explicando en ocho lneas su
nueva integral. Al hacerlo tan claro y con tanta nitidez, no requiere de explicacion alguna:
Sea la funcion comprendida entre m y M . Demonos m = m0 < m1 < m2 < ... <
mp1 < M = mp . = m cuando x forma parte del conjunto E0 ; mi1 < mi cuando x
forma parte de un conjunto Ei .
Definiremos mas adelante las medidas 0 , i de estos conjuntos. Consideremos una u
otra de las dos sumas m0 0 + mi i ; m0 0 + mi1 i ; si, cuando la distancia maxima
entre dos mi consecutivos tiende hacia cero, estas sumas tienden hacia un mismo lmite
independiente de los mi , elegidos, este lmite sera por definicion la integral de las de la
que diremos es integrable.
Esta construccion as escrita lleva implcitos los primeros esbozos de la definicion de
funcion simple, integral de funcion simple e integral de funcion positiva; as mismo, el lector
puede interpretar un borrador o una primera idea del conocido lema tecnico de la teora
de la medida, a saber, el paso de funciones simples a funciones positivas. Lebesgue, mas
adelante, en su tesis, desarrollara perfectamente estos primeros conceptos.
Medida
A continuacion Lebesgue se preocupa de definir la medida como parte integrante de
su construccion. Enuncia que en un intervalo (a, b) se pueden encerrar un n
umero infinito
numerable de subintervalos de infinidad de maneras, y la medida del conjunto (a, b) es el
lmite inferior de la suma de las longitudes de estos subintervalos. Aqu Lebesgue introduce sutilmente lo que sera mas adelante las algebras y -
algebras y define medida. No
es la definicion de medida que hoy conocemos como podemos observar, es la definicion de
medida exterior, que el propio Lebesgue cambiara en su tesis doctoral, llamando medida a
lo que hoy conocemos como tal.

17

 rico
La integral de Lebesgue en su contexto histo
Define conjunto medible as: se dice que un conjunto E es medible si su medida aumentada de la del conjunto de los puntos que no forman parte de E da la medida de
(a, b). A
nade una nota al pie de pagina fundamental: si a estos conjuntos se a
naden conjuntos de medida nula convenientemente elegidos, se obtienen conjuntos medibles en el
sentido del Sr. Borel (Lecons sur la theorie des fonctions). Aqu Lebesgue por primera
vez habla de los conjuntos de medida cero, as mismo, con su construccion generaliza los
medibles Borel, lo que mas adelante se probara gracias a las aportaciones de Caratheodory.
Para finalizar con la medida, Lebesgue enuncia lo que el llama dos propiedades, que
mas adelante seran parte integrante de la definicion de medida exterior actual: dada una
infinidad de conjuntos medibles Ei , el conjunto de los puntos que forman parte de uno
al menos de todos ellos es medible; si los Ei no tienen ning
un punto com
un dos a dos,
la medida del conjunto obtenido es la suma de las medidas de los Ei . El conjunto de los
puntos comunes a todos los Ei es medible.

Inclusi
on de la integral de Riemann en la integral de Lebesgue
En el sigueinte parrafo, Lebesgue enuncia un resultado de integrabilidad para funciones
acotadas y define lo que nosotros llamamos Integrable Lebesgue: si una funcion limitada
superiormente en valor absoluto es tal que cualesquiera que sean A y B, el conjunto de
los valores de x para los que se tiene A < < B es medible, entonces integrable por el
procedimiento indicado. Tal funcion sera llamada sumable. A continuacion se preocupa de
observar que la integral de Riemann esta contenida en la integral que el ha construido.
Esta observacion es fundamental para entender lo potente que es la integral de Lebesgue:
si una funcion integrable en el sentido de Riemann es sumable, la integral es la misma con
las dos definiciones. Ahora bien, toda funcion integrable en el sentido Riemann es sumable, ya que el conjunto de sus puntos de discontinuidad es de medida nula; y se puede
demostrar que si, haciendo abstraccion de un conjunto de valores de x de medida nula,
queda un conjunto en cada punto del cual una funcion es continua, esta funcion es sumable.
El ejemplo (clasico hoy en da) para entender dicha inclusion, es enunciado con sumo
cuidado como sigue: sean f (x) y (x) dos funciones continuas, no siendo (x) siempre
nula; una funcion que no difiere de f (x) mas que en los puntos de un conjunto de medida
nula denso en todas partes y que en esos puntos es igual a f (x) + (x) es sumable sin
ser integrable en el sentido de Riemann. Ejemplo: La funcion igual a 0 si x es irracional,
igual a 1 si x es racional. El procedimiento de construccion antes expuesto demuestra que
el conjunto de las funciones sumables tiene una potencia superior al continuo.

18

 rico
La integral de Lebesgue en su contexto histo
Primeras propiedades la integral de Lebesgue
Finalmente Lebesgue enuncia las primeras propiedades de su integral. Lo hace de forma
tan sencilla que no requiere de explicacion. He aqu dos propiedades de las funciones de
este conjunto.
1o Si f y son sumables, f + y f lo son y la integral de f + es la suma de la
integrales de f y de .
2o Si una sucesi
on de funciones sumables tiene lmite, es una funcion sumable.
El conjunto de las funciones sumables contiene, claro esta, = k e = x; luego por 1o ,
contiene todos los polinomios y, como seg
un 2o , contiene todos sus lmites, contiene por
tanto todas las funciones continuas, todos los lmites de funciones continuas, es decir las
funciones de primera clase (ver Baire, Annali di Matematica, 1899), las de segunda clase,
etc.
En particular, toda funcion derivada limitada superiormente en valor absoluto, por ser de
primera clase, es sumable, y se puede demostrar que su integral considerada como funcion
de su lmite superior, es una de sus funciones primitivas.

2.4.

Limitaciones de la nota.

Como es obvio, toda teora de esta embergadura no puede ser descrita de una sola
vez y con toda la nitidez y claridad con la que hoy la conocemos. Podemos observar los
resultados ausentes en ella, que son:
1. Definicion de algebras y -algebras
2. Teoremas de convergencia dominada y monotona
3. Medidas e integrales en varias dimensiones
4. Teorema Fundamental del Calculo para su integral
Pero no por ello le tenemos que quitar merito a dicha nota. Los trabajos de la integral
de Lebesgue los completara mas adelante, estructurando y matizando todos los conceptos
que se incluen en la Nota Fundacional.
Hay que rese
nar que al hacer una lectura mas pausada de la nota, observamos que
las funciones que toma Lebesgue en todo el texto son acotadas, lo cual es producto de la
incapacidad que tena Lebesgue para generalizar a funciones en general. Hasta su tesis no
fue capaz de englobar a todas las funciones.

19

 rico
La integral de Lebesgue en su contexto histo
Hacemos notar que la Teora de Lebesgue, tal y como hemos visto, no usa propiedades
topologicas ni algebraicas, lo que la convierte en mas general, si cabe, ya que no necesita
estas disciplinas para su construccion.

20

Bibliografa
Haw
[1] Hawkins, T. Lebesgue theory of integration. Its origins and development, 1970, Chelsea
Publishing Company.
Bo1
[2] Borel, E. Lecons sur la theorie des fonctions, 1898, Editions Jacques Gabay , paginas
46 - 50.
Esc
[3] Escobedo, M. El centenario de la integral de Lebesgue. Conmemoraci
on, 2002, Boletn
de la Sociedad Espa
nola de Matematica Aplicada, Mayo 2002, N
umero 20, paginas 23
- 29.
Le2
[4] Lebesgue, H. Sur une generalisation de lintegrale definie, 1901, Annales scientifiques
de LEcole Normale Superiore de Pars, Tomo 132, paginas 1025 - 1027.

21

 rico
La integral de Lebesgue en su contexto histo
Nota a la Bibliografa:
Paginas webs visitadas para acceder a algunas de las obras citadas en la Bibliografa :
http://www.numdan.org

http://math-adrar.ujf-grenoble.fr

Pagina web visitada para acceder a la Biografa de Henri Lebesgue :

http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Lebesgue.html

22