Anali-IV - Joaquin Ortega

Analisis IV
Joaqun M. Ortega Aramburu

Septiembre de 1999
Actualizado en Julio de 2001

Indice
General
1
Integral de Riemann
1.1 Integracion de Riemann . . . . . . . . . . . . . . . . . .
1.2 Contenido de Jordan . . . . . . . . . . . . . . . . . . .
1.3 Insuficiencias de la integral de Riemann . . . . . . . . .
1.4 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . .
1.5 Apendice. Criterio de Lebesgue de integracion Riemann.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
5
10
12
13
15
Medida de Lebesgue en Rn
2.1 -algebras y medidas . . . . . . . . . . . . . . . .
2.2 La medida de Lebesgue . . . . . . . . . . . . . . .
2.2.1 Medida de abiertos acotados . . . . . . . .
2.2.2 Medida de compactos . . . . . . . . . . .
2.2.3 Conjuntos medibles acotados . . . . . . . .
2.2.4 Conjuntos medibles . . . . . . . . . . . . .
2.2.5 Conjuntos de medida cero . . . . . . . . .
2.2.6 Conjuntos medibles y medida de Lebesgue
2.3 Ejercicios . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
17
17
18
18
20
21
26
28
29
29
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Integral de Lebesgue
3.1 Funciones medibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Integracion de funciones simples medibles no negativas . . . . . . . . . . . . . .
3.3 Integrales de funciones medibles no negativas . . . . . . . . . . . . . . . . . . .
3.4 Funciones integrables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.5 Relacion entre la integral de Riemann y la integral de Lebesgue . . . . . . . . . .
3.5.1 Integral de Riemann propia e integral de Lebesgue . . . . . . . . . . . .
3.5.2 Relaciones de la integracion de Lebesgue con la integracion impropia de
Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.6 Continuidad de una funcion definida por una integral dependiente de un parametro.
3.7 Derivacion bajo el signo integral . . . . . . . . . . . . . . . . . . . . . . . . . .
3.8 Integracion en un espacio producto . . . . . . . . . . . . . . . . . . . . . . . . .
3.9 Cambio de variable en la integracion . . . . . . . . . . . . . . . . . . . . . . . .
3.10 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.11 Nota historica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3
31
31
34
35
38
41
41
42
43
43
44
48
55
57
4
4
INDICE GENERAL
Calculo vectorial
4.1 Longitud de un arco de curva. El parametro arco. . . . . . . . . . . . . . . . . .
4.2 Integracion sobre arcos de curva . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.1 Integracion sobre un arco de curva . . . . . . . . . . . . . . . . . . . . .
4.2.2 La integral de un campo a lo largo de una curva y el lenguaje de formas .
4.3 Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3.1 Teorema de Green para dominios elementales . . . . . . . . . . . . . . .
4.3.2 Teorema de Green para dominios regulares . . . . . . . . . . . . . . . .
4.3.3 El teorema Green en el lenguaje de formas. . . . . . . . . . . . . . . . .
4.3.4 El teorema de la divergencia y formulas de Green . . . . . . . . . . . . .
4.4 Superficies e integrales de superficie . . . . . . . . . . . . . . . . . . . . . . . .
4.4.1 Superficies elementales . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4.2 Area
de una superficie . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4.3 Integral de un campo escalar sobre una superficie y flujo de un campo
vectorial. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5 El lenguaje de las formas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5.1 Campos de formas en Rn . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5.2 Identificacion de campos escalares y vectoriales con formas en R2 y en R3
4.5.3 La diferencial exterior . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5.4 Los teoremas de Green, Stokes y de la divergencia en el lenguaje de formas
4.6 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
61
61
63
63
65
66
66
68
70
70
71
71
72
73
78
78
83
84
85
88
Captulo 1
Integral de Riemann
Se trata de dar una introduccion a la integral de Riemann de funciones de varias variables. Veremos tambien una primera nocion de medida de conjuntos, el llamado contenido de Jordan,
que coincide con la integral de Riemann de la funcion caracterstica del conjunto. Se haran notar
algunas de las insuficiencias que presentan estas nociones de medida y de integral, lo que lleva a
introducir la integracion de Lebesgue.
Supondremos un conocimiento previo de las nociones basicas de la integral de Riemann para
funciones de una variable.
1.1
Integracion de Riemann
Consideraremos funciones de varias variables a valores reales y acotadas. Para simplificar las
notaciones supondremos que el numero de variables es dos, aunque esto no es esencial en la
teora. Supondremos que las funciones estan definidas en un intervalo cerrado I = [a, b] [c, d].
Analogamente a como se hace para estudiar la teora de la integracion de Riemann para
funciones de una variable, consideraremos particiones del intervalo I en subintervalos. Estos
seran de la forma Iij = [xi1 , xi ] [yj1, yj ], i = 1, ...n, j = 1, ..., m donde xi , yi son puntos
que cumplen a = x0 < x1 < < xn1 < xn = b, c = y0 < y1 < < ym1 < ym = d.
Definiremos la medida de estos intervalos mediante el producto de las longitudes de sus lados, es
decir, (xi xi1 )(yj yj1 ) y la denotaremos por m(Iij ). El supremo y el nfimo de los valores
de la funcion sobre estos intervalos se denotaran respectivamente Mij = sup(x,y)Iij f (x, y) y
mij = inf (x,y)Iij f (x, y).
Definicion 1.1. Se llama suma superior de la funcion f asociada a la particion y la denoP
taremos por S(f, ) a Mij m(Iij ) donde la suma esta extendida a todos los intervalos de la
particion. Analogamente, la suma inferior de f asociada a la misma particion es s(f, ) =
P
mij m(Iij ).
Observese que si f es positiva, S(f, ) es una aproximacion por exceso del volumen del
conjunto
n
o
(x, y, z) R3 ; o z f (x, y), (x, y) I .
5
CAPITULO 1. INTEGRAL DE RIEMANN
La suma inferior s(f, ) sera una aproximacion por defecto del citado volumen.
Obviamente s(f, ) S(f, ). Mas generalmente, para diversas particiones, cualquier
suma inferior es menor o igual que cualquier suma superior. Para probarlo es comodo disponer
de la siguiente relacion en el conjunto de las particiones.
Definicion 1.2. Dadas dos particiones y 1 de I = [a, b] [c, d] se dice que 1 es mas fina
que si todos los puntos que definen e sta en [a, b] y en [c, d], pertenecen tambien a la que define
1 .
Dadas dos particiones 1 y 2 se denomina particion union a la particion generada por los
puntos que definen ambas particiones.
Lema 1.1. Sea una particion de I y sea 1 la particion que se obtiene a partir de anadiendo
fi del intervalo [a, b]. Entonces s(f, ) s(f, 1 ), S(f, 1 ) S(f, ). Un resultado
un punto x
analogo se obtiene si se anade un punto del intervalo [c, d].
fi < xi . Los intervalos Ilj , l 6= i , al pasar de la particion a la 1
Demostracion. Sea xi1 < x
fi ] [yj1 , yj ],
no varan, mientras que los intervalos Iij quedan sustituidos por dos, If
ij = [xi1 , x
f
fi , xi ] [yj1 , yj ] . Se cumple trivialmente que m(Iij ) = m(If
If
ij = [x
ij ) + m(Iij ) . Puesto que
f
inf
(x,y)Iij
f (x)
inf
f (x),
(x,y)If
ij
inf
(x,y)Iij
f (x)
f (x)
inf
(x,y)If
ij
se sigue que s(f, ) s(f, 1 ). Analogamente S(f, 1 ) S(f, ).

Si el punto que se anade es del intervalo [c, d] la prueba de las desigualdades es enteramente
analoga.
Teorema 1.2. Sean y 1 dos particiones del intervalo I. Se cumple
s(f, ) S(f, 1 ).
Demostracion. Consideremos la particion 1 . Reiterando el lema anterior tendremos
s(f, ) s(f, 1 ) S(f, 1 ) S(f, 1 ).
Vemos que el conjunto de las sumas inferiores esta acotado superiormente por cualquier
suma superior. Analogamente, el conjunto de las sumas superiores esta acotado inferiormente
por cualquier suma inferior. Esto lleva a las siguientes definiciones.
Definicion 1.3. Se llama integral inferior de f (resp integral superior) y se denota por
R
f) a
Z
f = sup s(f, )
f = inf S(f, ).
f (resp.
DE RIEMANN
1.1. INTEGRACION
Es inmediato comprobar que f
igualdad.
R
7
R
f . Es natural considerar el caso en que tengamos
Definicion 1.4. Diremos que una funcion f , definida

en
I, acotada, es integrable en el sentido
R
R
de Riemann (brevemente
integrable
Riemann)
si
f
=
f
. A este valor se
le denomina integral
R
R
de f y se denotara f . Si se quiere explicitar el intervalo I se escribira I f.
Veamos un criterio elemental de integracion Riemann.
Teorema 1.3. Sea f una funcion definida en un intervalo I, acotada. La funcion es integrable
en el sentido de Riemann si y solo si para cada > 0 existe una particion de I tal que
S(f, ) s(f, ) < .
Demostracion. Si f es integrable Riemann, para cada > 0 existen particiones 1 y 2 tales
que
Z
S(f, 1 ) f <
2
Z
f s(f, 2 ) <
2
R
ya que f es el nfimo de las sumas superiores y el supremo de las inferiores. De aqu se deduce
que
S(f, 1 ) s(f, 2 ) < .
Sea es una particion mas fina que 1 y 2 . Esto implica que
S(f, ) s(f, ) < S(f, 1 ) s(f, 2 ) <
como queramos probar.
Recprocamente, si se cumple esta condicion se tendra
Z
f S(f, ) s(f, ) < .

R
Puesto que esta desigualdad es valida para todo > 0 se sigue que f = f.
Como consecuencia de este criterio vamos a comprobar la integrabilidad de las funciones

continuas.
Teorema 1.4. Toda funcion continua en un intervalo I es integrable Riemann.
Demostracion. Veamos que se cumple el criterio anterior. Sea > 0. Sabemos que la funcion
por estar definida en un intervalo cerrado y ser continua sera uniformemente continua. Existira
1
> 0 tal que si |x1 x2 | < y |y1 y2 | < se cumplira |f (x1 , y1 ) f (x2 , y2 )| < (ba)(dc)
,
con 1 < .
Sea una particion tal que |xi xi1 | < , |yj yj1 | < para todo i y j . Se tendra
Mij mij
<
(b a)(d c)
(b a)(d c)
y por tanto S(f, ) s(f, ) < .

Ejemplo 1.1.
1. Consideremos la funcion definida en [0, 1] [0, 1] tal que vale 0 sobre los
puntos de coordenadas racionales y 1 sobre los otros puntos. Esta funcion no es integrable
en el sentido de Riemann ya que toda suma superior vale 1 y toda suma inferior vale 0.
2. La funcion definida en I = [1, 1] [1, 1] por (x) = 1 si kxk 1 y (x) = 0 si
kxk > 1 es integrable Riemann. Para cada particion de I llamemos 0 al subconjunto
de los elementos que tienen interseccion no nula con la frontera de {x R2 ; kxk 1} .
P
Es facil ver que para cada > 0 existe una particion tal que Ii 0 m (Ii ) < . Esto
nos da la integrabilidad de la funcion.
La nocion de integrabilidad Riemann, como en el caso de funciones de una variable, puede
darse en terminos de lmites de sumas de Riemann.
Definicion 1.5. Sea una particion del intervalo I. Consideremos un punto en cada uno de los
P
intervalos de la particion ij Iij . A la suma f (ij )m(Iij ) se le denomina suma de Riemann
asociada a la particion y a estos puntos. Se denota por R(ij , , f ).
Notese que s(f, )
f (ij )m(Iij ) S(f, ).
Teorema 1.5. Una funcion f definida en un intervalo I, acotada, es integrable Riemann si y

solamente si existe un numero L tal que para cada > 0 existe una particion 0 de I tal que si
es mas fina que 0 toda suma de Riemann correspondiente a cumple
|R(ij , , f ) L| < .
El numero L coincidira con la integral de f .
No daremos la demostracion ya que es analoga a la de la proposicion correspondiente para
funciones de una variable. Tambien, como en el caso de una variable, puede sustituirse la anterior
nocion de lmite por el lmite de sucesiones de sumas de Riemann asociadas a sucesiones de
particiones tales que max |xi xi1 | 0 y max |yj yj1 | 0.
De este teorema es facil deducir que si f y g son integrables Riemann y k R tambien son
integrables f + g y kf y se cumple
Z
(f + g) =
f+
g,
kf = k
f.
Tampoco daremos las demostraciones ya que son identicas a las correspondientes para funciones
de una variable.
Si f es integrable y toma sus valores en [K, K] y g es continua en este intervalo entonces la
composicion g f es integrable. Una vez mas nos remitiremos a la demostracion para funciones
DE RIEMANN
1.1. INTEGRACION
de una variable. En particular el cuadrado de una funcion integrable es integrable

y, en conse2
1
2
2
cuencia, el producto de dos funciones integrables f h = 2 (f + h) f h es integrable.
La misma proposicion puede servir para probar que si f es integrable, tambien lo es |f | . Por otra
parte
esR inmediato comprobar que si f1 , f2 son funcionesR integrables
tales que f1 f2 , se tiene
R
R
f1 f2 . En particular, si f es integrable, se cumple | f | |f | .
En la teora de la integracion es necesario disponer de teoremas que permitan pasar al lmite
bajo el signo integral. Un teorema natural en este contexto es el siguiente.
Teorema 1.6. Sea fn una sucesion de funciones integrables RiemannR en I que Rconvergen uniformemente hacia una funcion f . Entonces f es integrable Riemann y f = lim fn .
, para cada x I.
Demostracion. Sea > 0. Existira un n tal que |fn (x) f (x)| < 4m(I)
Puesto que fn es integrable existira una particion tal que S(fn , ) s(fn , ) < 2 . Tendremos
entonces
S(f, ) s(f, ) < S(f, ) S(fn , ) + s(fn , ) s(f, )
+S(fn , ) s(fn , ) <

m (I) +
m (I) + = .
4m (I)
4m (I)
2
Esto da la integrabilidad de f . Por otra parte, puesto que |fn f | < para n > n0 , para estos n
Z

Z

f fn =

R
Z

Z
Z

(f fn )
|f fn | = m(I).

Esto implica que f = lim fn .

Para integrales de funciones de varias variables una tecnica importante que permite reducir
su calculo al de integrales de funciones de una variable es la de las integrales iteradas. Veamos
un caso sencillo de la misma.
TeoremaR 1.7. Sea f una funcion definida
en un intervalo I = [a, b] [c, d], acotada. Si existe la
Rb
Rd
integral I f y la integral iterada a dx c f (x, y)dy, ambas coinciden.
Demostracion. Sea una particion de [a, b] [c, d]. Siguiendo las notaciones anteriores son
inmediatas las siguientes desigualdades
s(f, ) =
XX
i
XX
i
mij m(Iij ) =
xi
XZ
i,j
dx
xi1
yj
yj1
mij dy
dx
f (x, y)dy
Mij m(Iij ) = S(f, )
s(f, )
f S(f, )
Puesto que para cada > 0 existe una particion tal que S(f, ) s(f, ) < se tendra que
Z

Z b
Z d

f
dx
f
(x,
y)dy
<
I

a
c
10
y por tanto coinciden.
Corolario 1.8. Sea f una funcion continua en un intervalo [a, b] [c, d] . Se cumple
Z
f=
dx
f (x, y)dy.
Demostracion. Es suficienteR aplicar el teorema anterior teniendo en cuenta que toda funcion
continua es integrable y que cd f (x, y)dy es una funcion continua en x y por tanto integrable.
Ejemplo 1.2.
1.
R
[0,1][0,2]
x2 y =
R1
0
dx
R2
0
x2 ydy =
R1
0
x2 42 dx = 23 .
2. Ya vimos que si D es {x R2 ; kxk 1} la funcion caracterstica de este conjunto D , es

decir, la funcion que vale 1 en D y 0 en su complementario es integrable. Por otro lado las
integrales reiteradas existen
Z
dx
D dy =
dx
1x2
1x2
dy = .
Tendremos, en consecuencia que D = .
1.2
Contenido de Jordan
Se trata de dar una nocion de a rea de un conjunto de R2 o en general de volumen n-dimensional de un subconjunto de Rn . Consideraremos para simplificar las notaciones, como hicimos
en la seccion anterior dedicada a la integral de Riemann, que la dimension n es 2. Conocida la
medida de un intervalo como el producto de las longitudes de sus lados, es natural extender esta
nocion a las uniones finitas de intervalos F = ri=1 Ii con interiores disjuntos dos a dos en la
P
forma m(F ) = ri=1 m(Ii ). Esta definicion no depende de la particular descomposicion de F en
intervalos que se haya utilizado. A la coleccion de estos conjuntos F que, de hecho, son uniones
finitas de polgonos cerrados de lados paralelos a los ejes la denominaremos F. Es facil ver que
si F1 , F2 F y F1 F2 entonces m(F1 ) m(F2 ). Si se quiere dar una nocion de medida para
conjuntos mas generales, una forma natural de hacerlo es la de aproximarlos por estos conjuntos
de F. Esto lleva a la nocion de contenido interior y exterior.
Definicion 1.6. Sea E un conjunto acotado de R2 . Llamaremos contenido exterior de E (resp.
interior) y lo denotaremos por ce (E) (resp. ci (E)) a
ce (E) = inf EF, F F m(F )
resp. ci (E) = supF E,F F m(F )
Si ce (E) = ci (E) diremos que puede definirse el contenido de Jordan del conjunto E, o
simplemente, que tiene contenido y lo escribiremos c(E) = ce (E) = ci (E).
1.2. CONTENIDO DE JORDAN
11
Observese que en la definicion de contenido exterior podra tomarse el nfimo de m(F )

u nicamente para los elementos de F que en su interior contienen a E. Basta tener en cuenta
que para cada > 0 y cada intervalo cerrado J existe otro J1 que contiene en su interior a J y
tal que m(J1 ) < m(J) + .
Es inmediato comprobar que un conjunto E tiene contenido si y solo si para cada > 0
existen F1 , F2 F tales que F1 E F2 y m(F2 ) m(F1 ) < . Tras la observacion del
parrafo anterior la condicion E F2 puede ser sustituida por E contenido en el interior de F2 .
Ejemplo 1.3.
1. Desde luego para un intervalo I se tiene ci (I) = ce (I) = m(I). Si en lugar
de considerar un intervalo I cerrado se consideran intervalos abiertos o intervalos del tipo
Q
[ai , bi ) es inmediato comprobar que tambien tienen contenido definido y que su valor es
el producto de las longitudes de sus lados.
2. Q [0, 1] no admite contenido unidimensional. En efecto, es facil comprobar que ce (Q
[0, 1]) = 1, mientras que ci (Q [0, 1]) = 0.
El siguiente teorema nos expresa la relacion entre el concepto de contenido y la integral de
Riemann.
Teorema 1.9. Un Rconjunto E acotado tiene contenido si y solo si E es integrable Riemann. En
este caso c(E) = E .
Demostracion. Sea E I. Supongamos que E es integrable. Dado > 0 existe una particion
de I tal que
S (E , ) s (E , ) < .
Consideremos ahora F1 la union de los intervalos de la particion contenidos en E y F2 la union
de los intervalos que tienen interseccion no vaca con E. Tendremos
m(F1 ) = s(E , ) y m(F2 ) = S(E , ).
De aqu F1 E F2 y m (F2 ) m (F1 ) < . Entonces E tiene contenido y e ste coincide con
la integral de E .
Recprocamente, supongamos que E tiene contenido. Dado > 0, existiran F1 , F2 F ,
F1 E F2 y m(F2 ) m(F1 ) < . Si F1 consiste en la union de los intervalos [xi1 , xi ]
[yj1 , yj ] consideremos la particion 1 de I definida por los puntos xi e yj . Tendremos m(F1 )
s(E , 1 ). Si hacemos lo propio con F2 obtendremos una particion 2 tal que S(E , 2 )
m(F2 ). Tendremos entonces S(E , 2 ) s(E , 1 ) m(F2 ) m(F1 ) < . De aqu que E es
integrable y que su integral es m(E).
Ejemplo 1.4.
1. Veamos que el subconjunto de R2 definido por

n
E = (x, y) R2 ; x 0, y 0, x + y 1
i = 1, ..., n y sea F2 la correspondiente union de los rectangulos
i1 i
,
0, 1 ni ,
h n in h
i
i1 i
i1
,
0,
1
.
n n
n
tiene contenido. En efecto, sea F1 la union de los rectangulos
12
Tendremos F1 E F2 y m(F2 ) m(F1 ) = nn2 = n1 . Por tanto existe el contenido de E

o, lo que es equivalente, E es integrable. El valor de la integral puede obtenerse o bien
como
el lmite de las medidas
de F al tomar lmite en n, o bien como la integral iterada
R1
R1
R1
R 1x 1
dx
(x,
y)dy
=
dx
dy = 21 .
0
0 E
0
0
2. Ya vimos que la funcion caracterstica del disco unidad en R2 es integrable. Luego este
disco tiene contenido de Jordan definido y vale .
La nocion de contenido es aditiva en el sentido de que si F1 y F2 son dos conjuntos disjuntos
y con contenido, entonces c(F1 F2 ) = c(F1 ) + c(F2 ). Es suficiente tener en cuenta la propiedad
de la aditividad de la integral y que F1 F2 = F1 + F2 .
Si F1 y F2 tienen contenido tambien lo tiene la interseccion pues F1 F2 = F1 F2 .
Si dos conjuntos no necesariamente disjuntos tienen contenido, tambien lo tiene la union ya
que F1 F2 = F1 + F2 F1 F2 . En este caso se cumple
c (F1 F2 ) =
F1 F2
F1 +
F2 = c (F1 ) + c (F2 ) .
La nocion de conjunto con contenido permite tambien definir una integral de Riemann de una
funcion f definida en un conjunto E I con contenido definido como la
integral
de E f , ya que
R
R
el producto de dos funciones integrables es integrable. La escribiremos E f = I E f. Conviene
observar que esta definicion no depende del particular intervalo I utilizado en la definicion.
Una vez que hemos definido la nocion de contenido para conjuntos mas generales que los
intervalos pudiera pensarse en considerar en la definicion de integral, particiones del intervalo de
definicion no tan solo en subintervalos sino en conjuntos para los que este definido su contenido.
Concretamente, pueden considerarse particiones I = Ai , Ai Aj = si i 6= j, con Ai conjuntos
para los que esta definido el contenido. Si si y Si son respectivamente el supremo e nfimo de
P
la funcion f sobre Ai , se podran definir unas sumas inferiores y superiores mediante si c(Ai )
P
y Si c(Ai ). El supremo de estas sumas inferiores nos dara una integral inferior y el nfimo
de las sumas superiores una integral superior. En el caso de que ambas coincidan tendremos
una nocion de funcion integrable y de integral. Se puede comprobar que este proceso da lugar al
mismo tipo de funciones integrables que las de Riemann y a la misma integral. Es por ello que no
proseguiremos en esta direccion. No obstante, lo interesante de la construccion es hacer patente
como la posibilidad de medir mas conjuntos puede conducir a una nueva teora de la integracion.
Si bien en este caso, partiendo del concepto de contenido, no lleva a una integral mas general que
la de Riemann, si tuviesemos una nocion de medida mas amplia que la de contenido, podramos
obtener una nocion de integral mas general. Como veremos esta es una de las ideas basicas de la
integracion de Lebesgue que estudiaremos en los captulos siguientes.
1.3 Insuficiencias de la nocion de contenido de Jordan y de

integral de Riemann
Uno de los problemas basicos de la nocion de contenido, ideada para medir conjuntos, es la limitacion de los conjuntos a los que se puede aplicar. Si quisiesemos medir toda clase de conjuntos
1.4. EJERCICIOS
13
utilizando por ejemplo el contenido exterior o bien el contenido interior el resultado sera una
aplicacion no aditiva. Por ejemplo, Q [0, 1] y su complementario en [0, 1] tienen contenido exterior 1, son disjuntos, y su union vuelve a tener contenido exterior 1. Al considerar u nicamente
conjuntos con contenido definido esta nocion resulta ser ya aditiva pero no abarca todos los conjuntos que sera de desear. Por ejemplo, no todos los abiertos acotados tienen contenido
definido.

1
1
Consideremos el subconjunto de R definido por A = n1 an 2n+2 , an + 2n+2 donde an recorre
Q [0, 1] . Observese que si F F , F A, mediante un numero finito de los intervalos

P
1
1
2
, an + 2n+2
se recubrira F y tendremos que m(F ) n1 2n+2
= 12 . De aqu que
an 2n+2
ci (A) 21 . Por otro lado, si A F, F F , como Q [0, 1] F, se tendra m(F ) 1 y, por
tanto, ce (A) 1.
Otra limitacion del concepto de contenido es que, si bien es finitamente aditivo, no es numerablemente aditivo. Por ejemplo cada punto de R tiene contenido unidimensional cero. Sin
embargo una union numerable de puntos como Q [0, 1] no tiene contenido definido. Por u ltimo
esta nocion hace referencia
contenido a
h u nicamente ai conjuntos acotados. No puede asignarse un
P
1
1
un conjunto como n1 n 2n , n + 2n al que sera natural asignarle una medida n1 22n = 2.
Sera entonces conveniente disponer de una nocion de medida de conjuntos que extendiese la nocion de contenido, que permitiese medir los conjuntos abiertos y cerrados acotados y que tuviese
la propiedad de la aditividad numerable, es decir, que la union numerable de conjuntos disjuntos
dos a dos que se pudieran medir, tuviese por medida la suma de la serie de las medidas.
Problemas del mismo tipo aparecen cuando se considera la integral de Riemann. Las funciones caractersticas de los abiertos o de los cerrados en general no son integrables y, por tanto, en
general no se puede hablar de la integral de Riemann sobre un abierto o sobre un compacto.
Existen otras limitaciones. Por ejemplo, existen problemas con la completitud en el siguiente sentido. Sea {fn } una sucesion de funciones integrables en [a, b] Rque cumple una condicion del tipo de Cauchy, es decir, para cada > 0 existe n0 tal que |fn fm | < para
n, m > n0 . No se deduce
entonces la existencia de una funcion f lmite de {fn } en el sentido de
R
que para cada > 0, |fn f | < para n mayor que un cierto n0 . Por otro lado, en el contexto
de la integral de Riemann, los teoremas de paso al lmite bajo el signo integral deben establecerse
en condiciones demasiado restrictivas. Estas, entre otras razones, muestran la insuficiencia de la
nocion de integral de Riemann. Una solucion a estos problemas viene dada por la integracion de
Lebesgue. Una introduccion natural de e sta pasa por el estudio de la medida de Lebesgue, que
extendera la nocion de contenido de Jordan.
1.4 Ejercicios
1. Halla, cuando exista, el contenido 2-dimensional de los siguientes conjuntos
n
(x, y) R2 ; x2 + y 2 < 1 .
n
(x, 0) R2 ; 0 < x 1
(x, y) R2 ; |y| |x sin x| , 0 < x 2
14
[0, 1] ([0, 1] Q) .
2. Sea f : [1, 2] R definida por f (x) = 0 si x es irracional y f (x) = 1q si x = pq donde
e sta es una fraccion irreducible. Demuestra que f es integrable y que su integral vale cero.
3. Calcula los siguientes lmites expresandolos como sumas de Riemann
n
X
1
m=1 4n + m
lim
lim
n
X
2n (n + m)
n3
m=1
4. Di para que valores de el siguiente lmite es finito

lim
n
Z
1
dx
.
x |x 2|
5. Sea f una funcion definida en [0, 1] monotona y acotada. Prueba que

1
1
2
n
lim
f
+f
+ ... + f
n
n
n
n

6. Calcula
R
[0,1][0,1]

y sin xy.
7. Sea f continua en R2 . Invierte el orden de integracion en

(a)
R 1 R 1x2
0
(b)
R2R2
(c)
R 1 R sin x
0
0
f (x, y) dydx
f (x, y) dydx
f (x, y) dydx
8. Calcula
(a)
(b)
(c)
x donde A es la region acotada limitada por las curvas x = y 2 , x = y 2 + 1.

n
A |x y| donde A = (x, y) [0, 1] [0, 1] ; xy

A
max (x, y) donde A = {(x, y) ; x2 + y 2 1}
1
2
RIEMANN.
1.5. APENDICE.
CRITERIO DE LEBESGUE DE INTEGRACION
1.5
15
Apendice. Criterio de Lebesgue de integracion Riemann.
Se trata de dar un teorema que caracteriza las funciones integrables en el sentido de Riemann en
terminos del tamano del conjunto de puntos de discontinuidad de la funcion.
Definicion 1.7. Un subconjunto de Rn se dice que tiene n-medida cero si para cada > 0 existe
un recubrimiento del mismo formado por una coleccion numerable de intervalos abiertos cuya
suma de medidas es menor que .
Teorema 1.10. Sea f una funcion definida en un intervalo cerrado I de Rn y acotada. La
funcion es integrable Riemann si y solo si el conjunto de puntos de discontinuidad es de medida
nula.
Demostracion. Antes de pasar a la demostracion recordemos el concepto de oscilacion de una
funcion. Denominamos oscilacion de f en un conjunto A a la diferencia
sup {f (x) , x A} inf {f (x) , x A} .
La escribiremos O (f, A) . Se llama oscilacion en x de una funcion f definida en D a
inf O (f, B (x, ) D) .
>0
El conjunto de puntos de discontinuidad de una funcion es la union de

1
Dn = x D; O (f, x)
.
n

Sea f integrable en I. Veamos que los conjuntos Dn tienen medida cero. Sea > 0. Existe
una particion de I tal que S (f, ) s (f, ) < n . Sea 0 el conjunto de intervalos de la
particion que en su interior tienen algun punto de Dn . Si Ii pertenece a 0 se tiene O (f, Ii ) n1 .
Por lo tanto
X
1 X
>
O (f, Ii ) m (Ii ) >
m (Ii )
n Ii
n Ii 0
P
y tendremos que Ii 0 m (Ii ) < . De esta forma Dn esta recubierto por los interiores de un
numero finito de intervalos, cuya suma de medidas es menor que , junto con las fronteras de los
intervalos de . Estos u ltimos, a su vez, pueden recubrirse por un numero finito de rectangulos
cuya suma de medidas tambien es menor que . Dn es entonces de medida nula.
Para establecer el recproco veamos, en primer lugar, un par de observaciones. La primera es
que dado un intervalo compacto y un recubrimiento abierto del mismo, existe una particion del
mismo tal que cada uno de los intervalos cerrados de la particion esta contenido en un abierto del
recubrimiento. Basta considerar el numero de Lebesgue del recubrimiento y tomar la particion
suficientemente fina.
La segunda observacion es que si tenemos una funcion definida en un intervalo I compacto
tal que la oscilacion en todos sus puntos es menor que un > 0 prefijado, existe una particion
del intervalo tal que si J se cumple O (f, J) < . En efecto, basta considerar para cada
x I un entorno Ux con O (f, Ux ) < y aplicar la observacion anterior.
16
Podemos pasar a establecer el recproco. Sea f definida en I, acotada por K y tal que el
conjunto de puntos de discontinuidad es de medida nula. Fijemos > 0. El conjunto D =
{x D; O (f, x) } es un compacto de medida cero. Existen entonces un numero finito de
intervalos abiertos U1 , ..., Um que recubren D y cuya suma de medidas es menor que . Estos
abiertos, junto con el complementario de D forman un recubrimiento de I. De acuerdo con la
primera observacion existira una particion tal que cada intervalo esta contenido en uno de los
Ui o en el complementario de D . Llamemos 0 al conjunto de los primeros y 00 a los restantes
que, en consecuencia, no cortaran a D . Si J 00 , aplicando la segunda observacion, existira
una particion de J , J tal que S (f, J ) s (f, J ) < m (J) . Consideremos una particion
e en I mas fina que y tal que induzca en cada uno de los intervalos J 00 una particion mas
e
fina que la J . Llamemos Iej a los intervalos de la particion

O f, Iej m Iej
e s f,
e
S f,
X

O f, Iej m Iej +
Ij Ii0 0
Ij Ij00 00
2K
Ij Ii0 0

m Iej +
m Ij00
< 2K + m (I) .
Ij00 00
Por tanto f es integrable Riemann.

Ejercicios
1. Prueba que el conjunto {(x, 0) R2 } es de 2-medida cero.
2. Prueba que si f : I R es una funcion integrable y g : R R es continua, la composicion g f es integrable.
3. Prueba que toda funcion f : I R acotada y continua en I Q es integrable Riemann.
4. Prueba que un conjunto acotado A de R2 tiene contenido de Jordan definido si y solo si su
frontera tiene medida cero.
Captulo 2
Medida de Lebesgue en Rn
Se trata de definir para una cierta coleccion de conjuntos M una aplicacion que llamaremos
medida m : M R{+} , de manera que M contenga los conjuntos con contenido de Jordan
definido as como los conjuntos abiertos, y que sea una clase cerrada por uniones numerables y
por paso al complementario. Sobre la funcion m se desea, en primer lugar, que sea no negativa y
que extienda la nocion de contenido. Se desea tambien que m tenga la propiedad de la aditividad
numerable y que si un conjunto A tiene medida 0, cualquier subconjunto tambien sea medible
con medida cero. Por u ltimo y en relacion con las propiedades algebraicas de Rn se desea que
m sea invariante por translaciones y por simetras, es decir m(x + A) = m(A) y m(A) =
m(A). Se probara la existencia de una tal coleccion de conjuntos M y de una tal aplicacion m.
Empezaremos definiendo la medida de abiertos acotados, para pasar despues a la de compactos.
A partir de ambos definiremos los conjuntos medibles acotados y, finalmente, la clase M y la
aplicacion m.
2.1
-algebras y medidas
Definicion 2.1. Una coleccion de subconjuntos M de Rn se dice que es una -algebra si,
1. Rn M.
2. Para cada conjunto de M su complementario esta en M.
3. A = n An pertenece a M siempre que cada An M.
Resumiremos unas primeras consecuencias en el siguiente teorema.
Teorema 2.1. Sea M una -algebra. Entonces
1. El conjunto vaco pertenece a M.
2. La union finita de elementos de M pertenece a M.
3. La interseccion finita o numerable de conjuntos de M es de M.
17
CAPITULO 2. MEDIDA DE LEBESGUE EN RN
18
4. La diferencia de elementos de M es de M.
Demostracion. El conjunto vaco siempre pertenece a M por ser el complementario de Rn .
Tambien tomando An = para n > n0 se ve que toda union finita de elementos de M es de
M. Tomando complementarios es inmediato probar que la interseccion finita o numerable de
conjuntos de M es de M y que la diferencia de elementos de M es de M.
Ejemplo 2.1. Si consideramos los subconjuntos de Rn que se obtienen a partir de los abiertos
tomando uniones e intersecciones finitas y numerables sucesivas, as como paso al complementario obtendremos la mnima algebra de subconjuntos de Rn que contiene a todos los conjuntos
abiertos. A sus conjuntos se les llama borelianos.
Definicion 2.2. Una aplicacion m de una a lgebra M en R {+} se dice aditiva si para
A1 , A2 M, A1 A2 = , se cumple m(A1 A2 ) = m(A1 ) + m (A2 ) . Se dice que es numerablemente aditiva si para cada coleccion numerable An de subconjuntos de M disjuntos dos
P
a dos, m (An ) = m(An ). Una funcion no negativa y numerablemente aditiva se denomina
una medida.
2.2
La medida de Lebesgue
2.2.1 Medida de abiertos acotados

Ya hemos comentado que el contenido interior de conjuntos cualesquiera no da una aplicacion aditiva. Por ejemplo, si consideramos contenidos unidimensionales ci (Q [0, 1]) = 0 y
ci ([0, 1] Q) = 0 mientras que ci ([0, 1]) = 1. Sin embargo, si nos restringimos u nicamente a
los abiertos acotados si que resulta aditiva esta aplicacion. Es entonces natural definir la medida de un conjunto abierto acotado como su contenido interior. Por otro lado, como veremos,
todo conjunto abierto puede expresarse como una union disjunta, numerable de intervalos semiabiertos. La medida con la definicion anterior resulta ser la suma de las medidas de estos
intervalos, corroborando lo adecuado de la definicion.
Definicion 2.3. Sea A un abierto acotado. Se define la medida de este abierto mediante la
expresion
m(A) = ci (A) = sup {m(F ); F F, F A} .
Teorema 2.2. Si A1 , A2 son abiertos acotados
m(A1 A2 ) m(A1 ) + m(A2 ).
Si A1 A2 = , m(A1 A2 ) = m(A1 ) + m(A2 ).
Demostracion. Sea F F con F A1 A2 . Sea > 0 tal que si x F, B(x, ) esta contenida
en A1 o en A2 . La existencia de este puede probarse por un argumento de compacidad. Para
cada x F sea 2x tal que B(x, 2x ) esta en uno de los dos abiertos A1 o A2 . Mediante un
numero finito de las bolas B(x, x ) se recubre F . Sean B(x, x1 ), ..., B(x, xr ). Entonces =
2.2. LA MEDIDA DE LEBESGUE
19
min {x1 , ..., xr } cumple la condicion. En efecto, si y B(x, x ), la bola B(x, 2x ) estara
contenida en un Aj . Entonces
B (y, ) B(x, 2x ) Aj .
Supongamos ahora F descompuesto en intervalos de diametro menor que . Cada uno de
estos intervalos estaran contenidos en A1 , en A2 o en ambos. Tendremos entonces
m(F ) m(A1 ) + m(A2 )
lo que implica, puesto que m(A1 A2 ) es el supremo de m (F ) para F A1 A2 que
m(A1 A2 ) m(A1 ) + m(A2 )
La demostracion de la segunda parte de la proposicion es ahora facil de completar. Sean F1 , F2
F, F1 A1 , F2 A2 . Seran disjuntos y tendremos
m(A1 A2 ) m(F1 F2 ) = m (F1 ) + m(F2 ).
Tomando supremos al variar F1 y F2
m(A1 A2 ) m (A1 ) + m(A2 ).
Lema 2.3. Todo abierto de Rn es union numerable de intervalos disjuntos del tipo
Ii1 ,...,in ;m =
n
Y
ij
j=1
ij + 1
, m
m
2
2
donde ij Z.
Demostracion. Para cada m los intervalos Ii1 ,...,in ;m forman un recubrimiento de Rn . Sea J0 la
familia de los intervalos del tipo Ii1 ,...,in ;0 contenidos en A. Consideremos, a continuacion, J1 la
familia de los intervalos del tipo Ii1 ,...,in ;1 contenidos en A y no contenidos en los anteriores. Si
proseguimos de esta forma obtendremos Jm una familia numerable de intervalos disjuntos dos
a dos cuya union esta contenida en A. Veamos que coincide con A. Sea x A y B(x, ) A.
Sea m suficientemente grande de forma que los intervalos Ii1 ,...,in ;m tengan diametro menor que
. El punto x pertenecera a uno de los intervalos Ii1 ,...,in ;m que estara por tanto contenido en A. Se
tendra entonces que o bien Ii1 ,...,in ;m pertenecera a uno de los Js para s < m, o bien pertenecera
a Jm .
Teorema 2.4. Sea A un abierto acotado de Rn y sea A = Ii1 ,...,in ;m la descomposicion dada
en el lema anterior. Se cumple
m(A) =
m (Ii1 ,...,in ;m )
donde m (Ii1 ,...,in ;m ) significa el contenido de Ii1 ,...,in ;m , es decir, c(Ii1 ,...,in ;m ) =
1
2m
n
20
Demostracion. Llamemos, por simplificar la notacion, Ik a cada uno de los intervalos de la

particion Ii1 ,...,in ;m en que se descompone A. Observemos que forma una familia numerable. Sea
F F F A. Consideremos un > 0. Para cada intervalo Ik consideremos un intervalo
abierto Iek que contiene a Ik y tal que c Ifk c (Ik ) + 2k . Por ser F compacto estara recubierto
por un numero finito de intervalos abiertos Ifk , k = 1, ..., N . Tendremos
f
m(F ) c(N
k=1 Ik )
c(Ifk )
c(Ik ) + .
Puesto que esto vale para todo > 0 , se tiene m(F ) m(Ik ) y puesto que esto vale para
P
todo F A se tiene m(A) m(Ik ).
Recprocamente, fijado > 0, podemos encontrar intervalos cerrados Jk contenidos en Ik
tales que m(Jk ) m(Ik ) 2k . Consideremos un numero finito N de estos intervalos. El
conjunto union de estos es un elemento de F contenido en A y los Jk son disjuntos. Tendremos
entonces
P
N
X
m(Ik )
k=1
N
X
m(Jk ) + m(A) + .
k=1
Puesto que vale para cada N se tiene

X
m(Ik ) m(A) + .
Dado, por u ltimo, que vale para cada > 0 tendremos

X
m(Ik ) m(A).
2.2.2 Medida de compactos

Dado un compacto K , siempre esta contenido en un intervalo abierto I. Si deseamos que m(I) =
m(K) + m(I K) , puesto que la medida de I K ha sido definida como el supremo de los
contenidos de los elementos de F F, F I K, es facil ver que m(K) debera ser el nfimo
de las medidas de los elementos de F que contienen a K. Es entonces natural la siguiente
definicion.
Definicion 2.4. Si K es un compacto de Rn , se define su medida como
m(K) = ce (K) =
inf
KL, LF
m(L).
Observese que si K es un intervalo cerrado la definicion coincide con la medida ya conocida del intervalo. La proxima proposicion nos dice que con esta definicion, la medida sobre
compactos tiene la propiedad de la aditividad.
Teorema 2.5. Sean K1 y K2 compactos con K1 K2 = . Entonces m(K1 K2 ) = m(K1 ) +
m(K2 ).
21
Demostracion. Sea L F con K1 K2 L. Siempre podremos suponer que es la union de

intervalos de diametro menor que d(K1 , K2 ). Llamemos L1 y L2 a la union de estos intervalos
que tienen puntos en comun con K1 y con K2 respectivamente. Tendremos K1 L1 , K2 L2 ,
L1 L2 L y L1 L2 = . Por tanto
m(K1 ) + m(K2 ) m(L1 ) + m(L2 ) m(L)
y, tomando el nfimo de m(L) al variar L
m(K1 ) + m(K2 ) m(K1 K2 ).
Probemos la desigualdad en sentido contrario. Sean Li F con Ki Li , i = 1, 2 con
intervalos componentes de diametro menor que d(K1 , K2 )/2. A efectos de calcular m (K1 ) y
m (K2 ) siempre se podra suponer que los intervalos cerrados de Li tienen interseccion no vaca
con Ki , i = 1, 2. De esta forma se tiene L1 L2 = y por tanto
m(K1 K2 ) m(L1 L2 ) = m(L1 ) + m(L2 ).
Tomando el nfimo de m(L1 ) y de m(L2 ) al variar L1 y L2 tendremos
m(K1 K2 ) m(K1 ) + m(K2 ).
2.2.3 Conjuntos medibles acotados

Definido el concepto de medida de abiertos y de compactos podemos pasar a definir una medida
exterior de un conjunto mediante la aproximacion por exceso por conjuntos abiertos y una
medida interior mediante una aproximacion por defecto por medio de conjuntos compactos.
Cuando ambas medidas coincidan tendremos el concepto de conjunto acotado medible.
Definicion 2.5. Sea B un conjunto acotado. Se define su medida exterior e interior mediante
m(B) = inf {m(A); B A, A abierto}
m(B) = sup {m(K); K B, K compacto}
Lema 2.6. Si K es un compacto y A es un abierto K A, existe L F tal que K L A.
Demostracion. Basta recubrir K por intervalos abiertos tales que su adherencia este contenida
en A. Por la compacidad de K, mediante un numero finito de ellos recubriremos K. La union de
su adherencia nos dara L.
Teorema 2.7. Para todo conjunto acotado B se tiene m(B) m(B).
22
Demostracion. En efecto, sea un compacto K y un abierto A tal que K B A. Sea L como

en el lema anterior K L A. Tendremos m(K) m(L) m(A) y tomando nfimo al variar
A y supremo al variar K se tendra m(B) m(B).
Definicion 2.6. Un conjunto acotado B se dice medible si m(B) = m(B). A este valor comun
se le denomina su medida y se escribe m(B).
Observese que si B1 y B2 son medibles y B1 B2 se tiene que m(B1 ) m(B2 ). Es
consecuencia inmediata de la definicion de medida exterior.
Teorema 2.8. Los conjuntos abiertos acotados y los conjuntos compactos son medibles y tienen
por medida el contenido interior y exterior respectivamente.
Demostracion. En efecto, si A es un abierto se tiene m(A) = m(A) m(A). Pero, dado > 0
existe L F, L A tal que m(L) > m(A) y por tanto m(A) m(A) . Esto es valido
para cada > 0 y por tanto m(A) m(A). Luego m(A) m(A) y coinciden.
En forma analoga, si K es compacto se tiene m(K) = m(K) m(K). Dado > 0 existe
L F con K L y m(L) m(K) + . De aqu que m(K) m(K) + . Puesto que esto
vale para cada > 0 se sigue que m(K) m(K).
Teorema 2.9. Todo conjunto acotado con contenido definido es medible y su medida coincide
con el contenido.
Demostracion. Sea B un conjunto acotado. Puesto que los elementos de F son compactos se
sigue de las definiciones que ci (B) m(B).
Por otro lado ce (B) es el nfimo de las medidas de los elementos de F que contienen a B.
Este nfimo coincide con el nfimo de las medidas de uniones finitas de intervalos abiertos que
contienen a B y, por tanto m(B) ce (B), puesto que el primero es el nfimo de las medidas de
todos los abiertos que contienen a B. Resumiendo, para cada conjunto acotado se tiene
ci (B) m(B) m(B) ce (B).
Es ya evidente que si B tiene contenido definido entonces es medible y coinciden medida y
contenido.
Empezaremos estudiando las propiedades de los conjuntos medibles y acotados. Pasaremos
despues al caso no acotado.
Observese que si B es un conjunto acotado con m(B) = 0 es entonces medible con medida
cero. De aqu se sigue que cualquier subconjunto de uno de medida 0 es medible de medida 0.
Lema 2.10. Sean A y B acotados. Se cumple
m(A B) m(A) + m(B).
Si A B = se cumple
m(A B) m(A) + m(B).
23
Demostracion. Sea > 0 y U, V abiertos acotados tales que A U, B V

m(U ) < m(A) +
m(V ) < m(B) +
Se tendra
m(A B) m(U V ) m(U ) + m(V ) < m(A) + m(B) + .
Puesto que es valido para todo > 0
m(A B) m(A) + m(B).
Sea ahora A B = y > 0; sean K y L compactos tales que K A, L B con
m(K) > m(A)
m(L) > m(B) .

2
De aqu que
m(A B) m(K L) = m(K) + m(L) > m(A) + m(B) .
Puesto que es valido para todo > 0 se tendra
m(A B) m(A) + m(B).
El siguiente teorema nos establece la aditividad finita para los conjuntos medibles acotados.
Teorema 2.11. Sean A y B dos conjuntos acotados, medibles y disjuntos. Se tiene que A B es
medible y m(A B) = m(A) + m(B).
Demostracion. Aplicando la proposicion anterior
m(A) + m(B) m(A B) m(A B) m(A) + m(B)
y, por tanto, todas las desigualdades son de hecho igualdades y vale la proposicion.
Veamos una caracterizacion de los conjuntos acotados medibles.

Teorema 2.12. Un conjunto B, acotado, es medible si y solo si para cada > 0 existe un
compacto K y un abierto A tales que K B A, m(A K) < .
24
Demostracion. Para cada > 0 existe un compacto K y un abierto A acotado tales que K
B Ay
m(K) > m(B)

2
m(A) < m(B) + .

2
Sea ahora B medible. Como m(B) = m(B) y teniendo en cuenta la aditividad de m sobre los
medibles acotados se sigue que
m(A) m(K) = m(A K) < .
Recprocamente, si se cumple esta u ltima condicion, puesto que
m(K) m(B) m(B) m(A)
tendremos que para cada > 0
m(B) m(B) m(A) m(K) <
y por tanto m(B) = m(B) y B es medible.
Teorema 2.13. Si B y B1 son conjuntos medibles acotados, tambien lo es B B1 , B B1 , y
B B1 .
Demostracion. Dado > 0, sean K, K1 compactos y A, A1 abiertos tales que
K B A, m(A K) <
K1 B1 A1 , m(A1 K1 ) < .
2
De aqu que
K A1 B B1 A K1 y A K1 (K A1 ) (A K) (A1 K1 ).
Tendremos que
m (A K1 (K A1 )) m (A K) + m (A1 K1 ) <
y por tanto B B1 es medible.
La medibilidad de B B1 y de B B1 se sigue de las relaciones
B B1 = B (B B1 )
B B1 = (B B1 ) (B1 B) (B B1 ).
25
Corolario 2.14. Si B y B1 son acotados medibles entonces m(B B1 ) m(B) + m(B1 ).

Demostracion. En efecto, la medibilidad se deduce del teorema 2.13. La desigualdad del lema
2.10.
Se trata de ver ahora la propiedad de la aditividad numerable para conjuntos acotados. Veamos primero un lema que nos expresa la propiedad de subaditividad numerable para conjuntos
abiertos.
Lema 2.15. Sean Ai una coleccion numerable de abiertos con union A acotada. Entonces
P
m(A) n1 m(An ).
Demostracion. Sea K un compacto K A. Existira r tal que K A1 ... Ar . Reiterando la
P
P
proposicion anterior m(K) rn=1 m(An ) n1 m(An ). Tomando supremo al variar K se
P
tiene m(A) n1 m(An ).
Teorema 2.16. Sea {Bn } una sucesion de conjuntos medibles, acotados y disjuntos dos a dos
P
con B = n Bn acotado. Entonces B es medible y m(B) = n m(Bn ).
Demostracion. De la aditividad finita, se sigue
r
X
m(Bn ) = m(B1 B2 ... Br ) m(B)
n=1
y por tanto
X
m(Bn ) m(B).
n1
Por otro lado, dado > 0, sean An abiertos tales que

Bn An , m(An ) < m(Bn ) +
.
2n
Por tanto, utilizando el lema anterior

m(B) m(An )
m(An )
n1
m(Bn ) + .
n1
Puesto que esto vale para cada > 0, tendremos

m(B)
m(Bn ).
n1
De las dos desigualdades obtenidas se sigue que B es medible y que m(B) =
n1
m(Bn ).
Corolario 2.17. Sean {Bn } una sucesion de conjuntos medibles con union acotada. Entonces
P
B = Bn es medible y m(B) n1 m(Bn ).
26
Demostracion. Consideremos la sucesion de conjuntos medibles, dos a dos disjuntos C1 = B1 ,

Cn = Bn (B1 ... Bn1 ), para n > 1. Se tendra que B = Bn = Cn y por tanto sera
P
P
medible y m(B) = n1 m(Cn ) n1 m(Bn ).
Corolario 2.18. La interseccion de una familia numerable de conjuntos medibles acotados, es
medible.
Demostracion. Si Bn son tales conjuntos, es suficiente considerar la expresion
n Bn = B1 n (B1 Bn )
y tener en cuenta las proposiciones anteriores.
2.2.4 Conjuntos medibles

Pasemos a definir los conjuntos medibles no necesariamente acotados y a estudiar sus propiedades.
Definicion 2.7. Un subconjunto C de Rn se dice medible si para cada compacto K, C K es
un conjunto medible. En este caso se denomina su medida a m(C) = supK m(C K).
Observese que la medida de un conjunto medible puede ser +.
Se trata de ver que la coleccion de conjuntos medibles que denominaremos M constituye
una -algebra y que la medida de estos conjuntos tienen las propiedades establecidas en la introduccion del captulo.
Desde luego y Rn son conjuntos medibles.
Ya hemos dicho que M contiene a todos los conjuntos con contenido definido y que su
medida coincide con su contenido. Tambien contiene a los conjuntos abiertos pues la interseccion
de un abierto y un compacto es medible acotado.
Si A1 y A2 son conjuntos medibles y A1 A2 se tiene m(A1 ) m(A2 ). Se entendera que
en el caso en que m(A1 ) = + esta relacion significa que tambien m(A2 ) = +.
Veamos la propiedad de la aditividad finita y numerable de m.
Teorema 2.19. Sea {An } una coleccion finita o numerable de conjuntos medibles. Su union es
P
entonces medible y se cumple m (An ) m(An ). Si los conjuntos son disjuntos dos a dos se
P
tiene m(An ) = m(An ).
Demostracion. En primer lugar observemos que para cada compacto K, (An ) K = (An
K) que es una union numerable acotada de conjuntos medibles y por tanto medible. Esto nos
asegura la medibilidad de An .
Veamos la propiedad subaditiva. Sea K un compacto. Utilizando la propiedad de subaditividad finita o numerable para conjuntos medibles acotados (teorema 2.17) se tiene que
m ((An ) K)
m(An K)
m(An ).
27
Tomando supremo al variar K

m (An )
m(An ).
Supongamos ahora que los conjuntos An son disjuntos dos a dos. Siempre podremos suponer
que para cada n, m(An ) < +, pues en otro caso se tendra m(An ) = + y se cumplira la
propiedad aditiva. Consideremos, en primer lugar, el caso en que tenemos un numero finito M
de conjuntos. Para cada n sea Kn un compacto tal que
m(Kn An ) > m(An )
.
M
Si tomamos el compacto K = M
n=1 Kn tendremos, utilizando la propiedad de la aditividad para
conjuntos medibles acotados (teorema 2.16),
M
X
M
m(M
n=1 An ) m(K (n=1 An )) =
m(K An )
n=1
M
X
m(An ) .
n=1
Puesto que vale para todo > 0 se tiene

m(M
n=1 An )
M
X
m(An )
n=1
y por tanto vale la propiedad de la aditividad finita.

Pasemos a considerar una coleccion numerable de conjuntos An . Tendremos para cada M
m(n1 An )
m(M
n=1 An )
M
X
m(An )
n=1
y por tanto
m(n1 An )
m(An ).
n1
Corolario 2.20. Sea una sucesion de conjuntos medibles A1 A2 ... y sea A = An . Se

cumple m(A) = lim m(An ).
Demostracion. Consideremos la descomposicion A = n1 (An An1 ), con A0 = . Aplicando la proposicion anterior
m(A) =
X
n1
m(An An1 ) =
(m(An ) m(An1 )) = lim m(An ).
n1
Corolario 2.21. Sea una sucesion de conjuntos medibles A1 A2 ... tal que m(A1 ) < +
y sea A = An . Se cumple m(A) = lim m(An ).
28
Demostracion. Se considera la sucesion A1 A2 A1 A3 ....Se cumple que A1 A =

(A1 An ). Aplicando el corolario anterior tendremos
m(A1 A) = lim m(A1 An )
y por tanto
m(A1 ) m(A) = lim(m(A1 ) m(An )).
Puesto que m(A1 ) < + se sigue que m(A) = lim m(An ).
Ejemplo 2.2. Es facil comprobar que si no se impone en el corolario anterior la hipotesis

m(A1 ) < +, en general es falsa la conclusion. Sea, por ejemplo An = [n, +). La medida de cada uno de estos conjuntos es + mientras que su interseccion es el vaco y por tanto
tiene medida cero.
2.2.5 Conjuntos de medida cero

Un conjunto de medida cero sera un conjunto A tal que para cada compacto K se cumpla que
m(A K) = 0. En efecto, esto implica que A K es medible y que su medida es cero. De
aqu se sigue inmediatamente que todo subconjunto de uno de medida cero es de medida cero.
Un criterio que en ocasiones es u til es el siguiente.
Teorema 2.22. Un conjunto A es de medida cero si y solo si para cada > 0 existe un conjunto
abierto U, A U, tal que m(U ) < .
Demostracion. Supongamos que A cumple que para cada > 0 existe un abierto U con A U
y m(U ) < . Para cada compacto K se tendra m(A K) m(U ) < para cada > 0 y por
tanto m(A K) = 0 y A sera de medida cero.
Recprocamente, supongamos que A es de medida cero. Sea > 0. Para cada i,
{x Rn ; kxk i}
es un conjunto compacto y, por tanto, existira un abierto Ui A {x Rn ; kxk i} con
m(Ui ) < 2i . El abierto U = Ui cumplira A Ui y m (U ) < .
Ejemplo 2.3. Todo subconjunto numerable de Rn es de medida cero. Mas generalmente, la

union numerable de conjuntos de Rn de medida nula es de medida nula. En efecto, si N = k Nk
P
con Nk de medida nula tendremos que m(N ) k m(Nk ) = 0.
2.3. EJERCICIOS
29
2.2.6 Conjuntos medibles y medida de Lebesgue

Finalmente resumiremos en un teorema las propiedades mas destacadas que en la introduccion
habamos senalado como deseables para los conjuntos medibles y para sus medidas. La mayor
parte de e sta han sido ya probadas. Estos conjuntos se dicen conjuntos medibles en el sentido de
Lebesgue y a sus medidas, las medidas de Lebesgue.
Teorema 2.23. La coleccion de conjuntos medibles M en Rn y la aplicacion medida m : M
R {+} tienen las siguientes propiedades:
a) El conjunto M es una algebra de subconjuntos de Rn que contiene a los conjuntos
abiertos y a los conjuntos con contenido de Jordan definido.
b) La aplicacion m es una medida. Es invariante por translaciones y por simetra. Cualquier
subconjunto de un conjunto de medida cero es medible de medida cero.
Demostracion. Veamos a). Hemos probado ya que la union finita o numerable de conjuntos
medibles tambien lo es. Rn es desde luego medible. Si A es medible su complementario Rn A
es tambien medible ya que K (Rn A) = K (A K) es medible. Como consecuencia de
todo ello la interseccion de un conjunto finito o numerable de conjuntos medibles es medible. El
resto del apartado a) ha sido previamente probado.
En cuanto a b) queda u nicamente por probar la invarianza por translaciones y por simetras.
Desde luego para elementos de F se cumple m(x + F ) = m(F ). De donde para conjuntos
abiertos m(x + A) = m(A) y, en consecuencia, vale la misma relacion para conjuntos acotados
medibles. Por u ltimo, como para cada compacto K tambien x + K es compacto y (x + M )
(x + K) = x + M K, se tiene que para todo conjunto medible M , m(x + M ) = m(M ).
Razonamientos similares prueban la invarianza por simetra, es decir m(M ) = m(M ).
La coleccion de conjuntos medibles en el sentido de Lebesgue es muy amplia. No obstante
pueden darse ejemplos de conjuntos no medibles. Veamos uno de ellos en R.
Ejemplo 2.4. Consideremos en [0, 1] la siguiente relacion de equivalencia. x v y si y solo si
x y Q. Consideremos un conjunto A que se obtiene tomando un elemento de cada clase
de equivalencia. Veamos que este conjunto no es medible. En efecto, sea {qn } el conjunto de
los racionales de [1, 1] expresados en forma de sucesion. Consideremos los conjuntos An =
qn + A. Estos conjuntos son disjuntos como se deduce de la definicion de A. Si A fuese medible,
lo seran An y m (An ) = m (A). Por otro lado [0, 1] n An [1, 2]. Tendremos entonces
P
1 n m (An ) 3. Contradiccion con ser m (An ) = m (A) .
2.3
Ejercicios
1. Consideremos A = Q [1, 1]. Prueba que si In es una coleccion finita de intervalos

