Analisis Mat III Dip Est

Anlisis Matemtico 3
Diplomatura de Estadstica
Armando R. Villena Muoz

Departamento de Anlisis Matemtico Universidad de Granada
ndice general
1. La medida de Lebesgue en RN 1.1. Espacios de Medida . . . . . . . . . . . . . . . . . . . . 1.1.1. Denicin y propiedades bsicas . . . . . . . . . 1.1.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . 1.2. Medida de Lebesgue en RN . . . . . . . . . . . . . . . . 1.2.1. Medida exterior de Lebesgue . . . . . . . . . . . 1.2.2. Existencia y unicidad de la medida de Lebesgue . 1.3. Medidas de Lebesgue-Stieltjes en RN . . . . . . . . . . 1.3.1. Medidas de Lebesgue-Stieltjes en R . . . . . . . 1.3.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . 1.3.3. Medidas de Lebesgue-Stieltjes en RN . . . . . . 1.4. Apndices . . . . . . . . . . . . . . . . . . . . . . . . . 1.4.1. Orden, topologa y aritmtica en [0, ] . . . . . . 1.4.2. Subaditividad del volumen . . . . . . . . . . . . 1.4.3. Descomposicin de un isomorsmo lineal . . . . 1.4.4. Cubos didicos . . . . . . . . . . . . . . . . . . 1.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . 2. Integral asociada a una medida 2.1. Funciones medibles . . . . . . . . . . . . . . . . . . 2.1.1. Funciones medibles y funciones simples . . . 2.1.2. Sucesiones y series de funciones medibles . . 2.2. Integral asociada a una medida . . . . . . . . . . . . 2.2.1. Denicin de integral asociada a una medida 2.2.2. Integral de funciones simples positivas . . . . 2.2.3. Integral de funciones medibles positivas . . . 2.2.4. Funciones integrables . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
5 6 6 9 12 12 16 29 29 33 36 39 39 41 42 44 45 47 47 47 52 56 56 57 59 62
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
NDICE GENERAL 2.3. Teoremas de convergencia . . . . . . . . . . . . . . . . . . . 2.3.1. Teorema de la convergencia montona . . . . . . . . . 2.3.2. Teorema de la convergencia dominada y lema de Fatou 2.3.3. Teorema de la convergencia absoluta . . . . . . . . . . 2.3.4. Integrales dependientes de un parmetro . . . . . . . . 2.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 69 75 77 81 86 93 94 94 95 101 102 103 108 108 119 128 128 131 132 133
3. La integral de Lebesgue en RN 3.1. Integrales simples . . . . . . . . . . . . . . . 3.1.1. Acotacin local e integrabilidad local 3.1.2. Regla de Barrow . . . . . . . . . . . 3.1.3. Cambio de variable . . . . . . . . . . 3.1.4. Integracin por partes . . . . . . . . 3.1.5. Criterios de comparacin . . . . . . . 3.2. Integrales mltiples . . . . . . . . . . . . . . 3.2.1. Teoremas de Fubini y Tonelli . . . . . 3.2.2. Teorema del cambio de variable . . . 3.3. Apndices . . . . . . . . . . . . . . . . . . . 3.3.1. Integrales inmediatas . . . . . . . . . 3.3.2. Cambios de variable habituales . . . 3.3.3. Integrales por partes habituales . . . . 3.4. Ejercicios . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
CAPTULO 1
La medida de Lebesgue en RN
Desde la antigedad el hombre ha tenido que enfrentarse al problema de medir longitudes, reas y volmenes de guras ms o menos elementales; si bien de hecho la historia est llena de acontecimientos que as lo avalan, hay que constatar que la formalizacin de la teora de la medida es reciente. En trminos generales el problema de medir en RN consiste en asignar a cada subconjunto A de RN su medida (A), con la que se pretende cuanticar su tamao. Naturalmente esta asignacin ha de poseer ciertas cualidades que nos dicta la razn, a saber (A) 0 y (A1 . . . An ) = (A1 ) + . . . + (An ) para cualesquiera conjuntos A1 , . . . , An disjuntos entre s. No obstante, el desarrollo exitoso de la teora exige que la anterior condicin de aditividad sea vlida para cualquier sucesin (An ) de conjuntos disjuntos entre s, esto es
[ n=1
An
n=1
(An).
Es tambin natural requerir que la medida asignada a las guras ms elementales posibles, esto es los intervalos N-dimensionales (rectngulos en dimensin dos u ortoedros en dimensin 3) venga dada por la frmula tradicional. No todos los subconjuntos de RN se pueden someter a estas reglas. Aquellos que s lo hacen constituyen una familia, los conjuntos medibles, que goza de las propiedades que seguidamente codicamos.
1.1.
1.1.1.
Espacios de Medida
Denicin y propiedades bsicas
1.1.1 Denicin (de -lgebra y de medida). Sea un conjunto no vaco. Una familia de subconjuntos de recibe el nombre de -lgebra si verica las siguientes propiedades: i. . ii. A Ac := \A . iii. [An , n N]
[ n=1
An .
La pareja (, ) se denomina espacio medible y los elementos de se denominan conjuntos medibles . Sea (, ) un espacio medible. Una medida sobre es una aplicacin : [0, ] vericando la siguiente propiedad conocida como -aditividad / An , n N, Ai A j = 0(i = j)
[ n=1
An
n=1
(An).
Para evitar situaciones triviales, se supone siempre que existe A tal que (A) < . La terna (, , ) se denomina espacio de medida. En el caso particular de que () = 1 se dice que es una probabilidad y en esta situacin se acostumbra a usar una terminologa especca. Por ejemplo los conjuntos medibles reciben en esta situacin el nombre de sucesos.
1.1.2 Proposicin. Sea (, ) un espacio medible. 1. Se verican las siguientes armaciones: / i. 0 . ii. A, B A B . iii. [An , n N]
\ n=1
An .
iv. A, B A B . v. A, B A\B .
1.1 Espacios de Medida 2. Si es una medida sobre , entonces: / i. (0) = 0. / ii. [A, B , A B = 0] (A B) = (A) + (B) (aditividad). iii. [A, B , A B] (A) (B) (monotona). iv. [An , An An+1 , n N] tinuo). v. [An , An An+1 , n N, (A1 ) < ] crecimiento continuo). vi. [A, B ] (A B) (A) + (B) (subaditividad). vii. [An , n N]
[ n=1 \ n=1 [ n=1
An
= lm (An ) (crecimiento con

n
An
= lm (An ) (de
n
An
n=1
(An) (-subaditividad).
Demostracin. 1.i. Es consecuencia de las propiedades i y ii de la denicin ya que / c = 0. / 1.ii. Basta tomar A1 = A, A2 = B y An = 0 n = 3, 4, . . . en la condicin iii de la denicin. 1.iii. Es consecuencia de las propiedades ii y iii de la denicin ya que
\ n=1
An =
[ n=1
Ac n
1.iv. Se prueba como el apartado 1.ii pero utilizando la propiedad 1.iii anterior. 1.v. Es consecuencia de la igualdad A\B = A Bc usando 1.iv y el axioma ii de la denicin. 2.i. Tomemos A tal que (A) < , entonces / / / / (A) = (A 0 0 . . .) = (A) + (0) + (0) + . . . , / luego (0) = 0. / / 2.ii. (A B) = (A B 0 0 . . .) = (A) + (B) + 0 + 0 + . . . = (A) + (B). 2.iii. (A) (A) + (B\A) = (A (B\A)) = (B). 2.iv. Pongamos B1 = A1 y Bn+1 = An+1 \An , n N. Se tiene que: An = y
[ n=1 n [ k=1 [ k=1
Bk , n N
An =
Bk
8 con lo que
[ n=1
An
[ k=1
Bk
(Bk ) =
k=1
lm (B1 ) + . . . + (Bn ) = lm
n
n [ k=1
Bk
= lm (An ),
n
donde se ha utilizado el axioma de -aditividad, la denicin de suma de una serie y la propiedad de aditividad nita (propiedad 2.ii de este resultado). 2.v. La propiedad de aditividad nita nos asegura para n N que (A1 ) = (A1 \An ) + (An ) y tambin que (A1 ) =
\ n=1 \ n=1
An + A1 \
An ,
con lo que al ser (A1 ) < , utilizando adems la propiedad 2.iv, se tiene (A1 )
\ n=1 n n
An
= A1 \
\ n=1
An
[ n=1
(A1 \An )
lm (A1 \An ) = lm ((A1 ) (An )) = (A1 ) lm (An )

n
de donde obviamente se deduce la propiedad 2.v. 2.vi. (A B) = (A (B\A)) = (A) + (B\A) (A) + (B). 2.vii. Pongamos Bn = n Ak , n N. Se tiene que k=1
[ n=1
An
[ n=1
n=1
Bn
= lm (Bn ) lm
n
(Ak ) =
k=1
(An),
donde se han utilizado 2.iv, 2.vi y el concepto de suma de una serie. 1.1.3 Denicin (Propiedad c.p.d.). Sea (, , ) un espacio de medida. Se dice que una propiedad P() relativa a un punto genrico se verica casi por doquier (lo cual abreviaremos por c.p.d.) con respecto a si el conjunto de puntos donde dicha propiedad no se verica es un conjunto de medida cero. Se omite la referencia a la medida si no hay lugar a confusin. Observacin 1.1.4. Obsrvese que ahora la -subaditividad asegura que, en cualquier espacio de medida, la unin numerable de conjuntos de medida cero es de medida cero. En particular, Si (Pn ) es una sucesin de propiedades relativas a un punto genrico tal que cada una de las cuales se verica c.p.d., entonces se verican todas
1.1 Espacios de Medida
simultneamente c.p.d., es decir, si se considera la propiedad P determinada por: P se verica en si, y slo si, todas las Pn se verican en , entonces P se verica c.p.d. En efecto, si para cada n natural En es el conjunto de medida cero en el que no se verica Pn , entonces el conjunto E := { : P no se verica en } es de medida cero, pues E = En . n=1
1.1.2.
Ejemplos
1. La -lgebra generada por una familia de subconjuntos de . Sea un conjunto no vaco cualquiera. La familia P () constituida por todos los subconjuntos de es una -lgebra en . Si {i : i I} es una familia de -lgebras en , entonces = iI i es una -lgebra en . En consecuencia si S P (), entonces la interseccin de todas las -lgebras en que contienen a S (entre las cuales hay al menos una: P ()) es la menor -lgebra en que contiene a S y recibe el nombre de -lgebra generada por S . 2. La -lgebra de Borel y la medida de Borel. La -lgebra de Borel en RN es la -lgebra generada por la familia de todos los conjuntos abiertos de RN . En lo sucesivo se notar por B y sus elementos se denominan conjuntos borelianos. Es claro que los conjuntos cerrados son borelianos, as como que B est generada tambin por la familia de todos los subconjuntos cerrados de RN . De hecho B contiene las siguientes familias de subconjuntos topolgicamente relevantes: i. Conjuntos del tipo G que son aquellos conjuntos que se pueden expresar como interseccin numerable (y decreciente, si se quiere) de abiertos. ii. Conjuntos del tipo F que son aquellos conjuntos que se pueden expresar como unin numerable de cerrados. Es inmediato comprobar que un conjunto B del tipo F se puede expresar como unin numerable y creciente de conjuntos compactos. En efecto si B = Fn , es una expresin de B como unin de cerrados, n=1 tambin B se puede expresar de la forma B = Kn , donde para cada n n=1 Kn = B(0, n) (F1 . . . Fn ). Se ver ms adelante que B es la -lgebra generada por los intervalos acotados de RN . La relevancia de esta -lgebra radica en el hecho de que existe una nica medida sobre B que extiende el volumen de los intervalos acotados. Esta medida recibe el nombre de medida de Borel, se nota por y se puede describir de la siguiente manera:
(B) = nf
v(In) :
n=
[ n=1
In , In intervalo acotado de RN
10
para todo B B . La expresin que dene la medida de Borel tiene perfecto sentido para cualquier subconjunto de RN dando lugar a la llamada medida exterior de Lebesgue, . Desgraciadamente no es una medida sobre la -lgebra P (RN ). 3. La -lgebra y la medida de Lebesgue. La -lgebra de Lebesgue en RN (que presentamos en el tema siguiente), se nota por M y es la mayor -lgebra en RN que contiene a los intervalos acotados y sobre la cual la medida exterior de Lebesgue es aditiva. De hecho la restriccin de a M es la nica medida sobre M que extiende el volumen de los intervalos acotados. Esta medida recibe el nombre de medida de Lebesgue y la notaremos tambin por . Curiosamente M es slo un ligero agrandamiento de B , de hecho es la completacin de B , es decir:
M = {B Z : B B , Z A B con (A) = 0}
y para B Z con B B y Z A B con (A) = 0 se dene (B Z) = (B). 4. La -lgebra y la medida inducida. Si (, ) es un espacio medible y E es un subconjunto medible de no vaco, es inmediato comprobar que E := {E A : A } (= {A : A E}) es una -lgebra en E, que se denomina -lgebra inducida. Si (, , ) es un espacio de medida y E es un subconjunto medible no vaco de , es inmediato probar que la restriccin, E , de a la -lgebra E es una medida sobre E que se denomina medida inducida. En lo sucesivo cualquier subconjunto medible no vaco de un espacio medible (resp. de medida) se considerar como un espacio medible (resp. de medida) con la -lgebra (resp. la medida) inducida. La terna (E, E , E ) se denomina espacio de medida inducido. 5. La medida contadora. Sea un conjunto no vaco cualquiera. Se considera = P () y se dene sobre por nmero de elementos de A si A es nito (A) = si A es innito. En el caso particular de que el conjunto sea nito con n elementos, la medida denida por (A) = (A) es una probabilidad. n 6. Medidas de Dirac. Sea un conjunto no vaco cualquiera y sea . Se considera = P () y se dene sobre por 1 si A (A) = 0 si A.
1.1 Espacios de Medida
11
7. Sea R+ . Se consideran = N {0} y = P (). Se dene una probabilidad P en mediante la expresin P({k}) = e para todo k . k k!
12
1.2.
1.2.1.
Medida de Lebesgue en RN
Medida exterior de Lebesgue
Comenzamos ahora la construccin de la medida de Lebesgue en RN . Como anuncibamos, el germen de dicha construccin es el volumen de los intervalos de dimensin N, concepto que precisamos a continuacin. 1.2.1 Denicin (Volumen de un intervalo de dimensin N). Un intervalo en RN es un conjunto de la forma I = I1 IN donde I1 , , . . . , IN son intervalos (cada uno de ellos de cualquier tipo, abierto, cerrado o semiabierto, acotado o no) de R. Cuando el intervalo I es acotado y no vaco se dene su volumen por: v(I) := (sup I1 nf I1 ) (sup IN nf IN ). / Por coherencia convenimos que v(0) = 0. Si N = 1 el volumen 1-dimensional de un intervalo acotado I R se llama la longitud de I y se representa por (I). Para N = 2 (N = 3) el volumen 2-dimensional (3-dimensional) de un intervalo acotado en R2 (R3 ), que no es otra cosa que un rectngulo (ortoedro) de lados paralelos a los ejes, es el rea (volumen) de dicho rectngulo (ortoedro). Si A es un subconjunto de RN , la manera ms natural en la que cabe pensar medir A es sin duda la que da la siguiente denicin. 1.2.2 Denicin (de la medida exterior de Lebesgue en RN ). La medida exterior de Lebesgue, , en RN es por denicin la aplicacin : P (RN ) [0, ] dada por (A) = nf
n=1
v(In) :
[ n=1
In , In intervalo acotado de RN
[0, ]
para todo A RN (obviamente, existen sucesiones (In ) de intervalos acotados de RN que verican las condiciones exigidas en la denicin). Desgraciadamente la medida exterior de Lebesgue en RN no es ni tan siquiera aditiva y por tanto no es una medida. Est sin embargo bastante cerca de serlo, en el sentido de que la restriccin de esta medida exterior a una conveniente -lgebra de subconjuntos de RN si que es una medida. La mayor -lgebra para la que esto ocurre es la llamada -lgebra de Lebesgue de RN que presentamos seguidamente.
1.2 Medida de Lebesgue en RN
13
1.2.3 Denicin (de la medida de Lebesgue en RN ). La medida de Lebesgue, , en RN es la restriccin de la medida exterior de Lebesgue a la -lgebra M denida por
M = {B Z : B B , Z RN con (Z) = 0}.

Respecto de la denicin anterior, hemos de advertir que debemos aun justicar que el conjunto M considerado es efectivamente una -lgebra y por supuesto debemos justicar el calicativo de medida que hemos atribuido a la restriccin de la medida exterior de Lebesgue a M . Esta ser la principal labor que llevaremos a cabo en este tema. Puesto que todo intervalo acotado de RN est contenido en un intervalo acotado que adems es abierto y cuyo volumen es tan prximo al volumen del intervalo original como se quiera se puede establecer la siguiente identidad que es crucial para demostrar que (I) = v(I) para cualquier intervalo acotado I de RN . 1.2.4 Proposicin. (A) = nf para todo A RN . Demostracin. Para abreviar notamos por (A) al segundo miembro de la igualdad a demostrar. Es claro que (A) (A). Si (A) = , entonces (A) = (A). Supongamos ahora que (A) < y probemos que (A) (A). Observemos que si I = I1 . . . IN es un intervalo acotado, y si para 0 < denimos I() :=]nf I1 , sup I1 + [ ]nf IN , sup IN + [, entonces se tiene que I() es un intervalo abierto acotado con I I() y claramente se verica que lm v(I()) = v(I).
0 n=1 [ n=1
v(In) : A
In , In intervalo abierto y acotado de RN
Ahora, dado > 0, tomemos una sucesin (In ) de intervalos acotados de RN tal que A
[ n=1
In y
n=1
v(In) (A) + 2 .
Como acabamos de ver, existe para cada n N un intervalo abierto acotado Jn tal que In Jn y v(Jn ) v(In ) + n+1 . 2 Concluimos que
n=1
(A)
n=1
v(Jn)
v(In ) +
2n+1
n=1
v(In) + 2 (A) +
y por tanto (A) (A).
14
La medida de Lebesgue en RN Seguidamente exponemos las propiedades bsicas de la medida exterior de Lebesgue.
1.2.5 Proposicin. La medida exterior de Lebesgue en RN satisface las siguientes propiedades: / i. (0) = 0. ii. [A, B RN , A B] (A) (B) (monotona). iii. [An RN , n N]
[ n=1
An
n=1
Demostracin. i. Es inmediata ya que el vaco es un intervalo acotado de volumen cero. ii. Es consecuencia de que si una sucesin (In ) de intervalos acotados de RN cubre B tambin cubre A. iii. Si (An ) = , no hay nada que probar. En otro caso sea > 0. Para cada n=1 n N tomemos una sucesin (Im,n ) de intervalos acotados de RN que cubre An y tal que v(Im,n) (An) + 2n . m=1 Denotemos A = An . Si es cualquier biyeccin de N sobre N N, de A n=1 I(k) deducimos, teniendo en cuenta el Apndice 1.4.1, que k=1 (A)

v(I(k)) =
k=1
n=1 m=1
v(Im,n )
n=1
(An) +
y la arbitrariedad de demuestra la -subaditividad.
1.2.6 Denicin (de medida exterior). Sea un conjunto no vaco. Una medida exterior en es por denicin una aplicacin : P () [0, ] vericando las siguientes propiedades: / i. (0) = 0. ii. [A, B , A B] (A) (B) (monotona). iii. [An , n N]
[ n=1
An
n=1
1.2.7 Proposicin (Regularidad de la medida exterior de Lebesgue). Sea A RN . Existe B RN boreliano tal que A B y (A) = (B).
15
Demostracin. Si (A) = podemos tomar B = RN . En otro caso para cada n N existe una sucesin (Im,n ) de intervalos abiertos acotados tal que An Im,n y m=1 1 v(Im,n ) (A) + n . En consecuencia el conjunto Gn = Im,n es un abierto m=1 m=1 que contiene a A y verica (Gn ) (A) + 1 . Finalmente el conjunto B = Gn n=1 n es un boreliano (de tipo G ) que verica A B Gn , n N, luego 1 (A) (B) (Gn ) (A) + , n con lo que (A) = (B). Del resultado anterior y de las propiedades de la medida de Borel-Lebesgue se deduce el siguiente resultado. 1.2.8 Proposicin. Sea (An ) una sucesin creciente de subconjuntos de RN . Entonces
[ n=1
An
= lm (An ).
n
Demostracin. Como para cada n natural se tiene que An An , deducimos de la n=1 monotona de la medida exterior que (An ) An , y en consecuencia n=1 lm (An )
[ n=1
An .
Para probar la desigualdad contraria podemos suponer que lm (An ) < . Para cada natural n se puede elegir un boreliano Bn tal que An Bn y (An ) = (Bn ). Notemos Cn = n Bk . Es claro que (Cn ) es una sucesin creciente de borelianos tal que k=1 (An ) (Cn ), n N. Probemos por induccin que (An ) = (Cn ), n N. Se tiene que (A1 ) = (C1 ) y para cada n natural que (Cn+1 ) (Cn ) = (Cn+1 \Cn ) = (Bn+1 \ (Bn+1 Cn )) = (Bn+1 ) (Bn+1 Cn ) (Bn+1 ) (An ) = (An+1 ) (An ), donde se ha utilizado la hiptesis de induccin. Del desarrollo anterior y teniendo en cuenta de nuevo la hiptesis de induccin (Cn+1 ) (An+1 ),
16 y por tanto (Cn+1 ) = (An+1 ).
Por ltimo, utilizando el crecimiento continuo de la medida de Borel-Lebesgue, concluimos

[ n=1
An
[ n=1
Cn
= lm (Cn ) = lm (An ).
1.2.2.
Existencia y unicidad de la medida de Lebesgue
Disponemos ya del bagaje necesario para presentar el teorema fundamental de la leccin en el que se describe el espacio de medida (RN , M , ). 1.2.9 Teorema (de existencia y unicidad de la medida de Lebesgue). i. La familia de subconjuntos M de RN denida como sigue
M = {B Z : B B , Z RN con (Z) = 0}
es una -lgebra en RN que contiene a los intervalos acotados. ii. La restriccin a M (resp. B ) de la medida exterior de Lebesgue es la nica medida sobre M (resp. B ) que extiende el volumen de los intervalos acotados. Demostracin. i. Es claro que RN M . Si A Z M , con A B y (Z) = 0, entonces, en virtud de la regularidad de la medida exterior de Lebesgue (Proposicin 1.2.7), existe B B tal que Z B y (B) = 0. En esta situacin podemos escribir (A Z)c = Ac Z c = Ac [Bc (Z c B)] = [Ac Bc ] [Ac (Z c B)], y por tanto (AZ)c = A Z , siendo A = Ac Bc B y Z = Ac (Z c B) que satisface (Z ) (B) = 0, por lo que (A Z)c M . Si ahora (An Zn ) es una sucesin de elementos de M con An B y (Zn ) = 0 para cada n N, entonces
[ n=1
(An Zn ) =
[ n=1
An
[ n=1
Zn
puesto que An B y Zn (Zn ) = 0. n=1 n=1 n=1 Finalmente observemos que todo intervalo acotado de RN es unin de un intervalo abierto, y por tanto boreliano, y el conjunto Z unin de sus eventuales caras que claramente verica (Z) = 0.
17
ii. La prueba de este apartado es laboriosa. Comprobaremos ahora que la restriccin de a M es una medida. Supuesto que sea aditiva en la -lgebra M obsrvese que para cualquier E M necesariamente ha de satisfacerse que (A) = (A E) + (A \ E) para todo subconjunto A de RN . En efecto, dado A RN sea B B con A B y (A) = (B) (Proposicin 1.2.7). Se tiene (A) = (B) = (B E) + (B \ E) (A E) + (A \ E) y la subaditividad de (es inmediato que una medida exterior es subaditiva) nos permite concluir que la anterior desigualdad es de hecho una igualdad. Es natural entonces considerar la familia
C = {E RN : (A) = (A E) + (A \ E), A RN }.
Probaremos seguidamente las siguientes armaciones: a) C es una -lgebra y es una medida sobre C . b) La -lgebra M est contenida en la -lgebra C . Como consecuencia de estos apartados se concluye que es una medida. a) Es inmediato comprobar que RN C y que para cualquier A C tambin Ac C . Dados E, F C y A RN , tenemos: (A) = (A E) + (A E c ) = (A E F) + (A E F c ) + (A E c F) + (A E c F c ). Al sustituir A por A (E F) queda (A (E F)) = (A E F) + (A E F c ) + (A E c F), y por tanto (A) = (A (E F)) + (A E c F c ) = (A (E F)) + (A (E F)c ). Obtenemos as que E F C . Por induccin se sigue que la unin nita de conjuntos de C pertenece a C . Sean ahora E, F C disjuntos, por (1.1) se tiene: (A (E F)) = (A E) + (A F), para cada subconjunto A de RN . Si ahora E1 , E2 , . . . , En C son disjuntos dos a dos, obtenemos por induccin que: (A (E1 . . . En )) = (A E1 ) + . . . + (A En ), (1.2) (1.1)
18
para todo subconjunto A de RN . Sea nalmente (En ) una sucesin de elementos de C disjuntos dos a dos y pongamos Fn = E1 . . . En , n N, y E = En . Entonces n=1 (A) = (A Fn ) + (A \ Fn ) =
n
(A Ek ) + (A \ Fn)
k=1
(A Ek ) + (A \ E),
k=1
donde se ha usado (1.2) y la monotona de . Haciendo que n y usando la subaditividad y la subaditividad de , obtenemos (A)
n=1
(A En) + (A\E)
[ n=1
(A En ) + (A \ E) =
= (A E) + (A \ E) (A), lo que demuestra que E C y que: (A) =
n=1
(A En) + (A \ E),
(1.3)
para todo subconjunto A de RN . Tomando A = E en (1.3) obtenemos la -aditividad de , es decir / En C , n N, Ei E j = 0(i = j)

[ n=1
En
n=1
(En).
Probemos nalmente que la unin numerable de elementos de C pertenece a C . En primer lugar si E, F C , se tiene que E F = (E c F c )c C y en consecuencia E \F = E F c C . Sea ahora una sucesin cualquiera (En ) de elementos de C . Denimos por recurrencia F1 := E1 y Fn+1 := En+1 \
n [ k=1
Ek .
De lo ya demostrado Fn C , n N. Claramente dichos conjuntos son disjuntos dos a dos por lo que concluimos que
[ n=1
En =
[ n=1
Fn C .
b) Supongamos que S es un semiespacio de RN del tipo: {(x1 , . . . , xN ) RN : xi < } (resp. , >, ),
19
para algn i con 1 i d y algn R. Veamos que S C . Si A RN y A In n=1 siendo In un intervalo acotado de RN para todo n N, entonces los intervalos In S recubren A S y los intervalos In \ S recubren A\S y por tanto se verica (A S) + (A \ S)
n=1 n=1
v(In S) + v(In \ S) = (v(In S) + v(In \ S)) = v(In).

n=1 n=1 (A S) + (A \ S)
Consecuentemente y la subaditividad de la medida exterior nos permite concluir que la anterior desigualdad es de hecho una igualdad y que por tanto S C . Como cualquier intervalo acotado de RN se puede expresar como la interseccin de 2N semiespacios del tipo anterior y stos pertenecen a C podemos asegurar que tambin los intervalos acotados pertenecen a C . Como B es la -lgebra generada por los intervalos acotados de RN podemos ahora concluir que B C . Supongamos nalmente que Z RN verica que (Z) = 0. Para cualquier A RN se tiene entonces (A Z) + (A \ Z) = (A \ Z) (A), donde se ha utilizado la monotona de . La subaditividad de nos permite concluir que la anterior desigualdad es de hecho una igualdad y por tanto Z C . Hemos probado que M C (de hecho probaremos enseguida que ambas -lgebras coinciden). Una vez probado que es una medida, demostraremos ahora que extiende el volumen de los intervalos acotados, esto es, (I) = v(I), para todo intervalo acotado I de RN . Esta es sin duda la parte ms difcil del teorema. Supongamos que I es un intervalo acotado de RN . Es claro que (I) v(I), pues I es un recubrimiento de s mismo. En consecuencia si v(I) = 0, tambin (I) = 0. Para probar la igualdad en el caso v(I) > 0, observemos que si I = I1 . . . IN , y para cada tal que 1 0 < < mn{sup I1 nf I1 , . . . , sup IN nf IN } 2 denimos I() = [nf I1 + , sup I1 ] . . . [nf IN + , sup IN ], se tiene que I() es un intervalo cerrado tal que I() I y lm v(I()) = v(I).
0,>0
(A)
Fijado > 0, podemos en consecuencia tomar un intervalo cerrado K contenido en I tal que v(I) < v(K) + .
20
Sea (In ) una sucesin de intervalos abiertos y acotados de RN que recubran I y tal que
n=1
v(In) (I) + .
Puesto que K es compacto ha de ocurrir que K I1 . . . Im para conveniente m N. Se verica entonces que
v(K) v(I1 ) + . . . + v(Im )
n=1
v(In) (I) +
(para comprobar la primera desigualdad vase el Apndice 1.4.2), y por tanto v(I) < (I) + 2. Como quiera que la anterior desigualdad es vlida para cualquier positivo podemos concluir que v(I) (I) y en consecuencia (I) = v(I). Sea una medida denida sobre la -lgebra M (resp. B ) que extiende el volumen de los intervalos acotados. Probemos que para cualquier conjunto medible E se tiene que (E) (E). En efecto sea (In ) una sucesin de intervalos acotados de RN tales que E
[
In .
n=1
De la monotona y la -subaditividad de la medida se deduce que (E) y en consecuencia (E) (E) = (E). Conviene resaltar que hemos probado que cualquier medida que extienda el volumen de los intervalos (denida sobre cualquier -lgebra que contenga los intervalos acotados de RN es ms pequea que la medida exterior de Lebesgue. Probemos ahora la desigualdad contraria. Sea E M y para cada n N sea In = [n, n] [n, n]. En virtud de la propiedad antes mostrada tenemos que (In ) (In E) = (In \ (In E)) (In \ (In E)) = (In ) (In E) para todo n N. En consecuencia (In E) (In E) Como lm (In E) = (E) y lm (In E) = (E) podemos concluir que efectivamente (E) (E). Existe una magnca relacin entre la medida de Lebesgue y la topologa de RN que recogemos en el siguiente resultado. 1.2.10 Teorema. Sea E RN . Las siguientes armaciones son equivalentes.
[ n=1 n=1
In
n=1
(In) = v(In)
1.2 Medida de Lebesgue en RN i. E M . ii. (A) = (A E) + (A \ E), A RN . iii. > 0, G RN abierto tal que E G y (G \ E) < . iv. A RN de tipo G tal que E A y (A \ E) = 0. v. > 0, F RN cerrado tal que F E y (E \ F) < . vi. B RN de tipo F tal que B E y (E \ B) = 0. Si E es medible, entonces se verican las siguientes identidades: (E) = nf{(G) : G RN abierto, E G} (regularidad exterior) (E) = sup{(K) : K RN compacto, K E} (regularidad interior). Demostracin. Comenzamos probando que para E RN se verica (E) = nf{(G) : G RN abierto, E G}, lo que es una generalizacin de la regularidad exterior. Notemos por comodidad = nf{(G) : G RN abierto, E G}.
21
Por monotona es (E) por lo que si (E) = entonces tambin = . En otro caso, dado > 0 tomemos una sucesin (In ) de intervalos abiertos acotados cuya unin contenga a E, y tal que
n=1
v(In) < (E) + .
Entonces G = In es un abierto que contiene a E, con lo que usando la denicin n=1 de medida exterior de Lebesgue, tenemos (G) = (G)
n=1
v(In) < (E) + .
Siendo > 0 arbitrario, se sigue que (E). i ii. En la demostracin del teorema anterior se ha probado ya que M C , donde
C = {E RN : (A) = (A E) + (A \ E), A RN }.
ii iii. Fijemos > 0. Si (E) < , tomemos un abierto G con E G y (G) < (E) + . Por ii (G) = (G E) + (G \ E) = (E) + (G \ E).
22 En consecuencia (G \ E) < .
En el caso en que (E) = , denamos En = E] n, n[ ] n, n[, n N. Como para cada natural n se verican En C y (En ) (]n, n[ ]n, n[) = (2n)N < , por lo ya demostrado, existe un abierto Gn conteniendo a En y tal que (Gn \ En ) < 2n+1 .
Pongamos G = Gn . G es abierto, y como E = En , G cubre a E. Adems n=1 n=1 como G \ E (Gn \ En ) se tiene n=1 (G \ E)
[ n=1
(Gn \ En )
n=1
(Gn \ En) <
donde se ha empleado la monotona y la -subaditividad. iii iv. Para cada natural n sea Gn RN un abierto tal que E Gn y (Gn \ E) < 1 n . Deniendo A = n=1 Gn se obtiene un conjunto de tipo G con E A y, puesto que A \ E Gn \ E, n N, se tiene 1 (A \ E) (Gn \ E) < , n N, n y por tanto (A \ E) = 0. iv i. La hiptesis nos dice que A, A \ E M (A es boreliano y (A \ E) = 0 por lo que ambos pertenecen a M ), luego E = A \ (A \ E) M . Hemos probado que i ii iii iv. Para comprobar que tambin i v vi basta tener en cuenta que E M Ec M y que v (resp. vi) son las escrituras de iii (resp. iv) para el conjunto E c . Probemos nalmente la regularidad interior. Sea E medible y notemos = sup{(K) : K RN compacto, K E}. Es claro que (E). Para probar la otra desigualdad consideremos para cada natural n el conjunto En = E]n, n[ ]n, n[. Puesto que (En ) es una sucesin creciente de conjuntos medibles con unin E, por el crecimiento continuo (E) = lm (En ).
n
Por v, para cada natural n existe Fn RN compacto contenido en En tal que 1 (En \ Fn ) < . n
1.2 Medida de Lebesgue en RN En consecuencia, (Fn ) es una sucesin de compactos contenidos en E tales que (En ) = (Fn ) + (En \ Fn ), n N, y por tanto, tomando limite obtenemos (E) = lm (Fn ).
n
23
Hemos probado que (E) . A continuacin estudiamos el magnco comportamiento de la medida de Lebesgue frente a las transformaciones anes. Empezamos probando que si : RN RN es una aplicacin continua, entonces 1 (B) B , B B . En efecto, la familia {B B : 1 (B) B } es una -lgebra que contiene los abiertos, luego coincide con la -lgebra de Borel y por tanto 1 (B) B , B B . En particular los homeomorsmos de RN sobre RN conservan los borelianos. Conviene llamar la atencin sobre el hecho de que, a diferencia de lo que ocurre con los borelianos, la imagen inversa por una funcin continua de un medible puede no serlo. De hecho existen homeomorsmos de R sobre R que no conservan los conjuntos medibles. Sin embargo si es cierto que el trasladado de un medible es medible. En efecto, como las traslaciones conservan los conjuntos borelianos, basta probar que si a RN y Z RN con (Z) = 0, entonces (a + Z) = 0, lo cual se deduce de que v(I) = v(a + I) para todo intervalo acotado I de RN . 1.2.11 Teorema (Invarianza por traslaciones de la medida de Lebesgue). i. Si es una medida sobre M (resp. B ) invariante por traslaciones y tal que := ([0, 1[N ) < , entonces = . ii. La medida de Lebesgue es la nica medida sobre M invariante por traslaciones para la que la medida del intervalo [0, 1[N es 1.
1 Demostracin. i. Notemos Q0 = [0, 1[N y Qn = 2n Q0 , n N. Para cada natural n, Q0 es unin de 2n intervalos trasladados de Qn dos a dos disjuntos, por lo que
(Qn ) =
(Q0 ) = nN = v(Qn ). nN 2 2
Al ser invariante por traslaciones deducimos que (Q) = v(Q), para cualquier cubo didico.
24
La descomposicin de un abierto en unin de didicos disjuntos (vase el Apndice 1.4.4) nos asegura que (G) = (G) para cualquier conjunto abierto G. Sea ahora K un compacto y tomemos I intervalo abierto acotado conteniendo a K. Entonces como (I) < , tenemos (K) = (I) (I \ K) = (I) (I \ K) = [(I) (I \ K)] = (K). Para E M , en virtud de las regularidades de la medida de Lebesgue y de la monotona de , se tiene que (E) = sup{(K) : K E compacto} = sup{(K) : K E compacto} = sup{(K) : K E compacto} (E) y (E) = nf{(G) : E G abierto} = nf{(G) : E G abierto} = nf{(G) : E G abierto} (E). ii. Veamos que es invariante por traslaciones. Para cada a RN , denimos : M [0, ] por (E) = (a + E), E M y basta probar, en virtud del teorema de existencia y unicidad de la medida de Lebesgue, que es una medida sobre M que extiende el volumen de los intervalos. Sea (En ) una sucesin de conjuntos medibles disjuntos. Se tiene que
[ n=1
En
= a+
[ n=1
En
[ n=1
(a + En )
=
n=1 n=1
(a + En) =
(En),
donde se utilizado que los conjuntos a + En son disjuntos dos a dos. Finalmente (I) = (a + I) = v(a + I) = v(I), para todo intervalo acotado I de RN . La unicidad es consecuencia inmediata de i.
25
1.2.12 Teorema. Sea T : RN RN una aplicacin lineal. Para todo conjunto medible E RN se verica que el conjunto T (E) es medible y (T (E)) = | det T |(E), donde notamos det T al determinante de la matriz asociada a T . En particular si T es una isometra eucldea, entonces (T (E)) = (E), E M . Demostracin. Supongamos que det T = 0. Entonces T es un isomorsmo y por lo tanto aplica borelianos en borelianos. Esto nos permite denir : B [0, ] por (B) = (T (B)), B B que es claramente una medida invariante por traslaciones y tal que ([0, 1[N ) < (por ser T ([0, 1[N ) acotado). As, en virtud del teorema 1.2.11.i, se sigue que existe T 0 tal que (B) = T (B), B B , y por tanto (T (B)) = T (B), B B . Si ahora Z es de medida cero, entonces, en virtud de la regularidad de la medida exterior de Lebesgue (Proposicin 1.2.7), existe B boreliano con Z B tal que (B) = 0. Se tiene pues que T (Z) T (B) (T (Z)) (T (B)) = T (B) = 0 (T (Z)) = 0. En consecuencia, (T (E)) = T (E), E M . Seguidamente probamos que T = 1 en el caso particular de que T sea una isometra. En efecto, tomando como E la bola unidad eucldea B, al ser T (B) = B, obtenemos (B) = (T (B)) = T (B). Si T es una isometra, sabemos que la matriz asociada tiene determinante 1, ya que la matriz asociada es ortogonal. En el caso general en que T sea una aplicacin lineal con det T = 0, es sabido (vase Apndice 1.4.3) que existen isometras lineales Q1 y Q2 y una aplicacin lineal D, tal que D(ei ) = i ei (1 i N), donde 1 , . . . , N son reales positivos, tales que T = Q1 DQ2 , y en consecuencia det D = | det T | = 0.
26 Es inmediato comprobar que
(D([0, 1]N )) = ([0, 1 ] . . . [0, N ]) = j = det D,

j=1
luego D = det D, como pretendamos demostrar. Sabemos entonces que (D(E)) = det D (E) = | det T |(E), E M . Por el resultado ya probado para isometras, sabemos que (T (E)) = ((Q1 DQ2 )(E)) = ((DQ2 )(E)) = | det T | (Q2 (E)) = | det T | (E), para todo E M . Supongamos nalmente que det T = 0. En esta situacin T (RN ) est incluido en un hiperplano de RN y por tanto existe una isometra lineal Q vericando que Q(T (RN )) {0} RN1 . En consecuencia, por lo ya demostrado, (T (RN )) = (Q(T (RN ))) ({0} RN1 ) = 0 y de ello deducimos que (T (E)) = 0, E M .
Finalizamos el tema estudiando el comportamiento de la medida de Lebesgue frente a las aplicaciones de clase C1 . 1.2.13 Lema. Sean G RN abierto, f : G RN y K 0 tales que f (x) f (y)
K xy
x, y G.
Entonces ( f (E)) K N (E), E G. Demostracin. Si (E) = no hay nada que probar. En otro caso, jado > 0 existe una sucesin (In ) de cubos didicos disjuntos dos a dos cuyo cierre est contenido en G y tales que E
[ n=1
In y
n=1
v(In) (E) + .
En efecto: como consecuencia de la regularidad de la medida exterior de Lebesgue (Proposicin 1.2.7) y de la regularidad exterior de la medida de Lebesgue (Teorema
27
1.2.10) existe un abierto G tal que E G y (G ) (E) + . Entonces como sucesin (In ) se puede tomar la particin cannica de G G en cubos didicos (Apndice 1.4.4). Para cada natural n escribamos In = B (an , rn ). Se tiene entonces que f (In ) B ( f (an ), Krn ), y en consecuencia ( f (E))
n=1 [ n=1
f (In )
n=1
( f (In))
n=1
B( f (an), Krn) =
n=1
KN
B ( f (an ), rn ) =
K N B(an, rn) = K N
( f (E)) K N (E).
n=1
v(In) K N ((E) + ) .
Por ltimo de la arbitrariedad de se deduce que
1.2.14 Proposicin. Sean G RN abierto y f : G RN una funcin de clase C1 . Se verican las siguientes propiedades: i. f (Z) es de medida cero para todo Z G de medida cero. ii. f (E) es medible para todo E G medible. Demostracin. i. Para cada natural n sea Gn = {x G : D f (x) Gn es abierto y que basta probar que ( f (Z Gn )) = 0, n N. Es sabido que Gn se puede expresar como una unin numerable de bolas abiertas (no necesariamente disjuntas entre s). En efecto, para cada x Gn existen bx Gn QN y rx Q+ tales que x B (bx , rx ) Gn . Es claro que Gn =
[
xGn
< n}. Es claro que
B (bx , rx )
y que la familia {B (bx , rx ) : x Gn } es numerable (Obsrvese que estas bolas se repiten muchas veces!). Pongamos {B (bx , rx ) : x Gn } = {B (bk , rk ) : k N}.
28
El teorema del valor medio nos asegura que para cada k natural la funcin f verica f (x) f (y)
n xy
, x, y B (bk , rk ),
y del lema anterior se deduce que ( f (Z Gn ))
( f (Z B(bk , rk )) nN (Z B(bk , rk )) = 0.
k=1 k=1
ii. Sea E G medible. El apartado v) del Teorema 1.2.10 nos proporciona una sucesin (Fn ) de cerrados contenidos en E tal que E \ Fn = 0. Consideremos n=1 para cada n N el compacto Kn = (F1 . . . Fn ) B(0, n). Se tiene entonces que Kn E, n N y que E \ Kn = 0. Como n=1 f (E) = f
[ n=1
Kn (E\ Kn ) n=1
= f (Kn ) f (E\ Kn ) , n=1 n=1
concluimos que f (E) es medible pues la continuidad conserva la compacidad y el apartado i) nos asegura que f E\ Kn es medible (de hecho es de medida cero). n=1 Observacin 1.2.15. Adelantando bastante los acontecimientos nos tomaremos la libertad de avanzar que si en el resultado anterior la funcin f es inyectiva y det J f (x) = 0 para todo x G, entonces se verica
Z
f (E) =
E
|det J f (x)| dx
para todo E G medible. En el caso particular N = 1 basta con exigir la condicin f (x) = 0 para todo x G, en cuyo caso f (x) > 0 para todo x G, o bien f (x) < 0 para todo x G, y en el primer caso se verica
Z
f (E) =
E
f (x)dx.
1.3 Medidas de Lebesgue-Stieltjes en RN
29
1.3.
Medidas de Lebesgue-Stieltjes en RN
Las medidas ms importantes en RN son indudablemente aquellas que estn denidas en la -lgebra de Borel de RN y que son nitas sobre los subconjuntos acotados de RN . Estas medidas se suelen conocer con el nombre de medidas de Lebesgue-Stieltjes y resultan estar asociadas a un tipo particular de funciones conocidas como funciones de distribucin. La teora se desarrolla esencialmente de igual manera en cualquier dimensin. Expondremos seguidamente esta teora en R y esbozaremos posteriormente el desarrollo de la misma en RN .
1.3.1.
Medidas de Lebesgue-Stieltjes en R
1.3.1 Denicin (Medidas de Borel-Stieltjes). Una medida de Borel-Stieltjes en R es una medida denida sobre la -lgebra de Borel B de R tal que (I) < para todo intervalo acotado I de R. La completacin de una tal medida recibe el nombre de medida de Lebesgue-Stieltjes en R. 1.3.2 Proposicin (Funcin de distribucin asociada a una medida de Borel -Stieltjes). Sea una media de Borel-Stieltjes en R. Entonces la funcin F : R R denida por (]0, x]) si x > 0 0 si x = 0 F (x) = (]x, 0]) si x < 0 verica las siguientes propiedades: i. F es creciente; ii.
xa, x>a
lm F (x) = F (a) para todo a R.
Demostracin. i. Sean x, y R con x < y. Si x < 0 y 0 y, entonces F (x) 0 F (y). Supongamos ahora que 0 x < y. Entonces ]0, x] ]0, y] y en consecuencia F (x) = (]0, x]) (]0, y]) = F (y). Si x < y 0, entonces ]x, 0] ]y, 0] y por tanto (]y, 0]) (]x, 0]), que nos permite concluir F (x) = (]x, 0]) (]y, 0]) = F (y). ]0, xn ] n=1 ii. Sea a > 0 y sea (xn ) una sucesin decreciente con lm xn = a. Como ]0, a] = tenemos que
\ n=1
F (a) = (]0, a]) =
]0, xn ]
= lm (]0, xn ]) = lm F (xn ) =
n n
xa,x>a
lm F (x).
Anlogamente se vericara la propiedad ii para a 0.
30
Las propiedades aparecidas en el anterior resultado dan origen al concepto de funcin de distribucin en R que precisamos a continuacin. 1.3.3 Denicin (Funcin de distribucin en R). Una funcin de distribucin en R es una funcin F : R R que verica las siguientes propiedades: i. F es creciente. ii.
xa, x>a
lm F(x) = F(a) para todo a R.
Observacin 1.3.4 (Funcin de distribucin asociada a una probabilidad). Si P es una probabilidad denida en B , entonces se satisface la condicin exigida en la proposicin anterior y en esta situacin la funcin de distribucin de P se acostumbra a denir de la siguiente manera (ms simple que la dada en la proposicin) FP (x) = P(] , x]) para todo x R. Obsrvese que ahora la funcin de distribucin satisface la siguiente propiedad adicional: iii. lm FP (x) = 0 y lm FP (x) = 1.
x x+
Comprobaremos ahora que a partir de cualquier funcin de distribucin F en R podemos construir una medida de Lebesgue-Stieltjes en R cuya funcin de distribucin asociada es F. El propsito es construir una medida F sobre la -lgebra de Borel de tal manera que F (]a, b]) = F(b) F(a) para cualesquiera a, b R con a < b. El germen para esta construccin es la medida exterior de Lebesgue-Stieltjes que se dene seguidamente. 1.3.5 Denicin (de la medida exterior de Lebesgue-Stieltjes asociada a una funcin de distribucin). Sea F una funcin de distribucin en R. La medida exterior de Lebesgue-Stieltjes asociada a F, , en R es por denicin la aplicacin F : P (R) [0, ] F dada por (A) = nf F para todo A R. 1.3.6 Denicin (de la medida de Lebesgue-Stieltjes asociada a una funcin de distribucin). Sea F una funcin de distribucin en R. La medida de Lebesgue-Stieltjes con funcin de distribucin F, F , en R es la restriccin de la medida exterior de Lebesgue a la -lgebra MF denida por
n=1
(F(bn) F(an)) :
[ n=1
]an , bn ], an , bn R, an < bn
MF = {B Z : B B , Z RN con (Z) = 0}. F
1.3 Medidas de Lebesgue-Stieltjes en RN
31
Como sucedi con la -lgebra de Lebesgue y la medida de Lebesgue, hemos de justicar que el conjunto MF considerado es efectivamente una -lgebra y por supuesto debemos justicar el calicativo de medida que hemos atribuido a la restriccin de la medida exterior de Lebesgue-Stieltjes a MF . Esta ser la principal labor que llevaremos a cabo en este tema. Puesto que todo intervalo acotado de R est contenido en un intervalo acotado que adems es abierto y cuya longitud est tan prxima a la longitud del intervalo original como se quiera se puede establecer la siguiente identidad. 1.3.7 Proposicin. (A) = nf F para todo A R. Demostracin. Es idntica a la demostracin de la Proposicin 1.2.4. 1.3.8 Teorema (de existencia y unicidad de la medida de Lebesgue-Stieltjes en R). Sea F una funcin de distribucin en R. Se verican entonces las siguientes armaciones. i. La familia de subconjuntos MF de R denida como sigue
n=1
(F(bn) F(an) : A
[ n=1
]an , bn [, an , bn R, an < bn
MF = {B Z : B B , Z RN con (Z) = 0} F
es una -lgebra en R que contiene a los intervalos acotados. ii. La restriccin a MF (resp. B ) de la medida exterior de Lebesgue-Stieltjes es la nica medida sobre MF (resp. B ) tal que F (]a, b]) = F(b) F(a) para cualesquiera a, b R con a < b. Demostracin. Es enteramente similar a la demostracin del Teorema 1.2.9 de existencia y unicidad de la medida de Lebesgue. Observacin 1.3.9. i. Conviene observar que la medida de Lebesgue en R es justamente la medida correspondiente a la funcin de distribucin F(x) = x para todo x R. ii. Es inmediato que si dos funciones de distribucin dieren en una constante, entonces las correspondientes medidas de Lebesgue-Stieltjes asociadas son idnticas.
32
1.3.10 Teorema. Sea F : R R una funcin de distribucin. Supongamos que F es continua en un intervalo abierto I de R. Entonces (E) = (F(E)) F para todo subconjunto E I. Demostracin. Sea E I y sea > 0. Existe una sucesin de intervalos (]an , bn ]) de manera que ]an , bn ] I, n N, E y
n=1 [
]an , bn ]
n=1
F(bn) F(an) (E) + . F
Sea Jn = F(]an , bn ]) para cada n N. Puesto que F es continua y creciente en I, Jn es un intervalo de extremos F(an ) y F(bn ) para cada n N. Como F(E) podemos concluir que (F(E))
n=1 [ n=1
Jn
(Jn ) =
n=1
[F(bn) F(an)] (E) + . F
Puesto que es arbitrario, obtenemos que (F(E)) (E). F Para probar la desigualdad contraria, jemos nuevamente > 0 y tomemos ahora una sucesin de intervalos abiertos (Jn ) de manera que F(E) y
n=1 [ n=1
Jn
(Jn ) (F(E)) + .
Para cada n N, sea In = {x I : F(x) Jn }. Puesto que F es continua en I podemos asegurar que In es abierto. Adems, el crecimiento de F garantiza que cada In es un intervalo ]an , bn [. Por otra parte es claro que E ]an , bn [. En consecuencia, tenemos n=1 que (E) F
n=1 n=1
[F(bn) F(an)] =
(Jn ) (F(E)) + .
Finalmente haciendo 0 obtenemos la desigualdad deseada (E) (F(E)). F
1.3 Medidas de Lebesgue-Stieltjes en RN Observacin 1.3.11.
33
i. Si unimos la informacin proporcionada por el anterior resultado a la informacin avanzada en la Oservacin 1.2.15 del tema anterior obtenemos que en el caso de que la funcin de distribucin F sea de clase C1 en un intervalo I, entonces la medida de Lebesgue-Stieltjes se puede calcular en el interior de dicho intervalo mediante la siguiente identidad
Z
F (E) =
F (x)dx
E
para todo subconjunto E I medible. De hecho, esta expresin de la medida de Lebesgue-Stieltjes asociada a la funcin de distribucin F es vlida siempre que F sea absolutamente continua en cualquier intervalo cerrado y acotado contenido en el intervalo considerado I (lo cual es cierto en el caso particular de que F sea derivable en dicho intervalo y su derivada sea localmente integrable en I, esto es integrable en todo intervalo cerrado y acotado contenido en I). La justicacin de las anteriores armaciones est todava muy lejos de nuestro alcance y su demostracin exige avanzar muchsimo ms en la teora. ii. Es totalmente elemental vericar a partir de la denicin (aunque tambin se desprendera del comentario anterior) que la medida de Lebesgue-Stieltjes es idnticamente cero para cualquier subconjunto contenido en un intervalo abierto en el que F sea constante. 1.3.12 Proposicin. Sea F : R R una funcin de distribucin. Entonces ({a}) = F(a) lm F(x)
xa,x<a
para todo a R. Demostracin. Sea (xn ) una sucesin creciente en R con lm xn = a. Entonces {a} = ]x , a] y en consecuencia n=1 n F ({a}) = F
\ n=1 n
]xn , a]
= lm F (]xn , a]) = lm [F(a) F(xn )] =

