Documente Academic
Documente Profesional
Documente Cultură
Contenido
Contenido
ii
Prefacio
iii
1 Integrales en Rn .
1.1 Generalidades . . . . . . . . . . . . . . .
1.2 Interpretacion Geometrica de la Integral
1.3 Numerabilidad . . . . . . . . . . . . . .
1.4 Ejercicios . . . . . . . . . . . . . . . . .
1
1
15
16
21
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2 Medida y Contenido 0
25
2.1 Conjuntos de Medida 0 y de Contenido 0 . . . . . . . . . . . . . . . . . . . 25
2.2 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3 Teorema de Lebesgue
39
3.1 Teorema de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.2 Conjuntos Jordanmedibles . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.3 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4 Teorema de Fubini
4.1 Integrales Parametricas
4.2 Teorema de Fubini . .
4.3 Integrales Impropias .
4.4 Ejercicios . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5 Cambio de Variable
5.1 Particiones de Unidad . . . . . . . . . . . .
5.2 Aplicaciones de las Particiones de Unidad .
5.3 Teorema del Cambio de Variable . . . . . . .
5.4 Coordenadas Polares, Esfericas y Cilndricas
5.5 Ejercicios . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
55
55
61
74
81
.
.
.
.
.
87
87
96
102
119
125
ii
. . . . . .
u v
6.4 Teoremas de Stokes y Gauss . . . . . . . . . . . . . . . .
6.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
129
129
131
132
138
146
. . . . . . . . . . 148
. . . . . . . . . . 157
. . . . . . . . . . 170
A Teorema de Cantor-Bernstein
175
Teorema de Cantor-Bernstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
Bibliografa
179
Notaciones
181
Indice
183
Prefacio
El calculo infinitesimal de varias variables reales es un tema de particular relevancia en
las areas de ingeniera y de ciencias fsicomatematicas.
El presente volumen trata sobre el calculo integral de varias variables reales. Hay
muchas formas de presentar el material aqu tratado. Nosotros elegimos un punto de
vista teorico, aunque sin descuidar ejemplos que ilustren nuestros resultados. Debido a
lo anterior, la aproximacion al calculo integral aqu presentada hace adecuado este texto
para los estudiantes del segundo o tercer a
no de licenciatura en las carreras de fsica y/o
matematicas.
En el Captulo 1 primero introducimos el concepto de Integral de Riemann en el espacio
Rn y a continuacion damos una interpretacion geometrica de ella. Finalizamos dando los
conceptos fundmentales sobre numerabilidad.
El Captulo 2 damos los conceptos de medida 0 y de contenido 0.
El Captulo 3 trata fundamentalmente sobre el Teorema de Lebesgue, el cual nos
caracteriza la integrabilidad de una funcion por medio de su conjunto de discontinuidades.
Posteriormente introducimos el concepto de conjuntos Jordanmedibles, los cuales seran
los conjuntos sobre los cuales tenemos el concepto de volumen y sobre los cuales podemos
definir la Integral de Riemann de Rn .
El Captulo 4 es sobre el Teorema de Fubini, el cual nos da la relacion fundamental
entre el concepto de integral de Riemann y el concepto de integral iterada. El Teorema
de Fubini es el que nos permite, de alguna manera, simplificar la integral ndimensional a
la integral de una variable real. Finalizamos el captulo dando una seccion sobre integral
impropia tratada de una manera practica, en contraste con los conceptos tratados en el
siguiente captulo.
En el Captulo 5 tratamos sobre el cambio de variable en el caso n-dimensional, el cual
es, en contraste con el caso de una variable real, un tema bastante complejo. Introducimos
el concepto de Particion de Unidad el cual nos permite dar el concepto mas general de
Integral de Riemann en Rn . Finalizamos el captulo aplicando los resultados generales a
tres casos particulares: coordenadas polares, esfericas y cilndricas.
El u
ltimo captulo es sobre integrales de lnea y de superficie. Estudiamos las relaciones
existentes entre estas integrales por medio de los Teoremas de Green, Stokes y Gauss.
Finalizamos con un apendice en el cual se presenta la demostracion del Teorema de
CantorBernstein, el cual nos dice que si el conjunto A es mas chico que B y que
iv
si B es mas chico que A, entonces los dos conjuntos son iguales. El Teorema de
CantorBernstein lo utilizamos en el primer captulo.
Al final de cada captulo proponemos una lista de ejercicios, 139 en total, los cuales
complementan y aclaran lo tratado en el texto. Se debe intentar resolver todos ellos.
Mucho de lo aqu tratado esta basado en los libros mencionados en la bibliografa,
principalmente en los libros de Apostol [1], Mardsen [7], Spivak [9] y Williamson, Crowell
y Trotter [10].
Para los Captulos 1 y 2 recomendamos los libros de Mardsen y Spivak. Para los
Captulos 3, 4 y 5, recomendamos principalmente los libros de Mardsen, Spivak y el de
Williamson, Crowell y Trotter.
El captulo 6 se basa esencialmente en [1], aunque tambien es recomendable [10]. El
apendice se basa en [5].
En el Captulo 6, decidimos dar algunos conceptos y resultados basados en la intuicion
geometrica en lugar de desarrollar toda la herramienta necesaria para poder presentar los
resultados de una manera absolutamente formal. Sin embargo si el lector esta interesado
en una mayor formalidad, le recomendamos los libros de Cartan [3] y de Spivak.
Los requisitos que se necesitan para este libro son principalmente un conocimiento
general de calculo diferencial e integral de una variable real, as como calculo diferencial
de varias variables, incluyendo algo de topologa de Rn .
Captulo 1
Integrales en Rn.
1.1
Generalidades
En esta primera parte se dan las definiciones basicas, as como los primeros resultados
que se nos presentan en la construccion de la integral en Rn .
Definici
on 1.1.1 Un rectangulo cerrado en Rn es un conjunto de la forma
[a1 , b1 ] [a2 , b2 ] . . . [an , bn ]
con ai , bi R, 1 i n.
Se define el volumen del rectangulo S = [a1 , b1 ] [a2 , b2 ] . . . [an , bn ] por:
n
Y
vol (S) = v(S) = (b1 a1 )(b2 a2 ) (bn an ) =
(bi ai )
i=1
si ai bi 1 i n y vol (S) = 0 si S = .
Definici
on 1.1.2 Una particion del rectangulo
S = [a1 , b1 ] [a2 , b2 ] . . . [an , bn ]
es una coleccion
P = (P1 , P2 , . . . , Pn ) = P1 P2 . . . Pn
donde Pj , 1 j n, es una particion del intervalo [aj , bj ].
Definimos las particiones canonicas (o la sucesion de particiones canonicas) de S, por
la sucesion {Pm }
m=1 , donde
Pm = (P1m , P2m , . . . , Pnm ), m N
y
{Pjm }
m=1 , 1 j n,
es la sucesion de particiones canonicas de [aj , bj ], es decir
Pmj = aj = t0j,m , t1j,m , . . . , tm
j,m = bj
y
tkj,m = aj +
k
(bj aj ), 1 k m.
m
|
|
1
k
(bj aj )
tk+1
j,m tj,m =
m
Las particiones canonicas de [aj , bj ] son las que dividen al intervalo [aj , bj ] en m partes
iguales.
y
t32 = b2
6
t22
t12
t02 = a2
|
|
|
t01 = a1 t11 t21
|
t31
t41
| - x
= b1
1.1 Generalidades
Definici
on 1.1.3 Sea S un rectangulo de Rn y sea f : S R una funcion acotada. Si
P es una particion de S que determina a S1 , S2 , . . . , Sm como los subrectangulos de esta
particion, entonces se definen los n
umeros:
mi = inf {f (~x) | ~x Si }
i = 1, 2, . . . , m.
Mi = sup {f (~x) | ~x Si }
Por u
ltimo se define:
Suma inferior de f para P = I(f, P ) =
m
X
mi vol (Si ).
i=1
m
X
Mi vol (Si ).
i=1
Hay varios resultados sobre sumas superiores e inferiores que nos conducen a la
definicion de integral.
Proposici
on 1.1.4 Sean S un rect
angulo cerrado de Rn , f : S R una funci
on acotada
y P una particion cualquiera de S. Entonces se tiene: I(f, P ) S(f, P ).
Demostracion. Sean S1 , S2 , . . . , Sk los subrectangulos de S definidos por P . Se tiene
que vol (Si ) 0, 1 i k y que mi Mi , 1 i k, de donde obtenemos que
mi vol (Si ) Mi vol (Si ), 1 i k y por lo tanto
I(f, P ) =
k
X
mi vol (Si )
i=1
k
X
i=1
Proposici
on 1.1.5 Sea S un rect
angulo cerrado de Rn y sea P una partici
on de S que
da origen a los subrectangulos S1 , S2 , . . . , Sk de S. Entonces se tiene:
vol (S) =
k
X
vol (Si ).
i=1
Entonces:
vol (S1 ) + vol (S2 ) = (b1 a1 ) . . . (b j 1 aj1 )(c aj )(bj+1 aj+1 ) . . . (bn an )+
+(b1 a1 ) . . . (bj1 aj1 )(bj c)(bj+1 aj+1 ) . . . (bn an ) =
= (b1 a1 ) . . . (bj1 aj1 )(bj+1 aj+1 ) . . . (bn an )(c aj + bj c) =
= (b1 a1 ) . . . (bj1 aj1 )(bj+1 aj+1 ) . . . (bn an ) = vol (S).
Por u
ltimo sea k > 1 y supongamos el resultados valido para todo n
umero natural
menor que k.
Podemos suponer k > 2 y podemos tomar aj < c < bj con c Pj para alg
un 1 j n,
P = (P1 , P2 , . . . , Pj , . . . , Pn ). Entonces S se divide en los 2 siguientes subrectangulos:
T1 = [a1 , b1 ] . . . [aj , c] . . . [an , bn ] y T2 = [a1 , b1 ] . . . [c, bj ] . . . [an , bn ].
Reenumerando los subrectangulos S1 , S2 , . . . Sk , podemos suponer que T1 esta dividido
en los subrectangulos S1 , S2 , . . . Sr y T2 en los subrectangulos Sr+1 , . . . Sk . Por hipotesis
de induccion y por el caso k = 2, tendremos que
vol (S) = vol (T1 ) + vol (T2 ) =
r
X
vol (Si ) +
i=1
k
X
vol (Si ) =
i=r+1
k
X
vol (Si ).
i=1
Proposici
on 1.1.6 Sea S un rect
angulo cerrado de Rn y sea f : S R una funcion
acotada. Sean Q y P dos particiones de S tales que P Q, es decir Q es m
as fina que
P . Entonces se tiene:
I(f, Q) I(f, P ) y S(f, Q) S(f, P ).
Demostracion. Sean S1 , S2 , . . . Sk los subrectangulos de S determinados por P y sean
T1 , T2 , . . . Tm los subrectangulos de S determinados por Q.
Se tiene que cada Ti esta contenido en alg
un Sj y ademas cada Si es la union de
algunos Tj , digamos que:
Si = Tji +1 Tji +2 . . . Tji +ri =
ri
[
Tji +si .
si =1
Se tendra que
{1, 2, . . . , m} =
k
[
ri
[
i=1
si =1
!
ji + s i .
Pongamos:
mi = inf {f (~x) | ~x Si } , Mi = sup {f (~x) | ~x Si } , 1 i k,
m0j = inf {f (~x) | ~x Tj } , Mj0 = sup {f (~x) | ~x Tj } , 1 j m.
1.1 Generalidades
ri
X
si =1
Por lo tanto
mi vol (Si ) =
ri
X
ri
X
si =1
si =1
ri
X
ri
X
y
Mi vol (Si ) =
si =1
si =1
k
X
mi vol (Si )
i=1
ri
k
X
X
i=1
m0ji +si
si =1
m
X
j=1
y
S(f, P ) =
k
X
Mi vol (Si )
i=1
ri
k
X
X
i=1
!
Mj0i +si
si =1
m
X
j=1
As, obtenemos:
I(f, P ) I(f, Q) y S(f, P ) S(f, Q).
Si P1 = (P11 , P12 , . . . , P1n ) y P2 = (P21 , P22 , . . . , P2n ) consideremos la parQ := P1 P2 := (P11 P21 , P12 P22 , . . . , P1n P2n )
6
Definici
on 1.1.8 Sean S un rectangulo cerrado de Rn , f : S R una funcion acotada.
Definimos:
Z
Integral inferior de f en S =
f = sup I(f, P )
P P
S
Z
Integral superior de f en S =
f = inf S(f, P )
P P
P P
f y
S
Z
S
f existen y
S
f.
Definici
on 1.1.10 Si
f o lo que es lo mismo
S
Z
f=
f , entonces f se llama
S
Notaci
on 1.1.11 Cuando f es integrable en S, algunas veces la integral se denota por:
Z
Z
f=
f (x1 , x2 , . . . , xn ) dx1 dx2 . . . dxn .
S
Ejemplos 1.1.12
1).- Sean S = [a1 , b1 ] . . . [an , bn ] y f : S R dada por f (~x) = c =
constante ~x S. Entonces P P se tiene que I(f, P ) = S(f, P ) =
c vol (S) por lo que f es integrable y
Z
f = c vol (S) = c(b1 a1 )(b2 a2 ) (bn an ).
S
1.1 Generalidades
1 si ~x Qn = Q . . . Q
f (~x) =
0 si ~x 6 Qn .
Para toda particion P de S se tiene que mi = 0 y Mi = 1. Por tanto
I(f, P ) =
m
X
mi vol (Si ) = 0
i=1
y
S(f, P ) =
m
X
Mi vol (Si ) =
i=1
m
X
i=1
Z
f =0
f = vol (S),
S
En este u
ltimo caso se tiene que
Z
f = lim S(f, Pn ) = lim I(f, Pn ).
S
Demostracion.
Z
(1) (2). Sea > 0. Existen particiones P1 y P2 de S tales que: S(f, P1 )
f < /2
S
y
S
f < /2
y
Z
Z
f I(f, P )
0
S
por lo que
Z
0 S(f, P ) I(f, P ) = S(f, P )
Z
f I(f, P ) < /2 + /2 = .
f+
s
(2) (3). Elijamos para n N, n = 1/n. Existe una particion Pn de S tal que
0 S(f, Pn ) I(f, Pn ) < n = 1/n
por tanto
0 lim [S(f, Pn ) I(f, Pn )] lim
n
1
= 0.
n
Z
S(f, Pn ) inf S(f, P ) =
P P
Z
I(f, Pn ) sup I(f, P ) =
P P
nN
por lo que
Z
Z
f=
Por u
ltimo si tenemos que
lim [S(f, Pn ) I(f, Pn )] = 0
entonces
Z
0 S(f, Pn )
f = S(f, Pn )
s
f S(f, Pn ) I(f, Pn ).
S
1.1 Generalidades
f=
lim S(f, Pn ) =
Z
f=
f = lim I(f, Pn ).
n
En seguida demostraremos una proposicion que es en extremo tecnica pero que sin
embargo nos demuestra la equivalencia entre la definicion de integral por medio de particiones arbitrarias (como se trata aqu) y la definicion de integral por medio de particiones
cuyo diametro tiende a 0.
Es interesante resaltar el hecho de que la literatura trata indiscriminadamente que las
2 definiciones de integral son equivalentes y sin embargo no me fue posible encontrar la
demostracion de este hecho.
Proposici
on 1.1.14 Sea S un rect
angulo cerrado de Rn y sea f : S R una funcion
Z
ii).- lim I(f, Pm ) =
m
f.
S
Demostracion.
i) Hagamoslo por reduccion al absurdo suponiendo que
Z
lim S(f, Pm ) 6=
f.
S
f > 20 , k N.
S
{Pmk }
k=1 = {Pm }m=1 .
10
Z
f , existe una particion P de S tal que 0 S(f, P )
Por definicion de
Se tiene que
f < 0 .
S
Z
f
f 0 = 0 ,
S
es decir,
S(f, Pm ) S(f, P ) > 0 m N.
La contradiccion consiste en hallar un m N tal que
S(f, Pm ) S(f, P ) < 0 .
`
Sea P = (P1 , P2 , . . . , Pn ) con Pj = {t0j , t1j , . . . , tjj } y t0j < t1j < . . . < tjj . Elijamos
sujeto a:
0 < min tij ti1
|
1
`
,
j
=
1,
2,
.
.
.
,
n
j
j
y si
|f (~x)| < M ~x S y S = [a1 , b1 ] . . . [an , bn ]
elegimos k max {bi ai | 1 i n} y le pedimos a S que cumpla que
M k n1 (2`1 1)(2`2 1) (2`n 1) < 0
(la razon de pedir estas condiciones se aclara mas adelante).
Elegimos m0 N tal que para toda m m0 cada lado de Sim sea de longitud menor
a , 1 i jm . Sea m uno de estos ndices.
Sea Q = (Q1 , Q2 , . . . , Qn ) particion de S tal que:
n
o
2` 2
2` 1
Qj = u0j , u1j , . . . , uj j , uj j
,
donde uij Pjm , 1 i 2`j , Pm = (P1m , P2m , . . . , Pnm ) con
0
0
u2k1
tkj u2k
j , k = 1, 2, . . . `j 1, uj = tj = aj ,
j
`
2i1
< , i = 1, 2, . . . , `j 1.
u2`j 1 = tjj y u2i
j uj
2` 3
u2k
uj j
u2j u2k1
u0j u1j
j
j
|
| | |
|
|
|
|
|
|
k
1
0
...
...
tj
tj
tj
2`j 2
uj
|
` 1
tjj
2`j 1
uj
|
`
tjj
1.1 Generalidades
11
Geometricamente las condiciones anteriores significan que tomamos puntos de las particiones Pm = P1m Pnm de tal suerte que en cada componente los uij rodean a tij y
k
que si u2k1
y u2k
j rodean a tj entonces la distancia entre estos uj s es menor a .
j
Se tiene que Q Pm por lo que S(f, Q) S(f, Pm ) y Q nos determina (2`1 1)(2`2
1) (2`n 1) subrect
ngulosde S.
ka1 1
Sean Sk1 ,...,kn = u1 , uk11 . . . uknn 1 , uknn , donde 1 kj 2`j 1, 1 j n,
los subrectangulos determinados por Q y sean Sk0 1 ,...,kn = tk11 1 , tk11 . . . tknn 1 , tknn los
subrectangulos determinados por P (1 kj `j , 1 j n).
Sean Mk1 ,...,kn = sup {f (~x) | ~x Sk1 ,...,kn } y Mk0 1 ,...,kn = sup f (~x) | ~x Sk0 1 ,...,kn .
Se tiene que
2k +1
2k
k +1
k
uj j uj j tj j tj j ,
por lo cual se tiene que
Sk0 1 +1,...,kn +1 S2k1 +1,...,2kn +1 .
En particular, tenemos
vol Sk0 1 +1,...,kn +1 vol (S2k1 +1,...,2kn +1 )
y
M2k1 +1,...,2kn +1 Mk0 1 +1,...,kn +1 .
De la siguiente suma separaremos los sumandos en que todos los subndices son impares
y por otro lado los sumandos en que al menos un subndice es par (a estos u
ltimos los
denotamos por I), es decir:
S(f, Q) =
2`
2 1
1 1 2`
X
X
k1 =1 k2 =1
`X
2 1
1 1 `X
k1 =1 k2 =1
`X
1 1 `X
2 1
k1 =1 k2 =1
`X
n 1
2`
n 1
X
kn =1
M vol (S )
kn =1
`X
n 1
X
Mk0 1 +1,...,kn +1 vol Sk0 1 +1,...,kn +1 +
M vol (S ) =
I
kn =1
= S(f, P ) +
M vol (S ).
Por u
ltimo notemos que I, |M | M , que I tiene menos de (2`1 1) (2`2
1) . . . (2`n 1) elementos y que para cada I, tiene un subndice par, por lo que S
2k1
tiene un lado de longitud u2k
< y los restantes (n 1) lados de longitud menor
j uj
a k, por lo que
vol (S ) k n1 .
12
Por lo tanto
X
Se sigue que
S(f, Q) S(f, P ) +
Es decir, tenemos:
0 < S(f, Pm ) S(f, P ) S(f, Q) S(f, P ) < 0
con lo se llega al absurdo 0 < 0 .
Por lo tanto se tiene
Z
f.
lim S(f, Pm ) =
Sea {Pm }m=1 una sucesion de particiones de S, tales que dado > 0, existe m0 N tal
que m m0 , los subrectangulos determinados por Pm tienen lados de longitud menor
que . Entonces se tiene que f es integrable en S lim [S(f, Pm ) I(f, Pm )] = 0.
m
En este caso se tiene que
Z
f = lim S(f, Pm ) = lim I(f, Pm ).
S
Demostracion.
)
Puesto que f es integrable se tiene que
Z
Z
Z
f
f=
f=
S
y en particular
Z
lim [S(f, Pm ) I(f, Pm )] =
Z
f
f = 0.
S
1.1 Generalidades
13
i=1
Demostracion. Sean mi
jm . Entonces se tiene
I(f, Pm ) =
jm
X
(m)
mi
vol(Sim )
i=1
Z ? Z
f=
S
(m)
jm
X
(~yim )
vol (Sim )
i=1
jm
X
(m)
Mi
vol(Sim ) = S(f, Pm )
i=1
Z
f
Z
?
f=
f
S
En este caso:
Z
f = lim S(f, Pm ) = lim I(f, Pm ).
S
Demostracion.
2
Ejemplo 1.1.18
R Sea S = [0, 1] [0, 1] R y sea f : S R dada por f (x, y) = xy. Se
quiere calcular S f .
Sea Pm = (P1m , P2m ) particion de S con m N y P1m = P2m = {t0 = 0 < t1 < t2 <
k
. . . < tm1 < tm = 1}, tk = , 0 k m.
m
14
y
(1, 1)
1
tm1
tm2
..
.
t3
t2
t1
- x
t1 t2 t3 tm2 tm1 1
0
k1 1 k1
k2 1 k2
Sean
=
,
,
, 1 k1 , k2 m.
m
m
m
m
Entonces se tiene:
Skm1 ,k2
(m)
(m)
k1 k 2
k1 k2
=
m m
m2
y
k1 1 k2 1
(k1 1)(k2 1)
=
,
m
m
m2
1 1
1
(m)
vol Sk1 ,k2 =
= 2.
m m
m
(m)
(m)
Entonces
S(f, Pm ) I(f, Pm ) =
m X
m
X
(m)
(m)
(m)
Mk1 ,k2 mk1 ,k2 vol Sk1 ,k2 =
k1 =1 k2 =1
m X
m
X
k1 + k2 1
m2
k1 =1 k2 =1
m
1
1 X
m(m + 1)
2 = 4
m(k1 1) +
=
m
m k =1
2
1
"
m
m
X
1 X
(m + 1)
1 m(m 1) m(m + 1)
= 3
(k1 1) +
= 3
+
=
m k =1
2
m
2
2
k =1
1
1 2m
1
=
0.
2
m
2
m m
[0,1][0,1]
15
m X
m
m
X
k1 k2 1
1 X m(m + 1)
= lim
k1
= lim
=
m
m2 m2 m m4 k =1
2
k =1 k =1
1
1
m + 1 m(m + 1)
(m + 1)2
= lim
=
lim
= lim
3
2
m 4
m 2m
m
2
4m
1
1+
m
2
1
= .
4
Por lo tanto
Z
Z
f=
1.2
1
xy dxdy = .
4
[0,1][0,1]
Interpretaci
on Geom
etrica de la Integral
Gf
Sea Pm = (P1m , P2m ) con P1m = {t10 , t11 , . . . , t1m } y P2m = {t20 , t21 , . . . , t2m } con t1j =
j
j
a + (b a), t2j = c + (d c), 0 j m y sean
m
m
(m)
Sk1 ,k2 = t1k1 1 , t1k1 t2k2 1 , t2k2 , 1 k1 , k2 m,
(m)
(m)
(m)
(m)
mk1 ,k2 = inf{f (x, y) | (x, y) Sk1 ,k2 }, Mk1 ,k2 = sup{f (x, y) | (x, y) Sk1 ,k2 }.
16
z
(m)
Gf
Mij
(m)
m ij
t 1
t 1
i
i-1
t 2
j-1
t 2
j
S (m)
ij
(m)
mk1 ,k2 , los cuales se hallan por abajo de la grafica f de f y que S(f, Pm ) es la suma de
(m)
(m)
los vol
umenes de los prismas de base Sk1 ,k2 y altura Mk1 ,k2 y que se hallan por arriba de
la grafica de f .
Z
Puesto que f es integrable en S, se tiene que lim S(f, Pm ) = lim I(f, Pm ) =
f,
m
es decir:
Z
S
1.3
Numerabilidad
1.3 Numerabilidad
17
)
Sea g : B A inyectiva. Entonces g(B) A. Sea b0 B fijo (existe puesto
que B 6= ). Sea f : A B dada por
b si a g(B), a = g(b)
f (a) =
b0 si a 6 g(B)
Claramente f es una funcion suprayectiva.
Definici
on 1.3.2 Un conjunto A se llama numerable o contable si existe f : N A
biyectiva.
Ejemplos 1.3.3
(1).- En forma obvia N es numerable.
(2).- Sea k0 N y sea Ak0 = {k0 n | n N}. Sea f : N Ak0 dada por
f (n) = k0 n. Entonces f es biyectiva y por lo tanto Ak0 es numerable. En
particular con k0 = 2, A2 = {2n | n N} = {m N | m es par} es numerable.
(3).- Sea A = Z. Sea f : N Z dada por:
k 1 si n = 2k, k N
f (n) =
.
k si n = 2k 1, k N
Entonces f es biyectiva y por lo tanto Z es numerable.
Teorema 1.3.4 (CantorBernstein) Sean A, B dos conjuntos tales que existen funciones f : A B y g : B A inyectivas. Entonces existe h : A B biyectiva.
Demostracion.
Se dara en el apendice.
Observaci
on 1.3.5 El Teorema de CantorBernstein se puede enunciar con f y g suprayectivas y se tiene la misma conclusion. Esto se sigue inmediatamente de la primera
proposicion para numerabilidad.
Con este teorema podemos deducir resultados muy interesantes.
Proposici
on 1.3.6 Sea A un conjunto infinito. Entonces A contiene un subconjunto
numerable.
18
Demostracion. Sean x1 A. Entonces A \ {x1 } =
6 .
Elegimos x2 A \ {x1 }, entonces A \ {x1 , x2 } =
6 y x1 6= x2 .
Supongamos que se han seleccionado x1 , x2 , . . . , xn A con xi 6= xj , 1 i, j n,
i 6= j. Entonces A \ {x1 , x2 , . . . , xn } =
6 (pues A es infinito).
Sea xn+1 A \ {x1 , x2 , . . . , xn }. Entonces xn+1 6= xi , 1 i n y por lo tanto xj 6= xk ,
1 j, k n + 1, j 6= k.
Se ha construido inductivamente el conjunto C = {xn | n N} con xn 6= xm , n 6= m,
n, m N.
Sea : N C dada por (n) = xn . Entonces es claramente biyectiva, por lo que
C es numerable y C es un subconjunto de A.
Definici
on 1.3.7 Si A es finito o numerable, A se dice a lo mas numerable.
Corolario 1.3.8 Si existe : N A suprayectiva, entonces A es a lo m
as numerable.
Demostracion. Si A es finito se sigue el resultado. Si A es infinito, por la proposicion
anterior A contiene un conjunto numerable por lo que existe una funcion inyectiva h : N
A. Se sigue de la hipotesis que existe una funcion g : A N inyectiva y por el Teorema de
CantorBernstein se sigue que existe f : N A biyectiva. Por lo tanto A es numerable.
m
Ejemplo 1.3.9 Sea {~xn }
on. Sea : N {~xn }
n=1 R una sucesi
n=1 dada por (n) =
1 si x > 0
1 si x < 0
sgn x =
0 si x = 0
Sea : Q N dada por (x) = 2|p| 3|q| 51sgn
p
a
Si x = , y = , x, y Q, (p, q) = 1 = (a, b) y
q
b
(x) = 2|p| 3|q| 51sgn
donde x =
p
y (p, q) = 1.
q
= (y),
1.3 Numerabilidad
19
Proposici
on 1.3.11 Sea A un conjunto a lo m
as numerable y sea B A. Entonces B
es a lo mas numerable.
Demostracion. Ejercicio.
Hasta ahora solo hemos visto conjuntos numerables. El siguiente resultado nos da
ejemplos de conjuntos no numerables.
Proposici
on 1.3.12 Sean a, b R con a < b. Entonces [a, b] no es un conjunto numerable.
Demostracion. Se probara que [0, 1] no es numerable y puesto que f : [0, 1] [a, b] dada
por f (t) = a + (b a)t es biyectiva, se seguira que [a, b] no puede ser numerable.
y
6
b
f
a
- x
X
ank
n n
n
xn = 0.a1 a2 . . . an . . . =
10k
k=1
con cada
ank {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, n N.
Se construira x [0, 1] \ {xn }
n=1 .
X bk
Sea x = 0.b1 b2 . . . bn . . . =
, bk {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} y tal que bk 6= 0, 9,
k
10
k=1
bk 6= akk , k N.
Supongamos que existe n N tal que x = xn , es decir
x xn = 0 =
X
b k an
k
k=1
10k
= 0 = xn x.
Sea k0 N el primer natural tal que bk0 6= ank0 , el cual existe puesto que se tiene
bn 6= ann . Digamos que bk0 > ank0 . Por lo tanto
x xn =
X
bk0 ank0
bk ank
+
=0
k
10k0
10
k=k +1
0
20
por lo que
X
X
bk0 ank0
ank bk
9
9 X 1
1
= k0 +1
=
10k0
10k0
10k
10k
10
10k
k=k +1
k=k +1
k=1
0
10
9
1
= k0 +1
= k0
1
10
9
10
1
10
lo cual es posible gracias a que tenemos ank bk 9 k N. Por lo tanto tenemos que
=
10k0 +1
X
bk0 ank0
1
ank bk
1
,
k
k
k
k0
10 0
10 0
10
10
k=k +1
0
X
X
bn
9
9
1
0x=
= 1.
n
n
1
10
10
10
n=1
n=1
1
10
Por lo tanto x [0, 1] \ {xn }n=1 , lo cual contradice que [0, 1] = {xn }
, [0, 1] no
n=1 . As
es numerable.
1.4 Ejercicios
21
Ejercicio.
es un conjunto numerable.
Demostracion. Puesto que A1 A y A1 es infinito, se sigue que A es infinito. Por el
teorema anterior se tiene que NN es un conjunto numerable. Para cada n N pongamos
An = {xnm }
m=1 . Entonces
[
[
A=
An =
xnm .
n=1
n=1 m=1
Observaci
on 1.3.17 Los dos u
ltimos teoremas, as como el corolario son validos si sustituimos numerable por a lo mas numerable.
1.4
Ejercicios
f (x) =
0 si x 6= 2
1 si x =
2
f (x) dx = 0.
0
22
4) Sea f : [0, 2] R dada por
f (x) =
0 si 0 x 1
Z
Calcular
1 si 1 < x 2
c
< .
i
i
i=1
f.
S
0 si 0 x < 1/2
f (x) =
.
1 si 1/2 x 1
Z
f = 1/2.
1.4 Ejercicios
23
es
24
Captulo 2
Medida y Contenido 0
2.1
Los conceptos de medida y contenido 0 son de vital importancia para todo el desarrollo
de la integral de Riemann. Cabe hacer mencion que la nocion de medida es la que se
aplica a la llamada integral de Lebesgue, la cual es una generalizacion de la integral de
Riemann.
Definici
on 2.1.1 Un conjunto A Rn se dice que tiene medida 0 si dado > 0, existe
un recubrimiento a lo mas numerable {Un }
angulos cerrados, es decir
n=1 de A por rect
[
A
Un , Un rectangulo cerrado de Rn , tal que
n=1
vol(Ui ) < .
i=1
Ejemplos 2.1.2
(1).- Si A = , elegimos Ui = i N, vol(Ui ) = 0 y por lo tanto A tiene
medida 0.
n
(2).- Sea A = {~xm }
as numerable. Dado
m=1 R cualquier conjunto a lo m
cada ~xm , sea Um un rectangulo cerrado de Rn tal que ~xm Um y vol(Um ) <
. Entonces
2m
X
A
Um y
vol(Um ) <
= ,
2m
m=1
m=1
m=1
26
(3).- Sea A = R = R {0} R2 . Sea > 0. Se definen
h
i
Un = {[n 1, n] [n, n + 1]} n+3 , n+3 , n N.
2
2
y6
n n + 1
--- 6 } -x
n
/2n+3
1 n 1
Un
2n+3
2n+2
vol(Vn1 )
n=1
vol(Vn2 )
=2
n=1
X
n=1
2n+2
< ,
2
[
medida 0. Entonces A =
Ai es un conjunto de medida 0.
i=1
Demostracion. Sea > 0. Para cada i N sea Uij j=1 una cubierta numerable de Ai
por rectangulos cerrados tal que
vol(Uij ) <
j=1
Se tiene:
A=
[
i=1
Ai
.
2i
i=1
j=1
!
Uij
27
Pongamos {Vi }
vol(Vi ) converge si y solo si es absolutamente
i=1 = {Uij }i,j=1 y
i=1
convergente (por ser vol(Vi ) 0). Por lo tanto podemos sumar en cualquier orden y se
tiene que
X
X
X
=
vol(Ui ) =
vol(Uij ) <
2i
i=1
i=1 j=1
i=1
y puesto que A
i=1
de medida 0.
Definici
on 2.1.4 Un conjunto A Rn se dice que tiene contenido 0 si dado > 0 existe
un recubrimiento finito {U1 , U2 , . . . , Um } de A por medio de rectangulos cerrados tales
m
X
que
vol(Ui ) < .
i=1
Observaci
on 2.1.5 Si A tiene contenido 0, entonces A tiene medida 0 pues, dado > 0,
angulos cerrados tal que
consideramos {Ui }m
i=1 un recubrimiento de A por medio de rect
m
X
i=1
i=m+1
por lo tanto
A
[
i=1
Ui y
vol(Ui ) =
i=1
m
X
i=1
vol(Ui ) +
vol(Ui ) <
i=m+1
+ =
2 2
28
Demostracion. Se hara la u
ltima parte por induccion en n.
Si n = 1, U1 = [c, d] con c a < b d por lo que vol(U1 ) = d c b a.
Suponemos cierto el resultado para n y lo demostraremos para n + 1.
Sea {U1 , . . . , Un , Un+1 } un recubrimiento de [a, b] por intervalos cerrados. Se puede
suponer que a U1 = [, ] y por ende a . Si b se tiene [a, b] U1 y
n+1
X
vol(U1 ) = b a. Por lo tanto
vol(Ui ) vol(U1 ) b a.
i=1
vol(Ui ) = vol(U1 ) +
n+1
X
vol(Ui ) + b = b b a.
i=2
Observaci
on 2.1.7 Las definiciones de medida 0 y contenido 0 se dieron usando rectangulos cerrados. Sin embargo se pueden dar estas definiciones usando rectangulos abiertos
y estas definiciones son equivalentes. Mas precisamente
Definici
on 2.1.8 Un conjunto S = (a1 , b1 ) (a2 , b2 ) . . . (an , bn ) Rn con ai , bi R,
ai bi , i {1, 2, . . . , n} se llama rectangulo abierto y se define su volumen por
n
Y
vol(S) =
(bi ai ) = v(S).
i=1
X
i=1
vol(Ui ) < .
29
vol(Ui ) < .
i=1
Proposici
on 2.1.10
i).- Las dos definiciones de medida 0 coinciden.
ii).- Las dos definiciones de contenido 0 coinciden.
Demostracion.
(i), (ii):
Primero supongamos que se cumple la definicion de medida 0 (resp. contenido 0) por medio de la definicion de rectangulos abiertos. Entonces si A es de medida
m
0 (resp. contenido 0), dado > 0 sea {Ui }
i=1 (resp. {Ui }i=1 ) una cubierta de A tal que
i=1
m
X
i=1
Entonces
Ui
i=1
(resp.
m
U i=1 )
i=1
m
X
i=1
bi2 + i
bi2
ai2
ai2 i
Vi@ @
@
@ @
@
@ @
@ @
@
@ @ @ @ @
@ @ @ Ui@ @ @
@ @ @ @ @
@ @ @ @ @ @
@ @ @ @ @
@ @ @ @ @
- x
0 ai1 i ai1
bi1 bi1 + i
30
Sea Vi = (ai1 i , bi1 + i ) (ai2 i , bi2 + i ) (ain i , bin + i ).
Se tiene que i se elige de tal suerte que satisfaga
vol(Vi ) vol(Ui ) + i+1 i N (resp. 1 i m).
2
Veamos que esto es posible. Se tiene que
g(i ) = vol(Vi ) =
n
Y
bij aij + 2i = (2i )n + vol(Ui ) + i h(i )
j=1
donde h(i ) es un polinomio. Por lo tanto g es una funcion continua y puesto que
lim g(i ) = vol(Ui ) y lim g(i ) = ,
i 0
se tiene, por el teorema del valor intermedio, que existe i tal que
0 < i < ; g(i ) = vol(Ui ) + i+1 .
2
m
[
[
Se tiene que Ui Vi por lo que A
Vi (resp. A
Vi ), cada Vi es un rectangulo
i=1
i=1
abierto y
X
i=1
(resp.
X
X
o X
vol(Vi )
vol(Ui ) + i+1 =
vol(Ui ) +
< + =
i+1
2
2
2 2
i=1
i=1
i=1
m
X
i=1
m n
m
m
X
X
o X
vol(Vi )
vol(Ui ) + i+1 =
vol(Ui ) +
< + = ).
i+1
2
2
2 2
i=1
i=1
i=1
vol(Ui ) < , A
i=1
Ui
i=1
k
[
j=1
Uij y
k
X
vol(Uij )
j=1
vol(Uj ) <
j=1
31
Observaciones 2.1.12
(1).- Si A no es compacto, el teorema anterior no se cumple en general, a
un en el
caso de que A sea acotado. Por ejemplo, si tomamos A = Q [0, 1] = {xn }
n=1 ,
A tiene medida 0, sin embargo si {U1 , U2 , . . . , Un } es una cubierta de A por
intervalos cerrados, se tiene que
A
n
[
Ui [0, 1] = A
n
[
Ui
i=1
i=1
por lo que
n
X
vol(Ui ) 1 0 = 1.
i=1
1 si ~x A
A (~x) =
0 si ~x 6 A.
Proposici
on 2.1.14 Sean A, B Rn . Entonces tenemos
i).- AB = A + B AB ;
ii).- AB = A B ;
iii).- Ac = 1 A .
Demostracion. Ejercicio.
f=
A
32
Notemos que
(f A )(~x) =
f (~x) si ~x A
si ~x 6 A.
Z
A . En otras palabras, A tiene
Ademas definimos el volumen de A por: vol(A) =
volumen A es integrable.
n
Observaci
on 2.1.16 Sea
Z S ZR un rectangulo cerrado, S = [a1 , b1 ] . . . [an , bn ].
Tenemos que vol(S) =
S =
1 = (b1 a1 ) (bn an ), es decir las dos definiciones
S
A = vol(A) = 0, con S un
S
Ahora,
k
[
i=1
Si = S A y
i=1
Mi = sup{f (~x) | ~x S} =
1 si Si A 6=
0 si Si A =
Sean Si1 , . . . , Sir los subrectangulos tales que Sij A 6= , 1 j r. Por lo tanto
A
r
[
j=1
Sij y
r
X
vol(Sij ) =
j=1
k
X
Mi vol(Si ) < ,
i=1
i=1
33
M
[
i=1
determina los subrectangulos S1 , . . . , Sk tales que cada Si o bien esta contenido en alg
un
V j (1 j M ) o bien Si Vj = i j M . Reenumerando los Si podemos
suponer que S1 , . . . , SN son los subrectangulos que estan contenidos en alg
un V j . Sea
Mi = sup{A (~x) | ~x Si }. Por lo tanto M1 = = MN = 1 y MN +1 = = Mk = 0.
Por lo tanto tenemos
0 S(A , P ) =
k
X
Mi vol(Si ) =
i=1
N
X
vol(Si )
i=1
M
X
vol(V j ) < ,
j=1
Z
A = 0.
S
0
S
Z
A por lo tanto
Z
A =
A =
Definici
on 2.1.18 Sea A Rn , f : A R acotada. Sea ~x0 A y sea > 0. Se definen:
M (f, ~x0 , ) = sup {f (~x) | ~x B(~x0 , ) A} ,
m(f, ~x0 , ) = inf {f (~x) | ~x B(~x0 , ) A} .
Entonces > 0, M (f, ~x0 , ) m(f, ~x0 , ) 0.
Se define la oscilacion de f en ~x0 por:
o(f, ~x0 ) = lim+ [M (f, ~x0 , ) m(f, ~x0 , )] .
0
Observaci
on 2.1.19 o(f, ~x0 ) siempre existe, pues si g : R+ R se define por g() =
M (f, ~x0 , ) m(f, ~x0 , ) 0, se tiene que g es decreciente pues si 0 < 1 , entonces
M (f, ~x0 , 1 ) M (f, ~x0 , ) y m(f, ~x0 , 1 ) m(f, ~x0 , ),
por lo que
g(1 ) = M (f, ~x0 , 1 ) m(f, ~x0 , 1 ) M (f, ~x0 , ) m(f, ~x0 , ) = g().
Por lo tanto
o(f, ~x0 ) = lim+ g()
0
34
Teorema 2.1.20 Sean ~x0 A Rn , f : A R una funci
on acotada. Entonces f es
continua en ~x0 o(f, ~x0 ) = 0.
Demostracion.
) Dada > 0, existe > 0 tal que para toda ~x AB(~x0 , ), |f (~x)f (~x0 )| < /3,
de donde
+ f (~x0 ) < f (~x) < f (~x0 ) + .
3
3
Por lo tanto
M (f, ~x0 , ) f (~x0 ) +
y m(f, ~x0 , ) f (~x0 ) ,
3
3
por lo que
M (f, ~x0 , ) m(f, ~x0 , ) f (~x0 ) +
2
+ f (~x0 ) =
< .
3 3
3
Por lo tanto
o(f, ~x0 ) = lim [M (f, ~x0 , ) m(f, ~x0 , )] = 0.
0
Sea > 0. Existe un > 0 tal que para toda 0 < 1 , se tiene que
M (f, ~x0 , ) m(f, ~x0 , ) < .
Proposici
on 2.1.21 Sean A Rn , f : A R acotada y > 0. Entonces el conjunto
B = {~x A | o(f, ~x) } es cerrado en A.
Demostracion. Se demostrara que A \ B es un conjunto abierto en A. Sea ~x A \ B,
entonces o(f, ~x) < . Sea > 0 tal que M (f, ~x, ) M (f, ~x, ) < . Sea ~y B(~x, ) A y
si 1 > 0 es tal que B(~y , 1 ) B(~x, ) se tiene que para ~z B(~y , 1 ) A:
M (f, ~y , 1 ) = sup {f (~z) | ~z B(~y , 1 ) A} sup {f (~z) | ~z B(~x, ) A} = M (f, ~x, )
y
m(f, ~y , 1 ) = inf {f (~z) | ~z B(~y , 1 ) A} inf {f (~z) | ~z B(~x, ) A} = m(f, ~x, ).
Por lo tanto
M (f, ~y , 1 ) m(f, ~y , 1 ) M (f, ~x, ) m(f, ~x, ) < .
Se sigue que o(f, ~y ) < , por lo que B(~x, ) A A \ B. Por lo tanto A \ B es abierto en
A de donde se sigue que B es cerrado en A.
2.2 Ejercicios
2.2
35
Ejercicios
36
13) Probar que (a, b), a < b, a, b R, no tiene medida 0, ni contenido 0.
14) Si a, b R, a < b y A [a, b] tiene medida 0, entonces [a, b] \ A no tiene
medida 0.
15) Sea f : B Rn R. Sea ~x A B. Probar que si o(f , ~x) > 0, entonces
A
o(f, ~x) > 0 y concluir que:
~x A | o(f , ~x) > 0 {~x B | o(f, ~x) > 0} .
A
X
ii).- Si
(bi ai ) < 1, probar que A no es de medida 0.
i=1
2.2 Ejercicios
37
38
Captulo 3
Teorema de Lebesgue
3.1
Teorema de Lebesgue
Sabemos, por un ejercicio anterior, que toda funcion continua es integrable. El siguiente
resultado nos caracteriza las funciones integrables por medio del conjunto de discontinuidades de la funcion.
Demostracion.
)
Supongamos primero que B es de medida 0.
S
U
Un
U3
U2
40
Sea > 0 y sea M > 0 tal que |f (~x)| < M ~x S. Sea {Ui }
on de
i=1 una colecci
vol(Ui ) <
i=1
= .
2M + vol(S)
[
[
S
S
Se tiene que S = B (S \ B)
Ui
V ~x y puesto que S es compacto
i=1
~
xS\B
y esta es una cubierta abierta, se tiene que existen Ui1 , . . . , Uin y ~x1 , . . . , ~xr S \ B tales
que
!
!
n
r
[
[ [
S
Uij
V~xi .
j=1
i=1
Sea P una particion de S tal que todo rectangulo determinado por P esta contenido en
alg
un Uij , 1 j n, o en alg
un V~xi , 1 i r.
Sea 1 la coleccion de rectangulos T determinados por P tales que T V~xi para alg
un
1 i r y sea 2 la coleccion de subrectangulos T determinados por P tales que T Uij
para alg
un 1 j n.
Si MT (f ) = sup {f (~x) | ~x T } y mT (f ) = inf {f (~x) | ~x T } con T 1 2 , se
tiene que
X
X
S(f, P ) I(f, P ) =
[MT (f ) mT (f )] vol(T ) +
[MT (f ) mT (f )] vol(T ) <
T 1
<
vol(T ) +
T 1
T 2
X
T 2
2 M vol(T )
vol(T ) + 2 M
T 1 2
n
X
vol(Uij )
j=1
vol(S) + 2 M = ,
es decir, f es integrable sobre S.
[
1
) Sea Bn = ~x S | o(f, ~x)
, n N. Se tiene que B =
B1/n (pues cada
n
n=1
[
B1/n B por lo que
B1/n B y por otro lado si ~x B se tiene que o(f, ~x) > 0 por
n=1
41
lo que existe n N tal que o(f, ~x) 1/n lo cual implica que ~x B1/n . Por lo tanto
[
B
B1/n ).
n=1
Se probara que n N el conjunto B1/n tiene contenido 0. Esto implica que B1/n
tiene medida 0 lo cual a su vez implica que B tiene medida 0.
Sea > 0 y sea P una particion de S tal que S(f, P ) I(f, P ) < /2n. Sean T1 , . . . , Tk
los subrectangulos de S determinados por P .
T' W
Se tiene que
k
[
TW
B1/n
i=1
k
[
Ti
i=1
r
[
Uj y
j=1
r
X
j=1
X1
X
1X
vol(T ) =
vol(T )
[MT (f ) mT (f )] vol(T )
n T
n
T
T
k
X
i=1
X
T
n
X
+ = .
2
2
j=1
T
tiene contenido 0 y por lo tanto B tiene medida 0.
vol(Uj )+
vol(T ) <
42
Inmediata.
Ejemplos 3.1.4
(1).- Sea f : [a, b] R dada por
0 si x I
f (x) =
1
p
si x = Q, (p, q) = 1.
q
q
Entonces f es continua en I [a, b] y discontinua en Q [a, b] el cual es de
medida 0 pues Q lo es, de donde se sigue que f es integrable en [a, b].
Ahora bien, para toda particion P de [a, b], I(f, P ) = 0 por lo que
Z
Z
f=
f = 0.
[a,b]
0 si x I
0 si x Q, y I
f (x, y) =
1
p
si x Q, y = Q y (p, q) = 1.
q
q
Se tiene que f es discontinua en (R Q) ([a, b] [c, d]) y puesto que este
conjunto es de medida 0, se sigue que f es integrable y
Z
f = 0.
[a,b][c,d]
Como consecuencia del teorema de Lebesgue se pueden probar facilmente los teoremas
del algebra de funciones integrables.
43
ii).-
(f ) =
S
f.
S
Demostracion.
Se tiene que
{~x S | (f + g) es discontinua en ~x} {~x S | o(f, ~x) > 0} {~x S | o(g, ~x) > 0}
y
{~x S | o(f, ~x) > 0} {~x S | o(f, ~x) > 0} .
De aqu se sigue que f + g y f son integrables pues f y g lo son.
Sean > 0 y P una particion que determina los subrectangulos S1 , S2 , . . . , Sk y ~x1
S1 , . . . , ~xk Sk tales que
Z
k
X
f
(~
x
)
vol(S
)
f
,
<
i
i
2 + || + 1
S
i=1
Z
k
X
g(~xi ) vol(Si )
g <
.
2 + || + 1
S
i=1
Entonces:
i).
Z
Z
k
X
[f (~xi ) + g(~xi )] vol(Si )
f
g
S
S
i=1
Z
Z
k
k
X
X
f (~xi ) vol(Si )
f +
g(~xi ) vol(Si )
g < + = ,
2 2
S
S
i=1
i=1
Z
Z
Z
por lo tanto
(f + g) =
f+
g.
S
ii).
Z
Z
k
k
X
X
f = ||
f (~xi ) vol(Si )
f
(f )(~xi ) vol(Si )
S
S
i=1
i=1
< ,
||
2 + || + 1
Z
por lo tanto
Z
f.
f =
S
44
Corolario 3.1.6 Sea S Rn un rect
angulo cerrado y sean f, g : S R funciones integrables. Entonces , R, f + g es integrable y
Z
Z
Z
(f + g) =
f +
g.
S
Inmediata.
Demostracion.
3.2
Conjuntos Jordanmedibles
Esta clase de conjuntos nos son necesarios para ampliar la definicion de integral.
Definici
on 3.2.1 Sea S Rn un conjunto acotado. Se dice que A es Jordanmedible
A tiene medida 0.
Observaci
on 3.2.2 Se tiene que A es cerrado y acotado, por lo que es compacto. Entonces se sigue que A es Jordanmedible A tiene medida 0 A tiene
contenido 0.
Ejemplos 3.2.3
(1).- Si S es un rectangulo de Rn (abierto o cerrado), entonces S es Jordan
medible.
(2).- Si A = B(~x0 , r), ~x0 Rn , r > 0, A = S(~x0 , r) tiene medida 0 por lo que
A es Jordanmedible.
Proposici
on 3.2.4 Sea A Rn un conjunto acotado y sea S un rect
angulo cerrado de
n
R tal que A S. Entonces A es Jordanmedible Z A es integrable. Por lo tanto A
es Jordanmedible A tiene volumen y vol(A) =
A .
S
en ~x. Si ~x Ac, existe > 0 tal que B(~x, ) Ac . Por lo tanto A (~z) = 0 para toda
~z B(~x, ). Por lo tanto A es continua en ~x.
As pues, B = A, por lo que A es integrable B es de medida 0 A es
de medida 0 A es Jordanmedible.
45
Demostracion.
por lo que {~x S | o(f g, ~x) > 0} es de medida 0 y por lo tanto f g es integrable.
Z
Z
f g 6=
Observaci
on 3.2.6 En general
S
g . Por ejemplo si f, g : [0, 2]
f
S
Z
f g =
[0,2]
1 dx = 2 6= 4 = 2 2 =
0
Z
f dx
g dx .
Demostracion.
Se tiene
Z que fZy A son integrables sobre S, por lo que f A es integrable
f A existe.
f=
A
Proposici
on 3.2.8 Sea S ZRn un rect
angulo cerrado y sea f : S R integrable tal que
f (~x) 0 ~x S. Entonces
f 0.
S
P P
i=1
La funci
Zon f g es integrable
Z
Z y se tiene que
Z (f Zg)(~x) = f (~x) g(~x)
0 ~x S. Por lo tanto
(f g) =
f
g0
f
g.
Demostracion.
46
Proposici
on 3.2.10 Sea S Rn un rect
angulo
Z cerrado
Zy sea f : S R una funcion
integrable. Entonces |f | es integrable y se tiene
f
|f |.
S
|f |
f
|f |
f
|f |.
Proposici
on 3.2.11 Sea S Rn un rect
angulo cerrado y sea f : S R una funcion
integrable. Sea M 0 tal que |f (~x)| M ~x S. Entonces
Z
f M vol(S).
S
Demostracion.
Se tiene que
Z
Z
f
S
Z
|f |
M = M vol(S).
Z
Hemos definido
f (~x) si ~x A
f (~x) =
0
si ~x 6 A.
Entonces se dice que f es integrable sobre A si f es integrable en S y se define la integral
de f sobre A por:
Z
Z
Z
f=
f=
f A .
A
Observaciones 3.2.13
(1).- Se tiene que:
n
o
[
47
y
n
o
{~x A | o(f, ~x) > 0} ~x S | o(f, ~x) > 0 .
Puestonque A es Jordanmedible,
A es de medida 0 y entonces f es integrable
o
~x S | o(f, ~x) > 0 es de medida 0 {~x A | o(f, ~x) > 0} es de
medida 0, es decir, el Teorema de Lebesgue sigue siendo cierto para conjuntos
Jordanmedibles.
(2).- Anteriormente se haba definido que f : S R una funcion acotada era
integrable sobre A, donde A S, S un rectangulo cerrado si f A era
integrable en S. Puesto que f = f A en A, las dos definiciones coinciden,
solo que en la u
ltima, f nada mas esta definida en A y no en todo S.
(3).- Hay conjuntos abiertos y tambi
en conjuntos compactos A, tales que A no
Z
es Jordanmedible por lo que
se vean particiones de unidad.
Ejemplos 3.2.14
(1).- Sea f : [1, 1] R dada por:
x2
si 1 x
f (x) =
1
2
5x3 8 si
<x1
2
Entonces {x [1, 1] | o(f, x) > 0} = {1/2} que es de medida 0 y ademas
A = [1, 1] es Jordanmedible pues A = {1, 1}. Entonces puesto que f
esta acotada
Z
Z
1
f=
[1,1]
f
1
existe.
(2).- Sea f : [0, 1] R dada por:
sen 1/x si x 6= 0
f (x) =
0
si x = 0
f es acotada y [0, 1] es Jordanmedible y {x [0, 1] | o(f, x) > 0} = {0}. Por
lo tanto f es integrable.
48
(3).- Sea f : A = B(0, 1) R2 R dada por:
2
6 0
x + sen 1/y si y =
f (x, y) =
.
x2
si y = 0
Tenemos que
A = {(x, y) R2 | x2 + y 2 < 1}, A = S(0, 1) = {(x, y) R2 | x2 + y 2 = 1},
{(x, y) A | o(f, (x, y)) > 0} = {(x, y) A | y = 0} R {0}.
Entonces A
Z y {(x, y) A | o(f, (x, y)) > 0} son de medida 0 de donde se
sigue que
f existe.
A
f
A
Z
(3).- |f | es integrable y
Z
f
g.
A
|f |.
Z
(4).- Si |f (~x)| M ~x A entonces
f M vol(A).
Z
f M vol(A).
A
(6).- f g es integrable en A.
Demostracion.
por:
f (~x) si ~x A
g(~x) si ~x A
f (~x) =
; g(~x) =
.
0
si ~x 6 A
0
si ~x 6 A
49
f| : S R dadas por:
^
Sean f
+ g, fg
g, |f
(f g)(~x) si ~x A
(f + g)(~x) si ~x A
g
^
f + g(~x) =
; f g(~x) =
0
si ~x 6 A
0
si ~x 6 A
|f |(~x) = |f (~x)| si ~x A
f
|f |(~x) =
.
0
si ~x 6 A
f A +
=
S
g A =
S
Z
f +
g.
A
f=
f A
g A
g.
A
(3).- |f | es integrable en A y
Z
Z
=
f
A
Z
f A
|f| A
Z
|f |.
A
Z
M A = M
A = M vol(A).
S
M.
50
Z
(1).- Si A es de medida 0, entonces
f = 0.
A
Z
(2).- Si f (~x) 0 ~x A y
m=1
Bm es de medida 0.
Sea > 0 y sea P una particion de S tal que
Z
S(f, P )
f = S(f, P ) < .
m
A
Sean S1 , S2 , . . . , SN los subrectangulos que intersectan a Bm . Entonces si
Mi = sup{f (~x) | ~x Si } 0, 1 i k, donde S1 , S2 , . . . , Sk son los
subrectangulos de S determinados por P , se tiene que Mj 1/m, 1 j N ,
por lo que
k
X
X
1 X
> S(f, P ) =
Mi vol(Si )
Mi vol(Si )
vol(Si ),
m
m
i=1
i=1
i=1
por lo que
N
X
vol(Si ) < y Bm
i=1
N
[
i=1
Bm tiene medida 0.
m=1
AB
51
f+
A
f.
AB
f+
AB
f.
Z
Demostracion.
f = 0.
AB
Ejemplo 3.2.19 Sea f : [a, b] R una funcion acotada y sea c [a, b]. Entonces f es
integrable sobre [a, b] f es integrable sobre [a, c] y sobre [c, b] y se tiene
Z
Z
Z
f=
f+
f,
[a,b]
es decir
Z
[a,c]
Z
f=
[c,b]
Z
f+
f.
c
52
Teorema 3.2.20 (Valor medio para integrales) Sea A Rn , Jordanmedible conexo y compacto. Sea f : A R una funci
on continua. Entonces existe ~x0 A tal que
Z
f = f (~x0 ) vol(A).
A
Z
Demostracion.
f = 0.
A
f M vol(A).
A
Obtenemos que
1
m
vol(A)
Z
f M,
A
es decir
1
vol(A)
Z
f [m, M ].
A
3.3
f = f (~x0 ).
A
Ejercicios
Ai Jordan
i=1
medible, si A es acotado?
3) Sean A, B Jordanmedibles y A B de medida 0. Mostrar que vol(A B) =
vol(A) + vol(B).
4) Probar que si A es Jordanmedible, entonces A es Jordanmedible y dar un
contraejemplo para ver que el recproco no se cumple en general.
5) Sean A B Jordanmedibles. Probar que vol(A) vol(B).
3.3 Ejercicios
53
6) Sean A, U1 , . . . , Um R Jordanmedibles. Si A
m
X
m
[
i=1
vol(Ui ).
i=1
0 si x I
0 si x Q y
f (x, y) =
si x Q, y
1
si x I
1
si x Q
g(x, y) =
si x Q,
1
q
yI
=
p
Q, (p, q) = 1
q
y yI
y=
p
Q, (p, q) = 1
q
[a,b][c,d]
0.
13) Probar que toda funcion creciente f : [a, b] R tiene a lo mas una cantidad
numerable de discontinuidades y por lo tanto f es integrable.
54
14) Sean f, g : A Rn R, A Jordanmedible, f , g funciones
Z
Zintegrables tales
que f (~x) < g(~x) ~x A. Si vol(A) 6= 0 probar que
f<
g.
A
vol(Vi ) < .
i=1
Z
17) Dar un ejemplo de un conjunto acotado C de medida 0 tal que
exista, donde S es un rectangulo cerrado tal que C S.
C no
S
18) Probar que si ZC tiene contenido 0 entonces existe un rectangulo cerrado S tal
que C S y
C = 0.
S
S2
donde 1 esta formado por los subrectangulos que cortan C y 2 por todos
los subrectangulos contenidos en C.
22) Sea A Jordanmedible y sea > 0. Probar que existe C A compacto y
Jordanmedible tal que
Z
A\C = vol(A \ C) < .
A
Captulo 4
Teorema de Fubini
4.1
Integrales Param
etricas
Entendemos por integral parametrica aquella integral cuyo integrando depende de dos
variables y se hace la integral sobre una de las dos. Mas precisamente, sea A = [a, b]
[c, d] R2 y sea f : [a, b] [c, d] R una funcion integrable y tal que para cada t0 [c, d],
ft0 : [a, b] R dada por ft0 (x) = f (x, t0 ) es tambien integrable. Se define F : [c, d] R
por:
Z
b
F (t) =
f (x, t)dx.
a
ii).- Si f y
Demostracion.
i).- Por ser [a, b] [c, d] compacto y f continua, se tiene que f es uniformemente
continua, por lo que dado > 0, existe > 0 tal que k(x, t) (x0 , t0 )k <
|f (x, t) f (x0 , t0 )| <
.
ba
Sea t0 [c, d] fijo y sea t [c, d] tal que |t t0 | < x [a, b] se tiene
k(x, t) (x, t0 )k = |t t0 | < por lo que |f (x, t) f (x, t0 )| <
, de donde
ba
56
tendremos:
Z
|F ((t) F (t0 )| =
Z
(f (x, t) f (x, t0 )dx
Z
<
a
dx =
(b a) = ,
ba
ba
es decir, F es continua .
ii).- Se tiene que ft : [a, b] [c, d] R es continua y [a, b] [c, d] es compacto por
lo que ft es uniformemente continua. Por tanto, dado > 0, existe > 0 tal
.
que k(x, t) (x0 , t0 )k < |ft (x, t) ft (x0 , t0 )| <
ba
Si t0 [c, d] esta fijo y t [c, d] es tal que |t t0 | < , entonces x [a, b],
k(x, t) (x, t0 )k = |t t0 | < por lo que |ft (x, t) ft (x, t0 )| <
.
ba
Por ser ft continua se sigue del teorema del valor medio que para cada x [a, b],
existe t1 [t0 , t] (si t > t0 ) o t1 [t, t0 ] (si t < t0 ) tal que:
f (x, t) f (x, t0 )
= ft (x, t1 ) (t 6= t0 )
t t0
y se tiene que |t1 t0 | < por lo que
f (x, t) f (x, t0 )
|ft (x, t1 ) ft (x, t0 )| =
ft (x, t0 ) <
.
t t0
ba
Por u
ltimo tendremos:
Z b
Z b
F (t) F (t0 )
f
(x,
t)
f
(x,
t
)
0
=
f
(x,
t
)dx
f
(x,
t
)
dx
t
0
t
0
t t0
t t0
a
a
Z
Z b
f (x, t) f (x, t0 )
ft (x, t0 ) dx <
dx = ,
t t0
ba
a
es decir,
0
F (t0 ) =
ft (x, t0 )dx.
Observaci
on 4.1.2 El inciso (ii) es m
as general y se dar
a otra demostraci
on despues
del Teorema de Fubini.
57
Corolario 4.1.3 (F
ormula de Leibnitz) Sea f : [a, b] [c, d] R continua tal que
f
= ft es continua. Sean , : [c, d] [a, b] diferenciables. Sea : [c, d] R, dada
t
por:
Z (t)
(t) =
f (x, t)dx.
(t)
(t)
ft (x, t)dx.
(t)
Demostracion.
Entonces (t) = H ((t), (t), t). Sea S : [c, d] [a, b] [a, b] [c, d] dada por: S(t) =
((t), (t), t). Se sigue que S es diferenciable y se tiene = H S por lo que:
0
(t)
0 (t) = H 0 (S(t)) S 0 (t) = (Hu (S(t)), Hv (S(t)), Ht (S(t))) 0 (t) =
1
= Hu (S(t)) 0 (t) + Hv (S(t))0 (t) + Ht (S(t)).
Por u
ltimo, del Teorema Fundamental del Calculo y del teorema anterior, se tendra:
Z v
Hu (u, v, t) = f (u, t), Hv (u, v, t) = f (v, t), Ht (u, v, t) =
ft (x, t)dx.
u
Por lo tanto
0
(t)
f (x, t)dt.
(t)
Ahora consideramos
S = [a1 , b1 ] [a2 , b2 ] . . . [an , bn ] Rn
un rectangulo cerrado y sea f : S R. Fijemos
~y = (x1 , x2 , . . . , xn1 ) [a1 , b1 ] [a2 , b2 ] . . . [an1 , bn1 ]
y consideremos
g~y : [an , bn ] R,
Supongamos que
~y = (x1 , x2 , . . . , xn1 ) [a1 , b1 ] [a2 , b2 ] . . . [an1 , bn1 ] ,
58
f1 (x1 , . . . , xn1 ) =
bn
Z
f2 (x1 , . . . , xn2 ) =
bn1
bn
Z
f (x1 , . . . , xn2 , xn1 , xn )dxn dxn1 .
=
an
an1
Repitiendo este proceso nveces (siempre y cuando en cada paso existan las integrales),
obtenemos un n
umero:
Z b1 Z b2 Z bn1 Z bn
a2
an1
b1
b2
an
bn1
bn
=
a1
a2
an
59
(2).- Sea f : [a, b] [c, d] R una funcion continua y positiva. Para cada
x [a, b], sea gx : [c, d] R dada por gx (y) = f (x, y). Entonces gx es continua
en [c, d] para toda x [a, b], por lo que
Z
gx (y)dy =
c
f (x, y)dy
c
z
Sea A x =
g (y) d y
y
d
ti - 1
ti
y es aproximadamente
Z
(ti ti1 )
Z
gx (y)dy = (ti ti1 )
[c,d]
f (x, y)dy,
[c,d]
donde x [ti1 , ti ].
Ahora la funcion F : [a, b] R dada por
Z
Z
F (x) =
gx (y)dy =
[c,d]
[c,d]
f (x, y)dy
60
b
Z
es continua (ejercicio) por lo que F es integrable y
F (x)dx es aproximadaa
mente
n
X
i=1
n
X
Z
(ti ti1 )
f (xi , y)dy
c
i=1
n
X
(ti ti1 )
i=1
f (x, y)dy
n
X
[c,d]
b
F (x)dx =
a
Z
(ti ti1 )
f (xi , y)dy
[c,d]
i=1
Z b Z
i=1
n Z
X
Z bZ
f (x, y)dy dx =
a
f (x, y)dydx,
Z bZ
f (x, y)dydx.
f=
a
[a,b][c,d]
Z
=
0
Z
(x + y) xdy dx =
1
3
1
Z 1
xy 2
x
x
x2
1 1
7
2
2
x y+
dx =
x +
dx =
+
= + = .
2 0
2
3
4 0 3 4
12
0
Z
=
0
(x + y) xdx dy =
1
1 y
y y2
dy =
+
dy =
+
=
3 2
3
4 0
0
0
Z 1 Z 1
1 1
7
= + =
=
f (x, y)dy dx.
3 4
12
0
0
x3 yx2
+
3
2
1
Z
61
(4).3
(x + y sen z)dzdydx =
1
4
y 3
=
(x + y 1 1)dydx =
xy +
2y dx =
3
1
2
1
2
Z 3
Z 3
64
8
56
=
4x +
8 2x
+ 4 dx =
2x +
4 dx =
3
3
3
1
1
3
56
56
136
2
= x +
4 x = 8 + 2
4 =
8.
3
3
3
1
Z
Analogamente, obtenemos:
Z 3Z Z 4
Z
2
(x + y sen z)dydzdx=
1
0
4
(x + y 2 sen z)dzdxdy=
0
3
(x + y 2 sen z)dydxdz=
(x + y sen z)dxdzdy=
2
1
4
0
3
2
4
(x + y 2 sen z)dzdydx=
(x + y sen z)dxdydz=
=
0
4.2
136
8.
3
Teorema de Fubini
Este teorema, el cual es uno de los temas centrales de este trabajo, nos relaciona la integral
con la integral iterada.
Notaci
on 4.2.1 Sea A Rn un rectangulo cerrado y sea f : A R una funcion acotada.
Entonces a
un en el caso de que f no sea integrable, se tiene que
Z
Z
f
f y
A
Z
f =S
f =I
f ;
A
Z
A
f.
A
62
Teorema 4.2.2 (Fubini) Sea A Rn , B Rm rect
angulos cerrados y sea f : A B
R una funcion acotada e integrable. Dada ~x A, se define: g~x : B R por g~x (~y ) =
f (~x, ~y ). Sean S : A R, I : A R dadas por:
Z
Z
S(~x) = S
g~x = S
f (~x, ~y )d~y ,
B
I(~x) = I
g~x = I
f (~x, ~y )d~y .
Z
S
Z
I=
A
Z
I
f=
AB
f (~x, ~y )d~y d~x.
Analogamente, dada ~y B, se define h~y : A R dada por h~y (~x) = f (~x, ~y ). Sean
S1 : B R, I1 : B R dada por:
Z
Z
f (~x, ~y )d~x,
h~y = S
S1 (~y ) = S
A
Z
I1 (~y ) = I
Z
h~y = I
f (~x, ~y )d~x.
Es decir se tiene:
Z
Z
f=
Z
S
Z
=
B
Z
S
Z
I
I1 =
f=
AB
AB
Z
I
f (~x, ~y )d~y d~x =
Z
I
f (~x, ~y )d~x d~y .
63
Se tiene
I(f, P ) =
k X
N
X
mS i S j (f ) vol(SAi SBj ) =
A
i=1 j=1
k
N
X
X
!
mS i S j (f )
A
i=1
vol(SBj )
vol(SAi ).
j=1
por lo que
mS j (g~x ) = inf{g~x (~y ) | ~y SBj } mS i S j (f ).
B
mS i S j (f )
A
SAi ,
vol(SBj )
se tiene:
N
X
mS j (g~x )
B
j=1
vol(SBj )
Z
g~x = I(~x).
I
B
j=1
Por lo tanto
N
X
j=1
de donde obtenemos
k X
N
X
mS i S j (f )
A
vol(SBj )
vol(SAi )
i=1 j=1
k
X
i=1
por tanto
I(f, P ) I(I, PA ) .
Con las mismas notaciones, se tiene:
S(f, P ) =
k
N
X
X
!
MS i S j (f )
A
i=1
vol(SBj )
vol(SAi )
j=1
por lo que
MS j (g~x ) MS i S j (f )
B
64
y se tiene:
N
X
vol(SBj )
MS j (g~x )
B
g~x = S(~x),
B
j=1
!
MS i S j (f ) vol(SBj )
A
i=1
k
N
X
X
i=1
vol(SAi )
j=1
!
MSBi (g~x )
vol(SBj )
vol(SAi )
j=1
k
X
S(~x) vol(SAi ).
i=1
Por lo tanto
S(f, P )
k
X
sup S(~x)
i
xSA
i=1 ~
vol(SAi )
k
X
i=1
De aqu obtenemos
S(f, P ) S(S, PA ) .
Ahora puesto que para toda ~x A, I(~x) S(~x), se sigue que:
I(f, P ) I(I, PA ) S(I, PA ) S(S, PA ) S(f, P ).
Sea P = {particiones de A B} y se tiene:
Z
sup I(f, P ) =
f = inf S(f, P )
P P
P P
AB
PA PA
f,
AB
AB
Por u
ltimo se tiene:
I(f, P ) I(I, PA ) I(S, PA ) S(S, PA ) S(f, P )
por lo que S es integrable en A y
Z
Z
S=
f.
AB
65
existen y se tiene:
Z
Z
Z
A
Z
f=
AB
Z
Demostracion. Basta ver que para toda ~x A y para toda ~y B,
f (~x, ~y )d~y y
B
Z
f (~x, ~y )d~x existen. Esto se sigue inmediatamente del hecho de que f es continua.
A
b1
b2
Demostracion.
bn
f=
S
a1
a2
Corolario 4.2.5 Sean , : [a, b] R continuas tales que (x) (x) para toda x
[a, b]. Sea
A = {(x, y) R2 | a x b, (x) y (x)}.
Sea f : A R continua. Entonces f es integrable en A y
Z bZ
(x)
f=
A
f (x, y)dydx.
a
(x)
66
Demostracion.
Se tiene que
A {(x, y) R2 | x = a, x = b} (ejercicio).
Puesto que , son continuas, tenemos que y son de medida 0, por lo que A
es de mediada 0 y A es Jordanmedible.
Consideremos S = [a, b] [c, d] un rectangulo cerrado en R2 tal que A S.
Sea f: S R dada por
f (x, y) si (x, y) A
f(x, y) =
0
si (x, y) 6 A
y
Gy
A
Entonces
A
Gj
c
a
f=
S
(x)
f(x, y)dy +
{z
}
hx (y)dy =
c
|c
Por lo tanto
Z
(x)
(x)
(x)
(x)
f(x, y)dy =
Z bZ
f=
a
f(x, y)dydx =
f(x, y)dy .
{z
}
= 0
(x)
f (x, y)dy.
(x)
De aqu obtenemos
Z
f (x, y)dy +
= 0
hx (y)dy =
(x)
Z bZ
(x)
f (x, y)dydx.
a
(x)
67
Ejemplos 4.2.6
Z
(1).- Hallar
A
planos coordenados y el plano que pasa por (1, 0, 0), (0, 1, 0) y (0, 0, 1).
Respuesta. Consideremos el plano que pasa por (1, 0, 0), (0, 1, 0) y (0, 0, 1).
El vector normal al plano
es: [(1, 0, 0 (0, 1, 0)] [(1, 0, 0) (0, 0, 1)] =
k
(1, 1, 0) (1, 0, 1) = 1 1 0 = + + k = (1, 1, 1), por lo que
1 0 1
la ecuacion del plano es: x + y + z = 1 + 0 + 0 = 1.
z
6
(0, 0, 1)
@
@
@
z =1xy
@
@
@@(0, 1, 0)
- y
0
@
I
y =1x
(1, 0, 0)
1xy
Z
f=
(x + y + z) dz dxdy =
1x
=
0
Z
=
1
=
3
Z
0
Z
0
1x
0
1
1xy
(x + y + z)2 dzdydx =
0
1x
1xy
1
(x + y + z)2 0
dydx =
3
0
0
1x
Z
1 1
(x + y)4
3
[1 (x + y) ]dydx =
y
dx =
3 0
4
0
68
1
1 x4
1 3
x2 x5
=
1x +
dx =
x
+
4
4
3 4
2
20 0
0
1
15 10 + 1
6
1
1 3 1
.
=
+
=
=
=
10
3 4 2 20
60
60
1
=
3
x y dydx.
0
Respuesta.
A = {(x, y) R2 | 0 x 1, x y 1} =
= {(x, y) R2 | 0 y 1, 0 x y}.
y
6
(1, 1)
HH
Y
H y=x
- x
Por lo tanto
Z
x y dydx =
0
=
0
x2 y
2
y
Z
0
x y dxdy =
0
dy =
0
xy =
A
4 1
y3
y
1
dy =
=
.
2
8 0
8
x2 y 2
(3).- Hallar el area de la elipse: 2 + 2 = 1.
a
b
Respuesta.
De hecho se esta pidiendo el area de A, donde
A=
x2 y 2
(x, y) R | 2 + 2 1 .
a
b
2
69
y
6
b
'
A
a
- x
&
%
@
I
b 2
a x2 y a2 x2 0 |x| a.
a
b 2
b 2
a x2 .
a x2 y (x) =
a
a
Entonces
Z
Z
vol(A) = area(A) =
a
=
a
b
a
b
a
A =
a
[a,a][b,b]
a2 x2
[y] b a2 x2
a
2b
dx =
a
ab
a2 x2
1 dydx =
a2 x2
a2 x2 dx =
a
x x a2 x 2
2b a2
arcsen +
=
=
a 2
a
2
a
2b a2
a2
=
arcsen 1 + 0 arcsen(1) 0 =
a 2
2
2b a2 a2
=
= ab
+
= ab .
a 2 2
2
2
2
2
Z
(Para calcular I =
a2 x2 dx procedemos como sigue:
x
sen =
a
a
a2 x 2
dx = a cos d
a2 x2 = a cos
70
1 + cos 2
a2
sen 2
I=
a cos d = a
d =
+
.
2
2
2
x a2 x 2
x
. Por lo tanto
As: = arcsen y sen 2 = 2 sen cos = 2
a
a
a
a2
x x a2 x 2
a2
x x a2 x 2
=
arcsen +
).
I=
arcsen +
a2
2
a
2
2
a
Z
x2 y 2
+ 2 =1
a2
b
Se tiene
Z
b
a
vol(A) =
a
=
a
b
a
a2 x2
ab
a2 x2
a2 x2
2 1/2
2
c 1 x2 y2
a
x2 y 2
2c 1 2 2
a
b
ab a2 x2
2 1/2
2
c 1 x2 y2
dzdydx =
1/2
dydx =
4
abc .
3
71
Z
S(~x) =
f (~x, ~y ) d~y ,
B
salvo para un n
umero finito de ~x A y puesto que la integral de una funcion
no cambia si cambiamos la definicion de la funcion en un n
umero finito de
puntos, podemos redefinir S(~x) = 0 cuando g~x no sea integrable, esto es, por
definicion
Z
Z
f (~x, ~y ) d~y =
g~x (~y ) d~y = 0
B
(2).- Hay casos en que el Teorema de Fubini se tiene que usar tal como se
enuncia. Por ejemplo, sea f : [0, 1] [0, 1] R dada por:
1
si x I
1
si x Q, y I
f (x, y) =
si y I
1 1/q si y Q
72
1
Z
es discontinua en todo [0, 1]. Por lo tanto
f (x, y) dy = 0
0
f (x, y) dy =
0
1 si x I
0 si x Q
1=
f=
f (x, y) dy
[0,1][0,1]
1=
donde
`(x) =
dx =
1 dx = 1,
0
f (x, y) dy
0
f=
[0,1][0,1]
Z
dx =
`(x) dx = 1,
0
si x I
(3).- Si C A B, se puede utilizar el Teorema de Fubini para evaluar integrales del tipo
Z
Z
Z Z
f=
f C =
(f C )(~x, ~y ) d~y d~x.
C
AB
- x
&%
73
Se tiene que
C (x, y) =
1 si y 1 x2 o y 1 x2 , |x| 1
0 en otros casos.
Por lo tanto
Z
Z
f=
C
1
f (x, y) C (x, y) dy
1x2
dx =
f (x, y) dy
1
Z
f C =
[1,1][1,1]
Z
dx +
f (x, y) dy
dx.
1x2
Z
f es determinar C ({~x}
Z
f (~x, ~y ) d~x
d~y
y, por supuesto, que cada integral exista, sin que f se integrable (un ejemplo
de este fenomeno se encuentra entre los ejercicios de este captulo), por lo que
no es suficiente que existe la integral iterada para que f sea integrable.
Podemos ahora generalizar un resultado anterior.
Teorema 4.2.8 Sea f : [a, b] [c, d] R una funci
on continua y supongamos que la
integral
Z b
Z b
f
D2 f (x, y) dx =
(x, y)dx
y
a
a
existe para toda y [c, d]. Si F : [c, d] R est
a dada por
Z b
F (y) =
f (x, y) dx,
a
entonces F es derivable y
0
F (y) =
a
f
(x, y) dx.
y
74
Demostracion.
Se tiene que:
y
f
(x, z) dz = f (x, y) f (x, c)
z
por lo que
Z b Z
a
Z bZ
f
(x, z) dz
z
f
(x, z) dzdx +
z
=
a
Z
+ f (x, c) dx =
Z
f (x, c) dx =
a
Fubini
Z b
f
(x, z) dx dz +
f (x, c)dx
z
a
y se tiene
f (x, c) dx = constante.
Z b
Z b
f
f
(x, z) dx. Entonces g(y) =
(x, y) dx. Se tiene que g
Sea g(z) =
z
y
a
a
Z y
es continua y que F (y) =
g(z) dz + constante. Por el Teorema Fundamental del
a
F (y) = g(y) =
a
4.3
f
(x, y) dx.
y
Integrales Impropias
Ejemplos 4.3.1
75
Gf
x
Sea Bn = {(x, y) R2 | 1 x n, 1 y n}, n N.
Se tiene
Z
f=
Bn
1
dxdy =
x2 y 2
Es razonable definir
Z
1
y2
f = lim
Bn
n
2
1
1
dy = 1
.
x 1
n
Z
f = lim
1
1
n
2
= 1.
Be
1
e
76
1
r2
r2
r dr =
ln r .
2
2
4
dr
r2
, dv = r dr, v = )
r
2
Por lo tanto
2
1
Z
r
r2
1 2
2
2
2
ln(x + y ) dxdy = 4
ln r
= 4 +
ln +
.
2
4
4
2
4
B
Ahora
lim+
0
2
ln
1/
2
ln = lim+ 2 = lim+
=
lim
= 0.
0 2
0 43
0+ 4
2
77
Si {B } converge a B se representa:
B = lim B = lim B .
sup
Observaci
on 4.3.3 La definicion anterior se puede dar en igual forma si consideramos
{B } decreciente, esto es, B B . En este caso ponemos
B = lim B = lim B .
inf
f = lim
f = lim
sup
f
B
Z
f = lim
inf
f,
B
Z
lim
f,
C
78
(Z
por lo tanto
f
C
Z
lim
f
C
existe y se tiene:
Z
f lim
lim
Z
f lim
f = lim
f.
C
f = lim
f = lim
B
f.
C
y
6
1
@@ @ @ @ @ @ @ @
@@
@ @ @ @ @S@ @ @ @@
@ @ @ @ @ @n @ @ @
@
@@ @ @ @ @ @ @ @ @
1/n @ @ @ @ @ @ @ @ @ @
S
- x
Sea Sn = [0, n] [1/n, 1]. Se tiene que {Sn }nN converge a S, lim Sn = S. Por lo
n
tanto
1/2 1
Z
Z 1Z 1
Z n
y
f=
y 1/2 ex dydx =
ex
dx =
1/2 1/n
Sn
0
1/n
0
i
p
n h
Z
Por lo tanto
f =2.
S
Observaci
on 4.3.7 Si f no es positiva, el teorema anterior no se cumple en general como
muestra el siguiente ejemplo.
Ejemplo 4.3.8 Sea f : R R, f (x) = sen x. Sea Bn = [n, n], n N. Entonces
Z
Z n
f=
sen x dx = [ cos x]n
0.
n = cos n + cosn = 0
Bn
79
Cn
= (1) + 1 = 2 2.
n
En ambos casos
Z
lim Bn = lim Cn = R y
Z
f = 0 6= 2 = lim
lim
Bn
f.
Cn
Observaci
on 4.3.9 Si f : A Rn R, A un conjunto acotado y f 0, entonces se
puede definir
f (~x) , f (~x) M
, M R+ , fM : A R
fM (~x) =
0
, f (~x) > M
y definir
Z
Z
f = lim
fM .
BM
Z
f
g.
Z
Z
Z
Para se tiene que
|f |
g por lo que
|f | existe.
B
Z
g 2 lim
Z
g=2
g,
B
80
Z
(f + |f |) existe.
por lo tanto
B
Se sigue que
Z
Z
[(f + |f |) |f |] =
f=
B
Z
(f + |f |)
|f |
Z
(f + |f |)
|f |.
B
Z
Por lo tanto
f existe.
B
Z
Ejemplo 4.3.11 Para cuales existe la integral
1
x
dx?
1 + x
Respuesta.
Z
x
dx =
1 + x
Si 0, entonces xZ 1, de dondeZ se
1
dx
x
.
Se
sigue
que
1 + x
2
1 + x
1
1
1+x
2x
Z
1
dx
1 + x
Z
Z
1
dx
.
1 + x
t
1
1
x +1
x dx = lim
= .
2
2 t + 1 1
x
dx =
1 + x
dx
= lim [ln(1 + x)]t1 = .
t
1
+
x
1
1
1
Si < 1 entonces x 0 por lo que 1 + x 1. Se sigue que
1 y por lo
1
+
x
x
tanto
x . De aqui se tiene que
1 + x
Si = 1 se tiene
Z
1
x
dx
1 + x
Z
1
x+1
x dx = lim
t + 1
=
Z
Por lo tanto
1
t
= lim
1
< .
+1
x
dx converge < 1 .
1 + x
t+1
1
+1 +1
=
4.4 Ejercicios
4.4
81
Ejercicios
1) Sea f (x, y) =
si x Q
, f : [0, 1] [0, 1] R.
2y si x I
Z
1
1
f (x, y) dydx = 1, pero que f no es integrable.
Z
Probar que:
0
2) Probar que
1
xy
(e
0
2xy
2e
) dxdy 6=
3) Sea f : [a, b] R una funcion continua. Sea M = sup{|f (x)| | x [a, b]} y
Z b
1/n
n
sea Mn =
|f (x)| dx
, n N. Probar que M = lim Mn .
n
4) Sea f : [a, b] [c, d] R una funcion continua y sea g : [a, b] R una funcion
acotada e integrable. Sea F : [c, d] R dada por
Z
F (t) =
i).0
0
1
x2
dydx;
1 + y2
ii).0
0
2
iii).-
r drd;
0
1
a sen
1x2
iv).0
1 x2 y 2 dydx.
x+9
i).-
f (x, y) dydx;
1
x2
82
3
25x2
ii).-
f (x, y) dydx;
0
0
2
x+2
iii).-
f (x, y) dydx.
x2
Z Z
7) Poner los lmites de integracion para
i).- S es el trapecio con vertices 0 = (0, 0), A = (2, 0), B = (1, 1),
C = (0, 1).
ii).- S es el sector circular 0AB con centro 0 = (0, 0) y cuyo arco tiene
B = (1, 1)
A = (1, 1)
@
@
3x
i).-
f (x, y) dydx;
0
2x
Z 1y2
ii).
iii).-
f (x, y) dxdy;
1y 2
sen x
f (x, y) dydx.
0
4.4 Ejercicios
83
x2 y 2 z 2
+ 2 + 2 = 1.
a2
b
c
Z Z Z
11) Poner los lmites de integracion en
iii).- Del elipsoide:
a2 x2
Z a2 x2 y2
i).0
0
2
2 x
ii).-
1
p
a2 x 2 y 2 z 2
dzdydx;
4xy 2
2
x dzdydx;
0
Z Z Z
iii).-
z2 =
h2 2
(x + y 2 ) y por los planos z = h, z = 0.
R2
Z Z
ii).Q
Z Z
iii).Q
Z
f (x)g(y) dydx =
Z
f (x) dx
c
g(y) dy .
84
Z
16) Evaluar I = 2
Z 1/2
2
et dt.
y 2
e
1/2
dydx en terminos de A =
et dt y B =
AB
F
(~x0 ), 1 i n?
xi
f
22) Si f : [a, b] [c, d] R y
son funciones continuas, definamos F (x, y) =
y
Z x
f (t, y)dt.
a
i).- Hallar D1 F y D2 F .
Z g(x)
ii).- Si G(x) =
f (t, x) dt, hallar G0 (x).
a
4.4 Ejercicios
85
g1
g2
=
.
23) Sean g1 , g2 : R2 R funciones de clase C 1 y supongamos que
x
y
Z x
Z y
f
Sea f (x, y) =
g1 (t, 0) dt +
g2 (x, t) dt. Probar que
(x, y) = g1 (x, y).
x
0
0
24) Sean A, B R3 Jordanmedibles. Sean
Ac = {(x, y) R2 | (x, y, c) A} y Bc = {(x, y) R2 | (x, y, c) B}.
Si cada Ac y cada Bc son Jordanmedibles y tienen la misma area, probar que
A y B tienen el mismo volumen.
25) i).- Construir C [0, 1] [0, 1] un conjunto tal que C contenga a lo
sumo un punto en cada horizontal y uno en cada vertical pero que
C = [0, 1] [0, 1].
ii).- Probar que
Z 1 Z
Z
C (x, y) dx dy =
0
C (x, y) dy dx,
Z
pero que
C no existe.
[0,1][0,1]
86
Z
dxdy
;
2
2 2/3
(1 + x + y )
sen x
dx.
x2 + 1
0
viii).Z
ix).-
x dx
tomando los valores principales de la
xy
2
28) Demostrar que
ex dx = .
Z
(Sugerencia:
R2
(x2 +y 2 )
Z
dxdy =
x2
2
dx
).
Captulo 5
Cambio de Variable
5.1
Particiones de Unidad
f (x)dx =
g(a)
es decir,
Z
g(b)
f (x)dx =
g(a)
(f g) g 0 .
Sea F tal que F 0 (x) = f (x), laZcual existe pues f es continua (Teorema
x
Fundamental del Calculo), por ejemplo F (x) =
f (t) dt. Entonces
Demostracion.
g(b)
Ahora se tiene que (F g)0 (x) = F 0 (g(x)) g 0 (x) = f (g(x)) g 0 (x), es decir, F g es
una primitiva de (f g) g 0 . Por lo tanto
Z
g(b)
f (x) dx.
g(a)
Z
Ejemplo 5.1.2 Hallar
a
(1 + x2 )10 x dx = I.
88
Sea g(x) = 1 + x10 y f (x) = x10 , g 0 (x) = 2x. Por lo tanto
Respuesta.
1
I=
2
Z
a
1
(f g)(x) g (x) dx =
2
0
g(b)
g(a)
1
f (y) dy =
2
1+b2
y 10 dy =
1+a2
1
1 11 1+b2
y 1+a2 =
(1 + b2 )11 (1 + a2 )11 .
22
22
y = r sen ; x, y R, r [0, ),
r
[0, 2 ].
- x
x
La diferencial de area en coordenadas polares, se obtiene:
r d
J
]
J
r
J
dA = r drd
- x
6
r d es la diferencial de arco y dr es la diferencial del radio. Por lo tanto la diferencial del area acotada por los rayos , +d junto con los radios r y r+dr es: dA = r ddr,
es decir dxdy = r ddr.
Z
2
2
2
Ejemplo 5.1.3 Sea A = {(x, y) R | x + y 1}. Se quiere hallar
(x2 + y 2 ) dxdy.
A
y
6 A
'$
Se tiene : x2 + y 2 = r2 y dxdy = r ddr
@
@@@ @- x
@@
0 @@ 1
@@
Ademas A = {(r, ) R2 | 0 r 1, 0 2}.
@@
&%
Por lo tanto
Z
89
Z
r r d dr =
(x + y ) dxdy =
A
2r4
=
4
2r3 dr =
1
=
0
.
=
2
4
~
xC
tales que C
m
[
B(~
xi , ~xi /2 ).
1=1
[
Definimos D = C
m
[
!
B(~
xi , ~xi /2 )
i=1
cada B(~
xi , ~xi /2 ) U , 1 i m. Por u
ltimo, si ~x C = C C, entonces ~x C o
90
Lema 5.1.5 Sea A Rn un conjunto abierto y sea C A un conjunto compacto. Entonces existe una funcion de clase C , f : A R tal que f (~x) 0 para toda ~x A,
2
2
ex = e1/x , x 6= 0
Demostracion. Sea h : R R dada por: h(x) =
.
0
, x=0
(n)
Entonces h es de clase C y se tiene que h (0) = 0 n N.
Ahora sea f : R R dada por:
0
, x 6 (1, 1)
2
2
, x (1, 1)
e(x1) e(x+1)
=
.
0
, x 6 (1, 1)
Para todo intervalo (a, b) R \ {1, 1}, f es de clase C en (a, b) y puesto que la
derivada, tanto por la izquierda como por la derecha, de cualquier orden y tanto para x =
como para x = 1 de f es 0, se sigue que f es de clase C en R.
Ademas tenemos f (x) > 0 para toda |x| < 1 y f = 0 para toda |x| 1.
Sea ~a = (a1 , a2 , . . . , an ) Rn y sea g : Rn R dada por
x 1 a1
x 2 a2
x n an
g(~x) = g(x1 , x2 , . . . , xn ) = f
f
f
,
> 0 dado.
a
i
i
< 1, 1 i n
Entonces g es de clase C en Rn y g es positiva
|xi ai | < , 1 i n ~x (a1 , a1 + ) (a2 , a2 + ) . . . (an , an + ),
es decir g es positiva en (a1 , a1 + ) (a2 , a2 + ) . . . (an , an + ) y 0 en el
resto.
Sea ~x C A, entonces existe ~x > 0 tal que
V2~x (~x) = (x1 2~x , x1 + 2~x ) (x2 2~x , x2 + 2~x ) . . . (xn 2~x , xn + 2~x ) A.
Sea g~x : Rn R, una funcion de clase C tal que g~x es positiva en V~x (~x) y 0 en el
resto. Se tiene que:
V ~x (~x) = [x1 ~x , x1 + ~x ] [x2 ~x , x2 + ~x ] . . . [xn ~x , xn + ~x ] V2~x A.
[
Ahora C
V~x y C es compacto, por lo que existen ~x1 , . . . ~xm C tales que
~
xC
m
[
i=1
m
X
i=1
g~xi .
91
Si ~x 6 D entonces ~x 6 Vxi (~xi ) para toda 1 i m. Por lo tanto g~xi (~x) = 0 para
toda 1 i m. Se sigue que g(~x) = 0 para toda ~x Dc .
Se tiene que g es una funcion de clase C en Rn , g(~x) > 0 para toda ~x C, g(~x) = 0
C tal que:
(1).- Para toda ~x A, 0 (~x) 1;
(2).- Para cada ~x A, existe un conjunto abierto V que contiene a ~x tal que
todas, salvo un n
umero finito de , son 0 en V ;
(3).- Para cada ~x A, X
en virtud de (2), todas, salvo un n
umero finito de ,
son 0 en ~x y la suma
(~x) es finita y se tiene que
(~x) = 1.
92
C
U
U
m
U
i
C1 D1 y D1 U1 .
m
[
C
D
D1
m
[
!
Ui .
i=2
tales que Di Ui , 1 i k y A
Di
Ui .
i=1
i=k+1
Por el Lema 5.1.4 se tiene que existe un conjunto compacto Dk+1 tal que Ck+1 Dk+1 y
Dk+1 Uk+1 . Ahora bien, se tiene que
!
!
!
!
k
m
k+1
m
[ [
[ [
[ [ [
A Ck+1
Di
Ui
Di
Ui ,
i=1
i=k+2
i=1
i=k+2
Ahora bien, ~x
Di = U A,
i (~x) > 0 y U es un conjunto abierto.
i=1
i=1
i (~x)
Sea i : U R dado por i (~x) = Pm
, 1 i m.
x)
i=1 i (~
93
~ A y 1 i m y ademas
Se tiene que 0 i (~x) 1
m
X
i (~x) = 1 ~x A.
i=1
Caso 2: Si A =
Ai , Ai es compacto y Ai Ai+1 , i N.
i=1
n
o
Definimos A1 = A0 = y para i N, Oi = U Ai+1 \ Ai | U O . Puesto que
!
[
[
\
A
U , se tiene que Ai \ Ai1 = Bi Ai+1 \ Ai2 =
U
Ai+1 \ Ai2 =
U O
c
[ U O
[
U Ai+1 \ Ai2
=
V (se tiene Ai1 Ai2 por lo tanto Ai1 (Ai2 )c ).
U O
V Oi
Ai-
Ai-
Ai
Ai+
i=1
j=1
que ~x Ai0 , por lo tanto ~x 6 Ai0 1 . De aqui se sigue que ~x Ai0 \ Ai0 1 = Bi0 .
Por el caso 1, para cada i N existe una coleccion i que cumple las condiciones con
Oi la cual es una cubierta abierta de Bi .
94
Ai
se tiene
n que ~x Aj+1 \ Aj2 y o
Oj = U (Aj+1 \ Aj2 ) | U O .
Por lo tanto ~x 6 V para toda V Oj ,
de donde (~x) = 0 j .
Ai+
Ai+
j
jN
contiene a ~x.
X
Ademas (~x)
(~x) = 1 para alg
un m N.
m
(
)
[
(~x)
, i N. Sea = 1 |
i , 1 es
Para cada i definimos 1 (~x) =
(~x)
i=1
una funcion de clase C y se puede extender 1 : Rn R definiendo 1 = 0 en donde
originalmente no estaba definida. Se tiene que 1 es de clase C . Por otro lado (~x),
(~x) 0 y (~x) (~x). Por lo tanto 0 1 (~x) 1 y 1 (~x) = 0 (~x) = 0 y
puesto que i , existe un conjunto abierto V que contiene a ~x en donde todas, salvo
un n
umero finito de las 1 , son 0.
X
X (~x)
= 1 ~x A.
Ademas tenemos
1 (~x) =
(~x)
i
1
iN
Por u
ltimo, sea 1 , 1 = . Existe un conjunto abierto V de Oi tal que 1 se
Si ~x A, sea 1 =
/m
Am
m
1
1
1
=
.
m m+1
m(m + 1)
A
x
Si z A, k~z ~xk
95
1
1
1
1
, k~z ~y k k~z ~xk k~x ~y k
=
, es
m
m m(m + 1)
m+1
decir, B(~x, ) Am+1 por lo que ~x Am+1 , de donde se sigue que Am Am+1 .
Ahora, Am esta acotado ya que Am B(~0, m). Veamos que Am es un conjunto
cerrado. Sea ~x Am , existe una sucesion {~xk }
xk = ~x por lo que
k=1 Am tal que lim ~
k
1
m
1
lo cual es absurdo. Por tanto k~x ~zk
z A y puesto que ~x Am A y ~x 6 A,
m
se sigue que ~x Am , por lo que Am es un conjunto cerrado y por lo tanto Am es un
conjunto compacto.
[
El resultado se seguira del caso 2 si probamos que A =
Am . Sea ~x A. Entonces
m=1
existe > 0 tal que B(~x, ) A y elijamos M > 0 tal que k~xk M .
1
.
Sea k1 N tal que k~xk k1 y sea k2 N tal que
k2
Sea k = max{k1 , k2 }. Entonces ~x A, k~xk k y k~x ~zk
toda ~z A. Por lo tanto ~x Ak . Se tiene entonces que A
Ak A k N, se tiene
[
k=1
Ak A. Se sigue que A =
1
1
para
k2
k
Ak y, puesto que,
k=1
Ak .
k=1
Caso 4: A[
es arbitrario
Sea B =
U , A B y B es un conjunto abierto. Entonces, por el caso 3, existe
U O
una coleccion para B que cumple las condiciones del teorema. Esta misma coleccion
sirve para el conjunto A.
Definici
on 5.1.7 Si la coleccion satisface las propiedades (1), (2) y (3) del teorema
anterior y es una funcion de clase C k para toda , entonces a se le llama
particion de unidad C k para A (k 1). Si ademas satisface la propiedad (4) del teorema anterior, se dice que esta subordinada a la cubierta O.
En el teorema anterior probamos que todo conjunto A Rn con una cubierta abierta
O, tiene una particion de unidad C subordinada a O.
96
5.2
m
[
i=1
solo un n
umero finito de las no son 0 en C, es decir, para un conjunto compacto
C, la particion de unidad consta de un n
umero finito de funciones.
Observaci
on 5.2.1 Se ha visto que existe un conjunto abierto (o compacto) A Rn
acotado
y f : Rn R tal que el conjunto {~x Rn | o(f, ~x) > 0} tiene medida 0, Zpero
Z
f no existe (si A no es Jordanmedible). Este problema lo evitaremos definiendo
A
f
A
donde ~x = (x1 , . . . ,[
xn ).
Entonces A =
V~x (~x). Ahora bien, V~x (~x) es un rectangulo abierto y por lo tanto
~
xA
Definici
on 5.2.2 Sea A Rn un conjunto abierto. Una cubierta abierta O de A se
llama admisible si U O, U A y U es Jordanmedible.
[
Si O es una cubierta admisible de A se tiene que A =
U.
U O
Definici
on 5.2.3 Sea A Rn un conjunto abierto. Sea O un recubrimiento admisible
de A. Sea una particion de unidad de A subordinada a O. Sea f : A R tal que para
cada ~x A, toda vecindad abierta U de ~x con U O, f esta acotada en U y ademas
suponemos que el conjunto {~x A | o(f, ~x) > 0} es de medida 0. Entonces dada ,
existe ZU O tal que
Z se anula fuera de un conjunto cerrado contenido en U y por lo
tanto
|f | =
|f | existe.
A
97
XZ
[
de conjuntos compactos, digamos A =
Ai con Ai un conjunto compacto, y
i=1
XZ
f es absolutamente convergente y por lo tanto convergente.
Z
(3).- Se va a demostrar en el siguiente teorema que
converja, la integral
Z
f=
A
XZ
XZ
98
Demostracion.
Um
U
U
Uk
Sea C = A \
i=1
vol(Ui ) <
i=1
A
m
[
m
X
!
Ui
i=1
Por u
ltimo, si ~x C se tiene que ~x A = A A, pero ~x 6
m
[
Ui . Se sigue que
i=1
i=1
m
[
Ui . Por lo
i=1
i=1
99
f =
XZ
f.
Demostracion.
(1).- Veamos que = { | , } es una particion de unidad
subordinada a la cubierta admisible O O0 = {U U 0 | U O, U 0 O0 } de
A.
Se tieneX
que para toda ~xX
A, 0 (~x) (~x) 1, , . Ahora si
~x A,
(~x) = 1 =
(~x) y cada suma consta de un n
umero finito de
U 0 O0
U O,U 0 O0
100
y cada conjunto U U 0 es un conjunto abierto y Jordanmedible. Por lo tanto
O O0 es una cubierta abierta admisible de A.
Sea . Existe un conjunto V de O, V acotado, tal que se anula
en el exterior de un conjunto cerrado D V (D compacto). Por lo tanto
( f )(~x) = 0 ~x 6 D. Solo un n
umero finito de son diferentes de 0
en D. Se sigue que se puede escribir:
!
X
X
f =1f =
f =
f
y se tiene:
XZ
f =
XZ
f =
XXZ
XZ
XXZ
()
por lo que
XZ
f =
XZ
f =
XXZ
f =
XXZ
101
f =
XZ
f.
Aplicando esta u
ltima igualdad a |f | en lugar de f , se tiene que:
XZ
XZ
|f | =
|f |,
es decir
XZ
|f |
converge.
(2).- Sea B un rectangulo cerrado tal que A B y sea M > 0 tal que |f (~x)|
M ~x A.
Sea F un conjunto finito. Entonces dada , se tiene que
Z
Z
Z
Z
|f |
M =M
=M
,
A
por lo tanto
XZ
X Z
|f |
M
F
()
=M
!
X
Z
M
1 = M vol(B) < ,
Z
X
((): se puede permutar
y
por ser suma finita)
XZ
por lo que
|f | es acotada y por ser de terminos positivos converge.
A
Z
Se sigue que
f existe.
B
Z
(3).- La definicion original de integral f en A la denotamos por
f . Sea > 0 y
A
sea M > 0 tal que |f (~x)| M ~x A. Por el lema anterior, se tiene que existe
un conjunto compacto C Jordanmedible tal que C A y vol(A \ C) < /2M .
Ahora bien, solo un n
umero finito de son diferentes de 0 en C. Sea F
un conjunto finito que contenga a todas las funciones que son diferentes
de 0 en C. Entonces:
Z
Z
! Z
!
Z
X
X
X
f
f =
f
f
f
f 1
A
A
A
A
F
102
!
Z
Z
X
X
X
|f | 1
M
1
=M
=
A
A
A \F
F
F
Z
Z
X
= <
=M
M
1 = M vol(A \ C) M
2M
2
A\C
A\C
Z
\F
por lo que
XZ
5.3
Z
f =
f.
A
Antes de dar este teorema, que es lo central de esta captulo, damos un lema auxiliar que
de hecho es un caso particular del teorema.
Lema 5.3.1 Sea g : Rn Rn una transformaci
on lineal y sea U Rn un conjunto
Jordanmedible. Entonces g(U ) es Jordanmedible y se tiene que vol(g(U )) = | det g|
vol(U ).
Demostracion.
Caso 1: g es singular.
Si g es singular, entonces g(U ) V , donde V es un subespacio de Rn de dimension
n 1. Por lo tanto (g(U )) V = V y puesto que vol(V ) = 0, se tiene que vol(g(U )) =
0 = vol((g(U ))). Se sigue que g(U ) es Jordanmedible y, puesto que det g = 0, se tiene
que vol(g(U )) = 0 = | det g| vol(U ).
Caso 2: g es no singular.
i).- Primero supongamos que U = [a1 , b1 ] [a2 , b2 ] . . . [an , bn ] es un rectangulo
cerrado y consideremos que g, con respecto a la base canonica, tiene como
representacion matricial a alguna de las siguientes:
a)
g=
1
0
.
0
0
0
.
0
0
0
1
.
0
0
0
.
0
0
...
...
...
...
...
...
...
...
...
0
0
.
1
0
0
.
0
0
0
0
.
0
x
0
.
0
0
i
0
0
.
0
0
1
.
0
0
...
...
...
...
...
...
...
...
...
0
0
.
0
0
0
.
1
0
0
0
.
0
0
0
.
0
1
x R, x 6= 0,
1 i n.
103
b)
g=
1
0
.
0
.
0
.
0
0
0
1
.
0
.
0
.
0
0
...
...
...
...
...
...
...
...
...
0
0
.
0
.
0
.
0
0
0
0
.
0
.
1
.
0
0
0
0
.
0
.
0
.
0
0
...
...
...
...
...
...
...
...
...
0
0
.
0
.
0
.
0
0
0
0
.
1
.
0
.
0
0
0
0
.
0
.
0
.
0
0
...
...
...
...
...
...
...
...
...
0
0
.
0
.
0
.
1
0
0
0
.
0
.
0
.
0
1
0
0
.
0
.
0
.
0
1
1 i n, 1 j n, i 6= j, i < j.
c)
g=
1
0
.
0
.
0
.
0
0
0
1
.
0
.
0
.
0
0
...
...
...
...
...
...
...
...
...
0
0
.
0
.
0
.
0
0
0
0
.
1
.
0
.
0
0
0
0
.
0
.
0
.
0
0
...
...
...
...
...
...
...
...
...
0
0
.
0
.
0
.
0
0
0
0
.
1
.
1
.
0
0
0
0
.
0
.
0
.
0
0
...
...
...
...
...
...
...
...
...
0
0
.
0
.
0
.
1
0
1 i n, 1 j n, i 6= j, i < j.
Las matrices expresadas en a), b) y c) son las matrices elementales y se obtienen de la siguiente forma:
a) En la matriz identidad In al renglon i lo multiplicamos por x R,
x 6= 0.
b) En la matriz identidad In , permutamos los renglones i, j con 1
i < j n.
c) En la matriz identidad In , en la fila i, columna j (i < j, 1 i, j n)
cambiamos el 0 por 1.
n
Y
Ahora vol(U ) =
(bi ai ).
i=1
104
y
n
Y
vol(g(U )) = x
(bi ai ) si x < 0.
i=1
n
Y
Por lo tanto vol(g(U )) = |x|
(bi ai ) = | det g| vol(U ).
i=1
i=1
Por u
ltimo, en el caso c), det g = 1 y se tiene:
g(U ) = {(x1 , . . . , xi1 , xi + xj , xi+1 , . . . xj , . . . , xn ) | xk [ak , bk ] , 1 k n}
= A C = [a1 , b1 ] . . . [ai1 , bi1 ] [ai + aj , bi + bj ] [ai+1 , bi+1 ] . . .
. . . [aj , bj ] . . . [an , bn ] .
Aplicando el Teorema de Fubini, se tiene que:
Z
vol(A) =
bn
bj
b1
a1
A dxi dxj
an
aj
ai +aj
bi1
bi+1
bj1
bj+1
ai1
ai+1
aj1
aj+1
bi +bj
A =
C
bj
105
bi +bj
Para calcular
aj
ai +aj
A (x1 , x2 , . . . , xn ) =
1 si ai + xj xi bi + xj , xj [aj , bj ]
0 en otro caso.
xj
bj
xj
bj
g-
xj
`1
aj
0
ai
bi
xi
aj
- A=g(U
) `2
g(bi ,aj )=(bi +aj ,aj )
bi +aj bi +bj
xi
`1 : xj = xi ai ; `2 : xj = xi bi .
Por lo tanto
Z
bj
bi +bj
bj
bi +xj
A dxi dxj =
aj
ai +aj
dxi dxj =
aj
ai +xj
bj
=
aj
Se sigue que
n
Y
vol(g(U )) = vol(A) =
(bi ai ) = vol(U ) = | det g| vol(U ).
i=1
2| det g|
.
2| det g|
106
MSi (U ) = 1 Si U 6=
X
S(U , P ) =
vol(Si ).
MSi (U ) = 0 Si U =
Si U 6=
mSi (U ) = 1 Si U
X
I(U , P ) =
vol(Si ).
Si U
mSi (U ) = 0 Si 6 U
[
[
Definimos: V =
Si y W =
Si , donde los Si son los subrectangulos
Si U
Si U 6=
de S determinados por P .
Por ser g como en a), b) o c) de i), la interseccion de dos conjuntos g(Si ) es
de medida 0 y por lo tanto se tiene:
!
[
X
vol(g(V )) = vol
g(Si ) =
vol(g(Si )) =
Si U
Si U
Si U
vol(g(W )) = vol
g(Si ) =
Si U 6=
vol(g(Si )) =
Si U 6=
Si U 6=
Por lo tanto:
vol(g(W )) vol(g(V )) = | det g| (S(U , P ) I(U , P )) < .
Ademas
(g(U )) g(W ) g(V ) y vol(g(W ) g(V )) = vol(g(W )) vol(g(V )) < .
Por lo tanto (g(U )) tiene medida 0. Se sigue que g(U ) es Jordanmedible y
puesto que g(V ) g(U ) g(W ), se obtiene que
vol(g(V )) vol(g(U )) vol(g(W )).
Entonces
| det g| I(U , P ) vol(g(U )) | det g| S(U , P ).
Por lo tanto vol(g(U )) = | det g| vol(U ).
107
iii).- Sea U Jordanmedible y g arbitrario. Entonces existen transformaciones lineales g1 , g2 , . . . , gk : Rn Rn de los tipos de a), b) o c) de i) tales que
k
Y
g = g1 g2 gk y se tiene det g =
det gi . Por lo tanto g(U ) =
i=1
Demostracion. La demostracion la realizaremos haciendo algunas reducciones, pero antes observemos que si ~x g(A), entonces existe ~a A tal que ~x = g(~a) y, puesto que,
det g 0 (~a) 6= 0 y g es de clase C 1 , se tiene que, por el Teorema de la funcion inversa, existen
conjuntos abiertos U y V con ~a U , ~x V , tales que g : U V es biyectiva y su inversa
es de clase C 1 . Por lo tanto se tiene que V g(A) y se sigue que g(A) es un conjunto
abierto.
Paso 1.
Supongamos que existe un recubrimiento admisible O de A tal que para cada U O
y f integrable, se tiene:
Z
Z
(f g) | det g 0 |.
f=
g(U )
se puede escribir:
Z
Z
f =
g(A)
[( f ) g] | det g 0 |
108
y por lo tanto:
Z
f=
g(A)
f =
g(A)
XZ
XZ
XZ
[( f ) g] | det g 0 | =
(f g) | det g 0 |
( g) (f g) | det g | =
A
Observaci
on 5.3.3 Este paso 1 se puede dar considerando O una cubierta admisible de
g(A). Se tiene en este caso que O0 = {g 1 (V ) | V O} es una cubierta abierta de A y
Z
Z
Z
f=
f=
(f g) | det g 0 |
g(g 1 (V ))
g 1 (V )
XZ
g(A)
(f g) | det g 0 |
( g) (f g) | det g | =
A
1=
g(A)
Z
c=c
g(A)
| det g | =
1=c
g(A)
c | det g 0 |,
109
Entonces:
X
I(f, P ) =
XZ
mS (f ) vol(S) =
XZ
S
fS =
g 1 ( )
(f g) | det g 0 |.
(f g) | det g | =
g 1 (V
(f g) | det g 0 |
f
g 1 (V
(fS g) | det g 0 |
g 1 ( )
Por lo tanto
XZ
y
S(f, P ) =
MS (f ) vol(S) =
XZ
f0
S
S
XZ
S
Por lo tanto
(f g) | det g 0 | =
g 1 (S)
XZ
g 1 (S)
(fS0 g) | det g 0 |
(f g) | det g 0 |.
g 1 (V )
(f g) | det g 0 |.
f
g 1 (V )
Se sigue que
Z
(f g) | det g 0 |.
f=
g 1 (V )
con lo cual, aplicando el paso 1, implica que el teorema se cumple para f una funcion
arbitraria.
Paso 3.
Si el teorema es cierto para g : A Rn , h : B Rn , donde A, B Rn son conjuntos
abiertos, g, h son funciones de clase C 1 e inyectivas y g(A) B, entonces el teorema es
cierto para h g : A Rn .
Demostracion (Paso 3).
Se tiene
Z
Z
Z
Z
0
f=
f=
(f h) | det h | =
[(f h) | det h0 |] g [| det g 0 |] =
(hg)(A)
h(g(A))
g(A)
A
0
(f h g) {| det h | g} | det g | =
=
A
A
0
110
Paso 4.
El teorema es cierto si g es una transformacion lineal.
Demostracion (Paso 4).
Por el paso 2, es suficiente verlo para f = 1, es decir que
Z
Z
1=
| det g 0 |,
g(A)
pero, por el paso 1, es suficiente verificar esta igualdad sobre un rectangulo abierto U .
Esto es, necesitamos verificar la igualdad:
Z
Z
Z
0
0
vol(g(U )) =
1=
| det g | = | det g |
1 = | det g 0 | vol(U )
g(U )
Paso 5.
El teorema es cierto en general.
Demostracion (Paso 5).
Por el paso 2, es suficiente hacerlo para la funcion f = 1. Esto
lo haremos por induccion en n.
Sea n = 1. Puesto que f = 1, se tiene, en particular, que f es continua. Por el
Paso 1, es suficiente probar el resultado para un intervalo abierto (a, b) R arbitrario,
f : (a, b) R. Necesitamos verificar la igualdad:
Z
Z
1=
|g 0 |.
g((a,b))
(a,b)
g(a)
(g(a),g(b))
6g decreciente
6g creciente
g(b)
g((a, b))
g(a)
0
g((a,b))
g(a)
g((a, b))
g(b)
g
- x
C
CC
g
@
- x
111
g(b)
Z
Por tanto tenemos
Z
=
g((a,b))
(g(b),g(a))
1.
g((a,b))
|g 0 |.
(a,b)
0 = lim
lo cual es absurdo.
Por ser h de clase C 1 , podemos elegir U 0 tal que det h0 (~x) 6= 0 ~x U 0 .
Ahora sea k : h(U 0 ) Rn dada por k(~x) = k(x1 , . . . , xn ) = (x1 , . . . , xn1 , gn (h1 (~x))).
Se tiene que para toda ~x U 0 :
(k h)(~x) = k(h(~x)) = (k1 (h(~x)), . . . , kn ((h(~x)))) =
= (h1 (~x), . . . , hn1 (~x), gn (h1 (h(~x)))) = (g1 (~x), . . . , gn1 (~x), gn (~x)) = g(~x).
Por lo tanto k h = g y h es del mismo tipo que g.
Veamos que k tambien es del mismo tipo de g. Se tiene que:
(k h)0 (~a) = k 0 (h(~a)) h0 (~a) = k 0 (h(~a)) I = k 0 (h(~a)) = g 0 (~a) = I,
112
por lo que h0 (h(~a)) = I.
Existe un conjunto abierto V que contiene a h(~a) V h(U 0 ) tal que k es inyectiva
en V y tal que det k 0 (~x) 6= 0 ~x V .
Sea U = h1 (V ) U 0 y se tiene que g = k h, h : U Rn , k : V Rn , h(U ) =
h(h1 (V )) V . Por el Paso 3, es suficiente probar el teorema para h y para k (la idea es
que, tanto h como k, cambian menos de n coordenadas).
Sea W U un rectangulo cerrado, W = D [an , bn ], con D un rectangulo cerrado en
n1
R .
Ahora[
bien, h(W ) = {h(~x) | ~x W } = {(g1 (~x), . . . , gn1 (~x), xn | ~x = (x1 , . . . , xn )
W} =
h(D {xn }).
xn [an ,bn ]
C0
[an ,bn ]
(Teorema de Fubini).
Ahora
h(W ) (x1 , . . . , xn1 , xn ) =
Por lo tanto
Z
bn
Z
dx1 dxn1
1=
Z
dx1 dxn1
=
[an ,bn ]
dxn =
h(D{xn })
an
h(W )
dxn .
h(D{xn })
hxn (D){xn }
Puesto que estamos suponiendo, por hipotesis de induccion, que el teorema se cumple
para (n 1) variables, se tiene:
Z
Z
Z
1 dx1 dxn1 dxn =
1=
h(W )
[an ,bn ]
hxn (D){xn }
113
=
[an ,bn ]
Z
=
[an ,bn ]
dxn =
Z
dxn =
| det h0 |.
[
[
k(W ) = k
D {xn } =
k(D {xn }) = D [a0n , b0n ] .
xn [an ,bn ]
Por lo tanto
xn [an ,bn ]
Z
Z
1=
k(W )
[a0n ,b0n ]
Fijemos ~y = (x1 , . . . , xn1 ) D y sea k~y : [an , bn ] [a0n , b0n ] dada por k~y (xn ) =
gn (h1 (~y , xn )) = gn (h1 (~
x)) con ~x = (~y , x n ).
(g h1 )(~x) = | det k 0 (~x)|. Por lo tanto
Se tiene: |k~y0 (xn )| =
xn
Z
Z Z
Z Z
0
1=
dxn dx1 . . . dxn1 =
|k~y (xn )| dxn dx1 . . . dxn1 =
k(W )
[a0n ,b0n ]
Z
bn
0
| det k (~x)|dxn
=
D
an
[an ,bn ]
| det k (~x)| =
dx1 . . . dxn1 =
D[an .bn ]
| det k 0 |.
Ahora damos un teorema que nos servira para poder quitar hipotesis en el Teorema
de Cambio de Variable.
Teorema 5.3.4 (Sard) Sea A Rn un conjunto abierto y sea g : A Rn una funcion
de clase C 1 . Sea B = {~x A | det g 0 (~x) = 0}. Entonces g(B) es un conjunto de medida
0.
Demostracion. Sea > 0 y consideremos U A un rectangulo cerrado tal que todos
los lados de U tengan cierta longitud `. Puesto que U es un conjunto compacto y Dj gi =
gi
: U R es una funcion continua para toda 1 i, j n, se tiene que Dj gi es
xj
uniformemente continua para toda 1 i, j n, por lo que existe > 0 tal que si ~x, ~y U
d
n`
< .
N
114
Dividimos a U en N n rectangulos cerrados con cada lado de longitud `/N . Sea S uno
de estos rectangulos y sean ~x, ~y S. Entonces
k~x ~y k
n
X
i=1
|xi yi |
n
X
i=1
n
X
i=1
n
X
k~x ~y k = k~x ~y k.
|Dj fi (~c)| |yi xi |
2
n
n
j=1
Se sigue que
kf (~x) f (~y )k
n
X
i=1
n
X
|fi (~x) fi (~y )|
k~x ~y k = k~x ~y k.
n
i=1
As, si ~x, ~y S,
kDg(~x)(~y ~x) (g(~y ) g(~x))k = kf (~y ) f (~x)k k~x ~y k =
" n
#1/2
" n
#1/2
X `2
X
`
=
(xi yi )2
=
n .
2
N
N
i=1
i=1
Ahora si S B 6= , elegimos ~x S B y se tiene que det g 0 (~x) = 0, lo cual significa
que Dg(~x) es singular. Entonces existe un subespacio V de Rn de dimension (n 1) tal
que T = {Dg(~x)(~y ~x) | ~y S} V .
Por lo tanto se tiene que si R
= {g(~y ) g(~x) | ~y S}, entonces dist (R, V ) =
inf{k~r ~v k | ~r R, ~v V } n (`/N ). Se sigue que R + g(~x) = {g(~y ) | ~y S} y
dist (R + g(~x), V + g(~x)) = dist (R, V ) n (`/N ).
Repitiendo lohecho para f con la funcion g, obtenemos M > 0 tal que kg(~y )g(~x)k
M k~x ~y k M n (`/N ) ~x, ~y S.
As, si S B 6= , el conjunto R + g(~x) esta contenido en un cilindro de base
115
( )
2!!n "
N
V+g(x)
n (`/N ), es decir
M n (`/N ).
(N" )
Mn
Bajo una rotacion podemos considerar que la esfera (n1)-dimensional esta contenida
n1
`
n1
en R {0} y tendra volumen menor o igual a 2M n
y por ende, el cilindro
N
tendra volumen menor o igual a
n1
n
n
`
`
`
`
n
n1
n
2 n
=2 M
n
=c
,
2M n
N
N
n
N
donde c = 2n M n1 nn = constante.
n
Se
nsigue que g(U B) esta contenido en un conjunto de volumen menor a N c
`
= c `n ( > 0). Por lo tanto se tiene vol(g(U B)) = 0, es decir g(U B)
N
es de medida 0 y puesto que A se puede cubrir con una cantidad numerable de estos
rectangulos U , se tiene que g(B) esta contenido en una cantidad a lo mas numerable de
conjuntos de medida 0, por lo que g(B) es de medida 0.
Se sigue que:
Z
Z
f=
g(A)
g(A\B)
Z
f+
Z
f=
g(B)
Z
f=
g(A\B)
A\B
(f g)| det g 0 | =
116
Z
(f g)| det g | +
=
A\B
(f g)| det g | =
B
(f g)| det g 0 |.
Ejemplos 5.3.6
(1).- Determinar cual es el volumen del paraleleppedo determinado por los
vectores (1, 1, 1), (2, 3, 1) y (0, 1, 1) en R3 .
Solucion.
z
3
(2,!4,!2)
2
(1,!1,!1)
(3,!4,!2)
(0,!1,!1)
(1,!2,!2)
(2,!3,!1)
0!=!(0,!0,!0)
(3,!5,!3)
5
y
2
3
x
El paraleleppedo buscado P , esta determinado por los puntos:
(0, 0, 0), (1, 1, 1), (2, 3, 1), (0, 1, 1),
(1, 1, 1) + (2, 3, 1) = (3, 4, 2),
(1, 1, 1) + (0, 1, 1) = (1, 2, 2),
(2, 3, 1) + (0, 1, 1) = (2, 4, 2),
(1, 1, 1) + (2, 3, 1) + (0, 1, 1) = (3, 5, 3).
Sea T : R3 R3 la transformacion lineal dada por:
T (1, 0, 0) = (1, 1, 1) ; T (0, 1, 0) = (2, 3, 1) ; T (0, 0, 1) = (0, 1, 1).
Sea U es el paraleleppedo en R3 expandido por los vectores (1, 0, 0), (0, 1, 0)
y (0, 0, 1). Entonces U = [0, 1] [0, 1] [0, 1] y se tiene que P = T (U ). Por lo
tanto
vol(P ) = vol(T (U )) = | det T | vol(U ) = | det T | 1 = | det T |.
117
1 2
1 3
1 1
0
1
1
x2 y 2
(4(x2 + y 2 )) = (f g)(x, y)| det g 0 (x, y)|,
4
es decir
x2 y 2
.
4
u
.
4
Se tiene
Z
Z
0
(f g)| det g | =
[0,1]2
1
4
(x y ) dxdy =
Z Z
f=
g([0,1]2 )
v=!4(u+!1)
u
dudv.
4
v
2
2
v=!4(u+!1)
g([0,!1] !{1})
1
{0
{0}
}
[0,!1]
[0,!1]!{1
}
[0,!1]
[0,!1]!{0
} 1
g({1}
[0,!1])
{1}
[0,!1]
-!1
g({0}
[0,!1])
1
g([0,!1] !{0})
118
Ahora:
g(x, b) = (x2 , 0), 0 x 1 0 x2 1,
por lo que
g([0, 1] {0}) = [0, 1] {0};
g(x, 1) = (x2 1, 2x) = (u, v), 0 x 1 0 2x 2,
de donde
0 v 2 y v 2 = 4x2 , u = x2 1 x2 = u + 1.
Por lo tanto v 2 = 4(u + 1);
g(0, y) = (y 2 , 0), 0 y 1 1 y 2 0.
Entonces
g({0} [0, 1]) = [1, 0] {0},
g(1, y) = (1 y 2 , 2y) = (u, v), 0 y 1 0 2y 2,
por lo tanto
0 v 2 y v 2 = 4y 2 , u = 1 y 2 .
Por lo tanto
y 2 = 1 u v 2 = 4(1 u) = 4(u 1).
Entonces se obtiene que
v2
v2
2
2
T = g [0, 1] = (u, v) R | 0 v 2, 1 u 1
.
4
4
Por lo tanto
Z
0
(x4 y 4 ) dxdy =
1
=
8
Z
0
(
v2
1
4
1 v4
v2
1
4
2
u
dudv =
4
Z
0
u2
8
1 v42
dv =
v2
1
4
2 )
v2
1
dv = 0 .
4
1 1
Sea g(x, y) = (u, v) = (y x, y + x), det g 0 (x, y) =
1 1
= 2.
119
Se tiene
yx
e y+x
=
(2) = (f g)(x, y) | det g 0 (x, y)|.
2
yx
y+x
Por lo tanto
yx
e y+x
(f g)(x, y) = f (y x, y + x) =
.
2
1
Entonces f (u, v) = eu/v . Ademas g : R2 R2 es una funcion inyectiva.
2
Por lo tanto
Z Z
Z Z
Z Z
yx
0
e y+x dxdy =
(f g) | det g | =
f.
S
g(S)
Se tiene que g es la transformacion lineal y g(0, 0) = (0, 0), g(2, 0) = (2, 2),
g(0, 2) = (2, 2). Por lo tanto g(S) = {(u, v) R2 | 0 v 2, v u v}.
v
6
g(2,0)=(2,2)
g-
@
@
@
x+y=2
@
@
S
@
@
Se tiene:
Z Z
e
yx
y+x
5.4
Z
0
dxdy =
1
=
2
g(0,2)=(2,2)
@
@
g(S)
@
v=u
v=u
@ 1
@
@
@
1
1
0=(0,0)=g(0,0)
1 u/v
1
e
dudv =
2
2
[v eu/v ]vv dv =
2 2
1
v
1
e2 1
1
v(e e ) dv = (e e )
= e e1 = e =
.
2
2 0
e
e
1
Como casos particulares al Teorema de Cambio de Variable tenemos las coordenadas polares en R2 y sus generalizaciones en R3 que son las coordenadas esfericas y las coordenadas
cilndricas.
120
h i
arctan y/x 0,
2
h i
arctan y/x
,
2
3
arctan y/x ,
2
3
arctan y/x
, 2
2
si y 0, x > 0,
si y 0, x < 0,
si y 0, x < 0,
si y 0, x > 0.
g-
6
0
6
(x,y)
r
r sen =y
0
r cos
Se tiene:
g1
r
det g 0 (r, ) =
g
2
r
cos r sen
=
g2 sen
r cos
g1
= r cos2 + sen2 = r.
121
Ejemplo 5.4.1 Sea B = {(x, y) R2 | 1 < k(x, y)k < 2}. Calculemos
Z Z
3/2
x2 + y 2
dxdy.
B
Sea A = (1, 2) [0, 2], se tiene que g(A) = B con g(r, ) = (r cos , r sen ) =
(x, y)
y
B
1
3/2
Z Z
f (x, y) = (x2 + y 2 )
Z Z
f (x, y) dxdy =
B
2 Z 2
rr
=
0
drd =
A
2
2
1
1
d = [d]2
0 = .
r 1
2
g es inyectiva sobre
6
Q
Q
z=r cos
Q
(x,y,z)
x = r sen cos
0
x=r sen cos
Q
Q
y = r sen sen
z = r cos
122
Se tiene:
0
det g (r, , ) =
x
r
y
r
z
r
sen cos r sen sen r cos cos
= sen sen r sen cos r cos sen
cos
0
r sen
r sen sen r cos cos
= cos
r sen cos r cos sen
sen cos r sen sen
r sen
sen sen r sen cos
= cos r2 sen cos sen2 r2 sen cos cos2
r2 sen3 cos2 + sen2 =
= r2 sen cos2 sen2 + cos2 r2 sen3 =
= r2 sen cos2 + sen2 = r2 sen .
Por lo tanto | det g 0 (r, , )| = r2 sen .
Dado B R3 , sea A = g 1 (B) (g
Z Z Z
f (x, y, z) dxdydz =
B=g(A)
Z Z Z
=
A
123
1
2
r r sen drdd =
=
0
r5
5
1
sen dd =
0
1
2
4
= (2)[ cos ]0 =
((1) + 1) =
.
5
5
5
(c) Coordenadas Cilndricas.
Sea g : [0, ) [0, 2] R R3 dada por:
g(r, , z) = (r cos , r sen , z) = (x, y, z).
Se tiene que g es inyectiva en (0, ) [0, 2] R y x = r cos ; y = r sen ;
z = z.
z
Se tiene
z=z
x=rcos
r
y=rsen
0
det g (r, , z) =
x
r
y
r
z
r
x
z
y
=
z
z
z
124
cos r sen 0
= sen r cos 0 = r(cos2 + sen2 ) = r.
0
0
1
Para B R3 , sea A = g 1 (B) (g
Z Z Z
Z Z Z
f (r cos , r sen , z) r drddz .
f (x, y, z) dxdydz =
B=g(A)
2 y 2
y sea R = {(x, y, z) R3 | x2 +y 2
Z Z Z
f (x, y, z) dxdydz.
R
Sea A = {(r, , z) | 0 r 1,
0 2, 0 z 1}.
Entonces g(A) = R y por lo tanto:
Z Z Z
0
f (x, y, z) dxdydz =
Z Z Z
zex
2 y 2
dxdydz =
Z Z Z
r2
ze
=
1
A
2
r drddz =
0
0
1
z er r drddz =
0
2
1
1
z e
ddz =
z 1
2 0 0
e
0
0
0
Z 1
2 1
1
1
z
= 1
zdz = 1
=
1
e
e
2 0
2
0
1
=
2
i
2 1
ddz =
1
e
.
5.5 Ejercicios
5.5
125
Ejercicios
(0,1)
1
1
3) Sea An = 1 n , 1 n+1 , n N. Supongamos que f : (0, 1) R satisface
2
2
Z
(1)n1
f=
n
An
y ademas que f (x) = 0 x 6
Z
An . Mostrar que
n=1
Z
lim
0
f = ln 2.
(,1)
[
(1)n
n N y f (x) = 0 x 6
An .
f=
n
n=1
126
n
7) Mostrar que el volumen del paraleleppedo
contenido en
R expandido por los
vectores ~v1 , . . . , ~vn Rn esta dado por det(Aij )1jn
vi , ~vj i,
1in , donde Aij = h~
1 i, j n.
x2 y 2
8) Mostrar que el area de la elipse 2 + 2 = 1 es ab, haciendo un cambio de
a
b
variables adecuado para reducir el problema a encontrar el area de un crculo.
9) Usando coordenadas polares, evaluar las siguientes integrales:
Z
ex
i).-
2 +y 2
ii).D
x2 + y 2 b2 }.
Z
e(x
2 +y 2 +z 2 )3/2
dxdydz =
Z
D
Z
z
12) Evaluar
4(e 1)
, donde D = B(~0, 1) R3 .
3
dxdydz
2 + x2 + y 2 + z 2
p
x2 + y 2 dxdydz, donde D = {(x, y, z) R3 | 1 x2 + y 2
2, 1 z 2}.
1
Z 1y2
13) Calcular
1
1y 2
14) Usando las funciones f, g : R2 R2 , f (x, y) = 1 y g(x, y) = (ex cos y, ex sen y),
probar que la formula del Teorema del Cambio de Variable no necesariamente
se cumple si g no es inyectiva (aunque | det g 0 (x, y)| =
6 0 (x, y) R2 ).
15) Usando coordenadas polares, calcular:
2a
2axx2
(x2 + y 2 ) dydx;
i).0
1
0
x
ii).x2
1x2
f (x, y) dydx;
iii).0
1x
5.5 Ejercicios
Z
127
1
x2
iv).-
f (x, y) dydx.
0
i).-
f (x + y) dxdy =
S
1 u2 f (u a2 + b2 + c) du,
128
Captulo 6
Integrales de Lnea y de Superficie
6.1
Integrales de Lnea
Definici
on 6.1.1 Un camino en A Rn o arco en A, es una funcion : [a, b] A
continua.
A ([a, b]) = se le llama la traza de la curva o camino.
El camino se llama C 1 o continuamente diferenciable o suave si 0 existe y ademas
es continua.
El camino se llama C 1 por tramos o continuamente diferenciable por tramos o
umero finito de subintervalos
suave por tramos si el intervalo [a, b] se puede partir en un n
tal que en cada uno de ellos, es de clase C 1 .
Ejemplo 6.1.2
(t2 )=B
[ | | | | ]
a t1 t2 t3 t4 b
'$
(b)
130
Se tiene que:
Z
hf ((t)), (t)i dt =
a
Z b (X
n
)
fk ((t))
k0 (t)
n Z
X
dt =
k=1
k=1
donde
f = (f1 , . . . , fn ), = (1 , . . . , n ) y fi : A R, 1 i n, j : [a, b] R, 1 j n.
Notaci
on 6.1.4 Si (a) = ~a, (b) = ~b, la integral de lnea tiene las siguientes notaciones:
Z b
Z
Z
0
hf ((t)), (t)i dt =
f=
f1 dx1 + f2 dx2 + . . . + fn dxn =
a
~b
f d =
f1 d1 + f2 d2 + . . . + fn dn =
a
f.
~a
6
(0,1)
(1,1)
0=(0,0)
-x
%
(1,0)
Se tiene:
Z
hf ((t)), (t)i dt =
f=
3/2
1
t
t4 t2
2 1 1
17
3
=
( t + t + t) dt =
+ +
= + + =
.
3/2
4
2 0 3 4 2
12
0
Z
Z 1
Z 1
0
f=
hf ((t)), (t)i dt =
h(t3/2 , t6 + t3 ), (2t, 3t2 )i dt =
Z
1
2t7/2 3t9 3t6
4 1 1
59
=
(2t + 3t + 3t ) dt =
+
+
= + + =
.
7/2
9
6 0 7 3 2
42
0
Z
Z
Entonces
f 6=
f aunque y conectan los puntos (0, 0) y (1, 1), es decir la
Z
5/2
131
Ahora sea : [0, 1] R2 dado por (t) = (t, t3/2 ). Entonces conecta (0, 0) con (1, 1)
pues (0) = (0, 0) y (1) = (1, 1). Ademas conecta (0, 0) con (1, 1) por la misma traza
de , es decir, = , y se tiene:
Z
Z 1
Z 1
3
0
f=
hf ((t)), (t)i dt =
h(t3/4 , t3 + t3/2 ), (1, t1/2 )i dt =
2
0
0
1
3/4
(t
0
7/4
1
3 7/2 3 2
t
3 t9/2 3 t3
4 1 1
59
.
+ t + t ) dt =
+
+
= + + =
42
2
2
7/4 2 9/2 2 3 0 7 3 2
Por lo tanto
Z
f=
6.1.1
f.
Interpretaci
on Geom
etrica de la Integral de Lnea
(ti )
'
%
(ti1 )
'
(x0 )
ti1
x0
ti
- x
x0 [ti1 , ti ]
Por lo tanto el trabajo realizado por la fuerza f a lo largo de la curva sera:
!
m
n
X
X
W = lim
fj ((x0 )) (j (ti ) j (ti1 )) =
m
= lim
i=1
j=1
n
m
X
X
j=1
i=1
!
fj ((x0 )) j0 (xji ) (ti ti1 )
132
n
X
(
lim
j=1
m
X
fj ((x0 ))
(ti ti1 )
i=1
n Z
X
j=1
)
j0 (xji )
fj ((t))
j0 (t)
Z
dt =
f.
Por lo tanto
Z
f se interpreta como el trabajo realizado por la fuerza f a lo largo de la curva .
6.1.2
Proposici
on 6.1.6 Sean f, g : A Rn Rn funciones integrables, esto es, cada componente fi , gj de f y g respectivamente, son funciones integrables. Sea : [a, b] A un
camino C 1 por tramos. Entonces
Z
Z
Z
(a f + b g) = a
f +b
g, con a, b R.
Demostracion.
Ejercicio.
Proposici
on 6.1.7 Sea f : A Rn Rn una funci
on integrable y sean : [a, b] A,
1
: [b.c] A dos caminos C por tramos y sea : [a, c] A dada por
(t) si a t b
(t) =
con (b) = (b).
(t) si b t c
Entonces a la denotamos por = y se tiene que
Z
Z
Z
Z
= y
f=
f=
f+
f.
Demostracion.
Ejercicio.
Definici
on 6.1.8 Sean : [a, b] A Rn , : [c, d] A Rn dos curvas C 1 por
tramos. Se dice que y son equivalentes, y se denota por , si existe u : [a, b] [c, d]
suprayectiva y derivable tal que u0 (t) 6= 0 t [a, b] y u = .
Observaciones 6.1.9
(1).- Puesto que la derivada de una funcion derivable en R tiene la propiedad
del valor intermedio, se tiene que u0 (t) > 0 t [a, b] o u0 (t) < 0 t [a, b].
133
C
CC
u0 (t) > 0
c
0
@
- x
r (b) = (d)
'
u0 (t) < 0
- x
r (b) = (c)
'
%
'
%
'
r (a) = (c)
r (a) = (d)
Proposici
on 6.1.10 La relacion es una relaci
on de equivalencia.
Demostracion.
Ejercicio.
Ejemplos 6.1.11
(1).- Sean : [0, 1] R2 , : [0, 2] R2 dadas por:
(t) = (cos 2t, sen 2t), 0 t 1 y (t) = (cos t, sen t), 0 t 2.
Sea u : [0, 1] [0, 2] dada por u(t) = 2t. Se tiene que u es suprayectiva,
derivable y u0 (t) = 2 > 0 t [0, 1] y = u. Por lo tanto y son
equivalentes y tienen la misma direccion.
134
y
6
6
'$
u(t)
:
- x
&%
y
6
@
@
@
@
u(t) = a + b t, u es suprayectiva,
u(t) @
y
@
- x
'
%
r (a) = (b)
Z
f=
f.
Z
f =
f.
135
d
0
u(d)
g(u(t)) u (t) dt =
=
c
u(d)
g(t) dt =
u(c)
hf ((t)), 0 (t)i dt = I,
u(c)
u(c)
A continuacion damos los Teoremas Fundamentales del Calculo (TFC) para integrales
de Lnea.
Teorema 6.1.13 (2do. TFC para Integrales de Lnea) Sea : A Rn R de
clase C 1 , = D : A L(Rn , R)
,
, ,
y
= Rn , donde =
x1 x2
xn
L(Rn , R) = {T : Rn R | T es lineal}.
Supongamos que A es un conjunto abierto y conexo y consideremos ~a, ~b A y
: [a, b] A cualquier camino C 1 por tramos que conecta ~a con ~b (es decir, (a) = ~a,
(b) = ~b). Tal camino siempre existe por ser A arco conexo. Entonces:
Z
Z
=
d = (~b) (~a) = ((b)) ((a)).
136
por lo tanto
Z
h((t)), (t)i dt =
a
(~x) =
f=
~
x
f d~x .
f=
~x
~a
~a
Entonces : A Rn R es derivable y
(~x) = D(~x) = f (~x) ~x A.
Demostracion.
Probaremos que
'$
x
r~
@
r@
R
&%
~x +
y
s h~
~x
%
'
~x+h~y
-
&
s
s~
a
~x
%
~a
~a
~
x
~
x+h~
y
~
x
f.
137
~
x+h~
y
f=
f=
~
x
de donde obtenemos
Z
(~x + h~y ) (~x)
1 1
=
hf (~x + th~y ), h~y i dt =
h
h 0
Z 1
Z 1
h~y
=
hf (~x + th~y ), i dt =
hf (~x + th~y ), ~y i dt.
h
0
0
Tomamos ~y = ~ek , 1 k n. Entonces:
hf (~x + th~y ), ~y i = hf (~x + th~ek ), ~ek i = fk (~x + th~ek ),
por lo que
(~x + h~ek ) (~x)
=
h
Z
0
1
fk (~x + thek ) dt =
h
= lim
= D~ek ((~x)) =
(~x).
h0
h0
h
h
xk
138
Demostracion.
~
x
Z
i) ii).
Sea (~x) =
ente del camino. Entonces, por el 1er. TFC, se tiene (~x) = f (~x).
Si : [a, b] A es un camino cerrado, esto es, (a) = (b), entonces
ii) iii).
Z
Z
f=
= ((b)) ((a)) = 0.
iii) i).
Sean : [a, b] A, : [c, d] A dos caminos C 1 por tramos tales que
(a) = (c) y (b) = (d).
= (d)
r (b)
'
$
6
%
'
r
(a) = (c)
Z
0=
Z
por lo tanto
6.2
f.
Z
f
f=
Z
f=
f+
f=
Z
f
f=
f,
Teorema de Green
139
'$
U , V conexos
U acotada
%
'
V no acotada
U V = R2 \ .
Definici
on 6.2.3 Si : [a, b] R2 es una curva simple de Jordan, a U , la componente
acotada, se le llama el interior de la curva y a V , la componente no acotada, se le llama
el exterior de la curva .
Dado ahora un vector (a, b) R2 , (a, b) 6= ~0, veamos que vector forma un angulo de
+/2 con el vector (a, b).
(a, b)
(c, d)
I
@
(a, b)
?
@ + 2
@
@
?
@ 2
@
@
R (c, d)
@
Sea (c, d) R2 , (c, d) 6= ~0 un vector que forme un angulo de +/2 con el vector (a, b).
Entonces, se tiene que h(a, b), (c, d)i = ac + bd = 0.
Si consideramos T : R2 R2 la transformacion lineal que rota al plano un angulo
de
+/2, entonces T , con respecto a la base canonica, tiene representacion matricial
0 1
y por lo tanto podemos poner:
1 0
T ((a, b)) = (b, a) = (c, d),
es decir, c = b, d = a.
Ahora consideremos : [a, b] R2 una curva simple de Jordan de clase C 1 . Entonces
0 (t) = (01 (t), 02 (t)) es el vector tangente
a la curva en el punto (t) en la
direccion de la curva.
'$
(t)
s
' %
0
Para ver esto supongamos que en una vecindad de t, es grafica de cierta funcion
derivable f : (c, d) R, es decir, exise > 0 tal que ((t , t + ) [a, b]) = f =
{(x, y) | y = f (x), x (c, d)}.
140
y
(1, f 0 (t))
3
%
- x
Por lo tanto
0 (t) = (01 (t), f 0 (1 (t)) 01 (t)) = 01 (t)(1, f 0 (1 (t))) = 01 (t)(1, f 0 (x)).
Por lo tanto si 01 (t) > 0 (es decir, x crece cuando t crece), 0 (t) es el vector tangente
a en (t) con la misma direccion de la curva pues x y t van en la misma direccion y
si 01 (t) < 0 (es decir, x decrece cuando t crece), 0 (t) va en direccion contraria al vector
(1, f 0 (x)), pero en este caso x y t van en direccion contraria, por lo que y f van en
direccion contraria y por lo tanto 0 (t) va en la direccion de la curva.
Definici
on 6.2.4 Sea : [a, b] R una curva C 1 por tramos, simple de Jordan. Entonces se llama curva regular si cada lnea paralela al eje x y cada lnea paralela al
eje y, con excepcion de los extremos, cortan a la curva en cuando mas 2 puntos. Mas
precisamente, si = (1 , 2 ), 1 ([a, b]) = [c, d], ([a, b]) = [e, f ], entonces los conjuntos:
y
f
e
0
Definici
on 6.2.5 Una region acotada R R2 se llama regular si su frontera R es la
traza de una curva regular : [a, b] R2 , = R.
Sea R R2 una region regular con frontera R = . Entonces se dice que tiene
sentido positivo si para toda t donde es derivable, el vector que forma un angulo de +/2
con el vector 0 (t) esta dirigido al interior de la region. Se dice que tiene sentido negativo
si el vector que forma un angulo de +/2 con 0 (t) esta dirigido al exterior de la region.
141
Sea R una region donde R es una union finita de trazas de curvas. R se dice
orientada positivamente si cada curva de la frontera esta en sentido positivo y R se dice
orientada negativamente si cada curva de la frontera esta en sentido negativo.
R
R
R
R
R
Orientacion positiva
R
R
R
Orientacion negativa
R
R
R
dxdy =
P dx + Q dy =
P dx + Q dy .
x
y
R
C
R
Demostracion.
142
1o.) Primero veamos que la formula de Green es equivalente a las 2 igualdades siguientes:
Z Z
Z
Z Z
Z
Q
P
dxdy =
Q dy y
dxdy =
P dx.
R x
C
R y
C
En efecto si se cumplen las igualdades anteriores, sumando obtenemos la formula
de Green.
Recprocamente, si se cumple la formula de Green, la primera igualdad se obtiene
con P = 0 y la segunda con Q = 0.
2o.) Si hemos demostrado la formula de Green para una region regular, entonces si
R = D1 D2 Dk con cada Di una region regular y si Ci es la curva Di
orientada en sentido positivo (1 i k), para cada region se tiene:
C
C
Z Z
Di
Q P
x
y
Z
dxdy =
P dx + Q dy . . . ()
Ci
Ahora C
k
[
i=1
Z Z
R
Q P
x
y
=
k Z
X
i=1
dxdy =
k Z Z
X
Di
i=1
Q P
x
y
dxdy =
Z
P dx + Q dy =
Ci
P dx + Q dy.
C
3o.) Por los pasos anteriores, podemos suponer que R es una region regular y demostraremos:
Z Z
Z
Z Z
Z
Q
P
dxdy =
Q dy y
dxdy =
P dx.
x
y
R
C
R
C
Por ser R una region regular, se puede poner
R = {(x, y) R2 | x [c, d], f (x) y g(x)} =
= {(x, y) R2 | y [e, f ], h(y) x `(y)},
con f , g, h y ` funciones de clase C 1 .
143
y
6
%
%
g ?
.
6R
%
? R
-
0 c
P
dxdy =
y
(Z
g(x)
f (x)
P
dy
y
)
dx =
%
- x
P (x, f (x)) dx
Ahora ponemos C = ,
= g , = f .
P dx =
P dx +
P dx +
P dx +
P dx +
Z
=
Z
P dx
P dx =
P dx =
P dx.
Se tiene que : [c, d] R2 esta dado por (x) = (x, f (x)), 0 (x) = (1, f 0 (x)) y
: [c, d] R2 esta dada por (x) = (x, g(x)), 0 (x) = (1, g 0 (x)), de donde se sigue que:
Z
Z d
Z d
Z d
0
0
P dx =
P (C(x)) C1 (x) dx =
P ((x)) 1 (x) dx
P ((x)) 10 (x) dx =
C
Z
P (x, f (x)) dx
=
c
6
f
e
0
R
-
R
.
- x
144
Z
Por lo tanto
Q dy =
Q dy
y
Z Z
R
Q
dxdy =
x
(Z
f (y)
h(y)
Q(`(y), y) dy
Q(h(y), y) dy
e
Q
dx
x
Z
Q(`(y), y) dy
dy =
e
Q(h(y), y) dy.
Ejemplos 6.2.7
(1).- Sea R la region acotada por las curvas Zy = x y y 3 = x2 . Sea C la frontera
(x2 y dx + y 3 dy).
(1,1)
6
'
R
C
1
Q P
x y dx + y dy =
P dx + Q dy =
dxdy =
x
y
C
C
R
Z Z 3
Z 1 Z x2/3
Z 1
2/3
y
(x2 y)
2
=
dxdy =
x dydx =
x2 [y]xx dx =
x
y
R
0
x
0
1
Z 1
4
3 11/3 x
3
1
1
8/3
3
=
x x dx =
x
= .
11
4 0
11 4
44
0
Z
Z Z
0
1
R 6
- x
&%
Area
de R = ab = 2
(a = 1, b = 2).
El trabajo es:
Z
W =
145
Z
f=
P dx + Q dy =
Z Z
Z Z
(1 1) dxdy = 2
Z Z
Q P
x
y
dxdy =
dxdy = 2 (area de R) = 4 .
R
= 1 se tendra que:
x
y
Z
Z Z
Area
R = vol(R) =
1=
dxdy =
R
Z Z
=
R
Q P
x
y
I
dxdy =
P dx + Q dy.
R=C
Q(x, y) = x
(b)
Q(x, y) = 0 ,
P (x, y) = y.
1
1
P (x, y) = y.
Q(x, y) = x ,
2
2
(a)
P (x, y) = 0.
Entonces:
Area
R=
Z Z
Z
dxdy =
R
1
y dx =
2
x dy =
C
Z
(y dx + x dy) .
C
Area
R=
1
2
det
1
(y dx + x dy) =
2
1 (t) 2 (t)
10 (t) 20 (t)
(2 10 + 1 20 ) dt =
dt = 1
2
Z
a
1 (t) 2 (t)
0
1 (t) 20 (t)
dt.
146
6.3
Integrales de Superficie
g(T)=S
g =(g1,g
,g)
2 3
0
u
x
Ejemplos 6.3.2
(1).- Si S R3 es una superficie determinada por la ecuacion z = f (x, y), es
decir, S = {(x, y, z) R3 | z = f (x, y)}. Entonces una parametrizacion de
S es g(u, v) = (u, v, f (u, v)) = (x, y, z) o, por abuso de la notacion, podemos
poner g(x, y) = (x, y, f (x, y)).
147
x = a sen v cos u
v
0
(0,!a,!0)
y = a sen v sen u
y
z = a cos v
u
(a,!0,!0)
x
6
g
(2, )
T = [0, 2] [0, ]
- u
Una u
ltima forma de describir S es:
S = {(x, y, z) R3 | x2 + y 2 + z 2 = a2 }.
(3).-
148
z
r
Parametrizacion de un
h
v
z
altura h y radio de la
base r, y vertice en el
x=!vcos!!cos!u
y=!vcos!!sen!u
x=!vsen!
origen:
Sea el angulo que forma el lado recto del cono con el plano xy y R el lado
recto del cono. Se tiene
tan =
h
h
r
, sen = , cos = .
r
R
R
r2 2
z
h2
6.3.1
Interpretaci
on Geom
etrica de
g g
u v
149
=
u v u
g
1
v
k
g3
u =
g3
v
g2
u
g2
v
=
g2
u
g2
v
g
g
y
, valuadas en (u0 , v0 ), son
u
v
g3
u
+
g
g3
3
v
v
g3
u
g1
u
+k
g
g1
1
v
v
g1
u
=
g2
v
g2
u
~.
=N
g
Ahora, al considerar
(u0 , v0 ), obtenemos el vector tangente a la curva g(u, v0 ) y al
u
g
(u0 , v0 ), obtenemos el vector tangente a la curva g(u0 , v).
considerar
v
z
g(u,!v)
u 0 0
v
g
v
(u,!v)
0
0
0
g(u
g(u,!v)
0
g(u,!v)
0
0
g(u,!v)
0
T
u
0
v )
S
g
(u,!v)
v 0 0
g
Al variar u en T en la direccion u, entonces se vara aproximadamente
u
u
g
g
en la direccion
en g(T ) = S puesto que
(u0 , v0 ) es la velocidad de variacion en
u
u
la direccion de la curva g(u, v0 ).
150
g
Al variar v en T en la direccion v, se vara aproximadamente
v
v en la direccion
g
g
en g(T ) = S, puesto que
(u0 , v0 ) es la velocidad de variacion en la direccion de
v
v
la curva g(u0 , v).
Entonces la imagen del rectangulo uv en T bajo la funcion g es aproximadamente
g
g
(u0 , v0 ) u y
(u0 , v0 ) v y
el paralelogramo en S determinado por los vectores
u
v
cuya area es:
g
g
g
g
u
v sen
u, v
=
u
v
u
v
g
g g
g
=
u u v v
=
u v
u v.
g g
Definici
on 6.3.3 Sea S R3 y sea g : T R2 S R3 una parametrizacion de la
superficie S de clase C 1 . Entonces se define el area de S por:
Area
S = a(S) =
Z Z
T
g g
u v
dudv .
~
N
~ = g g 6= ~0, se le llama
, en el caso en que N
~k
u
v
kN
vector normal a S y ~n depende de u y de v.
Es importante notar que si cambiamos la parametrizacion, el vector normal que obtengamos puede ser ~n o ~n. Por ejemplo si : R2 R2 es la rotacion de +/2 y
1
T1 = (T ), entonces
h : T1 S dada por g = h, y por lo tanto g = h , cumple
h h
g g
que
Ejemplos 6.3.4
151
=
u = u v + k = u , v , 1
u v
f
0 1
v
y por lo tanto
s
Z Z
a(S) = area S =
1+
T
Z Z
=
f
u
1+
2
f
x
+
2
f
v
+
2
f
y
dudv =
2
dxdy.
Ahora si tenemos
"
f(x,!y)
~
~ = g g y ~n = N
N
~k
u v
kN
y es el angulo que
forman los vectores ~n y ~k,
0
T
(x,!y)
x
cos =
~ ~k
~n ~k
~n ~k
N
=
=
=
~k
k~nk
kN
k~nk k~kk
f
f
, , 1 (0, 0, 1)
u v
=
~k
kN
152
1
1
=
~
f
f
kN k
u v
y por lo tanto
Z Z
a(S) =
T
Z Z
f
f
x y
dxdy =
1
dxdy =
cos
Z Z
sec dxdy .
T
z
f(a)
S
L
"
f(u)
u
L!=! f
(x,!y,!z)
f(b)
y
0
a
b
x
0
x!=!ucos!v
y!=!usen!v
z!=!f(u)
k
g g
=
cos v
sen v f 0 (u)
u v
u sen v u cos v
0
153
u v
Se sigue que
Z Z
a(S) =
1 + (f 0 (u))2 dudv =
[a,b][0,2]
Z
=
0
p
u 1 + (f 0 (u))2 du
Z
dv = 2
p
1 + (f 0 (u))2 du,
por lo que
b
Z
a(S) = 2
1 + (f 0 (u))2 du,
o lo que es lo mismo
b
Z
a(S) = 2
1 + (f 0 (x))2 dx .
Z Z
f dS =
S
g g
f (g(u, v))
u v
dudv
Z Z
f dS =
(1).- Si f = 1,
S
g g
u v
dudv = a(S) = area S.
1 + z + 3(x2 + y 2 ) so-
154
La superficie esta parametrizada por:
z!=! x+!y
2
2
T!=!{(x,!y)!|!x+!y!5}!!!
f (x, y, z) =
1 + x + 3(x2 + y 2 ),
por lo tanto
(f g)(u, v) = f (u, v, u2 + v 2 ) =
1 + 4(u2 + v 2 )
y
s
2 2
g g
f
f
=
u v
= 1 + u + v
p
p
= 1 + (2u)2 + (2v)2 = 1 + 4(u2 + v 2 ).
Por lo tanto
Z Z
Z Z
f dS =
p
p
( 1 + 4(u2 + v 2 )) ( 1 + 4(u2 + v 2 )) dudv =
u2 +v 2 5
Z Z
(1 + 4(u2 + v 2 )) dudv.
=
u2 +v 2 5
f dS =
S
(1 + 4r2 ) r drd = 2
r
+ r4
2
5
=
0
5
= 2
+ 25 = [5 + 50] = 55 .
2
Teorema 6.3.7 La integral de superficie es invariante bajo cambio de parametrizacion,
es decir, sean S R3 una superficie, f : S R una funci
on acotada y sean g : T R2
S R3 y h : U R2 S R3 dos parametrizaciones de clase C 1 de S tales que existe
: T U funcion biyectiva y de clase C 1 tal que h = g. Entonces
Z Z
Z Z
Z Z
g g
h h
f (g(u, v))
dudv =
f (h(s, t))
dsdt =
f dS.
u v
s
t
T
U
S
Demostracion.
tanto
g g
=
u v
155
Se tiene: g(u, v) = h((u, v)) = h(1 (u, v), 2 (u, v)) = h(s, t). Por lo
h 1 h 2
g
u
s u
t u
g
h 1 h 2
v
s v
t v
h h
s
t
1 2 2 1
h h
(1 , 2 )
,
u v
u v
s
t
(u, v)
por lo tanto
g g
(1 , 2 )
h h
u v
= (u, v)
s t
.
(1 , 2 )
0
. Aplicando el Teorema de Cambio
Ademas se tiene (T ) = U y | det | =
(u, v)
de Variable, tendremos:
Z Z
Z Z
h h
h h
=
f (h(s, t))
(f h)
dsdt =
s
t
s
t
U =(T )
(T )
h h
0
=
(f h )
| det | =
s
t
T
Z Z
(1 , 2 )
h
h
=
=
(f g)
s
t
(u,
v)
T
Z Z
Z Z
g g
g g
=
(f g)
f (g(u, v))
u v
=
u v
dudv.
T
T
Z Z
Z Z
~
F dS,
F ~n dS =
S
donde ~n =
~
N
~ = g g 6= ~0.
con N
~k
u v
kN
156
g g
F (g(u, v)) ~n(u, v)
u v
dudv =
Z Z
F ~n dS =
S
Z Z
F (g(u, v))
=
T
g g
u v
Z Z
hF (g(u, v)),
dudv =
T
g g
i dudv.
u v
Si F (x, y, z) = (P (x, y, z), Q(x, y, z), R(x, y, z)) y g(u, v) = (g1 (u, v), g2 (u, v), g3 (u, v))
y
g g
=
u v
,
entonces se tiene:
Z Z
Z Z
F ~n dS =
P (g(u, v))
Z Z
+
T
(g3 , g1 )
dudv +
Q(g(u, v))
(u, v)
Notaci
on 6.3.9
Z Z
Z Z
(g2 , g3 )
dudv =
P (g(u, v))
(u, v)
T
Z Z
Z Z
(g3 , g1 )
Q(g(u, v))
dudv =
(u, v)
T
Z Z
Z Z
(g1 , g2 )
R(g(u, v))
dudv =
(u, v)
T
(g2 , g3 )
dudv+
(u, v)
Z Z
R(g(u, v))
T
(g1 , g2 )
dudv.
(u, v)
Z Z
P (x, y, z) dy dz =
P dy dz,
Z Z
Q(x, y, z) dz dx =
Q dz dx,
Z Z
R(x, y, z) dx dy =
S
R dx dy.
S
Observaci
on 6.3.10 La razon de prefijar la parametrizacion de g, es que si tomamos otra
parametrizaci
on podemos obtener
Z Z
Z Z el vector ~n en lugar de ~n y en este caso obtendremos
F ~n dS en lugar de
F ~n dS.
S
157
z
6
Sea S la superficie en R3
(0, 0, 1)
@
@
@
x + y + z = 1 en el primer
@
@
@ (0, 1, 0)
@
~ = (1, 1, 1)
N
- y
octante, parametrizada
T
@
I
x+y =1
por g : T S.
(1, 0, 0)
= , , 1 = (1, 1, 1).
u v
u v
Entonces
Z Z
Z Z
F ~n dS =
S
=
=
1u
2
1uv
Z
) dvdu =
1u
u (1 u) cos(1 u) + 1 1 + e
(u + sen v + e
0
hF (g(u, v)),
g g
i dudv =
u v
2
1u
u v cos v e1uv 0 du =
u3 u 4
du =
+ sen(1 u) e1u
3
4
1
=
0
1 1
1 1
11
+ sen 0 e0 0 + 0 sen 1 + e1 = 1 sen 1 + e = e sen 1
.
3 4
3 4
12
6.4
dxdy =
P dx + Q dy
x
x
S
S
para superficies en R3 .
158
Definici
on 6.4.1 Sea A R3 y F : A R3 una funcion de clase C 1 con A un conjunto
abierto. Se define el rotacional de F por:
rot F = F =
=
x y z
F1 F2 F3
F3 F2
F1 F3
F2 F1
=
k=
y
z
z
x
x
y
F3 F2 F1 F3 F2 F1
=
.
y
z z
x x
y
Tambien definimos la divergencia de F por:
F1 F2 F3
div F = F =
, ,
(F1 , F2 , F3 ) =
+
+
.
x y z
x
y
z
Observaci
on 6.4.2 Sea S R3 y sea g : T R2 S R3 una parametrizacion de clase
C 1 de S fijada de antemano. Sea F : S R3 una funcion de clase C 1 con F = (P, Q, R).
Entonces la integral de superficie del rotacional de F con respecto a la parametrizacion g
es:
Z Z
Z Z
~=
rot F dS
(rot F ~n) dS =
S
Z Z
R Q
(g2 , g3 )
g(u, v)
dudv+
y
z
(u, v)
T
Z Z
P
R
(g3 , g1 )
+
g(u, v)
dudv+
z
x
(u, v)
T
Z Z
Q P
(g1 , g2 )
+
g(u, v)
dudv =
x
y
(u, v)
T
R Q
P
R
Q P
dy dz +
dz dx +
dx dy,
y
z
z
x
x
y
=
Z Z
=
S
por lo tanto
Z Z
~=
rot F dS
S
Z Z
=
S
R Q
y
z
dy dz +
P
R
z
x
dz dx +
Q P
x
y
dx dy.
159
o en smbolos:
Z Z
R Q
P
R
Q P
dy dz +
dz dx +
dx dy =
y
z
z
x
x
y
S
Z
=
P dx + Q dy + R dz.
C
Demostracion.
n
v
S=g(T)
0
u
x
C=!g( )
y
160
Z Z
Probaremos :
P dx =
C
Z Z
Q dy =
Z Z
R dz =
P
P
dx dy +
dz dx ,
y
z
Q
Q
dy dz +
dx dy ,
z
x
R
R
dz dx +
dy dz .
x
y
dx dy +
dz dx =
y
z
S
Z Z
P
(g1 , g2 )
P
(g3 , g1 )
=
g
+
g
dudv.
y
(u, v)
z
(u, v)
T
Ahora:
g1
(P g)
v
g1
(P g)
u
=
g1
2 g1
g1
2 g1
(P g)
+ (P g)
(P g)
(P g)
.
u
v
uv v
u
vu
g1
(P g)
v
=
g1
(P g)
u
2 g1
2 g1
=
, de donde :
uv
vu
=
g1
g1
(P g)
(P g)
=
u
v
v
u
P g1 g1 P g2 g1 P g3 g1
x u v
y u v
z u v
x
P g1
=
y u
g1 g1 P g2 g1 P
v u
y v u
z
g2 g1 g2
P g3
v
v u
z u
=
g3 g1
=
v u
g1 g3 g1
v
v u
P (g1 , g2 ) P (g3 , g1 )
,
y (u, v)
z (u, v)
por lo tanto:
Z Z
T
P (g1 , g2 ) P (g3 , g1 )
y (u, v)
z (u, v)
dudv =
=
Z Z
=
T
161
g1
(P g)
v
g1
(P g)
u
dudv.
g1
(P g)
(P g)
dudv =
u
v
v
u
T
Z
(P g)
g1
g1
du + (P g)
dv.
u
v
P (g((t))) (g
P dx =
C
)01 (t)
Z
dt =
Z
=
P (g((t)))
g1 0
g1 0
(t) +
(t) dt.
u 1
v 2
P
P
dx dy +
dz dx =
y
z
=
a
Z
(P g)
g1
g1
du + (P g)
dv =
u
v
Z
g1 0
g1 0
P (g((t)))
(t) + P (g((t)))
(t) dt =
P dx.
u 1
v 2
C
Por lo tanto
Z Z
S
P
P
dx dy +
dz dx
y
z
Z
=
P dx.
162
z
S = {(x, y, z) | 2x + y + 2z = 8, x 0, y 0, z 0}
H(0, 0, 4)
HH
H
2 1 2
H
HH ~
n=
, ,
3 3 3
H
YH
3 HH
1
HH
H (0, 8, 0)
3
H
- y
0
1
T
:
2 = 2
I
@
@
(4, 0, 0)
@
y
(0, 8) 6
A
A
A
3 ? A 2x + y = 8
T AA 2
0
K
A
- A
1 (4, 0)
-x
T = {(x, y) | x 0, y 0, 2x + y 8}
x
3
Se tiene: S = {(x,
+ y + 2z = 8, x 0, y 0, z 0} y g : T R2
y, z) R | 2x
8 2x y
8 2x y
S R3 , g(x, y) = x, y,
, es decir, si z = f (x, y) =
, entonces
2
2
g(x, y) = (x, y, f (x, y)) con T = {(x, y) | x 0, y 0, 2x + y 8}.
Ademas = 1 2 3 , donde 1 , 2 , 3 : [0, 1] R2 estan dadas por 1 (t) = (4t, 0),
2 (t) = (4 4t, 8t), 3 (t) = (0, 8 8t).
Si C = g() esta con la orientacion inducida, entonces C = 1 2 3 , con 1 = g 1 ,
2 = g 2 , 3 = g 3 , es decir:
1 (t) = (4t, 0, 4 4t), 2 (t) = (4 4t, 8t, 0), 3 (t) = (0, 8 8t, 4t).
Por u
ltimo,
rot F =
= (x2 , x 2xy, 0)
x y z
xz y x2 y
y
g g
=
x y
Por lo tanto
Z Z
Z Z
~
rot F dS =
f
f
1
3
, , 1 = 1, , 1 ( = ~n).
x y
2
2
Z 4 Z 82x
g g
x
hrot F,
i dxdy =
x2 + xy dydx =
x y
2
S
T
0
0
82x
Z 4
Z 4
xy xy 2
2
=
x y+
dx =
(8x2 2x3 + 4x x2 32x + 16x2 2x3 ) dx =
2
2 0
0
0
163
4
1472
32
23x3
2
4
= 256 +
= x +
14x
224 =
.
3
3
3
0
Por otro lado
Z
F =
Z
F+
Z
F+
F =
F1 dx + F2 dy + F3 dz +
F1 dx + F2 dy + F3 dz +
2
1
hF (1 (t)), 10 (t)i
hF (2 (t)), 20 (t)i
dt +
Z
dt +
hF (3 (t)), 30 (t)i dt =
F1 dx + F2 dy + F3 dz =
3
+
0
Z
=
h(16t 16t, 0, 0), (4, 0, 4)i + h(0, 8t, 128t 256t2 + 128t3 ), (4, 8, 0)i+
Z
=
0
~=
(rot F ) dS
S
Z
F =
C
32
.
3
Observaci
on 6.4.5 Si R es una region en R2 y si f = (P, Q) : R2 R2 es una funcion
1
de clase C , se puede considerar la superficie S = R {0} R3 con la parametrizacion
g : R S dada por g(x, y) = (x, y, 0). En este caso tenemos
g g
= (0, 0, 1).
x y
Si es la frontera de R orientada positivamente, g() = {0} = C. Sea F : R3 R3
dada por:
F (x, y, z) = (P (x, y), Q(x, y), 0).
q
P
Entonces se tiene rot F = 0, 0,
.
x
y
164
Ademas
Z Z
~=
rot F dS
Z
R
Q P
x
y
dxdy.
F =
C
Z Z
g g
hrot F,
i dxdy =
x y
F =
f.
{0}
~=
rot F dS
S
Z
F,
C
es decir se tiene
Z
R
Q P
x
y
Z
dxdy =
Z
f=
P dx + Q dy
165
n1
g(T)!=!S=!
2
f
g(T)
S3
n3
f(T)
f(T)!=!S=!
1
n2
T
x
= T
Z Z
~=
F dS
Z Z
~=
F dS
Z Z
Z Z
~1 +
F dS
Z Z
S1
S2
Z Z
S1
Z Z
~3 =
F dS
S3
Z Z
F ~n1 dS1 +
~2 +
F dS
F ~n2 dS2 +
S2
F ~n3 dS3 ,
S3
166
donde S = V es una superficie y F : V R3 es de clase C 1 en un conjunto abierto que
contiene a V . En terminos de sus componentes, si
F (x, y, z) = (P (x, y, z), Q(x, y, z), R(x, y, z)) y ~n = (cos , cos , cos ) :
Z Z Z
V
Demostracion.
Q R
P
+
+
x
y
z
Z Z
(P cos + Q cos + R cos ) dS .
dxdydz =
S
Z Z
P
dxdydz =
x
Z Z
Q
dxdydz =
y
Z Z
R
dxdydz =
z
Z Z Z
Z Z Z
P cos dS,
S
Q cos dS,
S
R cos dS.
S
R
dxdydz =
z
Z Z
R cos dS,
S
167
n2
g(T)!=!S=!
2
f
z
g(T)
n3
S3
f(T)
f(T)!=!S=!
1
f
n1
T
x
Ahora
= T
)
Z Z (Z g(x,y)
R
R
dxdydz =
dz dxdy =
z
V z
T
f (x,y)
Z Z
=
{R(x, y, g(x, y)) R(x, y, f (x, y))} dxdy.
Z Z Z
Z Z
Z Z
R cos 1 dS +
S1
R cos 2 dS +
S2
R cos 3 dS.
S3
Sobre S3 , ~n3 es paralela al plano xy, por lo que cos 3 = cos = 0 puesto que 3 es el
2
angulo que forma el vector ~n3 con el eje z.
Ahora, se tiene que para la superficie S1 = {(x, y, f (x, y)) | (x, y) T } = f (T ), donde
f (x, y) = (x, y, f (x, y)) y para la superficie S2 = {(x, y, g(x, y)) | (x, y) T } = g(T ),
donde g(x, y) = (x, y, g(x, y)), los siguientes vectores normales:
f
f
x y
~n1 =
f
f
x y
168
x y
~n2 =
g g
.
x y
De aqu se sigue que
f
f
1
1
cos 1 = ~n1 k =
h , , 1 , (0, 0, 1)i =
,
f
f
x y
f
f
x y
x y
1
1
g g
.
cos 2 = ~n2 k =
h , , 1 , (0, 0, 1)i =
g
g
g
g
x
y
x y
x y
Por tanto
Z Z
Z Z
g g
1
R cos 2 dS =
R
g g
x y
dxdy =
S2
T
x y
Z Z
Z Z
=
R g dxdy =
R(x, y, g(x, y)) dxdy,
T
Z Z
1
f
f
dxdy =
R cos 1 dS =
R
x y
f
f
T
x y
Z Z
Z Z
=
R f dxdy =
R(x, y, f (x, y)) dxdy
Z Z
S1
y
Z Z
Z Z
0 dS = 0.
R cos 3 dS =
S3
Por lo tanto
Z Z
Z Z
R cos dS =
S
Z Z
Z Z
R cos 1 dS +
S1
R cos 2 dS +
S2
R cos 3 dS =
S3
Z Z
Z Z
=
R(x, y, f (x, y)) dxdy +
R(x, y, g(x, y)) dxdy =
T
T
Z Z
Z Z Z
R
=
(R(x, y, g(x, y)) R(x, y, f (x, y))) dxdy =
dxdydz.
T
V z
169
Z Z
F ~n dS, donde
S es la superficie que
acota al cilindro
3
x2 + y 2 = 4, z = 0, z = 3,
~n es el vector normal a la
-!2
0
-!2
2
! 2
2
x+!y=!4
F (x, y, z) = (4x, 2y 2 , z 2 ).
Z Z Z
F ~n dS =
F dxdydz =
Z Z Z
=
V
Z Z Z
2
(4x) +
(2y ) + (z ) dxdydz =
x
y
z
(4 4y + 2z) dxdydz.
V
(4 4y + 2z) dxdydz =
=
0
Z
=
3
4z 4r sen z + z 2 0 ddr =
[21 + 12
0
r cos ]2
0
Z
dr =
0
170
6.5
Ejercicios
(t) si a t b
f.
f+
f=
Probar que
(t) si b t c1
6.5 Ejercicios
171
y 2 dx + x dy, donde:
i).- C es el cuadrado con vertices (0, 0), (2, 0), (2, 2), (0, 2) en sentido
positivo.
ii).- C es el crculo de radio 2 y centro en el origen en sentido positivo.
iii).- C esta dada por: C(t) = (2 cos3 t, 2 sen3 t), 0 t 2.
Z
1
. Evaluar
P dx+Q dy
10) Sean P (x, y) = xe
y Q(x, y) = x ye + 2
x + y2
y 2
172
+u
dxdy.
x y
x y
R
ii).
Z
1
u
v
v
u
v
u
dx + u
v
dy =
2
x
x
y
y
Z Z
=
R
2v
2u
u
v
xy
xy
dxdy.
14) Sea A la region interior a una curva simple de Jordan, C 1 por tramos, orientada
positivamente y sea f : A R2 R de clase C 2 en un conjunto abierto U R2
2f 2f
+
= 0. Probar
tal que A U y que satisface la ecuacion de Laplace:
x2 y 2
que
Z
f
f
dx
dy = 0.
x
y
15) Sea S un paralelogramo en R3 que no es paralelo a ning
un plano ni eje coordenado. Sean S1 , S2 , S3 las areas de las proyecciones
de S sobre los tres planos
q
coordenados. Mostrar que el area de S es
6.5 Ejercicios
173
19) Una superficie S R3 esta parametrizada con (u, v) [0, 4][0, 2] y g(u, v) =
(u cos v, u sen v, u2 ). Calcular el area de S.
20) Calcular el area de la porcion de la superficie conica x2 + y 2 = z 2 que esta
arriba del plano xy y que es cortada por la esfera x2 + y 2 + x2 = 2ax.
21) Calcular el area de la porcion de la superficie conica x2 + y 2 = z 2 que esta
entre los planos z = 0 y x + 2z = 3.
22) Calcular el area de la porcion del paraboloide x2 + z 2 = 2ay que es cortada
por el plano y = a.
Z Z
2
2
2
2
23) Si S es la superficie exterior de la esfera x +y +z = a , calcular
xz dy
S
dz + yzdz dx + x2 dx dy.
2
2
24) Sea S la superficie que recorta
Z elZ cilindro x + y = 2x de la parte superior del
(x4 y 4 + y 2 z 2 z 2 x2 + 1) dS.
cono x2 + y 2 = z 2 . Calcular
x2 + y 2 + z 2 = a2 , x + y + z = 0.
Z
ii).(yz) dx+(zx) dy+(xy) dz, donde C es la elipse x2 +y 2 = 1,
C
x + z = 1.
Z
iii).x dx+(x+y) dy +(x+y +z) dz, donde C es la curva x = a sen t,
C
del cubo 0 x, y, z a.
Z Z
ii).x dy dz + y dz dx + z dx dy, donde S es la cara exterior
S
174
Z Z
iii).S
exterior de la esfera x2 + y 2 + z 2 = a2 .
Z Z
x2 y 2
2 2 2
iv).(x , y , z ) ~n dS, donde S es la superficie del cono 2 + 2
a
a
S
z2
= 0, 0 z b y ~n es el vector normal exterior a la superficie S.
b2
Z Z
~ donde S es la cara exterior del
27) Calcular la integral de superficie
f dS,
S
Ap
endice A
Teorema de Cantor-Bernstein
Teorema de Cantor-Bernstein
En este apendice, damos la demostracion del Teorema de CantorBernstein, el cual fue
enunciado en el Teorema 1.3.4.
Teorema A.0.1 (CantorBernstein) Sean A, B dos conjuntos tales que existen dos
funciones f : A B y g : B A inyectivas. Entonces existe una funci
on : A B
biyectiva.
Demostracion. Sean f (A) = B1 B, g(B) = A1 A. Entonces f : A B1 y
g : G A1 son biyectivas y se tiene que g 1 : A1 B es tambien biyectiva.
Se tiene: g(f (A)) = g(B1 ) = A2 A1 y f (g(B)) = f (A1 ) = B2 B1 .
Puesto que g f y f g son funciones inyectivas, se tiene que existen biyecciones entre
A y A2 y entre B y B2 .
Ahora sean (g f )(A1 ) = g(f (A1 )) = A3 A2 y (g f )(A2 ) = g(f (A2 )) = A4 A3 .
En general, si tenemos A1 , . . . , Ak con A1 A2 . . . Ak , sea Ak+1 = g(f (Ak1 ))
Ak pues Ak = g(f (Ak2 )) g(f (Ak1 )) = Ak+1 . Ademas Ak+2 = g(f (Ak )) Ak+1 pues
Ak+1 = g(f (Ak1 )) g(f (Ak )) = Ak+2 .
\
Sea D =
Ak . Se tiene que:
k=1
[ [
=D
(Ai1 \ Ai )
con A0 = A.
i=0
S [
D
(Ai1 \ Ai ) A. Recprocamente, si x A y x 6 D entonces x A = A0
i=0
176
y x 6 Ak para alg
un k N. Sea k0 el primer natural
! tal que x 6 Ak0 . Por lo tanto
[
S
x Ak0 1 \ Ak0 . Se sigue que A D
(Ai1 \ Ai ) .
i=0
Ahora
D (Ai1 \ Ai ) = D Ai1 Aci = (D Aci ) Ai1 (Ai Aci ) Ai1 = Ai1 = .
Por lo tanto
D (Ai1 Ai ) = i N.
Ademas, si n 6= m, digamos n > m, An1 Am1 y por lo tanto Acn1 Acm1 y
(An1 \ An ) (Am1 \ Am ) = An1 Acn Acm1 Am Acm1 Am1 = . !
Por lo
[ [
tanto (An1 \ An ) (Am1 \ Am ) = n 6= m, es decir, A = D
(Ai1 \ Ai ) esta
i=0
[ [
!
(Ai \ Ai+1 ) .
i=0
Se tiene:
A=D
!
(A2k1 \ A2k )
k=1
!
(A2k \ A2k+1 )
=C
!
(A2k \ A2k+1 )
k=0
k=0
k ,
kN{0}
A1 = D
[
k=1
!
(A2k1 \ A2k )
!
(A2k+2 \ A2k+3 )
k=0
=C
!
(A2k+2 \ A2k+3 )
k=0
177
A\A
A
A\A
A\A
C=D
!
(A2k1 \ A2k )
k=1
A\A
Por u
ltimo, sea h : A A1 dada por
1 (x) = x
si x C
h(x) =
.
g 1
A A1 B
|
{z
}
f (x) si x 6 C
178
Bibliografa
[1] Apostol, Tom M, Calculus, Vol II, 2nda. Edici
on, Xerox College Publishing,
Waltman, Massachusetts, 1969.
[2] Berman, G.N., Problemas y Ejercicios de An
alisis Matem
atico, Editorial Mir,
Mosc
u, 1977.
[3] Cartan, Henri,
Barcelona, 1972.
[4] Demidovich B., Baranenkov, G., Efimenko, V., Kogan, S., Lunts, G.,
Porshneva, E., Sichova, E., Frolov, S., Shostak, R. y Yampolski, A.,
Problemas y Ejercicios de An
alisis Matematico, Quinta Edici
on, Editorial Mir,
Mosc
u, 1977.
[5] Kolmogorov, A.N. y Fomin, S.V., Elementos de la Teora de Funciones y del
Analisis Funcional, Editorial Mir, Mosc
u, 1975.
[6] Lang, S., Calculus of Several Variables, AddisonWesley, Reading Massachusetts,
1974.
[7] Mardsen, J.E., Elementary Classical Analysis, W.H. Freeman and Company, San
Francisco, 1974.
[8] Spiegel, M.R., Analisis Vectorial, McGrawHill, Coleccion Schaum, Mexico, 1969.
[9] Spivak, M.,
180
Notaciones
N Conjunto de los n
umeros naturales.
Z Conjunto de los n
umeros enteros.
Q Conjunto de los n
umeros racionales.
I Conjunto de los n
umeros irracionales.
R Conjunto de los n
umeros reales.
Rn {(x1 , x2 , . . . , xn ) | xi R}.
B(~a, ) Bola abierta con centro en ~a Rn y radio .
B(~a, ) Bola cerrada con centro en ~a Rn y radio .
h , i Producto interno en Rn .
Di f Derivada parcial de f .
f
Derivada parcial de f .
xi
S(f, P ) Suma superior de la funcion f con respecto a la particion P .
I(f, P ) Suma inferior de la funcion f con respecto a la particion P .
Z
f Integral superior de la funcion f sobre el conjunto A Rn .
A
182
vol(A) Volumen del conjunto A Rn .
A Frontera del conjunto A Rn .
A Cerradura del conjunto A Rn .
Z
f Integral de lnea de la funcion f sobre la curva C.
C
Z Z
f dS Integral de superficie de la funcion f .
S
Z Z
f ~n dS Integral de superficie de la funcion f .
S
Z Z
Z Z
P dx dz + Qdz dx + Rdx dy Integral de superficie de la funcion f .
S
Indice alfab
etico
areas de revolucion, 152
arco, 129
camino, 129
camino C 1 por tramos, 129
camino continuamente diferenciable, 129
camino continuamente diferenciable por
tramos, 129
camino de clase C 1 , 129
camino suave por tramos, 129
caminos equivalentes, 132
conjunto a lo mas numerable, 18
conjunto contable, 17
conjunto Jordanmedible, 44
conjunto numerable, 17
contenido 0, 27, 29
cubierta admisible, 96
curva regular, 140
curva simple de Jordan, 138
curva suave, 129
direccion de una curva, 140
divergencia de una funcion, 158
exterior de una curva, 139
funcion caracterstica, 31
funcion integrable, 6, 96
funcion Riemann-integrable, 6
integrabilidad, 46
integral de lnea, 129
integral de Riemann de una funcion, 6
integral de superficie, 153, 155
integral de una funcion, 31, 97
184