abiertos que recubren A la suma de sus medidas es mayor o igual a 2. Prueba que dado
> 0, existe un recubrimiento de A formado por una coleccion numerable de intervalos
abiertos cuya suma de medidas es menor que .
30
2. Dado > 0 construye un abierto denso en R cuya medida sea menor que .
3. Halla la medida de R Q en R2 y la medida de
n
(x, y) R2 ; x2 + y 2 = 1 .
4. Sea f : Rn Rn una funcion de Lipschitz, es decir, tal que existe una constante k de
forma que kf (x) f (y)k k kx yk. Prueba que si Z tiene medida cero, tambien lo
tiene f (Z) .
5. Sea A un abierto de Rn y f : A Rn una funcion de clase C 1 . Prueba que si Z A tiene
medida cero, tambien lo tiene f (A) . Indicacion: Expresa A como union numerable de
Am = {x A; kdfx k < m} . En cada uno de estos conjuntos la funcion f es de Lipschitz
y podemos aplicar el ejercicio anterior a Am Z.
6. Prueba que un conjunto M es medible si y solo si para cada m el conjunto
Mm = {x M ; kxk m}
es medible. Prueba que entonces m (M ) = lim m (Mm ).
7. Prueba que un conjunto M es de medida cero si y solo si para cada > 0 existe una
P
sucesion de intervalos abiertos Im tales que M Im y m (Im ) < .
8. Consideremos el intervalo I = [0, 1] y quit
emosle el intervalo abierto centrado de longitud
1
1 2
m (I), es decir consideremos I 3 , 3 . Se trata de la union de dos intervalos cerra3
dos disjuntos. Apliquemos el mismo proceso a cada uno de ellos. Obtendremos cuatro
intervalos cerrados. Denotemos por A a la union de los intervalos abiertos que se han ido
quitando y por C a su complementario I A. Este conjunto se denomina conjunto ternario
de Cantor. Prueba que C es medible, de medida cero y no numerable. Indicacion: Para la
no numerabilidad expresa los elementos de I en base de numeracion 3.
9. Prueba que si A es un conjunto medible de R y Z es un conjunto de medida cero de R,
entonces A Z tiene medida cero en R2 .
10. Sean A y B abiertos respectivamente de Rn y de Rm . Prueba que la medida de A B en
Rn+m es el producto de las medidas. Indicacion: Expresa A y B como union numerable
disjunta de intervalos diadicos y expresa A B como la union de los productos de estos
intervalos.
Captulo 3
Integral de Lebesgue
3.1
Funciones medibles
Consideremos M la a lgebra de los conjuntos medibles por la medida de Lebesgue en Rn .

