La integral de Lebesgue en su contexto

historico
Cordero Zamorano, Pablo Martn
Diciembre 2006

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

Emile Borel . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4. Problemas que motivaron la nueva integral . . . . . . . . . . . . . . . . . . 6
1.4.1. Series trigonometricas y de Fourier e integraci on termino a termino 6
1.4.2. El teorema fundamental del calculo . . . . . . . . . . . . . . . . . . 7
1.4.3. Longitud de una curva . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4.4. Integrales dobles e iteradas . . . . . . . . . . . . . . . . . . . . . . . 8
1.5. Consecuencias durante el siglo XX . . . . . . . . . . . . . . . . . . . . . . . 9
1.5.1. Consecuencias en el Calculo. . . . . . . . . . . . . . . . . . . . . . . 9
1.5.2. Consecuencias en la Probabilidad. . . . . . . . . . . . . . . . . . . . 10
2. La primera nota de Lebesgue sobre su teora 11
2.1. Primera nota de Lebesgue sobre su integral (texto original en frances) . . . 11
2.2. Primera nota de Lebesgue sobre su integral (traduccion) . . . . . . . . . . 14
2.3. Comentarios sobre la Nota. . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.4. Limitaciones de la nota. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1
Captulo 1
Hacia una nueva teora de integracion
Se podra decir que Lebesgue creo la primera teora de integracion genuina. Varias
deniciones, teoremas y ejemplos antecededieron a su trabajo, pero carecan de la coheren-
cia y completitud de una verdadera teora. Sin embargo, estas contribuciones anteriores
prepararon el terreno para una sosticada teora de integraci on. Concretamente, permi-
tieron 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 propor-
cionarnos un nuevo punto de vista desde el que mirar la denicion de la integral de
Cauchy-Riemann. De ah que sea imprescindible comenzar con una mnima retrospecti-
va 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 denida 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 volvi o a Gottingen y en 1851 present o su tesis doctoral Grundlagen f ur
eine allgemeine Theorie der Functionen einer veranderlichen complexen Grosse. El punto
de partida es una denicion 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 representaci on de funciones mediante series trigonometricas. La pregunta inicial de
2
La integral de Lebesgue en su contexto hist

orico
su investigacion fue: en que casos es una funcion integrable? Fue entonces cuando creo la
integral que hoy conocemos.
La teora de integraci on 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
suciente para ello: una funcion acotada f(x) es integrable en [a, b] si y solo si la suma de
Cauchy
S =
n

k=1
f(t
k
)(x
k
x
k1
),
donde a = x
0
< x
1
< ... < x
n
= b y t
k
[x
k1
, x
k
], se aproxima a un unico valor lmite
cuando el tama no de la particion del intervalo se aproxima a 0. Este unico valor lmite es
por denicion
_
a
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 represent o 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
denicion tradicional de Cauchy; de hecho, permita extender el concepto de integral a
funciones cuyos puntos de discontinuidad forman un conjunto denso, funciones cuya exis-
tencia 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 denicion de integral. Es
a este respecto que la idea de medida se torna fundamental para sentar las bases de una
nueva denicion de integral.
1.2. Dos nuevas caracterizaciones de integrabilidad
Denamos primero algunos conceptos que son necesarios. Sea S un conjunto acotado
de n umeros reales. Sean I
1
, I
2
, ..., I
n
un conjunto nito de intervalos que cubren S. El con-
tenido externo de S, c
e
(S), es el nmo de todos los n umeros reales de la forma
n

k=1
L(I
k
),
donde I
k
cubre S y L(I
k
) es la longitud del intervalo I
K
. Analogamente, el contenido in-
terno de S, c
i
(S), se dene como el supremo de
n

k=1
L(I
k
), donde I
k
I
k
= y
n

k=1
I
k
S.
Diremos que un conjunto es Jordan-medible si c
i
(S) = c
e
(S) y, en tal caso, diremos que su
contenido es c(S) = c
i
(S) = c
e
(S). Observese que estas deniciones se pueden extender de
forma natural a mas dimensiones.
3
La integral de Lebesgue en su contexto hist