n n
F(a) lm F(xn ) = F(a) lm F(x).

xa,x<a
1.3.2.
Ejemplos
0 1 si si x < 0, 0 x.
i. Consideremos la funcin de Heaviside F : R R, que est denida por F(x) =
34
La medida de Lebesgue en RN Discontinuidades: el 0 con salto 1. En consecuencia F ({0}) = 1. Intervalos en los que F es constante: ] , 0[ y ]0, +[. En consecuencia F (] , 0[) = F (]0, +[) = 0. Si E B , entonces F (E) = F (E] , 0[) + F (E {0}) + F (E]0, +[) = F (E {0}) = ii. . Consideremos F : R R, denida por F(x) = E(x), x R. Discontinuidades: Z con salto 1 en cada uno de los puntos. En consecuencia F ({k}) = 1 para todo k Z. Intervalos de constancia: ]k, k + 1[ para k Z. Por tanto F (]k, k + 1[) = 0 para todo k Z. Sea E B . Entonces

0 1
si si
0 E, 0 E.
F (E) =
k=
F (E {k}) +
k=
F (E]k, k + 1[) = k E, = card(E Z). kE
k=
F (E {k}) =
k=
0 1
si si
iii. Consideremos F : R R, denida por 0 si x si F(x) = 1 si Discontinuidades: ninguna.
x < 0, 0 x < 1, 1 x.
Intervalos de constancia: ] , 0[ y ]1, +[. Por tanto F (] , 0[) = 0 y F (]1, +[) = 0. Intervalos de derivabilidad (no trivial): ]0, 1[ con F (x) = 1. Obsrvese que han quedado los puntos 0 y 1 cuya medida es cero por continuidad de F. Sea E B . Entonces F (E) = F (E] , 0[) + F (E {0}) + F (E]0, 1[) + F (E {1})
Z
+ F (E]1, +[) = F (E]0, 1[) =
1dx = (E]0, 1[).

E]0,1[
1.3 Medidas de Lebesgue-Stieltjes en RN iv. Consideremos F : R R, denida por 0 si 2x si F(x) = 2 si Discontinuidades: ninguna.
35
x < 0, 0 x < 1, 1 x.
Intervalos de constancia: ] , 0[ y ]1, +[. Por tanto F (] , 0[) = 0 y F (]1, +[) = 0. Intervalos de derivabilidad (no trivial): ]0, 1[ con F (x) = 2. Obsrvese que han quedado los puntos 0 y 1 cuya medida es cero por continuidad de F. Sea E B . Entonces F (E) = F (E] , 0[) + F (E {0}) + F (E]0, 1[) + F (E {1})
Z
+ F (E]1, +[) = F (E]0, 1[) = v. Consideremos F : R R, denida por 0 si 2x si F(x) = 5 si
2dx = 2(E]0, 1[).

E]0,1[
x < 0, 0 x < 1, 1 x.
Discontinuidades: el punto 1 con salto 3. Intervalos de constancia: ] , 0[ y ]1, +[. Por tanto F (] , 0[) = 0 y F (]1, +[) = 0. Intervalos de derivabilidad (no trivial): ]0, 1[ con F (x) = 2. Obsrvese que ha quedado el punto 0 cuya medida es cero por continuidad de F. Sea E B . Entonces F (E) = F (E] , 0[) + F (E {0}) + F (E]0, 1[) + F (E {1}) + F (E]1, +[) = F (E]0, 1[) + F (E {1}) =
Z
2dx +
E]0,1[
0 3
si si
1 E, 1 E.
vi. Consideremos F : R R, denida por E(x) si 2 x si F(x) = si x x + 2 si
x < 0, 0 x < 1, 1 x < 2, 2 x.
36
La medida de Lebesgue en RN Discontinuidades: los puntos de {k Z : k 0} con salto 1 y el punto 2 con salto 2. Intervalos de constancia: todos los de la forma ]k 1, k[ para k Z y k 0. Por tanto F (]k 1, k[) = 0 para k 0. Intervalos de derivabilidad (no trivial): ]0, 1[ con F (x) = 2x, ]1, 2[ con F (x) = 1 y ]2, +[ con F (x) = 1. Obsrvese que ha quedado el punto 1 cuya medida es cero por continuidad de F. Sea E B . Entonces
0 0
F (E) =
k=
F (E]k 1, k[) +
k=
F (E {k}) + F (E]0, 1[)+

Z
F (E {1}) + F (E]1, 2[) + F (E {2}) + F (E]2, +[) =

0
k=
0 1
Z
si si
k E, + kE 0 2
2dx+
E]0,1[
1dx +
E]1,2[
si si
2 E, + 2 E.
1dx
E]2,+[
1.3.3.
Medidas de Lebesgue-Stieltjes en RN
1.3.13 Denicin (Medidas de Borel-Stieltjes en RN ). Una medida de Borel-Stieltjes en RN es una medida denida sobre la -lgebra de Borel B de RN tal que (I) < para todo intervalo acotado I de RN . La completacin de una tal medida recibe el nombre de medida de Lebesgue-Stieltjes en RN . Tambin las medidas de Borel-Stieltjes en RN tienen asociada una funcin de distribucin cuya denicin precisamos inmediatamente. 1.3.14 Denicin (Funcin de distribucin en RN ). Una funcin de distribucin en RN es una funcin F : RN R que verica las siguientes propiedades: i. Si a1 , . . . , aN , b1 , . . . , bN R son tales que a1 < b1 , . . . , aN < bN , entonces 11 ,b1 NN ,bN F 0, a a donde k ak , bk est denido como sigue k k ,bk F = F( , bk , ) F( , ak , ) a para k = 1, . . . , N.
1.3 Medidas de Lebesgue-Stieltjes en RN ii.

(x1 ,...,xN )(a1 ,...,aN ), x1 >a1 ,...,xN >aN
37
lm
F(x1 , . . . , xN ) = F(a1 , . . . , aN )
para todo (a1 , . . . , aN ) RN . La manera en que se realiza esta asociacin es igual de simple que en dimensin uno pero bastante ms engorrosa de escribir. Por este motivo nos abstendremos de ello y simplemente informaremos a continuacin la manera en la que esta asignacin se lleva a cabo en el caso de tratar con una probabilidad en RN . Observacin 1.3.15 (Funcin de distribucin asociada a una probabilidad). Si P es una probabilidad denida en B , entonces su funcin de distribucin FP puede obtenerse mediante la expresin FP (x1 , . . . , xN ) = P(] , x1 ] ] , xN ]) para todo (x1 , . . . , xN ) RN . Comprobaremos ahora que a partir de cualquier funcin de distribucin F en RN podemos construir una medida de Lebesgue-Stieltjes en RN cuya funcin de distribucin asociada es F. El propsito es construir una medida F sobre la -lgebra de Borel de tal manera que F (]a1 , b1 ] ]aN , bN ]) = 11 ,b1 N aN , bN F a para cualesquiera a1 , . . . , aN , b1 , . . . , bN R con a1 < b1 , . . . , aN < bN . Para abreviar, en lo sucesivo, notaremos vF (]a1 , b1 ] ]aN , bN ]) = 11 ,b1 NN ,bN F a a para cualesquiera a1 , . . . , aN , b1 , . . . , bN R con a1 < b1 , . . . , aN < bN y notaremos I a la familia de todos los intervalos de RN de la forma ]a1 , b1 ] ]aN , bN ]. El germen para esta construccin es la medida exterior de Lebesgue-Stieltjes que se dene seguidamente. 1.3.16 Denicin (de la medida exterior de Lebesgue-Stieltjes asociada a una funcin de distribucin). Sea F una funcin de distribucin en RN . La medida exterior de Lebesgue-Stieltjes asociada a F, , en RN es por denicin la aplicacin F : P (RN ) [0, ] F dada por (A) = nf F para todo A RN .
n=1 [ n=1
vF (In) : A
In , In I ,
38
1.3.17 Denicin (de la medida de Lebesgue-Stieltjes asociada a una funcin de distribucin). Sea F una funcin de distribucin en RN . La medida de Lebesgue-Stieltjes con funcin de distribucin F, F , en RN es la restriccin de la medida exterior de Lebesgue a la -lgebra MF denida por
MF = {B Z : B B , Z RN con (Z) = 0}. F

1.3.18 Teorema (de existencia y unicidad de la medida de Lebesgue-Stieltjes en RN ). Sea F una funcin de distribucin en RN . Se verican entonces las siguientes armaciones. i. La familia de subconjuntos MF de RN denida como sigue
MF = {B Z : B B , Z RN con (Z) = 0} F
es una -lgebra en RN que contiene a los intervalos acotados. ii. La restriccin a MF (resp. B ) de la medida exterior de Lebesgue-Stieltjes es la nica medida sobre MF (resp. B ) tal que F (I) = vF (I) para todo I I. Observacin 1.3.19. i. Conviene observar que la medida de Lebesgue en RN es justamente la medida correspondiente a la funcin de distribucin F(x1 , . . . , xN ) = x1 xN para todo (x1 , . . . , xN ) RN . ii. Es inmediato que si dos funciones de distribucin dieren en una constante, entonces las correspondientes medidas de Lebesgue-Stieltjes asociadas son idnticas.
1.4 Apndices
39
1.4.
1.4.1.
Apndices
Orden, topologa y aritmtica en [0, ]
[0, ] := {x R : 0 x} {}
El conjunto se considera como un conjunto totalmente ordenado, extendiendo el orden usual de [0, +[ mediante el convenio x , x [0, ]. Es inmediato que todo subconjunto de [0, ] tiene supremo e nmo. En [0, ] se considera la topologa del orden, para la cual los conjuntos de la forma [0, [ y ], ] con , Q+ , forman una subbase numerable. Dicha topologa coincide con la topologa de la compactacin por un punto de [0, +[. De esta forma [0, ] se convierte en un espacio mtrico compacto (homeomorfo al intervalo [0, 1]). Es inmediato que toda sucesin montona creciente de elementos de [0, ] es convergente (al supremo del conjunto de sus trminos). Si extendemos la operacin suma en [0, ] mediante x + = + x = , x [0, ] tenemos claramente que la suma es asociativa y conmutativa y que 0 es el elemento neutro. Adems la suma es compatible con el orden: [x, y [0, ], x y] x + z y + z, z [0, ]. Si n1 an es una serie de elementos de [0, ], entonces, al ser creciente la sucesin de sumas parciales, dicha serie es convergente (aunque su trmino general no tienda a cero). Notemos que la suma es continua, es decir: a, b, an , bn [0, ], n N, (an ) a (bn ) b (an + bn ) a + b.
Como consecuencia se tiene, por ejemplo, que

n=1 n=1
[an , bn [0, ], n N]
n=1
(an + bn) =
an + bn .
Ms an, si a : N N [0, ] es una sucesin doble de [0, ] y es una biyeccin de N sobre N N, se tiene:

n=1 m=1
am,n =
m=1 n=1
am,n =
a(k).
k=1
40 En efecto. Veamos, por ejemplo, la igualdad

n=1 m=1
am,n =
a(k).
k=1
Claramente para N N jo, se tiene

M N
m=1 n=1
am,n
a(k), M N,
k=1 N k=1 k=1
luego
N n=1 m=1
am,n = am,n a(k),

m=1 n=1
y por tanto
n=1 m=1
am,n a(k).
K M N
Recprocamente, para K N jo, existen M, N N tales que
a(k) am,n,
k=1 m=1 n=1
luego
K k=1 N N
a(k) am,n = am,n am,n,

m=1 n=1 n=1 m=1 n=1 m=1
y por tanto
a(k)
k=1
n=1 m=1
am,n.
Aplicando lo ya demostrado a bm,n = an,m y a la biyeccin : N N N, donde (m, n) = (n, m), se obtiene la otra igualdad. La denicin de producto es algo ms problemtica. Extendemos el producto usual en [0, [ mediante el convenio: x = x = , x ]0, ], 0 = 0 = 0 . Es inmediato comprobar que este producto es asociativo, conmutativo y distributivo respecto de la suma, as como que 1 es el elemento neutro. El haber denido 0 = 0 = 0 hace evidente que el producto no sea continuo. No obstante es claro que si {an } y {bn } son sucesiones crecientes de elementos de [0, ], {an } a y {bn } b, entonces {an bn } ab. En particular,
n=1
[a, an [0, ], n N] a an =
n=1
aan.
1.4 Apndices
41
1.4.2.
Subaditividad del volumen
Si un intervalo acotado est incluido en la unin de un nmero nito de intervalos acotados, esto es I I1 I2 . . . In , entonces v(I) v(I1 ) + . . . + v(In ).
i. Empezaremos probando que si un intervalo acotado I es unin nita de intervalos I1 , . . . , In disjuntos dos a dos, entonces v(I) = v(I1 ) + . . . + v(In ). Fijemos j {1, . . . , N}, sean S, T semirrectas disjuntas cuya unin sea R y pongamos S := {x = (x1 , . . . , xN ) I : x j S}, T := {x = (x1 , . . . , xN ) I : x j T }. Se deduce directamente de la denicin de volumen que v(I) = v(S) + v(T ) puesto que ( j (I)) = ( j (I S))+ ( j (I T )), mientras que para k = j es (k (I)) = (k (I S)) = (k (I T )). Probaremos la proposicin por induccin sobre el nmero de intervalos que intervienen en la descomposicin. Acabamos de demostrar que el enunciado es cierto siempre que en la particin intervienen slo dos intervalos. Sea n > 2 un natural tal que el enunciado es cierto para todos los nmeros naturales precedentes. Sea I un intervalo acotado de RN tal que I = I1 . . .In para intervalos disjuntos. Sean I1 = A1 . . .AN , In = B1 . . . BN las expresiones de I1 e In como producto de intervalos acotados de / / R, sea j {1, . . . , d} tal que A j B j = 0 (por ser I1 In = 0 tal j existe), sean S y T semirrectas disjuntas de R tales que A j S, B j T, S T = R y denamos S y T como en (1.4). Por ser I1 S, In T tenemos: S = (S I1 ) . . . (S In1 ), T = (T I2 ) . . . (T In ) expresiones de S y T como uniones de n 1 intervalos acotados dos a dos disjuntos. / Aplicando la hiptesis de induccin y que v(0) = 0, tenemos: v(I) = v(S) + v(T ) = v(S I1 ) + + v(S In1 ) + v(T I2 ) + + v(T In ) = (1.4)
42
La medida de Lebesgue en RN v(S I1 ) + v(T I1 ) + + v(S In ) + v(T In ) = v(I1 ) + + v(In ),
ya que para k = 1, . . . , n Ik = S Ik T Ik es una particin disjunta de Ik en dos intervalos. ii. Probemos ahora que la diferencia de dos intervalos acotados se puede expresar como unin nita disjunta de intervalos acotados. Como la interseccin de dos intervalos es un intervalo, es suciente probar que para cada intervalo I de RN , el conjunto RN \ I se puede expresar como unin nita de intervalos disjuntos dos a dos. Para evitar casos triviales, podemos suponer que / 0 = I = RN . Probaremos que es cierta la armacin anterior por induccin sobre N. Para N = 1, es claro que el complemento de un intervalo es una semirrecta o bien es unin disjunta de dos semirrectas, por tanto, R \ I se expresa como unin de, como mximo, dos intervalos disjuntos. Supuesto que es cierta la armacin para N, y para cualquier intervalo de RN , sea I un intervalo de RN+1 , luego I coincide con el producto de N + 1 intervalos de R, que llamaremos I j (1 j N + 1). Si notamos J := I1 . . . IN , entonces J es un intervalo de RN . Por hiptesis de induccin, existe una familia nita {C1 , . . . ,Cn } de intervalos de RN , dos a dos disjuntos, tales que RN \ J = n Ci ; i=1 tambin R \ IN+1 se puede expresar como unin de dos intervalos disjuntos, que llamamos J1 , J2 . Entonces, es claro que RN+1 \ I = (RN \ J) R J (R \ IN+1 ) = n (Ci R) (J J1 ) (J J2 ). i=1 Es fcil comprobar que los conjuntos que aparecen en la descomposicin anterior son intervalos de RN+1 disjuntos dos a dos. La subaditividad del volumen es consecuencia de i y de la monotona del volumen. En efecto, si notamos J = I1 (I2 \ I1 ) (I3 \ (I2 I1 )) . . . = I1 (I2 \ I1 ) ((I3 \ I2 ) \ I1 ) . . . . se tiene que v(I) v(J) v(I1 ) + + v(In ) donde se han utilizado la monotona del volumen y el apartado ii ya que, por ejemplo, I2 = (I2 \ I1 ) (I2 I1 ).
1.4.3.
Descomposicin de un isomorsmo lineal
1.4.1 Proposicin. Si T es un automorsmo de RN , probaremos que existen dos isometras Q1 , Q2 L (RN ) (norma eucldea) y un operador diagonal D en RN con valores propios positivos tales que Q1 DQ2 = T .
1.4 Apndices
43
Demostracin. Antes de iniciar la demostracin, es inmediato comprobar la siguiente identidad algebraica para una matriz B cuadrada de orden N: (xBt |z) = (x|zB), x, z RN
Para comprobar la igualdad, como ambas expresiones denen aplicaciones bilineales, basta comprobar que coinciden sobre el producto de vectores de una base. En efecto, si 1 i, j N tenemos (ei Bt |e j ) = ((b1i , . . . , bNi )|e j ) = b ji = (ei |(b j1 , . . . , b jN )) = (ei |e j B) ()
Sea A la matriz asociada a T (en trminos de la base cannica), esto es, T (x) = xAt , x RN . Entonces, la matriz S = At A es simtrica y no singular por ser T un isomorsmo. Adems, la forma cuadrtica asociada a S es denida positiva, ya que, si x RN \ {0}, usando () y que A es una matriz inversible, tenemos (S(x)|x) = (xAt A|x) = (xAt |xAt ) = xAt
2 2
> 0.
Por tanto el operador S tiene N valores propios reales y positivos, que llamamos 1 , . . . , N (algunos pueden tener multiplicidad mayor que 1 y en tal caso aparecen en la lista repetidos tantas veces como indique su orden de multiplicidad). En general, ocurre que vectores propios asociados a distintos valores propios son ortogonales (es muy fcil de comprobar). Si un valor propio tiene multiplicidad k > 1, en el subespacio propio asociado, que tiene dimensin k, se puede obtener un sistema ortonormal con k elementos. As podemos conseguir una base ortonormal {y1 , . . . , yN } de RN tal que S(y j ) = j y j (1 j N). Llamamos j = j > 0. Los operadores lineales que intervendrn en la descomposicin de T verican (por denicin) Q2 (y j ) = e j , D(e j ) = j e j , Q1 (e j ) = 1 T (y j ) (1 j N). j
Es claro que Q2 es una isometra , ya que transforma la base ortonormal {y1 , . . . , yn } en otra ortonormal (la base cannica). Tambin es claro que D es diagonal, con valores propios positivos y que se verica que T = Q1 DQ2 , ya que es ambos operadores lineales coinciden sobre la base {e1 , . . . , eN }. Slo resta probar que Q1 es una isometra y para ello basta comprobar la imagen de la base cannica es una base ortonormal. En efecto, se tiene que (Q1 (ek )|Q1 (e j )) = 1 1 (T (yk )|T (y j )) = (yk At |y j At ) = k j k j
j 1 1 (yk |y j At A) = (yk |S(y j )) = (yk |y j ) = k, j , k j k j k j donde se ha usado (), que la base es ortonormal y que j = 2 (1 j N). j
44
1.4.4.
Cubos didicos
1.4.2 Denicin (de cubo didico de dimensin N). Dado a = (a1 , . . . , aN ) RN y > 0, llamamos N-cubo de lado y vrtice a al intervalo acotado Q(a, ) = [a1 , a1 + [[a2 , a2 + [... [aN , aN + [.
1 Para cada n N notaremos por Pn el conjunto de todos los N-cubos de lado 2n con 1 vrtice en un punto x de RN cuyas coordenadas sean mltiplos enteros de 2n . Es decir:
Pn = Q x,
1 2n
: x RN , 2n x ZN .
Tales intervalos acotados se denominan cubos didicos de dimensin N. No es difcil probar que para cada natural n la familia Pn constituye una particin (numerable) de RN . En RN tenemos el siguiente resultado acerca de la expresin de un conjunto abierto como unin de cubos didicos disjuntos, que ser frecuentemente usado. 1.4.3 Proposicin (Descomposicin cannica en cubos didicos). Todo conjunto abierto no vaco G en RN es unin de una sucesin (Qn ) de N-cubos didicos dos a dos disjuntos y cuya adherencia est contenida en G. Adems si K G y K es compacto entonces se verica que K m Qn para algn m N. n=1 Demostracin. Para n = 1 sea S1 el conjunto de los N-cubos didicos de lado 1 cuya 2 adherencia est contenida en G. Para n N, n > 1 sea Sn el conjunto de los N-cubos 1 didicos de lado 2n cuya adherencia est contenida en G y no estn contenidos en 1 ningn N-cubo didico de lado mayor que 2n cuya adherencia est contenida a su vez en G. Como Sn es una familia numerable de N-cubos didicos, podemos n=1 considerar una enumeracin {Qn : n N} de sta. Probamos ahora que la sucesin (Qn ) satisface las propiedades deseadas. Para cada natural n denimos Fn := {Q : Q Sn } / 0 / si Sn = 0 / si Sn = 0
Es claro que Q p = Fn y que G Fn . Veamos que G Fn . Para ello p=1 n=1 n=1 n=1 sea x G; por ser G abierto en RN existe > 0 tal que B (x, ) G. Sea n N tal 1 que 2n < y sea Q Pn tal que x Q (la familia Pn es una particin de RN ). Para todo 1 y Q se tiene que y x 2n < , as resulta que Q G; por tanto, o bien Q Sn , o bien Q Q con Q Sm y m < n. En cualquier caso se tiene que Q Fn por lo n=1 que x Fn . Hemos demostrado as que G = Q p . n=1 p=1
1.5 Ejercicios
45
/ Veamos que Q p Qq = 0 para p = q. Sea Q p Sm y Qq Sn . Si m = n entonces Q p / y Qq son N-cubos didicos distintos de igual lado y por tanto se tiene que Q p Qq = 0. Si m = n, Q p y Qq son N-cubos didicos de distinto lado y, por denicin de los conjuntos Sn , el de menor lado no est contenido en el de mayor lado, luego se tiene / que Q p Qq = 0. Sea ahora K G compacto. Si G = RN entonces Q p S1 , p N y la existencia de m es inmediata. En otro caso, sea: = nf{ y x
: x K, y RN \ G}.
Por ser K compacto y RN \G cerrado y ambos disjuntos, ha de ser > 0. Sea n0 el ms pequeo nmero natural tal que 210 < . Si ahora x K y Q Pn0 es tal que x Q, se n tiene que Q G por lo cual, o bien Q Sn0 , o bien Q Q con Q Sm y m < n0 , as resulta que K n0 Fn . n=1 Como K es un conjunto acotado es claro que para todo n N el conjunto / {Q : Q Sn , Q K = 0} es nito, en consecuencia la familia / {Q : Q Sn , Q K = 0, 1 n n0 } es nita y, segn acabamos de ver, K est contenido en la unin de dicha familia, luego m N tal que K m Qn . n=1 1.4.4 Corolario. La -lgebra generada por los intervalos acotados de RN coincide con la -lgebra de Borel de RN . Demostracin. Sea la -lgebra generada por los intervalos acotados de RN . En vista del resultado anterior se tiene que contiene todos los subconjuntos abiertos de RN y por tanto B . Veamos que todo intervalo acotado de RN pertenece a B y en consecuencia B . En efecto, basta pensar que un intervalo acotado de dimensin N es la interseccin de 2N semiespacios que obviamente son borelianos por ser abiertos o cerrados.
1.5.
Ejercicios
1. Estudiar el comportamiento de las medidas asociadas a las siguientes funciones de distribucin. i. F : R R denida por E(x) 2 x F(x) = x x+2 5 si si si si si x < 0, 0 x < 1, 1 x < 2, 2 x < 3, 3 x.
46 ii. F : R R denida por E(x) x2 x x+2 E(x) + 5 si si si si si
F(x) =
x < 0, 0 x < 1, 1 x < 2, 2 x < 3, 3 x.
CAPTULO 2
Integral asociada a una medida
2.1.
2.1.1.
Funciones medibles
Funciones medibles y funciones simples
2.1.1 Denicin (Funcin medible). Sea (, ) un espacio medible. Una funcin f : R se dice medible si f 1 (A) para todo A B . La anterior denicin no es ms que un caso particular de la nocin de aplicacin medible entre espacios medibles que precisamos a continuacin. 2.1.2 Denicin. Sean (1 , 1 ) y (2 , 2 ) espacios medibles, se dice que una aplicacin f : 1 2 es medible cuando f 1 (B) 1 para todo B 2 . Las funciones medibles en un espacio medible (, ) no son pues otra cosa que las aplicaciones medibles con valores en R cuando ste se considera provisto de su -lgebra de Borel. Observacin 2.1.3. i. Sea (, , ) un espacio de medida y sea f : R una funcin medible. Se puede denir entonces una medida f en la -lgebra de Borel B de R de la siguiente manera f (A) = ( f 1 (A))
48
Integral asociada a una medida para todo A B . Esta nueva medida recibe el nombre de medida imagen de por f . ii. Sean (1 , 1 ) y (2 , 2 ) espacios medibles y sea f : 1 2 una aplicacin. Teniendo en cuenta que f 1 (2 ) = 1 , f 1 (2 \ B) = 1 \ f 1 (B) y f 1 ( podemos armar que la familia B 2 : f 1 (B) 1 es una -lgebra contenida en 2 . En consecuencia, para comprobar que f es medible basta vericar la condicin de medibilidad para una familia de subconjuntos de 2 que genere la 2 . Puesto que la -lgebra de Borel de RN est generada por los subconjuntos abiertos de RN , tenemos en particular que, si (, ) es un espacio medible, entonces una aplicacin f : RN es medible si, y slo si, verica la condicin f 1 (G) para todo subconjunto abierto G de RN . En consecuencia cualquier aplicacin continua de RN en RM es medible.
[ [ n=1
Bn ) =
f 1 (Bn )
n=1
Hemos observado anteriormente que para comprobar la medibilidad de una funcin podemos limitarnos a estudiar la condicin de medibilidad para una familia generadora de la -lgebra de Borel de R. Recordemos ahora que los intervalos acotados generan esta -lgebra y que est tambin generada por cada una de las siguientes clases de intervalos de R: {] , [: R}, {[, +[: R}, {] , ] : R} y {], +[: R}. En consecuencia obtenemos la siguiente caracterizacin de la medibilidad de una funcin. 2.1.4 Proposicin. Sean (, ) un espacio medible y f : R una funcin. Las siguientes armaciones son equivalentes: i. f es medible.
2.1 Funciones medibles ii. El conjunto { : f () < } es medible para todo R. iii. El conjunto { : f () } es medible para todo R. iv. El conjunto { : f () } es medible para todo R. v. El conjunto { : f () > } es medible para todo R. Ejemplo 2.1.5.
49
i. Sean (1 , 1 ), (2 , 2 ) y (3 , 3 ) espacios medibles. Si f : 1 2 y g : 2 3 son aplicaciones medible. Entonces la composicin g f es medible. ii. La restriccin a un subconjunto medible (con la -lgebra inducida) de una funcin medible es medible. iii. Sea (, ) un espacio medible. Recordemos que la funcin caracterstica de un subconjunto A de , A , es la funcin de en R denida por A (x) = 1 si x A . 0 si x A /
Se tiene que A es medible si, y slo si, el conjunto A es medible. En efecto, basta observar que para cualquier R se verica que { : A () < } = \ A si 0 . A si > 0
iv. Sea (, ) un espacio medible. Si E y f : E R, entonces a f le asociamos la funcin f E : X R (prolongacin por cero fuera de E) dada por ( f E )() = f () si E 0 si \E.
Entonces f es medible si, y slo si f E es medible. En efecto, para B abierto de R se tiene que ( f E )1 (B) = E c { E : f () B} = E c f 1 (B) { E : f () B} = f 1 (B) si si 0B 0B /
Por otra parte, la inclusin de E en es medible, luego la restriccin de f E a E es medible, por ser composicin de medibles ( f = f E iE ). v. Sea (, , ) un espacio de medida completo. Si f , g : R son funciones iguales c.p.d., entonces f es medible si, y slo si, lo es g. En efecto, supongamos
50
Integral asociada a una medida por ejemplo que la funcin f es medible y que el conjunto Z = { : f () = g()} es de medida cero. Para A B se tiene que g1 (A) = (g1 (A) Z) (g1 (A) Z c ) = (g1 (A) Z) ( f 1 (A) Z c ) es medible ya que g1 (A) Z es medible por ser completa, y f 1 (A) Z c es medible por ser f medible. Obsrvese que si la medida no es completa dos funciones iguales c.p.d. no tienen que ser simultneamente medibles. En efecto, si es A un subconjunto no medible de un conjunto Z de medida cero, entonces las funciones f , g : R denidas por 0 si \Z 1 si A f () = 0, , g() = 2 si Z\A son iguales c.p.d. pues { : f () = g()} = Z. f es medible y sin embargo, como g1 ({1}) = { : g() = 1} = A, y {1} es un boreliano, concluimos que g no es medible.
vi. Sea (, ) un espacio medible y sean f , g : R. Entonces la funcin h : R2 denida por h() = ( f (), g()) para todo es medible si, y slo si, lo son f y g. En efecto, si G es un abierto de R2 , entonces existen dos S sucesiones (In ) y (Jn ) de intervalos acotados de R tales que G = In Jn n=1 con lo que concluimos que h1 (G) =
[ n=1
h1 (In Jn ) =
[ n=1
f 1 (In ) g1 (Jn ) .
vii. El espacio de medida de mayor importancia para nosotros es sin duda RN con la medida de Lebesgue y para ste disponemos ya de los siguientes ejemplos bsicos de funciones medibles. Si E RN es cualquier conjunto medible, entonces las siguientes funciones denidas sobre E son medibles: las continuas, las continuas c.p.d., las iguales c.p.d. a una medible y en particular las iguales c.p.d. a una continua,
2.1 Funciones medibles las composiciones de una medible y una continua.
51
En este contexto es conveniente advertir que precisamente en este espacio medible (RN , M ) cualquier conjunto susceptible de ser construido con las tcnicas bsicas de la Teora de conjuntos es medible y, en consecuencia, cualquier funcin denida mediante el uso de las tcnicas habituales del Anlisis es medible.
2.1.6 Proposicin (Estabilidad algebraica de las funciones medibles). Sean (, ) un espacio medible, f , g : R funciones medibles y R. Entonces las funciones f + g, f y f g son medibles. Si adems suponemos que f no se anula, entonces la funcin 1 tambin es medible. f Demostracin. Recordemos que la aplicacin h : R2 denida por h() = ( f (), g()) para todo es medible. Por otra parte, como las funciones de R2 en R (x, y) x + y, (x, y) xy
son continuas, se deduce que las funciones obtenidas por composiciones con h de stas son medibles, esto es f + g y f g son medibles. Por ltimo, si f no se anula, basta componer la funcin medible f con la funcin continua x 1 de R en R para obtener la medibilidad de 1 . x f Consideramos ahora las funciones medibles ms sencillas: las funciones simples. Ser clave en la teora el hecho de que cualquier funcin medible positiva es lmite puntual de una sucesin creciente de funciones simples positivas. 2.1.7 Denicin (Funcin simple). Sea (, ) un espacio medible. Una funcin s : R se dice simple si es medible y su imagen es un conjunto nito, esto es, s() = 1 , . . . , m para convenientes m N y 1 , . . . , m R. Claramente los conjuntos Ai := { : s() = i } (i = 1, . . . , m), son medibles y forman una particin de . La funcin s se expresa entonces en la forma
m
s = i Ai .
i=1
2.1.8 Proposicin (Estabilidad algebraica de las funciones simples). Sean (, ) un espacio medible, s,t : R funciones simples y R. Entonces las funciones f + g, f y f g son simples. Si adems suponemos que f no se anula, entonces la funcin 1 tambin es simple. f
52
2.1.2.
Sucesiones y series de funciones medibles
2.1.9 Proposicin (Sucesiones de funciones medibles). Sea (, ) un espacio medible y sea ( fn ) una sucesin de funciones medibles en . Entonces se verican las siguientes propiedades: i. El conjunto E = { : ( fn ()) es mayorada} es medible y si dicho conjunto no es vaco, la funcin f : E R denida por f () = sup{ fn () : n N} para todo E es medible. ii. El conjunto E = { : ( fn ()) es minorada} es medible y si dicho conjunto no es vaco, la funcin f : E R denida por f () = nf{ fn () : n N} para todo E es medible. iii. El conjunto E = { : lm sup fn () R} es medible y si dicho conjunto no es vaco, la funcin f : E R denida por f () = lm sup fn () para todo E es medible. iv. El conjunto E = { : lm inf fn () R} es medible y en caso de ser no es vaco, la funcin f : E R denida por f () = lm inf fn () para todo E es medible. v. El conjunto E = { : ( fn ()) es convergente} es medible y si dicho conjunto no es vaco la funcin f : E R denida por f () = lm fn () para todo E es medible. Demostracin. i. Es inmediato que E=
[ \
{ : fn () m} ,
m=1 n=1
/ y, por tanto, E . Por otra parte, supuesto E = 0, para cada R se tiene que { E : f () } =
\ n=1
{ E : fn () } = E
\ n=1
{ : fn () }
2.1 Funciones medibles es medible, de donde se deduce que f es medible. ii. Aplquese i a la sucesin ( fn ). iii. El conjunto F = { : ( fn ()) es mayorada}
53
/ / / es medible por i. Es claro que si F = 0, entonces tambin E = 0. Supuesto F = 0, consideremos, para cada natural n, la funcin gn : F R denida por gn () = sup{ fk () : k n} para todo F, que es medible por i. Es claro que E = { F : (gn ()) es minorada} / que es medible por ii. Supuesto E = 0 se tiene que f () = nf{gn () : n N} tambin es medible por ii. iv. Aplquese iii a la sucesin ( fn ). v. Se consideran los conjuntos F1 = { : lm sup fn () R} y F2 = { : lm inf fn () R}, / / que son medibles (por iii y iv). Es claro que si F1 F2 = 0, entonces E = 0. Supuesto / F1 F2 = 0, las funciones g : F1 R denida por g() = lm sup fn (), F1 y h : F2 R denida por h() = lm inf fn (), F2 son medibles por iii y iv, respectivamente. Entonces E = { F1 F2 : g() = h()} = F1 F2 (g h)1 ({0}) / es medible y nalmente, supuesto E = 0, como f () = g()(= h()), E, concluimos que la funcin f tambin es medible. 2.1.10 Proposicin (Series de funciones medibles). Sea (, ) un espacio medible y sea fn una serie de funciones medibles en . Entonces se verican las siguientes propiedades: i. El conjunto E = { : fn () es convergente} es medible y la funcin f : E R denida por
f () = para todo es medible.
n=1
fn()
ii. El conjunto E = { : fn es absolutamente convergente en } es medible.
54
Demostracin. i. Aplquese la Proposicin 2.1.8.v a la sucesin de funciones (n fk ), k=1 las cuales son medibles en virtud de la proposicin 2.1.6. ii. Basta ahora con aplicar el apartado anterior a la serie de funciones medibles | fn |. 2.1.11 Teorema (de aproximacin de Lebesgue). Sea (, ) un espacio medible y sea f : [0, [ una funcin medible. Entonces, existe una sucesin creciente (sn ) de funciones simples positivas que converge puntualmente a f en . Demostracin. Fijado n natural, denimos En = : n f () y, para k = 1, 2, . . . , n2n , En,k := : k1 k f () < n . n 2 2
Como f es medible, los conjuntos En y En,k tambin lo son. Denimos entonces la funcin simple n2n k1 sn := n En,k + nEn . k=1 2 (obsrvese que los conjuntos cuyas funciones caractersticas aparecen en la denicin anterior forman una particin de ). Probemos que la sucesin (sn ) as obtenida es creciente, es decir, sn () sn+1 (), n N, . Sea . Si n N es tal que En , entonces sn () = n = n2n+1 f (), 2n+1
y, por tanto, sn () sn+1 (). En otro caso, si En,k , entonces al ser k1 k 2k 2 2k 1 2k 1 2k , n = , n+1 , . n n+1 2 2 2 2 2n+1 2n+1 o bien En+1,2k1 En+1,2k . En el primer caso, sn () = mientras que en el segundo sn () = k 1 2k 1 < n+1 = sn+1 (). 2n 2 k1 = sn+1 (), 2n
2.1 Funciones medibles Veamos ahora que para se verica

n
55
lm sn () = f ().
Sea y sea n un natural tal que f () < n. Se tiene entonces que sn () f () < sn () + As, para n sucientemente grande, se verica que 0 f () sn () < de donde se obtiene la convergencia anunciada. 2.1.12 Corolario. Sea (, ) un espacio medible y sea f : R. Entonces las siguientes armaciones son equivalentes. i. f es medible. ii. Existe una sucesin (sn ) de funciones simples en que converge a f . 1 , 2n 1 . 2n
56
2.2.
2.2.1.

Denicin de integral asociada a una medida
2.2.1 Denicin (Integral de una funcin simple positiva). Sea (, , ) un espacio de medida y sea s : [0, +[ una funcin simple. Entonces
m
s = i Ai ,
i=1
donde {A1 , . . . , Am } es una particin de en conjuntos medibles y se dene la integral de s como el elemento de [0, ] dado por:
Z
m
s d := i (Ai ).
i=1
Observacin 2.2.2. Conviene observar que la medida de cualquier conjunto medible E puede expresarse como
Z Z
(E) =
E d =
dE .
Estas identidades son importantes porque nos permitirn en su momento calcular medidas utilizando tcnicas de integracin. 2.2.3 Denicin (Integral de una funcin medible positiva). Sea (, , ) un espacio de medida y sea f : [0, [ una funcin medible. Se dene la integral de f como el elemento de [0, ] dado por
Z Z
f d := sup

s d : s simple, 0 s f
Sea f : R se denen las funciones f + , f : R por f + () = y f () = Es inmediato comprobar que f = f + f , y | f | = f + + f . 0 f () si si f () 0 f () < 0. f () 0 si si f () 0 f () < 0
2.2 Integral asociada a una medida
57
2.2.4 Denicin (Funcin integrable e integral de una funcin integrable). Sea (, , ) un espacio de medida y sea f : R una funcin medible. Se dice que f es integrable si la funcin medible positiva | f | verica
Z
| f |d < .
Si f es integrable, entonces las funciones f + y f son medibles positivas y tienen integral nita, puesto que f + | f | y f | f |, podemos denir
Z Z Z
f d :=

f d.
2.2.2.
Integral de funciones simples positivas
Comprobamos en primer lugar que la denicin que acabamos de dar de integral para una funcin simple positiva es independiente de la expresin de la funcin simple que elijamos. Supongamos que se da la igualdad
m i=1 n j=1
iAi =
j B j ,
donde m, n N, 0 i , j < + i, j y {A1 , . . . , Am }, {B1 , . . . , Bn } son dos particiones de en conjuntos medibles, entonces comprobaremos que se verica la igualdad
m n i=1
i(Ai) =
j=1
j (B j ).
En efecto, usando que la medida es aditiva y que si para ciertos ndices i, j se verica / que Ai B j = 0, entonces evaluando la funcin simple en esta interseccin se tiene i = j , obtenemos
m i=1 m i=1 m m
i(Ai) = i Ai nj=1 B j
n m
= i n (Ai B j ) j=1
i=1 n
= i (Ai B j ) =
i=1 j=1 n m j=1 i=1 n m
i=1 j=1 n m j=1 i=1 n j=1
i(Ai B j )
= = =
i(Ai B j ) = j (Ai B j )
m (B j Ai ) i=1
i=1
j=1 n j=1
j (Ai B j ) = j j (B j ).
58
2.2.5 Proposicin. [Propiedades de la integral de funciones simples positivas] Sea (, , ) un espacio de medida. Si s,t : [0, [ son funciones simples y [0, [, entonces se verican las siguientes armaciones: i. ii.
R R
(s + t) (s)
d =
R R
d + d.
R
t
d.
d =
R
s
iii. s t iv.
R
s
d .
d = 0 si, y slo si, s = 0 c.p.d.
Demostracin. Pongamos
m n j=1
s = i Ai y t =
i=1
j B j ,
con m, n naturales, 1 , . . . , m , 1 , . . . , n [0, [ y {A1 , . . . , Am }, {B1 , . . . Bn } particiones de en conjuntos medibles. i. Es claro que {Ai B j : 1 i m, 1 j n} es una particin de en conjuntos medibles (algunos de los cuales pueden ser el vaco y por tanto se pueden suprimir). Se tiene que
m n
s+t = Por tanto,

Z
m n
i=1 j=1
(i + j )AiB j .
m i=1 n j=1 n j=1 m i=1
(s +t) d =
i=1 j=1
(i + j )(Ai B j ) = i (Ai B j ) + j (Ai B j ).
Usando que los conjuntos {B1 , . . . , Bn }, {A1 , . . . , Am } son particiones de y la aditividad de la medida se tiene que
n j=1 m i=1
(Ai B j ) = (Ai),
Z Z
(Ai B j ) = (B j ).
Z
Usando estas igualdades vlidas para 1 i m, 1 j n, se obtiene que (s + t) d =

s d +
t d.
ii. Se tiene que

Z
m i=1 m i=1
(s) d = i (Ai ) = i (Ai ) =
s d.
2.2 Integral asociada a una medida / iii. Como s t por hiptesis, entonces si Ai B j = 0 tenemos que s() = i j = t(). Por tanto
Z
m n m n
59
s d =
i=1 j=1
i(Ai B j ) j (Ai B j ) =
i=1 j=1
t d.
iv. Se tiene que

Z
m
s d = 0 i (Ai ) = 0 i (Ai ) = 0, i = 1, . . . , m
i=1
i = 0 1 i m s = 0 c.p.d.. (Ai ) = 0
2.2.3.
Integral de funciones medibles positivas
El siguiente resultado junto con el Teorema de aproximacin de Lebesgue permiten obtener cmodamente las propiedades de la integral de las funciones medibles positivas. 2.2.6 Proposicin. Sean (, , ) un espacio de medida y f : [0, [ una funcin medible. Si (sn ) es una sucesin creciente de funciones simples positivas que converge puntualmente a f en , entonces
Z Z
f d = lm

sn d.
Demostracin. De la denicin de integral para funciones medibles positivas se deduce que Z Z sn d f d

para todo n N y, por tanto,

Z Z
lm
sn d
f d.
Para probar la otra desigualdad, sea s una funcin simple positiva con s f y sea 0 < < 1. Para cada natural n denimos Fn := : sn () s() .
60
Obtenemos as una sucesin creciente de conjuntos medibles tal que

[ n=1
Fn = .
En efecto, para cada , se tiene f () = 0
F1 .
f () > 0 s() < f () ( < 1) n N : Fn
Supuesto que s = m k Ak , para cada natural n se verica que k=1

m m
k (Ak Fn ) =
k=1
k (Ak Fn) =
k=1
sFn d

sn Fn d
sn d, (2.1)
donde se ha utilizado la denicin de Fn y la monotona de la integral. Para cada k {1, . . . , m}, (Ak Fn ) es una sucesin creciente de conjuntos medibles tal que
[ n=1
Ak Fn = Ak ,
y por tanto se sigue de la propiedad de crecimiento continuo de que (Ak ) = lm Ak Fn .

n
Tomando lmite cuando n en (2.1) obtenemos que

m
k (Ak ) lm
k=1
sn d,
es decir,
s d lm

sn d.
Tomando ahora en la desigualdad anterior lmite cuando 1 obtenemos que

Z Z
s d lm

sn d.
Considerando por ltimo la arbitrariedad de s, concluimos que

Z Z
f d lm

sn d.
61
2.2.7 Proposicin (Propiedades de la integral de funciones medibles positivas). Sea (, , ) un espacio de medida. Si f , g : [0, [ son funciones medibles y [0, [, entonces se verican las siguientes armaciones: i. ii. iii. iv.
R
R R
( f
+ g) d = d =
R
f d + f d.
R
d.
( f )
f g
f d
d .
f d = 0 si, y slo si, f = 0 c.p.d.

R
Adems si f = g c.p.d., entonces
f d =
d.
Demostracin. i. El Teorema de aproximacin de Lebesgue nos asegura la existencia de dos sucesiones crecientes (sn ) y (tn ) de funciones simples positivas con lm sn = f y lmtn = g. En consecuencia (sn + tn ) es tambin una sucesin creciente de funciones simples positivas con lm(sn +tn ) = f + g. En virtud de la proposicin anterior se tiene que
Z Z Z Z
( f + g) d = lm
(sn + tn ) d = lm
sn d +
tn d =
lm
sn d + lm
tn d =
f d +
g d.
ii. Es inmediata de la denicin. iii. Si s : [0, [ es una funcin simple con s f , entonces s g, y por tanto
Z Z
s d

g d.
Z
En consecuencia
f d

g d.
En el argumento hemos utilizado dos veces la denicin de integral de una funcin medible positiva. iv. Sea (sn ) una sucesin creciente de funciones simples positivas convergente a f . R R Supuesto que f d = 0, entonces sn d = 0, n N, y en virtud del apartado iv) de la Proposicin 2.2.5 es sn = 0 c.p.d., n N, de donde concluimos que f = 0 c.p.d. (pues { : f () = 0} nN { : sn () = 0}). Supongamos ahora que f = 0 c.p.d. Entonces, como 0 sn f , se tiene que sn = 0 luego
Z
c.p.d.,
n N,
sn d = 0,
n N
62
R
y por tanto f d = 0. Finalmente, como para cualesquiera dos funciones medibles positivas f y g se verica f | f g| + g, de los apartados iii) y i) anteriores se deduce que
Z Z Z
f d

| f g| d +
g d.
Si suponemos que f = g c.p.d., entonces, teniendo en cuenta iv) deducimos que

Z Z
f d

g d.
Z
De igual forma
g d

f d,
Z
por lo que
f d =

g d.
Observacin 2.2.8. De la ltima armacin se deduce que para calcular la integral de una funcin medible positiva pueden ignorarse, si as se desea, los valores que toma dicha funcin en un conjunto de medida cero. Esto es, el conocimiento de una funcin medible positiva en algn subconjunto medible E de tal que (\E) = 0, es suciente para calcular la integral de dicha funcin.
2.2.4.
Funciones integrables
Claramente si una funcin medible positiva tiene integral nita, entonces sta es integrable y su integral coincide con la integral como funcin medible positiva (lo cual legitima la notacin introducida). Ms generalmente, conviene observar que si g y h son funciones medibles positivas tales que
Z Z
g d < ,

h d < y
Z Z
f = g h,
entonces f es integrable y
Z
f d =

g d
h d.
En efecto, es claro que | f | es medible y las propiedades de la integral de una funcin medible positiva nos aseguran que
Z Z Z Z Z
| f | d =

|g h| d
(g + h) d =
g d +
h d < .
2.2 Integral asociada a una medida Por otra parte, al ser f + + h = f + g, se sigue que
Z Z Z
63
d +
h d =
d +
g d,
y en consecuencia
f d =

g d
h d.
2.2.9 Proposicin (Propiedades de la integral). Sea (, , ) un espacio de medida. Si f , g : R son funciones integrables y es un nmero real, se verican las siguientes armaciones: i. f + g es integrable y ii. f es integrable y iii. iv. | f g
R
( f
+ g) d = d = d.
R
f d +
d.
( f )
f d.
f d d.
f d|
|f|
Adems si f y g son medibles e iguales c.p.d., entonces f es integrable g es integrable, en cuyo caso
Z Z
f d =

g d.
Demostracin. i. Puesto que f + g = ( f + + g+ ) ( f + g ), el resultado se deduce de la aditividad de la integral para funciones medibles positivas y de la observacin hecha antes. ii. Sabemos que f es medible y que
Z Z Z
| f | d =

|| | f | d = ||
| f | d < ,
y por tanto f es integrable. Por otra parte f = f + f , por lo que si 0 se tiene que
R
( f )
d =
( f
+)
( f
d =
f + d
R
f d =
R
f d,
R
y si < 0, entonces es
R
( f ) d = ( f
) d
( f
+ ) d =
f d+
f + d =
f d.
iii. Se tiene que f + f g+ g f + + g g+ + f
64
Z

Z
f +g
Z
d
Z
g+ + f d
Z
+
d + f
+
d +
+
f d
Z
es decir,
d
Z
g d
g d,
f d

g d.
iv. Como | f | es claramente integrable y | f | f | f |, los apartados anteriores nos dan Z Z Z f d | f | d, | f | d

es decir,
f d

| f | d.
Finalmente si f , g son medibles e iguales c.p.d., entonces | f | = |g| c.p.d. y la Proposicin 2.2.7 garantiza que
Z Z
| f | d =

|g| d,
lo que prueba que f es integrable si, y slo si, lo es g. Por otra parte, como | f g| = 0 c.p.d., si f y g son integrables, entonces concluimos que
Z Z Z Z
f d

g d =
( f g) d
| f g| d = 0,
donde se ha aplicado nuevamente la Proposicin 2.2.7.
Observacin 2.2.10. De la ltima armacin de la proposicin anterior se deduce que para estudiar la integrabilidad, y el valor de la integral cuando proceda, de una funcin medible pueden ignorarse los valores que dicha funcin toma en un conjunto cualquiera de medida cero. 2.2.11 Proposicin. Sean (, , ) un espacio de medida, E , E D y f : D R una funcin. Entonces f|E es integrable en E si, y slo si, f E es integrable en , en cuyo caso Z Z
E
f|E dE =
f E d.
65
Demostracin. Sabemos que f|E es medible en (E, E ) si, y slo si, f E es medible en (, ), por lo que para la demostracin daremos por supuesta la medibilidad de ambas funciones. Supongamos en primer lugar que 0 f . Tomemos una sucesin creciente de funciones simples positivas (sn ) que converge puntualmente a f E . Es claro entonces que (sn|E ) es una sucesin creciente de funciones simples positivas denidas en E que converge puntualmente a f|E . Por la Proposicin 2.2.6 aplicada a las funciones f|E y f E tenemos que
Z Z Z Z
E
f|E dE = lm
sn|E dE y
f E d = lm
sn E d.
Observemos que para cada n N se verica que sn () = 0 para todo E c , luego si

m
sn =
k Ak
k=1
para convenientes m N, 1 , . . . , m [0, [ y {A1 , . . . , Am } particin de en conjuntos medibles, necesariamente ha de ocurrir que k = 0, luego
m m
/ si 1 k m y Ak E c = 0,
k E (Ak E) =
k=1
k (Ak ),
k=1
y, por tanto
Z
E
sn|E dE =
sn E d.
Z
Ahora, de las anteriores expresiones se sigue que

Z
E
f|E dE =
f E d,
de donde se obtiene el enunciado. Finalmente, para f arbitraria, aplicando lo anterior a | f | obtenemos que
Z Z Z Z
E
| f|E | dE =
| f ||E dE =
| f |E d =
| f E | d,
por lo que f|E es integrable en E si, y slo si, f E es integrable en . Adems, es ese supuesto, dado que
+ f|E = f|E f|E
f E = f + E f E ,
de nuevo aplicando lo anterior a f + y f obtenemos que

Z
E
Z
+ f|E
f|E dE =
dE
f|E dE =
f E d

f E d =
f E d.
66
2.2.12 Denicin (Integral de una funcin en conjunto medible). Sean (, , ) un espacio de medida, D y f : D R una funcin. Si E con E D, entonces se dice que f es integrable en E si se verica que f|E es una funcin integrable en el espacio de medida (E, E , E ), y en tal caso denimos la integral de f en E por
Z Z
f d :=
E E
f|E dE .
En virtud del resultado anterior este concepto se puede tambin expresar en trminos del espacio de medida inicial. En efecto, f es integrable en E si se verica que f E es integrable en el espacio de medida (, , ), y en tal caso la integral de f en E viene dada por Z Z f d =
E
f E d.
2.2.13 Denicin (Integral de una funcin denida c.p.d.). Sea (, , ) un espacio de medida. Una funcin f denida c.p.d. en es integrable si lo es en un conjunto medible E con (E c ) = 0 en el que est denida, en cuyo caso denimos
Z Z
f d :=
E
f d.
Esta denicin no depende del conjunto medible E. Obsrvese que si F es cualquier otro conjunto medible con (F c ) = 0 en el que f est denida y sea integrable, entonces f E = f F c.p.d. pues coinciden en E F (con f ) y ((E F)c ) = (E c F c ) (E c ) + (F c ) = 0, con lo que
Z Z Z Z
f d =
F
f F d =
f E d =
f d.
E
2.2.14 Proposicin (Aditividad respecto del conjunto de integracin). Sean (, , ) un espacio de medida, D y f : D R una funcin. Si E, F son disjuntos con E F D, entonces f es integrable en E F si, y slo si, f es integrable en E y en F, y en tal caso Z Z Z f d =
EF E
f d +
F
f d.
Demostracin. Puesto que f EF = f E + f F , de las propiedades de las funciones medibles se sigue inmediatamente que f EF es medible si, y slo si, f E y f F son medibles.
67
En tal caso, de las propiedades de la integral de las funciones medibles positivas se tiene que Z Z Z | f | d =
EF E
| f | d +
F
| f | d,
de donde se deduce que f es integrable en E F si, y slo si, lo es en E y en F , en cuyo caso se verica la frmula del enunciado. Notacin. Sea I R un intervalo de extremos y con < + y f : I R una funcin integrable (respecto de la medida de Lebesgue). Entonces se usa la notacin Z
f (x) dx para designar la integral I f d. En el caso de que F sea una funcin de distribucin en R y f : I R es una funcin integrable respecto de la medida de Lebesgue-Stieltjes F , entonces notaremos
Z
f (x)dF(x) para designar la integral I f dF . Cuando se consideran funciones integrables en un subconjunto medible E de RN su integral se nota por Z en lugar de E f d. Si F es ahora una funcin de distribucin en RN y f : E R es R una funcin integrable respecto de F , entonces E f dF se nota por
Z
E
f (x1 , . . . , xN ) d(x1 , . . . , xN )
f (x1 , . . . , xN )dF(x1 , . . . , xN ).
Ejemplo 2.2.15. i. Sea (, , ) un espacio de medida: Si f : R es una funcin medible y existe g : R integrable tal que | f | g, entonces f es integrable. Si E con (E) < y f : E R es medible y acotada, entonces f es integrable. En particular, toda funcin continua denida en un subconjunto compacto de RN es integrable (respecto de la medida de Lebesgue). Es obligado advertir, sin embargo, que el clculo de la integral de una tal funcin incluso en las situaciones ms sencillas es todava inabordable. En efecto, para probar la primera armacin basta tener en cuenta la monotona de la integral para funciones medibles positivas y la denicin de funcin integrable. Ahora la segunda armacin es consecuencia de que | f | ME , donde M es una cota de f .
68
Integral asociada a una medida ii. Sea (, , ) un espacio de medida y sea : R una funcin medible. Denotemos por la medida imagen de por . Si f : R [0, +[ es una funcin (Borel) medible, entonces
Z Z
f d =
R
f d.
Adems una funcin (Borel) medible cualquiera f : R R es integrable respecto de si, y slo si, la funcin f es integrable respecto de , en cuyo caso se verica la identidad
Z Z
f d =
R
f d.
iii. Sea F : R R una funcin de distribucin y sea f : R [0, +[ una funR cin (Borel) medible. Para el clculo de E f (x)dF(x) para cualquier E B se procede como sigue para cada punto de discontinuidad a de F notemos a al salto de F en a. Se tiene entonces que F ({a}) = a y
Z a
a
f (x)dF(x) = a f (a).
en cada intervalo abierto I en el que F es constante se tiene que F (I) = 0 y Z f (x)dF(x) = 0.

I
en cada intervalo abierto I en el que F es de clase C1 se tiene que

Z b
a
f (x)F (x)dx. para cualesquiera a, b I con a < b. De esta manera la integral de LebesgueStieltjes se convierte en una integral de Lebesgue. R nalmente para calcular E f (x)dF(x) se descompone E en las partes correspondientes a cada uno de los casos anteriores y se aplica la correspondiente frmula. Se tiene entonces que
Z Z
f (x)dF(x) =
E
aE
a f (a) +
f (x)F (x)dx,
IE
donde denota el conjunto de los punto de discontinuidad de F y I denota la unin de todos los intervalos abiertos en los que F es de clase C1 . Una funcin (Borel) medible f : R R es integrable respecto de F si, y slo si, a a | f (a)| < y f F es integrable respecto la medida de Lebesgue, en cuyo caso se verica la identidad
Z +
f (x)dF(x) =
a f (a) +
a
f (x)F (x)dx.
I
2.3 Teoremas de convergencia
69
2.3.
Teoremas de convergencia
Es usual en Anlisis Matemtico trabajar con funciones que estn denidas como lmite (en algn sentido) de una sucesin de funciones. Es fundamental, por tanto, ser capaces de deducir la integrabilidad de una tal funcin a partir del conocimiento de la integrabilidad de las funciones que la aproximan y, en su caso, relacionar el valor de la integral de la funcin lmite con el valor de las integrales de las funciones aproximantes. En este tema obtendremos los teoremas de convergencia para la integral de Lebesgue. El Teorema de la convergencia montona 2.3.1 y su primera consecuencia, el Teorema de la convergencia dominada 2.3.6, nos permitirn, en condiciones razonables, intercambiar el lmite y la integral. El Lema de Fatou 2.3.7, otra consecuencia del teorema de la convergencia montona, nos proporcionar un resultado aceptable incluso careciendo de convergencia. Recordemos que si (, , ) es un espacio de medida y ( fn ) es una sucesin de funciones de en R, entonces decimos que ( fn ) converge casi por doquier si el conjunto de puntos en los que la sucesin ( fn ()) no es convergente es de medida cero. En ese caso, dada una funcin f : R, se dice que ( fn ) converge casi por doquier a f si el conjunto { : ( fn ()) no converge a f ()} es de medida cero. El problema natural es si podemos garantizar la integrabilidad de la funcin f a partir de la integrabilidad de las funciones fn y ms ambiciosamente cabe preguntarse si se verica la identidad
Z Z
f d = lm
fn d.
Es importante advertir que la respuesta en general es negativa para ambas cuestiones. Ilustramos este hecho en el ejemplo 2.3.9.
2.3.1.
Teorema de la convergencia montona
En 1909 el matemtico italiano Beppo Levi public un interesante resultado sobre la integracin trmino a trmino de series de funciones positivas, una versin equivalente de dicho resultado se reere a la integracin trmino a trmino de sucesiones crecientes de funciones y es conocida como Teorema de la convergencia montona. 2.3.1 Teorema (de la convergencia montona). Sea (, , ) un espacio de medida y sea ( fn ) una sucesin montona de funciones integrables en vericando que la R sucesin de sus integrales fn d est acotada. Entonces ( fn ) converge casi por doquier a una funcin f integrable en y
Z Z
f d = lm

fn d.
70
Demostracin. Supongamos en primer lugar que ( fn ) es una sucesin creciente de funciones positivas y sea M > 0 tal que
Z
fn d M, n N.
Como las funciones fn son medibles, el conjunto { : lm fn () R} es medible, y por tanto el conjunto E := { : lm fn () = +} tambin es medible. Probaremos que (E) = 0. Fijemos K > 0 y para cada n natural consideremos el conjunto medible En = { : fn () K}. Se tiene que K (En ) = y por tanto (En )
Z Z Z
K d
En En
fn d
fn d M,
M . Como la sucesin de funciones es creciente, entonces la suceK sin de conjuntos (En ) tambin lo es, por tanto, por el crecimiento continuo de la medida (Proposicin 1.1.2.2.iv) sabemos que
S
[ n=1
En
= lm (En )
M . K
Como E
n=1 En ,
entonces (E)
(E) = 0. Sea f : R la funcin denida por f () =
M . De la arbitrariedad de K, obtenemos que K
0 lm fn ()
Z
si si
E . Ec
Como f = lm fn E c , f es medible y claramente ( fn ) f c.p.d. Probaremos que

Z
f d = lm

fn d ( M)
(y en consecuencia la funcin f = | f | ser integrable). Fijado n N el conjunto : fn () = fn E c () = E { : fn () = 0} es de medida cero y fn E c f . En consecuencia

Z Z Z
fn d =

fn E c d
f d,
2.3 Teoremas de convergencia y por tanto lm
71
Z Z
fn d
f d.
Para probar la otra desigualdad, sea s una funcin simple positiva con s f y sea 0 < < 1. Para cada natural n denimos el conjunto Fn := { : s() fn ()}. Obtenemos as una sucesin creciente de conjuntos medibles tal que
[ n=1
Fn = .
En efecto, para cada se verica una de las siguientes armaciones f () = 0 en cuyo caso F1 f () > 0 y entonces s() < f (), puesto que < 1, y en consecuencia existe un natural n tal que Fn . Supuesto que s = m k Ak , para nada n natural se verica que k=1
m
k (Ak Fn )
k=1
fn d.
(2.2)
En efecto,
m m
k (Ak Fn ) =
k=1
k (Ak Fn) =
k=1
s Fn d
fn Fn d
fn d,
donde se han utilizado la denicin de Fn y la monotona de la integral. Para cada k {1, . . . , m}, (Ak Fn ) es una sucesin creciente de conjuntos medibles tal que S n=1 Ak Fn = Ak , y por tanto se deduce del crecimiento continuo de la medida (Proposicin 1.1.2.2.iv) que (Ak ) = lm (Ak Fn ). Tomando lmite cuando n en (2.2) obtenemos en consecuencia que
m k=1 m k=1
k (Ak ) = lm k (Ak Fn ) lm Por otra parte m k (Ak ) = k=1

R
sd
fn d.
y por tanto
Z
s d lm
fn d.
72
Tomando ahora en la desigualdad anterior lmite cuando 1 obtenemos que

Z Z
s d lm

fn d.
Considerando por ltimo la arbitrariedad de s, concluimos que

Z Z
f d lm

fn d.
Supongamos ahora que ( fn ) es una sucesin creciente sin ninguna otra limitacin. La sucesin ( fn f1 ) es tambin creciente y adems fn f1 0 para todo n N. R Como claramente la sucesin ( fn f1 ) d est mayorada, podemos asegurar que ( fn f1 ) converge casi por doquier a una funcin integrable g y que
Z Z
g d = lm

( fn f1 ) d.
Denimos entonces f = g + f1 , que es integrable, y observamos que ( fn ) converge casi por doquier a f y que
Z Z Z Z Z
f d =

(g + f1 ) d = lm
( fn f1 ) d +
f1 d = lm
fn d.
Por ltimo, si la sucesin ( fn ) es decreciente notemos que basta aplicar lo ya demostrado a la sucesin ( fn ) . En efecto, si ( fn ) g c.p.d. con g integrable y
Z Z
g d = lm

( fn ) d,
entonces ( fn ) converge casi por doquier a f = g y

Z Z Z
f d =
(g) d =
Z
g d =
Z Z
lm
( fn ) d = lm
fn d = lm
fn d.
Es conveniente codicar el siguiente resultado prctico que ser utilizado en la prueba del Teorema de la convergencia creciente para funciones medibles positivas 2.3.3.
73
2.3.2 Corolario. Sea (, , ) un espacio de medida y sea ( fn ) una sucesin montona R de funciones integrables en vericando que la sucesin de sus integrales fn d est acotada. Si f : R es una funcin medible tal que ( fn ) converge a f casi por doquier, entonces f es integrable en y
Z Z
f d = lm

fn d.
Demostracin. Por el Teorema 2.3.1 la sucesin ( fn ) converge casi por doquier a una funcin g : R integrable y adems
Z Z
g d = lm

fn d.
Comprobemos que f = g c.p.d. Si A = { : g() = lm fn ()} y B = { : f () = lm fn ()} , entonces A, B y (Ac ) = 0 = (Bc ). De la inclusin A B { : f () = g()}, se obtiene que { : f () = g()} (A B)c = Ac Bc , y el primer conjunto, que es medible, tiene medida cero. Como f y g son medibles, y hemos obtenido que coinciden c.p.d., se sigue que f es integrable y su integral coincide con la de g.
2.3.3 Corolario. Sea (, , ) un espacio de medida y sea ( fn ) una sucesin creciente de funciones medibles positivas en que converge casi por doquier a una funcin medible positiva f . Entonces
Z Z
f d = lm

fn d.
Demostracin. La sucesin fn d es creciente. Si es acotada, el resultado se sigue R del Corolario anterior. Si no es acotada, entonces lm fn d = y al vericarse que
Z Z
fn d

f d, n N,
deducimos que tambin
f d = .
La ltima consecuencia inmediata del Teorema 2.3.1 que resaltamos nos asegura la continuidad absoluta de una medida denida por integracin de una funcin medible positiva.
74
2.3.4 Corolario. Sea (, , ) un espacio de medida y sea f : [0, +[ una funcin medible. Entonces la aplicacin : [0, ] denida por
Z
(E) =
E
f d,
para todo E , es una medida que adems es absolutamente continua respecto de , es decir: [E , (E) = 0] = (E) = 0. Adems si f es integrable, entonces: dado > 0 existe > 0 de manera que (E) < para todo conjunto medible E con (E) < . Demostracin. Sea E = de . Obsrvese que
S
nN En ,
donde (En ) es una sucesin de elementos disjuntos

f E = f
Z
n=1
En =
Z
n=1
f En ,
(E) =
E
f d =
Z Z
f E d y f En d.
n
(En ) = En consecuencia (E) =
f d =
En
f E d =
n Z
lm
f Ek
k=1 Z k=1
d =
lm
k=1
f Ek
d = lm
f Ek d =
k=1
f Ek d =
(Ek )
k=1
donde se ha utilizado el Corolario anterior. As es una medida. Por ltimo si (E) = 0, R entonces el apartado iv) de la Proposicin 2.2.7 nos asegura que f E d = 0, esto es, (E) = 0. Hemos probado que es absolutamente continua respecto . Supongamos ahora que f es una funcin integrable. Sea > 0. Para cada natural n sea An = { : f () n}. Se tiene que An , n N y que ( f An ) es una sucesin creciente de funciones integrables que converge a f . El Corolario 2.3.2 garantiza que
Z Z
lm
f An d =
f d.
Existe entonces n N tal que (E) < , entonces (E) =

ZE Z
f f An d < . Tomamos = ; Si E con 2 2n

Z Z
f d =
E
f f An d +
Z
f An d
f f An d +
n d <
E
+ n = . 2 2n
2.3 Teoremas de convergencia Observacin 2.3.5.
75
i. La funcin que f que aparece en el resultado anterior se denomina funcin de densidad de la medida respecto de la medida . La condicin que garantiza la existencia de una tal funcin de densidad la proporciona el teorema de Radon-Nikodym: en el caso de que sea una medida nita y sea una medida absolutamente continua respecto de , entonces existe una funcin integrable f : [0, +[ de manera que
Z
(E) =
f d
para todo E . ii. Supongamos que es la medida introducida en el corolario anterior a partir de la medida y la funcin de densidad f . Entonces la integracin respecto de la medida est ntimamente relacionada con la integracin respecto de la medida original . A continuacin exponemos esta relacin: Si g : [0, +[ es una funcin medible, entonces se verica la identidad Z Z gd = g f d.

Si g : R es cualquier funcin medible, entonces g es integrable respecto de si, y slo si, la funcin g f es integrable respecto de , en cuyo caso se verica la siguiente identidad
Z Z
gd =

g f d.
iii. La informacin aportada en el apartado anterior es especialmente til cuando se trabaja con la medida de Lebesgue-Stieltjes F asociada a una funcin de distribucin F. El problema de integrar respecto de una tal medida se puede convertir en un problema de integracin respecto de la medida de Lebesgue siempre que se pueda disponer de una funcin de densidad, lo cual ocurre cuando F sea absolutamente continua respecto de . En R la continuidad absoluta de F respecto de est caracterizada por la continuidad absoluta de la funcin de distribucin F lo cual acontece, en particular, siempre que F sea derivable y la funcin derivada sea integrable.
2.3.2.
Teorema de la convergencia dominada y lema de Fatou
En la prctica no siempre nos encontramos con sucesiones montonas de funciones, por lo que el Teorema 2.3.1 no puede ser utilizado en tales ocasiones. Afortunadamente, la limitacin que impone la monotona se suprime en el siguiente teorema de convergencia, que a cambio exige la condicin de dominacin de la sucesin.
76
La dominacin suele acaecer con frecuencia y normalmente no es difcil su comprobacin. 2.3.6 Teorema (de la convergencia dominada). Sea (, , ) un espacio de medida y sea ( fn ) una sucesin de funciones integrables que converge casi por doquier en a una funcin medible f . Supongamos que existe una funcin integrable g tal que | fn | g c.p.d., n N. Entonces f es integrable y lm
| f fn | d = 0.
Z
En consecuencia
f d = lm

fn d.
Demostracin. Sea E con (E c ) = 0 tal que para cada E se verica que ( fn ()) converge a f () y | fn ()| g(), n N. Para cada natural n es | fn E | g E y en consecuencia | f E | gE con lo que f E es integrable y, por tanto, f es integrable. Para cada natural n, sea gn : E R la funcin denida por gn () = sup{| f () fk ()| : k n}. Se tiene que 0 gn E 2gE , con lo que gn E , que es medible, tambin es integrable. Como gn E es una sucesin decreciente de funciones integrables positivas que converge a cero, el Corolario 2.3.2 garantiza que
Z
lm
gn E d = 0.
Z
Como | f fn |E gn E , n N, se tiene que

Z Z
| f fn |d =
| f fn |E d
gn E d, n N
y por tanto concluimos que lm
| f fn |d = 0.
Finalmente, al vericarse
Z Z Z Z
f d

fn d =
( f fn )d
| f fn |d,
se tiene en consecuencia que
f d = lm

fn d.
77
Mostraremos seguidamente que, incluso careciendo de convergencia puntual de la sucesin de funciones, podemos conseguir un resultado del mismo tipo. 2.3.7 Teorema (lema de Fatou). Sea (, , ) un espacio de medida y sea ( fn ) una sucesin de funciones medibles y positivas en tal que
Z
lmnf
fn d < .
Entonces, existe una funcin f integrable en tal que

Z Z
lmnf fn = f c.p.d. y
f d lmnf
fn d.
Demostracin. Para cada natural n, consideremos la funcin gn : R denida por gn () = nf{ fk () : k n}. Se tiene que 0 gn fk , para k n, luego 0 consecuencia 0
R
gn
d nf
Z
gn
fk
d, para k n, y en
fk
d : k n y, por tanto,
Z
gn d lmnf
fn d < .
2.3.1 nos asegura que (gn ) converge Como la sucesin (gn ) es creciente, el Teorema R R casi por doquier a una funcin integrable f y que f d = lm gn d. Hemos proba do que Z Z f d lmnf

fn d.
2.3.3.
Teorema de la convergencia absoluta
Con frecuencia nos encontramos con el problema de integrar funciones denidas como la suma de una serie de funciones (pinsese por ejemplo en las funciones denidas por una serie de potencias). La conjuncin de los Teoremas 2.3.1 y 2.3.6 nos permiten a continuacin establecer un procedimiento muy natural para resolver este problema de integracin. 2.3.8 Teorema (de la convergencia absoluta). Sea (, , ) un espacio de medida y sea fn una serie de funciones integrables en . Supongamos que
Z n=1
| fn | d < .
78
Entonces la serie fn converge absolutamente casi por doquier, existe una funcin f integrable en tal que fn = f casi por doquier y adems n=1
Z
n
lm
f fk d = 0.
k=1 Z
En consecuencia
f d =
n=1
fn d.
Demostracin. Para cada n N, sea Gn = n | fk |. (Gn ) es una sucesin creciente de k=1 funciones integrables tal que
Z
n Z Z
Gn d =
k=1
| fk | d
n=1
| fn | d < .
El Teorema 2.3.1 garantiza, en consecuencia, la existencia de una funcin integrable G tal que (Gn ) converge casi por doquier a G. Este hecho nos permite armar que la serie fn converge absolutamente casi por doquier, esto es el conjunto medible
E = :
n=1
| fn()| <
verica que (E c ) = 0. Como toda serie absolutamente convergente es convergente podemos denir la funcin medible f : R por fn() si E , f () = n=1 0 si E c es decir,
f=
n=1
fnE .
Como el conjunto medible : fn () = f () es un subconjunto de E c , se n=1 sigue que es de medida cero, y en consecuencia
n=1
fn = f c.p.d.
Veamos que la funcin f cumple las condiciones del teorema. Para ello consideremos la sucesin (Fn ) de funciones integrables en denida por
n
Fn =
fk , n N.
k=1
79
Obsrvese que (Fn ) f c.p.d. y que es fcil comprobar que |Fn | G c.p.d., n N. El Teorema 2.3.6 nos permite concluir que f es integrable y que
Z
lm
| f Fn |d = 0.
Por tanto,
Z Z Z
n
f d = lm

Fn d = lm
Z n Z
fk
k=1
= lm
fk d =
k=1
n=1
fn d
Ejemplo 2.3.9. i. Se considera la sucesin de funciones ( fn ) en ]0, 1[ denida por n fn (x) = x ]0, 1[, n N. 1 + n2 x 2 Obsrvese que
n
lm fn (x) = 0 x ]0, 1[
y que, para cada n N, fn es integrable con Z 1 Z 1 n dx = arctan( nx) fn (x)dx = 2 0 0 1 + nx En consecuencia

Z 1
n 0
1 0
= arctan( n).
lm
fn (x)dx = lm arctan( n) = n 2
Z 1
Z 1
0 n
lm fn (x)dx =
0dx = 0.
0
ii. Se considera la sucesin de funciones ( fn ) en ]0, 1[ denida por x2 fn (x) = 1 + n Entonces

n n
x ]0, 1[, n N.
2
lm fn (x) = ex x ]0, 1[,
80
Integral asociada a una medida la sucesin ( fn (x)) es creciente para cada x ]0, 1[ cada una de las funciones fn es integrable en ]0, 1[ la sucesin (
R1
0
fn (x)dx) est acotada pues

Z 1
Z 1
0
fn (x)dx
ex dx
Z 1
0
edx = e n N
Z 1
En consecuencia
Z 1
n 0
lm
1+
x2 n
Z 1
dx =
0 n
lm
1+
x2 n
dx =
0
ex dx
iii. Se considera la sucesin de funciones ( fn ) en ]0, 1[ denida por fn (x) = Entonces

n
1 + nx x ]0, 1[ n N. 1 + n2 x2
lm fn (x) = 0 x ]0, 1[
ahora la sucesin ( fn ) no es montona | fn (x)|

1 2
n N, x ]0, 1[ y la funcin
Z 1
1 2
es integrable en ]0, 1[.

Z 1
En consecuencia lm
Z 1 1 + nx
n 0
1 + n2 x 2
dx =
0
1 + nx dx = lm n 1 + n2 x2
0dx = 0.
0
Es importante destacar en este punto que la dominacin por una constante, como la llevada a cabo en el presente ejemplo, resulta efectiva siempre que estemos trabajando en un espacio de medida nita. En otro caso las funciones constantes no son integrables y en consecuencia la dominacin por una tal funcin es completamente intil. iv Se considera la serie de funciones (1)n 2n n! x . Entonces
2 (1)n 2n n! x = ex x R. n=0
La serie
Z 2 (1)n 2n x dx =
0
n!
Z 2 1 2n x dx =
0
n!
1 1 n! 2n + 1 x2n+1
2 0
22n+1 (2n + 1)n!
2.3 Teoremas de convergencia es convergente y en consecuencia

Z 2
0
81
x2
(1)n 22n+1 dx = . n=0 (2n + 1)n!
2.3.4.
Integrales dependientes de un parmetro
2.3.10 Teorema. Sea (, , ) un espacio de medida, sea I un intervalo de R de extremos y con < + y sea f : I R una funcin vericando las siguientes propiedades: i. x I, la funcin f (x, ) es integrable en . ii. , la funcin x f (x, ) tiene lmite en el punto a ( a ). iii. Existe g : R integrable tal que | f (x, )| g(), x I, . Entonces la funcin x
f (x, )d
tiene lmite en el punto a, la funcin lm f (x, )

xa
es integrable y lm
Z
xa
f (x, )d =
xa
lm f (x, )d.
Demostracin. Sea (xn ) una sucesin en I cuyo lmite es a. Para cada n N se considera la funcin n : R denida por n () = f (xn , ) . Denamos adems 0 : R por 0 () = lm f (x, ), . Sabemos que (n ) es una sucesin
xa
de funciones integrables en que converge a 0 . Adems |n | g para todo n N y en consecuencia el teorema de la convergencia dominada (Teorema 2.3.6) nos permite concluir que 0 es integrable en y que
Z Z
0 d = lm

n d.
Lo anterior demuestra el teorema. 2.3.11 Corolario. Sea (, , ) un espacio de medida, sea I R un intervalo y sea f : I R una funcin vericando las siguientes condiciones: i. x I, la funcin f (x, ) es integrable en .
82
Integral asociada a una medida ii. , la funcin x f (x, ) es continua en I.
iii. Existe g : R integrable tal que | f (x, )| g(), x I, . Entonces la funcin : I R denida por
Z
(x)
f (x, )d x I
es continua. Demostracin. Sea a I. En virtud del teorema 2.3.10 y la continuidad de la funcin x f (x, ) (para cada ) tenemos que
Z
xa
lm
f (x, )d =
xa
lm f (x, )d =
f (a, )d.
2.3.12 Corolario. Sea (, , ) un espacio de medida, sea I R un intervalo y sea f : I R una funcin vericando las siguientes condiciones: i. x I, la funcin f (x, ) es integrable en . ii. , la funcin x f (x, ) es derivable en I. iii. Existe g : R integrable tal que f (x, ) g(), x I, . x Entonces la funcin : I R denida por
Z
(x) =
f (x, d x I
es derivable en I con (x) =
F (x, ) d, x I. x
Demostracin. Sea a I. Para cada x I \ {a} y cada , el teorema del valor medio garantiza la existencia de un punto cx, del intervalo abierto de extremos a y x tal que f (x, ) f (a, ) f = (cx, , ) . xa t
2.3 Teoremas de convergencia La hiptesis iii nos asegura ahora que f (x, ) f (a, ) g(), . xa El teorema 2.3.10 asegura entonces que (x) (a) = lm lm xa xa xa
Z
83
f (x, ) f (a, ) d = xa Z Z f (x, ) f (a, ) f lm d = (x, a)d. xa xa t
Ejemplo 2.3.13. i. Se considera la funcin :]0, +[ R denida por (t) =

Z 1
0
xetx dx t ]0, +[. tx xe es continua
para cada x ]0, 1[ la funcin t
para cada x ]0, 1[ se tiene que tx xe0x = x t ]0, +[. xe

R x es integrable en ]0, 1[ pues 01 xdx =
1
1 2 +1
x 2 +1
1 0
= 2. 3
Por el corolario 2.3.11 obtenemos que es continua en ]0, +[. Por otra parte tenemos que para cada x ]0, 1[ la funcin t xxetx tx xe es derivable con derivada t
para cada x ]0, 1[ se tiene que xxetx xxe0x = xx t ]0, +[

R xx es integrable en ]0, 1[ pues 01 x3/2 dx =
1
3 2 +1
x 2 +1
1 0
= 2. 5
Por el corolario 2.3.12 obtenemos que es derivable en ]0, +[ con derivada Z

1
(t) =
0
x3/2 etx dx t ]0, +[.
84
Integral asociada a una medida ii. Seguidamente mostramos la manera de proceder cuando no se obtiene automticamente una dominacin integrable como pasaba en el ejemplo anterior. Se considera la funcin :]0, +[ R denida por (t) =
Z +
0
xetx dx t ]0, +[. tx xe es continua
para cada x ]0, +[ la funcin t
para cada x ]0, +[ se tiene que tx xe xe0x = x t ]0, +[ y esta es la mejor dominacin posible. R x no es integrable en ]0, +[ pues 0+ xdx =
1
1 2 +1
x 2 +1
+ 0
= .
Se ja 0 < y movemos t slo en ], +[. Entonces tx xex t ], +[. xe Esta dominacin si que es integrable. Por el corolario 2.3.11 obtenemos que es continua en ], +[. Como > 0 es arbitrario concluimos que es continua en ]0, +[. Para el estudio de la derivabilidad se procede de manera similar. para cada x ]0, +[ la funcin t xetx es derivable con derivada t xxetx para cada x ]0, +[ se tiene que xxetx xxe0x = xx t ]0, +[ y esta es nuevamente la mejor dominacin posible. R xx no es integrable en ]0, +[ pues 0+ x3/2 dx = . Se ja 0 < y movemos t slo en ], +[. Entonces x3/2 etx x3/2 ex t ], +[. Esta dominacin si que es integrable. Por el corolario 2.3.12 obtenemos que es derivable en ], +[. Como > 0 es arbitrario concluimos que es derivable en ]0, +[ con derivada Z + (t) = x3/2 etx dx t ]0, +[.
0
+ 3 1 x 2 +1 3 0 2 +1
2.3 Teoremas de convergencia Como (t) =

0
85
Z +
x3/2 etx dx < 0 t ]0, +[
podemos asegurar que es estrictamente decreciente. En consecuencia tiene lmite en 0 y en +. Desgraciadamente no disponemos de una dominacin integrable para calcular dichos lmites. Sin embargo, para estudiar el comportamiento de en 0 podemos hacer uso del lema de Fatou en la siguiente forma lm (t) = lm
Z +
t0
t0 0
xe
tx
Z +
dx
0
t0
Z tx lm xe dx =
0
xdx = +
y por tanto lm(t) = 0. Para calcular el lmite en + observemos que

t0
tx x xe xe t ]1, +[, x ]0, +[ y esta dominacin si que es integrable. En consecuencia

Z +
t+
lm (t) =
t+,t>1
lm
(t) =
0
t+,t>1
lm
Z tx xe dx =
0
0dx = 0.
86
2.4.
Ejercicios
Z
1. Sea un conjunto no vaco, sea y sea la medida de Dirac concentrada en . Demostrar que cualquier funcin f : R es integrable con f d = f ().
2. Sea la medida contadora en N. Demostrar que una funcin f : N R es integrable si, y slo si,
n=1
| f (n)| < ,
en cuyo caso se verica
f d =
N
n=1
f (n).
3. Estudiar la integral asociada a la medida imagen en las siguientes situaciones: i. La medida imagen de la medida de Lebesgue por la funcin parte entera E : R R. ii. La medida imagen de una medida cualquiera por una funcin constante. iii. La medida imagen de una medida cualquiera por la funcin caracterstica de un conjunto medible. 4. Estudiar la integral asociada a la medida de Lebesgue-Stieltjes respecto de las siguientes funciones de distribucin: i. La funcin de Heaviside F : R R, que est denida por F(x) = 0 1 si si x < 0, 0 x.
ii. . La funcin parte entera E : R R. iii. La funcin F : R R, denida por 0 si x si F(x) = 1 si iv. La funcin F : R R, denida por 0 2x F(x) = 2
x < 0, 0 x < 1, 1 x.
si si si
x < 0, 0 x < 1, 1 x.
2.4 Ejercicios v. La funcin F : R R, denida por 0 2x F(x) = 5 vi. La funcin F : R R, denida por E(x) 2 x F(x) = x x+2 vii. F : R R denida por E(x) 2 x F(x) = x x+2 5 viii. F : R R denida por ix. F : R R denida por 0 2x F(x) = 3 x. F : R R denida por 0 2x F(x) = 1+x 5 xi. F : R R denida por F(x) = 0 1+x 3 si si si x < 0, 0 x < 1, 1 x. si si si si x < 0, 0 x < 1, 1 x < 2, 2 x. si si si x < 0, 0 x < 1, 1 x. E(x) x2 x x+2 E(x) + 5 si si si si si x < 0, 0 x < 1, 1 x < 2, 2 x < 3, 3 x. si si si si si x < 0, 0 x < 1, 1 x < 2, 2 x < 3, 3 x.
87
si si si
x < 0, 0 x < 1, 1 x.
si si si si
x < 0, 0 x < 1, 1 x < 2, 2 x.
F(x) =
88 xii. F : R R denida por
F(x) = x + E(x) x R. 5. Sea (n ) una sucesin de nmeros reales con n 0 para todo n N. Se dene la medida sobre (N, P (N)) por ({n}) = n para todo n N. Demostrar que una funcin f : N R es integrable si, y slo si,
n=1
| f (n)|n < ,
en cuyo caso se verica
f d =
N
n=1
f (n)n.
6. Se considera el espacio de medida (, , ), siendo = {, , , }, / = 0, , {}, {, , } y / 0 = 0, = 1, {} = 1 3 y {, , } = . 4 4
i. Probar que la funcin f : R denida por f () = f () = 0, f () = f () = 1 no es medible. ii. Probar que la funcin g : R denida por f () = 1, f () = f () = g() = 1 es integrable. Calcular las integrales
Z
gd
{,,,}
gd.
{,,}
2.4 Ejercicios
89
7. Sea (, , ) un espacio de medida con () < y sea ( fn ) una sucesin de funciones medibles en que converge a una funcin f . Supongamos que existe una constante M 0 tal que | fn | M para todo n N. Probar que f es integrable y que
Z Z
f d = lm
fn d.
8. Calcular lm
Z 1
n 0
fn (x)dx
para cada una de las siguientes sucesiones de funciones: i. fn (x) = nx x ]0, 1[, n N. 1 + n2 x
ii. fn (x) = 1 ln(x + n)ex cos(x) x ]0, 1[, n N. n iii. fn (x) = iv. fn (x) = 1 + nx x ]0, 1[, n N. (1 + x)n
nx ln(x) x ]0, 1[, n N. 1 + n2 x n x v. fn (x) = x ]0, 1[, n N. 1 + n2 x2
n3/2 x vi. fn (x) = x ]0, 1[, n N. 1 + n2 x2 x2 vii. fn (x) = 1 + n viii. fn (x) = 1 1+

x n 1/n n x n
sen
x x ]0, +[, n N. n
x ]0, +[, n N.
9. Probar las siguientes identidades:

Z +
i.
0
(1)n+1 x dx = . 1 + ex n2 n=1 1 dx = . x 2 1e n=0 (n + 1)
ii.
Z + xex
0
iii.
Z 1 x
0
1x
ln
1 1 dx = > 1. 2 x n=1 (n + )
90
Z +
(1)n ex dx = , > 0. 1 + ex n=0 + n
iv.
0
1 xex dx = , > 0. v. 2 x 1+e n=0 ( + n)
10. Sea : R+ R la funcin denida por

Z +
(t) =
0
xt1 ex dx.
Probar que i. es derivable y dar una expresin de su derivada. ii. lm(t) = + .

t0
11. Estudiar la continuidad y derivabilidad de las siguientes funciones: i. :]0, +[ R, (t) = ii. :] 1, 1[ R,
Z Z + x e etx
0
dx, t R+ .
(t) =
0
ln(1 + t cos x)dx, t ] 1, 1[.
iii. : [0, +[ R, (t) = Calcular lmt+ (t). iv. : [0, +[ R, (t) = v. : R R, (t) =
Z + ln(x2 + t 2 )
0
Z + arctan(tx)
0
1 + x2
dx t [0, +[.
1 + x2
dx t [0, +[.
Z + sen(tx)
1 + x2
dx t R.
2.4 Ejercicios vi. :]0, +[ R,

Z +
91
(t) =
0
x1/2 etx dx t ]0, +[.
Calcular lmt0 (t) y lmx+ (t). 12. Calcular 1. lm

Z 1
t1 0 t x2
Z 1
xe
Z 1
dx
t+ 0
lm
xt ex dx.
2. lm
t1 0
x e dx
t x
Z 1
t+ 0
lm
xt ex dx.
92
CAPTULO 3
La integral de Lebesgue en RN
El objetivo de este captulo es el estudio de la integral de Lebesgue en RN , esto es, la integral asociada al espacio de medida (RN , M , ). Tras el asentamiento en las lecciones precedentes de los pilares bsicos que sostienen la teora de la integracin, podemos ahora abordar la cuestin fundamental para nosotros: proporcionar mtodos que permitan reconocer cuando una funcin f : E RN R es integrable y, en caso armativo, calcular su integral. Es importante tener presente que el problema de integracin planteado contiene dos cuestiones distintas: una es la integrabilidad de la funcin (hasta ahora sabemos que son integrables las funciones nulas c.p.d., las combinaciones lineales de funciones caractersticas de conjuntos de medida nita y las funciones continuas de soporte compacto) y otra es calcular, supuesto que la funcin sea integrable, el valor de su integral. En este sentido debemos advertir que presentamos tres tipos de tcnicas de integracin: Mtodos que proporcionan la integrabilidad de f aunque no el valor de la integral. Mtodos que proporcionan la integrabilidad de f y el valor de su integral. Mtodos que proporcionan el valor de la integral, supuesto que la funcin sea integrable.
El lector tendr cuidado en lo sucesivo de advertir con precisin la informacin que cada resultado proporciona al respecto. Dividimos la presente leccin en dos secciones:
94
La integral de Lebesgue en RN I. Integrales simples, esto es, integrales de funciones de una nica variable real. Nuestro objetivo ser la integracin de funciones denidas en un intervalo I de R. II. Integrales mltiples, es decir, integrales de funciones de varias variables reales. En esta seccin abordaremos el problema de la integracin de funciones en un subconjunto medible E RN .
3.1.
3.1.1.
Integrales simples
Acotacin local e integrabilidad local
Antes de abordar el problema de la integrabilidad de funciones denidas en intervalos de R es conveniente introducir la siguiente debilitacin de dicho concepto. 3.1.1 Denicin (Acotacin local e integrabilidad local). Sean I un intervalo de R y f : I R una funcin. Entonces f es localmente acotada si es acotada en cada intervalo compacto contenido en I. f es localmente integrable si es integrable en cada intervalo compacto contenido en I Es claro que toda funcin medible localmente acotada es localmente integrable. En particular, toda funcin continua en I es localmente integrable. Tambin es cierto que toda funcin localmente integrable es medible. En efecto, si < + son los extremos de I y (an ) y (bn ) son sucesiones de nmeros reales de I con an bn , n N tales que lm an = y lm bn = , entonces f [an ,bn ] f c.p.d. y es claro que f es medible, ya que cada funcin f [an ,bn ] es medible por ser integrable. Es importante observar as mismo que, como consecuencia de ser I = ],[ c.p.d., una tal funcin f es integrable en I si, y slo si, es integrable en ], [, en cuyo caso se tiene que Z Z f d =
I ],[
f d,
hecho que nos permite notar cualquiera de las integrales que aparecen en la igualdad anterior por
Z
f (x) dx (si , R, entonces I puede ser cerrado o semicerrado). Es usual denir

Z Z
f (x) dx :=

f (x) dx.
3.1 Integrales simples
95
El hecho antes comentado de que una funcin denida en un intervalo de R es integrable en ste si, y slo si, lo es en su interior nos permite limitarnos al estudio de la integracin de funciones en intervalos de R de la forma ], [ con < +. 3.1.2 Proposicin (Aditividad respecto del intervalo de integracin). i. Sea f :], [ R una funcin y sea ], [. Entonces f es integrable en ], [ si, y slo si, es integrable en ], [ y en ], [, en cuyo caso se verica la identidad
Z Z Z
f (x) dx =

f (x)dx +
f (x) dx.
ii. Sean , , [, +] y sea f :]a, b[ R una funcin integrable, donde a = mn{, , } y b = m x{, , }. Entonces a
Z Z Z
f (x) dx =

f (x) dx +
f (x) dx.
Demostracin. i. Es un caso particular de la Proposicin 2.2.14. ii. La frmula que se pretende demostrar es equivalente a
Z Z Z
f (x) dx +

f (x) dx +
f (x) dx = 0,
()
frmula que es trivial si dos de los tres puntos que aparecen en ella coinciden, pues en tal caso se reduce a Z Z
b a
f (x) dx +
a b
f (x) dx = 0.
Adems, si se permutan de cualquier forma los puntos , y , el primer miembro de la frmula () permanece queda multiplicado por 1. Ello permite suponer que < < cuyo caso la frmula es cierta por el apartado i).
3.1.2.
Regla de Barrow
Uno de los principales mtodos de integracin para funciones de una variable real es la regla de Barrow, que hace uso de una primitiva de la funcin original para estudiar la integrabilidad de esta funcin y calcular su integral. Resaltamos que las funciones que habitualmente se presentan en la prctica son localmente acotadas. Mostraremos seguidamente que la integral proporciona un mtodo de construccin de primitivas, al menos para funciones continuas, y que toda funcin denida en un intervalo que admita primitiva es medible.
96
3.1.3 Proposicin. Sea f :], [ R una funcin localmente integrable y sea a ], [. Entonces la funcin F :], [ R denida por
Z x
F(x) =
a
f (t)dt,
para todo x ], [, es derivable en cada punto x ], [ donde f sea continua y adems F (x) = f (x). Demostracin. Supongamos que f es continua en un punto x ], [. Dado > 0, la continuidad de f en x nos asegura que existe > 0 tal que (y ], [, 0 < |y x| < ) | f (y) f (x)| < . Para un tal y se verica F(y) F(x) 1 f (x) = yx |y x| 1 |y x| 1 |y x|
Z y
x
Z y
Z x
f (t) dt
a a
f (t) dt (y x) f (x) =
Z y
Z y
x
1 f (t)dt (y x) f (x) = |y x|
Z y
x
Z y
f (t) dt
x x
f (x) dt =
Z y
1 f (t) f (x) dt |y x|
1 | f (t) f (x)| dt |y x|
dt = ,
x
donde se ha utilizado la proposicin anterior. Hemos probado que la funcin F es derivable en x y que F (x) = f (x). Observacin 3.1.4. i. La funcin F denida en el resultado anterior se denomina integral indenida de f . ii. Recordemos que una funcin f :], [ R admite primitiva si existe una funcin F :], [ R tal que F (x) = f (x), x ], [. Se dice tambin que F es una primitiva de f . Cualquier funcin que se obtenga sumando a F una constante es tambin una primitiva de f y de esta forma se obtienen todas las primitivas de f.
3.1.5 Lema. Si f :], [ R una funcin que admite una primitiva F en ], [, entonces f es medible. Si adems, f es localmente acotada, entonces f es localmente integrable y se verica para cada [a, b] ], [ que
Z b
f (x) dx = F(b) F(a).

a
97
Demostracin. Fijemos [a, b] ], [. Veamos que f|[a,b] es medible. En efecto sea 1 m N tal que b + m < . Para n natural con n m se verica, al ser G una primitiva de f , que 1 F(x + n ) F(x) f (x), x [a, b] 1
n
de donde se deduce que f|[a,b] es medible por ser lmite de una sucesin de funciones continuas. Sean ahora (an ) y (bn ) sucesiones en ], [ con an < bn , n N, (an ) y (bn ) , entonces f [an ,bn ] f lo que nos permite concluir que f es medible por ser lmite de una sucesin de funciones medibles. Supongamos ahora que f es adems localmente acotada. En ese caso, por ser f medible, sabemos que es localmente integrable. Sea [a, b] un intervalo acotado con1 tenido en ], [ y tmese m N tal que b + m < . Haciendo uso del Teorema del valor medio obtenemos que para cada x [a, b] y cada natural n con n m existe n ]0, 1[ tal que n 1 1 F(x) = f x + F x+ n n n y, por tanto, la funcin F(x + 1 ) F(x) n
1 n
= f x+
n n
f [a,b+ 1 ]
m
es integrable en [a, b]. En consecuencia el teorema de la convergencia dominada nos asegura que Z b Z b 1 F(x) dx = f (x) dx. lm n F x+ n a a Ahora bien
Z b
n F x+
a
1 F(x) dx = n
Z b+ 1 n
a+ 1 n
Z b
n
a
1 F x+ n =n
Z b
Z b
dx n
a
F(x) dx = n
Z a+ 1 n
a
F(x) dx n
a
F(x) dx =
Z b+ 1 n
b
F(x) dx n
F(x) dx F(b) F(a),
donde se ha usado la invarianza por traslaciones de la medida de Lebesgue y la Proposicin 3.1.3 aplicada a la funcin continua F. As hemos probado que
Z b
[a, b] ], [
a
f (x) dx = F(b) F(a).
98 3.1.6 Proposicin (Regla de Barrow).
i. Sea f :], [ R una funcin localmente acotada e integrable que admite primitiva F en ], [. Entonces existen lm F(x) y lm F(x), ambos son nitos
x x
y adems
f (x)dx = lm F(x) lm F(x).

x x
ii. Sea f :], [ [0, +[ una funcin localmente acotada que admite primitiva F en ], [. Entonces f es medible y
Z
f (x)dx = lm F(x) lm F(x),

x x
donde los lmites pueden ser . En consecuencia f es integrable si, y slo si, el segundo miembro de la igualdad anterior es real, o equivalentemente lm F(x), lm F(x) R.
x x
Demostracin. i. Para probar que existe lm F(x) R, consideremos un punto c ], [

x
y una sucesin (bn ) de nmeros reales del intervalo [c, [ tal que lm bn = . Se tiene claramente que lm f [c,bn ] = f [c,[ , y tambin que | f [c,bn ] | | f | n N. Como | f | es integrable el teorema de la convergencia dominada 2.3.6 nos asegura que
Z bn Z
lm
c
f (x) dx =
c
f (x) dx.
Por otra parte, el lema anterior nos garantiza que

Z bn
c
f (x) dx = F(bn ) F(c)
y, por tanto, (F(bn )) es convergente (en R) y

Z
c
f (x) dx = lm F(bn ) F(c).
Dada la arbitrariedad de (bn ), se verica que

x
lm F(x) = lm F(bn ).
Hemos probado que
f (x) dx = lm F(x) F(c).

c x
3.1 Integrales simples Anlogamente se prueba que

Z c
99
f (x) dx = F(c) lm F(x).

x
Finalmente la Proposicin 3.1.2 nos permite concluir que

Z
f (x) dx = lm F(x) lm F(x).

x x
ii. En este apartado, como F (x) = f (x) 0, x ], [, la funcin F es creciente y en consecuencia est asegurada la existencia de los lmites de F en y (pudiendo ser ). El lema anterior nos garantiza que f es localmente integrable (luego medible) y que
Z b
a
[a, b] ], [
f (x) dx = F(b) F(a).
Sean (an ) y (bn ) dos sucesiones en ], [ tales que lm an = y lm bn = . Entonces lm f [an ,bn ] = f . El Teorema de la convergencia montona para funciones medibles positivas 2.3.3 nos asegura que
Z Z bn
f (x) dx = lm
an
f (x) dx = lm F(bn ) F(an =
= lm F(bn ) lm F(an ) = lm F(x) lm F(x).

x x
Obsrvese nalmente que al ser F creciente, se tiene lmx F(x) < + y tiene sentido la expresin lm F(x) lm F(x) [0, +].
x x
Es claro adems que f es integrable si, y slo si, la expresin anterior es nita.
Observacin 3.1.7. i. Es importante tener presente que una funcin f :], [ R que admita una primitiva F en ], [ y tal que existen lm F(x) R, lm F(x) R puede no ser
x x
integrable. ii. Los dos apartados de la regla de Barrow siguen siendo vlidos sin exigir la acotacin local de la funcin (en ii hay que exigir en tal caso la medibilidad). Esta generalizacin se probar en el captulo dedicado al Teorema fundamental del clculo.
100
La regla de Barrow nos permite estudiar la integrabilidad y calcular la integral en el caso de que dispongamos de una primitiva de la funcin problema. Es conveniente en consecuencia reconocer aquellas funciones cuya primitiva se puede obtener de manera inmediata. Estas son las que tradicionalmente se conocen como integrales inmediatas. En el Apndice 3.3.1 de esta seccin incluimos algunas tablas donde recopilamos la ms bsicas de estas integrales inmediatas. Ahora la regla de Barrow nos permite discutir la integrabilidad y calcular la integral en su caso de las funciones potenciales. Ejemplo 3.1.8. Para cada R sea f : R+ R la funcin denida por f (x) = x , Entonces se verica: i. f no es integrable en ]0, +[ para ningn valor de R. ii. Si R+ , entonces f es integrable en ]0, [ si y slo si, > 1, siendo
Z
0
x R+ .
x dx =
+1 +1
y, en particular,
Z 1 dx
0
= 2. x
iii. Si R+ , entonces f es integrable en ], +[ si, y slo si, < 1, y en tal caso Z + +1 x dx = +1 y en particular Z + dx = 1. x2 1 iv. Si 0 < < < +, entonces f es integrable en ], [ para cualquier valor de R, siendo +1 +1 Z si = 1 +1 . x dx = log si = 1 En efecto, f es una funcin medible y positiva que, para cualquier real , admite primitiva en R+ dada por x+1 si = 1 +1 F(x) = . log(x) si = 1
3.1 Integrales simples Puesto que

x0
101
lm F(x) =
0 + 0
si si si si
+1 0 . +1 > 0 +1 0 +1 < 0
y
x+
lm F(x) =
el enunciado se sigue aplicando el apartado ii de la proposicin anterior.
3.1.3.
Cambio de variable
Los resultados de este apartado son la particularizacin para integrales simples de los correspondientes para integrales mltiples (Teoremas 3.2.11 y 3.2.12). 3.1.9 Teorema (Cambio de variable para funciones medibles positivas). Sean I y J intervalos abiertos de R, un difeomorsmo de clase C1 de I sobre J y f : J [0, +[ una funcin medible. Entonces
Z Z
f (x) dx =
J I
f ((t))| (t)| dt.
3.1.10 Teorema (Cambio de variable). Sean I y J intervalos abiertos de R, un difeomorsmo de clase C1 de I sobre J y f : J R una funcin medible. Entonces f es integrable en J si, y slo si, ( f )| | es integrable en I cuyo caso
Z Z
f (x) dx =
J I
f ((t))| (t)| dt.
Observacin 3.1.11. i. En la prctica, dada una funcin f :], [ R medible queremos saber, utilizando un adecuado cambio de variable, si es integrable, y en tal caso calcular su integral. Es importante tener en cuenta que una funcin derivable : I R es un difeomorsmo si, y slo si, (t) = 0, t I.
En cuyo caso es bien conocido (Teorema del valor medio) que es estrictamente montona y ocurre una de las posibilidades siguientes: 1) (t) > 0, t I o 2) (t) < 0, t I.
102
La integral de Lebesgue en RN En el caso 1) se tiene que | | = y que I =]1 (+), 1 ()[, mientras que en el caso 2) se tiene que | | = y que I =]1 (), 1 (+)[, donde como es habitual 1 (+) =
x, x>
lm
1 (x) y 1 () =
lm
x, x<
1 (x).
En consecuencia, se tiene que f es integrable en ], [ si, y slo si, ( f ) es integrable en I, en cuyo caso obtenemos la siguiente frmula del cambio de variable: Z Z
1 ()
f (x) dx =
1 (+)
f ((t)) (t) dt.
ii. A partir del Teorema fundamental del clculo se prueban versiones ms generales del teorema del cambio de variable donde no se exige que sea de clase C1 . Concretamente: Sean I y J intervalos abiertos de R y una funcin derivable de I sobre J tal que (t) = 0, t I. Entonces se verican las siguientes armaciones: i. Si f : J [0, +[ es una funcin medible, entonces
Z Z
f (x) dx =
J I
f ((t)) | (t)| dt.
ii. Si f : J R es una funcin medible, entonces f es integrable en J si, y slo si, ( f ) (t) es integrable en I, en cuyo caso
Z Z
f (x) dx =
J I
f ((t)) | (t)| dt.
Recordamos en la tabla del Apndice 3.3.2 algunos de los cambios de variable ms habituales.
3.1.4.
Integracin por partes
El ltimo mtodo de clculo de integrales es la frmula de integracin por partes. 3.1.12 Proposicin (Frmula de integracin por partes). Sean u, v :], [ R funciones derivables tales que u v y uv son localmente acotadas e integrables. Entonces existen lm u(x)v(x) y lm u(x)v(x) y se verica
x x
u(t)v (t) dt = lm u(x)v(x) lm u(x)v(x)

x x
u (t)v(t) dt.
103
Demostracin. uv es una primitiva de la funcin u v + uv que es integrable y en consecuencia el resultado se deduce directamente de la regla de Barrow. Observacin 3.1.13. i. Hay que observar que la utilidad de la anterior frmula depende de la habilidad que se tenga para expresar el integrando en la forma adecuada. En el Apndice 3.3.3 recordamos algunos de los procedimientos habituales. ii. La frmula de integracin por partes es vlida tambin sin exigir la hiptesis de acotacin local, ya que la regla de Barrow no la requiere.
3.1.5.
Criterios de comparacin
En el estudio de la integrabilidad de una funcin localmente integrable f : I R denida en un intervalo I de R es decisivo el comportamiento de la funcin en los extremos del intervalo. Puesto que sabemos que para cada c I: f es integrable en I si, y slo si, f es integrable en I] , c] y en I [c, +[; podemos centrar nuestro estudio en intervalos semiabiertos y, por una simple cuestin de simetra, nos bastar con enunciar los resultados para intervalos de la forma: [, [ con < < +. Es importante destacar que la idea que subyace en lo que sigue es la siguiente propiedad elemental: Si f : I R es una funcin localmente integrable para la que existe una funcin g : I R integrable tal que | f | g, entonces f es integrable. El primer resultado muestra que si < + y la funcin es acotada en las cercanas de , entonces f es integrable. 3.1.14 Proposicin. Sean < < < + y f : [, [ R una funcin localmente integrable. Supongamos que existen c [, [ y M > 0 tales que | f | M, x [c, [
(lo cual ocurre en particular si f tiene lmite nito en ). Entonces f es integrable. Demostracin. Como f es integrable en [, c] por hiptesis y es tambin integrable en [c, [ por ser acotada, concluimos que f es integrable.
104 Ejemplo 3.1.15.
i. La funcin de f :]0, 1[ R denida por f (x) = sen( 1 ) es localmente integrable x (por ser continua) y al ser acotada (pese a que no tiene lmite en 0), es integrable. ii. La condicin no es necesaria. La funcin de ]0, 1[ en R denida por x est acotada y, sin embargo, es integrable, es ms sabemos incluso que 2.
1 , no x R 1 dx = 0 x
3.1.16 Proposicin (Criterio de comparacin). Sean < < + y f , g : [, [ R funciones localmente integrables con g(x) = 0, x [, [. Supongamos que f (x) = L. x g(x) lm Entonces i. Si L R \ {0}, f es integrable si, y slo si, g es integrable. ii. Si L = 0 y g es integrable, entonces f es integrable. iii. Si L = y f es integrable, entonces g es integrable. Demostracin. i) Existe c ], [ tal que |L| f (x) < < 2|L|, 2 g(x) y, en consecuencia, |L| |g(x)| < | f (x)| < 2|L| |g(x)|, 2 x [c, [ x [c, [
de donde se deduce que f es integrable en [c, [ si, y slo si, g es integrable en [c, [. Como f y g son integrables en [, c], de lo anterior deducimos i). ii) Existe c ], [ tal que f (x) < 1, g(x) y en consecuencia | f (x)| < |g(x)|, x [c, [ de donde, supuesto g integrable, deducimos que f es integrable en [c, [. Como f es integrable en [, c] de lo anterior concluimos que f es integrable en [, [. x [c, [
3.1 Integrales simples f (x) > 1, x [c, [ y en consecuencia g(x)
105
iii) Existe c ], [ tal que
| f (x)| > |g(x)|, x [c, [ de donde, supuesto f integrable, deducimos que g es integrable en [c, [. Como g es integrable en [, c] de lo anterior concluimos que g es integrable en [, [. Observacin 3.1.17. Supongamos que < + y que f :], [ R es una funcin localmente integrable. Para estudiar la integrabilidad de f deberemos estudiar su comportamiento en los extremos del intervalo y . Siempre que el extremo sea innito el extremo ser problemtico y se proceder a comparar con conveniente funcin con el n de aplicar la proposicin 3.1.16. Cuando el extremo estudiado sea nito nos podemos encontrar con dos situaciones distintas: la funcin est acotada en las cercanas del extremo, lo cual ocurre siempre que la funcin tenga lmite nito en tal extremo, en cuyo caso aplicamos la proposicin 3.1.14; la funcin no est acotada en las cercanas del extremo, lo cual ocurre siempre que tenga lmite innito en tal extremo, y en este caso procedemos a comparar con conveniente funcin con objeto de aplicar la proposicin 3.1.16. Hay que advertir en este punto que el problema radica en la habilidad para encontrar la funcin apropiada con la que comparar nuestra funcin original en el punto en cuestin. La eleccin de esta funcin test debe de tener en cuenta los siguientes detalles: La funcin test ha de ser sucientemente parecida a la funcin original al tender al extremo considerado. En la prctica solemos encontrarnos con funciones que son producto de varias y slo en uno de los factores reside la clave de la integrabilidad de la funcin siendo el resto irrelevante para el problema. Este hecho se materializa eligiendo precisamente este factor como funcin test. Cmo elegir el factor adecuado? Es cuestin de averiguar cual es el factor que predomina sobre el resto y tal informacin suele ser proporcionada por la escala de innitos. La funcin test ha de ser sucientemente simple como para que poder estudiar su integrabilidad mediante la regla de Barrow, cambio de variable o integracin por partes.
106 Ejemplo 3.1.18. i. La funcin f : R R denida por f (x) = ex ,

2
x R,
es localmente integrable por ser continua. Por simetra, nos podemos limitar a estudiar su integrabilidad en [0, +[. Y a su vez nos podemos limitar al intervalo [1, +[ donde se puede comparar con el ejemplo tipo x2 para concluir que f es integrable pues 2 x2 ex = x2 0 cuando x +. x2 e ii. Sean R y R+ . Consideramos la funcin f :]0, +[ R denida por f (x) = x ex x ]0, +[. El problema de la integrabilidad de esta funcin reside en los dos extremos del intervalo 0 y +. Como ya se ha advertido anteriormente + es siempre un punto problemtico. En + el factor que predomina es obviamente ex . La funcin x ex es trivialmente integrable en ]0, +[ pues disponemos de una primitiva x 1 ex que tiene lmite nito en ambos extremos y, de hecho, R + x e dx = 1 . Podemos aventurar entonces que la f va a ser integrable 0 en la parte que involucra +, esto es en cualquier intervalo [, +[ con > 0. La constatacin de este hecho exige sin embargo un poco de esfuerx ex zo adicional. Obsrvese que lm es + en el caso de que > 0, x+ ex y en esta situacin la integrabilidad de la funcin x ex no nos proporciona la integrabilidad de la funcin f . Este tipo de inconvenientes se suelen solventar aumentando sensiblemente la funcin test para conseguir que el lmite correspondiente sea nito y sin que este aumento merme la integrabilidad de la funcin test. En nuestro caso concreto tomaremos como funcin test (en +) la funcin x ex con < cualquiera. Con esta eleccin la funcin test sigue siendo integrable y ahora x ex x lm = lm ()x = 0 x+ e x+ ex pues > 0.
107
Pasamos ahora a estudiar el comportamiento de f en 0. Merece la pena detenerse un momento para vericar si en 0 hay efectivamente problema. Como lm x ex = + siempre que < 0 el punto 0 ha de considerarse como problemtico (aunque slo en el caso de que < 0). El factor ex tiene lmite 1 en 0. En consecuencia la clave se de la integrabilidad se encuentra en el otro factor x . En efecto x ex = lm ex = 1. x0 x0 x lm En consecuencia f es integrable en la parte que concierne al cero, esto es ]0, ] (para > 0 arbitrario), si, y slo si, lo es la funcin x x . Por otra parte esta ltima funcin la conocemos perfectamente. En la regin que nos ocupa es integrable si, y slo si, > 1. Por tanto f es integrable en ]0, ] si, y slo si, > 1. Unimos ahora la informacin obtenida para los dos extremos. En lo referente a + siempre tenemos integrabilidad y en lo que respecta al 0 hay integrabilidad si, y slo si, > 1. Podemos concluir que f es integrable en ]0, +[ si, y slo si, > 1.
x0
108
3.2.
3.2.1.
Integrales mltiples
Teoremas de Fubini y Tonelli
Para calcular integrales mltiples no se dispone de ningn procedimiento elemental comparable a la regla de Barrow, pero se dispone de un resultado fundamental que relaciona la integral en RN con integraciones sucesivas en espacios de menor dimensin, lo que en ltima instancia permite evaluar integrales mltiples realizando integraciones iteradas en cada una de las variables. Este resultado es el Teorema de Fubini. 3.2.1 Teorema (de Fubini). Sean p, q N y sea f : R p Rq R una funcin integrable. Entonces se verican las siguientes propiedades: i. Para casi todo y Rq , la funcin denida en R p por x f (x, y) es integrable en R p y la funcin denida casi por doquier en Rq por
Z
y es integrable en Rq .
Rp
f (x, y) dx
ii. Para casi todo x R p la funcin denida en Rq por y f (x, y) es integrable en Rq y la funcin denida casi por doquier en R p por
Z
x es integrable en R p . iii.
Z
R p Rq
Rq
(x, y) dy
Z Z
Rp Rq
f (x, y) d(x, y) = =
Rq Rp
f (x, y) dx dy f (x, y) dy dx.
Demostracin. Designemos por F el conjunto de todas las funciones f : R p+q R integrables que satisfacen las propiedades i, ii y iii antes enunciadas. La demostracin consiste en probar que F contiene todas las funciones integrables en R p Rq , lo que haremos en varias etapas. Puesto que los papeles de p y q son intercambiables, es suciente comprobar i y la primera igualdad de iii.
3.2 Integrales mltiples
109
a. F es un espacio vectorial. La demostracin es consecuencia inmediata de que la unin de dos conjuntos de medida cero es de medida cero y de las propiedades de la integral de Lebesgue. b. F es estable por paso al lmite de sucesiones montonas: si ( fn ) es una sucesin montona de funciones de F que converge puntualmente hacia una funcin integrable f , entonces f F . En efecto, podemos suponer que ( fn ) es creciente (en otro caso consideraramos la sucesin ( fn )). En primer lugar, como para todo (x, y) R p Rq se verica que fn (x, y) f (x, y), la monotona de la integral nos asegura que
Z
R p Rq
fn (x, y) d(x, y)
R p Rq
f (x, y) d(x, y),
n N
(3.1)
y se deduce del Teorema de la convergencia montona 2.3.1 (para funciones en R p+q ) que Z Z lm
R p Rq
fn (x, y) d(x, y) =
R p Rq
f (x, y) d(x, y).
(3.2)
Utilizando que la unin numerable de conjuntos de medida cero es de medida cero, se deduce la existencia de Z Rq de medida (q-dimensional) cero tal que para todo y Rq \ Z y para todo n N, la aplicacin x fn (x, y) es integrable en R p y la funcin denida casi por doquier en Rq por
Z
Fn (y) = es integrable en Rq , siendo adems

Z
Rq
Rp
fn (x, y) dx
Z
Rp
Fn (y) dy =
Rq
fn (x, y) dx dy =
R p Rq
fn (x, y) d(x, y).
La sucesin (Fn ) es claramente creciente (podemos denir Fn (y) = 0, y Z). La desigualdad (3.1) nos permite en consecuencia aplicar el teorema de la convergencia montona 2.3.1 (para funciones en Rq ) para deducir que para casi todo y Rq , la sucesin (Fn (y)) es convergente, luego acotada. Ahora, como para cada y Rq es lm fn (x, y) = f (x, y), de nuevo el teorema de la convergencia montona 2.3.1 (para funciones en R p ) nos asegura que para casi todo y Rq la funcin x f (x, y)
110 es integrable en R p y que lm Puesto que por hiptesis

Z
Rq
Z
Rp
fn (x, y) dx =
Rp
f (x, y) dx.
Z
Rq
fn (x, y) dx dy =
R p Rq
fn (x, y) d(x, y),
n N
(3.3)
de nuevo la desigualdad (3.1) nos permite aplicar el Teorema de la convergencia montona 2.3.1 (para funciones en Rq ) para armar que la funcin denida casi por doquier en Rq por Z y es integrable en Rq y adems
Z Z
Rp Rp
f (x, y) dx
Z Z
Rp
lm
Rq
fn (x, y) dx dy =
Rq
f (x, y) dx dy.
Por ltimo, teniendo ahora en cuenta (3.2) y (3.3), concluimos que

Z
R p Rq
Z
Rp
f (x, y) d(x, y) =
Rq
f (x, y) dx dy.
c. Si E R p+q R p Rq es medible con (E) < , entonces E F . La demostracin de este apartado la dividiremos en varios subapartados: c.1. Si I es un intervalo acotado de R p y J es un intervalo acotado de Rq , entonces IJ F . En efecto, IJ (x, y) = I (x)J (y), (x, y) R p Rq y, consecuentemente, jado y Rq la funcin denida en R p por x IJ (x, y) es la funcin I 0 que es integrable con integral
Z
Rp
si si
yJ yJ /
IJ (x, y) dx =
v(I) 0
si si
yJ yJ /
= v(I)J (y),
lo que prueba i. Probemos la primera igualdad de iii.

Z
R p Rq
IJ (x, y) d(x, y) = (I J) = v(I)v(J) =

Z
Rq
111
Z Z
Rp
v(I)J (y) dy =
Rq
IJ (x, y) dx dy.
c.2. Si G R p+q es un conjunto abierto con (G) < , entonces G F . Pongamos G = In para conveniente sucesin (In ) de intervalos acotados de n=1 p+q disjuntos dos a dos. Entonces R
G = Denamos fn =
n=1 n
In .
n N.
Ik ,
k=1
Por los apartados a y c.1, fn F n N. Por b, concluimos que G F . c.3. Si A R p+q es un conjunto G con (A) < , entonces A F . En efecto, sea (Gn ) una sucesin decreciente de conjuntos abiertos de R p+q tal que (Gn ) < , n N y A = Entonces (Gn )
\ n=1
Gn .
A y el apartado b nos permite asegurar que A F .
c.4. Si Z R p+q es un conjunto de medida cero, entonces Z F . En efecto, existe una sucesin (Gn ) de conjuntos abiertos de R p+q tal que Z Gn+1 Gn , n N y lm (Gn ) = 0. Sea A=
T
n=1 Gn .
Este conjunto satisface
Z A, (A) = 0 y A F (subapartado anterior). Se tiene, por tanto, que

Z Z Z
Rp
0 = (A) =
R p Rq
A (x, y) d(x, y) =
Rp
A (x, y) dx dy,
y en consecuencia, en virtud de la Proposicin 2.2.7 iv),

Z
Rp
A (x, y) dx = 0, (c.p.d. y Rq )
y, jado uno de estos y, tambin A (x, y) = 0, (c.p.d. x R p ). Al ser 0 Z (x, y) A (x, y),
112
concluimos que para casi todo y Rq , la aplicacin x Z (x, y) es cero c.p.d., y por lo tanto integrable. De nuevo la Proposicin 2.2.7 iv) nos asegura que para casi todo y Rq es Z
Rp
Z (x, y) dx = 0,
Z
y, por tanto, la aplicacin denida casi por doquier en Rq por y

Rp
Z (x, y) dx
es nula c.p.d. y por tanto, integrable. Hemos probado i) para Z . Otra vez la Proposicin 2.2.7 iv) nos dice que Z Z
Rq Rp
Z (x, y) dx dy = 0
Z
y como 0 = (Z) =
R p Rq
Z (x, y) d(x, y)
la primera igualdad de iii queda probada. Probemos ya el apartado c. Sea E R p+q un conjunto medible con medida nita. El Teorema 1.2.10 nos asegura la existencia de un conjunto G , A, y un conjunto de medida cero Z tales que / A = E Z y E Z = 0. Se tiene que E = A Z . Como (A) < , virtud de los apartados c.3, c.4 y a, concluimos que E F . d. Si f : R p+q R es una funcin integrable, entonces f F . En efecto, en virtud del apartado a, bastar probar que f + y f estn en F . Veamos que f + F (la comprobacin de que f F es idntica). El Teorema de aproximacin de Lebesgue 2.1.11 nos asegura que existe una sucesin creciente (sn ) de funciones simples positivas que converge a f + . Es claro que las funciones sn son integrables y, virtud de los apartados a y c, cada sn F . Por ltimo el apartado b nos permite concluir que f + F . Observacin 3.2.2. i. Las propiedades i y ii del teorema anterior se resumen diciendo que la funcin f tiene integrales iteradas y la propiedad iii garantiza que ambas son iguales e iguales a la integral de la funcin f . ii. Es importante recordar que el orden en el que se realicen las integraciones iteradas es irrelevante. En la prctica elegiremos el orden de integracin que nos resulte ms conveniente en cada problema.
113
3.2.3 Corolario. Sean p, q N y sea E R p+q un conjunto medible. Entonces se verican las siguientes propiedades: i. Para cada casi todo x R p , el conjunto E(x) := {y Rq : (x, y) E} es medible. ii. Para cada casi todo y Rq , el conjunto E(y) := {x R p : (x, y) E} es medible. Demostracin. Si (E) < , basta aplicar el Teorema de Fubini a E . En otro caso, la propiedad es cierta para cada conjunto En = E B (0, n), y basta pensar que E=
[ n=1
En .
Observacin 3.2.4 (Frmula del teorema de Fubini en conjuntos medibles). i. Si E R2 es un conjunto medible y f : E R es una funcin integrable, entonces
Z Z x=1 Z
f (x, y) d(x, y) =
E x=1 E(x) Z y=2 Z
f (x, y) dy dx f (x, y) dx dy,

y=2 E(y)
= siendo
1 = nf E1 , 1 = sup E1 , 2 = nf E2 , 2 = sup E2 donde E1 = 1 (E) y E2 = 2 (E) (1 , 2 son las proyecciones sobre los ejes coordenados) y para cada x ]1 , 1 [ (resp. y ]2 , 2 [) es E(x) = {y R : (x, y) E} (resp. E(y) = {x R : (x, y) E}). En particular, cuando E =], [], [, con < + y < +, entonces
Z Z x= Z y=
f (x, y) d(x, y) =
E x= y= Z y= Z x=
f (x, y) dy dx f (x, y) dx dy.

y= x=
114
ii. Sea E R3 un conjunto medible y sea f : E R una funcin integrable. La integral de la funcin f se puede calcular mediante una integracin simple y una integracin doble:
Z Z z=3 Z
f (x, y, z) d(x, y, z) =
E z=3 E(z) Z y=2 Z
f (x, y, z) d(x, y) dz f (x, y, z) d(x, z) dy

y=2 E(y) Z x=1 Z
= =
x=1 E(x)
f (x, y, z) d(y, z) dx,
siendo i = nf Ei , i = sup Ei , (i = 1, 2, 3), donde Ei = i (E), y para x ]1 , 1 [, y ]2 , 2 [ y z ]3 , 3 [ es E(x) = {(y, z) R2 : (x, y, z) E}, E(y) = {(x, z) R2 : (x, y, z) E}, E(z) = {(x, y) R2 : (x, y, z) E}. Cada una de las integrales dobles que aparecen anteriormente se pueden expresar (si as se quiere) como dos integrales simples mediante el procedimiento establecido en el apartado anterior. En consecuencia nuestra integral triple se puede realizar mediante tres integraciones simples (Cuntas posibilidades hay?). Demostracin. Teniendo en cuenta el Teorema de Fubini y el hecho de que E (x, y) = ]1 ,1 [ (x)E(x) (y), ct x R, y R se tiene que:
Z Z Z Z
f (x, y) d(x, y) =
E
R2
f (x, y)E (x, y) d(x, y) =

R R
f (x, y)E (x, y) dy dx =
Z
R
Z
R
Z
R
f (x, y)]1 ,1 [ (x)E(x) (y) dy dx =

Z
]1 ,1 [
f (x, y) E(x) (y) dy ]1 ,1 [ (x) dx = f (x, y) dy dx.
Z 1 Z
f (x, y) dy dx =
E(x) 1 E(x)
Finalmente, un intercambio de papeles, da la otra igualdad.
Ejemplo 3.2.5.
3.2 Integrales mltiples i. rea del crculo. Sea E = {(x, y) R2 : x2 + y2 r2 } (r > 0). Se tiene
Z Z x=r Z y=r2 x2
y= r2 x2
115
Z x=r
(E) =
E
d(x, y) =
x=r
dy dx =
x=r
2 r2 x2 dx
= =
Z t= 2 Z t= 2
t= 2
2
2
r2 r2 sin2 (t)r cos(t) dt

2
t= 2
2r cos (t) dt =
Z t= 2
t= 2
r2 (1 + cos(2t)) dt
= r
1 t + sin(2t) 2
t= 2 t= 2
= r2 .
ii. Volumen de la esfera. Sea E = {(x, y, z) R3 : x2 + y2 + z2 r2 } (r > 0).

Z Z z=r Z
(E) =
E
d(x, y, z) =
z=r E(z) Z z=r Z
d(x, y) dz d(x, y) dz
=
z=r Z z=r
{(x,y)R2 : x2 +y2 r2 z2 }
=
Z z=r
z=r
{(x, y) R2 : x2 + y2 r2 z2 } dz
z=r 2 2 2
z3 = (r z ) dz = r z 3 z=r
4 = r3 . 3 z=r
Observacin 3.2.6. i. El teorema de Fubini garantiza que si una funcin f es integrable entonces todas sus integrales iteradas existen y coinciden. En consecuencia si alguna de las integrales iteradas no existe o aun existiendo no son todas iguales, entonces podemos concluir que la funcin no es integrable. Puesto que no se trata de un mtodo muy econmico no debe ser usado sistemticamente para estudiar la no integrabilidad de una funcin. Es conveniente saber tambin que la existencia e igualdad de todas las integrales iteradas de la funcin no garantiza en absoluto la integrabilidad de sta. A continuacin damos un ejemplo de este hecho. ii. El teorema de Tonelli, que veremos posteriormente, nos muestra la manera de vericar si una funcin es o no integrable mediante integraciones iteradas.
Ejemplo 3.2.7.
116 i. La funcin f :]0, 1[]0, 1[ R denida por f (x, y) =
x2 y2 , (x2 + y2 )2
admite las dos integrales iteradas pero no son iguales y en consecuencia f no es integrable. En efecto, como x x x2 + y2 x2 y2 = 2 (x + y2 )2
se tiene, utilizando la regla de Barrow que

Z y=1 Z x=1
y=0 x=0
x x=1 f (x, y) dx dy = dy x2 + y2 x=0 y=0 Z y=1 1 dy = arctan y = 2 y=0 1 + y
Z y=1
y=1 y=0
. 4
Anlogamente se prueba que

Z x=1 Z y=1
x=0 y=0
f (x, y) dy dx = . 4
ii. La funcin f : R R R denida por f (x, y) = xy , (x2 + y2 )2
admite las dos integrales iteradas y son iguales, pero, sin embargo, no es integrable. En efecto
Z y=+ Z x=+
y= x=
f (x, y) dx dy =
Z y=+ Z x=0 Z x=+
f (x, y) dx +
y= x= x=0
f (x, y) dx dy =
Z y=+ Z x=+
( f (x, y) + f (x, y)) dx dy =

y= x=0
Z y=+
0 dy = 0,
y=
donde se ha utilizado que f (x, y) = f (x, y), (x, y) R. Anlogamente se prueba que
Z x=+ Z y=+
x= y=
f (x, y) dy dx = 0.
117
Veamos que no es integrable. Si fuese f integrable tambin lo sera | f | con lo que, en virtud del Teorema de Fubini, se tendra que
Z Z y=+ Z x=+
y= x= R2
| f (x, y)| d(x, y) =

Z x=+ Z x=+
| f (x, y)| dy dx, |x| |y| (x2 + y2 )2
pero
| f (x, y)| dx =
Z x=+
x= x=
dx = = 1 , |y|
|y|
x=0
1 2x dx = |y| 2 2 + y2 )2 (x x + y2
x=+ x=0
y, en consecuencia,
Z y=+ Z x=+
| f (x, y)| dx dy = +.
y= x=
Obsrvese que se ha usado el hecho de que la existencia de las integrales iteradas de | f | es una condicin necesaria para la integrabilidad de f . El siguiente teorema arma que dicha condicin es tambin suciente para que una funcin medible sea integrable. 3.2.8 Teorema (de Tonelli). Sean p, q N y sea f : R p Rq R una funcin medible. Supongamos que alguna de las siguientes integrales iteradas:
Z Z Z Z
Rp Rq
| f (x, y)| dy dx,
Rq
Rp
| f (x, y)| dx dy
es nita. Entonces f es integrable. Demostracin. Para cada n N, la funcin fn : R p+q R denida por fn (x, y) = mn{| f (x, y)|, n} si 0 si x x
2+ 2 2+ 2
y y
2 2 2 2
< n2 n2
es integrable (puesto que est dominada por n en el conjunto {(x, y) R p Rq : x 2 + 2 y 2 < n2 } que es de medida nita por ser acotado). El Teorema de Fubini nos dice 2 ahora que
Z Z Z Z Z
R p Rq
fn (x, y) d(x, y) =
Rq
Rp
fn (x, y) dx dy =
Rp
Rq
fn (x, y) dy dx.
y, como fn | f |, las integrales iteradas de fn estn mayoradas por una cualquiera de las integrales iteradas de | f | y obtenemos as, en virtud de la hiptesis hecha, que la sucesin Z
R p Rq
fn (x, y) d(x, y)
est mayorada. Puesto que la sucesin ( fn ) es creciente y adems la sucesin ( fn ) converge puntualmente a | f |, el Corolario 2.3.2 nos asegura que la funcin | f | es integrable.
118
Combinando los teoremas de Fubini y Tonelli obtenemos el siguiente resultado. 3.2.9 Corolario. Sean p, q N y sea f : R p Rq R una funcin medible. Entonces f es integrable si, y slo si, alguna de las siguientes integrales iteradas:
Z
Rp
Z
Rq
Z
Rp
| f (x, y)| dy dx,
Rq
| f (x, y)| dx dy
es nita. En tal caso las dos son nitas y coinciden. Adems

Z
R p Rq
Z
Rq
Z
Rp
f (x, y) d(x, y) =
Rp
f (x, y) dy dx =
Rq
f (x, y) dx dy.
A continuacin haciendo uso del corolario anterior daremos una muy importante interpretacin de la integral de una funcin en trminos de la medida de Lebesgue. 3.2.10 Corolario. Sea f : RN [0, +[ una funcin medible. Entonces f es integrable si, y slo si, el conjunto Pf = {(x, y) RN+1 : 0 < y < f (x)} tiene medida nita, en cuyo caso
Z
RN
f (x) dx = Pf .
Demostracin. Observemos en primer lugar que el conjunto Pf es medible. En efecto, no es difcil comprobar que la funcin : RN+1 R denida por (x, y) = f (x) y es medible y por otra parte Pf = (x, y) RN+1 : 0 < (x, y) RN R+ . Como la funcin Pf : RN+1 [0, +[ es medible podemos aplicar el corolario anterior para deducir que Pf es integrable (es decir Pf < +) si, y slo si, la integral iterada Z Z
RN
Pf (x, y) dy dx
R
es nita. Puesto que Pf (x, y) = A (x)]0, f (x)[ (y) donde A = x RN : f (x) > 0 ,
3.2 Integrales mltiples se tiene para cada x RN que

Z y=+
y=
119
Z y=+
Pf (x, y) dy =
y=
A (x)]0, f (x)[ (y) dy ]0, f (x)[ (y) dy dy = A (x) f (x).
Z y=+
= A (x) = A (x)
y= Z y= f (x) y=0
Concluimos en consecuencia que la nitud de la integral iterada de Pf antes considerada equivale a la integrabilidad de f y que en tal caso se tiene:
Z Z
Pf =
RN+1
Pf (x, y) d(x, y) =
RN
f (x) dx.
3.2.2.
Teorema del cambio de variable
3.2.11 Teorema (del cambio de variable para funciones medibles positivas). Sean y G subconjuntos abiertos de RN , un difeomorsmo de clase C1 de sobre G y f : G [0, +[ una funcin medible. Entonces
Z Z
f (x) dx =
(E) E
f ((t)) | det J (t) | dt
para todo subconjunto medible E . Demostracin. A lo largo de la siguiente demostracin notaremos por en RN denida por x = m x{|x1 |, . . . , |xN |} a para todo x RN . Para a RN y r > 0 denimos B (a, r) = {x RN : x a < r}. Si T : RN RN es una aplicacin lineal notaremos T = m x{ T (x) a

la norma
: x
= 1}.
La proposicin 1.2.14 nos asegura que y 1 aplican conjuntos medibles en conjuntos medibles, esto es, E es medible (E) es medible.
120
Observemos ahora que la integral del segundo miembro de la frmula del enunciado tiene sentido por ser ( f )| det J | medible positiva. En efecto, | det J | es medible por ser continua. Veamos que f es medible. Si U es un abierto de [0, +[, entonces ( f )1 (U) = 1 f 1 (U) que es medible por el comentario anterior. Si la igualdad es cierta, en particular lo ser para f = 1, es decir
Z Z
dx =
(E) E
| det J (t)| dt
para todo conjunto medible E , equivalentemente

Z
((E)) =
E
| det J (t)| dt
para todo conjunto medible E . Probaremos la anterior igualdad en dos etapas: a. Demostramos en primer lugar que para cada a y cada > 1 existe > 0 tal que B (a, ) y
1
Z
E
| det J (t)| dt ((E))
| det J (t)| dt
para todo conjunto E B (a, ) medible. En efecto, si notamos T = D(a), obsrvese que existe ]0, 1[ tal que
1
1 T 1 1+
1 + T 1 < 1
Fijemos un tal y denotemos := 1 T 1 y := 1 + T 1 . As la anterior cadena de desigualdades puede escribirse: 1 N N < . 1+ 1
Ahora, tomemos > 0 tal que B (a, ) y xa < D(x) T < (1) . det J (x) 1 < det J (a) < 1 + (2)
Del teorema del valor medio y de (1) se deduce que x, y B (a, ) (x) (y) T (x) T (y) T (x) T (y) (x) (y)

3.2 Integrales mltiples En efecto, si x = y no hay nada que probar. En otro caso (x) (y)
121
(x) (y) T (x y) + T (x y) = ((x) T (x)) ((y) T (y)) + T (x y) x y sup{ D(z) T : z ]x, y[} + T (x y) x y + T (x y) = T 1 (T (x y)) T T (x y) = T (x) T (y) ,
1
+ T (x y) T (x y)
y as mismo T (x) T (y)
(x) (y) T (x y) + (x) (y) = ((x) T (x)) ((y) T (y)) + (x) (y) x y sup{ D(z) T : z ]x, y[} + (x) (y) x y + (x) (y) = T 1 (T (x y)) T
1 + +
(x) (y) (x) (y)
T (x y)
luego T (x) T (y)
(x) (y)
Las desigualdades anteriores se escriben tambin T 1 (T (x)) T 1 (T (y)) T 1 ((x)) T 1 ((y))
T (x) T (y) 1 (x) (y)
para cualesquiera x, y B (a, ). Equivalentemente u, v T (B (a, )) u, v (B (a, )) T 1 (u) T 1 (v) T 1 (u) T 1 (v)
uv 1 uv
Al vericar T 1 y T 1 las desigualdades anteriores en los abiertos T (B (a, )) y (B (a, )) respectivamente, el Lema 1.2.13 y el Teorema 1.2.12 nos aseguran ahora que si E B (a, ) es medible, entonces ((E)) = y | det J (a) | (E) = (T (E)) = T 1 ((E)) N ((E)). T 1 (T (E)) N (T (E)) = N | det J (a)|(E)
122
Hemos probado que si E B (a, ) es medible, entonces se tiene N | det J (a) | (E) ((E)) N | det J (a) | (E). Por otra parte (2) se escribe tambin (1 ) | det J (a) |<| det J (t) |< (1 + ) | det J (a) |, t B (a, ) y en consecuencia si E B (a, ) es medible, entonces se tiene
Z
E
(3.4)
(1 ) | det J (a) | dt
| det J (t) | dt
(1 + ) | det J (a) | dt,
o equivalentemente
Z
(1 ) | det J (a) | (E)
| det J (t) | dt (1 + ) | det J (a) | (E)
(3.5)
La conjuncin de (3.4) y (3.5) prueba el apartado a). b. Demostraremos ahora que para todo conjunto medible E se verica:
Z
((E)) =
E
| det J (t) | dt.
Fijemos > 1. Usando un argumento similar al utilizado en la Proposicin 1.2.14 para expresar un abierto como una unin numerable de bolas abiertas, comprobemos que se puede expresar como unin numerable de bolas abiertas, en cada una de las cuales se cumplen las desigualdades del apartado a). En efecto, para cada x existe (x) > 0 tal que se cumplen las condiciones del apartado a). Entonces =
[
x
B (x, (x)).
Para cada x sean bx QN y rx Q+ tales que x B (bx , rx ) B (x, (x)). Es claro que = Pongamos
S
x B (bx , rx )
y que la familia {B (bx , rx ) : x } es numerable.
{B (bx , rx ) : x } = {B (bn , rn ) : n N}. Sea E medible. Es inmediato que E se puede expresar como una unin numerable de conjuntos medibles disjuntos entre s E=
[ n=1
En con En B (bn , rn ), n N.
3.2 Integrales mltiples El apartado a) nos garantiza que para cada natural n se tiene 1
Z
En
123
| det J (t) | dt ((En ))

Z
En
| det J (t) | dt.
Como la aplicacin E
| det J (t) | dt
es una medida sobre la -lgebra M (Corolario 2.3.4), la suma de las anteriores desigualdades proporciona la siguiente:
1
Z
E
| det J (t) | dt ((E))
| det J (t) | dt.
Por ltimo de la arbitrariedad de se deduce el apartado b). c. Probaremos ahora que para toda funcin simple positiva s denida en G se verica que Z Z s(x) dx =
(E) E
s((t)) | det J (t) | dt, E medible.
Para probar c) basta probar que si E es medible, entonces

Z Z
A (x)dx =
(E)
A ((t)) | det J (t) | dt, A G medible,
o lo que es lo mismo
Z Z
dx =
(E)A
E1 (A)
| det J (t) | dt, A G medible
es decir ((E) A) =
Z
E1 (A)
| det J (t) | dt, A G medible
lo que se deduce fcilmente de b) por ser biyectiva. d. Finalmente veremos que para toda funcin medible positiva f denida en G se verica Z Z f (x) dx = f ((t)) | det J (t) | dt, E medible.
(E) E
El teorema de aproximacin de Lebesgue 2.1.11 nos asegura que existe una sucesin creciente (sn ) de funciones simples positivas que converge a f y basta aplicar c) y el Teorema de convergencia creciente para funciones medibles positivas 2.3.3.
124
3.2.12 Teorema (del cambio de variable). Sean y G subconjuntos abiertos de RN , un difeomorsmo de clase C1 de sobre G, E medible y f : (E) R una funcin medible. Entonces f es integrable en (E) si, y slo si, ( f )| det J | es integrable en E, en cuyo caso se verica
Z Z
f (x) dx =
(E) E
f ((t))| det J (t)| dt.

R
(E)
Demostracin. Por denicin, f es integrable en (E) si equivale, en virtud del teorema anterior, a que
Z
E
| f (x) | dx < , lo cual
| f | ((t)) | det J (t) | dt =
| ( f ((t)) | | det J (t)| dt < ,
es decir ( f ) | det J | es integrable en E. En el caso de que f sea integrable en (E) aplicamos nuevamente el teorema anterior para obtener Z Z Z f (x) dx =
Z Z
E E (E) (E)
f + (x) dx
Z Z
E (E)
f (x) dx =
f + ((t)) | det J (t) | dt f ((t)) | det J (t) |

Z
E +
f ((t)) | det J (t) | dt = f ((t)) | det J (t) |
dt
E
dt =
f ((t)) | det J (t) | dt.
Observacin 3.2.13. a) Para reconocer que es un difeomorsmo de clase C1 de sobre () es usual utilizar el teorema global de la funcin inversa. En la prctica el conjunto de integracin (E) es conocido y el problema radica en encontrar un cambio de variable adecuado y en conocer E, esto es, el conjunto de RN que se aplica mediante el difeomorsmo en el conjunto de partida. Es usual tambin, una vez efectuado el cambio de variable, utilizar el teorema de Fubini para calcular la integral. b) En las condiciones del Teorema del cambio de variable, obsrvese que si adems (Gc ) = 0, entonces para cualquier conjunto medible E RN una funcin medible f : E R es integrable si, y slo si, ( f )| det J | es integrable en 1 (E), en cuyo caso se tiene la siguiente frmula del cambio de variable
Z Z
f (x) dx =
E
1 (E)
f ((t))| det J (t)| dt.
125
En efecto, como (E \ G) = 0, es claro que f es integrable en E si, y slo si, es integrable en E G, en cuyo caso
Z Z
f (x) dx =
E EG
f (x) dx.
El teorema del cambio de variable nos asegura ahora que f es integrable en E G si, y slo si, ( f )| det J | es integrable en 1 (E G), en cuyo caso
Z Z
f (x) dx =
EG
1 (EG)
f ((t)) | det J (t) | dt.
Puesto que 1 (E G) = 1 (E) se sigue de ambos resultados que f es integrable en E si, y slo si, ( f )| det J | es integrable en 1 (E), en cuyo caso
Z Z
f (x) dx =
E
1 (E)
f ((t)) | det J (t) | dt,
lo que prueba la frmula del cambio de variable de uso habitual en el clculo de integrales. Ejemplo 3.2.14. i. Coordenadas polares. Las coordenadas polares en el plano estn dadas por el difeomorsmo de clase C , del abierto = R+ ] , [ sobre el abierto G = R2 \ {(x, 0) : x 0}, denido por (, ) = ( cos , sin ). Es inmediato comprobar que det J (, ) = > 0 para todo (, ) . En resumen x = cos(), y = sin(), d(x, y) = d(, ), y una funcin medible f : E R en cualquier conjunto medible E R2 es integrable si, y slo si la funcin f ( cos(), sin()) es integrable en 1 (E), en cuyo caso
Z Z
f (x, y) d(x, y) =
E
1 (E)
f ( cos(), sin()) d(, ).
126
La integral de Lebesgue en RN Ejemplo: rea del crculo. Sea E = {(x, y) R2 : x2 + y2 r2 } con r > 0. Se trata de calcular (E). Se tiene
Z Z Z r Z
(E) =
E
d(x, y) =
]0,r[],[
d(, ) =
0
d d = r2 ,
donde se han utilizado los teoremas de Fubini, del cambio de variable y la regla de Barrow. ii. Coordenadas cilndricas. Las coordenadas cilndricas en el espacio estn dadas por el difeomorsmo de clase C , del abierto = R+ ] , [R sobre el abierto G = R3 \ {(x, 0, z) : x 0, z R}, denido por (, , z) = ( cos(), sin(), z). Se tiene que det J (, , z) = > 0 para todo (, , z) . Esto es
x y z d(x, y, z)
= = = =
cos(), sin(), z, d(, , z),
y una funcin medible f : E R en cualquier conjunto medible E R3 es integrable si, y slo si, la funcin f ( cos , sin , z) es integrable en 1 (E), en cuyo caso
Z Z
f (x, y, z) d(x, y, z) =
E
1 (E)
f ( cos , sin , z) d(, , z).
Ejemplo: volumen del cilindro. Sea E = {(x, y, z) R3 : x2 + y2 r2 , 0 z h} con r, h > 0. Se trata de calcular (E). Se tiene
Z Z
(E) =
E
d(x, y, z) =
]0,r[],[]0,h[
d(, , z) =
Z r Z Z h
0 0
dz d d = r2 h.
127
iii. Coordenadas esfricas (geogrcas). Las coordenadas esfricas en el espacio vienen dadas por el difeomorsmo de clase C , del abierto = R+ ] , [ sobre el abierto G = R3 \ {(x, 0, z) : x 0, z R}, denido por (, , ) = ( cos() cos(), sin() cos(), sin()). Se tiene entonces que det J (, , ) = 2 cos() > 0 para todo (, , ) . En este caso x = y = z = d(x, y, z) = , 2 2
cos() cos(), sin() cos(), sin(), 2 cos()d(, , )
y una funcin medible f : E R en un conjunto medible cualquiera E R3 es integrable si, y slo si, la funcin 2 cos f ( cos() cos(), sin() cos(), sin()) es integrable en 1 (E), en cuyo caso
Z
f (x, y, z)d(x, y, z) =
Z
1 (E) E
f ( cos() cos(), sin() cos(), sin())2 cos()d(, , ).
Ejemplo: volumen de la esfera. Sea E = {(x, y, z) R3 : x2 + y2 + z2 r2 } con r > 0. Se trata de calcular (E). Se tiene
Z Z
(E) =
E
d(x, y, z) =
Z r Z Z
2 2
]0,r[],[] , [ 2 2 2
2 cos d(, , )
Z r Z
0
=
Z r
0
cos d d d =
22 d d
=
0
4 42 d = r3 . 3
128
3.3.
3.3.1.
Apndices
Integrales inmediatas
Funcin x , = 1 Primitiva
1 +1 +1 x
Funcin f (x) f (x)
Primitiva
1 +1
f (x))
+1
1 x
ln |x|
f (x) f (x)
ln | f (x)|
ax , (a > 0)
1 x a ln a
f (x)a f (x)
1 f (x) a ln a
ex
1 x e
f (x)e f (x)
e f (x)
3.3 Apndices Funcin sen(x) Primitiva

1 cos(x)
129 Funcin f (x) sin( f (x)) Primitiva cos( f (x))
cos(x)
1 sin(x)
f (x) cos( f (x))
sin( f (x))
tan(x)
1 ln | cos(x)|
f (x) tan( f (x))
ln | cos( f (x))|
cot(x)
1 ln | sin(x)|
f (x) cot( f (x))
ln | sin( f (x))|
1 cos2 (x) 1 sin (x)

2
1 tan(x)
f (x) cos2 ( f (x)) f (x) sin ( f (x))

2
tan( f (x))
1 cot(x)
cot( f (x))
1 1 x2 1 1 + x2
arcsin(x)
f (x) 1 f (x)2 f (x) 1 + f (x)2
arcsin( f (x))
arctan(x)
arctan( f (x))
130 Funcin sinh(x) Primitiva

1 cosh(x)
La integral de Lebesgue en RN Funcin f (x) sinh( f (x)) Primitiva cosh( f (x))
cosh(x)
1 sinh(x)
f (x) cosh( f (x))
sinh( f (x))
tanh(x)
1 ln(cosh(x))
f (x) tanh( f (x))
ln(cosh( f (x)))
coth(x)
1 ln(| sinh(x)|
f (x) coth( f (x))
ln(| sinh( f (x))|
1 cosh2 (x) 1 sinh (x)

2
1 tanh(x)
f (x) cosh2 ( f (x)) f (x) sinh2 ( f (x)) f (x) f (x)2 + 1 f (x) f (x)2 1
tanh( f (x))
1 coth(x)
coth( f (x))
1 x2 + 1 1 x2 1
arcsinh(x)
arcsinh( f (x))
arccosh(x)
arccosh( f (x))
sinh x =
ex ex 2 ex + ex 2
arcsinhx = ln x + x2 + 1
cosh x =
arccosh(x) = cosh|R+
(x) = ln x + x2 1
3.3 Apndices
131
3.3.2.
Cambios de variable habituales

Integrando R(cos x, sin x) Cambio t x = tan 2 Nuevo integrando 1 t 2 2t R , 1 + t2 1 + t2 R(t) t 2 1 + t2 Nuevos lmites
Z 2 arctan()
2 arctan(+)
R(ex )
Z exp()
exp(+)
x = lnt
R(x, 1 x2 )
Z arcsin()
x = sint
R(sint, cost) cost

arcsin(+)
R(x, x2 1)
Z arccosh()
x = cosht
R(cosht, sinht) sinht
arccosh(+)
Z arcsinh()
R(x, x2 + 1)
x = sinht
R(sinht, cosht) cosht
arcsinh(+)
132
3.3.3.
Integrales por partes habituales
Funcin P(x)ex
Partes u(x) = P(x), v (x) = ex
P(x) ln(x)
u(x) = ln(x), v (x) = P(x)
P(x) sin(x)
u(x) = P(x), v (x) = sin(x)
P(x) cos(x)
u(x) = P(x), v (x) = cos(x)
P(x) arcsin(x)
u(x) = arcsin(x), v (x) = P(x)
P(x) arc cos(x)
u(x) = arc cos(x), v (x) = P(x)
P(x) arctan(x)
u(x) = arctan(x), v (x) = P(x)
sin(x) cos(x) sin(x) cos(x)
ex
u(x) =
sin(x) , v (x) = ex cos(x) sin(x) cos(x)
sin(x) cos(x)
u(x) =
sin(x) , v (x) = cos(x)
3.4 Ejercicios
133
3.4.
Ejercicios
1. Probar que existen las siguientes integrales y que tienen le valor que se indica en cada caso: i.
Z 1
0
dx 2 = 1 + ln . x 1+e 1+e
ii.
Z
0
1 2
2 dx 7 = arcsen arcsen . 3 12 20 + 8x x2
Z 3
iii.
= . 9 x2 2
dx
iv.
Z 1
0
x2 dx = . 6 1 x6
v.
Z +
1
x1 3 + ln 2 dx = . x3 3x2 + x + 5 10
Z +
0
vi.
3 x . dx = 4 3+x 12 dx ex + ex
Z
vii.
Z +
= . 2
viii.
cos x dx = ix.
Z +
0
sen2 x dx = .
ex cos(x) dx =
. 2 + 2 ( > 0, R).
x.
Z +
0
ex sen(x) dx =
2 + 2
Z
xi.
Z 1
1 x2 dx =
1
, 2
(1 + cos x)2 dx = 3.
134 xii.
Z
4 |senx|3 dx = . 3 2 . 16 8 . 35 .
xiii.
Z
0
sen2 cos2 d =
3 2
xiv.
Z 1
1
0
2 3
d =
xv.
Z +
0
dx = 1 + x2 + y2 2 dy 1 + y2
1 + y2
xvi.
Z 1
0
= ln(1 + 2).
xvii.
Z +
0
dx = (y > 0). 2) (1 + y)(1 + yx 2(1 + y) y dy =, (1 + y) y

Z 1
xviii.
Z +
0
ln x dx = 1.
0
xiv.
Z +
0
dy = (1 + y)(1 + yx2 )
Z +
0
1 1 x2
x2 1 1 + y 1 + yx2
dy =
2 ln x (x = 1). x2 1
2. Estudiar la integrabilidad de las siguientes funciones: i. x ex 1 x ]0, +[.
ii. x ln x x ]0, +[ ( R). 1 1 iii. sen x x x ]0, 1[.
iv. x (1 x) x ]0, 1[ (, R). v. ln(x) ln(1 x) x ]0, 1[.
3.4 Ejercicios vi. x sen(x) x ]1, +[ ( R). 3. Estudiar la integrabilidad de las siguientes funciones: i. f (x, y) = exy 2e2xy en ]0, 1[]1, +[. ii. f (x, y) = (x y)e(xy) en ]0, +[]0, +[. iii. f (x, y) = iv. f (x, y) = sin v. f (x, y) = e(x+y) en {(x, y) R2 : 0 < x, 0 < y < x}. vi. 1 f (x, y) = exy en {(x, y) R2 : 0 < x, 0 < y < }. x f (x, y) = e|xy| en ] 1, 1[R. viii. f (x, y) = ix. f (x, y) = x. f (x, y, z) = xi. x en {(x, y) R2 : 0 < x, 0 < y < x}. 1 xy en {(x, y) R2 : x2 + y2 1}. 1 (xy)2 (2 + (xy)2 )
2
2
135
en ]0, 1[]0, +[.
vii.
(x2 + y2 )
1x
cos(xy) en ]3, 1[R+ . (1 + y2 ) sin(x) 1 en R3 \ {0} ( R).
(x2 + y2 + z2 )
xy
(x2 + y2 )
en {(x, y) R2 : x2 + y2 > 1} ( R).
xii.
xy
(x2 + y2 )
en {(x, y) R2 : 0 < x2 + y2 < 1} ( R).
136 xiii.
sin(x) sin(y) en R2 . (x2 + y2 )
4. Demostrar la integrabilidad y calcular la correspondiente integral de las siguientes funciones: i. x 1 + x2 + y2 ii. xy en iii. 2x + y (x, y) R : 0 y, 4
2
en {(x, y) R2 : y2 2x, 0 x 2}.
x 6
2xy(2 3x) 1 en {(x, y) R2 : 0 < x, 0 < y, y2 x}. 2 + 2y2 x 2 x + y en {(x, y) R2 : y2 x + 2, x2 y + 2}.
iv.
v. y2 en {(x, y) R2 : x2 + y2 R2 }. vi. x2 + y2 1 + x2 + y2 vii.
en
(x, y) R2 : x2 + y2 < 1, 0 < y .
x2 y2 + en a2 b2 1 (1 + x2 + y2 )
5 2
(x, y) R2 :
x2 y2 + <1 . a2 b2
viii. en 1 (x, y) R2 : 0 < x < 1, 0 < y < . 3
ix. 1 (1 + x + y + z)3 x. x2 +y2 +z2 en (x, y, z) R3 : 0 x, 0 y, 0 z, x y x + + 1 (a, b, c > 0). a b c en (x, y, z) R3 : 0 x, 0 y, 0 z, x + y + z 1 .
3.4 Ejercicios xi. e(x en R2 . {(x, y) R2 : x2 + y2 > 1}. {(x, y) R2 : x2 + y2 < 1}. {(x, y) R2 : 0 < x, 0 < y}. {(x, y) R2 : x2 + y2 > 1, |x| < y}. xii. 1 en ]0, +[]0, 1[. 1 + x2 + y2 xye(x xiv.
2 +y2 )
137
2 +y2 )
xiii.
en R2 .
1 en ]0, +[]0, +[. (1 + y)(1 + yx2 ) exy en ]0, +[]0, +[.
xv.
xvi. ex sin(xy) en ]0, +[]0, 1[. xvii. ex+2y en {(x, y) R2 : 0 < x < y < 1}. xviii. x + y en ]0, 1[]0, 1[. x y en {(x, y) R2 : x2 + y2 < 1}. xx. exy en {(x, y) R2 : 0 < y < x}. xxi. 1 exy en {(x, y) R2 : 1 < x, 0 < y < }. x e|xy| en ] 1, 1[R2 .
xix.
xxii.
138 xxiii.
(x2 + y2 ) xxiv.
en {(x, y) R2 : 0 < x < 1, 0 < y < x}. 1x
sin(x2 + y2 ) en {(x, y) R2 : x2 + y2 1}. xxv. 1 x2 + y2 + z2 xxvi. ln(x2 + y2 ) en {(x, y) R2 : 0 < x, y, a2 < x2 + y2 < b2 }. xxvii. ze(x xxviii. z x2 + y2 en {(x, y, z) R3 : 1 x2 + y2 2, 1 z < 2}. xxix. ze 2 (x xxx.
1 2 +y2 +z2 ) 2 +y2 )
en {(x, y, z) R3 : 0 < x2 + y2 + z2 < 1}.
en {(x, y, z) R3 : x2 + y2 1, 0 < z < 1}.
en {(x, y, z) R3 : x2 + y2 + z2 < 1}.
ex+y en {(x, y) R2 : 0 < y < x, 0 < x < 1}. xy z en {(x, y, z) R3 : 0 < x, y, z, x2 y2 z2 + + < 1}. a2 b2 c2
xxxi.
xxxii. x2 sin(xy) en [0, ] [0, 1]. xxxiii. 1 en [0, 2] [0, 1] [1, 4]. x+y+z+2 2 x 3y2 en {(x, y) R2 : 0 x 1, x2 y 4 x}. 1
3 (1 + x2 + y2 ) 2
xxxiv.
xxxv.
en {(x, y) R2 : 0 < x < 1, 0 < y < x}.
xxxvi.
yz en {(x, y, z) R3 : 0 < y, z, x2 + y2 < x, x2 + y2 + z2 < 1}. x
3.4 Ejercicios xxxvii.
139
(x + y)2 en [0, 2] [0, 1]. (x + 2y + 1)(y + 1) e y+x en {(x, y) R2 : 0 < x, y, x + y < 1}.
yx
xxxviii.
xxxix. xyz en {(x, y, z) R3 : x2 + y2 + z2 < 1}. xl. z en {(x, y, z) R3 : x2 + y2 + z2 < 1, x2 + y2 z2 < 0, 0 < z}. xli. 1 en {(x, y, z) R3 : x2 + y2 + z2 < 1}. x2 + y2 + (z 3)2 x y en {(x, y) R2 : 0 < x, y, x2 + y2 < 1}. xliii. (x2 + y2 )z en {(x, y, z) R3 : 0 < x2 + y2 < 1, 0 < y, 0 < z < 1}. xliv. x2 + y2 + z2 en {(x, y, z) R3 : x2 + y2 + z2 < 1}. xlv. 1 x2 + y2 + z2 xlvi. z x2 + y2 xlvii. (x2 + y2 )z2 en {(x, y, z) R3 : x2 + y2 < 1, 1 < z < 1}. xlviii. x2 y2 en {(x, y) R2 : 0 < x < y2 , 0 < y < 2 + x, x < 1}. xlix. y en {(x, y) R2 : 0 < x < 1, 0 < y < 1}. x xz3 en {(x, y, z) R3 : 0 < x, y, z, x2 + y2 + z2 < 1}. y2 1 en {(x, y, z) R3 : 0 < x, y, z, x2 + y2 + z2 < 1}.
xlii.
en {(x, y, z) R3 : 1 < x2 + y2 < 2, 1 < z < 2}.
l.
140 li.
xe y en {(x, y) R2 : 0 < x, 1 < y < 2, x2 < y}. lii. 1 en {(x, y, z) R3 : 0 < x, y, z, x + y + z < 1}. (1 + x + y + z)3 3x2 2y2
3
x2
liii.
(x2 + y2 )5 1
en {(x, y) R2 : 0 < x2 + y2 < 1}. y 2

2
liv.
4
(4x2 + y2 )3
en {(x, y) R2 : 0 < x2 +
< 1}.
lv.
1 en ]0, +[]0, 1[]0, 1[. x+y+z
lvi. yz en {(x, y, z) R3 : 0 < x, y, z, y < x, x2 + y2 < z, x2 + y2 + z2 < 2}. x lvii. x en {(x, y) R2 : 1 < x2 + y2 < 2, x2 < y}. lviii. z en {(x, y, z) R3 : 1 < x2 + y2 + z2 < 2, 0 < z < x2 + y2 }. 5. Calcular la medida de los siguientes conjuntos: i. z {(x, y, z) R3 : x2 + y2 (1 z)2 , x2 + y2 }. 2 {(x, y, z) R3 : x2 + y2 + z2 3, x2 + y2 z2 1, 0 z}. iii.
N N
ii.
{x R : x = a + tk ek , 0 tk 1, k = 1, . . . , N},
k=1
donde a, e1 , . . . , eN iv.
RN .
N N
{x RN : x = a + tk ek , 0 tk ,
k=1
tk 1, k = 1, . . . , N},
k=1
donde a, e1 , . . . , eN
RN .
3.4 Ejercicios v. Bveda de Viviani: (x, y, z) R : vi.

3
141
1 x 2
1 + y2 , x2 + y2 + z2 1, 0 z . 4
{(x, y, z) R3 : 0 < x, y, z, x 3 + y 3 + z 3 < 1}. vii. Slidos de revolucin. Sea E ]0, +[R un conjunto medible. Consideremos el conjunto S = (x, y, z)R3 : x2 + y2 , z E (slido de revolucin obtenido al girar el conjunto E contenido en el plano XZ en torno al eje OZ). Probar que S es medible y que
Z
(S) = 2
E
x d(x, z).
Aplicacin: probar que El volumen del toro engendrado por la rotacin en torno al eje OZ del 2 1 crculo (x 1)3 + (z 1)2 (salvavidas) es . 4 2 El conjunto 1 E = (x, z) R2 : 1 < x, 0 < z < 2 x tiene rea uno y que el slido engendrado al rotar dicho conjunto en torno al eje OZ tiene volumen innito.
ndice alfabtico
-lgebra de Borel, 9 -lgebra de Lebesgue, 10 -lgebra generada por una familia, 9 -lgebra inducida, 10 -aditividad, 6 -subaditividad, 7 -lgebra, 6 rea del circulo, 115, 126 acotacin local, 94 aditividad, 7 boreliano, 9 c.p.d., 8 cambio de variable, 101, 119, 124 cambios de variable habituales, 131 casi por doquier, 8 conjunto medible, 6 continuidad absoluta, 74 coordenada esfricas (geogrcas), 127 coordenadas cilndricas, 126 coordenadas polares, 125 crecimiento continuo, 7 criterio de comparacin, 103 criterio de comparacin por lmites, 104 decrecimiento continuo, 7 espacio de medida, 6 espacio de medida inducido, 10 espacio medible, 6
frmula de integracin por partes, 102 funcin de densidad, 75 funcin de distribucin, 30 funcin de distribucin asociada a una medida de Borel-Stieltjes, 29 funcin de distribucin asociada a una probabilidad, 30 funcin de distribucin en RN , 36 funcin integrable, 57 funcin medible, 47 funcin medible, estabilidad algebraica, 51 funcin medible, series, 53 funcin medible, sucesiones, 52 funcin simple, 51 funcin simple, estabilidad algebraica, 51 integrabilidad local, 94 integral de funciones medibles positivas, propiedades, 61 integral de funciones simples positivas, propiedades, 58 integral de una funcin denida c.p.d., 66 integral de una funcin integrable, 57 integral de una funcin medible positiva, 56 integral de una funcin simple positiva, 56 integral en un conjunto medible, 66 integral indenida, 96 integral inmediata, 128, 129 integral mltiple, 94 integral simple, 94
NDICE ALFABTICO integral, aditividad respecto del conjunto de integracin, 66 integral, aditividad respecto del intervalo, 95 integral, propiedades, 63 integrales por partes habituales, 132 intervalo, 12 lema de Fatou, 77
143 medida exterior de Lebesgue, 10, 12 medida exterior de Lebesgue-Stieltjes asociada a una funcin de distribucin, 30 medida exterior de Lebesgue-Stieltjes en RN , 37 medida imagen, 48 medida inducida, 10 monotona, 7
medible, aplicacin, 47 primitiva, 96 medible, conjunto, 6 probabilidad, 6 medible, espacio, 6 medible, funcin , 47 regla de Barrow, 98 medida, 6 regularidad de la medida exterior, 14 medida contadora, 10 regularidad exterior, 21 medida de Borel, 9 regularidad interior, 21 medida de Borel-Stieltjes, 29 medida de Borel-Stieltjes en RN , 36 simple, funcin, 51 medida de Dirac, 10 subaditividad, 7 medida de Lebesgue, 10, 13 subaditividad del volumen, 41 medida de Lebesgue, existencia, 16 suceso, 6 medida de Lebesgue, regularidad exterior, teorema de aproximacin de Lebesgue, 54 21 medida de Lebesgue, regularidad interior, teorema de existencia y unicidad de la medida de Lebesgue, 16 21 teorema de existencia y unicidad de la memedida de Lebesgue, transformaciones diferdida de Lebesgue-Stieltjes en R, enciables, 27 31 medida de Lebesgue, transformaciones linteorema de existencia y unicidad de la meeales, 25 dida de Lebesgue-Stieltjes en RN , medida de Lebesgue, traslaciones, 23 38 medida de Lebesgue, unicidad, 16 teorema de Fubini, 108 medida de Lebesgue-Stieltjes, 29, 30 medida de Lebesgue-Stieltjes en R, exis- teorema de invarianza de la medida de Lebesgue por traslaciones, 23 tencia, 31 teorema de la convergencia absoluta, 77 medida de Lebesgue-Stieltjes en R, uniciteorema de la convergencia dominada, 76 dad, 31 N , 36, teorema de la convergencia montona, 69 medida de Lebesgue-Stieltjes en R 38 teorema de Tonelli, 117 medida de Lebesgue-Stieltjes, existencia, teorema del cambio de variable para fun38 ciones en R, 101 medida de Lebesgue-Stieltjes, unicidad, 38 teorema del cambio de variable para funmedida exterior, 14 ciones en RN , 124
144 teorema del cambio de variable para funciones medible positivas en RN , 119 teorema del cambio de variable para funciones medibles positivas en R, 101 volumen, 12 volumen de la esfera, 115, 127 volumen del cilindro, 126
NDICE ALFABTICO

Analisis Mat III Dip Est

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Analisis Mat III Dip Est

Încărcat de

Drepturi de autor:

Formate disponibile

Anlisis Matemtico 3

Armando R. Villena Muoz

= lm (An ) (crecimiento con

lm (A1 \An ) = lm ((A1 ) (An )) = (A1 ) lm (An )

1.1 Espacios de Medida

1.1 Espacios de Medida

1.2 Medida de Lebesgue en RN

M = {B Z : B B , Z RN con (Z) = 0}.

In , In intervalo abierto y acotado de RN

y por tanto (A) (A).

y la arbitrariedad de demuestra la -subaditividad.

1.2 Medida de Lebesgue en RN

16 y por tanto (Cn+1 ) = (An+1 ).

Por ltimo, utilizando el crecimiento continuo de la medida de Borel-Lebesgue, concluimos

Existencia y unicidad de la medida de Lebesgue

1.2 Medida de Lebesgue en RN

= (A E) + (A \ E) (A), lo que demuestra que E C y que: (A) =

para todo subconjunto A de RN . Tomando A = E en (1.3) obtenemos la -aditividad de , es decir / En C , n N, Ei E j = 0(i = j)

b) Supongamos que S es un semiespacio de RN del tipo: {(x1 , . . . , xN ) RN : xi < } (resp. , >, ),

1.2 Medida de Lebesgue en RN

v(In S) + v(In \ S) = (v(In S) + v(In \ S)) = v(In).

v(K) v(I1 ) + . . . + v(Im )

v(In) < (E) + .

v(In) < (E) + .

(Gn \ En) <

1.2 Medida de Lebesgue en RN

26 Es inmediato comprobar que

(D([0, 1]N )) = ([0, 1 ] . . . [0, N ]) = j = det D,

1.2 Medida de Lebesgue en RN

Por ltimo de la arbitrariedad de se deduce que

< n}. Es claro que

y del lema anterior se deduce que ( f (Z Gn ))

= f (Kn ) f (E\ Kn ) , n=1 n=1

1.3 Medidas de Lebesgue-Stieltjes en RN

lm F (x) = F (a) para todo a R.

F (a) = (]0, a]) =

Anlogamente se vericara la propiedad ii para a 0.

lm F(x) = F(a) para todo a R.

MF = {B Z : B B , Z RN con (Z) = 0}. F

1.3 Medidas de Lebesgue-Stieltjes en RN

F(bn) F(an) (E) + . F

[F(bn) F(an)] (E) + . F

Finalmente haciendo 0 obtenemos la desigualdad deseada (E) (F(E)). F

1.3 Medidas de Lebesgue-Stieltjes en RN Observacin 1.3.11.

= lm F (]xn , a]) = lm [F(a) F(xn )] =

F(a) lm F(xn ) = F(a) lm F(x).

i. Consideremos la funcin de Heaviside F : R R, que est denida por F(x) =

F (E]k, k + 1[) = k E, = card(E Z). kE

iii. Consideremos F : R R, denida por 0 si x si F(x) = 1 si Discontinuidades: ninguna.

+ F (E]1, +[) = F (E]0, 1[) =

1dx = (E]0, 1[).

+ F (E]1, +[) = F (E]0, 1[) = v. Consideremos F : R R, denida por 0 si 2x si F(x) = 5 si

2dx = 2(E]0, 1[).

vi. Consideremos F : R R, denida por E(x) si 2 x si F(x) = si x x + 2 si

x < 0, 0 x < 1, 1 x < 2, 2 x.

F (E {k}) + F (E]0, 1[)+

F (E {1}) + F (E]1, 2[) + F (E {2}) + F (E]2, +[) =

1.3 Medidas de Lebesgue-Stieltjes en RN ii.

MF = {B Z : B B , Z RN con (Z) = 0}. F

Como consecuencia se tiene, por ejemplo, que

40 En efecto. Veamos, por ejemplo, la igualdad

Claramente para N N jo, se tiene

am,n = am,n a(k),

Recprocamente, para K N jo, existen M, N N tales que