La idea basica en la definicion de integral de una funcion en el sentido de Lebesgue es su aproximacion por combinaciones lineales de funciones caractersticas de conjuntos medibles. Esto
podra hacerse de la siguiente forma. Si, por ejemplo,hla funcion tuviese su recorrido
en [a, b) ,

ba
ba
podramos dividir este intervalo en m subintervalos a + (i 1) m , a + i m y considerar
P
como aproximacion por defecto i a + (i 1) ba

f 1 [a+(i1) ba , a+i ba ) . Observese que, a
m
m
m
diferencia de la integral de Riemann, ahora estamos dividiendo en subintervalos el recorrido y
no el dominio de definicion. Sera natural definir como integral de esta funcion a la suma
!
X
i
"
ba
ba
ba
a + (i 1)
m f 1 a + (i 1)
, a+i
m
m
m
h
!!
Para esto es necesario que los conjuntos f 1 a + (i 1) ba

, a + i ba
sean medibles. Las
m
m
funciones que cumplen esta propiedad reciben el nombre de funciones medibles. Es una clase
muy amplia de funciones y en el marco de estas funciones se dara la teora de la integracion. En
esta seccion daremos la definicion de estas funciones y estudiaremos sus propiedades.
Definicion 3.1. Sea f una funcion definida en Rn a valores en la recta ampliada R = R
{, +} . Se dice que es medible si para cada numero real a el conjunto {x Rn ; f (x) > a}
es medible.
Observese que la definicion solo depende de la a lgebra M y no de la funcion medida m.
Ejemplo 3.1.
1. Toda funcion continua es medible. En efecto, los conjuntos

{x Rn ; f (x) > a}
son abiertos y por tanto medibles.

2. La funcion caracterstica de un conjunto medible es una funcion medible.
31
CAPITULO 3. INTEGRAL DE LEBESGUE
32
La siguiente proposicion da definiciones alternativas de funcion medible.

Teorema 3.1. Sea f una funcion definida en Rn a valores en la recta ampliada R = R
{, +} . Son equivalentes las siguientes condiciones:
a) Para cada numero real a el conjunto {x Rn ; f (x) > a} es medible.
b) Para cada numero real a el conjunto {x Rn ; f (x) a} es medible.
c) Para cada numero real a el conjunto {x Rn ; f (x) < a} es medible.
d) Para cada numero real a el conjunto {x Rn ; f (x) a} es medible.
e) Para cada abierto A de R, su antiimagen f 1 (A) es medible.
Demostracion. a)=b) Basta tener en cuenta que
n
{x R ; f (x) a} = n
1
x R ; f (x) > a
.
n
El conjunto {x Rn ; f (x) a} es una interseccion numerable de conjuntos medibles y, por

tanto, medible.
n
b)=c).Ya que {x Rn ; f (x) < a} = Rn
n {x R ; f (x) a} . o
c)=d). Ya que {x Rn ; f (x) a} = n x Rn ; f (x) < a + n1 .
d)=a). Ya que {x Rn ; f (x) > a} = Rn {x Rn ; f (x) a} . n
o
e)=a). Tener en cuenta que {x Rn ; f (x) > a} es la antiimagen de y R : y > a ..
a)=e). Todo abierto de R es una union numerable de intervalos abiertos o de semirrectas. Puesto que {x Rn ; a < f (x) < b} = {x Rn ; f (x) < b} {x Rn ; f (x) > a} y que
a)=c) se sigue e).
Con frecuencia utilizaremos funciones definidas en Rn a valores en R. En este caso, puesto
que los abiertos de R son la interseccion de los abiertos de R con R, la condicion e) de medibilidad se reducira a considerar u nicamente las antiimagenes de los abiertos de R.
La clase de las funciones medibles es cerrada por la mayor parte de las operaciones habituales. Esto se expresara en los siguientes teoremas.
Teorema 3.2. Sean f1 , ..., fr funciones medibles de Rn en R. Sea g una funcion continua de Rr
en R. La funcion compuesta g(f1 , ..., fr ) es medible.
Demostracion. Sea A un abierto de R. Por ser g continua g 1 (A) es un abierto de Rr . Sera
Q
entonces un union numerable de intervalos de la forma Ik = ri=1 [ai , bi ). La antiimagen B
por la funcion compuesta g(f1 , ..., fr ) del abierto A sera en consecuencia union numerable de
conjuntos del tipo ri=1 f 1 ([ai , bi )). Cada uno de los conjuntos f 1 ([ai , bi )) = f 1 ((, bi ))
f 1 ([ai , +)) es medible y por tanto B sera medible.
Corolario 3.3. La suma, producto y cociente con denominador no nulo de funciones a valores
reales medibles es medible.
Corolario 3.4. Si f es una funcion medible y g coincide con f salvo en un conjunto de medida
nula, tambien g es medible.
3.1. FUNCIONES MEDIBLES
33
Demostracion. La funcion h = f g sera una funcion no nula u nicamente en un conjunto de

medida nula. Teniendo en cuenta que todo subconjunto de uno de medida cero es medible de
medida cero, se tiene que h sera una funcion medible. Tendremos que g = f h sera medible.
Teorema 3.5. Si f1 y f2 son funciones medibles tambien son medibles sup{f1 , f2 }, inf{f1 , f2 }.
Si f es medible, tambien lo es |f |, f + , f .
Demostracion. Para probar que sup {f1 , f2 } es medible basta observar que para cada a R,
{x Rn ; sup {f1 , f2 } (x) > a} = {x Rn ; f1 (x) > a} {x Rn ; f2 (x) > a} . Las otras propiedades pueden reducirse a e sta teniendo en cuenta las siguientes relaciones
inf {f1 , f2 } = sup {f1 , f2 }
|f | = sup {f, f } , f + = sup {f, 0} , f = sup {0, f } .
Teorema 3.6. Sean {fn } una sucesion de funciones medibles. Entonces son medibles supn {fn },
inf n {fn }, lim sup {fn }, lim inf {fn } . Si f es el lmite punto a punto de la sucesion fn salvo en
un conjunto de medida nula, tambien f es medible.
Demostracion. La medibilidad de supn {fn } se obtiene como antes de la relacion
{x Rn ; sup {fn } (x) > a} = n {x Rn ; fn (x) > a} .
Teniendo en cuenta que inf n {fn } = supn {fn }, lim sup {fn } = inf n {supm>n {fm }},
lim inf {fn } = supn {inf m>n {fm }} se obtiene la medibilidad de estas funciones. Por u ltimo,
si una sucesion de funciones medibles tiene lmite puntual, e ste coincide con el lmite superior o
inferior y es por tanto medible. Si la sucesion deja de tener lmite f en un conjunto de medida
cero, podemos dar en este conjunto a todas las funciones un determinado valor constante. Las
nuevas funciones seran medibles y tendran lmite en todo punto. La funcion lmite sera medible
y coincidira con f salvo en un conjunto de medida nula. La funcion f sera entonces medible.
Definicion 3.2. Una funcion f : Rn R se dice simple si toma u nicamente un numero finito de
P
valores 1 , 2 , ..., r . Si Ai = f 1 (i ), la funcion se expresara como f = ri=1 i Ai .
Observese que una funcion simple que se expresa en la forma anterior como f = ri=1 i Ai ,
con i distintos, es medible si y solo si todos los conjuntos Ai son medibles.
El teorema siguiente nos expresa que toda funcion medible puede obtenerse como lmite de
funciones simples medibles.
P
Teorema 3.7. Sea f : Rn [0, +] una funcion medible. Existe una sucesion {sn } de funciones simples medibles tales que
a) 0 s1 s2 .... f
b) sm (x) f (x) para cada x Rn . Si f es acotada la convergencia es uniforme.
34
Demostracion. Consideremos para cada m N la funcion simple medible

sm =
m
m2
X
i=1
h
i1
Em,i + mFm
2m

donde Em,i = f 1 i1
, i , Fm = f 1 ([m, +]) .
2 m 2m
Veamos que sk sk+1 para cada k. Si f (x) k + 1, sk (x) = k < k + 1 = sk+1 (x). Si
k f (x) < k + 1, shk (x) =k sk+1 (x). Si f (x) < k tendremos que f (x) pertenecera a un
intervalo de la forma i1
, i para algun 1 i k2k . Tendremos entonces sk (x) = i1
=
2k 2 k
2k
2(i1)
2k+1
sk+1 (x).
Veamos que sk (x) f (x). Si f (x) = +, sk (x) = k para cada k y es cierta la afirmacion.
Si f (x) < k, tendremos i1
f (x) < 2ik , para algun i k2k . Entonces |f (x) sn (x)| 21k
2k
para n k.
Por u ltimo, si f esta acotado se tendra que para un cierto k y para todo x, f (x) < k y, como
antes, |f (x) sn (x)| 21k para n k para todo x Rn . La convergencia sera en este caso
uniforme.
3.2
Integracion de funciones simples medibles no negativas
Definicion 3.3. Sea s =

integral como
Pr
i=1
i Ai una funcion simple medible no negativa. Se define su

Z
s=
r
X
i m(Ai ).
i=1
Si E es un conjunto medible, la integral de s sobre E se define como

Z
E
s=
r
X
i m(Ai E).
i=1
En estas definiciones se entendera que si algun i es cero el producto por la medida de un

conjunto, aunque e sta sea +, es cero.
Veamos las propiedades esenciales de esta integracion.
Teorema
3.8. a) Sea s una funcion simple medible s 0, 0, E medible. Se tiene E s =
R
E s.
R
R
b) Sean s1 , s2 funciones simples no negativas, E medible. Se cumple E (s1 + s2 ) = E s1 +
R
E s2 .
R
R
c) Si s1 (x) s2 (x) para cada x se cumple E s1 E s2 .
d) Si Em esR una coleccion finita o numerable de conjuntos medibles disjuntos dos a dos
R
P
m Em s.
m Em s =
e) SiREm es unaRcoleccion numerable de conjuntos medibles E1 E2 ... con E = m Em
se tiene
s = lim Em s.
R E R
f) E s = sE .
R
3.3. INTEGRALES DE FUNCIONES MEDIBLES NO NEGATIVAS
35
Demostracion. a) Es inmediata.
P
P
P
b) Sean
s
1 =
i Ai y s2 =
j Bj . Tendremos que s1 + s2 =
i,j (i + j ) Ai Bj . De
R
P
aqu, que E (s1 + s2 ) = i,j (i + j ) m (Ai Bj E) =
R
R
P
P
i,j i m (Ai Bj E) +
i,j j m (Ai Bj E) = E s1 + E s2 .
P
P
c) Sean s1 s2 . Si escribimos como antes s1 = R i,j i ARi Bj , s2 = i,j j Ai Bj ,
tendremos i j si Ai Bj 6= . Es ahora evidente que E s1 E s2 .
d) y e) se deducen de la propiedad de la aditividad numerable de la medida (teorema 2.19) y
de su corolario 2.20.
f) Es inmediata.
3.3
Integrales de funciones medibles no negativas
Definicion 3.4. Sea f : Rn [0, +] una funcion medible. E un conjunto medible. Se define
la integral de f sobre E como
Z
E
Z
f = sup
s; 0 s f, s funcion simple medible .
Observese que la integral puede ser +. Debe tambien observarse que si f es una funcion
simple la definicion coincide con la ya dada para estas funciones.
Veamos un primer grupo de propiedades elementales de esta integral.
Teorema 3.9. a) Sea 0 f1 f2 , funciones medibles, E conjunto medible. Se tiene
E f2 .
R
R
b) Sea 0 f funcion medible, 0, R. Entonces E f = E f.
R
R
c) Sea 0 f funcion medible, E1 E2 medibles. Se cumple E1 f E2 f.
R
R
d) Para f y E como antes E f = f E .
R
E
f1
Demostracion. a), b) y c) son inmediatas. Veamos Rd). Si 0R s fR se sigue que sE

E f
R
y
adem
a
s
s
es
una
funci
o
n
simple.
De
aqu
que
s
=
s
.
Por
lo
tanto
E
E
E
E
Ef
R
R
R
f E . La desigualdad en el otro sentido sigue de que f E f implica f E = E f E
R
E f.
Teorema 3.10. Sea E un conjunto medible y f : E [0, +] medible. Entonces
R
R
a) Si Z es un conjunto de medida cero E f = EZ f.
R
b) Si E f < + entonces m {x E; f (x) = +} = 0.
R
c) Si E f = 0 entonces m {x E; f (x) 6= 0} = 0.
Una propiedad que se cumple para todos los puntos salvo para los de un conjunto de medida
cero se suele decir que se cumple casi por todo (c.p.t.). De esta forma la conclusion en b) se
enunciara diciendo que f es finita casi por todo. La conclusion de c) sera que f es nula casi por
todo.
36
Demostracion. a) La propiedad vale para las funciones simples ya que si A es medible, m(A) =
m(A Z). Se sigue entonces para cualquier funcion medible. Observese que esta propiedad
indica que la definicion de f sobre un conjunto de medida nula no es relevante a efectos de la
integracion, en forma analoga a como ya vimos que no lo era a efectos de la medibilidad de la
funcion. Si tenemos una funcion medible y la variamos sobre un conjunto de medida cero, e sta
continua siendo medible y su integral no vara.
R
R
R
b) Sea F = {x E; f (x) = +} . Tendremos E f F f = F (+) . Si esta integral es
finita implica que m(F ) = n
0.
o
R
R
R
c) Consideremos En = x E; f (x) > n1 . Tendremos En n1 En f E f = 0. De aqu
que m(En ) = 0 y, como {x E; f (x) 6= 0} = n En se sigue que m ({x E; f (x) 6= 0}) =
0.
Veamos un teorema de paso al lmite bajo el signo integral que tendra consecuencias importantes. La hipotesis relevante en este teorema es la monotona de la sucesion.
Teorema 3.11. (Teorema de la convergencia monotona)
Sea E un conjunto medible y fn una sucesion de funciones medibles tales que
0 f1 f2 ... c.p.t.
Entonces existira c.p.t. lim fn . Si le llamamos f se tiene
lim
Z
E
fn =
f.
Demostracion. En primer lugar observemos que si en el conjunto de medida cero donde la sucesion {fn } deja de ser monotona damos como nuevo valor de las funciones 0, la sucesion sera
ahora monotona en todos los puntos y los valores de las integrales no habran variado. Podemos
pues ya suponer desde un principio que la sucesion deR las funciones es monotona en todos los
puntos. De esta monotona se sigue que la sucesion { E fn } es monotona creciente y por tanto
tendra lmite. Llam
emosleR l. Por otro lado
la funci
on f = lim fn sera una funcion medible y
R
R
R
fn f. Por tanto E fn E f y l = lim E fn E f.
Veamos la desigualdad en sentido contrario. Sea s una funcion simple, medible 0 s f
y sea un numero real 0 < < 1. Consideremos Em = {x Rn ; fm (x) s(x)} . Estos
conjuntos son medibles y E1 E2 ... y Rn = m Em . Tendremos
Z
E
fm
Z
EEm
fm
s.
EEm
Tomando lmites y teniendo en cuenta que E = m (E Em )

l lim
Z
EEm
s=
s.
Puesto que es valido para cada <

1, pasando al lmite cuando 1, l
R
supremo en s concluimos que l E f.
R
E
s. Tomando el
3.3. INTEGRALES DE FUNCIONES MEDIBLES NO NEGATIVAS
37
Ejemplo 3.2. Sea f una funcion continua no negativa, definida en I = [a, b]. Consideremos una
sucesion n de particiones de I de manera que cada una se mas fina que la anterior y que el
maximo de las longitudes de los intervalos que intervienen en la particion tiene por lmite cero.
Asociemos a cada una de las particiones anteriores una funcion de la forma siguiente. Si n
esta formado por los puntos a = x0 < x1 < ... < xm1 < xm = b le haremos corresponder
la funcion fn = s1 [x0 ,x1 ) + s2 [x1 ,x2 ) + ... + sm1 [xm2 ,xm1 ) + sm [xm1 ,xm ] , donde si es el
nfimo de la funcion en el intervalo correspondiente [xi1 , xi ). La sucesion {fn } es monotona
creciente y tiene por lmite f. El teorema deR la convergencia monotona dira que f es integrable
P
y que su integral es el lmite de la sucesion fn = i si |xi xi1 |. Observamos que este lmite
no es otra cosa que la integral de Riemann de f que, de esta forma, coincide con su integral de
Lebesgue.
Observese que para cualquier funcion medible no negativa f siempre existe una sucesion
{s
}
monotona
creciente de funciones simples medibles con lmite f . Tendremos entonces que
R n
R
E f = lim E sn . Veamos algunas consecuencias.
Teorema 3.12. a) Sean f, g funciones medibles, no negativas, definidas en un conjunto medible
E. Entonces
Z
Z
Z
(f + g) =
f + g.
E
b) Si fn : E [0, +] son funciones medibles, se cumple

Z X
E
fn =
XZ
E
fn .
c) Sea En una sucesion de conjuntos medibles, disjuntos dos a dos, f una funcion medible
en E = En . Entonces
Z
XZ
f.
f=
E
En
Demostracion. a) Consideremos dos sucesiones monotonas de funciones

simples
medibles
{sn }
R
R
R
y {tn } que converjan
respectivamente
a f y a g. Tendremos E (sn + tn ) = E sn + E tn y,
R
R
R
pasando al lmite, E (f + g) = E f + E g.
b) Es suficiente aplicar el teorema de la convergencia monotona a las sumas parciales de la
P
serie fn y tener en cuenta la propiedad anterior.
P
c) Considerar f E = f En y aplicar b).
Veamos una propiedad referente a funciones medibles no negativas, consecuencia del teorema de la convergencia monotona y que se utilizara en otros teoremas de paso al lmite bajo el
signo integral.
Teorema 3.13. (Lema de Fatou) Sea fn una sucesion de funciones medibles definidas en un
conjunto medible E, a valores en [0, +] . Se cumple
Z
E
lim inf fm lim inf
Z
E
fm .
38
Demostracion. Sea gm = inf {fm , fm+1 , ...} . Es una sucesion monotona creciente de funciones
medibles no negativas cuyo lmite es lim inf fm . El teorema de la convergencia monotona nos
dira que
Z
Z
E
lim inf fm = lim
Por otro lado gm fr para r m. Por tanto

lim
Z
E
R
E
gm lim inf
gm .
gm inf rm
rm E
R
E
fr = lim inf
fr . De donde
Z
E
fm .
Esto permite concluir la prueba.

Ejemplo 3.3. La desigualdad en la conclusion del lema de Fatou puede ser estricta. Considerese, por ejemplo, como funciones fn la funcion caracterstica de un conjunto
D si n es par
R
y 1 D si n es impar. Tendremos que lim inf fn = 0 mientras que lim inf fn no sera nula si
las integrales de D y de 1 D no lo son.
3.4
Funciones integrables
Definicion 3.5. Sea E un conjunto medible de

Rn y fR : E [, +] una funcion medible.
R
Se dice que fR es integrable
siRlas integrales E f + y E f son finitas. En este caso la integral
R
de f en E es E f = E f + E f . Denotaremos al conjunto de las funciones integrables en E
por L (E) .
La finitud de las integrales E f + y E f implica que la funcion f toma valores finitos salvo
en un conjunto de medida nula. Es por ello que las operaciones entre funciones integrables
se deberan entender que estan definidas casi por todo. Esto no ofrece problemas referente a
propiedades de las integrales de estas funciones ya que de la definicion se sigue que el valor de
una integral no depende de los valores que pueda tomar la funcion sobre un conjunto de medida
nula.
Otra observacion que conviene hacer sobre
la definicion de funcion integrable es que una
R
funcion f medible, es integrable si y solo si E |f | es finita. Esto se deduce de que |f | = f + + f
y de que f + , f |f | . De esta forma, si f es medible, es integrable si y solo si lo es |f | .
Veamos un grupo de propiedades elementales de las funciones integrables.
R
Teorema 3.14. a) Si f, g L(E) , entonces f + g L(E) y E (f + g) = E f + E g.

