INTEGRAL DE LEBESGUE

1 Por qu la integral de Lebesgue.

El espacio Cg(lR) de las funciones numricas continuas en toda la recta y
nulas fuera de un intervalo acotado de IR es un espacio normado si se
define 11 f 111=r ~ : - 1 f(I') 1 di. pero no es completo respecto de esta
norma. Se querra construir un espacio ms grande. formado por funciones
para las cuales pueda definirse la integral. y de modo que al definir norma
de f por la misma frmula que antes. resulte un espacio normado completo.
El primer candidato natural es el espacio de las funciones acotadas. nulas
fuera de un intervalo acotado. e int egrables en el sentido de Riemann (para
cada tal funcin . f se puede ciert.arnent e hallar una sucesin de funciones In
de Cg(lR) tal que J 1 In - I I -+O . de modo que todas ellas razonablemente
debieran pertenecer al espacio buscado). Observemos que en este espacio
hay funciones no idnticamente nulas que tienen "norma igual a cero: al
abandonar el requerimiento de continuidad la integral del mdulo deja de
ser una norma. Para recuperar la condicin de que slo el vector nulo tenga
norma igual a cero hay que considerar equivaleutes dos funciones cuando la
integral del mdulo de la diferencia sea igual a cero .. v considerar el espacio
cuyos elementos son las clases de funciones equivalentes. De esta manera
se obtiene UD buen espacio vectorial norrnado. y c g ( IR) puede considerarse
como subespacio de l. ya que dos funciones con tin uas distintas no pueden
ser equivalentes. Pero este nuevo espacio tampoco es completo.
}'Is adelante se dar la definicin de fun cin in t eqr able en el sen tido d
Lebesque. y de integral de una tal funcin. En el espacio [lde esas funciones
reaparecer el mismo problema de ms arriba. que ser resuelto de la misma
manera. construyendo el espacio L 1 cuyos elementos son clases de funciones
equivalentes. y resultar que L 1 es un espacio norrnado completo. del cual
C~( IR) es subespacio. v adems es subespacio denso en {,l . lo qlle muestra
que la extensin lograda es la menor posible.
Tanto en la teora de Riemann como en la de Lebesgue. la no iutegrabi-
lidad de una funcin puede deberse
a) a la aparicin de infinitos
b) al comportamiento demasiado irregular de la funcin.
Grosso modo. si una funcin que es integrable-Lebesgue no es integrable
en el sentido de Riemann. es por la segunda razn: su comportamiento f:'S
demasiado irregular para la teora de Riemann (ejemplo: la funcin que vale
1 en los puntos irracionales del intervalo [O. 1] Y cero en todos los dems
puntos de la recta): una funcin muy regular pero que barra un rea infinita
resultar no integrable tambin en el sentido de Lebesgue. Por otra parte.
"existen" funciones acotadas en toda la recta. y nulas fuera de un intervalo
acotado. y de un comportamiento tan irregular que las hace nointegrables-
Lebesgue. Pero otra gran ventaja cLf' la teora de Lebesgue es que. desde el
punto de vista prctico. es como si tales funciones no existieran: toda funcin
que se obtenga a partir de funciones continuas por operaciones algebraicas o
por sucesivas operaciones de paso al In~ite puntual (o sea esencialmente toda
funcin que UIlO pueda definir en forma explcita. sin apoyarse en el axioma
de eleccin) tiene un comportamiento suficientemente regular para la teora:
si no resulta integrable-L es porque 110 debe serlo (hay de por medio un rea
infinita).
Estas dos ventajas (completitnd del espacio de las funciones integrables.
y el hecho de que toda funcin imaginable es de comportamiento suficiente-
mente regular) se reflejan en los poderosos teoremas de paso al lmite que
son vlidos en la teora de Lebesgue.
2 Definiciones bsicas
Si 1 es un intervalo en la recta. vamos a, indicar m( 1 ) su longitud. Salvo
que se diga lo contrario, "funcin" significar "funcin numrica de variable
real" .
Definicin 1. en subcoiijun io X de la rec ta sr dice de medida nula si
dado e >O es posib! hallar 1 1 1 /(/ familia n umer able de in ier culos In tales
'lile:
X eU: In ' L~ m( !,,) <e,
Il
:\otar que todo subconjunto numerable de IR es de medida nula, ,v que
un conjunto que contenga un intervalo abierto no vaco ciertamente no es dp
medida nula.
Definicin 2. L'r ia sucesin de fun cion es In converge a I en casi todo
punto (n otado In - +P7> f ),,{ fr t(.r ) -+I(r) V .l" E IR - X . don de X
es un con jun to d medida n ula.
V amos a notar \.-1. la funcin caracterstica del conjunto . L es decir. la
funcin que vale 1en los puntos de A . Y Oen todos los dems. Y llamaremos
fun cin escaler a una funcin que es una combinacin lineal (finita) de fun-
ciones caractersticas de intervalos acotados. Si f es una funcin escalera.
entre las (muchas) expresiones de Iele la forma I=L't' a, \ l. se puede siem-
pre hallar una en que los intervalos 1 no tiene puntos comunes: una tal se
dir erpresion r educida para la.f. Es fcil ver que el nmero L Clm( J ) no de-
pende de la particular expresin de f como combinacin lineal ele funciones
caractersticas de intervalos. Adems: si f es una funcin escalera, 1 f 1
tarn bin lo es.
Definicin 3. Si f =L~ Cl\I. u; un a fun cin escaler a. defin imo.5
J !:: /(. !") dr =)"t' ( {m( f). (\Iuchas veces abreviaremos If)
Es claro que el espacio E de las funciones escalera es un espacio vectorial.
vI: E -+ fes una funcional lineal. 11 f 11 =I1 f 1 es una seudonorrna en
[.
Definicin 4. Fn a fun cin . f $ dice medible si r ist un a sucesion de
[unc iones escaler a qU t c onc erqe pp a f.
Estas son las funciones "de comportamiento suficientemente regular" de
las que se habla ms arriba. Pueden definirse equivaleuternente como los
lmites pp de funciones continuas, los lmites pp de funciones integrables-
Riemann. y de varias otras maneras. Slo es posible demostrar la existencia
de funciones no medibles apoyndose en el axioma de eleccin.
Si c D n es una sucesin de funciones escalera que converge puntualmente
a una funcin . f ' no tiene porqu existir el lmite elela sucesin (de nmeros
complejos) J o; . Pero si la sucesin es de Cauchy (en el sentido de la
seudonorrna: siempre que no se diga lo contrario. "sucesin de Cauchy' de-
ber entenderse en este sentido), de 1 If 1::; I1 f 1 se deduce que existe
Lv es finito) lim IOn . 'y' puede verse adems que si l'Tl es otra sucesin
de Cauchy de funciones escalera que converge p p a la misma funcin I,
entonces limJ o; =lim{!!"n. Conviene observar que en el caso en que
las funciones 0" tomen valores reales y formen una sucesin montona. la
sucesin de las integrales es tambin montona . 1 ,' si no tiene lmite finito es
porque tiende l, +x o a - x.
Definicin 5. Fr u: [un cion f se dice in t eqr uble- Lebesqu si existe un a
sucesion de Cauchy ile [un cion es escale r n 0" qu C01H'c': qt pp a l. E n
tal caso S defin e ( f =limj 0n. E l espacio d: todas las fun cion es
in teqr oblee- Lebesque se in dica [I(IR).
En adelante =integrable significar integrable-Lebesgue. :-otar que pue-
de alterarse arbitrariamente el valor cleuna funcin en un conjunto de medida
nula (incluso definindola all =oc ) sin que se altere su integrabilidad ni el
valor de su integral.
Nota. Si f es una funcin medible r eal y 170 n cqatu: . Y que n o es iute-
grable. es costumbre definir r f =+x .de modo que para una. tal funcin.
la expresin ,. f tiene integral finita" es sinnimo dp .. f es integrable".
rna funcin f se dice in teqr able sobr e e! con jun to .1 eIH si es integrable
la funcin f. U. ' Y se escribe 1.-\ f ={~:' f. \- \. En el caso en ([ue A. sea
un intervalo de extremos (finitos o no) a < b se escribe indiferentemente
fr , , , , ) =1 ,;. En particular. IR f =J ~-:f . El espacio de las funciones f. \.1 .
con f iur egrable sobre .-\ se indica LI(. -t). Tna funcin se dice locolmen t e
in teqr able si es integrable sobre todo intervalo acotado: el espacio de tales
funciones se indica LfoJ IR).
Lna funcin f se dice df cuadr ado in teqr able si I f j2E [I(IR): el
espacio (vectorial] de tales funciones se indica [2( IR) : la forma sesquilineal
< f.g >=J r g est bien definida en [2(IR). Y define un producto escalar
en el espacio U( IR) , obtenido al identifica:' en [2( IR) funciones que slo
difieran en un conj unto de medida nula. La convergencia en el sentido de
la norma deducida de este producto escalar se dice con cer qen cio en media
cuadr tica.
3 Resultados bsicos
Si una funcin es integrable su mdulo tambin lo es (valiendo la recproca
siempre que la funcin sea medible). Todos los espacios L
I
definidos ms
arriba son espacios vectoriales .v. PTl LI( A). 1 1 . f 1 1 =1 1 f 1 1 1 =1.4 I . f I es
-l
. . ,. .,. -_ -
una seudonorrna. Al identificar funciones que slo difieren en un conjunto de
medida nula. esta seudonorma se convierte en norma. Es decir. [11 f 1= O
sii f(.r ) =Opp en A. Se indica . C( A) el espacio norrnado as obtenido. \"0
es habitual introducir una notacin especial para un elemento de un I. 1 (clase
de funciones equivalentes). usando para ello el nombre de una cualquiera de
las Funciones de la clase. V ale la pena notar que para f E L 1 no tiene en
general mayor sentido hablar de ../( .ro r. ya que ese valor particular puede
ser alterado a gusto sin modificar el elemento de L 1 . Pero si una funcin
/ E [.1(.-\.) es continua en un intervalo contenido en .-\. es la n ica de su
clase que es continua en ese intervalo. :\s. si 1111 elemento / de L1( ffi. )
contiene nna funcin continua. por ../( .1'0r se entiende el valor PIl .1'0 de la
nica funcin continua de la clase.
En lo siguiente. L 1 indica cualquier L 1( A) . con A elR cualquiera
medible (es decir. tal qUf' \. \ es medible): para una f E [1 se entiende
que 11 f iIes la norma en el L 1 correspondiente. y la integral de f se
entender extendida al .-l. correspoudienr e.
Teorema1.n)S'i fE{l. fSIIfl::;fIII.
b) f : [l--7 ff'" [un cion al lin en l con t in u a .
e] Si f medible es tn auor ada e n mdulo por un a fun cin in teqr able
en ton as f es iuteqr able. E n par ticular . toda [un cion medible acotada
ES in teqr able sobr e un con jun to medible acotado,
Algunos criterios de paso al lmite bajo el signo de integral ( In --711 11f
significa I IIn - /1 --7 O ):
Teorema 2 [cor n pleiit u d de L ]. Si I; es un o sucesion de C'allchy en
L 1 ( e n ticn de: de Cauch y fII ti si n t ido de /(1 11o 1' 111 a). e n t on ces exisie
f E [1 tal que l; --711 11I y II, --7 If .
Teorema 3 [t eor e m a d la con r e r qen cia mon ton o). Si In E. ~ un a SUff-
sion de [un cion es in t eqr ables n o n eqaiicas [pp}, tal que /n(. 1 ') --7pp I(;t) .
In (x) : : : ;fn+l(.r) en casi todo pun to . . 1J m.an ten in dose SU. 5 in teqr ales aco-
tadas por un n mer o fijo, en ton ces f es in teqr able, I; con ce r qe en
n or ma ( L I e I In --7 J f .
Teorema 4 {teor ema d fa con ver gen cia domin ada]. Si fn es un a
sucesin de [un cion es in teqr cble que con ce r qe pp a un n fun cin f
J / existe un a fun cin in teqr able g tal qu 1 In (.r ) 1::; q( . r) fTl casi
todo p un t o, en ton as f es in t eqr able, In con r cr qe en n or ma a f y
J f =limjj', .
Corolario Si .l es medible, !J existe un a fun cin in l eqr able 9 tal que
Ifl~9 . en ton ces f ES in teqr able .
Por supuesto sigue valiendo el (casi nico) criterio de paso al lmite del
que se dispone en la teora ele Riemann:
Teorema 5. Si un a eucesion de [un cion es in h qr able f" COl!CU g
un ifor memen te a un a fun cin in t eqr able I sobr un uit er r olo acoi ado
(a. b) . e n t on ces J : fn - i: f.
En cuanto al espacio de las funciones de cuadrado int egrable se tiene:
Teorema 6. E l espacio L: 2 (IR) (r omo t a tn bie n todos los t spacio e(.-i)
defin idos an loqamen ie} ES un espacio de Hilbe rt .
Conviene tener presente que ninguno de los espacios L i( IR) . U( IR)
contiene al otro: la funcin f(: c) =(1/ fih[o,lj(.r) es int egrahle pero no
de cuadrado integrable. mientras que la funcin g ( . r) =(lj.rh(l.x) es de
cuadrado integrable pero no integrable. Sin embargo. si . 1 es acotado. es
L
2
( . --\. ) e[l(. 4. ) (iOjo~ en los espacios de sucesiones vale la inclusin inversa:
(le(2) .
4 Comparacin entre convergencia en media
y convergencia puntual
(Convergencia en media =convergencia en la norma de l. 1 : la convergencia
puntual se entender siempre en casi todo punto). ); inguno de los dos tipos
de convergencia es ms fuerte que el otro. f'S decir, se pueden dar ejemplos
de sucesiones de funciones integrables que convergen puntualmente pero no
en media a una funcin I (los teoremas anteriores dan algunas de las
condiciones que hay que agregar a la convergencia puntual para que valga
la convergencia en media) y tambin ejemplos en que hay convergencia en
media sin que haya convergencia puntual. Sin embargo. si una sucesin (In )
de funciones (integrables) converge en media a una funcin (integrable) f
entonces hay una subsucesin U n k) que converge puntualmente a f
5 Integral y derivacin como operaciones in-
versas. Funciones absolutamente conti-
nuas. Integracin por partes.
Para una funcin bastante buena. por ejemplo continua con derivada con-
tinua. valen
i
X
f'(t) dt =1 (r) - I(a)
djd.r j'.r I(!) dt =f(.I').
'1
( 1)
(:2 )
(Este no es un resultado nuevo. ya que para funciones buenas la integral de
Lebesgue y la de Riernann coinciden). Es decir. los operadores r' y dj d.r
son esencialmente inversos uno de otro.
Se trata de ver hasta qu punto sigue valiendo este hecho para funciones
ms generales.
La frmula (:2) es ms robusta -lo cual de algn modo est vinculado
con el hecho de que el operadorf' mejora las propiedades de una funcin.
mientras que dj d las estropea.
Teorema 7. Si I E 1: Fo.: ( IR) . en ton ces F(.r ) =J ~ r f( t) dt es con tin ua,
tien e der ivada F'tr en casi todo pun to . 1 ' IJ F' ( . 1' ) =/(. 1 ') en casi
lodo pun to .r .
Es decir. para la validez de (:2) basta que exista F( . r) - o sea. basta que
f sea localmente integrable. En cuanto a la validez de (1 ): un requerimiento
mnimo es obviamente que exista f'(.r ) en casi todo punto. y que f' sea
localmente integrable (para que el miembro izquierdo de (1 ) tenga sentido),
pero esto todava no basta: existen funciones continuas no constantes. cuya
derivada existe en casi todo punto y. donde existe. es igual a cero (ver por
ej. Reed-Sirnon vol. 1. pg.:21). Para una tal funcin el miembro izquierdo
de (1 ) est definido y es igual a cero en todo .1'. mientras que el miembro
derecho no es idnticamente nulo.
La clase A de las funciones . f para las cuales tiene validez la frmula
( 1) en casi todo punto es pues ms restringida que la clase de las funciones
continuas que admiten derivada en casi todo punto, siendo esta derivada,
adems, localmente integrable. Esta clase A de funciones -Ilamadas pr in ii-
tices o absolutamen te con tin uas- puede ser caracterizada de varias maneras:
-
I

Teorema 8. Par a ILTUl [uiicion continua f son equivalen te las tr es

con dicion es siquicn t es:
a) E xiste /,(.1') E n CO." / fado . r. I' E [T elL'( R) . !) cele f(r ) =
f ( ( l) +f~ xf' ( t) dt.
b) E xiste un a [uucin tI E [)"jR) Y con st an t es n . - - \ t ales l/ lit
f(.r ) =--\+e c (t) dt (:-:otar que de aqu. por el teorema ' i . resulta que
existe f'(:r) en casi todo punto, es igual a g(.r) en casi todo punto. y
f(a)=A).
e) Dado f>O er isie 6 tal que si
al::; 6
1
::; a2 ::; 6
2
<... ::; un : : ; b". . IJ '>. ~'(6 - a ) <6
en ton ces L~1 f(b ) - f(a ) 1< t.
Las funciones que cumplen una (luego las tres) condiciones de este teo-
rema se llaman funciones pr im il ira . o funciones absol ut amen te con tin ua .
Habitualmente la condicin ( c ) es la que se toma como definicin de
funcin absolutamente continua. Es una condicin claramente ms fuerte que
la simple continuidad (y aun que la continuidad uniforme). y es consecuencia
de la existencia . IJ con tin uidad de la derivada primera. Pero no es ms debil
ni ms fuerte que la condicin de existencia de deri vada en todos los puntos:
la funcin que vale .-2 sen tj.r
2
cuando .r es distinto de cero. y O en
. 1 ' =O tiene derivada (finita) en todos los puntos. inclusive en el O. pero no es
absolutamente continua. Para que una funcin que tiene derivada en todos los
puntos resulte absolutamente continua. habra que agregar. por ejemplo. la
condicin de que su derivada se mantenga acotada en todo intervalo acotado
(lo que no ocurre en el ejemplo anterior). Por otra parte es fcil dar ejemplos
de funciones absolutamente continuas cuya derivada no existe en algunos
puntos (por ej. f(r ) =Ir 1 ).
La parte ms interesante de esta historia es la posibilidad de deducir de
la absoluta continuidad de f . es decir. de la validez de la condicin (c) del
teorema 8. la existencia de . f'(.r) en casi todo punto, ms el hecho de que
. . f es la integral de su derivada".
Conviene dejar anotado que el espacio A de las funciones absolutamente
continuas es un espacio vectorial. cerrado respecto del producto de funciones.
Adems. A contiene al espacio el(IR.) de las funciones continuas con
derivada primera. continua. y su interseccin con [l(IR.) [resp. con [2(lR.) )
es denso en Ll(IR) en el sentido de la convergencia en media (resp. en
[2(IR) . en el sentido de la couvergencia en media cuadrtica).
La frmula de integracin por partes
j
' 6 ,1]
" uv' =u( 6)db) - ( u)do) -1u' ( , ( :))
est. basada en la frmula (L). que por otro lado es caso part icular df' (:l)
(para 1 1 == 1 ). De modo que para asegurar la validez de (:1 ) hay que suponer
que ur sea absolutamente continua. para lo cual basta que 11 v 1 ,' lo se-an.
6 Integrales impropias
En la teora de Riemann se empieza por definir la integrabiliclad de una
funcin en un intervalo acotado [a.6] y. si ocurre que una funcin f f'S
int egrable en [a. b] para todo b y. adems. existe f'1 lmite (finito) clp I;h f
par<l b --c. x . se define I: I= limb-+x J ; f . sin preocuparse demasiado
de especificar en cada tal caso que se trata de una integral "impropia". En
cambio. en la teora de Lebesgue esbozada en las pginas anteriores. se define
de entrada la iutegrabilidad en (-x. +x). deduciendo de esta nocin la
de integrabilidacl en un intervalo acor ado. Puede ocurrir que una funcin f
pertenezca a Li( [o. b]) para todo b , Y exista liI1l6-+x J : f (finito). sin que
. r pertenezca a f_ 1 ( [o. x)) . (El ejemplo clsico de esta situacin e<; f(l') =
se~nr ). Por supuesto PIl tal caso tambin se define :' X f =limb--.'x I~ ) f . pero
aqu es importante no olvidar que se trata de una integral impropia: en el
espacio de todas las funciones que tienen integral finita. propia o impropia. ya
no valen los teoremas enunciados para las funciones de L 1 ( [o. x)). Conviene
recordar a este propsito que si en lugar de pedir la existencia del Inutc de la
integral de f se pide que exista (finito) lim~--.',xf~If! . resulta (del teorema
de la convergencia rnont oua) que 1f1 (y por lo tanto f) pertenece a
[l([a. x)).
7 Integral de funciones de varias variables
reales
La teora de la integral (de Lebesgue) en IR.n no difiere en ningn punto
esencial de la teora de la integral en la recta. y no la presupone.
l)
Si se conviene en llamar "intervalo" en lR" a un conjunto de la forma
{(XI, X2 ... , xn ) : x; E I } donde cada I es un intervalo en la recta [es
decir, lo que uno llamara rectngulo para n =:2 , paralelepipedo para
n =3 ), tanto la definicin de conjunto de medida nula como la definicin de
funcin escalera setrasladan sin cambio al caso de lR
n
. Y , a partir de ah.
tambin todas las dems definiciones y resultados de las pginas anteriores
pueden interpretarse sin cambios para funciones de varias variables reales.
As construida la teora de Lebesgue en lR", surge la pregunta de cmo
comparar la integral I
R
2f , por ejemplo, con la integral "repetida"
IR [IR [i x, y) dx]dy . Responde a esta pregunta el siguiente
Teorema 9 (de Fubin i}. Si f E L 1 (IR."2) , en ton ces par a casi todo .r y
par a casi todo y las fun cion es f(: r , ) y f( , y) son in ieqr ables, ast
como las fun cion es IR [i, y) dx , IR' f(x. y) dy . Y vale:
Cuando f no est en U(ffi.
2
) puede ocurrir que las dos integrales
repetidas existan (finitas) y sean distintas. o que una exista y la otra no.
Tambin puede ocurrir que ambas existan y sean iguales. sin que esto im-
plique que f sea integrable en lR
2
. Este ltimo caso sin embargo est
excluido cuando la funcin es real y no negativa, como lo afirma con mayor
precisin el siguiente teorema (que tambin suele ir con el nombre de Fubini):
Teorema 10. Si f es un a fun cin de dos var iables r eales, medible. r eal
y n o n egativa. es
De modo que con la hiptesis adicional de f 2: O, basta saber que una
de las integrales repetidas es finita para asegurar que f E U(IR?) . y que
la otra integral repetida es tambin finita. e igual a la primera. De este
teorema resulta que si de una funcin (medible) de valores complejos f
se sabe que una cualquiera de las dos integrales repetidas de su mdulo es
finita. entonces f E U(IR?) . y por lo tanto, por el teorema anterior. se
deduce que existen (finitas) las dos integrales repetidas de J y son iguales.
10