orico
El primer matematico que introdujo la denicion de contenido exterior de un conjunto
fue Otto Stolz (1842-1905) en 1881, Profesor de matematicas de la Universidad de Inns-
bruck. Tres a nos mas tarde, e independientemente de Stolz, Cantor publico una denicion
equivalente conceptualmente, pero en el contexto mas general de los espacios euclideos
enedimensionales. En un escrito publicado poco despues de que Cantor diera su denicion,
el matematico Harnack propuso su propia denicion, la cual era bastante similar a la de
Stolz (aunque aparentemente no conoca nada acerca de ella). Por otra parte, el concepto
de medible denido 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 graca. Dada una funcion f denida
y acotada en el intervalo [a, b], sea E el conjunto de puntos del plano delimitado por el
graco 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
a
_
b
|f| = c(E),
a
_
b
f = c(E
+
) c(E

),
donde E
+
y E

denotan el semiplano positivo y negativo del eje de ordenadas, respec-

tivamente.
La segunda caracterizacion de la condicion de integrabilidad de Riemann consiste en
que las integrales superior e inferior de f sean iguales, esto es,
_
a
b
f =
_ a
b
f,
siendo
_
a
b
f y
_ a
b
f el supremo y el nmo, respectivamente, de
L =
n

i=1
m
i
(x
i
x
i1
), U =
n

i=1
M
i
(x
i
x
i1
),
donde a = x
0
< x
1
< ... < x
n
= b denota una particion de [a, b], y m
i
y M
i
denotan,
respectivamente, el nmo y supremo de f(x) en [a, b]. La introducc on del concepto de
conjunto medible causo la siguiente variacion en esta caracterizacion de integrabilidad.
Consideremos las sumas mas generales:
L =
n

i=1
m
i
c(E
i
), U =
n

i=1
M
i
c(E
i
),
donde los conjuntos E
i
son Jordan-medibles, disjuntos dos a dos y tales que [a, b] =

n
i=1
E
i
. Entonces el supremo de L y el nmo de U son a un las integrales inferior y supe-
rior de f y, por tanto, la condicion de integrabilidad de Riemann puede ser enunciada en
4
La integral de Lebesgue en su contexto hist

orico
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 denida 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, cuyo conjunto correspondiente E pertenezca a
M. La integral de f vendra as denida por
_
a
b
f = m(E
+
) m(E

). Analogamente, la
segunda caracterizacion, sugiere denir las integrales superior e inferior
_
a
b
f y
_ a
b
f con
respecto a M como el supremo de L

y el nmo de U

para las sumas

L

=
n

i=1
m
i
m(E
i
), U

=
n

i=1
M
i
m(E
i
),
donde ahora E
i
pertenece a M. Entonces
_
a
b
f
_
a
b
f
_ a
b
f
_ a
b
f,
y se podra denir f como integrable si se cumple
_
a
b
f
_ a
b
f.
Claramente, las dos deniciones anteriores, basadas en un concepto mas amplio de me-
dida, representan generalizaciones de la integral de Riemann; cuando M denota la clase
de conjuntos Lebesgue-medibles, las deniciones 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 suby-
acen bajo o se derivan de ella).
As, el nacimiento de medida puede ser atribudo a Emile Borel. Antes de hacer p ubli-
cos 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
La integral de Lebesgue en su contexto hist

orico
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 cumpli-
eran que si X
n
es una familia nita 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 denicion de Borel es la
denicion de premedida, nombre que mas adelante asignara Lebesgue.
Borel no probo la existencia y unicidad de dicha denicion. Arma que ((el lema fu-
nadmental demostrado [...] nos asegura que estas deniciones nunca seran contradictorias
entre s)), y anoto en el pie de pagina de ese mismo libro que ((He omitido toda demostracion
ya que la redaccion me parecio tener que ser larga y fastidiosa [...] )). Por otra parte, Borel
no hace absolutamente ninguna referencia o insinuaci on sobre una posible conexion entre
su concepto de medida y la teora de integraci on.
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 denicion 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 integraci on. Como Leguesgue explico, una generalizacion hecha no por el placer
de generalizar, sino para resolver problemas previos no resueltos, es siempre una general-
izacion fructfera. De hecho, los problemas no resueltos motivaron los mayores resultados
de Lebesgue.
1.4.1. Series trigonometricas y de Fourier e integracion termino
a termino
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 innita de funciones? Es decir, cuando es cierto que
6
La integral de Lebesgue en su contexto hist

orico
_
a
b
_

n=1
u
n
(x)
_
=

n=1
__
a
b
u
n
(x)
_
?
Fourier asumio que la la respuesta a esta ultima pregunta es siempre, y lo uso para
probar que la respuesta a la primera pregunta es s. Hacia nales del siglo diecinueve
se desmostro que no se puede integrar termino a termino ni siquiera en el caso de series
uniformemente acotadas, precisamente porque f(x) =