R
R
b) Si f L(E) y R, entonces f L(E) y E f = E f.
R
R
c) Sean f, g L(E), f g. Entonces E f E g.
R
R
d) Si f L(E), se cumple | E f | E |f | .
e) Sea f medible en E y g L(E) tal que |f | g. Entonces f L(E).
R
R
f) Sean E y F conjuntos medibles, F E y f L(E). Entonces f L(F ) y F f = E f F .
g) SeaRuna sucesi
on Em de conjuntos medibles disjuntos dos a dos. E = Em y f L(E).
PR
Entonces E f =
Em f.
R
3.4. FUNCIONES INTEGRABLES
39
Demostracion. a) La desigualdad |f + g| |f | + |g| prueba que E |f + g| < E |f | + E |g| <

+ y, por tanto, la integrabilidad de f + g. Llamemos h = f + g.R Se tendr
a h+
h =
R
R
+
+
fR + f +g
g R. De donde h+ +f +g = h +f + +g + . Por lo tanto E h
+ E Rf + ERg =
R
R
+
+
E h + E f + E g . Como todas las integrales son finitas se sigue que E h = E f + E g.
b) Si = 0 es trivial. Si > 0, (f )+ = f + y (f ) = f y por tanto
R
f =
f =
f.
Si < 0, (f )+ = f y (f ) = f + . Esto implica que

Z
f = ()
f ()
f =
f.
c) Si f g tenemos g f 0 , de donde E (g f ) R 0 y E Rf E g. R
R
d) Puesto que f, f |f | los apartados anteriores dan E f E |f | y E f E |f | .
e) Trivialmente |f | es integrable y por tanto lo es f.
f) y g) Basta considerar la mismas propiedades para f + y para f .
R
Podemos dar ahora una version del teorema de la convergencia monotona para funciones
integrables no necesariamente no negativas.
Teorema 3.15. Sea E un conjunto medible y {fRn } una sucesion de funciones integrables en
E
tales queR f1 (x) f2 (x) ...c.p.t. en E y E fn C. Entonces f = lim fn L(E) y
R
E f = lim E fn .
Demostracion. Consideremos la sucesion monotona creciente c.p.t. de funciones no negativas
R
c.p.t. {fn
f } . El teorema deRla convergencia monotona para estas funciones dara que E (f
R 1
f1 ) = lim E (fn f1 ) C E f1 . En particular la funcion f f1 sera integrable y, por serlo
f1 tambien lo sera su suma f . Tendremos entonces que
Z
E
La finitud de
R
E
Z
E
Z
f1 = lim
fn
Z
E
f1 .
f1 nos permite concluir la prueba.
Observese que si la sucesion de funciones integrables es monotona decreciente y sus integrales estan acotadas inferiormente tambien podremos pasar al lmite bajo el signo integral. Basta
considerar la sucesion de las funciones fn y aplicar la proposicion anterior. No obstante debiera
observarse que sin la hipotesis de integrabilidad, aun siendo las funciones no negativas, no puede
concluirse el teorema. Por ejemplo las funciones [n,+) , definidas en R, forman una sucesion
decreciente de integral +. Su lmite es la funcion identicamente cero cuya integral es 0.
Corolario 3.16. Sea E un conjunto medible y {f
} una sucesion de funciones integrables en
Rn
E
tales queR f1 (x) f2 (x) ...c.p.t. en E y E fn C. Entonces f = lim fn L(E) y
R
E f = lim E fn .
40
Teorema 3.17. (Teorema de la convergencia dominada)

Sea E un conjunto medible y fn : E [, +] una sucesion de funciones medibles tales
que
a) existe lim fn (x) = f (x) c.p.t. en E.
b) Existe una funcion gR L(E) tal
que c.p.t. en E |fn (x)| g(x).
R
Entonces f L(E) y E f = lim E fn .
Demostracion. Variando si es preciso fn y f en un conjunto de medida nula no hay problema
en suponer que el lmite en a) y la desigualdad en b) existen en todos los puntos. Tendremos
entonces que |f (x)| g (x) y tanto fn como f seran integrables. Consideremos
g f = lim(g fn )
g + f = lim(g + fn )
donde g fn 0 y g + fn 0.
Utilizando el lema de Fatou (teorema 3.13) tendremos
R
R
(g
f
)
lim
inf
(g fn )
E
R
RE
E (g
Puesto que
R
E
+ f ) lim inf
lim inf R E (fn )

E f lim inf E fn .
lim sup
Z
E
f = lim
R
E
)
E (f
R
Por tanto
De donde
+ fn )
g < + y tanto fn como f son integrables podremos deducir

R
E (g
fn
Z
E
f lim inf
Z
E
fn .
fn .
Observese que la convergencia uniforme de una sucesion de funciones no implica que podamos pasar al lmite bajo el signo integral. Por ejemplo la sucesion fn (x) = n1 [0,n] converge
uniformemente a 0 mientras que sus integrales son todas ellas igual a 1. No obstante
si fn R f
R
uniformemente en un conjunto E de medida finita entonces
si queR se deduce que E fn E f .
R
Basta tener en cuenta que si |fn f | < en E entonces | E fn E f | < m (E).
Veamos un teorema consecuencia de los teoremas de convergencia monotona y dominada.
Teorema 3.18.
Sea fn una sucesion de funciones integrables en un conjunto medible
E. Si se
R P
P R
P
P
cumple
|fn | converge c.p.t. en E, fn L(E) y E fn =
n E |fn | < + entonces
PR
f
.
E n
Demostracion. Por el teorema de la convergencia monotona (teorema 3.11) se sigue que |fn |
P
es integrable en E. En particular la suma de la serie sera finita c.p.t. en E y, en particular, fn
sera convergente c.p.t. en E. Por otro
parciales de esta serie estaran dominadas
P lado las
sumas
P
N

por una funcion integrable, ya que n=1 fn n |fn | L(E). El teorema de la convergencia
dominada (teorema 3.17) permitira acabar la demostracion del teorema.
P
ENTRE LA INTEGRAL DE RIEMANN Y LA INTEGRAL DE LEBESGUE

3.5. RELACION
41
3.5
3.5.1
Relacion entre la integral de Riemann y la integral de Lebesgue

Integral de Riemann propia e integral de Lebesgue
Teorema 3.19. Sea f una funcion definida en un intervalo I de Rk a valores en R, integrable

en el sentido de Riemann. Entonces es integrable en el sentido de Lebesgue y las integrales
coinciden.
Demostracion. Escribiremos con la letra L o R delante de la integral cuando se quiera precisar si la integral es en el sentido de Lebesgue o de Riemann respectivamente. Sea n una
sucesi
on de particiones de I en subintervalos, cada una mas fina que la anterior y tal que
R
R f = lim s(f, n ) = lim S(f, n ). Esto se deduce de la expresion de la integral de
Riemann como nfimo de sumas superiores o como supremo de sumas inferiores, y de las propiedades elementales de estas sumas. Sean Ii los intervalos de la particion. Tendremos que si mi
y Mi son los supremo e nfimo de f respectivamente en el intervalo Ii
s(f, n ) =
S(f, n ) =
tn donde tn =
Tn donde Tn =
mi Ii
Mi Ii
En todos los puntos que no son frontera de los diversos intervalos que aparecen en las particiones
n y, por tanto, c.p.t. en I se cumpliran las desigualdades
t1 t2 ... f ... T2 T1 .
Las funciones t(x) = lim tn (x) y T (x) = lim Tn (x) existiran c.p.t. y seran funciones medibles.
Si probamos que c.p.t. t(x) = T (x), estas funciones coincidiran con f y e sta sera una funcion
medible. Ahora bien T t es el lmite de la sucesion monotona decreciente de funciones integrables no negativas
c.p.t. Tn R tn . El teorema de la convergencia monotona (teorema 3.16) nos
R
dira que L (T t) = lim (Tn tn ). = 0. Por tanto (teorema
3.10) TR t = 0 c.p.t..
El
R
R
teorema de la convergencia monotona nos dara tambien que L f = lim tn = R f .
Puede darse una caracterizacion de las funciones integrables en el sentido de Riemann en
terminos de la medida de los puntos de discontinuidad de la funcion. Concretamente f definida
y acotada en [a, b] es integrable en el sentido de Riemann si y solo si el conjunto de puntos de
discontinuidad de la funcion es de medida nula. Puede verse en el apendice del captulo 1 la
demostracion. Conociendo este teorema la medibilidad de una funcion integrable Riemann es ya
evidente y la demostracion del teorema anterior podra haberse simplificado.
Observese que el teorema permite aplicar al calculo de la integracion en el sentido de Lebesgue de las funciones integrables en el sentido de Riemann los metodos conocidos para e stas. Por
ejemplo el teorema fundamental del calculo o el calculo por integrales iteradas cuando e ste sea
valido.
42
Ejemplo 3.4. Sea I un intervalo cerrado, f continua en I. La funcion es integrable Lebesgue

y su integral coincide con la integral de Riemann. Mas generalmente, si A I es un conjunto
con contenido de Jordan definido la integral de Lebesgue sobre A coincide con la integral de
Riemann.
3.5.2 Relaciones de la integracion de Lebesgue con la integracion impropia

de Riemann
Teorema 3.20. Sea f : [a, b) R una funcion localmente integrable en el sentido de Riemann
con b R {+}. Son equivalentes:
a) La
integral impropia de Riemann
Rx
tal que a |f | C para a < x < b.
b) f L([a, b)).
En este caso
R
b
a
f =L
R
[a,b]
R
b
a
f es absolutamente convergente, es decir existe C
f.
Demostracion. Supongamos que se cumple a). Sea {xn } una sucesion monotona creciente de
numeros reales, a < xn < b y {xn } b. Tendremos f = lim f [a,xn ] . Cada elemento de
esta sucesion es medible, por ser R-integrable, y por tanto f es medible. Por otro lado, puesto
que |f | = lim |f | [a,xn ] , aplicando el teorema de la convergencia monotona (teorema 3.11) y la
hipotesis a) se sigue que |f | es L- integrable y por tanto lo es f.
R
R
Sea ahora b) cierto. Se tendra ax |f | [a,b) |f | y por tanto vale a).
El teorema de la convergencia dominada (teorema 3.17) da
Z
f = lim
xn
f =L
f.
[a,b]
Ejemplo 3.5. La funcion e x es integrable en [1, +) ya que la integral impropia 1+ e x dx

es convergente. Por la misma razon son integrables las funciones xa para a < 1. Sus integrales
coinciden con las correspondientes integrales de Riemann impropias.
R
Debe observarse que la existencia de integral impropia de Riemann no implica la convergencia de Lebesgue. De hecho, como consecuencia del teorema anterior, si existe la integral
impropia pero sin convergencia absoluta la funcion no es integrable en el sentido de Lebesgue.
n
Ejemplo 3.6. Sea la funcion f : [0, +) R definida por f (x) = (1)

si n 1 x < n.
n
Rx
Pn1 (1)i
(1)n
Es integrable en sentido impropio de Riemann pues 0 f = i=1 i + n (x n + 1) si
n 1 x < n y por tanto su lmite cuando x tiende a + es la suma de la serie convergente
P (1)n
P
. La integral no converge absolutamente pues n1 = + y, por lo tanto, la funcion no
n
es integrable en el sentido de Lebesgue.
DEFINIDA POR UNA INTEGRAL

3.6. CONTINUIDAD DE UNA FUNCION
DEPENDIENTE DE UN PARAMETRO.
3.6
43
Continuidad de una funcion definida por una integral dependiente de un parametro.
Teorema 3.21. Sean I, J dos intervalos de Rp y Rq respectivamente y f : I J R tal que

a) Para cada y J la funcion de I en R tal que x f (x, y) es medible.
b) Existe g L(I) tal que para cada y J se cumple |f (x, y)| g(x) c.p.t. en I.
c) La funcion f (x, y) es continua en la variable y c.p.t. x de I.
Entonces f (., y) L(I) para cada y y su integral es una funcion continua en y, es decir
lim
yt I
f (x, y) =
lim f (x, y) =
I yt
f (x, t).
Demostracion. Desde luego de a) y de b) se sigue que f (x, y) es integrable en la variable x para

cada y. Sea ahora yn una sucesion que tenga por lmite t. Llamemos Fn (x) = f (x, yn ). De la
condicion c) tenemos que c.p.t. x se cumple que Fn (x) f (x, t). Ademas |Fn (x)| g(x). Por
el teorema de la convergencia dominada (teorema 3.17) podremos pasar al lmite bajo el signo
integral.
Ejemplo 3.7.
1. Se define la funcion mediante la integral (y) = 0+ ex xy1 dx. Esta
integral es convergente para y > 0. En efecto, basta tener en cuenta que si 0 < y0
y y1 < +, |ex xy1 | esta acotada por cxy0 1 para 0 < x 1 y por ex xy1 1 para
x 1 y que esta funcion dominadora es integrable. La proposicion anterior permitira
asegurar que esta definida y es continua en y0 y y1 y, por tanto, para cada y > 0.
R
2.
R +
exy sinx x dx es convergente y continua para y > 0. En forma similar al ejemplo

anterior basta considerar para 0 < y0 y y1 < + la acotacion exy sinx x cexy0 .
0
3.7 Derivacion bajo el signo integral

Teorema 3.22. Sean I, J intervalos abiertos de Rp y de R respectivamente, f : I J R que
cumple
a) Para cada y J la funcion f (., y) es medible y para un a J, f (., a) L(I).
b) Existe f
(x, y) para cada (x, y) I J.
y

c) Existe g L(I) tal que f

(x, y) g(x) para (x, y) I J.
y
R
Entonces para cada y R J, f (., y) L(I), la funcion F (y) = I f (x, y) es derivable en
todos sus puntos y F 0 (y) = I f
(x, y).
y
Demostracion. Aplicando el teorema del valor medio, para cada x, y existe c comprendido
entre a e y tal que f (x, y) f (x, a) = (y a) f
(x, c). Por tanto |f (x, y)| |f (x, a)| +
y

|y a| f
(x, c) . De a) y b) se sigue entonces que f (., y) L(I).
y
(x,y)
Sea y J y una sucesion yn y con yn 6= y. La sucesion gn (x) = f (x,yynn)f
L(I)
y
f
tiene por lmite y (x, y) para cada x I. Como consecuencia del teorema del valor medio
44
|gn (x)| g(x), para x I con g L(I). Podremos aplicar el teorema de la convergencia
dominada con lo que
lim
Z
Z
Z
F (yn ) F (y)
f
= lim gn (x) = lim gn (x) =
(x, y).
yn y
I
I
I y
Ejemplo 3.8. La funcion (y) es derivable

en 0 < y < +. En efecto, la derivada bajo el
R + x y1
signo integral de la expresion de da 0 e x ln x dx. Sera suficiente tener en cuenta que
para 0 < y0 y y1 < + se tiene la acotacion |ex xy1 ln x | cxy0 1 |ln x| si 0 < x 1
y |ex xy1 ln x | ex xy1 1 |ln x| si 1 x < + y que la funcion definida por cxy0 1 |ln x| si
0 < x 1 y por ex xy1 1 |ln x| si 1 x < + es integrable.
3.8
Integracion en un espacio producto
Designaremos por (x, y) a los elementos de Rn = Rp Rq para x Rp y y Rq . Dado un

conjunto E de Rn y x Rp consideraremos el subconjunto de Rq , Ex = {y Rq ; (x, y) E} .
Analogamente, si y Rq sea E y = {x Rp ; (x, y) E} . Designaremos por mn , mp , mq
respectivamente a las medidas de Lebesgue en Rn , Rp , Rq si queremos especificar de cual se
trata. Siguiendo estas notaciones tendremos el siguiente teorema.
Teorema 3.23. Sea E un conjunto medible de Rn . Entonces
a) Los conjuntos Ex son medibles c.p.t. x. Analogamente los E y son medibles c.p.t. y.
b) Las funciones
x mq (ERx ) y y mp (E y ) son medibles.
R
c) mn (E) = Rp mq (Ex ) = Rq mp (E y ).
Demostracion. Veremos, en primer lugar, que el teorema se cumple para los conjuntos de la
forma producto de dos intervalos, pasaremos despues a probarlo para el caso de un conjunto
abierto, seguidamente para un conjunto medible acotado y, finalmente para un conjunto medible
cualquiera. Probaremos el teorema u nicamente para los conjuntos Ex y su correspondiente funcion medible. En forma completamente analoga se probaran los enunciados para los conjuntos
E y y la funcion medible y mp (E y ).
Sea E = I p I q . Los intervalos pueden ser abiertos, cerrados o semiabiertos. Tendremos
que Ex = I q si x I p y Ex = si x
/ I p . De esta forma Ex es un conjunto medible para todo
x y la funcion x mq (Ex ) = mq (I q )I p (x) es una funcion medible. Por u ltimo, se cumple c)
para estos conjuntos ya que
Z
Rp
mq (I q )I p = mp (Ip )mq (Iq ) = mn (Ip Iq ).
Sea ahora E un conjunto abierto. Se podra expresar como una union de un conjunto numerable de intervalos semiabiertos disjuntos. Sea una tal descomposicion E = Im . Cada uno de
estos intervalos cumple el teorema. Tendremos que Ex = Imx y, por ser union numerable de
P
conjuntos medibles, sera medible para cada x. La funcion mq (Ex ) = mq (Imx ) y sera por tanto
EN UN ESPACIO PRODUCTO
3.8. INTEGRACION
45
medible. Por u ltimo del teorema de la convergencia monotona (teorema 3.11) y de la propiedad
de la aditividad numerable de las medidas (teorema 2.19) tendremos
mn (E) =
mn (Im ) =
XZ
Rp
mq (Imx ) =
Rp
mq (Imx ) =
Z
Rp
mq (Ex )
y, por tanto, vale el teorema para conjuntos abiertos.

Seguidamente sea E un conjunto medible acotado. Existiran una sucesion de conjuntos abiertos Am acotados y una sucesion Km de compactos tales que
A1 A2 ... E ... K2 K1
con mn (Am Km ) 0.
A cada abierto Am Km se le podra aplicar el teorema con lo que mq (Amx Kmx ) sera
una sucesion de funciones medibles, decreciente y no negativas. Tendra un lmite, sea (x) =
lim mq (ARmx Kmx ). El Rteorema de la convergencia monotona decreciente (teorema 3.16) nos
dara que Rp (x) = lim Rp mq (Amx Kmx ) = lim mn (Am Km ) = 0. Tendremos entonces
que (x) = 0 c.p.t. x. Consideremos los puntos x en que lim mq (Amx Kmx ) = 0. Puesto
que Amx son abiertos y Kmx son compactos tendremos que Ex sera medible y vale a) para estos
conjuntos. Tendremos tambien que, para los mismos puntos, mq (Ex ) = lim mq (Amx ) y por
tanto la funcion x mq (Ex ) sera medible. Por u ltimo el teorema de la convergencia monotona
dara
mn (E) = lim mn (Am ) = lim
Z
Rp
mq (Amx ) =
Z
Rp
lim mq (Amx ) =
Z
Rp
mq (Ex ).
Esto prueba c) para los conjuntos medibles acotados.

Sea finalmente E un conjunto medible arbitrario. Consideremos los conjuntos Em = E
([m, m] [m, m]) . Tendremos que Ex = Emx . Cada Emx es medible para cada x
salvo un conjunto Nm de medida nula. Ex sera medible salvo quiza en Nm que es de medida
nula. Tendremos, por otro lado, mq (Ex ) = lim mq (Emx ) y por ser mq (Emx ) funciones medibles
sera a su vez medible. Una nueva aplicacion del teorema de la convergencia monotona junto a
propiedades basicas de la medida permite obtener
mn (E) = lim mn (Em ) = lim
Z
Rp
mq (Emx ) =
Z
Rp
lim mq (Emx ) =
Z
Rp
mq (Ex )
que nos da c).

Dada una funcion f definida en el espacio producto Rp Rq se designara por fx a la funcion
definida en Rq mediante fx (y) = f (x, y). Analogamente f y denotara la funcion definida en Rp
por f y (x) = f (x, y). Por ejemplo, si f es E , la funcion caracterstica de un conjunto E
Rp Rq , tendremos que (E )x = Ex y (E )y = E y .
Teorema 3.24. (Teorema de Tonelli)
Sea f : Rp Rq [0, +] una funcion medible, no negativa. Entonces
a) Las funciones fxRson c.p.t. x medibles. Analogamente las funciones
f y.
R
b) La funcionRx Rq fx Res medible.
An
alogamente la funcion y Rp f y .
R
R R
c) Se cumple Rp Rq f = Rp Rq fx = Rq Rp f y .
46
Demostracion. El teorema anterior es equivalente a decir que el teorema es valido para funciones caractersticas de conjuntos medibles. Sera entonces tambien cierto para funciones simples
medibles no negativas. Para una funcion f como la del enunciado consideremos una sucesion
sm de funciones simples no negativas, monotona creciente y cuyo lmite es f . Tendremos que
para cada x de Rp , smx fx . Por lo que acabamos de decir cada smx es medible salvo en un
conjunto Nm de medida nula y, por lo tanto, todas ellas son medibles salvo en Nm que es de
medida nula. Por tanto las funciones
fx son Rmedibles c.p.t. x y vale a). Por el teorema de la
R
convergencia monotona se tiene Rq fx = lim Rq smx y por ser e stas medibles lo sera el lmite y
por tanto es valido b). Por u ltimo, el teorema de la convergencia monotona aplicado dos veces
dara
Z Z
Z Z
Z
Z
fx = lim
smx = lim
sm =
f.
Rp
Rq
Rp
Rq
Rp Rq
Rp Rq
De forma analoga se prueban los enunciados cambiando el orden de integracion de las variables.
Ejemplo 3.9.
1. Expresemos el volumen del interior del cilindro en R3 definido por x2 +y 2 =
4x comprendido entre el plano z = 0 y el paraboloide x2 + y 2 = 4z como integrales
itera2
das.Para cada 0 < x < 4 los valores de y estaran en el intervalo de extremos
4x
h
i x
2
2
. Teny + 4x x2 . Para cada par (x, y) la variable z estara en el intervalo 0, x +y
4
dremos entonces que el volumen sera
2. Consideremos la funcion f (x, y) =
Z
0
R4
0
dx
xy
x2 +y 2
R +4xx2
4xx2
dy
x2 +y 2
4
dz.
definida en (0, 1) (0, 1). Se tiene que
xy
1
dy = x ln 1 + 2 .
2
2
x +y
x

Esta funcion se extiende por continuidad en x = 0 y por tanto es integrable en (0, 1).
Luego, por tratarse de una funcion no negativa, f es integrable en (0, 1) (0, 1).
Observese que las u nicas hipotesis del teorema son la no negatividad de la funcion y su
medibilidad. A partir de e stas si una de las integrales iteradas es finita se obtiene que, permutando
el orden de integracion, el resultado es el mismo y coincide con la integral en el espacio producto.
En el enunciado no se excluye que todas las integrales sean +, pero si una de las integrales
iteradas es finita ya se puede asegurar que la funcion es integrable. Como veremos sin la hipotesis
de no negatividad de la funcion el resultado puede ser falso. Veamos antes un teorema en que
sin esta hipotesis de no negatividad permite obtener la integral en el espacio producto como
integrales iteradas.
Teorema 3.25. (Teorema de Fubini)
Sea f : Rp Rq R una funcion integrable. Entonces
a) Las funciones fx son c.p.t. x integrables. Analogamente las funciones f y son c.p.t. y
integrables.
R
R
b) La funcion x Rq fx es integrable. Analogamente lo es la funcion y Rp f y .
R R
R R
R
c) Se cumple Rp Rq f = Rp Rq fx = Rq Rp f y .
EN UN ESPACIO PRODUCTO
3.8. INTEGRACION
47
Demostracion. Las funciones f + y f son no

