Professional Documents
Culture Documents
a
Renato Benazic
December 6, 2009
Prefacio
Renato Benazic
Introduccin
o
Contenido
Rn
. .
. .
. .
. .
. .
. .
. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
7
9
11
16
18
20
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
21
21
25
27
29
31
.
.
.
.
34
34
35
41
46
.
.
.
.
.
50
50
53
55
58
63
1 Diferenciabilidad de funciones de Rm en
1.1 Funciones Diferenciables . . . . . . . . .
1.2 La Regla de la Cadena . . . . . . . . . .
1.3 El Teorema de Schwarz . . . . . . . . .
1.4 Funciones de clase C k . . . . . . . . . .
1.5 El Teorema de Taylor . . . . . . . . . .
1.6 Principio de diferenciabilidad uniforme .
1.7 Ejercicios . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
66
3
5.1
5.2
5.3
5.4
5.5
5.6
5.7
5.8
5.9
6 Formas Diferenciables en Rm
6.1 Preliminares Algebraicos . . . . . . . . .
6.2 Formas Alternadas y Producto Exterior
6.3 Algebras de Grassmann . . . . . . . . .
6.4 Formas Diferenciales . . . . . . . . . . .
6.5 Pull-back de Formas Diferenciales . . . .
6.6 La Diferencial Exterior . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. 66
. 73
. 78
. 84
. 88
. 90
. 96
. 100
. 103
.
.
.
.
.
.
109
109
111
119
122
126
130
.
.
.
.
.
.
7 Integrales de Supercie
134
7.1 La integral de una k-forma diferencial sobre supercies . . . . . . . . . . . . . . . . . . . . 134
7.2 Supercies con frontera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
7.3 El Teorema de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
Cap
tulo 1
Diferenciabilidad de funciones de Rm
en Rn
1.1
Funciones Diferenciables
h0
h Ua
ra (h)
= 0.
h
a
f (a).
2. Si f : U Rm Rn es diferenciable en a U entonces f (a) L(Rm , Rn ).
ra (h)
= 0,
h
se acostumbra a decir que ra es un resto de orden 1. Es necesario enfatizar que este resto depende
del punto a (y de la funcin f ).
o
o
3. La funcin ra : Ua Rn es llamada resto y por el hecho de satisfacer la propiedad lim
h0
Anlisis Real II
a
o
Ejemplo 1.1.1 Sea f : Rm Rn la funcin constante f (x) = c, x Rm . Dado cualquier a Rm se
cumple
f (a + h) = f (a) = f (a) + (h) + 0(h), h Rm
h Rm
(1.1)
h0
(h1 , h2 )
=0
(h1 , h2 )
Anlisis Real II
a
Ejemplo 1.1.5 Podemos generalizar el Ejemplo 1.1.3. En efecto, sea : Rm1 Rm2 Rmk
Rn una transformacin k-lineal. Queda como ejercicio para el lector probar que es diferenciable en
o
Rm1 Rm2 Rmk y para cualquier a = (a1 , a2 , . . . , ak ) Rm1 Rm2 Rmk , la derivada
(a) L(Rm1 Rm2 Rmk , Rn )
es dada por
k
(a1 , a2 , . . . , ak )(h1 , h2 , . . . , hk ) =
i=1
Ejemplo 1.1.6 Como aplicacin del Ejemplo 1.1.5, vamos a analizar la funcin determinante. Primerao
o
mente recordemos que
2
Rnn Rn Rn Rn Rn
n veces
v el isomorsmo:
a
a11 a12 . . . a1n
A1
a21 a22 . . . a2n A2
A= .
.
. = . (A1 , A2 , . . . , An )
.
. .
.
.
.
.
.
an1 an2 . . . ann
An
donde Ai = (ai1 , ai2 , . . . , ain ) Rn . De esta manera la funcin determinante
o
det :
Rn Rn
(A1 , . . . , An )
R
det(A1 , . . . , An )
es una aplicacin n-lineal. Por el Ejemplo 1.1.5, la funcin det es diferenciable en Rn Rn y adems
o
o
a
para A = (A1 , . . . , An ) Rnn , la derivada det (A) L(Rnn ; R) es dada por
n
h Ua
Anlisis Real II
a
ra (h)
= 0. Haciendo f (a) = (T1 , . . . , Tn ) y ra = (r1,a , . . . , rn,a ), donde Ti (Rm ) y
h
: Ua R, tenemos
en donde lim
h0
ri,a
h Ua
ri,a (h)
= 0 y ui Rm es el vector que representa al funcional lineal Ti , es decir Ti (x) =
h
ui , x , x Rm .
Concluimos que fi es diferenciable en a y Ti = fi (a).
en donde lim
h0
() Ejercicio.
Corolario. Si f : U Rm Rn es diferenciable en a U entonces f es continua en a.
Denicin 1.1.2 Sea U Rm un abierto, f : U Rn , a U y v Rm . La derivada direccional de f
o
f
en a en la direccin de v, denotada por
o
(a), es denida como
v
f
f (a + tv) f (a)
(a) = lim
t0
v
t
cuando tal l
mite existe.
Observaciones:
1.
f
(a) Rn .
v
v :
I (0)
t
U
v (t) = a + tv
luego
f v :
es un camino en Rn . Observe que
I (0)
t
Rn
(f v )(t)
f (a + tv) f (a)
(f v )(t) (f v )(0)
=
t
t
f
(a) si y slo si f v es diferenciable en 0 y en
o
Conclu
mos que existe la derivada direccional
v
caso armativo
f
f (a + tv) f (a)
(f v )(t) (f v )(0)
(a) = lim
= lim
= (f v ) (0)
t0
t0
v
t
t
Anlisis Real II
a
f
(a) es el vector tangente en el punto f (a) del camino f v .
v
4. Sea f : U Rm Rn una funcin que admite todas sus derivadas direccionales en el punto a U .
o
Podemos denir la funcin
o
Rm
Rn
Tf,a :
Tf,a (v) =
f
(a)
v
f
(a).
v
2. Existen
fn
f1
(a), . . . ,
(a).
v
v
f
(a) =
v
f1
fn
(a), . . . ,
(a)
v
v
f (a + tv) f (a)
=
t
f
f (a + tv) f (a)
fi (a + tv) fi (a)
(a) si y slo si existe el lim
o
si y slo si existen lim
o
,
t0
t0
v
t
t
fi
(a), 1 i n.
1 i n si y slo si existen
o
v
Adems
a
f
f (a + tv) f (a)
f1
fn
(a) = lim
=
(a), . . . ,
(a)
t0
v
t
v
v
luego existe
f
f
o
(a) en vez de
(a). Por la proposicin anterior
xi
ei
f1
fn
(a), . . . ,
(a) ,
xi
xi
1im
Observaciones:
1. Sea U Rm abierto, f = (f1 , . . . , fn ) : U Rn diferenciable en a U . Dado v Rm , tomamos
t R tal que tv Ua . Por la diferenciabilidad tenemos
f (a + tv) = f (a) + f (a)(tv) + ra (tv)
luego
ra (tv)
f (a + tv) f (a)
= f (a)(v) +
t
t
Anlisis Real II
a
se sigue que
f (a + tv) f (a)
= f (a)(v)
t
luego, hemos probado que si f es diferenciable en a entonces existen todas las derivadas direccionales
f
f
(a) y f (a)(v) =
(a), v Rm .
v
v
lim
t0
o
2. Si f es diferenciable en a entonces podemos considerar la funcin
Rm
Rn
f (a) :
f (a)(v) =
f
(a)
v
o
3. Vamos a hallar la matriz asociada a la transformacin lineal f (a) en las bases cannicas de Rm y
o
Rn . Si f = (f1 , . . . , fn ) es diferenciable en a, entonces para 1 i m tenemos
f (a)(ei )
=
=
f1
f1
x1 (a) x2 (a) . . .
f
f2
2
(a)
(a) . . .
x1
x2
.
.
.
.
.
.
fn
fn
(a)
(a) . . .
x1
x2
f
f1
f2
fn
(a) =
(a),
(a), . . . ,
(a)
xi
xi
xi
xi
f2
fn
f1
(a)e1 +
(a)e2 + . . . +
(a)en
xi
xi
xi
o
f (a) en las bases cannicas es dada por
f1
(a)
xm
f1 (a)
f2
f2 (a)
f
f
f
(a) =
(a),
(a), ,
(a) Rnm
=
.
xm
.
x1
x2
xm
.
.
fn (a)
fn
(a)
xm
(f1 , . . . , fn )
(a).
(x1 , . . . , xm )
f (a).
f1 (a)
f2 (a)
Jf (a) =
(f1 (a), f2 (a), . . . , fn (a)) Rn
.
.
.
fn (a)
a u
6. Si f : I R R es diferenciable en a I entonces Jf (a) R11 R, ms an
Jf (a) = f (a) R
Anlisis Real II
a
Ejemplo 1.1.7 Vamos a hallar las derivadas parciales de la funcin determinante. Denotemos por
o
Eij Rnn a la matriz cuya entrada ij es 1 y todas las otras entradas son ceros, es decir
.
.
.
Eij = ej ( , . . . , , ej , , . . . , ).
i1 veces
.
.
.
E24
0
0
=
0
0
0 0
0 0
0 0
0 0
1
(, e4 , , )
0
0
Es claro que {Eij } es una base de Rnn , llamada base cannica. Para A Rnn tenemos
o
det
(A) = det (A)(Eij ) = det (A1 , . . . , An )(, . . . , , ej , , . . . , )
xij
= det(, A2 , . . . , An ) + + det(A1 , . . . , Ai1 , ej , Ai+1 , . . . , An ) + + det(A1 . . . , An1 , )
= det(A1 , . . . , Ai1 , ej , Ai+1 , . . . , An ) = (1)i1 det(ej , A1 , . . . , Ai1 , Ai+1 , . . . , An )
= (1)i+j A[i,j]
1.2
x11
x31
x12
x32
La Regla de la Cadena
Anlisis Real II
a
n
j=1
gk
fj
(f (a))
(a)
yj
xi
1 i m, 1 k np.
n
j=1
gk
f
yj
fj
xi
1 i m, 1 k p.
Anlisis Real II
a
es diferenciable en a y
((f, g)) (a)(v) = (f (a)(v), g(a)) + (f (a), g (a)(v))
Demostracin. Observe que (f, g) = (f, g) la cual es diferenciable en a. Adems
o
a
((f, g)) (a)(v) =
f (a) (f 1 ) (f (a)) = I
1.3
El Teorema de Schwarz
f
f
,...,
: U Rn son diferenciables en a.
x1
xm
f1
f1
(x) . . .
(x)
x1
xm
f
f2
2
f1
f1
fn
fn
(x), . . . ,
(x), . . . ,
(x), . . . ,
(x)
f (x) = x (x) . . . x (x) =
1
m
x1
xm
x1
xm
.
.
.
.
.
.
fn
fn
(x) . . .
(x)
x1
xm
Anlisis Real II
a
10
Por la denicin de funcin dos veces diferenciable se sigue que las funciones coordenadas de f son
o
o
diferenciables en a, luego f es diferenciable en a.
Notacin:
o
2f
(a) =
vw
v
f
w
(a), v, w Rm .
1 i, j m
2 fn
f
f1
fn
2 f1
(a) =
(a), . . . ,
(a) =
(a), . . . ,
(a)
xj xi
xj xi
xj xi
xj xi
xj xi
2 f1
2 fn
f1
fn
f
(a), . . . ,
(a) =
(a), . . . ,
(a) =
(a)
xi xj
xi xj
xi xj
xj
xi xj
2f
(a)
xi xj
v, w Rm
o
Teorema 1.3.3 Sea U Rm abierto y f : U Rn funcin dos veces diferenciable en a U . Entonces
Rm Rm
Rn
(v, w)
f,a :
f,a (v, w) =
2f
(a)
wv
(c1 w1 + c2 w2 )
f,a (v, c1 w1 + c2 w2 )
f
v
c1
f
v
(a) =
(a)(c1 w1 + c2 w2 )
f
2f
f
2f
(a)(w1 ) + c2
(a)(w2 ) = c1
(a) + c2
(a)
v
v
w1 v
w2 v
c1 f,a (v, w1 ) + c2 f,a (v, w2 )
Anlisis Real II
a
11
o
Sea U Rm abierto y f : U Rn una funcin dos veces diferenciable en a U , por la observacin
o
anterior sabemos que f : U L(Rm , Rn ) es diferenciable en a, luego
f (a) = (f ) (a) L (Rm , L(Rm , Rn ))
Pero del lgebra lineal, se sabe que existe un isomorsmo entre
a
L (Rm , L(Rm , Rn )) y
L2 (Rm , Rn ) = { : Rm Rm Rn : es bilineal}
f
(a) =
w
f
f1
(a), . . . , n (a)
w
w
(1.2)
(a) =
w
w
fi
fi
(a), . . . ,
(a)
x1
xm
x1
fi
w
(a), . . . ,
xm
fi
w
(a)
f
w
(a)
fi
w
(a)
(1.3)
De (1.2) y (1.3)
f (a)(w) =
f1
w
(a), . . . ,
fn
w
(a)
y por tanto
f (a)(w)(v) =
f
w
(a)(v) =
2f
(a) = f,a (v, w)
vw
De esta manera f,a es la transformacin bilineal asociada a f (a), es decir podemos considerar f (a)
o
como
f (a) : Rm Rm Rn
2f
(v, w)
f (a)(v, w) =
(a)
vw
1.4
Funciones de clase C k
f
f
(x), . . . ,
(x), x U .
x1
xm
Anlisis Real II
a
12
f
f
,...,
: U Rn son continuas en U .
x1
x1
f
f
(x), . . . ,
(x), x U .
x1
xm
f
f
,...,
: U Rn son de clase C k1 en U .
x1
x1
o
3. Decimos que f es de clase C en U si y slo si f es de clase C k en U , k N.
Notaciones:
1. C k (U ; Rn ) = {f : U Rn ; f es de clase C k en U } (k 1).
2. C 0 (U ; Rn ) = C(U ; Rn ) = {f : U Rn ; f es continua en U }.
3. C (U ; Rn ) = {f : U Rn ; f es de clase C en U }.
Observaciones:
1. C (U ; Rn ) =
C k (U ; Rn ).
k=1
2. C (U ; R ) C k (U ; Rn ) C k1 (U ; Rn ) C 1 (U ; Rn ) C(U ; Rn ).
3. f C k (U ; Rn ) si y slo si
o
f
C k1 (U ; Rn ), 1 i m.
xi
Anlisis Real II
a
13
o
Demostracin. Si f = (f1 , . . . , fn ) y g = (g1 , . . . , gp ) entonces g f = (g1 f, . . . , gp f ). De la hiptesis
o
y la Proposicin 1.4.1 se sigue que fj C k (U ), 1 j n y gl C k (V ), 1 l p. Sabemos que
o
(gl f )
=
xi
j=1
gl
f
yj
fj
xi
(gl f )
C k1 , 1 i n. Se sigue que gl f C k (U ), 1 l p, es decir g f C k (U ; Rp ),
xi
lo que naliza la prueba.
luego
Es claro que las funciones constantes son de clase C en Rm , a continuacin, daremos otros ejemplos
o
de funciones de clase C .
Ejemplo 1.4.1 Si T L(Rm , Rn ) entonces T C (Rm , Rn ). En efecto, jando v Rm , por el Ejemplo
1.1.2 tenemos
T
(x) = T (x)(v) = T (v) = T (x)
v
T
donde (x) = v es la funcin constante. Luego
o
= T y de aqu se sigue el resultado.
v
Ejemplo 1.4.2 Si : Rm Rn Rp es bilineal entonces C (Rm Rn ; Rp ). En efecto, jando
v = (v1 , v2 ) Rm Rn , para cualquier x = (x1 , x2 ) Rm Rn , por el Ejemplo 1.1.3 tenemos
= 1 + 2
v
De aqu se sigue que C (Rm Rn ; Rp ).
A continuacin probaremos que la funcin que a toda matriz inversible le asigna su inversa, es una
o
o
funcin de clase C .
o
En primer lugar recordemos que con las operaciones usuales de suma de funciones y producto de
un escalar por una transformacin lineal, el conjunto L(Rm ; Rn ) se torna un R-espacio vectorial. Sea
o
T L(Rm ; Rn ) entonces K > 0 tal que T (x) K x , x Rm .
T (x)
K, luego el conjunto
Si x = 0 entonces
x
T (x)
: x Rm {0}
x
es acotado superiormente, luego existe su supremo, el cual ser denotado por T , es decir
a
T = sup
Observaciones:
T (x)
: x Rm {0}
x
Anlisis Real II
a
1.
14
T (x)
T , x Rm {0}. Se sigue que T (x) T x , x Rm .
x
2. T = sup
T (x) : x S m1 .
0, T L(Rm ; Rn ).
2. T
= 0 = T = 0.
3. rT
= |r| T , T L(Rm ; Rn ), r R.
4. T1 + T2 T1 + T2 , T1 , T2 L(Rm ; Rn ).
5. T1 T2 T1 T2 , T1 L(Rn ; Rp ), T2 L(Rm ; Rn ).
6. T n T
, T L(Rm ) = L(Rm ; Rm ), n N.
Demostracin. Probaremos solamente (4) las dems quedarn como ejercicio para el lector. Sean
o
a
a
T1 , T2 L(Rm ; Rn ) y x S m1
(T1 + T2 )(x) T1 (x) + T2 (x) T1 + T2
Observacin. (L(Rm ; Rn ), ) es un R-espacio normado isomorfo a Rnm .
o
Por otro lado A GL(Rm ) Rmm si y slo si det(A) = 0 si y slo si A det1 (R {0}). Como det
o
o
m
mm
m2
es una funcin continua, concluimos que GL(R ) R
o
R es abierto. Denotemos U = GL(Rm ).
2
=
2
A1 = (I + A1 H)1 A1 A1
A1 HA1 +
2
luego
rA (H) = (A + H)1 (HA1 )2 (A + H)1 HA1
(A + H)1 H
A1
15
Anlisis Real II
a
Para H = 0 se sigue que
rA (H)
(A + H)1 H A1
H
(1.4)
Lema 1.4.1 Si A GL(Rm ) entonces existe C > 0 tal que si H L(Rm ) es tal que H C, entonces
1
A + H GL(Rm ) y (A + H)1 .
C
Demostracin. Sea C =
o
1
. Dado x Rm se tiene
2 A1
x = A1 Ax A1 Ax
1
1
x , luego (A + H)1 .
C
C
H0
<
C
A1
1
C
C
A1
. Si H UA es tal que
A1
rA (H)
= 0. Desde que A U fue arbitrario, concluimos que f es diferenciable en U y
H
f (A)(H) = A1 HA1 ,
H L(Rm ).
En particular f es continua en U .
Para probar que f es de clase C , jemos V L(Rm ). Para cualquier X GL(Rm ), se tiene
f
(X) = f (X)(V ) = X 1 V X 1
V
Por otro lado, sea : L(Rm )L(Rm ) L(Rm ) dada por (X, Y ) = XV Y . Es claro que es bilineal y
por tanto, de clase C . Si consideramos : U U U denida por (X) = (f (X), f (X)), del corolario
a la Proposicin 1.4.1 tenemos que es continua. Observe que
o
( )(X) = ((X)) = (f (X), f (X)) = X 1 V X 1 =
f
(X) X U
V
Anlisis Real II
a
luego
16
f
=
V
f
es continua, V Rmm y por tanto f es de clase C 1 . Se tiene ahora que es de
V
f
clase C 1 y por tanto
o
lo cual implica f de clase C 2 . Procediendo por induccin se tiene el resultado
V
deseado. Resumimos nuestros resultados en el siguiente:
se sigue que
1.5
El Teorema de Taylor
U
x
L2 (Rm ; Rn )
f (x)
Las derivadas de orden superior son denidas de manera anloga. Sea U Rm abierto y f : U Rn
a
funcin p veces diferenciable en a U . Denimos
o
p
(p)
(a) :
veces
R Rm
(v1 , . . . , vp )
Rn
f (p) (a)(v1 , . . . , vp ) =
pf
(a)
vp v1
Anlisis Real II
a
17
No es dif probar que f (p) (a) es una transformacin p-lineal y simtrica. Si denotamos
cil
o
e
p veces
Lp (Rm ; Rn ) = : Rm Rm Rn : es p-lineal
tenemos que f (p) (a) Lp (Rm ; Rn ). Si f C p (U ; Rn ) entonces f (p) (x) Lp (Rm ; Rn ), luego podemos
denir
f (p) : U Lp (Rm ; Rn )
x f (p) (x)
Notacin: f (p) (a)(v, v, , v) = f (p) (a)v p .
o
Teorema 1.5.2 (Frmula de Taylor Innitesimal) Sea U Rm abierto, y f : U Rn funcin p
o
o
veces diferenciable en a U . Entonces
f (a + h) = f (a) + f (a)h +
donde lim
h0
1
1
f (a)h2 + + f (p) (a)hp + ra (h),
2!
p!
h Ua
ra (h)
= 0.
h p
1 (p)
1
k
f (a)h2 + + fk (a)hp + ra (h)
2! k
p!
k
ra (h)
= 0, 1 k n. Luego
h0 h p
donde lim
f (a + h)
1
(f (a)h2 , . . . , fn (a)h2 ) + +
2! 1
1 (p)
(p)
(f (a)hp , . . . , fn (a)hp ) + ra (h)
p! 1
1
n
donde ra (h) = (ra (h), . . . , ra (h). Se sigue que
f (a + h) = f (a) + f (a)h +
donde lim
h0
1
1
f (a)h2 + + f (p) (a)hp + ra (h),
2!
p!
h Ua
ra (h)
= 0.
h p
p+1
x ]a, a + h[
w Rm
Anlisis Real II
a
18
Entonces
f (a + h) = f (a) + f (a)h +
donde ra (h)
M
h
(p + 1)!
p+1
1
1
f (a)h2 + + f (p) (a)hp + ra (h),
2!
p!
h Ua
Demostracin. Ejercicio!
o
Teorema 1.5.4 (Frmula de Taylor con Resto Integral) Sea U Rm abierto, a U , h Rm tal
o
que [a, a + h] U . Si f C p+1 (U ; Rn ) entonces
f (a + h) = f (a) + f (a)h +
1
1
1
f (a)h2 + + f (p) (a)hp +
2!
p!
p!
1
0
Demostracin. Ejercicio!
o
1.6
entonces
: [0, 1]
t
f :
[0, 1]
t
U
(t) = a + th
Rn
(f )(t) = f (a + th)
x1 , x2 U
Anlisis Real II
a
19
g:
U
x
Rm
g(x) = f (x) T (x)
1
+ yjk y ,
jk
k N
Anlisis Real II
a
20
(1.5)
(1.6)
h Ux
rx (h)
rx (h)
= 0. El Teorema de la diferenciabilidad uniforme nos dice que lim
= 0, x K.
h0
h0
h
h
En efecto, sea V = {(x, h) K Rm ; h Ux }. Denimos r : V Rn por
donde lim
h0
1.7
r(x, h)
= 0.
h
Ejercicios
o
T L(Rm , Rn ) tal que
f (a + h) = f (a) + T (h) + ra (h), h Ua
ra (h)
= 0.
h0
h
en donde lim
3.
Cap
tulo 2
Sucesin de Funciones
o
Sea X Rm , denotaremos por F(X; Rn ) al conjunto de todas las funciones denidas en X y con valores
en Rn . Con las operaciones usuales de suma de funciones y producto de un nmero real por una funcin,
u
o
el conjunto F(X; Rn ) se torna un R-espacio vectorial.
o
o
Denicin 2.1.1 Una sucesin de funciones en F(X; Rn ) es una funcin f : N F (X; Rn ) tal que a
o
o
e
e
cada nmero natural k le asocia una funcin f (k) = fk F(X; Rn ), llamado el k-simo trmino de la
u
sucesin.
o
mbolo (fk ) F (X; Rn ) signicar que (fk ) es una sucesin de funciones
Notacin. En sucesivo el s
o
a
o
n
en F(X; R )
Sea (fk ) F (X; Rn ), para cada x X se tiene que fk (x) Rn , para todo k N, luego (fk (x)) es
una sucesin en Rn . Si la sucesin (fk (x)) Rn es convergente para cada x X entonces existe un
o
o
vector (que depende de x X) al que denotaremos f (x) Rn tal que lim fk (x) = f (x). De esta manera
k
f: X
x
Rn
f (x) = lim fk (x)
k
es decir f F(X; Rn ).
o
Denicin 2.1.2 Sea (fk ) F(X; Rn ) y f F (X; Rn ). Decimos que la sucesin de funciones (fk )
o
converge puntualmente a f , lo que escribimos fk f si y slo si se cumplen las dos condiciones siguientes:
o
1. (fk (x)) Rn es convergente, para todo x X.
2. lim fk (x) = f (x), para todo x X.
k
21
Anlisis Real II
a
22
Ejemplo 2.1.1 Sea X el intervalo cerrado [0, 1] y consideremos la sucesin (fk ) F(X; R) denida por
o
fk :
X
x
R
fk (x) = xk
Observe que
lim fk (x) = lim xk =
k
Si denimos
[0, 1]
f:
f (x) =
0, si 0 x < 1
1, si x = 1
0,
1,
si 0 x < 1
si x = 1
fk :
fk (x) =
Observe que
2k
x
k 1 + x2k
Si denimos
f: R
x2k
1 + x2k
0,
1
,
=
2
1,
0,
1
,
f (x) =
2
1,
si |x| < 1
si |x| = 1
si |x| > 1
si |x| < 1
si |x| = 1
si |x| > 1
Anlisis Real II
a
23
mientras que
o
Teorema 2.1.1 (Criterio de Cauchy) Sea (fk ) F (X; Rn ). Las siguientes armaciones son equivalentes:
1. (fk ) es uniformemente convergente en X.
o
2. (fk ) es una sucesin de Cauchy, es decir para todo > 0 existe un k0 N tal que j, k k0 entonces
fj (x) fk (x) < ,
x X.
o
Demostracin. (1. 2.) Dado > 0, por hiptesis debe existir un k0 N tal que si k k0 entonces
o
fk (x) f (x)| < 2 para cualquier x X.
Si tomamos j, k k0 , para cualquier x X tenemos
fk (x) fj (x) fk (x) f (x) + fj (x) f (x) <
Luego (fk ) F(X; Rn ) es una sucesin de Cauchy.
o
(2. 1.) Fijemos x X, dado > 0 existe un k0 N tal que si j, k k0 entonces fj (x) fk (x) < .
Se sigue que (fk (x)) Rn es una sucesin de Cauchy en Rn , luego ella es convergente, es decir, existe un
o
vector f (x) Rn tal que lim fk (x) = f (x). Denimos
k
f: X
x
Rn
f (x) = lim fk (x)
k
Armo que fk f unif. en X. En efecto: dado > 0, existe un k0 N tal que si j, k k0 entonces
para cualquier x X se tiene que fj (x) fk (x) < 2 . Fijando el sub
ndice k y tomando l
mite cuando
j tiende al innito tenemos f (x) fk (x) < , x X. Esto prueba la armacin y el teorema.
o
Note el lector que en el criterio de Cauchy no necesitamos del l
mite f para determinar la convergencia
uniforme de la sucesin (fk ).
o
Anlisis Real II
a
24
x X.
(2.1)
Por otro lado, desde que fk0 es continua en x0 , tenemos que existe un > 0 tal que si x X y xx0 <
entonces
fk0 (x) fk0 (x0 ) <
(2.2)
fk : X
X
x
fk (x) =
R
f1 (x) = 1
kx,
si 0 x
2 kx,
0,
1
k
si
2
1
<x
k
k
si
2
<x1
k
Observe que si 0 < x 1 entonces lim fk (x) = 0 (puesto que f (x) = 0 para k >
k
1
k
1
k
=1
2
x)
y lim fk (0) = 0,
k
Anlisis Real II
a
2.2
25
fk :
fk (x) =
sen kx
= 0 = (x),
k
k
es decir fk .
Adems, dado
a
x R
1
> 0, k0 N tal que si k k0 entonces < , luego
k
|fk (x) (x)| =
sen kx
1
< ,
k
k
k k0 , x R
Teorema 2.2.1 Sea U Rm abierto, convexo y acotado y sea (fk ) C 1 (U ; Rn ). Suponga que
1. x0 U tal que (fk (x0 )) Rn es convergente.
2. (fk ) C(U ; L(Rm ; Rn )) es uniformemente en U .
Entonces f C 1 (U ; Rn ) tal que fk f unif. en U y fk f unif. en U
o
Demostracin. Como U es acotado y x0 U entonces r > 0 tal que U Br [x0 ]. Por hiptesis
o
(fk ) C(U ; L(Rm ; Rn )) es uniformemente convergente en U , luego es sucesin de Cauchy, por lo tanto,
o
dado > 0, k1 N tal que si j, k k1 entonces
fj (x) fk (x) <
2r
x U.
(2.3)
2r
x y , x, y U, j, k k1
(2.4)
(2.5)
Anlisis Real II
a
26
2r
x x0 +
Hemos probado que k0 N tal que si j, k k0 entonces fj (x) fk (x) < , x U . Es decir (fk )
es sucesin de Cauchy, luego f F (U : Rn ) tal que fk f unif. en U .
o
Por otro lado, de la hiptesis 2. g C(U ; L(Rm ; Rn )) tal que fk g unif. en U . Vamos a probar
o
que f es diferenciable en U y f = g. Dado a U , debemos probar que
f (a + h) = f (a) + g(a)(h) + ra (h),
h Ua
ra (h)
= 0.
h
Sea ra (h) = f (a + h) f (a) g(a)(h) entonces
con lim
h0
ra (h)
f (a + h) f (a) g(a)(h)
f (a + h) f (a) fk0 (a + h) + fk0 (a) +
fk0 (a + h) fk0 (a) fk0 (a)(h) + fk0 (a)(h) g(a)(h)
(2.6)
con lim
(2.7)
De (2.4) tenemos
(fj fk0 )(a + h) (fj fk0 )(a) <
h , j k0
luego
f (a + h) fk0 (a + h) f (a) + fk0 (a) = lim fj (a + h) fk0 (a + h) fj (a) + fk0 (a)
j
h (2.8)
, j k0 , luego
(2.9)
De (2.7), (2.8), (2.9) y (2.6), para h Ua , se cumple que > 0 tal que si 0 < h < entonces
ra (h)
h
De esta manera f es diferenciable en a y f (a) = g(a). Como el a fue arbitrario, concluimos que f es
diferenciable en U y f = g.
27
Anlisis Real II
a
2.3
Series de Funciones
j,1
serie de funciones.
Desde que una serie de funciones es un caso particular de sucesin de funciones, podemos aplicarle
o
los conceptos de l
mite puntual y l
mite uniforme.
Denicin 2.3.1 Sean (fk ) F(X; Rn ) y consideremos
o
fk .
j,1
k
1. Decimos que
j,1
fk
j=1
Notacin. El l
o
a
mbolo
mite S ser denotado por el s
fj .
j=1
El siguiente es un criterio sumamente util para la convergencia uniforme de una serie de funciones.
Teorema 2.3.1 (M-test de Weierstrass) Sean X Rm , (Mk ) R+ y (fk ) F (X; Rn ) tales que
1.
fk (x) Mk , x X, k 0.
Mj es convergente.
j,1
fj converge uniformemente en X.
j,1
k
fj y k =
Demostracin. Denotemos sk =
o
j=1
si (x) sk (x) =
j=1
fj (x)
fj (x) =
j=i
j=i+1
fj (x)
j=i+1
fj (x)
j=i+1
Mj = |k j |
28
Anlisis Real II
a
procediendo de manera anloga para k i se tiene que
a
si (x) sk (x) |j k |,
i, k N, x X
Si
j=1
j,1
C(X; Rn ).
k
Demostracin. sk =
o
j=1
unif. en X, luego
j=1
fj
fj
j=1
fj C(X; Rn ).
y consideremos
I1 (0)
fk :
fk (x) =
xk
k2
fj Observe que
j,1
1
|x|j
xj
= 2 2,
2
j
j
j
|fj (x)| =
Como la serie de nmeros reales
u
j,1
x I1 (0), j N
1
es convergente, por el M - test de Weierstrass,
j2
j,1
xj
es unij2
S:
S(x) =
j=1
xj
j2
es continua en I1 (0).
Finalmente, enunciemos para series el Teorema 2.2.1.
Teorema 2.3.3 Sea U Rm abierto, convexo y acotado y sea (fk ) C 1 (U ; Rn ). Suponga que
1. x0 U tal que
fj (x0 ) es convergente.
j,1
Anlisis Real II
a
29
fj es uniformemente convergente en U .
2.
j,1
j,1
fj S unif. en U y
j,1
fj S unif. en U
Demostracin. Ejercicio!
o
2.4
La Curva de Peano
Usaremos los resultados de la seccin anterior para construir una curva continua que tenga interior no
o
vac
o.
Sea
: [0, 2] R
5
1
0,
o
t2
si 0 t ,
3
3
1
2
si t
3t 1,
3
3
t
(t) =
2
4
1,
si t
3
3
3t + 5, si 4 t 5
3
3
Extendemos peridicamente a todos los reales haciendo (t + 2) = (t).
o
Observe que C(R) y es peridica de periodo 2. Dado k N, denimos (fk ), (gk ) F(R; R) como
o
fk (t) =
(32k2 t)
2k
gk (t) =
(32k1 t)
,
2k
t R.
Anlisis Real II
a
30
(32k2 t)
1
k,
2k
2
t R,
1
2k
k N
es tal que
j,1
1
es convergente. Por el M-test
2j
de Weierstrass
j,1
j,1
1 :
R
t
y sea
fj C(R).
R
1 (t) =
2j2
(3
t)
2j
j=1
: R
t
2 :
2 (t) =
j=1
(32j1 t)
2j
R2
(t) = (1 (t), 2 (t))
Se sigue que C(R; R2 ). Vamos a probar que ([0, 1]) = [0, 1] [0, 1]. En primer lugar
0 1 (t) =
j=1
(32j2 t)
2j
j=1
1
= 1,
2j
t [0, 1]
Anlogamente 0 2 (t) 1, t [0, 1]. De esta manera (t) [0, 1] [0, 1], es decir ([0, 1])
a
[0, 1] [0, 1].
Sea (a, b) [0, 1] [0, 1], vamos a probar que t0 [0, 1] tal que (t0 ) = (a, b). Expresando a y b en
el sistema binario, tenemos
aj
bj
a=
,
b=
j
2
2j
j=1
j=1
en donde aj , bj {0, 1}, j N. Deno
t0 = 2
j=1
cj
3j
j=1
1
cj
2
=1
3j
3j
j=1
es decir t0 [0, 1]. Armo que (t0 ) = (a, b). En efecto, observe en primer lugar que es suciente probar
3j t0 = cj+1 ,
j = 0, 1, 2, . . .
(2.10)
Anlisis Real II
a
31
2 (t0 ) =
j=1
(32j2 t0 )
=
2j
(3
2j1
t0 )
2j
j=1
j=1
j=1
c2j1
=
2j
c2j
=
2j
j=1
bj
2j
j=1
aj
=a
2j
=b
lo cual prueba la armacin. Probemos entonces (2.10): Dado k = 0, 1, 2, . . . (jo, arbitrario), tenemos:
o
3 k t0
= 2
j=1
=
donde dk = 2
j=1
3jk
3kj cj + 2
=2
j=1
j=k+1
cj
3jk
nmero par + dk
u
cj+k
odo 2, tenemos (3k t0 ) = (dk ).
desde que tiene per
3j
Si ck+1 = 0 entonces 0 dk = 2
Si ck+1 = 1 entonces
2.5
cj
j=2
1
1
cj+k
2
= , luego (dk ) = 0, es decir (3k t0 ) = ck+1 .
j
j
3
3
3
j=2
1
2
cj+k
dk = 2
2
= 1, luego (dk ) = 1, es decir (3k t0 ) = ck+1 .
3
3j
3j
j=1
j=1
La Funcin de Weierstrass
o
En 1872, Weiertrass dio un ejemplo de una funcin continua en todo R que no es diferenciable en ningn
o
u
punto de su dominio.
Consideremos la sucesin de funciones (fn ) C(R) denida por
o
fn (x) = bn cos(an x),
xR
en donde a es un entero impar mayor que 1 y 0 < b < 1. Por el M -test de Weierstrass concluimos que
n,1
n=1
2
2
1
1
tal que < ax0 k1 , denotemos x2 = ax0 k1 . Prosiguiendo por induccin, existe un unico
o
2
2
1
1
km Z tal que < am x0 km , denotemos xm+1 = am x0 km .
2
2
Anlisis Real II
a
32
1
1
De esta manera hemos construido dos sucesiones (km ) Z y (xm ) R tales que < xm ,
2
2
km 1
m N. A continuacin denimos la sucesin (xm ) R por xm =
o
o
, m N. Observe que
am
xm x0 =
1 + xm+1
km 1
km 1 am x0
x0 =
=
,
m
a
am
am
mN
1
1
1
3
entonces
< 1 + xm . De aqu se desprende que xm x0 < 0, m N y
Como < xm
2
2
2
2
lim xm = x0 .
m
Para m N jo tenemos
W (xm ) W (x0 )
xm x0
bn
n=0
cos(an xm ) cos(an x0 )
xm x0
m1
bn
=
n=0
m1
(ab)n
=
n=0
cos(an xm ) cos(an x0 )
cos(an xm ) cos(an x0 )
bn
+
xm x0
xm x0
n=m
cos(an xm ) cos(an x0 )
cos(am+n xm ) cos(am+n x0 )
bm+n
+
an (xm x0 )
xm x0
n=0
A+B
(2.11)
Por trigonometr elemental, sabemos que cos( + ) cos( ) = 2sen sen . Haciendo =
a
xm x0
xm + x0
a
y = an
(con n 0 jo), tenemos
2
2
n
an
xm + x0
2
sen
Luego
cos(an xm ) cos(an x0 )
= sen
an (xm x0 )
Como lim
x0
an
xm + x0
2
an
xm x0
2
x
sen an xm2 0
xm x0
an
sen x
= 1, debe existir un m0 N tal que si m m0 entonces
x
x
sen an xm2 0
xm x0
an
<
3
2
luego
|A|
3
2
m1
(ab)n =
n=0
3 (ab)m
3 (ab)m 1
<
2 ab 1
2 ab 1
De aqu
|A| <
3 (ab)m
,
2 ab 1
siempre que m m0
(2.12)
Anlisis Real II
a
33
luego
B
bn+m
n=0
= (1)jm
bn+m
1 + cos(an xm+1 )
n=0
jm 1
= (1)
Observe que B =
bn
n=0
(ab) B
1+xm+1
am
= (1)jm 1 (ab)m
bn
n=0
1 + cos(an xm+1 )
1 + xm+1
(2.13)
1 + cos(an xm+1 )
es una serie de trminos no negativos cuyo primer trmino es
e
e
1 + xm+1
1 + cos(xm+1 )
2
.
1 + xm+1
3
1
1
2
1
).
< xm , un fcil clculo muestra que 1 + cos(xm+1 ) 1 y
a
a
2
2
3
1 + xm+1
Reemplazando (2.13) en (2.11), para m m0 tenemos
W (xm ) W (x0 )
= (1)jm 1 (ab)m (1)jm 1 (ab)m A + B
xm x0
Si tomamos a, b tales que ab > 1 +
4
, es decir
< , de (2.12) tenemos
4
ab 1
9
2
(1)jm 1 (ab)m A + B > + B 0
3
= +, tenemos
lim
luego la sucesin
o
tradiccin.
o
2
3
<
2(ab 1)
3
W (xm ) W (x0 )
= +
xm x0
W (xm ) W (x0 )
no est acotada y por tanto no es convergente, lo cual es una cona
xm x0
Cap
tulo 3
Difeomorsmos Locales
R
x
R
f (x) = x3
R
x
f (x) = 3 x
no es diferenciable en 0 R.
3. Si f : U V es un difeomorsmo, por el Corolario 4 de la Regla de la Cadena f (x) GL(Rm ),
x U.
34
Anlisis Real II
a
35
4. El rec
proco de la Observacin 3 es falso, en efecto, considrese la funcin
o
e
o
f:
R2
(x, y)
R2 {0}
f (x, y) = (ex cos y, ex sen y)
ex cos y
ex sen y
ex sen y
ex cos y
luego det Jf (x, y) = e2x = 0, (x, y) R2 , es decir f (x, y) GL(R2 ), (x, y) R2 , sin embargo
f : R2 R2 {0} no es inyectiva, puesto que f (0, 0) = f (0, 2).
o
o
5. Con relacin a la funcin del ejemplo anterior, si restringimos el dominio de f convenientemente,
entonces f restringida a este dominio, si es un difeomorsmo. En efecto, dado a = (x0 , y0 ) R2 ,
denimos el conjunto (franja horizontal abierta de ancho 2)
Wa = {(x, y R2 : x R, |y y0 | < }
Claramente Wa R2 es un abierto y f
Wa
: Wa R2 {0} es un difeomorsmo.
3.2
Teorema 3.2.1 (Teorema del Punto Fijo para Contracciones) Sea X Rm un conjunto cerrado
y f : X X una contraccin (i.e. f Lipschitz con Lip(f ) < 1). Entonces existe un unico x0 X tal
o
que:
1. f (x0 ) = x0 (i.e. x0 es punto jo de f ).
2. lim f k (x) = x0 , x X (i.e. x0 es un atractor de f ).
k
Anlisis Real II
a
36
Demostracin. Ejercicio!
o
Observacin: Si X Rm no es cerrado, entonces una contraccin f : X X no necesariamente tiene
o
o
un punto jo. En efecto, considere X = ]0, 1[ y
f:
f (x) =
x2
3
Para x1 , x2 X se cumple
|f (x1 ) f (x2 )| =
1
x2
2
x2
1
2 = |(x1 x2 )(x1 + x2 )| |x1 x2 |
3
3
3
3
Es decir
f (x1 ) f (x2 ) (1 Lip()) x1 x2 ,
x1 , x2 U
(3.1)
Anlisis Real II
a
37
1
1
f (x1 ) f (x2 ) =
y1 y2
1 Lip()
1 Lip()
1
, en particular f 1 es continua. De esta
1 Lip()
manera hemos probado que f es un homeomorsmo de U sobre f (U ).
Probemos ahora que si U = Rm entonces f (U ) = Rm . Sea a Rm , para cualquier r > 0 se tiene que
Br [a] U .
Se sigue que f 1 es Lipschitz en f (U ) y Lip(f 1 )
Armacin: B(1Lip())r (f (a)) f (Br [a]). En efecto, sea y B(1Lip())r (f (a)) para probar que
o
o
x Br [a] tal que f (x) = y, consideremos la funcin
y :
Rm
x
Rm
y (x) = y (x)
Para x1 , x2 Rm , se cumple
y (x1 ) y (x2 ) = y (x1 ) y + (x2 ) = (x1 ) (x2 ) Lip() x1 x2
Se sigue que y es una contraccin y Lip(y ) Lip(), luego
o
y (a) a = y (a) a = y f (a) < (1 Lip())r (1 Lip(y ))r
Por la Proposicin 3.2.2, existe un unico x Br [a] tal que y (x) = x, es decir y = x + (x) = f (x), luego
o
r>0
k
(k N) tenemos Bk (f (a)) f (Rm ), k N. Se sigue que
1 Lip()
Rm =
kN
Bk (f (a)) f (Rm )
U
x
Rm
f (x) = T (x) + (x)
U
x
Rm
(x) = (T 1 )(x)
Anlisis Real II
a
38
Para x1 , x2 U se tiene
(x1 ) (x2 ) T 1 (x1 ) (x2 ) T 1 Lip() x1 x2
De esta manera es Lipschitz y Lip() T 1 Lip() < 1, es decir es una contraccin. Luego, por
o
el Teorema 3.2.3, la funcin
o
g : U Rm
x g(x) = x + (x)
h Ua
(3.2)
ra (h)
= 0.
h
Sea k Vb y considero h = f 1 (b + k) f 1 (b) Rm , se sigue que a + h U luego de (3.2)
donde lim
h0
[f (a)]
(ra (f 1 (b + k) f 1 (b)))
es decir
1
f 1 (b + k) = f 1 (b) + [f (a)]
(k) + b (k),
k Vb
(3.3)
b (k)
= 0. Ahora
k0
k
bien, como f (a) GL(Rm ) sabemos que C > 0 tal que f (a)(x) C x , x Rm . Desde que
ra (h)
ra (h)
C
= 0, debe existir un > 0 tal que h Ua y 0 < h < implica
< .
lim
h0
h
h
2
Si x U y es tal que 0 < x a < , de (3.2) tenemos
1
f (x) f (a)
f (a)(x a) + ra (x a) f (a)(x a) ra (x a)
C
C
C xa
xa =
xa
2
2
Anlisis Real II
a
39
C
x a . De esta manera, como f (B (a)) es abierto
2
(puesto que f es homeomorsmo) y b f (B (a)) entonces r > 0 tal que Br (b) f (B (a)). Si y Br (b)
entonces x B (a) tal que y = f (x), luego
Es decir si x B (a) entonces f (x) f (a)
f 1 (y) f 1 (b) = x a
Se sigue que
2
f 1 (y) f 1 (b)
,
yb
C
2
2
f (x) f (a) =
yb
C
C
y Br (b) {b}
lim
k0
luego
1
lim [f (a)]
k0
es decir lim
k0
[f (a)]
ra (f 1 (b + k) f 1 (b))
f 1 (b + k) f 1 (b)
ra (f 1 (b + k) f 1 (b))
k
f 1 (b + k) f 1 (b)
k
=0
=0
k (b)
= 0. De (3.3) concluimos que f 1 es diferenciable en b = f (a) y (f 1 ) (f (a)) =
k
Anlisis Real II
a
40
GL(Rm )
T
GL(Rm )
inv(T ) = T 1
= (inv f f 1 )(y),
yV
o
o
De esta manera (f 1 ) = inv f f 1 . La demostracin se sigue por induccin sobre k: Si f C 1 (U ; Rm )
f (x) GL(Rm ) y
f (x) T < T 1
(3.4)
lim
h0
ra (h)
=0
h
Observe que
ra (h1 ) ra (h2 ) = f (h1 ) f (h2 ) T (h1 h2 )
h1 h 2 ,
h1 , h2 B (0)
Luego r0 es Lipschitz en B (0), con Lip(r0 ) < T 1 1 . De esta manera, por el Teorema de la
perturbacin de un isomorsmo, concluimos que f es un homeomorsmo de B (0) sobre f (B (0)).
o
Denotando W0 = B (0), W0 = f (B (0)), claramente W0 U y W0 son abiertos y f W : Wa Wa
a
es un homeomorsmo de W0 sobre W0 . Sea y W0 entonces x W0 tal que f (x) = y. Como x
W0 = B (0), de (3.4), f (x) GL(Rm ), luego por el Teorema de la diferenciabilidad del homeomorsmo
inverso, f 1 : W0 W0 es diferenciable en f (x) = y, y W0 de esta manera f 1 es diferenciable en
o
W0 . Luego, por la Proposicin 3.2.5, f W Di k (Wa ; Wa ).
a
Anlisis Real II
a
3.3
41
Inmersiones y Sumersiones
Rm
x
Rn
f (x) = (x1 , . . . , xm , 0, . . . , 0)
Como f es lineal se tiene que f (x) = f , x Rm . De esta manera f (x) L(Rm ; Rn ) es inyectiva,
: R
t
R2
(t) = (t2 , t3 )
Como (t) = (2t, 3t2 ) se sigue que (0) = (0, 0). Concluimos que no es una inmersin de R en R2 .
o
Ejemplo 3.3.4 Sea el camino
:
R
t
R2
(t) = (t3 4t, t2 4)
Como (t) = (3t2 4, 2t), se tiene (t) = (0, 0), t R, luego es una inmersin de R en R2 .
o
Observaciones.
1. Una funcin inyectiva no necesariamente es una inmersin (ver Ejemplo 3.3.3).
o
o
2. Una inmersin no necesariamente es una funcin inyectiva (ver Ejemplo 3.3.4).
o
o
El Teorema siguiente nos muestra que toda inmersin sucientemente suave, se comporta localmente
o
como la inclusin cannica y por lo tanto es localmente inyectiva.
o
o
Teorema 3.3.1 (Forma Local de las Inmersiones) Sea U Rm un abierto, f C k (U ; Rn ) (k 1
y n m) y a U . Si f (a) L(Rm ; Rn ) es inyectiva entonces existen abiertos Wa U , Za Rnm y
Wa Rn con a Wa , 0 Za y f (a) Wa y existe ha Di k (Wa , Wa Za ) tales que ha (f (a)) = (a, 0)
y
(ha f )(x1 , . . . , xm ) = (x1 , . . . , xm , 0, . . . , 0),
(x1 , . . . , xm ) Wa .
Anlisis Real II
a
42
Rn
(x , x ) = (x , xm+1 + fm+1 (x ), . . . , xn + fn (x ))
(x1 , , xm )
(x1 , , xm )
(0)
(0)
(x1 , . . . , xm )
(xm+1 , . . . , xn )
J(0) =
I
B
GL(Rn )
Wa Za
(x , x ) = (x , x + (x )) = (y , y ),
, tenemos
(x , x ) Wa Za
Luego
ha (y , y ) = (x , x ) = (y , y (y )),
(y , y ) Wa
(ha f )(x ) = ha (f (x )) = ha (x , (x )) = (x , (x ) (x )) = (x , 0)
Esto prueba el teorema.
Corolario. Sea U Rm un abierto y f C k (U ; Rn ) (k 1 y n m) una inmersin de U en Rn
o
entonces f es localmente inyectiva.
Anlisis Real II
a
43
Rm
x
Rn
(x1 , . . . , xm ) = (x1 , . . . , xn )
Como es lineal se tiene que (x) = , x Rm . De esta manera (x) L(Rm ; Rn ) es sobreyectiva,
x Rm . As es una sumersin de Rm en Rn .
o
Ejemplo 3.3.6 Es fcil reconocer si una funcin diferenciable a valores reales es una sumersin de su
a
o
o
o
dominio en R. En efecto, sea U Rm un abierto f : U Rn una funcin diferenciable. Luego f es
o
una sumersin de U en Rn si y slo si f (x) L(Rm ; R) = (Rm ) es sobreyectiva x U si y slo si
o
o
f (x) f (x) = 0, x U .
Ejemplo 3.3.7 Sea : I R una funcin diferenciable sobre el intervalo I R y consideremos
o
f:
I R
(x, y)
R
f (x, y) = y (x)
R3
(x, y, z)
R
f (x, y, z) = x2 + y 2 + z 2
El Teorema siguiente nos muestra que toda sumersin sucientemente suave, se comporta localmente
o
como una proyeccin.
o
Teorema 3.3.2 (Forma Local de las Sumersiones) Sea U Rm un abierto, f C k (U ; Rn ) (k 1
y n m) y a = (a , a ) U , donde a = (a1 , . . . , an ) y a = (an+1 , . . . , am ). Si f (a) L(Rm ; Rn ) es
sobreyectiva entonces existen abiertos Wa U , Va Rn y Za Rmn con a Wa , f (a) Va y a Za
y existe ha Di k (Va Za , Wa ) tales que ha (f (a), a ) = a y
(f ha )(y1 , . . . , ym ) = (y1 , . . . , yn ),
(y1 , . . . , yn ) Va Za .
Anlisis Real II
a
44
Im(f (0)) = f (0)(Rm ) tiene dimensin n, podemos suponer (salvo un cambio lineal de coordenadas) que
o
f (0)(e1 ), . . . , f (0)(en ) generan Im(f (0)). Si denotamos f = (f1 , . . . , fn ) entonces
A=
(f1 , . . . , fn )
(0) GL(Rn ).
(x1 , . . . , xn )
(f1 , . . . , fn )
(f1 , . . . , fn )
(0)
(0)
(x , . . . , x )
(xn+1 , . . . , xm )
1
n
(1 , . . . , m )
= A B GL(Rm )
(0) =
I
(x1 , . . . , xm )
(n+1 , . . . , m )
(n+1 , . . . , m )
(0)
(0)
(x1 , . . . , xn )
(xn+1 , . . . , xm )
Wa
: Va Za Wa . Observe que
(f1 , . . . , fn )
(0) GL(Rn )),
(xmn+1 , . . . , xm )
o
a
entonces f se comporta localmente como la proyeccin sobre las ultimas n coordenadas. Ms espec
camente, existen abiertos Wa U , Va Rn y Za Rmn con a Wa , f (a) Va y a Za (donde
a = (a , a ) Rmn Rn ) y existe ha Di k (Za Va , Wa ) tales que
(f ha )(y , y ) = y ,
(y , y ) Za Va .
(y , y ) Za Va .
Anlisis Real II
a
45
Za
y
Rn
ga (y ) = y
(f1 , . . . , fn )
(y , ga (y ))
(xmn+1 , . . . , xm )
(f1 , . . . , fn )
(y , ga (y ))
(x1 , . . . , xmn )
Z a Va
(y , y )
Wa
(y , h2 (y , y ))
tales que
(f ha )(y , y ) = y ,
(y , y ) Za Va .
Za
y
Rn
ga (y ) = y = h2 (y , c)
a
Claramente ga es de clase C k en Za , adems como para cualquier y Za se cumple f (y , ga (y )) = c,
deniendo la funcin : Za Wa como (y ) = (y , ga (y )), tenemos
o
f ((y )) (y ) = 0
(3.5)
(y1 , . . . , ymn )
(y )
(y , . . . , y
1
mn )
(y1 , . . . , ymn , g1 , . . . , gn )
=
(y ) =
(y ) =
(y1 , . . . , ymn )
(g1 , . . . , gn )
(y )
(y1 , . . . , ymn )
f ((y )) =
I
ga (y )
(f1 , . . . , fn )
(f1 , . . . , fn )
(f1 , . . . , fn )
((y ))
((y )) =
((y )),
(x1 , . . . , xm )
(x1 , . . . , xmn )
(xmn+1 , . . . , xm )
(3.6)
(3.7)
Anlisis Real II
a
46
(f1 , . . . , fn )
((y ))
(xmn+1 , . . . , xm )
(f1 , . . . , fn )
((y ))
(x1 , . . . , xmn )
3.4
Recordemos que el rango de una transformacin lineal T L(Rm , Rn ) es denido como la dimensin de
o
o
u
a
Im (T ), o equivalentemente, como el nmero mximo de vectores las o vectores columnas linealmente
independientes de cualquier matriz asociada a T .
o
Denicin 3.4.1 Sea U Rm un abierto y f : U Rn una funcin diferenciable en U . El rango de f
o
en a U , denotado rang a (f ) es el rango de f (a) L(Rm ; Rn ).
Observacin: Si U Rm un abierto y f : U Rn entonces rang a (f ) min{m, n}, a U .
o
Ejemplo 3.4.1 Sea
f:
Se tiene que
R2
R4
(x, y) f (x, y) = (x2 + y, x2 y 3 , x y, x2 + y 2 )
2x
1
2x 3y 2
R42
Jf (x, y) =
1
1
2x
2y
f (x1 , . . . , xm ) = (x1 , . . . , xk , 0, . . . , 0)
donde k min{m, n}. Se sigue que rang x (f ) = k, x Rm . Esta funcin f es llamada proyeccin
o
o
cannica de rango k.
o
Ejemplo 3.4.3 Sea = (1 , . . . , n ) : I R Rn diferenciable en el intervalo I. Si (t) = 0 entonces
tiene rango 0 en t, pero si (t) = 0 entonces tiene rango 1 en t.
Anlisis Real II
a
47
(f1 , . . . , fk )
(a) = k,
(x1 , . . . , xk )
en donde f = (f1 , . . . , fn ).
Denimos 1 = f1 , . . . , k = fk y escogemos k+1 = k+1 , . . . , m = m . Si = (1 , . . . , n ) : U Rn
entonces C p (U ; Rm ), (a) = 0 y
(f1 , . . . , fk )
(f1 , . . . , fk )
(a)
(a)
(xk+1 , . . . , xm )
(x1 , . . . , xk )
(1 , . . . , m )
= A B
J(a) =
(a) =
I
(x1 , . . . , xm )
(k+1 , . . . , m )
(k+1 , . . . , m )
(a)
(a)
(x1 , . . . , xk )
(xk+1 , . . . , xm )
o
luego (a) GL(Rm ). Por el Teorema de la Funcin Inversa, existen abiertos Ua U y Va Rm con
a Ua y 0 Va tales que U Di p (Ua , Va ), denotemos Ga = U . Denotando (y1 , . . . , ym ) las
a
a
coordenadas de Va Rm tenemos Ga (x) = y, es decir
(f1 (x), . . . , fk (x), xk+1 , . . . , xm ) = (y1 , . . . , ym )
luego
f G1 (y)
a
(3.8)
48
Anlisis Real II
a
y Va
y Va
J(f G1 )(y) =
a
(y1 , . . . , yk )
(y)
(y1 , . . . , yk )
(y1 , . . . , yk , hk+1 , . . . , hn )
(y) =
(y1 , . . . , ym )
(hk+1 , . . . , hn )
(y)
(y1 , . . . , yk )
(hk+1 , . . . , hn )
B
(y)
(yk+1 , . . . , yn )
(y1 , . . . , yk )
(y)
(yk+1 , . . . , ym )
(hk+1 , . . . , hn )
(y)
(yk+1 , . . . , ym )
(hk+1 , . . . , hn )
(y) = ,
(yk+1 , . . . , ym )
y Va
y esto implica que hk+1 , . . . , hn slo dependen de las variables y1 , . . . , yk lo cual prueba la armacin.
o
o
1
Luego de (3.8) tenemos que f Ga : Va Rn es denida por
f G1 (y) = (y1 , . . . , yk , hk+1 (y1 , . . . , yk ), . . . , hn (y1 , . . . , yk ))
a
(3.9)
(3.10)
Claramente b (0) = 0 = b y
(u1 , . . . , uk , uk+1 + hk+1 , . . . , un + hn )
(0)
(u1 , . . . , un )
=
(uk+1 + hk+1 , . . . , un + hn ) (uk+1 + hk+1 , . . . , un + hn )
(u1 , . . . , uk )
(uk+1 , . . . , un )
Jb (b) =
GL(Rn )
Anlisis Real II
a
V W (f G1 )1 (Ub ). Denotando Ua = G1 (V W ) y Gb = b
a
a
(3.10) tenemos
G1 (y1 , . . . , yk , 0, . . . , 0)
b
=
=
1
V Z
49
: Ub V Z de (3.9) y
2) () Supongamos que f no es una sumersin (Hip. Aux.) entonces a U tal que f (a) L(Rm ; Rn )
o
no es sobreyectiva, luego rang a (f ) = k < n, por hiptesis rang x (f ) = k < n, x U . Por el
o
Teorema del Rango existen abiertos Ua U , Ub Rn , V Rk , W Rmk y Z Rnk y existen
Ga Di 1 (Ua , V W ) y Gb Di 1 (Ub , V Z) tales que Gb f G1 : V W V Z es de la forma
a
Gb f G1 (x1 , . . . , xm ) = (x1 , . . . , xk , 0, . . . , 0)
a
Como f es abierta, Ga , Gb son difeomorsmos y V W es abierto entonces Gb f G1 (V W ) =
a
V {0}, lo cual es una contradiccin.
o
() Sea W U abierto, dado a W , por hiptesis f (a) es sobreyectiva, luego por la Forma local de
o
las sumersiones existen abiertos Wa W , Va Rn y Za Rmn con a Wa , f (a) Va y a Za y
o
o
existe ha Di 1 (Va Za , Wa ) tal que f ha es una proyeccin y por tanto es una funcin abierta, as
(f ha ) (Va Za ) es un conjunto abierto.
Por otro lado, observe que
ha (Va Za )
W =
Wa =
aW
aW
luego
f (W ) = f
aW
ha (Va Za )
=
aW
(f ha )(Va Za )
Cap
tulo 4
Introduccin a la Teor de
o
a
Supercies en Rn
4.1
Denicin de Supercie
o
V0
t
V
(t) = (cos t, sen t)
Anlisis Real II
a
51
V0
t
V
(t) = (t3 t, t2 )
Es claro que es biyectiva, adems como (t) = (3t2 1, 2t) entonces (t) = (0, 0), t V0 luego es
a
una inmersin de clase C de V0 en V , sin embargo (V0 , ) no es una parametrizacin de clase C de V
o
o
puesto que no es un homeomorsmo entre V0 y V . En efecto, suponiendo por el absurdo que es un
1
homeomorsmo entonces 1 : V V0 es continua. Consideremos tn = 1, se tiene que (tn ) V0 ,
n
1
1
1
(tn ) = ( 1)3 ( 1), ( 1)2 luego lim (tn ) = (0, 1) y como 1 es continua se tiene
n
n
n
n
1 = lim tn = lim 1 ((tn )) = 1 (0, 1) = 1
n
Anlisis Real II
a
52
Armo que S n1 es una supercie de clase C y dimensin n 1 de Rn . En efecto, sea i {1, 2, . . . , n},
o
denimos los conjuntos
Ui+ = {y = (y1 , . . . , yn ) Rn : yi > 0}
y
Ui = {y = (y1 , . . . , yn ) Rn : yi < 0}
Observe que Ui+ y Ui son los semiespacios abiertos determinados por el hiperplano {yi = 0}. Claramente
{Ui+ , Ui }1in es una coleccin de conjuntos abiertos que cubren S n1 . Vamos a parametrizar Ui+ S n1
o
y Ui S n1 . Denotemos V0 = {x Rn1 : x < 1}. Note que V0 Rn1 es un conjunto abierto.
Denimos las funciones
+ :
i
y
:
i
V0
x
V0
x
Ui+ S n1
+ (x) = (x1 , . . . , xi1 ,
i
Ui S n1
+
i (x) = (x1 , . . . , xi1 ,
1 x 2 , xi , . . . , xn1 )
1 x 2 , xi , . . . , xn1 )
Ui+ S n1
y
V0
+
i
Ui S n1
y
V0
V
(U1 M1 ) (U2 M2 )
(x, y) (x, y) = (1 (x), 2 (y))
Es fcil ver que (V, ) es una parametrizacin de clase C k y dimensin m1 +m2 de (U1 M1 )(U2 M2 ) =
a
o
o
(U1 U2 ) (M1 M2 ).
m
m
De manera anloga se prueba que si M1 1 Rn1 , . . . , Ms s Rns son supercies de clase C k entonces
a
n1 ++ns
k
M1 Ms R
o
es una supercie de clase C y dimensin m1 + + ms .
Ejemplo 4.1.8 (Toros n-dimensionales) Sabemos que S 1 R2 es una supercie (curva) de clase C
y dimensin 1 entonces
o
T n = S 1 S 1 R2n
n veces
Anlisis Real II
a
53
4.2
Cambios de Coordenadas
o
Sea M m Rn una supercie de clase C k y p M entonces por denicin de supercie, debe existir
Up Rn vecindad abierta de p tal que Up M admite una parametrizacin (Vp , p ) de clase C k y
o
dimensin m. Supongamos que exista Up Rn otra vecindad abierta de p tal que Up M admita una
o
parametrizacin (Vp , p ) de clase C k y dimensin m. Es claro que (Up Up ) M = y denotemos
o
o
W = (Up Up ) M . Se tiene que cualquier punto q W (en particular p) es representado por dos
u
m-uplas de nmeros reales
1
p (q) = (x1 (q), . . . , xm (q))
o
o
U Rn con A U y que exista una funcin f : U Rm tal que f A = f (es decir f es una extensin
(a). Podemos hacer esto cuando W M ?
de f ). En estas condiciones podemos denir f (a) = f
Teorema 4.2.1 Sea M Rn . Las dos armaciones siguientes son equivalentes:
o
1. M es una supercie de clase C k y dimensin m.
2. Dado p M existen abiertos Up Rn , Vp Rm y Wp Rnm con p Up , 0 Vp , 0 Wp y
existe p Di k (Up , Vp Wp ) tal que p (p) = 0 y p (Up M ) = Vp {0}.
Demostracin. (1. 2.) Si M m Rn es una supercie, dado p M , existe Up Rn abierto con
o
o
p Up tal que Up M admite una parametrizacin (Vp , p ) de clase C k y dimensin m. Podemos suponer
o
(v una traslacin) que 0 Vp y p (0) = p.
a
o
Por la forma local de las inmersiones, existen abiertos Vp Vp Rm , Up Up Rn y Wp Rnm
con 0 Vp , p Up y 0 Wp y existe p Di k (Up , Vp Wp ) tal que
p p (x) = (x, 0)
x Vp
Anlisis Real II
a
54
i : Vp
x
Claramente
Vp {0}
1
p i.
Vp Wp
i(x) = (x, 0)
: Vp Wp
(x, y)
Vp
(x, y) = x
o
como p =
Inmediatamente se desprende que (Vp , p ) es una parametrizacin de clase C k y
dimensin m de Up M .
o
Observacin: Con la notacin del teorema anterior, se tiene que 1 = ( p )
o
o
p
, luego p :
1
o
Up Vp es una extensin de p y como p es de clase C k concluimos que
m
Up M . En particular los cambios de coordenadas son difeomorsmos de clase C .
de clase C k en
Up M
1 es
p
k
El teorema anterior nos permite extender el concepto de diferenciabilidad a funciones que estn
a
denidas en supercies.
Denicin 4.2.1 Sea M m Rr una supercie de clase C k (k 1) y f : M Rs
o
1. Decimos que f es diferenciable en el punto p M si y slo si existe una parametrizacin (Vp , p )
o
o
de clase C k y dimensin m, con p p (Vp ) M tal que f p : Vp Rs es diferenciable en el
o
1
punto p (p) Vp .
2. Decimos que f es diferenciable en M si y slo si f es diferenciable en p, p M .
o
A continuacin, probaremos que la denicin anterior no depende de la parametrizacin elegida.
o
o
o
Teorema 4.2.2 Sea M m Rr una supercie de clase C k (k 1) y f : M Rs . Las dos armaciones
siguientes son equivalentes:
1. f es diferenciable en p M .
o
o
2. Para toda parametrizacin (Vp , p ) de clase C k y dimensin m, con p p (Vp ) M se tiene que
1
f p : Vp Rs es diferenciable en el punto p (p) Vp .
Demostracin. (1. 2.) Por hiptesis, existe parametrizacin (Vp , p ) de clase C k y dimensin m, con
o
o
o
o
p p (Vp ) M tal que f p : Vp Rs es diferenciable en el punto 1 (p) Vp . Sea (Wp , p ) otra
p
parametrizacin de clase C k y dimensin m con p p (Wp ). Debemos probar que f p : Wp Rs es
o
o
1
diferenciable en el punto p (p).
Anlisis Real II
a
55
1
Observe que V = p (Vp ) p (Wp ) = es un abierto en M , luego 1 (V ) y p (V ) son abiertos de
p
1
1
Rm . Como p p : p (V ) 1 (V ) es un difeomorsmo de clase C k , tenemos
p
1
1
f p = (f p ) (p p ) : p (V ) Rs
1
es diferenciable en p (p).
4.3
Una caracter
stica importante de las supercies es que ellas poseen, en cada uno de sus puntos, una
aproximacin lineal que es su espacio tangente.
o
Denicin 4.3.1 Sea M m Rr una supercie de clase C k (k 1) y p M . El conjunto tangente a M
o
en el punto p, denotado por Tp M es denido como el conjunto
Tp M = {v Rn : : I (0) M dif. en 0 tal que (0) = p y (0) = v}
Observacin: Tp M = . En efecto, basta considerar el camino constante
o
:
I (0)
t
M
(t) = p
Anlisis Real II
a
56
p
p (a + tu) p (a)
(a) = lim
t0
u
t
I (0)
t
M
(t) = p (a + tu)
t0
(t) (0)
p (a + tu) p (a)
= lim
=v
t0
t
t
p
p
(a), . . . ,
(a)
x1
xm
en donde a = 1 (p).
p
2. Sea M m Rr una supercie de clase C k (k 1) y p M . Si (Vp , p ) y (Wp , p ) son dos
parametrizaciones de clase C k y dimensin m con p p (Vp ) M y p p (Wp ) M . Denotemos
o
1
1
a = p (p) y b = p (p), entonces
Tp M =
p
p
(a), . . . ,
(a)
x1
xm
Tp M =
p
p
(b), . . . ,
(b) .
y1
ym
m
i=1
p
i
(a)
(b)
xi
yj
Anlisis Real II
a
57
Ser natural denir f (p)(v) = (f p ) (a)(v0 ), pero antes debemos vericar que esta denicin no
a
o
depende de la parametrizacin. Sea (Wp , p ) otra parametrizacin de clase C k y dimensin m con
o
o
o
1
p p (Wp ) = W M y denotemos b = p (p), nuevamente por el Teorema 4.3.1 Tp M = p (b)(Rm ),
m
luego existe un unico w0 R tal que v = p (b)(w0 ). Como el cambio de coordenadas = 1 p :
p
1
1
p (V W ) Rm 1 (V W ) Rm es de clase C k y p p (b) = a, tenemos
p
p (a)(v0 ) = v = p (b)(w0 ) = (p ) (b)(w0 ) = p ((b)) ( (b)(w0 )) = p (a) ( (b)(w0 ))
y desde que p (a) es inyectiva, concluimos que v0 = (b)(w0 ), luego
(f p ) (b)(w0 ) = ((f p ) ) (b)(w0 ) = (f p ) (a) (b)(w0 ) = (f p ) (a)(v0 )
luego la denicin es independiente de la parametrizacin.
o
o
Denicin 4.3.2 Sea M m Rr una supercie de clase C k (k 1) y f : M m Rs una funcin
o
o
diferenciable en p M . La derivada de f en p, es la funcin f (p) : Tp M Rs denida por
o
f (p)(v) = (f p ) (a)(v0 ),
v Tp M
Anlisis Real II
a
58
entonces existe : I (0) M diferenciable en 0 tal que (0) = p y (0) = v, luego f : I (0) N es
diferenciable en 0 y (f )(0) = f (p), se sigue que
(f ) (0) Tf (p) N.
o
o
Sea (Vp , p ) una parametrizacin de clase C k y dimensin m con p p (Vp ) y denotemos a = 1 (p).
p
Sabemos que existe un unico v0 Rm tal que p (a)(v0 ) = v, tomando > 0 sucientemente pequeo tal
n
que (I (0)) p (Vp ) tenemos
(f ) (0) = f p 1 (0) = (f p ) (a)(1 ) (0)
p
p
(4.1)
Pero
(p ) (a)(v0 ) = v = (0) = p 1 (0) = (p ) (a) (1 ) (0)
p
p
1
luego v0 = (p ) (0) y reemplazando en (4.1) tenemos
4.4
f1 (x)
f2 (x)
(f1 , . . . , fn )
Jf (x) =
(x) =
Rnm
.
.
(x1 , . . . , xm )
.
fn (x)
o
o
De esta manera f (x) L(Rm , Rn ) es sobreyectiva si y slo si el rango de Jf (x) es n si y slo si
f1 (x), . . . fn (x) son linealmente independientes. As hemos probado el siguiente criterio:
,
c Rn es un valor regular de f = (f1 , . . . , fn ) : U Rm Rn si y slo si f1 (x), . . . fn (x) son
o
linealmente independientes para todo x f 1 (c).
Anlisis Real II
a
Ejemplo 4.4.2 Sea
f:
R3
(x, y, z)
59
R2
f (x, y, z) = (x2 + y 2 z 2 , x)
2x
1
2y
0
(hiprbola)
e
2z
0
se sigue que f1 (x) y f2 (x) son linealmente independientes para todo x f 1 (0, 1). Concluimos que
(0, 1) es un valor regular de f . Por otro lado, si c = (0, 0) entonces
f 1 (c) = {(x, y, z) R3 : x = 0, y 2 z 2 = 0}
En particular (0, 0, 0) f 1 (0, 1) y f1 (0, 0, 0) = (0, 0, 0) y
independientes. Luego (0, 0) no es valor regular de f .
(dos rectas)
a
Ejemplo 4.4.3 Sea U Rm un abierto y f C k (U ; Rn ) entonces el grco de f , denido por
G(f ) = {(x, f (x)) Rm Rn ; x U }
es una supercie de dimensin m y de clase C k de Rm+n . En efecto, basta considerar el par (U, ), donde
o
:
U
x
G(f )
(x) = (x, f (x))
I
Jf (x)
R(m+n)m
o
es una matriz de rango m, luego (x) es inyectiva, para todo x U , es decir es una inmersin de clase
o
o
C k , luego (U, ) es una parametrizacin de dimensin m y clase C k de G(f ).
Teorema 4.4.1 Sea U Rm un abierto, f C k (U ; Rn ) y c Rn un valor regular de f entonces
o
1. f 1 (c) Rm es una supercie de clase C k y codimensin n.
2. Tp f 1 (c) = Nu (f (p)), p f 1 (c)
Demostracin. 1.) Sea p = (p , p ) f 1 (c), desde que f (p) L(Rm ; Rn ) es sobreyectiva, por el
o
Teorema de la funcin impl
o
cita, existen abiertos Zp U , Vp Rmn con p Zp , p Vp y existe
n
o
p : Vp R funcin de clase C k tal que
G(p ) = {(x, p (x)) : x Vp } = Zp f 1 (c)
Anlisis Real II
a
Sea
p :
Vp
x
60
Zp f 1 (c)
p (x) = (x, p (x))
o
o
luego como en el ejemplo anterior, (Vp , p ), es una parametrizacin de clase C k y dimensin m n de
R
f (x) = x
= x2 + + x2
n
1
Se sigue que f (x) = 2x y por lo tanto 1 es valor regular de f . Como f 1 (1) = S n1 , se sigue que S n1
es una supercie de clase C y codimensin 1. Ms an
o
a u
Tp S n1 = Nu (f (p)) = {h Rn : p, h = 0} = p
det (A)(H) =
en donde
A=
A1
A2
.
.
.
An
H=
H1
H2
.
.
.
Hn
Ai = (ai1 , . . . , ain ) y
Hi = (hi1 , . . . , hin )
luego SL(Rn ) = det1 (1). Armo que 1 es un valor regular de det : Rnn R. En efecto, dado
A det1 (1) entonces debo probar que det (A) (Rnn ) es sobreyectiva. Por el Ejemplo 4.4.1 es
Anlisis Real II
a
61
suciente probar que det (A) = 0, A SL(Rn ), ahora bien dado A SL(Rn ) tenemos que det (A)(A) =
n det(A) = n concluimos que det(A) = 0 y esto prueba la armacin. Concluimos que SL(Rn ) es una
o
supercie de clase C y dimensin n2 1. Ms an, desde que I SL(Rn ), por el Teorema 4.4.1
o
a u
TI (SL(Rn )) = Nu (det (I)). Pero
n
det (I)(H) =
hii = traz(H)
i=1
i=1
n
Es fcil probar que A(Rn ) y S(Rn ) son subespacios vectoriales de Rnn y dim R S(Rn ) = (n + 1),
a
2
n
dim R A(Rn ) = (n 1).
2
Dado A Rnn se cumplen las siguientes propiedades:
1. AAt , A + At S(Rn ).
2. A At A(Rn ).
3. A =
1
1
(A + At ) + (A At ).
2
2
Anlisis Real II
a
62
Se cumple que O(Rn ) es un subgrupo de GL(Rn ) (Ejercicio!) Sea T L(Rn ) se cumple que T es una
o
isometr (i.e. T (x) T (y) = x y , x, y Rn ) si y slo si su matriz asociada con respecto a la base
a
cannica de Rn , es ortogonal (Ejercicio!). Vamos a probar que O(Rn ) es una supercie de clase C y
o
n
dimensin (n 1). Consideremos la funcin
o
o
2
n
f : Rnn
X
S(Rn ) R 2 (n+1)
f (X) = XX t
Armo que f es diferenciable en Rnn . En efecto, sea X Rnn , para H Rnn tenemos
f (X + H) = (X + H)(X + H)t = (X + H)(X t + H t ) = XX t + XH t + HX t + HH t
= f (X) + T (H) + rX (H)
donde
T :
Rnn
H
S(Rn )
T (H) = XH t + HX t
a
y rX (H) = HH t . Es claro que T L(Rnn , S(Rn )), adems
rX (H)
HH t
=
H
H
H
rX (H)
= . Concluimos que f es diferenciable en X y f (X)(H) = XH t + HX t , X, H
H
Rnn . Ms an f es de clase C (Ejercicio!). Armo que I es un valor regular de f . En efecto, sea
a u
X f 1 (I) = O(Rn ), debo probar que f (X) L(Rnn , S(Rn )) es sobreyectiva. Dada B S(Rn )
1
considero A = BX, luego
2
luego lim
f (X)(A) =
1
1
1
1
XX t B t + BXX t = B + B = B
2
2
2
2
esto prueba la armacin. Se sigue que O(Rn ) es una supercie de clase C y dimensin
o
o
an O(Rn ) = f 1 (I) es compacto. Por otro lado
u
n
(n 1). Ms
a
2
Anlisis Real II
a
4.5
63
Multiplicadores de Lagrange
a
Denicin 4.5.1 Sea U Rm un abierto, f : U R y X U . Decimos que x0 A es un mximo local
o
nimo local) de f X : X R si y slo si > 0 tal que f (x) f (x0 ) (respectivamente
(respectivamente m
o
f (x) f (x0 )), x B (x0 ) X.
Denicin 4.5.2 Sea U Rm un abierto, M r U una supercie de clase C k (k 1) y f : U R
o
o
una funcin diferenciable en U . Decimos que p M es un punto cr
o
tico de f M : M R si y slo si
f (p), v = 0, v Tp M .
Teorema 4.5.1 Sea U Rm abierto M r U una supercie de clase C k (k 1) y f : U R una
funcin diferenciable en U . Las dos armaciones siguientes son equivalentes:
o
tico de f
1. p M es un punto cr
v Tp M }
Anlisis Real II
a
64
Observaciones:
1. Tp M es un subespacio vectorial de Rm .
2. dim Tp M = m r = cod(M ).
3. Los elementos de Tp M son llamados vectores normales a M en el punto p.
4. Cuando M es una supercie obtenida como preimagen de un valor regular, es sencillo determinar una
base de Tp M . En efecto, sea U Rm un abierto, g C k (U, Rn ) (con k 1) y c = (c1 , . . . , cn ) Rn
o
un valor regular de g. Sabemos que M = g 1 (c) U es una supercie de clase C k y dimensin
a u
m n, ms an Tp M = Nu (g (p)), p M . Ms an, si g = (g1 , . . . , gn ) entonces dado v Tp M ,
a u
existe : I (0) M diferenciable en 0, con (0) = p y (0) = v, observe que (gj )(t) = cj ,
t I (0), luego:
gj (p), v =
1jn
Por lo tanto
gj (p), v = 0, v Tp M , 1 j n, entonces gj (p) Tp M , 1 j n.
Pero desde que g1 (p), . . . , gn (p) son linealmente independientes y dim Tp M = n, concluimos
el siguiente resultado: Si M = g 1 (c) entonces
Tp M =
g1 (p),
g2 (p), . . . ,
gn (p) .
o
cr
ticos.
Teorema 4.5.3 (Multiplicadores de Lagrange) Sea U Rm abierto, g = (g1 , . . . , gn ) C 1 (U, Rn ),
f : U R una funcin diferenciable en U , c Rn un valor regular de g y denotemos M = g 1 (c). Se
o
cumple que p M es un punto cr
tico de f M : M R si y slo si existen 1 , . . . , n R tales que
o
f (p) = 1 g1 (p) + 2 g2 (p) + + n gn (p)
tico de f M : M R si y slo si
o
Demostracin. p M es un punto cr
o
f (p), v = 0, v Tp M
si y slo si f (p) Tp M =
o
g1 (p), g2 (p), . . . , gn (p) si y slo si existen 1 , . . . , n R tales que
o
f (p) = 1 g1 (p) + + n gn (p).
Observacin. Los nmero reales 1 , . . . , n son llamados multiplicadores de Lagrange.
o
u
Ejemplo 4.5.1 Vamos a determinar los extremos locales de f (x, y, z) = x + y + z bajo las condiciones
x2 + y 2 = 2
x+z =1
Para ello, consideramos la funcin g : R3 R2 denida por
o
g(x, y, z) = (g1 (x, y, z), g2 (x, y, z)) = (x2 + y 2 , x + z)
Anlisis Real II
a
Claramente
65
g2 (x, y, z) =
i
2x
1
j
2y
0
k
0
1
Se sigue que g1 (x, y, z) y g2 (x, y, z) son linealmente dependientes si y slo si (2y, 2x, 2y) = (0, 0, 0)
o
si y slo si x = 0 y y = 0. Como
o
M = g 1 (2, 1) = {(x, y, z) R3 : x2 + y 2 = 2
x + z = 1},
claramente (0, 0, z) g 1 (2, 1). De aqu (2, 1) es un valor regular de g y por consiguiente M R3 es una
/
,
supercie de dimensin 1 y clase C . Por otro lado (x, y, z) es un punto cr
o
o
tico de f M : M R si y slo
si (x, y, z) M y existen constantes 1 , 2 R tales que f (x, y, z) = 1 g1 (x, y, z) + 2 g2 (x, y, z) si
y slo si (x, y, z) M y existen constantes 1 , 2 R tales que (1, 1, 1) = 1 (2x, 2y, 0) + 2 (1, 0, 1) si y
o
slo si
o
21 x + 2 = 1
21 y = 1
2 = 1
x2 + y 2 = 2
x+z =1
Cap
tulo 5
Integrales M ltiples
u
5.1
B = I1 I2 Im =
Ii .
i=1
Si todo los intervalos Ii son abiertos (resp. cerrados, acotados, compactos, etc.), diremos que el m-bloque
m
B=
Ii es abierto (resp. cerrado, acotado, compacto, etc.) Si todos los intervalos Ii tienen la misma
i=1
longitud, entonces B =
Ii es llamado m- cubo.
i=1
Para propsitos posteriores, vamos a admitir que uno o ms de los intervalos Ii conste de un slo
o
a
o
m
Ii es un m-bloque degenerado.
Si I R es un intervalo acotado (es decir, del tipo [a, b], ]a, b[, ]a, b], [a, b[ o inclusive [a]), el volumen
unidimensional o longitud vol (I) de I, se dene por
vol (I) = b a.
m
Si B =
por vol (B) se dene como el producto de las longitudes de los intervalos Ii , es decir
m
vol (Ii ).
vol (B) =
i=1
66
Anlisis Real II
a
67
Observaciones:
1. El volumen de un m-bloque degenerado es cero.
2. Si m = 1, 2, 3 entonces el m-bloque B se denomina respectivamente intervalo, rectngulo, paa
a
ralelep
pedo y su volumen vol (B) pasa a ser llamado longitud, rea y volumen, respectivamente.
m
Sea B =
i=1
donde k = 1, 2, . . . m.
Para m = 1, 2, 3, una (m 1)-cara es un extremo del intervalo, un lado del rectngulo o una cara del
a
paralelep
pedo.
Es claro que toda (m 1)-cara de un m-bloque, tiene volumen (m-dimensional) cero.
De manera anloga se denen las (m k)-caras (k = 2, . . . , m) de un m-bloque. Las 0-caras son
a
e
llamadas vrtices del m-bloque.
m
(1 i m)
Si denotamos por Ii,ji = [ti,ji 1 , ti,ji ] (1 ji ki ) al ji -simo intervalo generado por Pi P([ai , bi ])
e
entonces
I1,j1 I2,j2 Im,jm
es un m-bloque contenido en B, al cual denotaremos por Bj1 ,...,jm y llamaremos m-subbloque
generado por P P(B). En muchas ocasiones es conveniente enumerar consecutivamente a estos
subbloques y denotarlos por Bi , con 1 i k = k1 km . En cualquier caso, escribiremos
Anlisis Real II
a
68
P = {Bj1 ,...,jm } P = {Bi } P(B) para decir que los Bj1 ,...,jm (o los Bi ) son los subbloques
o
generados por la particin P . Es claro que
o
k
vol (B) =
vol (Bi ).
i=1
Sea B =
i=1
o
[a1 , bi ] un m-bloque compacto y f : B R una funcin acotada, denotemos
m(f ) = inf{f (x) : x B}
M (f ) = sup{f (x) : x B}
Mi (f ) = sup{f (x) : x Bi }
Se cumple
m(f ) mi (f ) f (x) Mi (f ) M (f ),
x B,
mi (f ) vol (Bi ) y
U (f, P ) =
Mi (f ) vol (Bi )
i
Es claro que
m(f ) vol (B) L(f, P ) U (f, P ) M (f ) vol (B),
P P(B)
o
La Integral Superior y la Integral Inferior de una funcin acotada f : B R se denen respectivamente
como
f (x)dx =
B
f (x)dx
B
= sup{L(f, P ) : P P(B)}
f y
f en vez de
B
f (x)dx y
B
f (x)dx, respectivamente.
B
Anlisis Real II
a
69
= {Ii1 BJ ; 1 i1 k1 , J}
= {Ii1 BJ ; 1 i1 = i k1 , J} {[ti1 , t ] BJ , [t , ti ] BJ ; J}
Si denotamos
m (f ) = inf{f (x) : x [ti1 , t ] BJ }
i,J
m (f ) = inf{f (x) : x [t , ti ] BJ }
i,J
mi,J (f ) m (f ), mi,J (f )
i,J
y de aqu
Luego:
mi1 ,J (f ) vol (Bi1 ,J )
L(f, P ) =
i1
=
J
i1 =i
i1 =i
L(f, Q)
P, Q P(B).
Anlisis Real II
a
70
sup A
Supongamos que sup A <
B
f (Hip. Aux.) luego existe P1 P(B) tal que sup A < L(f, P1 ). Pero
f U (f, P )
P, Q P(B). Luego
B
Q P(B)
o
Denicin 5.1.2 Sea B un m-bloque compacto, f : B R una funcin acotada. Decimos que f es
o
Riemann integrable sobre B si y slo si
o
f=
B
f
B
Anlisis Real II
a
f (x)dx
o
B
dene como
f=
f=
B
71
f se
B
f
B
Denotaremos por R(B) al conjunto de todas las funciones Riemann integrables sobre B.
o
Observacin: Sea B un m-bloque compacto, f : B R una funcin acotada. Si f R(B) entonces
o
por el Corolario 3 se tiene que
L(f, P )
f U (f, P )
P P(B)
f=
f
B
luego
B
U (f, P1 )
f+
B
<
f < L(f, P2 ) +
B
L(f, P ) +
< L(f, P2 ).
f=
B
f.
B
Existe otra caracterizacin de funcin Riemann integrable, la cual usa el concepto de oscilacin.
o
o
o
o
o
Denicin 5.1.3 Sea X Rm y f : X R una funcin acotada. La oscilacin de f sobre el conjunto
o
X, denotada por (f, X) es denida como
(f, X) = sup{|f (x) f (y)| : x, y X}
Anlisis Real II
a
72
Demostracin. 1.) Sean x, y X, cosideremos dos casos: Si f (x) f (y) entonces |f (x) f (y)| =
o
f (x) f (y) MX (f ) mX (f ).
Si f (x) < f (y) entonces |f (x) f (y)| = f (y) f (x) MX (f ) mX (f ).
En cualquier caso se tiene que |f (x) f (y)| MX (f ) mX (f ), x, y X, es decir (f, X) MX (f )
mX (f ).
Supongamos que (f, X) < MX (f ) mX (f ) (Hip. Aux.) entonces (f, X) + mX (f ) < MX (f ), luego
existe un x0 X tal que (f, X) + mX (f ) < f (x0 ), se sigue que mX (f ) < f (x0 ) (f, X), luego existe
=
i
Mi (f ) vol (Bi )
mi (f ) vol (Bi ) =
i
=
i
xy
=
j=1
|xj yj |2 <
Pj
j=1
m P
< 2
Anlisis Real II
a
73
5.2
B
x
R
f (x) = 1
entonces f R(B) y
1 = vol (B)
B
L(1, P ) =
U (1, P ) =
1 = vol (B).
B
f
B
L(cf, P ) =
i
Anlogamente
a
B
cf = c
B
f.
B
f =c
B
Anlisis Real II
a
Lema 5.2.1 Si B un m-bloque compacto y f, g : B R son funciones acotadas entonces se cumple
B
(f + g)
(f + g)
1.
2.
f+
g.
B
f+
g.
B
Por tanto
k
L(f + g, P ) =
i
mi (f + g) vol (Bi )
L(f, P ) + L(g, P ),
mi (f ) vol (Bi ) +
P P(B)
(f + g)
f+
(f + g)
B
g.
B
f+
B
g
B
f+
g=
B
(f + g)
f+
(f + g) =
B
(f + g)
f+
B
g=
B
f+
B
g.
B
Observacin: Los resultados anteriores nos dice que R(B) es un R-espacio vectorial y el operador
o
es un funcional lineal.
R(B)
(f ) =
f
B
74
Anlisis Real II
a
75
Teorema 5.2.4 Si B un m-bloque compacto y f, g R(B) tales que f (x) g(x), x B entonces
B
g
B
Demostracin. Sea P = {Bi } P(B). Para x Bi se cumple que mi (f ) f (x) g(x), luego
o
mi (f ) mi (g). Se sigue que
L(f, P ) =
mi (f ) vol (Bi )
g=
B
g,
B
P P(B)
g.
B
Observaciones:
1. Si B un m-bloque compacto y f R(B) es tal que f (x) 0, x B entonces
f 0.
o
2. El operador : R(B) R es montono, es decir si f, g R(B) con f g entonces (f ) (g).
Denicin 5.2.1 Sea X Rm y f, g : X R
o
1. El mximo de f y g, y el m
nimo de f y g son las funciones max{f, g}, min{f, g} : X R denidas
a
por
max{f, g}(x) = max{f (x), g(x)} y min{f, g}(x) = min{f (x), g(x)}, x X
2. La parte positiva de f y la parte negativa de f , denotadas respectivamente por f + , f son las
funciones f + , f : X R denidas por
f + = max{f, 0}
f = min{f, 0}
Observaciones:
1. De las deniciones de mximo y m
a
nimo se sigue directamente que:
max{f, g} =
1
(f + g + |f g|) y
2
luego
f+ =
1
(f + |f |)
2
min{f, g} =
f =
1
(f + g |f g|)
2
1
(|f | f )
2
Anlisis Real II
a
76
5. f 0 f + = f y f = 0.
6. f 0 f + = 0 y f = f .
7. f + f = 0.
Lema 5.2.2 Si B un m-bloque compacto y f : B R una funcin acotada entonces se cumple
o
U (f, P ) L(f, P ) = [U (f + , P ) L(f + , P )] + [U (f , P ) L(f , P )], P P(B)
Demostracin. Sea P = {Bi } P(B). Armo que
o
Mi (f ) mi (f ) = Mi (f + ) mi (f + ) + Mi (f ) mi (f )
En efecto, consideremos tres casos:
Caso 1: mi (f ) 0. Se cumple Mi (f + ) = Mi (f ), mi (f + ) = mi (f ), Mi (f ) = mi (f ) = 0 y la igualdad
se cumple trivialmente.
Caso 2: Mi (f ) 0. Se cumple Mi (f + ) = mi (f + ) = 0 y Mi (f ) = mi (f ), mi (f ) = Mi (f ), y
nuevamente la igualdad se cumple trivialmente.
Caso 3: mi (f ) < 0 < Mi (f ). En este caso Mi (f + ) = Mi (f ), mi (f + ) = 0, Mi (f ) = mi (f ) y
mi (f ) = 0, luego
Mi (f ) mi (f ) = Mi (f + ) + Mi (f ) = Mi (f + ) mi (f + ) + Mi (f ) mi (f )
lo cual prueba la armacin.
o
Multiplicando la igualdad por vol (Bi ) y sumando sobre i, el lema se sigue.
Teorema 5.2.5 Si B es un m-bloque compacto y f : B R es una funcin acotada, se tiene
o
f R(B) f + , f R(B)
Demostracin. () Dado
o
anterior
> 0, existe un P P(B) tal que U (f, P ) L(f, P ) < . Por el lema
Luego f + , f R(B).
() Si f + , f R(B) entonces f = f + f R(B).
Corolario. Si B es un m-bloque compacto y f, g R(B) entonces
1. |f | R(B) y
B
|f |
Anlisis Real II
a
77
max{f, g} max
g ,
f,
B
min{f, g} min
f,
B
g
B
Demostracin. Como f R(B) entonces f + , f R(B), luego |f | = f + + f R(B). Por otro lado,
o
desde que |f | f |f |, se tiene que
|f |
|f |
2M
i
P P(B)
donde |f (x)| < M , x B. Dado > 0, como f R(B), existe P P(B) tal que U (f, P ) L(f, P ) <
. Se sigue que U (f 2 , P ) L(f 2 , P ) < y por lo tanto f 2 R(B).
2M
En el caso general, tenemos
f 2 = (f + f )2 = (f + )2 2f + f + (f )2 = (f + )2 + (f )2
1
1
(f + g)2 (f g)2 .
4
4
R
1X (x) =
1,
0,
si x X
si x Rm X
Anlisis Real II
a
78
Demostracin. Sea P0 P(B) particin que contiene a A como subbloque. Dado P = {Bi } P(B)
o
o
renamiento de P0 , denotemos por I al conjunto de
ndices i tales que Bi A. Se cumple:
L(1A , P ) =
U (1A , P )
=
i
iI
Se sigue que
1A
1A
Sea A m-bloque compacto tal que A int (A ) B y jemos Q0 P(B) particin que contiene a A
o
como subbloque. Dado P = {Bi } P(B) renamiento de Q0 , se cumple:
U (1A , P ) =
i
Se sigue que
vol (A)
1A vol (A )
5.3
Denicin 5.3.1 Decimos que X Rm tiene medida m-dimensional cero o simplemente m-medida cero,
o
si y slo si para todo > 0, existe una familia numerable {Ck }kN de m-cubos abiertos y acotados tales
o
que
Anlisis Real II
a
1. X
2.
79
Ck .
k=1
k=1
Observaciones:
1. Todo conjunto unitario de Rm tiene m-medida cero.
2. Todo subconjunto nito de puntos de Rm tiene m-medida cero.
3. Todo subconjunto de un conjunto de m-medida cero tiene m-medida cero.
4. La unin de una familia nita de conjuntos de m-medida cero tiene m-medida cero.
o
5. En la denicin anterior podemos reemplazar m-cubos abiertos por m-cubos cerrados, m-bloques
o
o
cerrados, m-bloques abiertos, bolas abiertas bolas cerradas de Rm .
Proposicin 5.3.1 Si {Xk }kN es una familia numerable de subconjuntos de Rm que tienen m-medida
o
cero, entonces X =
k=1
o
Demostracin. Sea > 0, dado j Z+ (jo, arbitrario), existe {Cj,k } coleccin numerable de m-cubos
o
abiertos tales que Xj =
Cj,k y
k=1
k=1
2j+1
Cj,k .
j,k=1
2. Sea F N N conjunto nito entonces existe k0 N tal que si (j, k) F entonces j, k k0 . Luego
k0
(j,k)F
se sigue que
vol (Cj,k )
k0
k0
vol (Cj,k )
j=1
j,k=1
j=1
k=1
vol (Cj,k )
<
<
2j+1
<
Anlisis Real II
a
80
vol (B)
vol (Cj )
j,1
jN
C ji B, entonces 1B 1
k
S
i=1
1B
i=1
!
Cj
1C . Se sigue que
ji
i=1
vol (B) =
Cji . Sea B un
i=1
1C
ji
=
i=1
vol (Cji )
vol (Cj )
j,1
vol (Cj ) y
j,1
vol (Cj ).
j,1
Teorema 5.3.2 Sea B un m-bloque acotado. B tiene m-medida cero si y slo si B es degenerado.
o
Demostracin. () Sea B un m-bloque B de m-medida cero y supongamos que B es no degenerado
o
(Hip. Aux.). Como vol (B) > 0 existe una coleccin numerable {Cj }jN de m-cubos abiertos tales que
o
B
jN
Cj y
j=1
vol (B)
lo cual es una contradiccin.
o
Anlisis Real II
a
81
o
, a + j , (con > 0 dependiente de a elegir). Claramente {Bj }jN es una coleccin
2j
2
de m-bloques cerrados tales que B
Bj y
Bj = B a
jN
j=1
Si tomamos
<
2 vol (B )
vol (Bj ) =
j=1
vol (B )
2j1
= 2 vol (B )
jN
Cj , luego U {p}
jN
(Cj {p}).
Por el teorema anterior el cubo degenerado Cj {p} tiene (m + n)-medida cero y de aqu el resultado
,
se sigue.
Observaciones:
a
1. En la categor de los m-bloques degenerados, tener m-medida cero es equivalente a tener volumen
cero.
2. Las (m k)-caras de los m-bloques tienen m-medida cero.
proco de este resultado es falso como
3. Sea X Rm de m-medida cero entonces int (X) = . El rec
se muestra en el siguiente ejemplo.
Ejemplo 5.3.1 (Conjunto de Cantor de medida positiva) Vamos a construir inductivamente un
conjunto compacto X [0, 1] de interior vac pero de 1-medida positiva. Para ello tomemos a ]0, 1/2[ ,
o
se cumple
1
an =
1 < 1,
1a
n=1
tomemos = 1
n=1
o
el intervalo abierto J1 de centro 1/2 y longitud a, quedando [0, 1] J1 el cual es unin de dos intervalos
cerrados disjuntos. En la segunda etapa, de cada uno de los dos intervalos restantes de la etapa anterior,
a2
,
retiramos el intervalo abierto (centrado en el centro de cada uno de los intervalos) y de longitud
2
denotemos J2,1 y J2,2 a estos intervalos y por J2 a su unin. Queda entonces el conjunto [0, 1] J1 J2
o
el cual consta de 4 intervalos. Prosiguiendo inductivamente, en la etapa k tenemos el conjunto [0, 1]
J1 Jk el cual consta de 2k intervalos disjuntos y se cumple
Js = Js,1 Js,2s1 ,
s = 2, . . . k
Anlisis Real II
a
82
as
, luego Js tiene longitud as .
2s1
u
Js . Por construccin X es compacto, no puede contener ningn intervalo
o
sN
a
(es decir int (X) = ) y adems, armo que X no tiene m-medida cero. En efecto, en primer lugar observe
que
2s1
vol (Js,j ) =
s=1
s=1 j=1
as = 1 .
Si X tuviera m-medida cero (Hip. Aux.) entonces existir {Cj } familia numerable de intervalos abiertos
a
tal que X
Cj y
j=1
jN
([0, 1] X)
[0, 1] = X
Por el Lema 5.3.1:
1 = vol ([0, 1])
vol (Cj ) +
jN
2s1
s=1 j=1
j=1
Cj
Js
sN
j=1
2. X
j=1
Cj
Y.
k=1
Ck y
k=1
Considerando la coleccin numerable de m-cubos abiertos y acotados {Cj , Ck : j, k N}, se cumple que
o
j=1
Cj
k=1
Ck
Anlisis Real II
a
y
vol (Cj ) +
j=1
83
k=1
k=1
Ck y
k=1
f (X) = f
Adems
a
Ck
k=1
k=1
vol (Dk ) =
=f
( mK)m
m
k
X Ck
k=1
= ( mK)
k=1
k=1
f (X Ck )
vol (Ck )
Dk
k=1
<
k=1
k=1
xX
k=1
Vx k
k=1
f (X Vxk )
Anlisis Real II
a
84
> 0 tal
y, z B [x]
(x, y)
Rn
g(x, y) = f (x)
Se sigue que g C 1 (U, Rn ) y g(U {0}) = f (U ). Por el corolario al Teorema 5.3.2 tenemos que U {0}
tiene n-medida cero luego f (U ) = g(U {0}) tiene n-medida cero.
Observaciones:
1. Si I R es un intervalo abierto tal que [0, 1] I y f C 1 (I, Rn ) entonces f ([0, 1]) tiene n-medida
cero, luego int (f ([0, 1])) = . Se deduce que en clase C 1 no existen curvas de Peano.
2. La propiedad de que un conjunto tenga medida cero es preservada por funciones de clase C 1 .
5.4
En la presente seccin, daremos condiciones necesarias y sucientes para que una funcin acotada f :
o
o
B R, en donde B es un m-bloque compacto, sea Riemann integrable sobre B. Para ello, necesitamos
algunos resultados previos.
Sea X Rm y f : X R funcin acotada. Recordemos que la oscilacin de f en X se deni como
o
o
o
(f, X) = sup{|f (x) f (y)| : x, y X}
y satisfac las siguientes propiedades:
a
1. Si MX (f ) = sup{f (x) : x X} y mX (f ) = {f (x) : x X} entonces (f, X) = MX (f ) mX (f ).
Anlisis Real II
a
85
R
x () = (f, X B (x))
0+
o
Denicin 5.4.1 Sea X Rm y f : X R una funcin acotada. La oscilacin de f en el punto x,
o
o
denotada por (f, x) se dene como
(f, x) = inf{(f, X B (x)); > 0}
Teorema 5.4.1 Sea X Rm y f : X R una funcin acotada. Se cumplen las siguientes propiedades:
o
1. (f, x) 0, x X.
2. (f, x0 ) = 0 si y slo si f es continua en x0 .
o
3. Si x int (Y ) e Y X entonces (f, x) (f, Y ). En particular, si x int (X) entonces
(f, x) (f, X).
4. Si (f, x0 ) < c entonces > 0 tal que (f, x) < c, x X B (x0 ).
5. Si X Rm es cerrado (respectivamente compacto) entonces el conjunto {x X : (f, x) c} es
cerrado (respectivamente compacto), para todo c 0.
Anlisis Real II
a
86
Demostracin. 2.) () Si (f, x0 ) = 0 entonces inf{(f, X B (x0 )) : > 0} = 0, luego dado > 0
o
existe un > 0 tal que (f, X B (x0 )) < , luego |f (x) f (y)| < , x, y X B (x0 ). En particular
si x X y x x0 < entonces |f (x) f (x0 )| < . Es decir, f es continua en x0 .
() Dado
> 0 existe un > 0 tal que si x X y x x0 < entonces |f (x) f (x0 )| <
x, y X B (x0 ) entonces
2
<
3
. Sean
2
3
f (x, y) =
si x 0
si x > 0
Como (f, B (0)) = sup{f (x, y); (x, y) B (0)} inf{f (x, y); (x, y) B (0)} = 1,
> 0, se cumple
j=1
Cj y
j=1
2K
2 vol (B)
En efecto, como f es continua en x entonces (f, x) = 0, luego existe un > 0 tal que (f, B (x) B) <
o
. Tomando Cx un m-cubo abierto tal que Cx B (x), se prueba la armacin.
2 vol (B)
Anlisis Real II
a
Observe que
B = Df (B Df )
j=1
r
j=1
Cj
Cj
xBDf
87
Cx
Cxk
k=1
Consideremos P = {Bi } P(B) tal que cumple por lo menos una de las dos alternativas siguientes:
o
Bi Cj Bi Cxk . Denotando por I = {i; Bi Cj } y J = {i; Bi Cxk }, se cumple:
(f, Bi ) vol (Bi )
iI
<
vol (Bi ) +
K
iI
< K
2K
2 vol (B)
2 vol (B)
vol (Bi )
iJ
vol (B) =
j=1
x B; (f, x)
1
j
iI
vol (Bi )
iI
1
(f, x) (f, Bi ), luego
j
es decir
vol (Bi ) <
iI
Bi
iI
o
Y , en donde Y es la unin de las caras de los sub-bloques Bi tales
que i I. Como Y tiene m-medida cero, de la Proposicin 5.3.3 se sigue que Dj tiene m-medida cero,
o
j N.
Anlisis Real II
a
5.5
88
Integracin Iterada
o
o
Sean B1 Rm y B2 Rn dos bloques compactos y f : B1 B2 R una funcin acotada. Dado x B1 ,
denimos
f x : B2 R
y f2 (y) = f (x, y)
o
Observe que fx es la restriccin de f al (m + n)-bloque degenerado {x} B2 Si f R(B1 B2 ) entonces
fx R(B2 ), x B1 ?
Ejemplo 5.5.1 Consideremos la funcin
o
f : [0, 1] [0, 1]
(x, y)
0,
1,
f (x, y) =
0,
si x = 1/2
si x = 1/2, y Q
si x = 1/2, y I
Claramente Df = {1/2} [0, 1]. Como Df tiene medida cero, concluimos que f R([0, 1] [0, 1]), pero
[0, 1]
f1/2 :
f1/2 (y) =
1,
0,
si y Q
si y I
B1
x
R
L(x) =
U : B1
fx (y)dy
B2
U (x) =
B1
L(x)dx =
B1
B2
B1
U(x)dx =
B1
B2
f
B1 B2
f (x, y)dy dx =
f
B1 B2
fx (y)dy
B2
Anlisis Real II
a
89
1
1
2
2
Demostracin. Sean P1 = Bi P(B1 ) y P2 = Bj P(B2 ) entonces P = P1 P2 = Bi Bj
o
P(B1 B2 ). Se cumple
L(f, P )
=
i,j
=
i
1
2
mi,j (f ) vol (Bi Bj ) =
1
Por otro lado, si x Bi entonces
i,j
1
2
mi,j (f ) vol (Bi ) vol (Bj )
2
1
mi,j (f ) vol (Bj ) vol (Bi )
(5.1)
2
2
1
mi,j (f ) = inf{f (x, y) : (x, y) Bi Bj } inf{fx (y) : y Bj } = mj (fx )
Luego
j
es decir
j
2
mi,j (f ) vol (Bj )
2
mj (fx ) vol (Bj ) = L(fx , P2 )
B2
fx (y)dy = L(x)
2
1
mi,j (f ) vol (Bj ) mi (L), x Bi . Reemplazando en (5.1)
1
mi (L) vol (Bi ) = L(L, P1 )
L(f, P )
(5.2)
Anlogamente
a
U (U, P1 ) U (f, P )
(5.3)
De (5.2) y (5.3)
L(f, P ) L(L, P1 ) U (L, P1 ) U (U, P1 ) U (f, P ),
P = P1 P2 P(B1 B2 )
Como f R(B1 B2 ), dado > 0, existe P = P = P1 P2 P(B1 B2 ) tal que U (f, P ) L(f, P ) < ,
luego existe P1 P(B1 ) tal que U (L, P1 ) L(L, P1 ) <
f.
B1 B2
Observaciones:
1. Una demostracin anloga muestra que
o
a
f=
B1 B2
f (x, y)dx dy =
B2
B1
f (x, y)dx dy
B2
B1
fx (y)dy =
B2
B2
fx (y)dy
B2
B1
L=
Anlisis Real II
a
90
Por lo tanto
f (x, y)dy dx =
B1
B2
f
B1 B2
B2
B1
Anlogamente
a
f (x, y)dx dy =
f
B1 B2
3. Si B =
i=1
f=
B
5.6
an
b1
f (x1 , . . . , xn )dx1
a1
dxn
Hasta ahora slo sabemos integrar sobre m-bloques compactos, en la presente seccin vamos a ver que se
o
o
puede integrar sobre conjuntos ms generales.
a
Sea X Rm , la funcin 1X : Rm R denida por
o
1X (x) =
1, si x X
/
0, si x X
1X
B
Anlisis Real II
a
91
Cj y
jN
j=1
vol (X) =
B
1X
1C1 Cs
1Cj =
j=1
Dado
claramente X
B i y adems
a
iI
vol (Bi )
>
i
iI
Anlisis Real II
a
92
(1XY + 1XY ) =
B
1X +
B
fX :
fX (x) =
f (x), x X
0,
xBX
Denicin 5.6.2 Sea X J (Rm ) y f : X R una funcin acotada. Decimos que f es Riemann
o
o
Integrable sobre X, lo que denotamos f R(X) si y slo si fX R(B), en donde B es un m-bloque
o
compacto tal que X int (B). En caso armativo denimos
f=
X
fX
B
o
Teorema 5.6.4 Sea X J (Rm ), f : X R una funcin acotada y denotemos
Df = {x X; f es discontinua en x}.
f R(X) si y slo si Df tiene m-medida cero.
o
Demostracin. En primer lugar armo que Df DfX Df X. En efecto: Supongamos que
o
Df (Rm DfX ) = (Hip. Aux.) y tomemos x Df con x DfX entonces (xk ) X tal que
/
lim xk = x y lim f (xk ) = f (x). Como fX es continua en x entonces lim fX (xk ) = fX (x), luego
k
lim f (xk ) = f (x) contradiccin! esto prueba que x DfX . El otro contenido es anlogo, y as la
o
a
o
armacin est probada. Como X J (Rm ), X tiene m- medida cero, luego f R(X) si y slo si
o
a
fX R(B) si y slo si DfX tiene m-medida cero si y slo si Df tiene m-medida cero.
o
o
Anlisis Real II
a
93
(f + g) =
X
f+
g.
f.
cf = c
X
m vol (X)
g. En particular, si m f (x) M ,
f M vol (X)
|f |. En particular
f = 0.
X
Demostracin. Sea B un m-bloque compacto tal que X int (B). Desde que (f + g)X = fX + gX
o
(Ejercicio!) se sigue que si f, g R(X) entonces fX , gX R(B), luego (f + g)X = fX + gX R(B), es
decir f + g R(X). Adems
a
(f + g) =
X
(f + g)X =
B
(fX + gX ) =
B
fX +
B
gX =
B
f+
X
g
X
m vol (X) =
Se sigue que
1
vol (X)
M = M vol (X)
1
vol (X)
f.
X
Anlisis Real II
a
o
Teorema 5.6.7 Sean X, Y J (Rm ). Se cumple que f R(X Y ) si y slo si f
f Y R(Y ). En caso armativo
f=
f+
XY
XY
f+
X
94
R(X) y
f
Y
f+
X
f
Y
Df D
X Y
Como X, Y J (Rm ) se tiene que X y Y tienen m-medida cero, luego f R(X Y ) si y slo si Df
o
tiene m-medida cero si y slo si D
yD
o
tienen m-medida si y slo si f X R(X) y f Y R(Y ).
o
f
Sea B un m-bloque compacto tal que X Y int (B) y consideremos las funciones fXY , fXY :
B R, se cumple fXY + fXY = fX + fY , luego
f+
XY
fXY +
f=
XY
fXY =
fY =
fX +
B
f+
X
f
Y
f
Y
a
Demostracin. X = (X Y )Y , int ((X Y )Y ) = , X Y J (Rm ) y adems como int (X Y ) = ,
o
por el ejercicio vol (X Y ) = 0, luego
f=
f=
X
(XY )Y
f+
XY
f=
Y
f
Y
f
U
Demostracin. Como U = int (X) entonces U X luego U J (Rm ) e int (X U ) = int (X) = .
o
f=
f.
U
Anlisis Real II
a
95
Observacin: En virtud del corolario anterior, de ahora en adelante podemos suponer que las integrales
o
se realizan sobre conjuntos abiertos J-medibles.
Sea X J (Rm ), se puede usar el Teorema 5.5.1 para calcular
f=
X
o
f , puesto que, por denicin
X
Ejemplo 5.6.1 Sea X = [1, 1] [1, 1] B1 (0) y f R(X), nos proponemos hallar
consideremos B = [2, 2] [2, 2] y la funcin entonces
o
B
(x, y)
fX :
fX (x, y) =
es decir
fX (x, y) =
f , para ello
X
f (x, y),
0,
f (x, y),
0,
si (x, y) X
si (x, y) B X
si 1 y 1 x2 1 x2 y 1,
o
en otro caso.
1 x 1
De esta manera
1x2
f=
X
fX =
B
f (x, y)dy +
1x2
f (x, y)dy dx
Para nalizar la seccin, probaremos que existen abiertos acotados que no son J-medibles. En efecto,
o
sea X el conjunto de Cantor de medida positiva y denotamos Y = X [0, 1]. Supongamos que Y tiene
2-medida cero (Hip. Aux.) denotemos B = [0, 1] [0, 1] Y , como Y Y , por la hiptesis auxiliar
o
concluimos que f = 1Y R(B). Por el teorema de la integracin iterada, la funcin
o
o
L:
[0, 1]
x
L(x) =
fx (y)dy
0
es Riemann integrable sobre [0, 1]. Observe que para x X tenemos fx = 1 (puesto que si y [0, 1]
entonces (x, y) Y , luego 1 = fx (y) = 1Y (x, y)). Anlogamente, si x X entonces fx = 0. Luego
a
/
1
L(x) =
fx (y)dy =
0
fx (y)dy =
0
1,
0,
si x X
si x X
/
es decir L = 1X , concluimos que 1X R([0, 1]) y por tanto X = X tiene 1-medida cero lo cual es una
contradiccin. De esta manera Y = X [0, 1] tiene 2-medida cero. Ahora es fcil construir un abierto
o
a
de R2 cuya frontera no tiene 2-medida cero. En efecto, sea B cualquier 2-bloque abierto que contenga a
[0, 1] [0, 1] y sea U = B Y . Como Y es cerrado tenemos que U es abierto y como Y U (Ejercicio!)
deducimos que U no tiene 2-medida cero.
a
o
La existencia de abiertos acotados que no sean J-medibles es mala para la teor de la integracin
f no nece-
puesto que si U es uno de tales abiertos, con la teor estudiada hasta el momento la integral
a
U
sariamente estar denida, an suponiendo que f C(U ). Nos proponemos corregir esta desagradable
a
u
situacin y para ello introduciremos el concepto de particin de la unidad.
o
o
Anlisis Real II
a
5.7
96
Particiones de la Unidad
En esta seccin, estudiaremos una herramienta de extrema utilidad en la Teor de la Integracin. Para
o
a
o
ello, necesitamos antes un concepto previo.
Denicin 5.7.1 Sea U Rm un abierto y f : U R. El soporte de f , denotado por sopp (f ), es la
o
cerradura (relativa a U ) del conjunto de todos los puntos de U en donde f no se anula, es decir
sopp (f ) = {x U ; f (x) = 0} U
Observaciones:
1. Por denicin, x sopp (f ) si y slo si x U y existe (xn ) U con f (xn ) = 0 tal que lim xn = x.
o
o
n
j (x) = 1, x X.
Anlisis Real II
a
97
o
4. Si es una familia nita entonces la condicin 2. es innecesaria.
Nos proponemos probar que dado un abierto de Rm y cualquier cubrimiento abierto de l, entonces
e
siempre existe una C -particin de la unidad subordinada al cubrimiento.
o
Lema 5.7.1 Existe una funcin f C (Rm ) que satisface las siguientes propiedades:
o
1. f (x) = 1, x B1 [0].
2. 0 < f (x) 1, x B2 (0) B1 [0].
3. f (x) = 0, x Rm B2 (0).
Demostracin. Del Anlisis Real, se sabe que la funcin de Cauchy : R R denida por
o
a
o
e1/s ,
0,
(s) =
si s > 0
si s 0
e1/(s+1)(s+2) , si s ] 2, 1[
0,
si s R ] 2, 1[
o
Se sigue que C (R). A continuacin, denimos : R R como
t
(t) =
(s)ds
Claramente C (R) y 0
por (t) =
(t)
. Es claro que C (R). Adems, observe que
a
C
t 2
2 t 1
t 1
(t) =
1
C
1
C
(t) =
1
(t) =
C
(s)ds = 0
1
C=1
C
(s)ds =
(s)ds
1
C=1
C
Anlisis Real II
a
98
r
x+p
3
Es claro que H es una transformacin af inversible y que H(B3 (0)) = Br (p) U . El lema queda
o
n
probado considerando V = H 1 (U ) y = H V : V U .
Teorema 5.7.2 Si K Rm es un compacto y U = {U } es un cubrimiento abierto de K entonces
existe una C -particin de la unidad de K subordinada al cubrimiento U.
o
Demostracin. Sea p K entonces existe p tal que p Up , luego existe rp > 0 tal que
o
Brp (p) Up . Por el Lema 5.7.2, existe Vp Rm abierto con B3 (0) Vp y existe p Di (Vp , Up )
tal que p (0) = p y p (B3 (0)) = Brp (p).
Ahora bien, como {p (B1 (0))}pK es un cubrimiento abierto de K compacto, entonces existen
p1 , . . . , pn K tales que
K p1 (B1 (0)) pn (B1 (0))
o
Sea f C (Rm ) la funcin del Lema 5.7.1, denimos i : Rm R como
1
(f pi )(x), si x pi (B3 (0))
0,
si x Rm pi (B3 (0))
i (x) =
i (x) = 1
(1 i (x)) = 1
i=1
Anlisis Real II
a
99
(basta tomar i0 = min{i N, x Ki }). Luego existe r > 0 tal que Br (x) int (Ki0 +1 ) Ki0 1 y como
sopp (ij ) int (Ki+1 ) Ki2 , tenemos:
i > i0 + 2
i < i0 1
Ki0 +1 Ki2 sopp (ij ) Rm Ki2 Rm Ki0 +1 luego sopp (ij ) Br (x) =
sopp (ij ) int (Ki+1 ) int (Ki0 1 ) luego sopp (ij ) Br (x) =
De esta manera
sopp (ij ) Br (x) = ,
i = {i0 1, i0 , i0 + 1, i0 + 2}
(x) =
i
jJi
es nita y por tanto C (Rm ). Ms an, dado i N y x int (Ki+1 ) Ki2 se tiene que x
a u
o
Xi+1 Xi Xi1 (unin disjunta), luego (x) > 0 y como sopp (ij ) int (Ki+1 ) Ki2 , j Ji ,
denimos ij : Rm R por
ij (x)
, si x int (Ki+1 ) Ki2
ij (x) =
(x)
0,
si x Rm (int (Ki+1 ) Ki2 )
Se sigue que ij C (Rm ), 0 ij 1, sopp (ij ) sopp (ij ) Uij , {sopp (ij ) : j Ji , i N} es
localmente nita y
ij (x) = 1, x X.
i
jJi
Anlisis Real II
a
100
e
existe una C -particin de la unidad de U subordinada a U. Desde que X U esta es tambin una
o
particin de la unidad de X.
o
o
a
Observacin: Todo subconjunto de Rm admite una particin de la unidad a lo ms numerable.
o
5.8
A continuacin, daremos una aplicacin del concepto de particin de la unidad a la teor de integracin.
o
o
o
a
o
Sea U Rm abierto y f : U R una funcin acotada. Empezamos suponiendo que sopp (f ) U es
o
compacto. En estas condiciones armo que existe V abierto J-medible tal que
sopp (f ) V U
En efecto, sea x sopp (f ) U , luego existe rx > 0 tal que Brx (x) U y por tanto existe Cx m-cubo
abierto tal que Cx Brx . La familia {Cx }xsopp (f ) es un cubrimiento abierto de sopp (f ) el cual es
compacto, luego existen x1 , . . . , xs sopp (f ) tales que
sopp (f ) Cx1 Cxs U.
o
a
Tomando V = Cx1 Cxs , la armacin est probada.
En estas condiciones, decimos que f es Riemann-integrable en U , lo que escribimos f R(U ) si y slo
o
si existe V abierto J-medible con sopp (f ) V U tal que f R(V ) y en caso armativo escribimos
f=
U
f
V
Observaciones:
cil
o
1. Desde que f se anula fuera de sopp (f ), no es dif probar que la denicin anterior no depende
del abierto J-medible V .
2. De acuerdo a lo realizado, no es necesario suponer que U sea acotado.
3. Siempre bajo la hiptesis de que sopp (f ) es compacto, se cumple que f R(U ) si y slo si Df
o
o
o
tiene m-medida cero. En efecto, como f se anula fuera de sopp (f ) se tiene f R(U ) si y slo si
f R(V ) si y slo si Df tiene m-medida cero.
o
A continuacin consideremos el caso general.
o
Denicin 5.8.1 Sea U Rm un abierto. Decimos que la familia U = {U } es un J-cubrimiento
o
abierto de U si y slo si cada U U es un abierto J-medible y
o
U=
Anlisis Real II
a
101
Observaciones:
cil
1. No es dif probar que dado un abierto U Rm , siempre existe un J-cubrimiento abierto de U .
2. Si U es un abierto acotado y U = {U } es un J-cubrimiento abierto de U entonces U es acotado,
.
o
Sea U Rm un abierto acotado y f : U R una funcin acotada. Dado U = {U } J-cubrimiento
abierto de U y {j }jN una C -particin de la unidad de U subordinada a U entonces para cada j N,
o
j f : U R es una funcin acotada tal que sopp (j f ) sopp (j ) Uj U , luego sopp (j f ) es
o
compacto y podemos denir j f R(U ) como en el caso anterior. Si j f R(U ), j N y la serie
j f es absolutamente convergente, entonces diremos que f es Riemann-integrable en U .
j,1
o
Denicin 5.8.2 Sea U Rm un abierto acotado y f : U R una funcin acotada. Decimos que
o
f R(U ) si y slo si existe U = {U } J-cubrimiento abierto de U y existe {j }jN una C -particin
o
o
de la unidad de U subordinada a U tal que:
1. j f R(U ), j N.
2. La serie
j f es absolutamente convergente.
j,1
j=1
j f.
U
o
o
Teorema 5.8.1 Sea U Rm un abierto acotado y f : U R una funcin acotada. La denicin
anterior no depende de la eleccin del J-cubrimiento abierto ni de la particin de la unidad subordinada
o
o
a l.
e
Demostracin. Supongamos que existe U = {U } J-cubrimiento abierto de U y existe {j }jN una
o
C -particin de la unidad de U subordinada a U tal que j f R(U ), j N y la serie
o
j f es
j,1
absolutamente convergente.
Sea V = {V } otro J-cubrimiento abierto de U y {k }kN otra C -particin de la unidad de U
o
subordinada a V. Es claro que U V = {U V } es un J-cubrimiento abierto de U y {j k } es una
C -particin de la unidad de U subordinada a U V.
o
u
Fijando k N, como V k es compacto, se tiene que (Ejercicio!) sopp (j ) Vk = salvo un nmero
nito de js, luego, sobre Vk , tenemos
k f =
j=1
j k f =
j=1
j k f
Anlisis Real II
a
102
Ahora bien como j f R(U ) entonces Dj f tiene m-medida cero y desde que k C (U ) se sigue
que Dj k f Dj f en efecto, puesto que x Rm Dj f entonces j f es continua en x, luego j k f
es continua en x y por tanto x Rm Dj k f ). Por tanto tiene m-medida cero, luego j k f R(U ),
j N y de la igualdad anterior se sigue que k f R(U ).
Por otro lado, suponiendo f 0, para k N tenemos
k f =
j=1
j k f =
n
k f =
k=1
k=1 j=1
Vk
j=1
j k f =
U
j k f =
j=1
k=1
j=1
j=1
j k f,
j f =
U
f
U
k f es convergente y
j f =
U
j=1
j f
j f
k,1
k=1
V k
k f
j k f =
j=1
j=1
De esta manera
f=
U
k=1
k=1
f
U
k f
U
k f
U
j f
j=1
j=1
j |f | M
j=1
j M
j=1
j M
1 = M vol (B)
Anlisis Real II
a
103
o
Finalmente, vamos a probar que si U Rm abierto J-medible entonces la denicin que acabamos
cil
de dar, coincide con la dada en la Seccin 5.6. En efecto, dado > 0 no es dif probar que existe K
o
1<
.
M
Ahora bien, desde que K es compacto y {sopp (j )} es localmente nita, se sigue que existe n0 N
tal que j n0 sopp (j ) K = , luego para n n0 tenemos
U K
j f
j=1
j=1
M
U K
j=1
5.9
j f M
j=n+1
fj =
j M
j = M
j=1
1<M
U K
j=n+1
f.
U
Del Anlisis en una variable real, tenemos el siguiente resultado: Sea f C([a, b]) y g : [c, d] R tal que
a
g R([c, d]) y g([c, d]) [a, b]. Entonces
g(d)
f (g(t))g (t)dt
f (x)dx =
c
g(c)
(f g) |g |.
(f g) | det Jg|
La presente seccin est dedicada a probar este resultado, empezamos con el siguiente resultado.
o
a
Lema 5.9.1 Sea U Rm un abierto acotado y g C 1 (U ; Rm ) inyectiva tal que g(U ) sea acotado y
det[Jg(x)] = 0, x U . Si existe U = {U } cubrimiento abierto de U que satisface
f=
g(U )
(f g) | det Jg|,
f R(g(U ))
Anlisis Real II
a
104
entonces
f=
g(U )
(f g) | det Jg|,
f R(g(U )).
o
a
o
Demostracin. Por hiptesis g tiene rango mximo, luego es una funcin abierta y por tanto g(U ) =
o
o
{g(U )} es un cubrimiento abierto de g(U ). Sea {j }jN una C -particin de la unidad de g(U )
subordinada a g(U ). Armo que si sopp (j ) g(Uj ) entonces sopp (j g) Uj . En efecto, sea
x sopp (j g) entonces existe (xn ) U con (j g)(xn ) = 0 tal que lim xn = x. Se sigue que
n
(g(xn )) g(U ), j (g(xn )) = 0 y lim g(xn ) = g(x), es decir g(x) sopp (j ), luego g(x) g(Uj ) y
n
como g es inyectiva tenemos x Uj , esto prueba la armacin. Se sigue de aqu que {j g}jN es una
o
o
C -particin de la unidad de U subordinada a U.
o
Sea f R(g(U )), para j N tenemos que j f R(g(U )). De esta manera, de la hiptesis y la
armacin anterior, se cumple
o
g(U )
j f
=
g(Uj )
=
U
j f =
Uj
(j f g) | det Jg| =
Uj
(j g) (f g) | det Jg|
(j g) (f g) | det Jg|
luego
f
g(U )
j=1
g(U )
j f =
j=1
(j g) (f g) | det Jg| =
(f g) | det Jg|
g 1 (U )
(f g) | det Jg|,
f R(g(U ))
entonces
f=
g(U )
(f g) | det Jg|,
f R(g(U )).
f=
U
g 1 (U )
(f g) | det Jg|
| det Jg|,
U U abierto
Anlisis Real II
a
105
entonces
f=
g(U )
(f g) | det Jg|,
f R(g(U ))
(f g) | det Jg|,
mi (f ) vol (Bi ) =
i
mi (f )
i
g 1 (int (Bi ))
int (Bi )
(f g) | det Jg| =
1=
g 1 (C)
mi (f )
i
g 1 (int (Bi ))
| det Jg|
(f g) | det Jg|
Luego
C
g 1 (C)
(f g) | det Jg|
g 1 (C)
(f g) | det Jg|
Concluimos que
f=
g 1 (C)
(f g) | det Jg|,
CU
y
f=
g(U )
h(g(U ))
f h| det Jh|,
f R(h(g(U )))
entonces
f=
hg(U )
f R(h(g(U ))).
Anlisis Real II
a
106
f=
h(g(U ))
hg(U )
g(U )
(f h) | det Jh| =
=
=
T (U )
(f T ) | det T |
1=
| det T |, U U abierto.
1=
T (C )
| det T |, .
j=1
]aj , bj [ U , si c > 0 entonces T (C) = ]a1 , b1 [ ]cai , cbi [ ]am , bm [ es un m-bloque, luego
1 = vol (T (C)) = c vol (C)
T (C)
| det T | =
c=c
C
1=
= c vol (C)
C
j=1
]aj , bj [ U,
si denotamos C =
j=1,j=i
cil
]aj , bj [ un (m 1)-cubo, no es dif probar que
1=
T (C)
dyi
C
ai +xm
dy =
C
Anlisis Real II
a
| det T | =
1=
T (C)
107
| det T |.
Caso 3: T GL(Rm ) Se deduce de los dos casos anteriores y del Lema 5.9.3 teniendo en cuenta que toda
transformacin lineal inversible se puede expresar como composicin de un nmero nito de transformao
o
u
ciones del tipo presentado en los casos 1 y 2.
Teorema 5.9.1 (Cambio de coordenadas) Sea U Rm un abierto acotado y g C 1 (U ; Rm ) inyectiva
tal que g(U ) sea acotado y det[Jg(x)] = 0, x U . Si f R(g(U )) entonces
f=
g(U )
(f g) | det Jg|.
1=
g(U )
| det Jg|.
a
a
Procediendo por induccin sobre la dimensin, para n = 1, el resultado es vlido (por Anlisis I).
o
o
Supuesto que el resultado es vlido para n 1, probaremos que tambin se cumple para n. En virtud del
a
e
1=
g(U )
u
| det Jg| para algn U = {U } cubrimiento abierto de U .
Sea a U , podemos suponer sin prdida de generalidad que Jg(a) = I. Denimos h : U Rm por
e
h(x) = (g1 (x), . . . , gm1 (x), xm ) (donde g = (g1 , . . . , gm )). Se tiene que Jh(a) = I GL(Rm ). Por el
Teorema de la funcin inversa, existe Ua U vecindad abierta de a tal que h Di 1 (Ua , h(Ua )).
o
Sea k : h(Ua ) Rm denida por k(y1 , . . . , ym ) = (y1 , . . . , ym1 , gm (h1 (y)). Observe que
(gm h1 )(y) =
luego
(gm h1 )(h(a)) =
gm (a) [Jh(a)] =
gm (a) = em
De esta manera Jk(h(a)) = I GL(Rm ) y nuevamente por el Teorema de la funcin inversa existe
o
Va h(Ua ) vecindad abierta de h(a) tal que k Di 1 (Va , k(Va )). Denotando Ua = h1 (Va ), tenemos
que h : Ua Va y k : Va k(Va ) son difeomorsmos de clase C 1 y un fcil clculo muestra que k h = g.
a
a
De esta manera, si el resultado es vlido para k y para h, por el Lema 5.9.3 tambin ser vlido para
a
e
a a
k h = g.
Sea Ba Ua un m-bloque abierto tal que a Ba . Denotemos Ba = B ]am , bm [ donde B es un
(m 1)-bloque. No es dif ver que
cil
h(Ba ) = {(y , ym ) Rm1 Rm ; am ym bm , y P g(B {xm })}
donde P : Rm Rm1 es la proyeccin P (x , xm ) = x . Por el Teorema de integracin iterada tenemos
o
o
bm
1=
h(Ba )
1dy
am
dym
(P g)(B {xm })
Anlisis Real II
a
De aqu se sigue que (P g)(B {xm }) = hxm (B ). Adems
(g1 , . . . , gm1 )
(g1 , . . . , gm1 )
(x1 , . . . , xm1 )
(x ) y Jh(x , xm ) =
Jhxm (x ) =
(x1 , . . . , xm1 )
de donde
108
A
(x , xm )
1
bm
1 =
h(Ba )
dy
(P g)(B {xm })
am
dy
dym =
bm
bm
=
am
=
Ba
dym
hxm (B )
am
dym =
am
dym
| det Jh|
1=
Ba
la induccin.
o
Finalmente, es claro que {Ba }aU es un cubrimiento abierto de U y por tanto el teorema queda
demostrado.
Cap
tulo 6
Formas Diferenciables en Rm
6.1
Preliminares Algebraicos
k
veces
tulo 1,
Sea V un R-espacio vectorial y k N, denotaremos V = V V V . Como en el Cap
denotemos por L(V k ; Rm ) al conjunto de todas las funciones k-lineales T : V k Rm .
k
Anlisis Real II
a
110
Demostracin. Ejercicio!
o
Observacin: Si S k (V ) y T l (V ) entonces S T = T S.
o
Proposicin 6.1.2 El producto tensorial satisface las siguientes propiedades:
o
1. (S1 + S2 ) T = S1 T + S2 T , S1 , S2 k (V ), T l (V ).
2. S (T1 + T2 ) = S T1 + S T2 , S k (V ), T1 , T2 l (V ).
3. (cS) T = S (cT ) = c(S T ), S k (V ), T l (V ), x R.
4. (S T ) R = S (T R), S k (V ), T l (V ), R r (V ).
Demostracin. Probaremos slo una de ellas, las dems son anlogas. Denotando v = (v1 , . . . , vk ) V k
o
o
a
a
y w = (vk+1 , . . . , vk+l ) V l , tenemos
[(S1 + S2 ) T ](v, w) = (S1 + S2 )(v)T (w) = [S1 (v) + S2 (v)]T (w) = S1 (v)T (w) + S2 (v)T (w)
= (S1 T )(v, w) + (S2 T )(v, w) = [(S1 T ) + (S2 T )](v, w)
Observaciones:
1. Por la parte 4 de la proposicin anterior podemos escribir
o
S T R = (S T ) R = S (T R)
2. Podemos generalizar la observacin anterior y denir los productos tensoriales de la manera sio
guiente: Si T1 k1 , . . . , Tn kn entonces T1 Tn k1 ++kn (V ).
Proposicin 6.1.3 Sea V un R-espacio vectorial de dimensin n, {v1 , . . . , vn } una base ordenada de V
o
o
y {1 , . . . , n } su base dual asociada (es decir i V y i (vj ) = ij ). Entonces el conjunto
{i1 ik ; 1 i1 , . . . , ik n}
es una base de k (V ).
Demostracin. En primer lugar como 1 , . . . , n V = 1 (V ) se tiene que i1 ik k (V ),
o
1 i1 , . . . , ik n, adems observe que
a
(i1 ik )(vj1 , . . . , vjk ) =
i1 (vj1 ) ik (vjk ) =
1,
0,
si i1 = j1 , . . . , ik = jk
en otro caso
Dado T k (V ), consideremos
tenemos:
j1 ,...,jk =1
j1 ,...,jk =1
Anlisis Real II
a
111
j1 ,...,jk =1
i1 , . . . , ik n} genera k (V ). Para probar la independencia lineal, supngase que existen ai1 ...ik R
o
tales que
n
i1 ,...,ik =1
0=
i1 ,...,ik =1
i1 ,...,ik =1
V V
(v, w)
R
T (v, w) = v, w
T =
i=1 j=1
T (ei , ej )fi fj =
i=1
fi fi
e
De esta manera, el producto interno en Rn es un 2-tensor simtrico.
6.2
Dado k N, denotemos por Sk al grupo de todas las permutaciones del conjunto {1, . . . , k} dotado de la
operacin de composicin de funciones.
o
o
Sk : {1, . . . , k} {1, . . . , k} tal que es biyectiva
Recordemos que toda permutacin es un producto de transposiciones, en donde una transposicin es
o
o
una permutacin Sk tal que existen i, j {1, 2, . . . , k} con i = j tal que (i) = j, (j) = i y (r) = r,
o
r {1, 2, . . . , k} {i, j}.
Una permutacin es llamada par si puede ser representada como un producto de un nmero par de
o
u
transposiciones, caso contrario, la permutacin es llamada impar. Sea Sk , denimos el signo de ,
o
denotado sig () como
1,
si es par
sig () =
1, si es impar
No es dif probar que sig : (Sk , ) ({1, 1}, ) es un homomorsmo de grupos (Ejercicio!).
cil
Anlisis Real II
a
112
v1 , . . . , vk V
=
=
Observaciones:
1. Por induccin se cumple:
o
n
(a)
ai Ti
=
i=1
i=1
ai ( Ti ), T1 , . . . Tn k (V ), a1 , . . . , an R, Sk .
(b) (n 1 ) T = 1 ( (n T ) ), 1 , . . . , n Sk , S k (V ).
2. Podemos denir : Sk k (V ) k (V ) como
(, T ) = T
La proposicin anterior muestra que respeta la propiedad de grupo de Sk y la de espacio vectorial
o
u
de k (V ). Decimos que el grupo Sk acta sobre k (V ).
Con la notacin anterior, podemos introducir el concepto de k-forma alternada.
o
Denicin 6.2.1 Sea V un R-espacio vectorial y : V k R. Decimos que es una k-forma lineal
o
alternada si y slo si
o
1. k (V ).
2. = sig (), Sk .
Observaciones:
1. Denotaremos por
Anlisis Real II
a
113
2. Si w
(V ) y Sk es una transposicin tal que (i) = j, (j) = i y (r) = r, r
o
{1, 2, . . . , k} {i, j}, entonces
(v1 , . . . , vj , . . . , vi , . . . , vk )
3. Es claro que
(v1 , . . . , vi , . . . , vj , . . . , vk )
(V ) k (V ).
k
Proposicin 6.2.2
o
(V ) es un subsespacio vectorial de k (V ).
k
Demostracin. Sean ,
o
(V ) y a, b R. Sabemos que a + b k (V ). Por otro lado, si Sk
tenemos
(a + b) = a + b = a sig () + b sig () = sig ()(a + b)
Por lo tanto a + b
(V ).
(V ) = R.
1
k!
Sk
sig ()( T )
1. Si T k (V ) entonces Alt (T )
2. Si
(V ).
(V ) entonces Alt () = .
1
k!
Sk
para Sk , se cumple
(Alt (T )) =
=
es decir Alt (T )
(V ).
1
k!
sig ( )
Sk
1
k!
sig ()( T )
Sk
1
k!
Sk
sig () ( ( T ))
Anlisis Real II
a
2.) Sea
114
(V ),
Alt () =
1
k!
Sk
sig ()( ) =
1
k!
sig ()2 =
Sk
1
k!
=
Sk
3.) Inmediato de 1. y 2.
k
Sean
(V ) y
(V ) y
(V ) y
(V ).
=
Observacin: Si
o
k+l
(k + l)!
Alt ( )
k! l!
k+l
(V ) entonces
(V ).
Las principales propiedades del producto exterior estn resumidas en la siguiente proposicin.
a
o
Proposicin 6.2.4 Se cumple
o
k
1. (1 + 2 ) = 1 + 2 , 1 , 2
k
2. (1 + 2 ) = 1 + 2 ,
3. (c) = (c) = c( ),
4. = (1)kl ,
(V ),
(V ), 1 , 2
(V ),
(V ),
l
l
(V ).
(V ).
(V ), c R.
(V ).
=
=
(k + l)!
(k + l)!
Alt [(1 + 2 ) ] =
Alt [1 + 2 ]
k! l!
k! l!
(k + l)!
[Alt (1 ) + Alt (2 )] = 1 + 2
k! l!
1
l+1
2
l+2
k1
l+k1
k
l+k
k+1
1
k+l1
l1
k+l
l
Sk+l
Observe que
= (1, k + l) (1, k + 1)(2, k + l) (2, k + 1) (k, k + l) (k, k + 1),
Anlisis Real II
a
115
luego
sig ( ) = (1)kl
Adems, para v1 , . . . , vk+l V tenemos:
a
( )(v(1) , . . . , v(k+l) ) = (v(1) , . . . , v(l) ) (v(l+1) , . . . , v(k+l) )
= (v( (k+1)) , . . . , v( (k+l)) ) (v( (1)) , . . . , v( (k)) )
= (v( )(1) , . . . , v( )(k) ) (v( )(k+1) , . . . , v( )(k+l) )
= ( )(v( )(1) , . . . , v( )(k+l) ) = [( ) ( )] (v1 , . . . , vk+l )
[ ( )] (v1 , . . . , vk+l ) =
Luego
Alt ( ) =
1
(k + l)!
Sk+l
sig () [ ( )] = sig ( )
1
(k + l)!
Sk+l
sig ( ) [( ) ( )]
Sk
denido por
( )(j) =
(j),
j,
Sk+l
( )
si 1 j k
si k + 1 j k + l
o(Sk+l )
(k + l)!
=
= (k + 1) (k + l) = N
o(H)
k!
Luego Sk+l =
j=1
(k + l)! [Alt (S T )] =
Sk+l
sig () [ (S T )] =
j=1 Hj
sig () [ (S T )]
=
H
sig ( ) [ (S T )] +
j=2 H
sig ( j ) [( j ) (S T )]
(6.1)
116
Anlisis Real II
a
Pero
[ (S T )] (v1 , . . . , vk+l ) =
es decir
(S T ) = ( S) T,
luego
sig ( ) [ (S T )] =
=
Sk+l
sig ( ) [( S) T ] =
k! Alt (S) T = 0
sig ( )(( S)
T
(6.2)
y para j = 2, . . . , N se tiene:
sig ( j ) [( j ) (S T )] =
sig ( j ) [j (( S) T )]
= sig (j ) j
=
sig ( ) [( S) T )]
(V ),
(V ) y
(V ), se cumple
(k + l + r)!
Alt ( ).
k! l! r!
=
=
(k + l + r)!
(k + l + r)!
(k + l)!
Alt (( ) ) =
Alt
Alt ( )
(k + l)! r!
(k + l)! r!
k! l!
(k + l + r)!
(k + l + r)! (k + l)!
Alt (Alt ( ) ) =
Alt ( )
(k + l)! r! k! l!
k! l! r!
(6.3)
117
Anlisis Real II
a
Observacin: Por la parte 2 del corolario anterior, denotamos
o
=
En general si 1
k1
(V ), . . . , m
km
1 m =
(k + l + r)!
Alt ( )
k! l! r!
(V ) entonces
(k1 + + km )!
Alt (1 m )
k1 ! km !
Cuando 1 , . . . , m
(V ) = V existe una manera sencilla de expresar el producto exterior
1 m . En efecto, del lgebra lineal recordemos que si A = (aij ) Rmm entonces
a
det(A) =
Sm
(V ) = V entonces
m!Alt (1 m )(v1 , . . . , vm )
1
= m!
sig () [ (1 m )] (v1 , . . . , vm )
m!
Sm
=
Sm
(V ).
1 i1 < < ik n
(V ),
Anlisis Real II
a
118
Entonces = .
Demostracin. Desde que {v1 , . . . , vn } es una base de V , es suciente probar que (vi1 , . . . , vik ) =
o
(vi1 , . . . , vik ), 1 i1 , . . . , ik n.
Sean i1 , . . . , ik {1, . . . , n}, ocurren dos casos:
o
Caso 1. ir = is , por la Proposicin (6.2.7), ( )(v1 , . . . , vk ) = 0.
Caso 2. ir = is , 1 r = s k. En este caso existe Sk tal que 1 (i1 ) < . . . < (ik ) n, luego
( )(vi1 , . . . , vik ) =
=
1
[ ( )] (vi1 , . . . , vik ) = ( )(v(i1 ) , . . . , v(ik ) )
sig ()
1
[((i1 ), . . . , (ik )) ((i1 ), . . . , (ik ))] = 0
sig ()
(V ) = {0}, k > n.
es una base de
(V ).
1,
0,
si i1 = j1 , . . . , ik = jk
en otro caso
(V ), considero
=
1i1 <<ik n
(vi1 , . . . , vik ) i1 ik
(V )
119
Anlisis Real II
a
Se sigue que = y por lo tanto
=
1i1 <<ik n
Por otro lado, supongamos que existen constantes ai1 ik R tales que
1i1 <<ik n
ai1 ik i1 ik = 0
1i1 <<ik n
(V ) =
(V ).
n!
=
(n k)! k!
n
.
k
(V ) entonces = c 1 n , donde c R.
1. Si
n1
2. Si
(V ) entonces =
i=1
ci 1 i n , donde c1 , . . . , cn R.
3. Si
6.3
(V ) entonces =
i=1
ci i , donde c1 , . . . , cn R.
Algebras de Grassmann
o
Sea V es un R-espacio vectorial de dimensin n entonces
son R-espacios vectoriales no triviales.
(V ) = R,
(V ) = V ,
(V ), . . .
(V )
o
Denicin 6.3.1 Sea V es un R-espacio vectorial de dimensin n. El Algebra de Grassmann asociada a
o
V , denotada por (V ) se dene como
0
(V ) =
Observaciones:
1.
(V ) es un R-espacio vectorial.
(V )
(V )
(V )
Anlisis Real II
a
n
2. dim R
(V ) =
dim R
(V )
k=0
=
k=0
n
k
120
= 2n .
v1 , . . . , v k V
= (S T )(f (v1 ), . . . f (vk+l )) = S(f (v1 ), . . . f (vk ))T (f (v1 k + 1), . . . f (vk+l )
= f (S)(v1 , . . . , vk )f (T )(vk+1 , . . . , vk+l ) = [f (S) f (T )] (v1 , . . . , vk+l )
=
=
Por lo tanto f ( T ) = f (T ).
Proposicin 6.3.3 Sean V , W dos R-espacios vectoriales y f L(V, W ). Si
o
k
f ()
(V ).
Demostracin. Si
o
Sk tenemos
Por lo tanto f ()
(W ) entonces
Anlisis Real II
a
121
Observaciones:
1. f L( k (W ), k (V )).
2. f L(
(W ),
(V )).
3. f L( (V )).
4. Si : Sk k (V ) k (V ) se dene como (, T ) = T , entonces
f ((, T )) = (, f (T )).
Proposicin 6.3.4 Sean V , W dos R-espacios vectoriales y f L(V, W ), se cumple:
o
1. f [Alt (T )] = Alt (f (T )), T k (W )
2. f ( ) = f () f (),
(W ) y
(W ).
Demostracin. 1.)
o
f [Alt (T )] =
1
k!
Sk
sig ()( T )
1
k!
Sk
sig () f ( T ) =
1
k!
Sk
sig () ( f (T ))
= Alt (f (T ))
2.)
f ( ) =
=
(k + l)!
(k + l)!
(k + l)!
Alt ( ) =
f (Alt ( )) =
Alt (f ( ))
k! l!
k! l!
k! l!
(k + l)!
Alt (f () f ()) = f () f ()
k! l!
(V )
Alt
(W )
f
k
(V )
Proposicin 6.3.5 (Propiedad functorial del pullback) Sean V , W y X tres espacios vectoriales,
o
f L(V, W ) y g L(W, X) entonces (g f ) L( k (X), k (V )) y (g f ) = f g .
Demostracin. Ejercicio!
o
El siguiente resultado es de utilidad cuando trabajamos con dos R-espacios vectoriales de la misma
dimensin.
o
Anlisis Real II
a
122
(V ) y
(W ), luego
= c (1 m ) (v1 , . . . , vm ) = [f (1 m )] (v1 , . . . , vm )
= (1 m ) (f (v1 ), . . . , f (vm )) = (det(i (f (vj ))))
Por otro lado, si denotamos por (aij ) a la matriz asociada a f en las bases dadas de V y W , es decir:
m
f (vj ) =
ajk wk , tenemos:
k=1
i (f (vj )) =
6.4
Formas Diferenciales
De ahora en adelante, todas las supercies consideradas sern de clase C (a este tipo de supercies se
a
les acostumbra llamar suaves). Sea M m Rn una supercie, sabemos que para cada p M podemos
o
considerar el espacio tangente Tp M el cual es un R-espacio vectorial de dimensin m, as podemos
,
k
(Tp M ).
Denicin 6.4.1 Sea M m Rn una supercie suave y k N. Una forma exterior de grado k o
o
k
simplemente k-forma sobre M es una funcin que a cada p M le asocia (p) = p
o
(Tp M ), es
decir
k
: M
(Tp M )
pM
(Tp M )
Observaciones:
1. Denotaremos por F k (M ) al conjunto de todas las k-formas sobre M .
Anlisis Real II
a
123
o
2. Como (Tp M ) = R, concluimos que una 0-forma sobre X no viene a ser si no una funcin denida
en M a valores reales.
Denicin 6.4.2 Sea M m Rn
o
o
1. Si , F k (M ), denimos la suma de y denotada por + como la funcin
+ :
M
p
(Tp M )
pM
( + )p = p + p
(Tp M )
pM
(c)p = cp
(Tp M )
pM
(f )p = f (p)p
( )p = p p
Observaciones:
1. La parte 2 de la denicin anterior es un caso particular de la parte 3.
o
2. Con las operaciones de suma y producto por nmeros reales F k (M ), se torna un R-espacio vectorial.
u
o
o
3. Con las operaciones de suma y producto por una funcin, F k (M ) se torna un F 0 (M )-mdulo.
4. Podemos generalizar la parte 4 de la denicin anterior: Sean 1 F k1 (M ), . . . , s F ks (M ),
o
denimos 1 s F k (M ) (k = k1 + + ks ) como
(1 s )p = (1 )p (s )p ,
pM
Anlisis Real II
a
124
2. (1 + 2 ) = 1 + 2 , F k (M ), 1 , 2 F l (M ).
3. (c) = (c) = c( ), F k (M ), F l (M ), c R.
4. (f ) = (f ) = f ( ), F k (M ), F l (M ), f F 0 (M ).
5. = (1)kl , F k (M ), F l (M ).
6. ( ) = ( ), F k (M ), F l (M ), F r (M )
Demostracin. 5) Sea p M , se cumple
o
( )p = p p = (1)kl p p = (1)kl ( )p
Se sigue que = (1)kl .
Ejemplo 6.4.1 Sea U Rn abierto y 1 , . . . , k F 1 (U ) entonces 1 k F k (U ). En particular
si denotamos por x1 , . . . , xm a las coordenadas de U y si {(e1 )p , (e2 )p , . . . , (en )p } es la base cannica de
o
Rn , su base dual se acostumbra a denotar por {(dx1 )p , . . . , (dxn )p } (i.e. (dxj )p (ei )p = ij ) entonces
p
dados los sub
ndices i1 , . . . , ik {1, . . . , n} tenemos que dxi1 dxik F k (U ).
Si k n y p U , del Teorema 6.2.8 sabemos que
{(dxi1 )p (dxik )p ; 1 i1 < < ik n}
k
es una base de
(Rn ). Luego si F k (U ) y p U entonces p
p
ai1 ...ik (p) R tales que
p =
1i1 <<ik n
1i1 <<ik n
n
(Rp ), luego existen constantes
es decir
=
1i1 <<ik n
n
funciones ai1 ...ik : U R (con 1 i1 < < ik n) las cuales
k
son llamadas funciones coordenadas de .
Observaciones:
o
1. Con el objetivo de simplicar la notacin, indicaremos por I a la k-upla I = (i1 , . . . , ik ) donde
1 i1 < < ik n y usaremos dxI para representar a dxi1 dxik . Con este convenio, la
a
k-forma =
ai1 ...ik dxi1 dxik puede ser escrita de manera ms compacta como
1i1 <<ik n
aI dxI .
=
I
Anlisis Real II
a
(aI + bI )dxI ,
+ =
c =
y f =
(caI )dxI
I
3. Sean U Rn abierto, =
bI dxI F k (U ) y f F 0 (U ) entonces
aI dxI , =
I
125
aI dxI F k (U ), =
(f aI )dxI
I
aI (p) (dxI )p
=
I
aI (p)(dxI )p
I
bJ (p)(dxJ )p
J
bJ (p)(dxJ )p =
J
es decir
=
Usando las funciones coordenadas de una k-forma denida en un abierto, podemos denir su diferenciabilidad.
Denicin 6.4.3 Sea U Rn un abierto. Decimos que una k-forma es de clase C r en U si y slo si
o
o
todas sus funciones coordenadas son de clase C r en U , en donde r = 0, 1, . . . , .
Observacin: Si bien es cierto que las funciones coordenadas fueron denidas usando las bases cannicas,
o
o
no es dif probar que la denicin de diferenciabilidad no depende de que base usamos para construir
cil
o
las funciones coordenadas. Queda como ejercicio para el lector justicar esto.
Denotaremos por k (U ) al conjunto de todas las k-formas de clase C r en U . Escribiremos k (U ) en
r
vez de k (U ). Observe que 0 (U ) = C (U ).
Proposicin 6.4.2 Con las operaciones de suma y producto por funciones denidas anteriormente,
o
k (U ) es un C (U )-mdulo.
o
Demostracin. Ejercicio.
o
Observacin: Si k (U ) y l (U ) entonces k+l (U ).
o
Ejemplo 6.4.2 Si = x1 dx2 x3 dx4 1 (R4 ) y = 3x2 dx1 dx2 (x4 x1 )dx2 dx3 2 (R4 )
entonces
= 3x2 x3 dx1 dx2 dx4 + (x3 x4 x1 x3 )dx2 dx3 dx4 3 (R4 ).
Anlisis Real II
a
126
Observacin: Sabemos que dxi dxi = 0, sin embargo en general no se cumple que = 0. En
o
efecto, sea = x1 dx1 dx2 + x2 dx3 dx4 2 (R4 ), entonces
= 2x1 x2 dx1 dx2 dx3 dx4 = 0.
6.5
v1 , . . . , vk Tp M.
M
p
(Tp M )
pM
Observaciones:
1. Si F k (N ) entonces F () F k (M ).
o
o
2. Si g C (N ) = F 0 (N ) entonces por la observacin a la Proposicin 6.3.2 tenemos
[F (g)]p = [F (p)] (gF (p) ) = g(F (p)) = (g F )(p)
Luego F (g) = g F .
Proposicin 6.5.1 Sean M m Rs , N n Rl supercies suaves y sea F C 1 (U, V ), se cumple:
o
1. F (1 + 2 ) = F (1 ) + F (2 ), 1 , 2 F k (N ).
2. F (c) = cF (), F k (N ), c R.
3. F (f ) = F (f )F (), F k (N ), f F 0 (N ).
4. F ( ) = F () F (), F k (N ), F l (N ).
Anlisis Real II
a
127
Demostracin. Slo probaremos 3.) las dems son semejantes. Dado p M tenemos
o
o
a
= (F (p)) ((f )F (p) ) = (F (p)) (f (F (p))F (p) )
= f (F (p))(F (p)) (F (p) ) = (f F )(p)[F ()]p = [(f F )F ()]p
[F (f )]p
Luego F (f ) = F (f )F ().
Proposicin 6.5.2 Si U Rn , V Rm son abiertos, V con coordenadas y1 , . . . , ym y sea F =
o
(F1 , . . . , Fm ) C 1 (U, V ) entonces
F (dyi ) = dFi ,
1 i m.
= (dyi )F (p)
k=1
Fk
(p)(ek )F (p)
xj
=
k=1
F
(p)
xj
Fi
Fk
(p)((dyi )F (p) )((ek )F (p) ) =
(p)
xj
xj
Fi (p)(ej )
o
Observaciones: Sean U Rn , V Rm abiertos y F = (F1 , . . . , Fm ) C 1 (U, V ) entonces
m
1. Si =
i=1
ai dyi F 1 (V ) entonces F () =
i=1
(ai F )dFi F 1 (V ).
Ms an, si para I = (i1 , . . . , ik ) (con i1 < < ik ) denotamos dFI = dFi1 dFik , entonces
a u
F (dyI ) = dFI
3. F
aI dyI
I
=
I
aI dyI F k (V ).
aI dyI k (V ) entonces F () =
Fi
Fi
dx1 + +
dxm 1 (U )
x1
xm
(aI F ) dFI
Anlisis Real II
a
128
es decir
F (dy1 dym ) = det JF (dx1 dxm )
reemplazando este resultado en la igualdad anterior, el resultado se sigue.
Para nalizar la seccin, vamos a usar el pullback para denir diferenciabilidad de k-formas en supero
cies.
Sea M m Rs una supercie suave, recordemos que para cada p M dado, existe U Rm vecindad
abierta de p tal que U M admite una parametrizacin (V, ) de dimensin m (es decir V Rm es un
o
o
abierto, Hom (V, U M ) y es una inmersin de clase C .
o
o
o
Denicin 6.5.2 Un atlas suave de dimensin m sobre la supercie M m es una coleccin A(M ) de
o
parametrizaciones {(V , )} de clase C y dimensin m tales que M =
(V ).
o
Sea M m Rs una supercie con atlas A(M ) y sea F k (M ), dado p M existe (V , ) A(M )
tal que p (V ), luego podemos considerar = () F k (V ) la cual es llamada representacin
o
Anlisis Real II
a
129
(1 ) ( ) = (1 ) ( ()) = ( ) () = () =
k-forma F k (V ) AEs posible denir a partir de ellas una k-forma F k (M )? Vamos a probar
que la respuesta es armativa si esta familia de k-formas satisface la condicin de compatibilidad
o
= (1 ) ( ),
en 1 (W )
Ser natural denir F k (M ) como p = [(1 ) ( )]p pero antes debemos probar que este valor es
a
o
independiente de la parametrizacin. Sea (V , ) A(M ) otra parametrizacin tal que p (V ),
o
o
luego (1 ) ( ) F k ( (V )). Trabajando en W y usando la condicin de compatibilidad, tenemos:
1
(1 ) ( ) = (1 ) ( ) ( ) = 1 1
( ) = (1 ) ( )
en 1 (W )
Observaciones:
1. Sea M m Rs una supercie suave con atlas A(M ) = {(V , )} . Por el teorema anterior, una
k-forma en M puede ser denida como una coleccin = {( , V , )} en donde F k (V ),
o
satisfacen la condicin de compatibilidad.
o
2. Sea = {( , V , )} , = {( , V , )} F k (M ), c R, f F 0 (M ) entonces no es dif
cil
probar que
( + ) = + ,
(c) = c ,
(f ) = f ,
donde f = f .
3. Sean = {( , V , )} F k (M ), = {( , V , )} F l (M ) entonces ( ) = .
Anlisis Real II
a
130
Denicin 6.5.3 Sea M m Rs una supercie suave con atlas A(M ) = {(V , )} . y sea F k (M ).
o
Decimos que es de clase C r en M si y slo si k (V ), .
o
Observacin: Usando la condicin de compatibilidad, no es dif probar que la denicin anterior es
o
o
cil
o
buena.
Denotaremos por k (M ) al conjunto de todas las k-formas de clase C r sobre M . Como de costumbre
r
escribiremos k (M ) en vez de k (M ). Se puede probar que k (M ) es un C (M )-mdulo.
o
6.6
La Diferencial Exterior
En esta seccin, vamos a denir una operacin sobre las formas diferenciables que generaliza la operacin
o
o
o
de diferenciacin de funciones (0-formas). Sea U Rn un abierto y a 0 (U ) recordemos que
o
n
da =
k=1
a
dxk 1 (U )
xk
daI dxI
aI dxI k (U ). La
Anlisis Real II
a
4) Sea =
I
aI dxI k (U ) y =
d( ) =
I,J
=
I,J
bJ dxJ l (U ) entonces =
=
I
daI dxI
I,J
131
I,J
bJ dxJ
+ (1)k
aI dxI
dbJ dxJ
es decir d( ) = d + (1)k d.
Obsevacin: d : k (U ) k+1 (U ) es un operador lineal.
o
Teorema 6.6.2 d(d) = 0, k (U )
Demostracin. Procedemos por induccin sobre k.
o
o
n
f
Para k = 0, f 0 (U ) = C (U ), df =
dxi , luego
xi
i=1
n
d(df ) =
d
i=1
f
xi
=
1i<jn
dxi =
i=1
n
j=1
2f
dxj dxi +
xj xi
xj
1j<in
=
1i<jn
f
dxj dxi +
xj xi
1i<jn
f
xi
1i<jn
f
dxi dxj +
xj xi
dxj dxi
2f
dxj dxi
xj xi
2f
dxi dxj
xi xj
1i<jn
2f
dxi dxj = 0
xi xj
Sea k 1 si k1 (U ) entonces d(d()) = 0 (Hip. Ind.) Probaremos que el resultado se cumple para
k.
En primer lugar, observe que si k (U ) entonces
=
1i1 <<ik n
Luego
1i1 <<ik n
1i1 <<ik n
operador d, es suciente probar el resultado para k-formas del tipo dxi con k1 (U ). Observe
que
d( dxi ) = d dxi + (1)k1 (d(dxi )) = d dxi
Anlisis Real II
a
132
Luego
d(d( dxi )) = d(d dxi ) = d(d) dxi + (1)k d (d(dxi )) = 0
Teorema 6.6.3 Sean U Rn , V Rm abiertos, F C (U, V ) y k (V ) entonces
d(F ()) = F (d)
Demostracin. Probaremos por induccin sobre k.
o
o
Para k = 0, f 0 (V ) = C (V ). Si denotamos por y1 , . . . , ym las coordenadas de V , tenemos:
m
F (df ) =
F
i=1
m
=
i=1
f
dyi =
yi
f
F
yi
m
j=1
f
F
yi
=
j=1
i=1
F
i=1
f
dyi
yi
Fi
dxj =
xj
Fi
xj
=
i=1
n
i=1 j=1
n
dxj =
j=1
f
F
yi
dFi
Fi
dxj
xj
f
F
yi
(f F )
dxj = d(f F ) = d(F (f ))
xj
1 (V )
F
1 (U )
2 (V )
F
2 (U )
3 (V )
F
3 (U )
Anlisis Real II
a
133
donde (d) = d , , per antes debemos vericar que ellas cumplan la condicin de compatibilidad.
o
Sean (V , ), (V , ) A(M ) tales que W = (V ) (V ) = . Trabajando en 1 (W ),
tenemos:
1 ((d) ) = 1 (d ) = d 1 = d = (d)
Cap
tulo 7
Integrales de Supercie
7.1
El objetivo de esta seccin es denir lo que entendemos por integral de una k-forma sobre una supercie.
o
Como las k-formas son generalizaciones del concepto de funcin y una supercie es la generalizacin de un
o
o
conjunto abierto, entonces los resultados de esta seccin son una generalizacin de la integral estudiada
o
o
en el Cap
tulo 5.
Para cumplir con nuestro objetivo, necesitamos dos deniciones.
Denicin 7.1.1 Sea M m Rs una supercie suave y k (M ). El soporte de , denotado por
o
0
sopp (), se dene como
sopp () = {p M ; p = 0} M
Observaciones:
1. Si M es una supercie compacta entonces sopp () es un subconjunto compacto de M .
m
2. Sea U Rm un abierto con coordenadas x1 , . . . , xm y 0 (U ) entonces = a dx1 dxm
con a C(U ). Queda como ejercicio para el lector demostrar que
p (V ) (V )
134
Anlisis Real II
a
135
Sea M m Rs una supercie suave, compacta, orientable con atlas A(M ) y sea m (M ), vamos
0
a denir la integral de sobre M . Consideremos dos casos:
Caso 1: Existe (V , ) A(M ) tal que sopp () (V ). Denotemos K = 1 (sopp ()) (el cual es
1
m
podemos considerar el abierto V Rm como siendo acotado, entonces por el Teorema 5.8.2 tenemos que
a R(V ), luego estar
amos tentados a denir
=
=
M
a dx1 dx :=
m
a dx dxm
1
Sin embargo debemos antes probar que esta denicin no depende de la parametrizacin. Suponga que
o
o
existe otra parametrizacin (V , ) A(M ) con W = (V ) (V ) = tal que sopp () (V ),
o
o
denotando K = 1 (sopp ()) y = a dx dxm , por la Proposicin 6.5.5, la orientabilidad
1
1
(W )
1
(W )
( )
1
(W )
=
=
1
a 1 det J
dx dxm
1
1 (W )
1
a
dx dxm
1
1
(W )
1
det J( )
a dx dxm =
1
1 (W )
De esta manera, hemos probado que el valor de la integral no depende de la parametrizacin y por
o
tanto tiene sentido la siguiente denicin.
o
Denicin 7.1.3 Sea M m una supercie suave, compacta, orientable con atlas A(M ) y sea m (M ).
o
0
Si existe una parametrizacin (V , ) tal que sopp () (V ) entonces
o
=
M
() =
=
K
a dx1 dx
m
o
Caso 2: Caso general. La idea es reducir la denicin al Caso 1, usando particiones de la unidad. En
primer lugar sabemos M =
(V ) donde (V ) es un abierto de M es decir, existe U Rs abierto
Anlisis Real II
a
136
o
a
As cada m-forma i cumple la condicin del Caso 1 y tiene sentido la integral de ella, luego ser
,
natural denir
n
i=1
Sin embargo debemos probar que esta denicin es independiente de la particin de la unidad elegida.
o
o
i =
i=1
i=1
j=1
j =
i=1 j=1
i j =
j=1
j =
i=1
j=1
en M , denotada por
se dene como
M
n
=
M
i=1
1.
M
c = c
2.
M
+
M
,
M
,
M
, m (M ).
0
m
0 (M ), c R.
0.
Demostracin. Ejercicio.
o
o
Sean M m , N m supercies orientadas, y sean A(M ) y A(N ) los atlas que inducen la orientacin en
M y N respectivamente. Decimos que f Di (M, N ) preserva orientacin si y slo (V , ) A(M )
o
o
entonces (V , f ) A(N ).
Proposicin 7.1.2 Sean M m , N m supercies suaves, orientadas, compactas y f Di (M, N ) preo
serva orientacin, entonces
o
f () =
M
Demostracin. Ejercicio.
o
,
N
m
0 (N ).
Anlisis Real II
a
7.2
137
M = {(x, y, z) R3 ; z 0, x2 + y 2 + z 2 = 1}
En efecto, dado p = (1, 0, 0) M y Up R3 vecindad abierta de p, el conjunto Up M no es homeomorfo
o
a ningn abierto de R2 y, por tanto, no admite parametrizacin.
u
Para estudiar conjuntos de este tipo, introduciremos el concepto de supercie con frontera.
El conjunto
Hm = {(x1 , . . . , xm ) Rm ; x1 0}
es llamado semiespacio de dimensin m. Su frontera viene dada por
o
Hm = {(x1 , . . . , xm ) Rm ; x1 = 0}
la cual puede identicarse con Rm1 .
o
a
Dotaremos a Hm de la topolog inducida por Rm , es decir V es abierto en Hm si y slo si existe
U Rm tal que V = U Hm . Se desprende de aqu que existen dos tipos de abiertos en Hm : los abiertos
Anlisis Real II
a
138
f1 (a + tv)
f1 (a + tv)
0, luego 1 [f (a)(v)] = lim
0.
t
t
t0+
f1 (a + tv)
f1 (a + tv)
Si t < 0 entonces
0, luego 1 [f (a)(v)] = lim
0.
t
t
t0
Se sigue que 1 [f (a)(v)] = 0 y por tanto f (a)(Rn ) Hm .
Si t > 0 entonces
Hm . Pero por hiptesis, existen U , V Rm abiertos y existe F Di k (U ; V ) tales que U = U Hm ,
o
1
m
1
1
1
Hm , F
V =V
=f y F
= f , ms an (f ) (f (a)) = (F ) (f (a)) GL(R ) y esto que
a u
U
V
implica que Rm = (f 1 ) (f (a))(Rm ) Hm , lo cual es una contradiccin.
o
o
o
Denicin 7.2.1 Sea V Rn . Una F-parametrizacin de clase C k (k 1) y dimensin m del conjunto
o
o
V es un par (V0 , ), donde V0 Hm es un abierto de Hm y : V0 V es una funcin que satisface las
dos condiciones siguientes:
1. Hom (V0 , V ).
2. es una inmersin de clase C k .
o
o
Denicin 7.2.2 Una supercie con frontera de dimensin m y clase C k (k 1) en Rn es un subcono
junto M Rn tal que para todo punto p M , existe una vecindad abierta Up Rn de p tal que Up M
o
admite una F -parametrizacin (Vp , p ) de clase C k y dimensin m.
o
o
o
Un atlas de clase C k y dimensin m sobre una supercie con frontera M m Rn es una coleccin
k
(V ).
AF (M ) de F-parametrizaciones (V , ) de clase C y dimensin m tales que M =
o
Al igual de lo que ocurr con las supercies sin frontera, vamos a demostrar que los cambios de
a
coordenadas de una supercie de clase C k , son difeomorsmos de clase C k .
o
o
Lema 7.2.2 Toda F-parametrizacin de clase C k y dimensin m es un difeomorsmo de clase C k .
Demostracin. Sea (V, ) una F-parametrizacin de clase C k y dimensin m del conjunto X Rn .
o
o
o
que
= . Sea a V , sabemos que (a) = (a) L(Rm , Rn ) que, por hiptesis, es inyectiva. Por
o
Anlisis Real II
a
V {0}
139
es la inversa de h .
Observaciones:
a
1. Por el Lema 7.2.3, M est bien denido.
2. De la denicin se desprende inmediatamente que M M . De aqu se sigue que el concepto de
o
frontera que acabamos de denir no coincide con el concepto topolgico de frontera, no obstante
o
tener la misma notacin.
o
3. Si M es una supercie con frontera, el conjunto M M es llamado interior de M y se denota
por int (N ). No se debe confundir este concepto con el de interior de un conjunto que se estudia en
topolog
a.
4. Si M = entonces M es una supercie del tipo estudiado en las secciones anteriores. Tales
supercies las llamaremos supercies sin frontera.
Proposicin 7.2.2 Sea M m Rn una supercie con frontera de clase C k entonces M es una supercie
o
de clase C k y dimensin m 1.
o
Anlisis Real II
a
140
Hm
(x1 , . . . , xm ) = (x2 , . . . , xm )
i = i
e
V
=
V Hm
1
Se sigue que V es un abierto de Rm1 y que = i .
o
Deno = i : V U M . Se sigue que (V , ) es una parametrizacin de clase C k y
dimensin m 1.
o
Observaciones:
1. Sea M una supercie con frontera. Si AF (M ) = {(V , )} es un atlas de M entonces
A(M ) = {(V , )} = {(i1 (V Hm ), i )}
en 1 (W ),
1
1
haciendo = (F1 , . . . , Fm ) y y = (y1 , . . . , ym1 ) (W ) tenemos
1
(1 ) (y) = ( ) (0, y)i
luego
e2
(F1 , . . . , Fm1 )
. (F1 , . . . , Fm )
1
t
(0, y) et em =
(0, y)
J( )(y) = .
2
.
(x1 , . . . , xm )
(x1 , . . . , xm1 )
em
Proposicin 7.2.3 Si M m es una supercie de clase C k , orientable, con frontera entonces M es orio
entable
Demostracin. Sea AF (M ) = {(V , )} el atlas que induce una orientacin en M y sea A(M ) =
o
o
{(V , )} el atlas de M inducido por AF (M ). Consideremos (V , ), (V , ) A(M ) tales
Anlisis Real II
a
141
F1 (0, y ) et et =
2
m
se sigue que
F1
x
2
F1
x
1
(0, y ) = =
(0, y ), . . . ,
F1
x
m
F1
xm1
(0, y )
(0, y ) = 0
J 1 (0, y ) =
(F1 , . . . , Fm )
(x1 , . . . , x )
m
luego
F1
x1
F1
(0, y )
x
1
(0, y ) =
Pero
F1
x1
(0, y ) = lim+
h0
(0, y ) det
(F2 . . . , Fm )
(x , . . . , xm )
2
(F2 , . . . , Fm )
(x , . . . , x )
m
2
(0, y )
(0, y )
F1 (y , h) F1 (y , 0)
>0
h
(F1 , . . . , Fm )
(x , . . . , x )
m
1
p W
7.3
El Teorema de Stokes
Sea M m una supercie suave, con frontera, compacta, orientable, sabemos entonces que M es una
supercie suave, compacta, sin frontera, orientable. Luego M admite dos orientaciones. Decimos que
M tiene la orientacin inducida por M si y slo si la inclusin i : M M preserva orientacin. Se
o
o
o
o
puede demostrar que en parametrizaciones, esto es equivalente a decir que i : V V Hm dado por
i(y1 , . . . , ym1 ) = (0, y1 , . . . , ym1 ) preserva orientacin (esta es la razn por la cual hemos denido as
o
o
Anlisis Real II
a
142
Teorema 7.3.1 (Stokes) Sea M m una supercie suave, con frontera, compacta, orientable y sea
m1
o
o
o
1 (M ). Si i : M M es la inclusin cannica y M tiene la orientacin inducida por M entonces
i =
M
d.
M
como m1 (V ) entonces
1
m
=
j=1
donde a1 , . . . , am C 1 (V ), luego
m
=
j=1
j=1
i=1
=
Existen dos posibilidades
aj
dxi
xi
(1)j1
j=1
aj
dx1 dxm
xj
i = 0.
Aj (x) =
aj
(1)j1
d =
dx1 . . . dxm
(d) =
xj
V
V
V
j=1
m
m
Aj
Aj
(1)j1
dx1 . . . dxm =
(1)j1
dx1 . . . dxm
xj
B xj
B
j=1
j=1
m
Anlisis Real II
a
m
vj
(1)j1
(1)j1
Bj
j=1
i =
Por tanto
uj
Bj
j=1
m
143
Aj
dxj dx1 . . . dxj1 dxj+1 . . . dxm
xj
d.
M
e
V
(i ) =
e
V
Pero desde que i (y1 , . . . , ym1 ) = (0, y1 , . . . , ym1 ) = (x1 , . . . , xm ), tenemos que dx1 = 0 y por tanto
m
i ( ) =
j=1
luego
i =
M
am i
e
V
(7.1)
d =
M
(1)j1
d =
V
j=1
aj
xj
(1)j1
j=1
Aj
xj
vj
(1)j1
Bj
j=1
uj
Aj
dxj dx1 . . . dxj1 dxj+1 . . . dxm
xj
B1
m
(1)j1
+
j=2
=
B1
Bj
e
V
d.
M
Anlisis Real II
a
144
o
Caso 2: Es el caso general, sea {1 , . . . , n } una C -particin de la unidad subordinada al atlas A(M ).
Observe que
j=1
[j d d(j )] =
es decir
j=1
dj =
j=1
j = 0,
j d =
j=1
d(j ),
j=1
luego
n
d =
M
j=1
i (j ) =
d(j ) =
j d =
M
j=1
j=1
n
j=1
j =
i
M