i=1
u
n
(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 embar-
go, allanaron el camino para que Lebesgue probara elegantemente que se pueden inter-
cambiarla 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 armar la creencia de Fourier de que la respuesta es siempre.
1.4.2. El teorema fundamental del calculo
Otro torrente de dicultades fue el teorema fundamental del calculo
_
a
b
f

(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 carac-
terstica de las integrales absolutamente convergentes, aunque nadie fue capaz de probar
que cualquier funcion absolutamente continua es una integral.
7
La integral de Lebesgue en su contexto hist

orico
1.4.3. Longitud de una curva
Una familiaridad mas profunda con los conjuntos innitos de puntos haban conducido
al descubrimiento de problemas relacionados con el teorema fundamental del calculo. La
incipiente teora de conjuntos innitos tambien estimul o el interes de la formula clasica
para la longitud de una curva, a saber,
L =
_
a
b
(1 + (f

)
2
)
1
2
.
Paul du Bois-Reymond, quien inicialmente se interes o por este problema, estaba con-
vencido 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 fun-
cion moderno. Hacia nales del siglo diecinueve este punto de vista pareca insostenible,
en particular por las crticas y contrajemplos de Ludwig Scheeeer. Lebesgue estaba real-
mente interesado en esta cuestion y fue capaz de usar los resultados de su propia teora de
integracion para devolver la credibilidad a las armaciones 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 nita 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 gen-
eral 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 nales
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 justico 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,
_
R
f(x, y)dR =
_
a
b
__
c
d
f(x, y)dy
_
dx =
_
c
d
__
a
b
f(x, y)dx
_
dy,
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
La integral de Lebesgue en su contexto hist

orico
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 formulaci on clasica
haba de ser, por lo tanto, modicada. Algo mas tarde se descubrio que las modicaciones
deban ser cada vez mas drasticas cuando se consideran funciones no acotadas. Aunque
Lebesgue no resolvio este problema, su tratamiento del problema sent o las bases para el
bien conocido teorema de Fubini, devolviendo la simplicidad de la formulaci on original.
1.5. Consecuencias durante el siglo XX
Hacia nales 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 cre-
cio 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 integraci on. 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 Calculo.
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 integraci on de fun-
ciones de varias variables usando el Teorema de Fubini, etc. Pero sus consecuencias no se
quedan aqu, la teora de Lebesgue sirvio para la evoluci on del Calculo. A grandes rasgos
podramos decir que se consiguieron resolver calculos del tipo
_
,
_
, se justico 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
nalmente Wiener en 1922 fue el primero en hablar de medidas de probabilidad.
9
La integral de Lebesgue en su contexto hist

orico
Las consecuencias menos inmediatas en el Calculo fueron denir los Espacios L
p
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, ha-
ciendo de la Teora de Lebesgue una herramienta indispensable para la evoluci on de la
Probabilidad. Hoy en da podemos ver que la probabilidad no es mas que un caso partic-
ular de la generalizacion de la teora de Lebesgue.
Fue Kolmogoro en 1933 el que axiomatizo la teora de la probabilidad y el que rela-
ciono 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 discon-
tinuas. 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 ultima nota en la que Lebesgue
anuncia la generalizacion de la integral de Riemann. Transcribimos a continuaci on esta
nota en su version original francesa (paginas 1025 a 1027 del tomo 132 de los Comptes
Redus) y su traduccion para, por ultimo, comentar los aspectos mas relevantes, realizando
as una breve incursion la teora que nos ocupa.
2.1. Primera nota de Lebesgue sobre su integral (tex-
to original en frances)
ANALYSE MATH

EMATIQUE.- Sur une generalisation de lintegrale denie.

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 deni 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 denition de lintegrale
comprenant comme cas particulier celle de Riemann et permettant de resoudre
11
La integral de Lebesgue en su contexto hist

orico
le probl`eme des fonctions primitives
1
.
Pour denir lintegrale dune fonction continue croissante
(x) (a x 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
(a
i
, a
i+1
), varie entre certaines limites m
i
, m
i+1
, et reciproquement si est
entre m
i
et m
i+1
, x est entre a
i
et a
i+1
. De sorte quau lieu de se donner la
division de la variation de x, cest-`a-dire de se donner les nombres a
i
, on aurait
pu se donner la division de la variation de , cest-a-dire les nombres m
i
. De l`a
deux mani`eres de generaliser la notion dintegrale. On sait que la premi`ere (se
donner les a
i
) conduit `a la denition donnee par Riemann et aux denitions 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 = m
0
< m
1
< m
2
< ... < m
p1
< M = m
p
= m quand x fait partie dun ensemble E
0
; m
i1
< m
i
quand x fait
partie dun ensemble E
i
.
Nous denirons plus loin les mesures
0
,
i
de ces ensembles. Considerons lune
ou l`autre des deux sommes
m
0

0
+ m
i

i
; m
0

0
+ m
i1

i
;
si, quand lecart maximum entre deux m
i
consecutifs tend vers zero, ces sommes
tendent vers une meme limite intependante des m
i
choisis, cette limite sera par
denition lintegrale des qui sera dite integrable.
Considerons un esemble de points de (a, b); on pent dune innite de mani`eres
enfermer ces points dans une innite 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 pro-
prietes de ces ensembles: une innita densembles mesurables E
i
etant donnee,
lesemble des points qui font partie de lun au moins dentre eux est mesurable;
si les E
i
nont deux `a deux aucun point commun, la mesure de lensemble
obtenu est la somme des mesures E
i
. Lensemble des points communs `a tous
les E
i
est mesurable.
1
Ces deux conditions imposees a priori `a toute generalisation de lintegrale sont evidemment compat-
ibles, 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 en-
sembles mesurables au sens de M. Borel (Lecons sur la theorie des fonctions).
12
La integral de Lebesgue en su contexto hist

orico
Il est naturel de considerer dabord les fonctions telles que les ensembles qui
gurent dans la denition 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 < 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 denitions.
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
di`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 fonc-
tions sommables a une puissance superieure au continu. Voici deux proprietes
des fonctions de cet ensemble.
1
o
Si f et sont sommables, f + et f le sont et lintegrale f + est la
somme des integrales de f et de .
2
o
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 1
o
, il contient donc toutes les polynomes et comme, dapr`es 2
o
, 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

|, |

|, |

| sont limitees
superieurement, la courbe
x = f(t), y = (t), z = (t)
a pour longueur lintegrale de
_
f
2
+
2
+
2
. Si = = 0, on a la variation
totale de la fonction f `a variation limitee. Dans le cas o` u f

nexistent
13
La integral de Lebesgue en su contexto hist

orico
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 (tra-
duccion)
Analisis Matematico.- Sobre la Generalizacion de la integral denida.
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 denio la integral de algunas funciones
discontinuas, pero no todas las funciones derivadas son integrables, en el sentido
Riemann. La integraci on no resuelve por tanto el problema de la b usqueda de
funciones primitivas, y es deseable una denicion de la integral que comprenda
como caso particular la de Riemann y permita resolver el problema de las
funciones primitivas
1
.
Para denir la integral de una funcion continua creciente
(x) (a x b)
se divide el intervalo (a, b) en intervalos parciales y se hace la suma de las canti-
dades 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 (a
i
, a
i+1
),
vara entre ciertos lmites m
i
, m
i+1
y, recprocamente, si esta entre m
i
y
m
i+1
, x esta entre a
i
y a
i+1
. De tal manera que en lugar de darnos la division
de la variacion de x, es decir darnos los n umeros a
i
, nos hubieramos podido dar
la division de la variaci on de , esto es, los n umeros m
i
. De ah dos maneras
de generalizar la nocion de integral. Sabemos que la primera (darnos los a
i
)
conduce a la denicion dada por Riemann y a las deniciones 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 = m
0
< m
1
< m
2
< ... < m
p1
< M = m
p
= m cuando x forma parte del conjunto E
0
; m
i1
< m
i
cuando x forma
parte de un conjunto E
i
.
Deniremos mas adelante las medidas
0
,
i
de estos conjuntos. Consideremos
una u otra de las dos sumas
m
0

0
+ m
i

i
; m
0

0
+ m
i1

i
;
1
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
La integral de Lebesgue en su contexto hist

orico
si, cuando la distancia maxima entre dos m
i
consecutivos tiende hacia cero,
estas sumas tienden hacia un mismo lmite independiente de los m
i
elegidos,
este lmite sera por denicion 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 innito numerable de intervalos de una innidad 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 innidad de conjuntos
medibles E
i
, el conjunto de los puntos que forman parte de uno al menos de
todos ellos es medible; si los E
i
no tienen ning un punto com un dos a dos, la
medida del conjunto obtenido es la suma de las medidas de los E
i
. El conjunto
de los puntos comunes a todos los E
i
es medible.
Es natural considerar primero las funciones tales que los conjuntos que guran
en la denicion de integral sean medibles. Se obtiene: si una funcion limitada
superiormente en valor absoluto es tal que, cualesquiera que sean A y B, el con-
junto de los valores de x para los que se tiene A < 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 de-
fecto 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 deniciones.
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 de-
mostrar 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 diere 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 po-
tencia superior al continuo. He aqu dos propiedades de las funciones de este
conjunto.
1
o
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
La integral de Lebesgue en su contexto hist

orico
2
o
Si una sucesion de funciones sumables tiene lmite, es una funcion sum-
able.
El conjunto de las funciones sumables contiene claro esta = k e = x; luego
por 1
o
, contiene todos los polinomios y como, seg un 2
o
, 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 absolu-
to, 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 prim-
itivas.
He aqui ahora una aplicacion geometrica: si |f

|, |

|, |

| estan limitadas su-

periormente, la curva
x = f(t), y = (t), z = (t)
tiene por longitud la integral de
_
f
2
+
2
+
2
. Si = = 0, se tiene
la variaci on total de la funcion f de variaci on limitada. En el caso en que f

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 clar-
idad. En ning un momento enuncia teoremas o deniciones, 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:
Motivaci on 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 deniciones 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
La integral de Lebesgue en su contexto hist

orico
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 perfec-
tamente 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 denicion 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 = m
0
< m
1
< m
2
< ... <
m
p1
< M = m
p
. = m cuando x forma parte del conjunto E
0
; m
i1
< m
i
cuando x
forma parte de un conjunto E
i
.
Deniremos mas adelante las medidas
0
,
i
de estos conjuntos. Consideremos una u
otra de las dos sumas m
0

0
+ m
i

i
; m
0

0
+ m
i1

i
; si, cuando la distancia maxima
entre dos m
i
consecutivos tiende hacia cero, estas sumas tienden hacia un mismo lmite
independiente de los m
i
, elegidos, este lmite sera por denicion la integral de las de la
que diremos es integrable.
Esta construccion as escrita lleva implcitos los primeros esbozos de la denicion 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 continuaci on Lebesgue se preocupa de denir la medida como parte integrante de
su construccion. Enuncia que en un intervalo (a, b) se pueden encerrar un n umero innito
numerable de subintervalos de innidad de maneras, y la medida del conjunto (a, b) es el
lmite inferior de la suma de las longitudes de estos subintervalos. Aqu Lebesgue intro-
duce sutilmente lo que sera mas adelante las algebras y -algebras y dene medida. No
es la denicion de medida que hoy conocemos como podemos observar, es la denicion de
medida exterior, que el propio Lebesgue cambiar a en su tesis doctoral, llamando medida a
lo que hoy conocemos como tal.
17
La integral de Lebesgue en su contexto hist

orico
Dene conjunto medible as: se dice que un conjunto E es medible si su medida au-
mentada 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 con-
juntos 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 nalizar con la medida, Lebesgue enuncia lo que el llama dos propiedades, que
mas adelante seran parte integrante de la denicion de medida exterior actual: dada una
innidad de conjuntos medibles E
i
, el conjunto de los puntos que forman parte de uno
al menos de todos ellos es medible; si los E
i
no tienen ning un punto com un dos a dos,
la medida del conjunto obtenido es la suma de las medidas de los E
i
. El conjunto de los
puntos comunes a todos los E
i
es medible.
Inclusion de la integral de Riemann en la integral de Lebesgue
En el sigueinte parrafo, Lebesgue enuncia un resultado de integrabilidad para funciones
acotadas y dene 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 continuaci on 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 deniciones. Ahora bien, toda funcion integrable en el sentido Riemann es sum-
able, 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 diere 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
La integral de Lebesgue en su contexto hist

orico
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.
1
o
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
o
Si una sucesion de funciones sumables tiene lmite, es una funcion sumable.
El conjunto de las funciones sumables contiene, claro esta, = k e = x; luego por 1
o
,
contiene todos los polinomios y, como seg un 2
o
, 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. Denicion 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
La integral de Lebesgue en su contexto hist

orico
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. Conmemoracion, 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 denie, 1901, Annales scientiques
de LEcole Normale Superiore de Pars, Tomo 132, paginas 1025 - 1027.
21
La integral de Lebesgue en su contexto hist

orico
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