negativas y de
integral finita. El teorema
anteR R
R
R R
+
+
+
rior
nos da que fx y fx son medibles,
que
< + y Rp Rq fx =
Rp Rq fx = Rp Rq f
R
R
R
+
< +. En particular
y q f son finitas c.p.t. y por tanto fx Rson integrables
q f
Rp Rq f
R
R
RR x+ R R x
c.p.t. x. Tendremos que Rq fx = Rq fx Rq fx . Puesto que las funciones de x, Rq fx+ y Rq fx
son integrables lo sera su diferencia (vale, entonces b)) y su valor sera
Z
Rp
Z
Rq
f=
Z
Rp
Z
Rq
fx+
Rp
Rq
fx =
Z
Rp Rq
f+
Z
Rp Rq
f =
Z
Rp Rq
f.
De una forma analoga se prueban los enunciados cambiando el orden de integracion de las variables.
Con frecuencia, para comprobar la hipotesis de integrabilidad de la funcion en el teorema de
Fubini, se utiliza el teorema de Tonelli. Supuesta ya la medibilidad de la funcion f , su integrabilidad es equivalente a la de |f |. Esta es una funcion no negativa por lo que su integrabilidad
equivale que las integrales iteradas den un valor finito. Una vez asegurada su integrabilidad podemos aplicar ya las conclusiones del teorema de Fubini, en particular la integral de la funcion
se puede calcular mediante las integrales iteradas en el orden que sea mas adecuado.
Ejemplo 3.10.
1. Consideremos la funcion definida en [0, 1][1, +) por f (x, y) = exy
2xy
2e
. Veamos que las integrales iteradas existen pero que son distintas si se cambia el orden de integracion. En efecto, observese que para cada x (0, 1) la funcion exy 2e2xy
toma valores positivos para y suficientemente grande. Tendremos entonces que la integral de Lebesgue en la variable y en
la semirrecta [1, +) existira si es convergenR + xy
te la integral impropia de Riemann 1 (e
2e2xy ) dy y coincidira con su valor
x
x
e (1e )
. Esta funcion es integrable en (0, 1) y dara un valor positivo. Por otro lado
R 1 xxy
y
y )
2e2xy ) dx = e (1e
. Esta funcion es integrable en [1, +) y dara como
0 (e
y
integral un valor negativo. La conclusion, teniendo en cuenta el teorema de Fubini, es que
la funcion no es integrable.
2. Sea f L(Rp ) y g L(Rq ), entonces f (x)g(y) L(Rp Rq ). Veamos en primer lugar
la medibilidad de la funcion. Sera suficiente probar la medibilidad de f (x) como funcion
definida en Rp Rq . Si f como funcion en Rp es el lmite de funciones simples medibles
P
de la forma ai Ai , tendremos que como funcion en Rp Rq sera lmite de una sucesion
P
de funciones de la forma ai Ai Rq . Sera entonces suficiente probar que si A y B son
conjuntos medibles respectivamente en Rp y en Rq , A B es medible en Rp Rq . Todo tal
conjunto se puede expresar como una union numerable de conjuntos del mismo tipo donde
A y B son ahora acotados. Dado > 0 existiran abiertos acotados U Rp y V Rq y
compactos K y L tales que
KAU
LBV
y mp (U K) <
y mq (V L) < .
Tendremos entonces que K L es compacto, U V es un abierto,

K LAB U V
48
y mp+q (U V K L) mp+q (U (V L)) + mp+q ((U K) V ). Ahora bien, la

medida de un producto de dos abiertos es el producto de las medidas de los abiertos. Esto
puede comprobarse descomponiendo cada uno de ellos como union numerable de intervalos diadicos disjuntos, o bien aplicando el teorema de Fubini a la funcion caracterstica
del producto de estos abiertos. Tendremos entonces que
mp+q (U V K L) mp (U ) mq (V L) + mp (U K) mq (V ) c.
Por lo tanto A B es medible.
Una vez visto que f (x)g(y) es medible
su integrabilidad Rse sigue aplicando
el teoreR R
R
ma de Tonelli a |f (x)g(y)| , ya que Rp Rq |f (x)g(y)| = Rp |f (x)|R Rq |g(y)| < +.
Podremos
entonces aplicar el teorema de Fubini y tendremos que Rp Rq f (x)g(y) =
R
R
Rp f (x) Rq g(y).
3.9 Cambio de variable en la integracion

Sean U y V dos abiertos de Rn y g una aplicacion de clase C 1 , biyectiva de U en V con inversa
del mismo tipo. Como consecuencia del teorema de la funcion inversa es equivalente a decir
(g1 ,...,gn )
que la aplicacion g es biyectiva, de clase C 1 y que (x
es no nulo en todos los puntos.
1 ,...,xn )
A esta aplicacion g se le denominara un cambio de variable. Observese que si g es un cambio
de variable tambien lo es g 1 . Es de interes observar que la imagen por una tal aplicacion g de
un conjunto compacto es un conjunto compacto y que la imagen de un abierto es un conjunto
abierto. Mas adelante veremos que la imagen de un conjunto medible tambien es un conjunto
medible. Se trata de relacionar las integrales de una funcion f definida en V con una integral
en que que a la funcion f se le haya efectuado el cambio de variable es decir f g. Como
en el caso de las integrales de Riemann de una variable la integral de f no coincidira con la de
f g sino que esta funcion debera multiplicarse por el modulo del determinante jacobiano de la
transformacion g.
Ejemplo 3.11.
1. Consideremos U el abierto de R2 definido por (0, +) (0, 2) y V =
R2 {(x, 0) ; x 0}. Sea g : U V definida por x = cos , y = sin . Se trata de
un cambio de variable. A las nuevas coordenadas se les denomina coordenadas polares.
Si tenemos una funcion definida en V, z = f (x, y) efectuar el cambio de variables a
esta funcion es considerar z g, es decir, f ( cos , sin ). Como ya veremos, la integral
de una funcion f (x, y) sobre V coincidira con la integral de f ( cos
dg|
, sin ) |det
2
2
sobre U . Para este cambio de coordenadas se tiene |det dg| = cos + sin y
por tanto se debera integrar f ( cos , sin ) sobre U. Si se trata de integrar f sobre
un subconjunto de V coincidira con la integral de f ( cos , sin ) sobre el conjunto
correspondiente por g en U. Por ejemplo si D es el interior del disco unidad centrado
en

el origen interseccion con el primer cuadrante tendremos que g 1 (D) = (0, 1) 0, 2
R
R
y si deseamos integrar f (x, y) = x2 + y 2 obtendremos D (x2 + y 2 ) = g1 (D) 2 =
R
R1
0
3 d = 8 . Con frecuencia se utiliza este cambio de coordenadas para el calculo

3.9. CAMBIO DE VARIABLE EN LA INTEGRACION
49
de una integral de una funcion definida sobre todo R2 . Esto no supone problema alguno
ya que, puesto que {(x, 0) ; x 0} es de medida 2-dimensional cero, la integral sobre R2
y sobre V coinciden y en este abierto podemos efectuar el cambio de coordenadas. Una
situacion analoga se presenta en los ejemplos siguientes.
2. Consideremos U el abierto de R3 definido por (0, +) (0, 2) R y V = R3
{(x, 0, z) ; x 0} . La funcion g : U V definida por x = cos , y = sin , z = u
constituye un cambio de variable. A las nuevas coordenadas se les denomina coordenadas
cilndricas.

3. Consideremos U el abierto de R3 definido por (0, +) (0, 2) 2 , 2 y V =

R3 {((x, 0, z) ; x 0)} . La funcion g : U V definida por x = cos cos ,
y = sin cos , z = sin es un cambio de variable. A las nuevas coordenadas se
les denomina coordenadas esfericas.
Empezaremos estudiando la relacion entre la medida de un conjunto y la de su conjunto
imagen mediante una aplicacion lineal.
Lema 3.26. Sea T un isomorfismo lineal de Rn en Rn . Si A es un abierto de Rn entonces
m(T (A)) = |det T | m(A).
Demostracion. Todo isomorfismo lineal puede obtenerse por composiciones de aplicaciones elementales del tipo siguiente.
T1 (x1 , x2 , ..., xn ) = (kx1 , x2 , ...xn ), k 6= 0
T2 (x1 , ..., xi , ..., xj , ..., xn ) = (x1 , ..., xj , ..., xi , ..., xn )
T3 (x1 , x2 , ..., xn ) = (x1 + x2 , x2 , ..., xn ).
Si demostramos que para cada una de estas aplicaciones vale la proposicion, e sta sera cierta
para cualquier isomorfismo. En efecto, si S y T son isomorfismos que cumplen m(T (A)) =
|det T | m(A) y m(S(A)) = |det S| m(A) se tendra que
m (T S (A)) = |det T | m (S (A)) = |det T | |det S| m (A) = |det T S| m (A) .
Veamos que si I es un intervalo de la forma I = [a1 , b1 )[an , bn ) se cumple m(T (I)) =
|det T | m(I) para cada una de los tres tipos de aplicaciones elementales. En efecto, si k > 0
T1 (I) = [ka1 , kb1 ) [an , bn )
y por tanto m(T1 (I)) = km(I). Analogamente si k < 0
T1 (I) = (kb1 , ka1 ] [an , bn )
y m(T1 (I)) = km(I) = |k| m(I). En ambos casos m(T1 (I)) = |det T1 | m(I).
Directamente se comprueba que m(T2 (I)) = m(I) = |det T2 | m(I).
50
Para probarlo para T3 podemos calcular m(T3 (I)) mediante el teorema de Fubini:
m(T3 (I)) =
bn
an
dxn
b2
dx2
a2
b1 +x2
a1 +x2
dx1 = m(I) = |det T3 | m(I).
Para probar el enunciado para cualquier abierto y respecto a cada uno de los tipos de transformaciones elementales basta descomponer el abierto en intervalos diadicos disjuntos dos a dos del
tipo de los anteriores y aplicar la proposicion ya probada utilizando la aditividad numerable de
la medida.
Teorema 3.27. Sea T un isomorfismo lineal de Rn en Rn . Si M es un conjunto medible de Rn
entonces T (M ) es medible y m(T (M )) = |det T | m(M ).
Demostracion. Es suficiente probarlo para los acotados medibles. En efecto, todo conjunto medible se podra expresar como una union numerable de una sucesion creciente de conjuntos medibles acotados. Aplicando la proposicion a cada uno de ellos y pasando al lmite las igualdades
entre las medidas se obtendra el teorema en general. Sea entonces M medible acotado y sea
> 0. Existiran un abierto A y un compacto K tal que K M A y m(A K) < .
Tendremos entonces que T (A) es un abierto, T (K) es un compacto, T (K) T (M ) T (A) y
m(T (A) T (K)) = m(T (A K)) < |det T | .
Esto asegura la medibilidad de T (M ). Veamos la relacion entre las medidas.
m(T (M )) = inf {m(T (A)); A abierto M A}
= inf {|det T | m(A); A abierto M A} = |det T | m(M ).
En la demostracion del teorema del cambio de variable una de las herramientas que se utilizara es la aproximacion local de la funcion que expresa el cambio de variable por su aplicacion
diferencial. Otra tecnica que ya hemos utilizado en diversas ocasiones es la descomposicion de
un abierto en intervalos diadicos. Cierta propiedad que se conoce para estos se lleva entonces
a los conjuntos abiertos y despues a los conjuntos medibles. Es comodo, cuando se trabaja con
endomorfismos de Rn y buscamos propiedades de las imagenes de los intervalos, considerar
una norma en Rn tal que sus bolas sean los intervalos. As en el proximo lema consideraremos la norma de Rn definida por kxk = max {|xi |} . Las bolas respecto a esta norma son
cubos. Si T es un endomorfismo de Rn definido por la matriz (aij ) se le asociara ahora la norma
kT k = supkxk1 kT (x)k que vendra dada por
X

kT k = max
i,|j |1
aij j = max
i
n
X
|aij | .
j=1

kT k . En particular,

P
gi
si T es la diferencial en un punto del cambio de variable g, tendremos kdgk = maxi nj=1 x

Esta norma cumple la desigualdad kT (x)k kT k kxk ya que T
x
kxk
y se cumplira que kdg(x)k kdgk kxk .

51
Lema 3.28. Sea g un cambio de variable de U en V. La imagen por g de un cubo cerrado C

contenido en U , de semiarista r esta contenido en un cubo de semiarista supxC kdgx k r.
Demostracion. Sea C centrado en un punto a. Aplicando el teorema del valor medio para cada
x C, existe i , 0 < i < 1 tal que
gi (x) gi (a) =
X gi
j
xj
(a + i (x a))(xj aj ).
Por lo tanto

X gi

(a + i (x a)) kx ak sup kdgx k kx ak ,
|gi (x) gi (a)|

xj

xC
j
de donde
kg(x) g(a)k sup kdgx k kx ak .
xC
Lema 3.29. Sea g un cambio de variable de U en V. Sea C un cubo cerrado contenido en U,

entonces
Z
m(g(C)) |det dg| .
c
Demostracion. Para cada cubo cerrado contenido en U , como consecuencia del lema anterior
m(g(C)) (sup kdgx k)n m(C).
xC
Sea y un punto de C. Apliquemos esta desigualdad al cambio de variables dgy1 g. Tendremos

m(dgy1 g(C)) (sup dgy1 dgx )n m(C).

xC
Sabemos (teorema 3.27) que m(dgy1 g(C)) = det dgy1 m (g (C)) . Por la continuidad de la

aplicacion dgy1 dgx existira un x C en que se alcanzara max dgy1 dgx y por tanto tal
que

n
m (g (C)) |det dgy | dgy1 dgx m(C).

Sera de desear que el factor dgy1 dgx fuese proximo a 1. Para lograrlo descompondremos
el cubo C en otros cubos de manera que esto ocurra. Concretando, ya que la funcion (x, y)

1
dgy dgx es uniformemente continua en C C, para cada > 0, existe una descomposicion
de C como union finita de cubos cerrados Ci , con interiores disjuntos dos a dos, tales que

1

dgy dgx < 1 + , para x, y pertenecientes al mismo Ci .
52
Para cada cubo Ci sea yi Ci tal que |det dgyi | = inf {|det dgz | ; z Ci } . Tendremos
n
m (g (Ci )) |det dgyi | (1 + ) m(Ci ) (1 + )
|det dg|
Ci
y por tanto
m (g(C))
m (g (Ci )) (1 + )
XZ
|det dg| = (1 + )
Ci
|det dg|
donde hemos tenido en cuenta para probar la u ltima igualdad que los solapamientos de los conjuntos Ci forman un conjunto de medida
nula. Por u ltimo, puesto que esta desigualdad vale para
R
cada > 0, se sigue que m (g (C)) C |det dg| .
Lema 3.30. Sea g un cambio de variable de U en V. Sea A un abierto contenido en U, entonces
m (g (A))
|det dg| .
Demostracion. Observese en primer lugar que por ser A abierto, su imagen g(A) tambien es
un abierto y en particular es un conjunto medible. Descompongamos el abierto A como union
numerable de cubos Ci cerrados con interiores disjuntos dos a dos. Por ejemplo ya hemos visto
Q
que todo abierto es union numerable de cubos disjuntos del tipo (ai , bi ] y es ya facil ver que e ste
se puede expresar como union numerable de cubos cerrados con interiores disjuntos. Aplicando
a cada cubo el lema anterior
m (g (A))
m (g (Ci ))
XZ
|det dg| =
Ci
|det dg| .
Teorema 3.31. Sea g un cambio de variable de U en V . Sea E un conjunto medible contenido

en U , entonces g(E) es medible y
m (g (E))
|det dg| .
Demostracion. Supongamos, en primer lugar, que |det dg| esta acotado en U por k. Sea por el
momento E acotado. Por ser medible, para cada > 0 existen un compacto K y un abierto A,
que podra suponerse contenido en U , tales que K E A y m(A K) < . Tendremos
entonces que g(K) es un compacto, g(A) es abierto, g (K) g(E) g(A). Aplicando el lema
anterior
m (g (A) g (K)) = m (g (A K))
|det dg| km(A K) < k.
AK
De donde se obtiene la medibilidad de g (E) . Por otro lado

m (g (E)) m (g (A))
Z
E
|det dg| +
Z
AE
|det dg|
Z
E
|det dg| + k.

53
Puesto que vale para todo > 0 se tiene m (g (E)) E |det dg| .
Si E no es acotado se podra expresar como union de una sucesion monotona creciente de
conjuntos medibles Em acotados. Aplicando la proposicion a cada uno de ellos tendremos que
g(E) = g(Em ) sera medible y
R
m (g (E)) = lim m (g (Em )) lim
|det dg| =
Em
|det dg| .
Por u ltimo, si |det dg| no esta acotado consideremos

Um = {x U ; |det dg| < m}
y apliquemos el teorema a E Um . Tendremos que g(E) = m g(E Um ) sera medible y
m (g (E)) = lim m (g (E Um )) lim
|det dg| =
EUm
|det dg| .
Podemos pasar ya a enunciar el teorema del cambio de variable

Teorema 3.32. Sea g un cambio de variable de U en V y E un conjunto medible contenido en
U.
a) Si f es una funcion medible no negativa definida en V se tiene
Z
f=
g(E)
f g |det dg| .
b) Sea f una funcion definida en V entonces f es integrable en g(E) si y solamente si es

integrable f g |det dg| en E y en este caso
Z
f=
g(E)
f g |det dg| .
Demostracion. Probemos a). Consideremos en primer lugar una funcion simple medible. Sea
P
s = ri=1 ai g(Ei ) con E = Ei y los Ei disjuntos dos a dos. Tendremos como consecuencia de
la proposicion anterior
Z
s=
g(E)
ai m(g(Ei ))
ai
|det dg| =
Ei
s g |det dg| .
Sea ahora f no negativa. Tendremos

Z
g(E)
Z
sup
E
f = sup
(Z
s; 0 s f, s simple
g(E)
s g |det dg| ; 0 s f, s simple
Z
E
f g |det dg| .
54
Veamos la desigualdad en el otro sentido. Apliquemos la desigualdad que acabamos de probar

al cambio de variable g 1 , a la funcion f g |det dg| y al conjunto g (E) . Tendremos
Z
f g |det dg|
g(E)
(f g |det dg|) g 1 det dg 1 =
g(E)
y, por tanto, hemos probado a). Veamos b). Sabemos que f es integrable sobre g(E) si las
integrales de f + y de f son finitas. Analogamente f g |det dg| es integrable en E si son finitas
las integrales de (f g |det dg|)+ = f + g |det dg| y de (f g |det dg|) = f g |det dg| .
Aplicando el apartado a) a cada una de estos pares de RfuncionesRtendremos que f es integrable
en g(E) si y solo si f g |det dg| es integrable en E y g(E) f = E f g |det dg| .
Observese que si aplicamosR el teorema del cambio de variable a la funcion constante igual a
1 obtenemos que m(g(E)) = E |det dg| .
Ejemplo 3.12.
1. Veamos que la funcion

x2
(x2 + y 2 )2 ln2 (x2 + y 2 )
n
es integrable en (x, y) R2 ; x2 + y 2 <
1
4
. Efectuemos el cambio a coordenada polares.

2 cos2
.
4 ln2 2
Deberemos integrar la funcion no negativa

tanto la funcion es integrable.
La integral iterada es finita y por
2. Calculemos el volumen del recinto de R3 definido por x2 + y 2 + z 2 2, z x2 + y 2 . La

interseccion de las superficies x2 + y 2 + z 2 = 2, z = x2 + y 2 son los puntos de la forma
z = 1, z = x2 + y 2 . Aplicando el teorema de Fubini tendremos que calcular
q
x2 +y 2 1
x2
y2
x +y

Pasemos esta integral a coordenadas polares. Deberemos calcular
q

Z
8 27
2
2
2 =
.
6
(,)[0,1][0,2]
3. Calculemos
R
[0,+)[0,+)
ex
2 y 2
. Es equivalente al calculo de la integral sobre

(0, +) (0, +) .
2
Pasando a coordenadas polares deberemos

calcular 2 0+ e d = 4 . Notese que de
R
2
aqu puede verse que 0+ ex dx = 2 . En efecto, por el teorema de Fubini
R
Z
0
ex dx
2
Z
[0,+)[0,+)
ex
2 y 2
3.10. EJERCICIOS
4. Calculemos
55

R
D
1 + (x2 + y 2 + z 2 ) 2
donde
D = (x, y, z) R3 ; x2 + y 2 + z 2 1 .
Pasando a coordenadas esfericas deberemos calcular
Z
(,,)(0,1)(0,2)( 2 , 2 )
1+
1 1
cos = 4
+
.
3 6

5. Calculemos el volumen del dominio definido por z > 0, z < x +y

, x2 + y 2 < 4. Pasando
2
a coordenadas cilndricas deberemos integrar la funcion sobre el dominio
2
(, , z) ; 0 < z < , 0 < < 2, 0 < < 2 .
2
Las fronteras de estos dominios no afectan, una vez mas, al calculo de las integrales
2
3.10
R2
0
2
2
dz = 2
3
0 2 d
R2
= 4.
Ejercicios
1. Sea S un conjunto denso en R. Prueba que si f : Rn R es tal que f 1 ((, a)) es

medible para toda a S entonces f es medible.
2. Prueba que si s es una funcion simple medible y f es una funcion medible entonces s f
es medible. Prueba que la composicion de dos funciones medibles definidas en R a valores
reales es medible.
3. Sea f (x, y) = E [x + y] donde E [z] es la parte entera de z. Halla la integral en [0, n]
[0, m] para n y m naturales.
n
4. Sea la sucesion de funciones
fn (x) = x2 +n
2 . Prueba que lim fn (x) = 0 uniformemente
R
n
en R y que al tiempo R x2 +n2 = . Contradice esto el teorema de la convergencia
dominada? Que puede decirse en relacion a este teorema?
R sin x2 +y2
2
5. Calcula D
donde D es el dominio definido por 9 < x2 + y 2 < 2 .
2
2
x +y
6. Determina los valores de a tales que el volumen de

(x, y, z) R , z > 1, x + y <
es finito.
7. Estudia la integrabilidad o no integrabilidad de
a
1
z
56
xy
x2 +y 2 1 (x2 +y 2 )a
(a)
(b)
ln x
(1,+) x x2 1 .
R
xy
x2 +y 2 1 (x2 +3y 2 )a
(c)
segun los diversos valores de a.
segun los diversos valores de a.
8. Estudia la integrabilidad para los diversos valores de a de la funcion

(0, 1) .
1
|xy|a
en (0, 1)
9. Prueba por induccion que si Bn es la bola de radio r en el espacio ndimensional, se

cumple m (Bn ) = cn rn . Determina las constantes cn para n = 2, 3, 4.
10. Sea
R +
0
ex cos xt dx. Prueba que F 0 (t) = 21 tF (t) y calcula F (t).
11. Prueba que para todo t 6= 0 existe la derivada de
R1
0
ln (x2 + t2 ) dx.
12. Calcula el volumen del dominio interseccion de los cilindros x2 + y 2 1 y x2 + z 2 1.

13. Invierte los o rdenes de integracion en
(a)
(b)
R
R
0
1
2
R cos x
R
x
f (x, y) dy) dx.
2xx2
f (x, y) dy dx.
14. Estudia la integrabilidad de Riemann impropia y la de Lebesgue de
R1
1
0 x
sin x1 .
15. Prueba que

lim
x
1
n
n
x
2
e dx =
e 2 dx.
16. Consideremos
K = 0+ ex dx. Veamos una forma de calcularlo. Sea x = ut, tendremos
R + u2 t2
K=u 0 e
dt. Por lo tanto
R
Z
0
eu du = K 2
Z
0
eu udu
2 2
eu t dt.
Justifica que se puede intercambiar el orden de integracion y calcula K.

17. Calcula
R
D
z, donde D es el dominio definido por x2 + y 2 z 2 , z 0, x2 + y 2 + z 2 1.
18. Halla el volumen de la intersecci

on de la bola unidad x2 + y 2 + z 2 1 con el interior del

2
cilindro definido por x2 + y 12 = 14 .
19. Calcula D (x + y)3 (x y)2 donde D es el recinto acotado limitado por las rectas x + y =
1, x y = 1, x + y = 3, x y = 1.
R

3.11. NOTA HISTORICA
3.11
57
Nota historica
La idea de a rea de un rectangulo, de un triangulo y de otras figuras geometricas aparece ya en

el Antiguo Egipcio y en Babilonia. Los griegos admitan que figuras simples tenan un a rea que
era un numero no negativo. Estos numeros tenan una propiedad de aditividad ,esto es, si R era
la union disjunta de S y T se cumpla a (R) = a (S) + a (T ) .
El metodo basico para determinar un a rea era el metodo de exhaucion que, al parecer, proviene de Eudoxio ( 300 a. C.) y aparece en los Elementos de Euclides. Se aproximaba el a rea
de una determinada figura por la de polgonos inscritos de las que se conoca su a rea. No se
trataba despues de hacer un paso al lmite mas o memos riguroso sino que mediante un metodo
alternativo, riguroso, se evitaba su uso. De esta forma podan probar, por ejemplo, que la razon
de las a reas de dos crculos era equivalente a la razon de los cuadrados de los diametros y otros
muchos resultados.
Arqumedes (287-212 a.C.) estudio las longitudes de ciertas curvas as como gran numero
de a reas y volumenes. Aplico el metodo de exhaucion a problemas que fueron despues fuente
de inspiracion para los creadores del Calculo. Sus resultados, como todos los de la e poca, se
expresaban en forma de proporciones. Una de las novedades mas significativas es el trabajo de
El metodo en que utiliza ciertas ideas de la mecanica para obtener resultados que luego probara
con el metodo de exhaucion.
La creacion del Calculo fue una respuesta a los problemas practicos y cientficos que se
presentaban en el siglo XVII. Algunos de los problemas que se plantearon fueron el calculo
de longitudes de curvas (por ejemplo, distancias recorridas por un planeta), a reas limitadas por
curvas, centros de gravedad, volumenes acotados por superficies, etc. En esta e poca se vuelven
a estudiar los trabajos de Arqumedes y el metodo de exhaucion y se modifican totalmente con
la invencion del Calculo. Se sigue admirando el rigor del metodo de exhaucion pero prima la
obtencion de resultados rapidos, faciles y generales. Por otra parte la geometra analtica de
Descartes (1596-1650) permita una nueva formulacion de los problemas de a reas y volumenes.
Entre los iniciadores de la e poca deben mencionarse a Kepler (1571-1630), Galileo (15641642) y Cavalieri (1598-1647). El metodo de Kepler consiste en identificar la a reas y volumenes
con una suma de infinitos elementos infinitesimales. De esta forma el a rea de un crculo es la
suma de las a reas de infinitos triangulos con base en la circunferencia y vertice en el centro. El
volumen de la esfera se obtiene como suma de volumenes de piramides. La descomposicion
en indivisibles depende del problema particular que se presenta. Piensa que, si se desea, se
pueden rigorizar los resultados obtenidos mediante el metodo de exhaucion. Galileo considero
tambien las a reas en forma similar como suma de indivisibles. Esta tecnica fue popularizada por
Cavalieri. Dadas dos figuras se establece una correspondencia biyectiva entre los infinitesimales.
Si estos tienen a reas en una cierta proporcion, e sta se conserva en los volumenes.
Fermat (1601-1665) y Pascal (1623-62) utilizaron una variante del metodo de exhaucion.
En lugar de considerar diferentes aproximaciones poligonales de las figuras dependiendo del
problema se empezo el uso sistematico de los rectangulos.
En esta e poca se empezaron a introducir los metodos analticos en el Calculo. Entre otros
matematicos del momento cabe citar a Wallis (1616-1703) y a Barrow (1630-1677). Estaba, por
otra parte, en el ambiente la conveniencia de obtener metodos generales. Esta fue la principal
58
aportacion de Newton (1642-1727) y de Leibniz (1646-1716).

El mayor e nfasis del trabajo de Newton se situo en la derivacion. Planteo el problema de
la antiderivacion e identifico e sta con el problema del calculo del a rea. Establecio la regla del
cambio de variables en la integracion. Clasifico ciertos tipos de integrales, establecio la formula
para el calculo de longitudes de curvas, etc..
Leibniz dio un mayor e nfasis al calculo de a reas. Lo planteo como suma
infinita de diferenR
ciales que luego se computaba por antiderivacion. Introdujo la notacion para la integracion.
Como Newton no definio con rigor sus conceptos. Sus contemporaneos admitieron sus resultados
como correctos pero, con frecuencia, eran conscientes de la poca claridad de ciertos conceptos
basicos como los elementos infinitamente pequenos o de como la suma de infinitos de estos poda
ser finita.
Durante el siglo XVIII se desarrollo el Calculo. Se dio un tratamiento formal de los problemas sin una gran preocupacion con los fundamentos. Euler es la figura mas destacada. El
uso de la integral como lmite de sumas era limitado. Se utilizaba el lenguaje de Leibniz pero
pensando en terminos de antiderivacion. Se desarrollaron tecnicas de calculo de primitivas como
la descomposicion en fracciones simples, utilizacion de logaritmos o tecnicas de desarrollo en
serie. Se estudiaron integrales multiples calculandolas mediante integrales reiteradas.
Para Euler una funcion era una expresion analtica, aunque tambien consideraba funciones
que tenan diferentes expresiones en diferentes partes del dominio. El interes sobre funciones
arbitrarias se desarrollo en relacion con el problema de la cuerda vibrante, principalmente por
DAlembert (1717-1783) y a los trabajos sobre la teora del calor por Fourier (1768-1830). La
representacion de funciones
mediante series trigonometricas necesitaba justificar la existencia
R
de integrales de la forma f (x) cos nx. Durante el siglo XVIII la integracion era esencialmente
antiderivacion y para estas funciones no era evidente la existencia de primitiva. Ello hizo volver
a la concepcion de integral como un a rea, concepto que, por otra parte, tampoco estaba definido.
A Cauchy (1789-1857) y a Bolzano (1781-1848) se les atribuye el concepto actual de funcion continua. Cauchy definio la integral de una funcion continua en un intervalo como un lmite
P
de expresiones f (xi1 ) (xi xi1 ). Probo que este lmite se puede obtener como antiderivacion. Durante el siglo XVIII se admita intuitivamente la existencia de a reas y volumenes y
se calculaban con integrales. Cauchy definio estos conceptos mediante integrales de funciones
continuas que haba previamente introducido. La definicion general de a rea y volumen quedaba
sin resolver.
Con Dirichlet (1805-59), en sus trabajos sobre series de Fourier, aparece la primera distincion entre funciones continuas e integrables. Riemann (1826-66), continuando los trabajos sobre
estas series, se plantea estudiar la situacion mas general posible en que existan los lmites de
las sumas que aparecan en la integral de Cauchy y desligo la nocion de integrabilidad de la de
continuidad. En anos posteriores se reformulo la integral de Riemann preparando las generalizaciones posteriores. As Darboux (1842-1917) y otros autores definen las sumas superiores e
inferiores y Volterra (1860-1940) introdujo las nociones de integral superior e inferior.
Durante la decada de los 1880 se estudia la relacion entre integrabilidad y puntos de discontinuidad y el interes se centra en medir el conjunto de estos puntos.
La nocion de contenido exterior fue debida a Stolz (1842-1905) en una variable y a Cantor
(1845-1918) en varias variables. Este concepto de contenido no cumpla la propiedad de la

3.11. NOTA HISTORICA
59
aditividad finita.
Peano (1858-1932) dio la primera definicion formal de a rea. Retoma las ideas de Eudoxio
considerando polgonos que contienen y que estan contenidos en una region. Si el nfimo de las
a reas de los primeros y el supremo de las a reas de los segundos coinciden, e sta es el a rea de la
region. Jordan (1838-1922) considera la misma construccion con polgonos de lados paralelos a
los ejes. El a rea es lo que hemos denominado contenido de Jordan.
Borel (1871-1956) considero medidas de lo que hemos llamado conjuntos borelianos en sus
trabajos sobre la teora de funciones complejas. No generalizaba el concepto de contenido pero
se cumpla la propiedad de la aditividad numerable.
Lebesgue (1875-1945) amplio la nocion de integral empezando por aumentar los conjuntos
medibles. Su concepto de medida ampla el concepto de contenido de forma que se cumple la
propiedad de la aditividad numerable. Formulo los teoremas basicos de la teora de la integracion.
Trabajo tambien con integrales multiples. A este respecto deben citarse ademas los trabajos de
Fubini (1879-1943).
La integral de Lebesgue fue generalizada por Radon (1887-1956) dando un concepto que incluye tanto e sta como la de Stieltjes (1856-94). Otras formulaciones de estos conceptos, como la
de Daniell no requieren una construccion completa de la teora de la medida para la formulacion
de la teora de la integral.
60
Captulo 4
Calculo vectorial
4.1
Longitud de un arco de curva. El parametro arco.
Definicion 4.1. Un arco de curva o simplemente una curva en Rn es una aplicacion continua
de un intervalo [a, b] en Rn . Si la aplicacion es de clase C r se dice que la curva es de esta clase.
(a) y (b) reciben respectivamente el nombre de punto inicial y final del arco. Si existe una
particion de [a, b] de la forma a = t0 < t1 < ... < tm = b de manera que la restriccion de la
curva a cada intervalo [ti1 , ti ] sea de clase C r se dice que la curva es de clase C r a trozos.
Si una curva definida en [a, b] cumple que (a) = (b) se dice cerrada. Si es inyectiva
con la posible excepcion de que (a) = (b) se dice simple.
Debe distinguirse entre la curva que es una aplicacion y su imagen que denotaremos por
. La imagen no determina la clase de la curva.
Sea un arco de curva : [a, b] Rn . A cada particion del dominio de definicion de la
forma a = t0 < t1 < < tm = b se le puede asociar una poligonal de vertices (ti ). Esta
P
poligonal tendra por longitud l(, ) = m
i=1 k (ti ) (ti1 )k. Observemos que si 1 es una
particion mas fina que se cumple que l(, ) l (, 1 ). Basta considerar el caso en que 1
consiste en anadir un punto a la particion y tener en cuenta la desigualdad triangular para la
norma en Rn . Estas longitudes pueden pensarse como aproximaciones a la longitud de la curva.
Es entonces natural considerar la siguiente definicion.
Definicion 4.2. Sea un arco de curva : [a, b] Rn . Diremos que la curva es rectificable si el
conjunto de las longitudes de las poligonales inscritas en la curva esta acotado. En este caso se
llama longitud del arco al supremo de este conjunto.
Se trata de ver que las curvas de clase C 1 son rectificables y que su longitud puede obtenerse
mediante una integral. Sera conveniente disponer de la definicion de integral de una funcion
vectorial.
Definicion 4.3. Sea E un conjunto medible de Rm y f : E Rn una funcion definida por n
funciones a valores reales f = (f1 , ..., fn ) . Se dice que f es medible
(resp.integrable)
en E si lo
R
R
R
son cada una de las funciones f1 , ..., fn . En este caso se define E f = ( E f1 , ..., E fn ) .
61
CAPITULO 4. CALCULO VECTORIAL
62
Teorema 4.1. Sea E un conjunto medible de Rm y f : E Rn una funcion medible. Entonces

1
P
f es integrableRsi y soloRsi la funcion a valores reales kf k = ( ni=1 (fi )2 ) 2 es integrable. En este
caso se tiene k E f k E kf k .
Demostracion. La afirmacion sobre la integrabilidad se obtiene de las desigualdades
|fi (x)| kf (x)k
n
X
|fj (x)| .
j=1
Veamos
que se Rcumple
la desigualdad
k E f k R E Rkf k .
R
R
R
R
R
R
2
k E f k = E f E f = E (( E f ) f ) E k E f k kf k k E f k E kf k . Simplificando,
se obtiene la desigualdad. Naturalmente si este valor fuese cero la desigualdad sera trivial.
R
Teorema 4.2. Sea

un arco de curva : [a, b] Rn de clase C 1 . El arco es rectificable y su
Rb
longitud es L = a k 0 (t)k dt.
Observese que por ser la curva de clase C 1 la funcion en el integrando es continua y por tanto
la integral existe en el sentido de Riemann.
Demostracion. Veamos en primer lugar la rectificabilidad del arco. Veamos que el conjunto de
las longitudes de las poligonales inscritas en el arco esta acotada.
l (, ) =
ti
m
0
i=1 k (ti ) (ti1 )k =
i=1 ti1 (t) dt
Rb
= a k 0 (t)k dt.
Pm
Pm R ti
i=1 ti1
k 0 (t)k dt
Esta u ltima integral es finita y por tanto es rectificable. Ademas

L = sup l (, )
k 0 (t)k dt.
Veamos la desigualdad en sentido inverso. Sea > 0, por la continuidad uniforme de 0 (t),
existe > 0 tal que si |t u| entonces k 0 (t) 0 (u)k < . Sea una particion de [a, b]
tal que para cada i, |ti ti1 | < . Tendremos
Pm R ti
Pm R ti
0
0
(k 0 (ti )k + ) dt
a k (t)k dt = i=1 ti1 k (t)k dt
R i=1 ti1
Pm R ti
P

ti
m
0
0
0
0
i=1 ti1 ( (ti ) (t) + (t)) dt +
i=1 ti1 (ti )dt + (b a) =
P
(b a) m
i=1 k (ti ) (ti1 )k + 2 (b a) L + 2 (b a) .
Rb
Puesto que la desigualdad vale para cada > 0 se tiene que
Rb
a
k 0 (t)k dt L.
Dada una curva : [a, b] Rn y una aplicacion biyectiva g : [, ] [a, b] de clase C 1 con
inversa del mismo tipo, se tiene que g es un arco de curva con dominio de definicion [, ].
Se dice que ha sido obtenida a partir de la primera mediante un cambio de parametros. Por ser
g 0 continua y no nula debera ser en todos los puntos positiva o en todo los puntos negativa. En el
SOBRE ARCOS DE CURVA

4.2. INTEGRACION
63
primer caso g es monotona creciente y no vara la orientacion de la curva en el sentido de que su

inicio y final es el mismo para que para g. Si g 0 es negativa, g es monotona decreciente, se
tiene que g() = b y g() = a, con lo que los inicios y finales de los arcos quedan permutados.
Se dice que el cambio de parametros cambia la orientacion.
Ejemplo 4.1. Sea un arco de curva : [a, b] Rn . La curva 1 (t) = (a + b t) esta tambien
definida en el intervalo [a, b] y cambia la orientacion del arco. Se suele escribir .
Debe observarse que si una curva se obtiene a partir de otra por medio de un cambio de
parametros, la longitud no vara. Es suficiente tener en cuenta que el conjunto de poligonales
consideradas en la definicion de longitud del arco es el mismo en los dos casos.
Definicion 4.4. Una curva de clase C 1 se dice regular si 0 (l) 6= 0 para todo valor l del
parametro.
Veamos un cambio de parametro en estas curvas regulares de especial importancia.
Consideremos un arco de curva regular :R[a, b] Rn de longitud L. Consideremos la aplicacion s : [a, b] [0, L] definida por s(t) = 0t k 0 (l)k dl. Se trata de una aplicacion biyectiva,
de clase C 1 , estrictamente creciente, con s0 (t) = k 0 (t)k . Su aplicacion inversa t = t(s) definida
en [0, L], a valores en [a, b] , define un cambio de parametro en la curva. A este nuevo parametro
s se le denomina parametro arco. Observese que si expresamos el arco en este nuevo parametro
1
= 1. De esta
1 (s) = (t(s)), tendremos que k10 (s)k = k 0 (t(s))k |t0 (s)| = k 0 (t(s))k k 0 (t(s))k
R s1
0
forma la longitud del arco de curva entre los parametros s0 y s1 sera s0 k1 (s)k ds = s1 s0 , es
decir, coincide con la diferencia entre los dos parametros.
Ejemplo 4.2. Consideremos un arco de helice en R3 dado por las ecuaciones x = R cos t,
y = R sin t, z = kt y definido en [0, 2]. Tendremos que, siguiendo las notaciones anteriores,
1
1
R
s(t) = 0t (R2 + k 2 ) 2 dr = (R2 + k 2 ) 2 t. La funcion cambio de parametro al parametro arco
1
sera t(s) = s (R2 + k 2 ) 2 y las ecuaciones de la curva en el parametro arco seran

x = R cos R2 + k 2
1
s, y = R sin R2 + k 2
1
2
s, z = k R2 + k 2
1
2
s.
4.2 Integracion de un campo escalar y de un campo vectorial

sobre un arco de curva
4.2.1
Integracion sobre un arco de curva
La idea de integral de un campo escalar sobre una curva responde a la idea fsica de calculo de la
masa de una curva material de la que se conoce una distribucion de densidades. Si la curva con
respecto su parametro arco es : [0, L] Rn y f : R es una distribucion de densidades,
una aproximacion de su masa correspondiente a una particion 0 = s0 < s1 < ... < sm = L de
P
[0, L] se obtendra como m
on es una suma de Riemann de la
i=1 f ((si ))(si si1 ). Esta expresi
funci
o
n
f
y,
por
tanto,
su
l
mite
al
variar
las
particiones
haciendo
max(si si1 ) 0 sera
RL
ametro arbitrario t [a, b] , s = s(t) la anterior integral
0 f ((s))ds. Si se trabaja con un par
64
quedara ab f ((s(t)))s0 (t)dt =
siguientes definiciones.
R
Rb
a
f (1 (t)) k10 (t)k dt, donde 1 = s. Esto nos lleva a las
Definicion 4.5. Sea : [a, b] Rn un arco de curva de clase C 1 . Llamaremos un campo

escalar sobre un subconjunto de Rn a una aplicacion continua de este subconjunto en R. Si f
es un campo escalar sobre (o sobre unR conjunto que contenga
a e ste), llamaremos integral
Rb
de este campo sobre y la escribiremos f ds a la integral a f ((t)) k10 (t)k dt. Si la curva
es de Rclase C 1 a trozos se define como la suma de las integrales sobre cada uno de los trozos
Pn
ti
0
i=1 ti1 f ( (t)) k (t)k dt.
Observemos, en primer lugar, que esta integral no depende de una particular parametrizacion
de la curva. En efecto si Rg : [, ] [a, b] es un cambio de parametros
y 1 = g tendremos
Rb
R
0
0
0
0
a f ((t)) k (t)k dt = [,] f ( (g (l))) k (g (l))k |g (l)| dl = [,] f (1 (l)) k1 (l)k dl. En
particular, aunque el cambio de par
ametros cambie la
orientaci
on la integral Rno vara.
R
R
R
R
Es inmediato comprobar que (f1 + f2 ) ds = f1 ds + f2 ds y que f ds = f ds
R
R

para R. Es tambien una comprobacion directa que f ds |f | ds.
Se trata ahora de definir la integral de un campo vectorial. Esta integral corresponde a la idea
fsica de trabajo desarrollado por un campo al transportar un punto material a lo largo de un arco
de curva. Sea F un campo de fuerzas en Rn y : [0, L] Rn un arco de curva de clase C 1
expresado en el parametro arco. Puesto que k 0 (s)k = 1 una aproximacion al trabajo realizado
sera
m
X
F ( (si )) 0 (si ) (si si1 ) donde 0 = s0 < s1 < ... < sm = L.
i=1
Se trata de una suma de Riemann correspondiente a la partici

on {si } para la funcion (F ) 0
RL
y por tanto su lmite cuando max (si si1 ) R 0 sera 0 F ( (s)) 0 (s) ds. Si expresamos
la curva en otro parametro la integral quedara ab F (1 (t)) 10 (t) dt. Esto nos lleva a dar las
siguientes definiciones.
Definicion 4.6. Un campo vectorial en un subconjunto E de Rn es una aplicacion continua
F : E Rn . Sea : [a, b] Rn un arco de curva de clase C 1 y F
un campo vectorial
R
sobre . Llamaremos integral del campo F sobre y lo escribiremos F ds a la integral
Rb
0 (t) dt. Si la curva es de clase C 1 a trozos se define como la suma en cada uno de
a F ( (t))
Pm R ti
los trozos i=1 ti1 F ( (t)) 0 (t) dt. Esta integral recibe tambien el nombre de circulacion
del campo respecto el arco de curva.
La primera observacion que debe hacerse es que este valor no vara al efectuar un cambio
de parametro que respete la orientacion. El valor cambia de signo si la orientacion cambia. En
efecto si g : [, ] [a, b] es un cambio de parametros que conserva la orientacion y 1 = g
Rb
a
F ( (t)) 0 (t) dt = F ( (g (l))) 0 (g (l)) g 0 (l) dl =

R
0
F (1 (l)) 1 (l) dl.
R
Si el cambio es tal que la orientacion se invierte, es decir g 0 (l) < 0, tendremos

Rb
a
F ( (t)) 0 (t) dt = F ( (g (l))) 0 (g (l)) g 0 (l) dl =

R
F (1 (l)) 10 (l) dl.
R
SOBRE ARCOS DE CURVA

4.2. INTEGRACION
R
Es inmediato comprobar que

R
F ds para R.
65
(F1 + F2 ) ds =
F1 ds +
F2 ds y que
F ds =
Ejemplo 4.3. Consideremos la curva x = R cos t, y = R sin t, z = kt definida en [0, 2] y el

campo escalar f (x, y, z) = z 2 . Tendremos
Z
f ds =
k 2 t2 R2 + k 2
1
dt = R2 + k 2
1 (2)3
2
k2.
Si ahora F es un campo vectorial F (x, y, z) = (y, x, 0) tendremos

Z
F ds =
4.2.2
R2 sin2 t R2 cos2 t dt = R2 2.
La integral de un campo a lo largo de una curva y el lenguaje de

formas
Un campo vectorial F en Rn puede pensarse como una correspondencia que a cada punto x se
P
le asigna un diferencial en el punto, es decir, una expresion del tipo ni=1 Fi (x) dxi x . Observese
que no decimos que sea la diferencial de la misma funcion en cada punto. Es decir se trata
simplemente de asignar a cada punto x la n-pla F1 (x) , ..., Fn (x). Es lo que se llama una forma
P
de orden uno y lo escribiremos brevemente ni=1 Fi dxi . Sea : Rm Rn una funcion de clase
C 1 . Se define una aplicacion de las formas de orden uno en Rn en las formas de orden uno
P
P
en Rm mediante la expresion ( ni=1 Fi dxi ) = ni=1 Fi di . Si esta definida en un cierto
subconjunto de Rm , en e l estaran definidas las nuevas formas. En particular, si : [a, b] Rn
P
P
es un arco de curva de clase C 1 tendremos que ( ni=1 Fi dxi ) = ni=1 Fi (t) i0 (t) dt. Es
entonces natural dar la siguiente definicion.
Definicion 4.7. Sea w = ni=1 Fi dxi una forma de orden uno definida en Rn y : [a, b] Rn
un arco de curva de clase C 1 . Se define la integral de w sobre como
P
Z X
n
i=1
Fi dxi =
n
X
i=1
Fi dxi =
n
X
Fi (t) i0 (t) dt.
i=1
Observese que si se efectua un cambio de parametros que no cambie la orientacion de la curva

la integral no vara. En efecto, si g : [c, d] [a, b] es un cambio de parametros con g 0 (l) > 0 y
llamamos = g tendremos
R Pn
i=1
Fi dxi =
R d Pn
R b Pn
0
0
0
a ( Ri=1 Fi (t) i (t)) dt = c ( Ri=1 Fi (g (l)) i (g (l))) g (l) dl =
Pn
d Pn
0
c
i=1
Fi (l) i (l)) dl =
i=1
Fi dxi .
Debe observarse tambien que esta definicion coincide con la dada para el campo vectorial
F . As pues, estas integrales se pueden pensar indistintamente como la integral de un campo de
vectores, que responde a la idea de trabajo de un campo de fuerzas, o como la integral de una
forma de orden uno que, mediante la curva, se ha transportado a una integral sobre un intervalo
de una forma del tipo g(t)dt.
66
Ejemplo 4.4. Sea (t) = (t, t, sin t), 0 < t < 2 . Tendremos
Z
zdx + xdy + dz =
(sin t + t + cos t) dt =
2
.
8
4.3 Teorema de Green

4.3.1
Teorema de Green para dominios elementales
Sea un intervalo bidimensional I = (a, b) (c, d) en R2 . Su frontera estara formada por cuatro
intervalos unidimensionales que supondremos orientados de tal forma que al recorrerlos quede
I a la izquierda. Es decir, por el intervalo de origen (a, c) y extremo (b, c), el de origen (b, c)
y extremo (b, d), el de origen (b, d) y extremo (a, d) y el de origen (a, d) y extremo (a, c).
Le llamaremos a este conjunto con estas orientaciones la frontera orientada y la escribiremos
P
+ I = 4i=1 i , donde cada i designa uno
de los intervalosR anteriores con su orientacion
R
P
respectiva. Dado un campo F escribiremos + I F ds = 4i=1 i F ds. Veamos un teorema
que relaciona la integral de un campo vectorial a lo largo del contorno de un intervalo con la
integral de una funcion sobre este dominio. Constituye la formula de Green para intervalos.
Teorema 4.3. Sea I un intervalo de R2 y F un campo de clase C 1 . Se tiene
Z
+I
F ds =
Z
I
F2 F1
.
x1
x2
Demostracion. Aplicando el teorema de Fubini tendremos

Z
I
Z b
Z d
Z
F2 Z d
F2
=
dx2
dx1 =
(F2 (b, x2 ) F2 (a, x2 )) dx2 =
(0, F2 ) ds.
x1
c
a x1
c
+I
Analogamente
Z b
Z d
Z
F1
F1
=
dx1
dx2 =
(F1 , 0) ds
I x2
a
c x2
+I
y, por tanto, vale la proposicion.
Veamos que el mismo teorema vale si se sustituye el intervalo I por lo que llamaremos un
dominio elemental, es decir, un dominio de la forma
D = {(x1 , x2 ) ; a < x1 < b, c < x2 < f (x1 )}
con f de clase C 1 y c < f (x1 ) .
La frontera orientada de D, + D estara formada por los segmentos 1 de origen (a, f (a))
y extremo (a, c), 2 de origen (a, c) y extremo (b, c), 3 de origen (b, c) y extremo (b, f (b)) y
el arco de curva 4 definido por x1 = a + b t, x2 = f (a + b t) definido en [a, b]. Cuando
queramos
referirnos Ra esta u ltima componente de + D la denotaremos e . Como antes se definira
R
P4
ormula de Green para estos dominios.
i=1 i F ds. Veamos la f
+ D F ds =
4.3. TEOREMA DE GREEN
67
Teorema 4.4. Sea D un dominio elemental y F un campo vectorial definido en D , de clase C 1 .

Se cumple
!
Z
Z
F2 F1
F ds =
.
x1
x2
+D
D
Demostracion. Veamos que si el campo tiene su segunda componente nula, la demostracion es,
como antes, una simple consecuencia del teorema de Fubini.
1
1
D F
= ab dx1 cf (x1 ) F
dx =
x2
x2R 2
Rb
a (F1 (x1 , f (x1 )) F1 (x1 , c)) dx1 = + D (F1 , 0) ds.
Sea ahora el campo de la forma (0, F2 ) . Lo reduciremos a la integracion de un campo del tipo
anterior. Observemos, en primer lugar, que si un campo es un gradiente de una funcion la integral
a lo largo de cualquier camino depende
u nicamente
de los valores que toma esta funcion en los
R
R b P f
extremos del camino. En efecto gradf ds = a xi ( (t)) 0 (t) dt = f ( (b)) f ( (a)) .
Si la curva es diferenciable a trozos la conclusion es la misma. En particular, si la curva es
cerrada, es decir (a)R = (b), la integral sera cero. Apliquemos
esta observacion a + D y a la
R
x2
funcion U (x1 , x2 ) = c F2 (x1 , t) dt. Tendremos que + D gradU ds = 0. Es decir
Z
+D
U
0,
x2
ds =
Z
+D
U
, 0 ds.
x1
Tendremos entonces que

Z
+D
(0, F2 ) ds =
Z
+D
U
0,
x2
ds =
Z
+D
U
, 0 ds.
x1
Podemos ahora aplicar el caso demostrado y la integral coincidira con

queramos probar.
2U
D x2 x1
F2
D x1
como
Pueden darse versiones de este teorema cuando la curva e que interviene en la definicion del
dominio es de clase C 1 a trozos. Tambien cuando el dominio es del tipo
D = {(x1 , x2 ) ; a < x1 < b, f (x1 ) < x2 < d}
con e de clase C 1 a trozos y f (x1 ) < d. En este caso uno de los arcos es el definido en [a, b]
mediante x1 = t, x2 = f (t). Continuaremos llamando a este arco, para futuras referencias, e .
De una forma analoga vale el teorema cuando los papeles de las variables primera y segunda
estan intercambiados en la definicion del dominio y se dan las definiciones naturales de frontera
orientada. A todos estos dominios les llamaremos elementales.
68
4.3.2 Teorema de Green para dominios regulares

Vamos a dar el teorema de Green para dominios de R2 tales que localmente sean dominios
elementales.
Definicion 4.8. Un abierto conexo D R2 , acotado, diremos que es un dominio con borde
regular a trozos o, simplemente, un dominio regular si se cumplen las siguientes propiedades:
a) La frontera de D esta formada por una union de un numero finito de curvas cerradas, simples y de clase C 1 a trozos. Supondremos que cada una de estas curvas i tiene una orientacion.
b) Para cada x D existe un entorno Ux tal que Ux D es un dominio elemental y si su
frontera orientada positivamente es + (Ux D), su componente e coincide con + D Ux con
la orientacion dada en el apartado a). A esta orientacion le llamaremos orientacion positiva.
La integral de un campo sobre + D se entendera que es la suma de las integrales sobre las
curvas componentes de + D con sus orientaciones positivas.
Ejemplo 4.5. El disco D = {(x, y) R2 ; x2 + y 2 < 1} es un dominio con borde regular. + D
podra parametrizarse mediante x = cos t, y = sin t, 0 t 2.
Para establecer el teorema de Green para dominios con borde regular necesitaremos un resultado, la existencia de particiones de la unidad, que permite pasar en e sta y en otras situaciones
de un resultado local a un resultado global.
Definicion 4.9. Dada una funcion f , definida en un abierto de Rn a valores reales, se denomina
soporte de f a la adherencia del conjunto de puntos en que la funcion es distinta de cero.
Teorema 4.5. (Existencia de particiones de la unidad) Sea K un compacto de Rn y Ui , i I,
un recubrimiento abierto de K. Entonces existen funciones 1 , ..., m de C (Rn , R) tales que
a. 0 i (x) 1 si x Rn , i = 1, ..., m.
b. Cada i tiene su soporte contenido en algun Uji .
c. 1 (x) + ... + m (x) = 1 para x K.
Demostracion. Observemos, en primer lugar, que dado a Rn y > 0 existe una funcion de
C (Rn , R) que vale uno en B (a, ), cero en el complementario de B (a, 2) y toma
valores
kxak
comprendidos entre cero y uno. Esto puede probarse considerando la funcion g
donde g
es una funcion de C (R, R) que vale 1 para 0 t 1 , 0 para t 2 y toma valores entre cero
y uno. Una sugerencia para construir una tal funcion g es la siguiente. Se considera la funcion
1
2
1
definida por e (t 2 ) para t < 12 y 0 para t 12 . Multiplicandola por su simetrica hrespecto
i
al eje de ordenadas se obtiene una funcion h1 no negativa, de C (R, R) a soporte en 12 , 12 .
R
Si consideramos ahora la funcion h2 (t) = t+ h1 (t) dt se obtiene una funcion de C (R, R),
que vale 0 para
t 21 y es constante para t 12 . Consideremos una trasladada de esta funcion

h3 (t) = h2 t + 32 . Tomara el valor cero para t 2 y el valor 1 para t 1. Consideraremos
la funcion simetrica de esta respecto el eje de ordenadas y multiplicaremos ambas. Sera una
4.3. TEOREMA DE GREEN
69
funcion que tomara un valor constante k para |t| 1, el valor 0 para |t| 2. Esta funcion
dividida por k cumplira las condiciones requeridas.
Consideremos para cada x K un Ui con x Ui . Existira x > 0 tal que B (x, 3x ) Ui .
Un numero finito de bolas B (x, x ) recubriran K. Sean B (x1 , 1 ) , ..., B (xm , m ). Consideremos, para cada una de estas bolas, una funcion i de clase C (Rn , R) que vale uno en B (xi , i ),
cero en el complementario de B (xi , 2i ) y que toma sus valores en [0, 1]. Podemos ya definir las
funciones i requeridas.
1 = 1
2 = (1 1 ) 2
............
m = (1 1 ) (1 2 ) ... (1 m1 ) m .
Las condiciones (a) y (b) son ya inmediatas. Para comprobar la condicion (c) basta tener en
cuenta la relacion
1 + ... + m = 1 (1 1 ) (1 2 ) ... (1 m )
y las propiedades de las funciones i .
Podemos ahora pasar a establecer el teorema de Green para dominios regulares.
Teorema 4.6. (Teorema de Green)
Sea D un dominio regular. Sea F un campo de clase C 1 definido en un entorno de D. Se
cumple
!
Z
Z
F2 F1
.
F ds =
x1
x2
+D
D
Demostracion. Para cada x D sea Ux un entorno de x contenido en D. Para cada x D
sea Ux un entorno que cumple la condicion b) de la definicion anterior. Puesto que D D es
un compacto mediante un numero finito de estos entornos se recubrira este conjunto. Sean estos
U1 , U2 , ..., Ur y consideremos 1 , ..., r una particion de la unidad de un entorno de D relativa a
2
1
este recubrimiento. Si llamamos rotF = F
F
, tendremos
x1
x2
R F2
F1
i F ) =
D x1 x2 = D rotF = D rot (
D rot (i F ) =
R
PR
PR
P
+ (DU ) i F ds =
Ui D6= + D i F ds =
DUi rot (i F ) =
i
R
R
P
i ) F ds = + D F ds.
+D (
PR
Ejemplo 4.6. Calculemos la circulacion del campo F = x2 , yey respecto del arco de semicircunferencia (t) = (cos t, sin t), 0 < t < . Podemos considerar el dominio D limitado
por la semicircunferencia y por el diametroR1 (t) = (1
+ 2t, 0), 0 < t < 1. Puesto que
R
F2
F1
y = 0 la formula de Green dira que F ds + 1 F ds = 0. Por lo tanto
x
Z
F ds =
Z
1
F ds =
Z
0
2
(1 + 2t)2 2dt = .
3
70
4.3.3 El teorema Green en el lenguaje de formas.

Dada una forma de orden uno w = F1 dx1 + F2 dx2 , se define su diferencial exterior como
dw = dF1 dx1 + dF2 dx2 , donde se conviene que df dg = dg df y por tanto df df = 0.
Es decir
!
F2 F1
dw =
dx1 dx2 .
x1
x2
R F2
Se define entonces D dw = D
Green tendra esta sugestiva forma
x1
F1
x2
Z
+D
. En este lenguaje la conclusion del teorema de
w=
dw.
Ejemplo 4.7. El a rea de un dominio de borde regular a trozos D sera D 1 = D dx dy.

Aplicando el teorema de Green sera igual a la integral a lo largo de la frontera orientada de una
forma de orden uno cuya diferencial exterior sea dx dy. Pueden seleccionarse diversas
formas
R
con
esta propiedad.R As el a rea coincidira con cualquiera de las siguientes integrales +D xdy,
R
1
ltima para el calculo del
+ D ydx o bien + D 2 (xdy ydx) . Utilicemos, por ejemplo, esta u
a rea de un circulo
de radio
r. Una parametrizacion de la frontera sera x = r cos t, y = r sin t.
R
R 2 1 2
Tendremos D dx dy = 0 2 r cos2 t + r2 sin2 t dt = r2 .
R
4.3.4
El teorema de la divergencia y formulas de Green
Definicion 4.10. Si F es un campo vectorial definido en Rn se define su divergencia como el

P
i
campo escalar ni=1 F
. Se escribira divF.
xi

f
f
Si f es un campo escalar se define su gradiente como el campo vectorial x
, ..., x
. Se
n
1
escribira f.
Si F es un campo vectorial de R3 se denomina rotacional de F y se escribe rotF al campo
vectorial definido por
rotF =
F3 F2 F1 F3 F2 F1
.
x2
x3 x3
x1 x1
x2
Simbolicamente puede pensarse como F.

Teorema 4.7. (Teorema de la divergencia en dimension 2)
Sea D un dominio regular, + D su frontera orientada y F un campo de clase C 1 definido en D. Para cada curva (t) componente de + D orientada positivamente, sea n(t) =
1
(20 (t) , 10 (t)) el campo vectorial normal exterior unitario. Se cumple
k 0 (t)k
Z
D
divF =
Z
+D
(F n) ds.
Demostracion. Consideremos el campo G = (F2 , F1 ). Apliquemos el teorema de Green a este

campo
R
R
R
PR
= D rotG = + D G ds =
D divF P
i G ds =
R
R
i (F n) ds = + D (F n) ds.
4.4. SUPERFICIES E INTEGRALES DE SUPERFICIE
71
Sea D un dominio regular y n el campo vectorial normal exterior unitario definido en cada
uno de los arcos (abiertos) componentes de la frontera. Si g es una funcion de clase C 1 definida
en un entorno de D se define la derivada normal de g en cada punto en que esta definido n como
P g
la derivada direccional de g respecto a n, es decir x
ni . La denotaremos n g. Se tendran las
i
llamadas formulas o identidades de Green.
Teorema 4.8. Sea D un dominio regular y f, g dos funciones de clase C 2 definidas en un entorno
de D. Se tiene
Z
Z
a)
f n gds =
(f g + f g)
+D
b)
Z
+D
(f n g gn f ) ds =
(f g gf ) .
Demostracion. Aplicando el teorema de la divergencia al campo f g obtenemos a). Si se considera el resultado analogo a este intercambiando los papeles de f y de g y restando miembro a
miembro se obtiene b).
Corolario 4.9. Sea f una funcion de clase C 2 en un entorno de un dominio regular D tal que
f = 0. Si f se anula sobre D entonces f es cero en D.
Demostracion. Apliquemos el apartado a) de la proposicion anterior a f = g. Tendremos
Z
+D
f n gds = 0 ,
f f = 0
y por tanto
Z
kf k2 = 0.
De aqu que f es constante en D y, por ser cero sobre la frontera, es nula en D.
4.4
Superficies e integrales de superficie
4.4.1 Superficies elementales

Definicion 4.11. Sea D un dominio regular de R2 . Una superficie elemental de R3 es una aplicacion , inyectiva, de clase C 1de un entorno de D en R3 tal que d sea de rango dos en cada
punto. Escribiremos S = D .
Sea una superficie y sean u, v las coordenadas en el dominio de definicion de e sta. Los
vectores
y
son tangentes a la superficie y

sera un campo de vectores normal a
u
v
u
v

la superficie, no nulo. El campo

sera normal unitario a la superficie y es
u
v u
v
en cada punto de S uno de los dos posibles. Un tal campo normal, unitario y continuo sobre la
superficie diremos que define una orientacion de la misma.
72

Ejemplo 4.8. Consideremos la aplicacion (x, y) x, y,

n
del conjunto (x, y) R2 , x2 + y 2
1
2
1 x2 y 2 definida en un entorno
. Se trata de una superficie elemental. Calculemos el

= 1, 0,
x
1x2 y 2
= 0, 1,
vector normal asociado. Tendremos

,
tanto
!
x
y

,
,1 .
=
x y
1 x2 y 2
1 x2 y 2
y
1x2 y 2
y por
Definicion 4.12. Sean G y D dos dominios regulares de R2 y un difeomorfismo de clase C 1

de un entorno de G en un entorno de D que aplica G en D. Si es una superficie elemental
definida en dicho entorno de D tendremos que sera una superficie elemental definida en
un entorno de G. Diremos que e sta ha sido obtenida mediante un cambio de parametros de la
primera.
1 ,2 )
No es difcil probar que en las condiciones anteriores o bien (
es positivo en todos los
(s,t)
puntos de G o bien es negativo en todos los
puntos. Por
otra
parte si llamamos = , es
1 ,2 )
1 ,2 )
. De aqu que si (
es
una comprobacion el verificar que s t = u v (
(s,t)
(s,t)
positivo la superficie no cambia de orientacion mientras que si

queda cambiada.
(1 ,2 )
(s,t)
es negativo la orientacion
Ejemplo 4.9. Sea una superficie elemental

n definida en un entorno
o de D. Consideremos la aplicacion 1 definida en un entorno de D1 = (x, y) ; (x, y) D mediante 1 (x, y) = (x, y)
que, obviamente tendra la misma imagen. Si n es el vector normal unitario asociado a , ahora
n sera el vector normal asociado a 1 en el punto correspondiente y las orientaciones que
definiran y 1 seran distintas.
4.4.2
Area
de una superficie
Se trata ahora de dar una nocion de a rea de una superficie. Esta nocion sera independiente por
cambio de parametros.
Definicion 4.13. Sea una superficie elemental definida en un entorno de D para un cierto
dominio regular D con coordenadas u y v. Se define el a rea de S = (D) mediante

Z

Area (S) =

.
v
D u
Observese que, si hacemos el cambio de parametros antes descrito, la integral no vara pues
por el teorema del cambio de variables para las integrales tendremos

Z

Z

=
v
D u
G

!
Z

( , )

1
2

.
u
(s, t)
v
t
G s
La idea que esta en la base de la definicion puede verse facilmente si se considera una superficie de la forma x = x, y = y, z = f (x, y) para (x, y) I. Consideremos una particion de
I = [a, b] [c, d] de la forma a = x0 < x1 < ... < xn = b, c = y0 < y1 < ... < ym = d.
73
Tomemos un punto (xei , yej ) [xi1 , xi ] [yj1 , yj ]. La parte del plano tangente a la superficie
en el punto (xei , yej , f (xei , yej )) que se proyecta en [xi1 , xi ] [yj1 , yj ] tiene por a rea la de este
rectangulo dividida por
que forma con
el coseno del a ngulo

el plano x, y. Un vector normal
al
f
f
f
f
e
e
e
e
e
e
e
e
plano tangente sera 1, 0, x (xi , yj ) 0, 1, y (xi , yj ) = y (xi , yj ) , x (xi , yj ) , 1 y,
1
por tanto, este coseno sera
1 . Una aproximacion al a rea de la superficie consis2
2
f 2
+1
( x ) +( f
)
y
tira en hacer esto para cada intervalo de la particion y efectuar la suma, es decir
X
i,j
!2
f
+
y
!2
+ 1 (xei , yej ) (xi xi1 ) (yj yj1 )
Cuando max (xi xi1 ) , max (yj yj1 ) 0 la suma tiende a
x
I
!2
f
+
y
!2
+ 1
que coincide con la definicion de a rea de la superficie que hemos dado antes.
Ejemplo 4.10. Calculemos el a rea de la interseccion de la esfera x2 R+ y 2 + z 2 = 1 con el
semiespacio z 12 . Aplicando las expresiones anteriores su a rea sera x2 +y2 1 1 2 2 que,
2
en coordenadas polares, equivale a calcular 2
4.4.3
1
2
12
= 2 1
1
2
1x y
Integral de un campo escalar sobre una superficie y flujo de un campo vectorial.
dominio regular D con coordenadas u y v. Sea f un campo escalar continuo definido en S =
(D) . Se define la integral de este campo sobre la superficie como

f d =
(f )
.
u
v
S
D
dominio regular D con coordenadas u y v. Sea F un campo vectorial continuo definido en S.
Se define el flujo de este campo respecto a como
!
.
F d = (F )
u v
S
D
Ejemplo 4.11. Consideremos el campo F = (x, y, 0). Se trata de calcular el flujo a traves
de la superficie x2 + y 2 + z 2 = 1, z 12 orientada por la normal exterior a la esfera. Si
74

parametrizamos la superficie mediante (x, y) x, y,

x
,
1x2 y 2
y
1x2 y 2
1 x2 y 2 obtenemos
, 1 . El flujo sera
1
Z
x2 +y 2 12
Z
x2 + y 2
3 d
2
=
2
.
1 x2 y 2
1 2
0
R
Mediante
un cambio de parametros la integral S f d permanece invariante. Tampoco la
R
integral S F d, es decir, el flujo del campo vara si el cambio de parametros no cambia la
orientacion de la superficie. En caso contrario cambia el signo de la integral.
dominio regular D. Denominaremos frontera de la superficie a la imagen por de la frontera
de D. Si consideramos la frontera de D con su orientacion positiva inducira una orientacion en
la frontera de la superficie que denominaremos orientacion positiva.
Observese que la frontera de una superficie elemental en el sentido anterior no coincide con la
frontera topologica de la imagen de D en R3 que es la adherencia de (D). Si denominamos por
S a la superficie, a su frontera positivamente orientada la denominaremos + S. La orientacion
de la superficie puede venir determinada por un campo normal unitario continuo definido sobre
S. En este caso la orientacion de + S queda fijada de manera que el vector tangente a e sta,
el vector normal a + S, tangente a S y dirigido hacia el interior y el campo normal unitario
continuo formen una base positiva. De una forma intuitiva una persona situada en el sentido de
la normal y caminando por la frontera lo hara en sentido positivo si el interior de la superficie le
queda a la izquierda. Estamos ya en condiciones de enunciar el teorema de Stokes.
Teorema 4.10. (Teorema de Stokes para superficies elementales)
Sea S una superficie elemental definida por una aplicacion de clase C 2 y F un campo
vectorial de clase C 1 definido en S. Se tiene
Z
+S
F ds =
rotF d.
Demostracion. Supondremos definido en un entorno de D. Designemos por la frontera de D

positivamente orientada. Llamemos u, v a las funciones coordenadas de D. Tendremos que
sera la frontera orientada positivamente de S. Sea [a, b] su dominio de definicion. Tendremos
Z
+S
F ds =
d Z b
d1 d2
=
F
+
F
dt
u dt
v dt
a

que es la integral a lo largo de del campo F

, F
u
1
Green a este campo de clase C y al dominio D tendremos que
R
+S
F ds = D u
F
v
F
v
R
= D u (F )
)
u
v v (F
R
R
=
rotF
d.
= D rotF
S
u
v
. Aplicando el teorema de
75
El teorema es valido tambien para superficies de clase C 1 . La demostracion puede hacerse

por un proceso de aproximacion por superficies de clase C 2 . No entraremos en detalles de la
demostracion.
Podemos extender la validez del teorema de Stokes a una superficie que pueda descomponerse adecuadamente en superficies elementales.
Definicion 4.17. Una superficie orientada regular a trozos es un conjunto S que admite una
descomposici
on S =ri=1 Si ensuperficies elementales orientadas positivamente tales que

a) Si Si Sj Sj = si i 6= j.
b) Si Sj es o el vaco, o un punto, o una curva C 1 a trozos. En este u ltimo caso las
orientaciones inducidas por Si y Sj , i 6= j deben ser una las inversa de la otra.
Definicion 4.18. Dada una superficie orientada regular a trozos se denomina su frontera a la
union de las curvas de las fronteras de las superficies elementales Si tales que pertenezcan a
una sola frontera (excluidos los extremos). Al conjunto de estas curvas con las orientaciones
positivas inducidas por las superficies elementales la denotaremos por + S.
Observese que una superficie orientada regular a trozos puede no tener frontera.
Ejemplo 4.12.
1. Consideremos S la esfera x2 + y 2 + z 2 = 1. Una descomposici
on de la
n
o
misma en superficies elementales podra ser la siguiente. S1 = S z 12 , S2 =
n
S z 12 , S3 = S x 0, 12 z 12 , S4 = S x 0, 12 z 12
con orientaciones inducidas por la normal exterior a la esfera. Se trata de una superficie
sin frontera.
2. La parte de la esfera anterior tal que z 12 admite la descomposicion en superficies elementales S1 S3 S4 . Ahora su frontera esta formada por la curva [0, 2]

1 cos t, 1 sin t, 1 . Es f
acil comprobar que la orientacion positiva es la dada por
2
2
2
esta parametrizacion.
Definicion 4.19. Dada S una superficie orientada regular a trozos y F un campo definido sobre S se denomina
flujo sobre S a la suma de los flujos sobre las diversas superficies Si . Lo
R
escribiremos S F d.
Puede probarse que este flujo no depende de la particular descomposicion de la superficie en
superficies elementales.
Ejemplo 4.13. Calculemos el flujo del campo F = (x, y, 0) a traves de la superficie esferica
x2 + y 2 + z 2 = 1 orientada segun la normal exterior. Podemos considerar la descomposicion
considerada en el ejemplo 4.12. Deberamos dar una parametrizacion para cada superficie
elemental, calcular el flujo en cada una de ellas y obtener la suma. Una manera simple de
calcular cada una de estas integrales es utilizar coordenadas esfericas, es decir, x = cos cos ,
y = sin cos , z = sin . Esto puede hacerse salvo conjuntos de medida nula. Si consideramos
los dominios de definicion correspondientes a estas coordenadas y tomamos
su union vemos

que, finalmente, el dominio de la parametrizacion sera (, ) (0, 2) 2 , 2 . Tendremos
76
ahora que
= (cos cos2 , sin cos2 , sin cos ). El producto escalar por el campo
F = (cos cos , sin cos , 0) sera cos3 y el flujo 2
cos3 d = 0
Enunciemos el teorema de Stokes para estas superficies.

Teorema 4.11. Sea S una superficie orientada regular a trozos de clase C 2 y F un campo vectorial de clase C 1 definido en S. Se tiene
Z
+S
F ds =
rotF d.
Demostracion. Sea S = Si una descomposici

on en superficies
elementales orientadas
con las
R
PR
PR
propiedades
de la definicion 4.17 . Tendremos + S F ds =
+ Si F ds =
Si rotF d =
R
S rotF d.
Ejemplo 4.14. Comprobemos el teorema de Stokes para el campo F = (z y, x + z, x y)
respecto a la superficie z = 1 x2 y 2 , z 0 orientada segun la normal que tiene la tercera
coordenada positiva.
La frontera de esta superficie orientada
positivamente es x = cos , y = sin , z = 0. La
R 2
circulacion de F respecto a esta curva es 0 d = 2.
El rotacional del campo es (2, 2, 2). Veamos el flujo de e ste a traves de la superficie.
Una parametrizacion de la superficie es : (, ) ( cos , sin , 1 2 ) definida en
(0, 1) (0, 2) . La orientacion es la requerida como puede verse calculando

=
2
2
(2 cos , 2 sin , ) . El flujo del rotacional sera
Z
0<<1
42 cos + 42 sin + 2 = 2.
0<<2
Definicion 4.20.
1. Analogos al concepto de dominio elemental y de dominio con borde regu2
lar en R puede definirse un dominio elemental y un dominio con borde regular o regular
a trozos en R3 . Un dominio elemental es un dominio de la forma
n
G = (x, y, z) R3 , (x, y) D, c < z < f (x, y)
con D un dominio regular en R2 y f de clase C 1 . La frontera + G estara formada por tres

superficies: S1 que corresponde a los puntos en que z = c. S2 aquellos (x, y, z) + G
tales que (x, y) D y S3 aquellos de la forma (x, y, f (x, y)). S1 se orientara mediante el
campo
(0,
1). S2 mediante (a1 , a2 , 0) si (a1 , a2 ) es la normal exterior a D. S3 mediante

0,
f
1
q
1, 0, x 0, 1, f
. Pueden definirse dominios analogos permutando
y
2
f 2
+1
( x ) +( f
)
y
los papeles de las coordenadas.
2. Un dominio G R3 acotado diremos que es un dominio con borde regular si la frontera
esta formada por una superficie orientada regular + G sin frontera, tal que para cada
punto de la frontera de G existe un entorno Ui tal que Ui G es un dominio elemental de
manera que la orientacion inducida por + G y por + (Ui G) en su interseccion sea la
misma.
77
Teorema 4.12. (Teorema de Gauss o de la divergencia)

Sea G un dominio acotado de R3 por una o varias superficies regulares a trozos, orientables
sin frontera. Sea F un campo vectorial definido en un entorno de G de clase C 1 . Entonces
Z
divF =
Z
+G
F d
donde + G esta orientada segun la normal exterior.

El significado intuitivo de los dominios acotados de la forma anterior es evidente. Su formalizacion se hara en el transcurso de la demostracion.
Demostracion. Supongamos, en primer lugar, que G es un dominio elemental, es decir, existe
un sistema de coordenadas ortonormales en las que
n
G = (x, y, z) R3 , (x, y) D, c < z < f (x, y)
con D un dominio regular en R2 y f de clase C 1 a trozos y F = (0, 0, R) . Tendremos que

divF = R
y por tanto, en este caso,
z
Z
divF =
(R (x, y, f (x, y)) R (x, y, c)) .
Hemos distinguido en + G tres superficies: S1 que corresponde a los puntos en que z = c.

S2 aquellos (x, y, z) + G tales que (x, y) D y S3 aquellos de la forma (x, y, f (x, y)).
Observese que la normal a S2 tiene tercera componente cero y, por tanto
Z
F d = 0.
S2
La normal exterior sobre

S1 es e3 y por tanto S1 F d = D R (x, y, c) . Por u ltimo, sobre S3

R
R
f
tenemos

= x , f
, 1 y S3 F d = D R (x, y, f (x, y)) . Vale entonces el teorema
x
y
y
en esta situacion.
Consideremos ahora para el mismo
dominio G un campo de laRforma F = (P, Q, 0) . DefiRz
z
namos las funciones U (x, y, z) = c Q (x, y, t) dt,
V (x, y, z) = c P (x, y, t) dt y los campos
vectoriales W = (U, V, 0) , X = 0, 0, U
V
. Se tiene
y
x
R
rotW = F X, divF = divX.

Dado que por el teorema de Stokes + G rotW d = 0 y que para un campo de la forma de X
hemos ya probado el teorema tendremos
R
Z
+G
F d =
Z
+G
X d =
Z
G
divX =
divF.
Sumando dos campos de los tipos antes considerados tendremos que el teorema es cierto par
todo campo siempre que el dominio sea del tipo anterior.
78
Sea ahora un dominio G con borde regular. Supondremos que existe un recubrimiento finito
de G por abiertos Ui tales que Ui G sean elementales, para los que se ha demostrado el teorema
y de manera que la orientacion inducida por + G y por + (Ui G) en + (Ui G) + G sea
la misma.
Sea i una particion de la unidad subordinada a este recubrimiento. Tendremos
R
G
P R
P R
P R
i G divi F =
i Ui G divi F =
i + (Ui G) i F d =
R
R
R
P
P
divF =
i Ui + G
i F d =
i F d =
i +G
F d.
Ejemplo 4.15. Calculemos el flujo del campo

F = x z 2 y 2 , y x2 z 2 , z y 2 x2

a traves de la superficie S1 : x2 + y 2 + z 2 = 2, z > 1, orientada segun la normal exterior de

la esfera. Llamemos S2 a la superficie z = 1, x2 + y 2 1 orientada segun la normal (0, 0, 1).
Aplicando el teorema de la divergencia tendremos
Z
F d
S1
De donde
Z
S1
4.5
F d =
F d = 0 =
S2
F d = 0.
S2
x2 +y 2 1
y 2 + x2 = 0.
El lenguaje de las formas
4.5.1 Campos de formas en Rn

Sea E
= Rn un espacio vectorial de dimension n sobre R. Supongamos que e1 , ..., en es una
base de E y w1 , ..., wn la correspondiente base dual en L (E, R)
= E . Sabemos que una base
k
de las aplicaciones klineales L (E, R) esta formado por los elementos del tipo wi1 wik ,
definidas por wi1 wik (u1 , ..., uk ) = wi1 (u1 ) wik (uk ) .
Definicion 4.21. Una aplicacion klineal T Lk (E, R) se dice hemisimetrica si para cada
coleccion de k vectores u1 , ..., uk y cada permutacion de los ndices 1, ..., k se tiene
!
1, ..., k
T (ui1 , ..., uik ) =
T (u1 , ..., uk ) ,
i1 , ..., ik

donde i1,...,k
es el signo de la permutacion, es decir +1 si la permutacion es par y -1 si
1 ,...,ik
es impar. Al conjunto de estas aplicaciones la designaremos por k y a sus elementos se les
denomina formas de orden k.
4.5. EL LENGUAJE DE LAS FORMAS
79
Observese que si T se expresa en una base como T = ai1 ,...,ik wi1 wik una condicion
necesaria y suficiente para que sea hemisimetrica es que para cada permutacion de cada kepla
P
aj1 ,...,jk
j1 , ..., jk
=
ai1 ,...,ik .
i1 , ..., ik
Si consideramos k > n, en los coeficientes ai1 ,...,ik deberan coincidir al menos dos ndices y,
por tanto, si la aplicacion es hemisimetrica, el coeficiente debera ser cero. La u nica aplicacion
klineal hemisimetrica para k > n es entonces la identicamente nula. Supondremos entonces
que k n.
Definicion 4.22. Sea T Lk (E, R). Se define su hemisimetrizacion HT como el elemento de
k definido por
!
X
1, ..., k
HT (u1 , ..., uk ) =
T (ui1 , ..., uik ) .

i1 , ..., ik
Sean 1 , ..., k E . Se llama producto exterior de estas formas y se escribe 1 k al
elemento de k
1 ... k = H (1 k )
Ejemplo 4.16. Sean wi1 , ..., wik k elementos de la base dual con i1 < ... < ik . El producto
exterior de estas formas lineales sera
!
wi1 wik (u1 , ..., uk ) =
o bien
i1 , ..., ik
wi1 (uj1 ) wik (ujk )

j1 , ..., jk
!
wi1 wik =
j1 , ..., jk
wj1 wjk
i1 , ..., ik
donde los sumatorios estan extendidos a todas las permutaciones de los ndices i1 , ..., ik .
Observese que si permutamos dos formas i , j en un producto 1 ... k se obtiene el
mismo cambiado de signo. En particular si dos de estas formas son iguales es resultado es cero.
Tambien es facil ver que este producto es lineal en cada factor.
Ejemplo 4.17. Sean i =
Pn
j=1 cij wj .
Aplicando reiteradamente las reglas anteriores
1 ... n = det cij w1 ... wn .

Teorema 4.13. Una base del espacio vectorial k esta formado por los elementos del tipo wi1
wik para i1 < ... < ik .
Demostracion. Observese que si T es hemisimetrica se tiene que T = k!1 HT. Sea ahora T k .
P
Admitira una expresion T = ai1 ,...,ik wi1 wik . Tendremos entonces
T =
1
1 X
1 X
HT = T = H
ai1 ,...,ik wi1 wik =
ai1 ,...,ik wi1 wik .
k!
k!
k!
80

k
Puesto que wi1 wik = ji11 ,...,i
wj1 wjk , siempre se puede reducir a un
,...,jk
sumatorio en que los ndices j1 , ..., jk es un conjunto estrictamente creciente. Hemos probado
que los elementos wi1 wik con i1 < ... < ik forman un sistema de generadores de k .
Veamos que forman un sistema linealmente independiente. Consideremos
ai1 ,...,ik wi1 wik = 0.
i1 <...<ik
Apliquemoslo a ej1 , ..., ejk , con j1 < ... < jk . Tendremos

X
ai1 ,...,ik wi1 wik (ej1 , ..., ejk ) = aj1 ,...,jk = 0.
i1 <...<ik
Son, por tanto, linealmente independientes.

Ejemplo 4.18. En E
= R2 las u nicas formas no nulas son las de orden 0, 1, 2. 0 se entiende
que es R, 1 coincide con E , una base es entonces w1 , w2 . Una base de 2 es w1 w2 .
Si tomamos como espacio de partida E
= R3 , tendremos como espacios de formas no nulas
las de orden 0, 1, 2 y 3. Como antes 0 es R. Una base de 1 es w1 , w2 , w3 . Una base de 2
estara formada por w1 w2 , w1 w3 , w2 w3 . Por u ltimo, una base de 3 es w1 w2 w3 .
Definicion 4.23. Si consideramos como espacio E el espacio de las diferenciales en un punto p
de las funciones de Rn a valores en R, a los elementos de k se les llama formas de orden k en
p.
Una base de estas formas sera dxi1 p ... dxik p para i1 < ... < ik .
Definicion 4.24. Sea A un abierto de Rn . Se llama un campo de formas de orden k sobre A a
una correspondencia que a cada punto p A le asocia una forma de orden k en p. Al conjunto
de estos campos lo designaremos por k (A) .
Un campo de formas de orden k tendra una expresion en coordenadas de la forma
X
ai1 ,...,ik (x) dxi1 x ... dxik x .
i1 <...<ik
La expresaremos brevemente i1 <...<ik ai1 ,...,ik dxi1 ... dxik . Si las funciones ai1 ,...,ik (x) son
de clase C r se dira que el campo es de esta clase y, si no hay lugar a confusion, se hablara
simplemente de formas de orden k y de clase C r . Las formas de orden cero se entenderan que
son simplemente las funciones.
Veamos que una aplicacion : Rm Rn de clase C 1 induce una aplicacion lineal
de las formas de un determinado orden k sobre Rn en las formas del mismo orden en Rm . Si
denominamos x1 , ..., xm las coordenadas en Rm y y1 , ..., yn las coordenadas en Rn tendremos
que
i1 <...<ik
ai1 ,...,ik dyi1 ... dyik =
X
i1 <...<ik
ai1 ,...,ik di1 ... dik .
81
Teorema 4.14. Sean : Rs Rm y : Rm Rl aplicaciones diferenciables. Las aplicaciones

sobre las formas cumplen ( ) = .
Demostracion. En efecto, llamemos ti , xj e yk a las coordenadas en Rs , Rm y Rl respectivamente. Tendremos, utilizando la linealidad de la aplicacion , as como la linealidad en cada factor
del producto exterior.
( ) (f dyk1 ... dykn ) = f d (k1 ) ... d (kn ) =
f (dk1 d) ... (dkn d) =
=f
Pm
k1
i1 =1 xi
1
Pm
i1 ,...,in =1

Pm
(f
di1 ...
P
kn
m
in =1 xin
din =
f xki1 ... xkin di1 ... din =

k1
kn
i1 ,...,in =1 f xi ... xin dxi1 ... dxin
1
dk1 ... dkn ) = (f dyk1 ...
=
dykn ) .
Sea ahora : Rn Rn un cambio de coordenadas. Las formas de orden n en Rn vienen

dadas por f dy1 ... dyn . Tendremos que
P
n
i=1
(fdy1 ... dyn ) = f d1 ... dn =

Pn n
(1 ,...,n )
1
dxi ...
i=1 xi dxi = f (x1 ,...,xn ) dx1 ... dxn .
xi
Ejemplo 4.19. Sea el cambio a coordenadas polares, es decir x = cos , y = sin . La

forma x2 dx + xdx se transformara en
(x2 dx + xdx) =
2 cos2 (cos d sin d) + cos (sin d + cos d) =
(2 cos3 + cos sin ) d + (3 cos2 sin + 2 cos2 ) d.
La forma xdx dy se transformara en
cos (cos d sin d) (sin d + cos d) = 2 cos d d.
Tenemos entonces que una funcion f , como tal funcion o campo de formas de orden 0, al
efectuar un cambio de coordenadas se transforma en la funcion f . Sin embargo si esta
funcion f expresa la funcion coordenada de la forma f dy1 ... dyn , al efectuar el cambio
1 ,...,n )
dx1 ... dxn . La funcion anterior f
de coordenadas, se transforma en f (
(x1 ,...,xn )
queda multiplicada por el determinante jacobiano del cambio de coordenadas. Estos cambios
de coordenadas son los que aparecan cuando estudiabamos los cambios de coordenadas en el
calculo de integrales y sugieren que las formas son un lenguaje adecuado en el contexto del
calculo integral. Es natural dar entonces la siguiente definicion.
82
Definicion 4.25. Sea w = f dx1 ... dxn una n-forma en Rn . Sea un conjunto medible de Rn .
Se define la integral de w sobre D como
Z
w=
f.
Cuando integremos sobre Rn escribiremos simplemente w.

R
Observervese que si es un cambio de coordenadas que no cambia la orientacion, es decir,

con determinante jacobiano positivo en todos los puntos, tendremos que
Z
w=
f=

Z
( , ..., )
(1 , ..., n ) Z
1
n

=
f
= (w) .
f
(t1 , ..., tn )
(t1 , ..., tn )
Es decir la definicion dada de integral de n-formas no depende de un cambio de coordenadas que

conserve la orientacion.
Ejemplo 4.20. Calculemos D xy 2 dxdy donde
D esta definido por x2 +y 2 r2 , x 0, y 0.
R
En coordenadas polares deberemos calcular E 4 cosR sin2 dd donde E esta definido por
r5
0 < < r, 0 < < 2 . Esta integral es simplemente E 4 cos sin2 = 15
.
R
Sea ahora una aplicacion diferenciable de un abierto de Rm en Rn . Si tenemos una forma

de orden m en Rn , mediante la aplicacion se transformara en una forma del mismo orden en
Rm . Para e stas hemos definido su integral. Es natural entonces considerar la siguiente definicion.
Definicion 4.26. Sea una aplicacion diferenciable de un abierto D de Rm en Rn y w una
forma de orden m en Rm . Se define la integral de w respecto a como
Z
w=
Ejemplo 4.21.
1. Calculemos
(w) .
x2 dy dz donde es la aplicacion definida en
0 < < 2, 0 < <

2
D=
mediante
(, ) = (cos cos , sin cos , sin ) .
Deberemos calcular
Z
cos2 cos2 (cos cos d sin sin d) cos d =
cos3 cos5 = 0
2. El a rea de una superficie elemental S = (D) es

Nz dx dy donde N es el vector normal
u v

u v
para = Nx dy dz + Ny dz dx +

. En efecto () =

du dv.
v
Se debe observar
que si es un cambio de coordenadas en Rm que no cambia la orientacion
R
R
se tiene que w = w. En efecto
Z
w=
Z
1 (D)
( ) (w) =
Z
1 (D)
( (w)) =
Z
D
(w) =
w.
83
4.5.2 Identificacion de campos escalares y vectoriales con formas en R2 y

en R3
Se trata ahora de ver como los campos escalares y vectoriales pueden identificarse con ciertas
formas y que, a traves de estas identificaciones, la integracion de formas que acabamos de definir
coincide con los diversos conceptos de integracion en estos campos. Lo haremos por separado
en R2 y en R3 .
En R2 podemos considerar campos escalares, que estan definidos por funciones f y campos
vectoriales que estan definidos por pares de funciones (f1 , f2 ) . Los primeros pueden identificarse
con formas de orden cero o con formas de orden dos. En el primer caso se asigna a la funcion
f la propia funcion. En el segundo caso se identifica la funcion f con la forma f dx1 dx2 . Por
u ltimo el campo vectorial (f1 , f2 ) se identifica con la forma de orden uno f1 dx1 + f2 dx2 .
Ya vimos en su momento que la integral de un campo vectorial (f1 , f2 ) a lo largo de un arco
de curva definida en [a, b], lo que denominamos su circulacion, coincide con la integral de la
forma f1 dx1 + f2 dx2 respecto de ya que
Z
f1 dx1 + f2 dx2 =
Z
[a,b]
Z
[a,b]
(f1 dx1 + f2 dx2 ) =

f1 10 + f2 20 .
La integral de una forma de orden dos f dx1 dx2 respecto a la aplicacion que es la identidad
en un cierto dominio D R2 es simplemente la integral de la propia funcion.
Z
f dx1 dx2 =
f.
En R3 los campos escalares vienen dados por funciones f y los campos vectoriales por ternas de funciones (f1 , f2 , f3 ) . Los primeros pueden identificarse con las formas de orden cero,
asignando a cada funcion f la propia funcion o bien con las formas de orden tres asignando a f
la forma f dx1 dx2 dx3 .
Los campos vectoriales se pueden identificar con las formas de orden uno asignando a
(f1 , f2 , f3 )
la forma f1 dx1 + f2 dx2 + f3 dx3 . Tambien pueden identificarse con las formas de orden dos
haciendo corresponder a (f1 , f2 , f3 ) la forma f1 dx2 dx3 + f2 dx3 dx1 + f3 dx1 dx2 . Notese
el orden preciso en que se han tomado las diferenciales (permutacion cclica de los ndices en
cada sumatorio respecto los del anterior). Esto es relevante, como ahora veremos, al estudiar el
significado de las integrales de estas formas a traves de las identificaciones anteriores.
Como hemos visto antes en R2 la integral de la forma f1 dx1 + f2 dx2 + f3 dx3 respecto de una
curva es la circulacion del campo (f1 , f2 , f3 ) respecto a la misma.
84
Sea ahora una forma de orden dos f1 dx2 dx3 + f2 dx3 dx1 + f3 dx1 dx2 y sea una
superficie elemental definida en D R2 a valores en R3 . La integral de la forma respecto a
sera
Z
Z
D
f1 dx2 dx3 + f2 dx3 dx1 + f3 dx1 dx2

f1
(2 , 3 )
(3 , 1 )
(1 , 2 )
+ f2
+ f3
.
(t1 , t2 )
(t1 , t2 )
(t1 , t2 )
Esta u ltima integral es el flujo del campo (f1 , f2 , f3 ) a traves de la superficie .

Por u ltimo, la integral de la forma de orden tres f dx1 dx2 dx3 respecto a la identidad
definida sobre un dominio es la integral sobre este de la funcion.
4.5.3
La diferencial exterior
Para poder formular los teoremas de Green, de Stokes y de la divergencia en el lenguaje de

formas necesitamos definir un operador sobre las formas. Este operador asignara a cada forma
de un determinado orden k una forma de orden k + 1. Extendera el operador diferencial de una
funcion que asignaba a cada funcion, forma de orden cero, una forma de orden uno. Se denomina
diferencial exterior. Veamos su definicion.
Definicion 4.27. Dada una forma = i1 <...<ik ai1 ,...,ik dxi1 ... dxik se denomina su difeP
rencial exterior y la escribiremos d a la forma i1 <...<ik dai1 ,...,ik dxi1 ... dxik .
P
Ejemplo 4.22. Consideremos en R2 la forma w = x2 ydx + x3 y 2 dy. Tendremos

dw = x2 dy dx + 3x2 y 2 dx dy = 3x2 y 2 x2 dx dy.

Teorema 4.15. Se cumple que d(d) = 0.
Demostracion. En efecto, por la linealidad de la diferencial exterior sera suficiente probarlo para
P a 1 ,...,ik
dxr dxi1 ...
las formas del tipo = ai1 ,...,ik dxi1 ... dxik . Tendremos d = r ix
r
dxik }. Por lo tanto d(d) =
r,s
2 ai1 ,...,ik
dxs
xr xs
dxr dxi1 ... dxik = 0.
Veamos la expresion de la diferencial exterior de las formas en R2 y en R3 y a que operaciones se corresponden de los campos escalares y vectoriales a traves de las identificaciones
establecidas.
Consideremos en primer lugar la diferencial exterior en R2 . Si f es una forma de orden cero.
f
f
Su diferencial exterior sera x
dx1 + x
dx2 . Esta forma de orden uno se ha identificado con el
1
2

f
campo vectorial x
, f , es decir, con grad f . La diferencial exterior sobre las funciones se
1 x2
corresponde entonces en el lenguaje de los campos con el gradiente.
ahora una forma de orden uno f1 dx1 + f2 dx2 , su diferencial
exterior
Si consideramos

sera
f2
f1
f2
f1
dx
dx
.
Esta
forma
se
ha
identificado
con
el
campo
escalar
que es
1
2
x1
x2
x1
x2
el llamado rotacional escalar del campo (f1 , f2 ) .
85
Naturalmente la diferencial exterior de una forma de orden 2 es este caso cero.

Consideremos ahora la diferencial exterior en R3 . Sea f una forma de orden cero. Su difef
f
f
rencial es x
dx1 + x
dx2 + x
dx3 que se identifica, como antes con el campo vectorial grad
1
2
3

f
f = x
, f , f .
1 x2 x3
Sea ahora
una forma de
orden uno
f1 dx1 + f2 dx
2 + f3 dx3 . Su diferencial exterior sera
f2
f3
f1
f3
f2
f1
x2 dx2 dx3 + x3 x1 dx3 dx1 + x
x
dx1 dx2 . Esta forma se ha
x3
1
2
f3
f2 f1
f3 f2
f1
identificado con el campo vectorial x
x
,
x
,
x
que es el rotacional del
2
3 x3
1 x1
2
campo (f1 , f2 , f3 ).
Si consideramos unaforma de orden dos
= f1 dx2 dx3 + f2 dx3 dx1 + f3 dx1 dx2 , su
f1
f2
f3
diferencial exterior sera x1 + x2 + x3 dx1 dx2 dx3 . Esta forma se ha identificado con el
f2
f3
f1
+ x
+ x
que es la divergencia del campo (f1 , f2 , f3 ) que se ha identificado
campo escalar x
1
2
3
con .
Por u ltimo, las formas de orden tres tienen naturalmente diferencial exterior cero.
Ejemplo 4.23. Dado un campo F en R3 div(rot F ) = 0. En efecto, si F = (F1 , F2 , F3 ) se ha

identificado con = F1 dx1 + F2 dx2 + F3 dx3 , se tiene que rot F = (G1 , G2 , G3 ) donde
d = G1 dx2 dx3 + G2 dx3 dx1 + G3 dx1 dx2 .
Por otra parte, la diferencial de la forma anterior es div (G1 , G2 , G3 ) dx1 dx2 dx3 . De esta
forma la igualdad div(rot F ) = 0 es simplemente la expresion dd = 0.
4.5.4
Los teoremas de Green, Stokes y de la divergencia en el lenguaje de

formas
Recordemos que en R2 el teorema de Green dice que si D es un dominio regular y F = (F1 , F2 )

es un campo de clase C 1 se cumple
Z
+D
F ds =
F2 F1
.
x1
x2
Z
D
Ya vimos que la primera integral coincide con la integral de la forma = F1 dx1 + F2 dx2
respecto
orientada + D. El segundo miembro es la integral sobre D de la forma
a la frontera

F2
F1
dw = x1 x2 dx1 dx2 . La formula de Green se escribira en este lenguaje, como ya vimos
Z
+D
d.
El teorema de Stokes para superficies S orientadas regulares de R3 dice que si

F = (F1 , F2 , F3 )
es un campo regular definido en un entorno de S
Z
+S
F ds =
Z
S
rotF d.
86
La primera integral coincide como antes con la integral de la forma = F1 dx1 + F2 dx2 +
F3 dx3 respecto + S. La segunda integral, flujo del rotacional de F respecto de S coincidira con
la integral respecto a S de la forma d. El teorema de Stokes se escribira
Z
+S
w=
dw.
El teorema de la divergencia dice que si G es un dominio acotado por una superficie regular a
trozos, orientable y sin frontera y F = (F1 , F2 , F3 ) es un campo vectorial definido en un entorno
de G entonces
Z
Z
F d =
divF
+G
donde G esta orientada segun la norma exterior.

La primera integral coincide con la integral de la forma de orden dos = F1 dx2 dx3 +
F2 dx3 dx1 +
a la superficie + S. La segunda integral es la integral de la
F3 dx1 dx2 respecto

2
3
1
forma d = F
+ F
+ F
dx1 dx2 dx3 en G. El teorema de la divergencia se escribira
x1
x2
x3
Z
+G
d.
Vemos entonces que, en este lenguaje, los tres teoremas admiten una formulacion u nica. Esta
se conoce como el teorema de Stokes.
Ejemplo 4.24.
1. Calculemos S donde = xdy dz + ydz dx + zdx dy y S es
la superficie del paraboloide x2 + y 2 = z tal que z 4 orientada segun la normal con
tercera componente negativa.
R
Si llamamos S1 a la superficie del

planoR z = 4 tal
que x2 + y 2 4 orientada por el campo
R
R
normal (0, 0, 1) tendremos que S + S1 = D d donde D es el dominio acotado por
S y por S1 . Tendremos entonces que
Z
3dx dy dz
4dx dy = 3m (D) 422 .
S1
Ahora bien
m (D) =
x2 +y 2 4
4 x +y

= 2
4 2 d = 8.
2. Calculemos el flujo del rotacional del campo (y, z, x) a traves de la superficie

n
S = (x, y, z) ; z = 1 x2 y 2 , z 0
orientada segun la normal que tiene tercera componente positiva.

Debemos calcular
Z
d (ydx + zdy + xdz) =
Z
+C
ydx + zdy + xdz
donde + C es la circunferencia x = cos t, y = sin t, z = 0, para 0 t 2. Se obtiene

que el flujo es igual a
Z
Z
2
+C
ydx =
sin2 tdt = .
87
Observemos que el teorema de Stokes permite pasar de una integral de una forma de orden
k a la integral de una forma de orden k 1 siempre que la primera sea del tipo = d. A estas
formas se les llama diferenciales exactas. Es entonces interesante saber cuando una diferencia es
de este tipo. Una condicion necesaria, que ahora probaremos, es que d = 0. Estas formas cuya
diferencial es cero reciben el nombre de cerradas. Tendremos el siguiente teorema.
Teorema 4.16. Toda forma exacta es cerrada, es decir dd = 0.
Demostracion. Si =
d =
ai1 ,...,ik dxi1 ... dxik tendremos
i1 <...<ik
dai1 ,...,ik dxi1 ... dxik =
i1 <...<ik
X ai1 ,...,i
k
i1 <...<ik j
X 2 ai1 ,...,i
k
dd =
xj xk
i1 <...<ik j,k
xj
dxj dxi1 ... dxik .
dxk dxj dxi1 ... dxik = 0
pues para cada k, j dxj dxk = dxk dxj .
En ciertos dominios es valido el recproco, es decir que toda forma cerrada es exacta. Probaremos este teorema para dominios estrellados.
Definicion 4.28. Un abierto D Rn se dice estrellado si existe un punto a D tal que para
cada todo x D el intervalo de extremos a y x esta contenido en D.
Teorema 4.17. Sea D un abierto estrellado de Rn y una forma de clase C 1 cerrada. Entonces
la forma es exacta.
Demostracion. Consideraremos que D es estrellado respecto el origen de coordenadas. En otro
caso mediante una traslacion nos reduciramos a este caso. Definamos un operador lineal T sobre
las formas que enva formas de orden k en formas de orden k 1. Sera suficiente definirlo sobre
las formas del tipo = a (x) dxi1 ... dxik .
T () =
k
X
j1
Z
k1
(1)
j=1
d ... dx
a (tx) dt xij dxi1 ... dx
ij
ik
d significa que esta forma se ha suprimido.

donde dx
ij
Veamos que se cumple que dT +T d = I , donde I es el operador identidad. Dada la linealidad
de los operadores es suficiente probarlo para las formas del tipo considerado anteriormente.
Tendremos que
dT = k
Pn
r=1
Pk
j=1
(1)j1
R
R
1 k1
a (tx) dt
0 t
1 k a
0 t xr
dxi1 ... dxik +
d ... dx
(tx) dt xij dxr dxi1 ... dx
ij
ik
88
Por otro lado d =
T d =
Pn
n
X
a
r=1 xr dxr
1
0
r=1
n X
k
X
dxi1 ... dxik y, por tanto,

!
a
t
(tx) dt xr dxi1 ... dxik +
xr
k
(1)
r=1 j=1
a
d ... dx .
t
(tx) dt xij dxr dxi1 ... dx
ij
ik
xr
k
Sumando y simplificando se obtiene dT + T d = .

Si ahora tenemos una forma tal que d = 0, tendremos que aplicando la igualdad anterior
= dT . La forma sera exacta. Observese que al tiempo nos da un metodo para encontrar una
forma de la cual es su diferencial.
Ejemplo 4.25.
1. La forma w = (3e3x y 2x) dx + e3x dy esta definida en R2 y cumple
dw = 0. Existe entonces una funcion f tal que df = w. Calculemosla.
f (x, y) =
3e3tx ty 2tx dt x +
e3ty dt y = ye3x x2 .
2. RCalculemos C dxR dy donde C Res el disco x2 + y 2 R 1. Tendremos

que C dx dy =
R
1
xdy,
o
bien
dx
dy
=
ydx,
o
bien
dx
dy
=
+C
C
+C
C
+ C 2 (xdy ydx).
+
Calculemos esta u ltima integral
parametrizando
C mediante x = cos t, y = sin t,
R 2 1
2
0 t 2. Obtendremos 0 2 cos2 t + sin t dt = .
R
y
x
3. La forma w = x2 +y
a definida en R2 {(0, 0)} y cumple dw = 0. Sin
2 dx + x2 +y 2 dy est
embargo no existe una funcion g tal que dg = w. En efecto, en este caso la integral de w a
lo largo de cualquier camino cerrado sera cero. Este no es as. Consideremos la curva
x = cos t, y = sin t, 0 t 2. Tendremos
w=
dt = 2.
4.6 Ejercicios
1. Calcula la circulacion del campo (xy, x2 y 2 ) a lo largo del arco de curva donde
a) es la circunferencia unidad centrada en el origen y recorrido en sentido positivo (contrario a las agujas del reloj).
b) es el arco de la curva x = y 2 que va del punto (1, 1) al punto (1, 1) .
2. Halla el flujo del campo (y, x, z) respecto de la esfera x2 + y 2 + z 2 = 1 orientada segun
la normal exterior.
3. Halla el a rea de la parte de la esfera unidad centrada en el origen e interior al cilindro
x2 + y 2 x = 0.
4.6. EJERCICIOS
89

y
x
a lo largo de la curva (2 cos t, 3 sin t),
4. Calcula la circulacion del campo x2 +y
2 , x2 +y 2
0 t 2. Utiliza el teorema de Green para probar que coincide con la circulacion sobre
(cos t, sin t), 0 t 2.
5. Determina de las formas siguientes cuales son exactas y, en su caso, obtiene una forma
cuya diferencial sea la dada.
a) x2 dx + ydy en R2 .
b) xydy + xdz en R3 .
c) exy dx dy en R2 .
6. Prueba, dando su interpretacion en el lenguaje de formas que rot (grad f ) = 0 para toda
funcion f C 2 (R3 , R) .
7. Calcula S zdx dy donde S es la superficie del toro obtenida girando la circunferencia
x = 0, (y 1)2 + z 2 = 41 alrededor del eje de las z orientada segun la normal exterior.
R
8. Comprueba que la forma

xdy dz + ydz dx + zdx dy
3
(x2 + y 2 + z 2 ) 2
definida en R3 {(0, 0, 0)} es cerrada pero no exacta.
9. Comprueba el teorema de Stokes en el siguiente caso particular: Calcula el flujo del rotacional del campo F = (3y, xz, yz 2 ) respecto a la superficie 2z = x2 + y 2 , z 2
previamente orientada mediante una integral de superficie y mediante la circulacion de F
respecto a la frontera de la superficie.
10. Sea S una superficie orientada.
Sea w = x(z 2 y 2 )dy dz + y(x2 z 2 )dz dx + z(y 2
R
2
x )dx dy. Expresa S w como una integral curvilnea sobre la frontera orientada de S.
11. Sea S la superficie de R3 formada por S1 , la zona esferica definida mediante x2 + y 2 +
(z 1)2 = 1, 1 z 23 , y por S2 la superficie cilndrica definida por x2 + y 2 = 1,
0 z 1. Sean ambas orientadas segun la normal exterior. Calcula el flujo del campo
F = (yez , x2 (z 3 + 1), x2 + y 2 ) a traves de S.
12. Calcula el flujo del campo F = (x 2, y, z)
1
3
((x2)2 +y 2 +z 2 ) 2
elipsoide que tiene el punto (2, 0, 0) en su interior.
a traves de la frontera de un

Anali-IV - Joaquin Ortega

Î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

Anali-IV - Joaquin Ortega

Încărcat de

Drepturi de autor:

Formate disponibile

Analisis IV

Joaqun M. Ortega Aramburu

CAPITULO 1. INTEGRAL DE RIEMANN

se sigue que s(f, ) s(f, 1 ). Analogamente S(f, 1 ) S(f, ).

f . Es natural considerar el caso en que tengamos

Definicion 1.4. Diremos que una funcion f , definida

f S(f, ) s(f, ) < .

Como consecuencia de este criterio vamos a comprobar la integrabilidad de las funciones

CAPITULO 1. INTEGRAL DE RIEMANN

y por tanto S(f, ) s(f, ) < .

f (ij )m(Iij ) S(f, ).

Teorema 1.5. Una funcion f definida en un intervalo I, acotada, es integrable Riemann si y

de una variable. En particular el cuadrado de una funcion integrable es integrable

S(f, ) s(f, ) < S(f, ) S(fn , ) + s(fn , ) s(f, )

+S(fn , ) s(fn , ) <

Esto implica que f = lim fn .

Mij m(Iij ) = S(f, )

CAPITULO 1. INTEGRAL DE RIEMANN

2. Ya vimos que si D es {x R2 ; kxk 1} la funcion caracterstica de este conjunto D , es

Tendremos, en consecuencia que D = .

1.2. CONTENIDO DE JORDAN

Observese que en la definicion de contenido exterior podra tomarse el nfimo de m(F )

1. Veamos que el subconjunto de R2 definido por

i = 1, ..., n y sea F2 la correspondiente union de los rectangulos

tiene contenido. En efecto, sea F1 la union de los rectangulos

CAPITULO 1. INTEGRAL DE RIEMANN

Tendremos F1 E F2 y m(F2 ) m(F1 ) = nn2 = n1 . Por tanto existe el contenido de E

1.3 Insuficiencias de la nocion de contenido de Jordan y de

(x, y) R2 ; |y| |x sin x| , 0 < x 2

CAPITULO 1. INTEGRAL DE RIEMANN

4. Di para que valores de el siguiente lmite es finito

5. Sea f una funcion definida en [0, 1] monotona y acotada. Prueba que

7. Sea f continua en R2 . Invierte el orden de integracion en

x donde A es la region acotada limitada por las curvas x = y 2 , x = y 2 + 1.

A |x y| donde A = (x, y) [0, 1] [0, 1] ; xy

max (x, y) donde A = {(x, y) ; x2 + y 2 1}

Apendice. Criterio de Lebesgue de integracion Riemann.

El conjunto de puntos de discontinuidad de una funcion es la union de

CAPITULO 1. INTEGRAL DE RIEMANN

Por tanto f es integrable Riemann.

CAPITULO 2. MEDIDA DE LEBESGUE EN RN

2.2.1 Medida de abiertos acotados

2.2. LA MEDIDA DE LEBESGUE

CAPITULO 2. MEDIDA DE LEBESGUE EN RN

Demostracion. Llamemos, por simplificar la notacion, Ik a cada uno de los intervalos de la

Puesto que vale para cada N se tiene

Dado, por u ltimo, que vale para cada > 0 tendremos

2.2.2 Medida de compactos

2.2. LA MEDIDA DE LEBESGUE

Demostracion. Sea L F con K1 K2 L. Siempre podremos suponer que es la union de

2.2.3 Conjuntos medibles acotados

CAPITULO 2. MEDIDA DE LEBESGUE EN RN

Demostracion. En efecto, sea un compacto K y un abierto A tal que K B A. Sea L como

2.2. LA MEDIDA DE LEBESGUE

Demostracion. Sea > 0 y U, V abiertos acotados tales que A U, B V

m(V ) < m(B) +

m(L) > m(B) .

Veamos una caracterizacion de los conjuntos acotados medibles.

CAPITULO 2. MEDIDA DE LEBESGUE EN RN

m(K) > m(B)

m(A) < m(B) + .

2.2. LA MEDIDA DE LEBESGUE

Corolario 2.14. Si B y B1 son acotados medibles entonces m(B B1 ) m(B) + m(B1 ).

m(Bn ) = m(B1 B2 ... Br ) m(B)

de una variable. En particular el cuadrado de una funcion integrable es integrable