Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Renato Benazic
December 6, 2009
Prefacio
Renato Benazic
Introducci
on
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 . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4 Introducci
on a la Teora de Superficies en Rn
4.1 Definicion de Superficie . . . . . . . . . . . . .
4.2 Cambios de Coordenadas . . . . . . . . . . . .
4.3 El Espacio Tangente a una Superficie . . . . . .
4.4 Superficies Definidas Implcitamente . . . . . .
4.5 Multiplicadores de Lagrange . . . . . . . . . . .
5 Integrales M
ultiples
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
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 Superficie
134
7.1 La integral de una k-forma diferencial sobre superficies . . . . . . . . . . . . . . . . . . . . 134
7.2 Superficies con frontera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
7.3 El Teorema de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
Captulo 1
Diferenciabilidad de funciones de Rm
en Rn
1.1
Funciones Diferenciables
Definici
on 1.1.1 Sea U Rm un abierto, f : U Rn , a U y denotemos Ua = {h Rm ; a + h U }.
1. Decimos que f es diferenciable en a si y solo si existe T L(Rm , Rn ) tal que
f (a + h) = f (a) + T (h) + ra (h),
en donde lim
h0
h Ua
ra (h)
= 0.
khk
h0
An
alisis Real II
h Rm
(1.1)
Se sigue que
k(h1 , h2 )k
kh1 k kh2 k
C
Ck(h1 , h2 )k
k(h1 , h2 )k
k(h1 , h2 )k
lim
h0
k(h1 , h2 )k
=0
k(h1 , h2 )k
An
alisis Real II
Ejemplo 1.1.5 Podemos generalizar el Ejemplo 1.1.3. En efecto, sea : Rm1 Rm2 Rmk
Rn una transformacion k-lineal. Queda como ejercicio para el lector probar que es diferenciable en
Rm1 Rm2 Rmk y para cualquier a = (a1 , a2 , . . . , ak ) Rm1 Rm2 Rmk , la derivada
0 (a) L(Rm1 Rm2 Rmk , Rn )
es dada por
0 (a1 , a2 , . . . , ak )(h1 , h2 , . . . , hk ) =
k
X
i=1
Ejemplo 1.1.6 Como aplicacion del Ejemplo 1.1.5, vamos a analizar la funcion determinante. Primeramente recordemos que
2
Rnn Rn Rn Rn Rn
|
{z
}
n veces
va el isomorfismo:
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 funcion determinante
det :
Rn Rn
(A1 , . . . , An )
R
det(A1 , . . . , An )
es una aplicacion n-lineal. Por el Ejemplo 1.1.5, la funcion det es diferenciable en Rn Rn y ademas
para A = (A1 , . . . , An ) Rnn , la derivada det0 (A) L(Rnn ; R) es dada por
0
n
X
i=1
Proposici
on 1.1.1 Sea U Rm abierto, f = (f1 , . . . , fn ) : U Rn y a U . Son equivalentes
1. f es diferenciable en a.
2. f1 , . . . , fn son diferenciables en a.
En caso afirmativo se tiene
f 0 (a) = (f10 (a), . . . , fn0 (a))
Demostraci
on. () Por hipotesis se tiene que
f (a + h) = f (a) + f 0 (a)(h) + ra (h),
h Ua
An
alisis Real II
ra (h)
= 0. Haciendo f 0 (a) = (T1 , . . . , Tn ) y ra = (r1,a , . . . , rn,a ), donde Ti (Rm ) y
khk
: 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) =
khk
hui , xi, x Rm .
Concluimos que fi es diferenciable en a y Ti = fi0 (a).
en donde lim
h0
() Ejercicio.
Corolario. Si f : U Rm Rn es diferenciable en a U entonces f es continua en a.
Definici
on 1.1.2 Sea U Rm un abierto, f : U Rn , a U y v Rm . La derivada direccional de f
f
en a en la direcci
on de v, denotada por
(a), es definida como
v
f
f (a + tv) f (a)
(a) = lim
t0
v
t
cuando tal lmite 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 solo si f v es diferenciable en 0 y en
Conclumos que existe la derivada direccional
v
caso afirmativo
f
f (a + tv) f (a)
(f v )(t) (f v )(0)
(a) = lim
= lim
= (f v )0 (0)
t0
t0
v
t
t
An
alisis Real II
f
(a) es el vector tangente en el punto f (a) del camino f v .
v
4. Sea f : U Rm Rn una funcion que admite todas sus derivadas direccionales en el punto a U .
Podemos definir la funcion
Tf,a :
Rm
Rn
Tf,a (v) =
f
(a)
v
Proposici
on 1.1.2 Sea U Rm abierto, f = (f1 , . . . , fn ) : U Rn a U y v Rm . Son equivalentes
1. Existe
f
(a).
v
2. Existen
fn
f1
(a), . . . ,
(a).
v
v
f
(a) =
v
f1
fn
(a), . . . ,
(a)
v
v
Demostraci
on. Para t R {0} tal que tv Ua , tenemos
f1 (a + tv) f1 (a)
fn (a + tv) fn (a)
f (a + tv) f (a)
=
,...,
t
t
t
f
f (a + tv) f (a)
fi (a + tv) fi (a)
(a) si y solo si existe el lim
si y solo si existen lim
,
t0
t0
v
t
t
fi
(a), 1 i n.
1 i n si y solo si existen
v
Ademas
f
f (a + tv) f (a)
f1
fn
(a) = lim
=
(a), . . . ,
(a)
t0
v
t
v
v
luego existe
f
f
(a) en vez de
(a). Por la proposicion anterior
xi
ei
f1
fn
f
(a) =
(a), . . . ,
(a) , 1 i m
xi
xi
xi
Notaci
on: Cuando v = ei , escribiremos
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 0 (a)(tv) + ra (tv)
luego
ra (tv)
f (a + tv) f (a)
= f 0 (a)(v) +
t
t
An
alisis Real II
se sigue que
f (a + tv) f (a)
= f 0 (a)(v)
t
luego, hemos probado que si f es diferenciable en a entonces existen todas las derivadas direccionales
f
f
(a) y f 0 (a)(v) =
(a), v Rm .
v
v
lim
t0
Rm
Rn
f 0 (a)(v) =
f
(a)
v
3. Vamos a hallar la matriz asociada a la transformacion lineal f 0 (a) en las bases canonicas de Rm y
Rn . Si f = (f1 , . . . , fn ) es diferenciable en a, entonces para 1 i m tenemos
f
f1
f2
fn
f 0 (a)(ei ) =
(a) =
(a),
(a), . . . ,
(a)
xi
xi
xi
xi
f2
fn
f1
(a)e1 +
(a)e2 + . . . +
(a)en
=
xi
xi
xi
Luego, la matriz asociada a
f1
f1
x1 (a) x2 (a) . . .
f
f2
2
(a)
(a) . . .
x1
x2
.
..
..
.
fn
fn
(a)
(a) . . .
x1
x2
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 )
0
f1 (a)
f20 (a)
Jf (a) =
(f10 (a), f20 (a), . . . , fn0 (a)) Rn
..
.
fn0 (a)
un
6. Si f : I R R es diferenciable en a I entonces Jf (a) R11 R, mas a
Jf (a) = f 0 (a) R
An
alisis Real II
Ejemplo 1.1.7 Vamos a hallar las derivadas parciales de la funcion determinante. Denotemos por
Eij Rnn a la matriz cuya entrada ij es 1 y todas las otras entradas son ceros, es decir
..
.
. . . , , e , , . . . , ).
Eij =
ej ( ,
| {z } j
i1 veces
.
..
E24
0
0
=
0
0
0 0
0 0
0 0
0 0
1
(, e4 , , )
0
0
donde A[i,j] es el determinante de la matriz obtenida de A suprimiendo la i-esima fila y la j-esima columna.
1.2
x11
x31
x12
x32
La Regla de la Cadena
An
alisis Real II
X gk
(gk f )
fj
(a) =
(f (a))
(a)
xi
y
xi
j
j=1
1 i m, 1 k np.
n
(gk f ) X gk
fj
=
f
1 i m, 1 k p.
xi
y
xi
j
j=1
Corolario 2. Sean U Rm abierto, f, g : U Rn diferenciables en a U y r R. Se cumplen
1. f + g : U Rn es diferenciable en a y (f + g)0 (a) = f 0 (a) + g 0 (a).
2. f g : U Rn es diferenciable en a y (f g)0 (a) = f 0 (a) g 0 (a).
3. rf : U Rn es diferenciable en a y (rf )0 (a) = rf 0 (a).
4. Si n = 3 entonces f + g : U R3 es diferenciable en a y (f g)0 (a) = f 0 (a) g(a) + f (a) g 0 (a).
Corolario 3. Sean U Rm abierto, f, g : U Rn diferenciables en a U y : Rn Rn Rp bilineal.
Entonces la funcion
(f, g) : U Rp
x 7 (f, g)(x) = (f (x), g(x))
An
alisis Real II
es diferenciable en a y
0
f 0 (a) (f 1 )0 (f (a)) = I
An
alogamente (f 1 )0 (f (a)) f 0 (a) = I
1.3
El Teorema de Schwarz
Definici
on 1.3.1 Sea U Rm un abierto, f : U Rn y a U . Decimos que f es dos veces diferenciable
en a si y solo si
1. f es diferenciable en U .
2. Las derivadas parciales
f
f
,...,
: U Rn son diferenciables en a.
x1
xm
Proposici
on 1.3.1 Sea U Rm abierto, f = (f1 , . . . , fn ) : U Rn y a U . Son equivalentes
1. f es dos veces diferenciable en a
2. Las funciones coordenadas f1 , . . . , fn : U R son dos veces diferenciables en a.
Demostraci
on. Ejercicio.
Observaci
on: Sea f = (f1 , . . . , fn ) : U R R dos veces diferenciable en a U entonces, por
on derivada f 0 : U L(Rm , Rn )
definicion, f es diferenciable en U , luego podemos considerar la funci
nm
0
m
n
nm
R
que a cada x U le asocia f (x) L(R ; R ) R
. Usando la identificaci
on canonica entre
Rnm y Rnm , tenemos
f1
f1
(x)
.
.
.
(x)
x1
xm
f2
2
f1
f1
fn
fn
0
.
.
.
(x)
(x)
f (x) = x
= x1 (x), . . . , xm (x), . . . , x1 (x), . . . , xm (x)
xm
1
..
..
.
.
fn
fn
(x) . . .
(x)
x1
xm
m
An
alisis Real II
10
Por la definicion de funcion dos veces diferenciable se sigue que las funciones coordenadas de f 0 son
diferenciables en a, luego f 0 es diferenciable en a.
2f
f
(a) =
(a), v, w Rm .
Notaci
on:
vw
v w
Teorema 1.3.2 (Teorema de Schwartz) Sea U Rm abierto, y f : U Rn funcion dos veces
diferenciable en a U . Entonces
2f
2f
(a) =
(a),
xi xj
xj xi
1 i, j m
Demostraci
on. Sea f = (f1 , . . . , fn ) entonces fk : U R son dos veces diferenciables en a U ,
1 k n, luego:
2
2f
2 fn
f
f1
fn
f1
(a) =
(a) =
(a), . . . ,
(a) =
(a), . . . ,
(a)
xj xi
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
Corolario. Sean U Rm abierto y f : U Rn dos veces diferenciable en a U . Entonces
2f
2f
(a) =
(a),
vw
wv
v, w Rm
Rm Rm
Rn
(v, w)
f,a (v, w) =
2f
(a)
wv
f
f,a (v, c1 w1 + c2 w2 ) =
(a) =
(a)(c1 w1 + c2 w2 )
(c1 w1 + c2 w2 ) v
v
0
0
f
2f
f
2f
= c1
(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 )
Usando la simetra se prueba la linealidad con respecto a la primera variable.
A continuacion vamos a averiguar que tipo de objeto es la segunda derivada f 00 (a) = (f 0 )0 (a) de una
funcion dos veces diferenciable en a.
An
alisis Real II
11
on
Sea U Rm abierto y f : U Rn una funcion dos veces diferenciable en a U , por la observaci
anterior sabemos que f 0 : U L(Rm , Rn ) es diferenciable en a, luego
f 00 (a) = (f 0 )0 (a) L (Rm , L(Rm , Rn ))
Pero del algebra lineal, se sabe que existe un isomorfismo entre
L (Rm , L(Rm , Rn )) y
L2 (Rm , Rn ) = { : Rm Rm Rn : es bilineal}
f 0
f 0
f1
(a) =
(a), . . . , n (a)
(1.2)
f 00 (a)(w) = (f 0 )0 (a)(w) =
w
w
w
Por otro lado, como fi (1 i n) es dos veces diferenciable en a entonces fi0 : U (Rm
) es
fi
fi
diferenciable en a y desde que fi0 puede ser identificado con el vector gradiente
,...,
, por
x1
xn
Schwarz obtenemos
0
fi
fi0
fi
fi
fi
fi
(a), . . . ,
(a) =
(a) =
(a), . . . ,
(a) =
(a) (1.3)
w
w x1
xm
x1 w
xm w
w
De (1.2) y (1.3)
00
f (a)(w) =
y por tanto
00
(a), . . . ,
f
w
f1
w
f (a)(w)(v) =
fn
w
(a)(v) =
(a)
f
w
(a)
2f
(a) = f,a (v, w)
vw
De esta manera f,a es la transformacion bilineal asociada a f 00 (a), es decir podemos considerar f 00 (a)
como
f 00 (a) : Rm Rm Rn
2f
(v, w)
7 f 00 (a)(v, w) =
(a)
vw
1.4
Funciones de clase C k
Definici
on 1.4.1 Sea U Rm un abierto y f : U Rn
1. Decimos que f es de clase C 1 en U si y solo si se cumple
(a) Existen las derivadas parciales
f
f
(x), . . . ,
(x), x U .
x1
xm
An
alisis Real II
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
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 solo si
f
C k1 (U ; Rn ), 1 i m.
xi
Proposici
on 1.4.2 Sean U Rm , V Rn abiertos y f : U Rn , g : V Rp con f (U ) V . Si
k
f C (U ; Rn ) y g C k (V ; Rp ) entonces g f C k (U ; Rp ).
An
alisis Real II
13
Demostraci
on. Si f = (f1 , . . . , fn ) y g = (g1 , . . . , gp ) entonces g f = (g1 f, . . . , gp f ). De la hipotesis
y la Proposicion 1.4.1 se sigue que fj C k (U ), 1 j n y gl C k (V ), 1 l p. Sabemos que
n
(gl f ) X gl
fj
=
f
xi
yj
xi
j=1
(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
luego
= 1 + 2
v
De aqu se sigue que C (Rm Rn ; Rp ).
A continuacion probaremos que la funcion que a toda matriz inversible le asigna su inversa, es una
funcion de clase C .
En primer lugar recordemos que con las operaciones usuales de suma de funciones y producto de
un escalar por una transformacion lineal, el conjunto L(Rm ; Rn ) se torna un R-espacio vectorial. Sea
T L(Rm ; Rn ) entonces K > 0 tal que kT (x)k Kkxk, x Rm .
kT (x)k
K, luego el conjunto
Si x 6= 0 entonces
kxk
kT (x)k
: x Rm {0} R
kxk
es acotado superiormente, luego existe su supremo, el cual sera denotado por kT k, es decir
kT (x)k
: x Rm {0}
kT k = sup
kxk
Observaciones:
An
alisis Real II
14
kT (x)k
kT k, x Rm {0}. Se sigue que kT (x)k kT k kxk, x Rm .
kxk
2. kT k = sup kT (x)k : x S m1 .
1.
Observaci
on. (L(Rm ; Rn ), k k) es un R-espacio normado isomorfo a Rnm .
Por otro lado A GL(Rm ) Rmm si y solo si det(A) 6= 0 si y solo si A det1 (R {0}). Como det
2
es una funcion continua, concluimos que GL(Rm ) Rmm Rm es abierto. Denotemos U = GL(Rm ).
2
1
f (A + H) f (A) = (A + H)1 A1 = A(I + A1 H)
A1 = (I + A1 H)1 A1 A1
A1 HA1 +
2
luego
krA (H)k = k(A + H)1 (HA1 )2 k k(A + H)1 k kHA1 k2 k(A + H)1 k kHk2 kA1 k2
15
An
alisis Real II
Para H =
6 0 se sigue que
krA (H)k
k(A + H)1 k kHk kA1 k2
kHk
(1.4)
Lema 1.4.1 Si A GL(Rm ) entonces existe C > 0 tal que si H L(Rm ) es tal que kHk C, entonces
1
A + H GL(Rm ) y k(A + H)1 k .
C
Demostraci
on. Sea C =
1
. Dado x Rm se tiene
2kA1 k
kxk = kA1 Axk kA1 k kAxk
1
1
kxk, luego k(A + H)1 k .
C
C
C
. Si H UA es tal que
Del lema anterior y de (1.4): Dado > 0 tomemos < min C,
kA1 k2
kHk < , del lema anterior y de (1.4) tenemos
krA (H)k
1
C
kA1 k2 =
k(A + H)1 k kHk kA1 k2 <
kHk
C kA1 k2
es decir lim
H0
rA (H)
= 0. Desde que A U fue arbitrario, concluimos que f es diferenciable en U y
kHk
f 0 (A)(H) = A1 HA1 ,
H L(Rm ).
En particular f es continua en U .
Para probar que f es de clase C , fijemos V L(Rm ). Para cualquier X GL(Rm ), se tiene
f
(X) = f 0 (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 definida por (X) = (f (X), f (X)), del corolario
a la Proposicion 1.4.1 tenemos que es continua. Observe que
( )(X) = ((X)) = (f (X), f (X)) = X 1 V X 1 =
f
(X) X U
V
An
alisis Real II
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
lo cual implica f de clase C 2 . Procediendo por induccion se tiene el resultado
V
deseado. Resumimos nuestros resultados en el siguiente:
se sigue que
1.5
El Teorema de Taylor
Definici
on 1.5.1 Sean U Rm un abierto y f : U Rn . Decimos que f es p veces diferenciable en
a U (p 3) si solo si las funciones
f f
f
,
,,
: U Rn
x1 x2
xm
son p 1 veces diferenciables en a.
Proposici
on 1.5.1 Sea U Rm abierto, f = (f1 , . . . , fn ) : U Rn y a U . Son equivalentes
1. f es p veces diferenciable en a
2. f1 , . . . , fn : U R son p veces diferenciables en a.
Demostraci
on. Ejercicio.
Observaci
on: Si f C p (U ; Rn ) entonces f es p-veces diferenciable en a, a U . Es cierto el recproco?
Dejamos la respuesta para el lector.
Sea f C 2 (U ; Rn ), dado x U se tiene que f 00 (x) L2 (Rm , Rn ), luego podemos definir
f 00 :
U
x
L2 (Rm ; Rn )
7
f 00 (x)
Las derivadas de orden superior son definidas de manera analoga. Sea U Rm abierto y f : U Rn
funcion p veces diferenciable en a U . Definimos
f
(p)
(a) :
p veces
z
}|
{
m
R Rm
(v1 , . . . , vp )
Rn
f (p) (a)(v1 , . . . , vp ) =
pf
(a)
vp v1
An
alisis Real II
17
No es difcil probar que f (p) (a) es una transformacion p-lineal y simetrica. Si denotamos
p veces
z
}|
{
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
definir
f (p) : U Lp (Rm ; Rn )
x 7 f (p) (x)
Notaci
on: f (p) (a)(v, v, , v) = f (p) (a)v p .
Teorema 1.5.2 (F
ormula de Taylor Infinitesimal) Sea U Rm abierto, y f : U Rn funcion p
veces diferenciable en a U . Entonces
f (a + h) = f (a) + f 0 (a)h +
donde lim
h0
1 00
1
f (a)h2 + + f (p) (a)hp + ra (h),
2!
p!
h Ua
ra (h)
= 0.
khkp
Demostraci
on. Sea f = (f1 , . . . , fn ) entonces fk : U R son p veces diferenciables en a U . Luego
para h Ua , se cumple:
fk (a + h) = fk (a) + fk0 (a)h +
1 (p)
1 00
f (a)h2 + + fk (a)hp + rak (h)
2! k
p!
rak (h)
= 0, 1 k n. Luego
h0 khkp
donde lim
f (a + h)
1 00
(f (a)h2 , . . . , fn00 (a)h2 ) + +
2! 1
1 (p)
(f (a)hp , . . . , fn(p) (a)hp ) + ra (h)
p! 1
h0
ra (h)
= 0.
khkp
1
1 00
f (a)h2 + + f (p) (a)hp + ra (h),
2!
p!
h Ua
Teorema 1.5.3 (F
ormula de Taylor con Resto de Lagrange) Sea U Rm abierto, a U , h
m
R tal que [a, a + h] U . Si f C p (U ; Rn ) es (p + 1) veces diferenciable en ]a, a + h[ con
(p+1)
(x)wp+1 M kwkp+1 , x ]a, a + h[ w Rm
f
An
alisis Real II
18
Entonces
f (a + h) = f (a) + f 0 (a)h +
donde kra (h)k
1
1 00
f (a)h2 + + f (p) (a)hp + ra (h),
2!
p!
h Ua
M
khkp+1 .
(p + 1)!
Demostraci
on. Ejercicio!
Teorema 1.5.4 (F
ormula de Taylor con Resto Integral) Sea U Rm abierto, a U , h Rm tal
que [a, a + h] U . Si f C p+1 (U ; Rn ) entonces
Z
1
1
1 1
f (a + h) = f (a) + f 0 (a)h + f 00 (a)h2 + + f (p) (a)hp +
(1 t)p f (p+1) (a + th)hp+1 dt
2!
p!
p! 0
Demostraci
on. Ejercicio!
1.6
entonces
: [0, 1]
t
f :
[0, 1]
t
U
(t) = a + th
Rn
(f )(t) = f (a + th)
7
x1 , x2 U
An
alisis Real II
19
Demostraci
on. Sea a U y consideremos A = {x U : f (x) = f (a)}, B = {x U : f (x) =
6 f (a)}.
Observe que A B = U y A B = . Como f es continua, B es abierto. Vamos a probar que A es
abierto. Sea x A, > 0 tal que B (x) U . Afirmo que B (x) A, en efecto:
Si y B (x) entonces [x, y] B (x) U , luego por la desigualdad del valor medio
kf (x) f (y)k 0kx yk
se sigue que f (y) = f (x) = f (a), es decir y A lo que prueba la afirmacion. Luego A, B es una escision
de U , se sigue que B = , luego A = U .
g:
U
x
Rm
g(x) = f (x) T (x)
Lema 1.6.1 Sea X Rm , f : X Rn continua y K X compacto. Entonces > 0, > 0 tal que
si x X, y K y kx yk < entonces kf (x) f (y)k < .
Demostraci
on. Supongamos que 0 > 0 tal que > 0, x X y y K tales que kx y k <
y kf (x ) f (y )k 0 (Hip. Aux.)
Podemos construir (xk ) X, (yk ) K tales que kxk yk k < k1 y kf (xk )f (yk )k 0 , k N. Como
K es compacto, (yjk ) (yk ) tal que lim yjk = y y y K, luego lim f (yjk ) = f (y). Considerando
k
1
+ kyjk yk,
jk
k N
Se sigue que lim xjk = y, luego lim f (xjk ) = f (y). As: 0 kf (xjk ) f (yjk )k, k N, luego
k
An
alisis Real II
20
Demostraci
on. Por una propiedad probada en el curso anterior, 1 tal que si x K, y Rm y
kx yk < 1 entonces
[x, y] U
(1.5)
(1.6)
y = x + th, luego ky xk = tkhk < khk < , luego por (1.6) kf 0 (y) f 0 (x)k < , y ]x, x + h[ y por
2
el Corolario 3
h Ux
rx (h)
rx (h)
= 0. El Teorema de la diferenciabilidad uniforme nos dice que lim
= 0, x K.
h0 khk
h0 khk
En efecto, sea V = {(x, h) K Rm ; h Ux }. Definimos r : V Rn por
donde lim
h0
1.7
r(x, h)
= 0.
khk
Ejercicios
en donde lim
3.
Captulo 2
Sucesi
on de Funciones
Sea X Rm , denotaremos por F(X; Rn ) al conjunto de todas las funciones definidas en X y con valores
en Rn . Con las operaciones usuales de suma de funciones y producto de un n
umero real por una funcion,
el conjunto F(X; Rn ) se torna un R-espacio vectorial.
on de funciones en F(X; Rn ) es una funcion f : N F (X; Rn ) tal que a
Definici
on 2.1.1 Una sucesi
cada n
umero natural k le asocia una funcion f (k) = fk F(X; Rn ), llamado el k-esimo termino de la
sucesion.
Notaci
on. En sucesivo el smbolo (fk ) F (X; Rn ) significara que (fk ) es una sucesion de funciones
en F(X; Rn )
Sea (fk ) F (X; Rn ), para cada x X se tiene que fk (x) Rn , para todo k N, luego (fk (x)) es
una sucesion en Rn . Si la sucesion (fk (x)) Rn es convergente para cada x X entonces existe un
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 ).
Definici
on 2.1.2 Sea (fk ) F(X; Rn ) y f F (X; Rn ). Decimos que la sucesion de funciones (fk )
converge puntualmente a f , lo que escribimos fk f si y solo si se cumplen las dos condiciones siguientes:
1. (fk (x)) Rn es convergente, para todo x X.
2. lim fk (x) = f (x), para todo x X.
k
21
An
alisis Real II
22
Ejemplo 2.1.1 Sea X el intervalo cerrado [0, 1] y consideremos la sucesion (fk ) F(X; R) definida por
fk :
X
x
R
7 fk (x) = xk
Observe que
lim fk (x) = lim xk =
k
Si definimos
f:
[0, 1]
f (x) =
0, si 0 x < 1
1, si x = 1
0,
1,
si 0 x < 1
si x = 1
fk (x) =
Observe que
2k
x
k 1 + x2k
Si definimos
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
An
alisis Real II
23
Si bien es cierto que la nocion de lmite puntual de una sucesion de funciones es bastante natural,
ella tiene un grave defecto, por lo general la funcion lmite no hereda las propiedades de la sucesion.
En efecto, en el ejemplo anterior todas las funciones fk eran continuas sin embargo la funcion lmite f
no lo es. Concluimos que el lmite puntual de una sucesion de funciones continuas no necesariamente es
continuo.
Definici
on 2.1.3 Sean X Rm , (fk ) F (X; Rn ) y f F(X; Rn ). Decimos que la sucesion de
funciones (fk ) converge uniformemente a f en X, lo que escribimos fk f unif. en X si y solo si para
todo > 0, existe un k0 N tal que si k k0 entonces kfk (x) f (x)k < , x X.
Observaciones.
1. En el concepto de convergencia uniforme exigimos que el k0 N solo dependa del mientras que
en la convergencia puntual el k0 depende del y del vector x.
2. Convergencia uniforme implica convergencia puntual. Es decir fk f unif. en X fk f , o
equivalentemente fk 6 f fk 6 f unif. en X.
El siguiente es un criterio muy u
til para la convergencia uniforme de una sucesion de funciones.
Teorema 2.1.1 (Criterio de Cauchy) Sea (fk ) F (X; Rn ). Las siguientes afirmaciones son equivalentes:
1. (fk ) es uniformemente convergente en X.
on de Cauchy, es decir para todo > 0 existe un k0 N tal que j, k k0 entonces
2. (fk ) es una sucesi
kfj (x) fk (x)k < ,
x X.
Demostraci
on. (1. 2.) Dado > 0, por hipotesis debe existir un k0 N tal que si k k0 entonces
kfk (x) f (x)| < 2 para cualquier x X.
Si tomamos j, k k0 , para cualquier x X tenemos
kfk (x) fj (x)k kfk (x) f (x)k + kfj (x) f (x)k <
Luego (fk ) F(X; Rn ) es una sucesion de Cauchy.
(2. 1.) Fijemos x X, dado > 0 existe un k0 N tal que si j, k k0 entonces kfj (x) fk (x)k < .
Se sigue que (fk (x)) Rn es una sucesion de Cauchy en Rn , luego ella es convergente, es decir, existe un
vector f (x) Rn tal que lim fk (x) = f (x). Definimos
k
f: X
x
Rn
f (x) = lim fk (x)
k
Afirmo 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 kfj (x) fk (x)k < 2 . Fijando el subndice k y tomando lmite cuando
j tiende al infinito tenemos kf (x) fk (x)k < , x X. Esto prueba la afirmacion y el teorema.
Note el lector que en el criterio de Cauchy no necesitamos del lmite f para determinar la convergencia
uniforme de la sucesion (fk ).
An
alisis Real II
24
Teorema 2.1.2 (Continuidad del Lmite Uniforme) Sea (fk ) F (X; Rn ) tal que fk es continua
en x0 X, k N. Si fk f unif. en X entonces f es continua en x0 .
Demostraci
on. Sea > 0, por hipotesis existe un k0 N tal que si k k0 entonces
kfk (x) f (x)k <
,
3
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 kxx0 k <
entonces
kfk0 (x) fk0 (x0 )k <
(2.2)
Observaci
on. Aunque la convergencia uniforme es suficiente para asegurar que el lmite de una sucesion
de funciones continuas es continua, no es una condicion necesaria.
Ejemplo 2.1.3 Sea X el intervalo cerrado [0, 1] y consideremos la sucesion (fk ) F(X; R) definida por
f1 :
y si k 2 tenemos
fk : X
X
x
R
f1 (x) = 1
kx,
fk (x) =
2 kx,
0,
si 0 x
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
2
x)
y lim fk (0) = 0,
k
f k 1 1 = 1
k
k
An
alisis Real II
2.2
25
fk (x) =
sen kx
= 0 = (x),
k
k
x R
es decir fk .
1
Ademas, dado > 0, k0 N tal que si k k0 entonces < , luego
k
sen kx
1
|fk (x) (x)| = < , k k0 , x R
k
k
es decir fk unif. en R. Observe que C 1 (R), pero fk0 (x) = k cos kx y de aqu fk0 no converge
uniformemente a en 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. (fk0 ) C(U ; L(Rm ; Rn )) es uniformemente en U .
Entonces f C 1 (U ; Rn ) tal que fk f unif. en U y fk0 f 0 unif. en U
Demostraci
on. Como U es acotado y x0 U entonces r > 0 tal que U Br [x0 ]. Por hipotesis
(fk0 ) C(U ; L(Rm ; Rn )) es uniformemente convergente en U , luego es sucesion de Cauchy, por lo tanto,
dado > 0, k1 N tal que si j, k k1 entonces
kfj0 (x) fk0 (x)k <
,
2r
x U.
(2.3)
kx yk, x, y U, j, k k1
2r
(2.4)
(2.5)
An
alisis Real II
Tomando k0 = max{k1 , k2 }, de (2.4) y (2.5), para j, k k0 y x U , tenemos
kfj (x) fk (x)k k(fj fk )(x) (fj fk )(x0 )k + k(fj fk )(x0 )k
26
kx x0 k +
2r
2
Hemos probado que k0 N tal que si j, k k0 entonces kfj (x) fk (x)k < , x U . Es decir (fk )
es sucesion de Cauchy, luego f F (U : Rn ) tal que fk f unif. en U .
Por otro lado, de la hipotesis 2. g C(U ; L(Rm ; Rn )) tal que fk0 g unif. en U . Vamos a probar
que f es diferenciable en U y f 0 = g. Dado a U , debemos probar que
f (a + h) = f (a) + g(a)(h) + ra (h),
h Ua
ra (h)
= 0.
khk
Sea ra (h) = f (a + h) f (a) g(a)(h) entonces
con lim
h0
kra (h)k
= kf (a + h) f (a) g(a)(h)k
kf (a + h) f (a) fk0 (a + h) + fk0 (a)k +
kfk0 (a + h) fk0 (a) fk0 0 (a)(h)k + kfk0 0 (a)(h) g(a)(h)k
(2.6)
h Ua
a (h)
= 0. De esta manera, dado > 0, > 0 tal que si 0 < khk < entonces
h0 khk
con lim
<
khk
3
De (2.4) tenemos
k(fj fk0 )(a + h) (fj fk0 )(a)k <
(2.7)
khk, j k0
3
luego
kf (a + h) fk0 (a + h) f (a) + fk0 (a)k = lim kfj (a + h) fk0 (a + h) fj (a) + fk0 (a)k
j
khk (2.8)
3
, j k0 , luego
3
(2.9)
De (2.7), (2.8), (2.9) y (2.6), para h Ua , se cumple que > 0 tal que si 0 < khk < entonces
kra (h)k
khk
De esta manera f es diferenciable en a y f 0 (a) = g(a). Como el a fue arbitrario, concluimos que f es
diferenciable en U y f 0 = g.
An
alisis Real II
2.3
27
Series de Funciones
j,1
serie de funciones.
Desde que una serie de funciones es un caso particular de sucesion de funciones, podemos aplicarle
los conceptos de lmite puntual y lmite uniforme.
X
Definici
on 2.3.1 Sean (fk ) F(X; Rn ) y consideremos
fk .
j,1
1. Decimos que
j,1
k
X
fk
j=1
k
X
j=1
Notaci
on. El lmite S sera denotado por el smbolo
fj .
j=1
fj converge uniformemente en X.
j,1
Demostraci
on. Denotemos sk =
k
X
j=1
fj y k =
k
X
j=1
positivos (k ) es convergente, luego es de Cauchy, de esta manera, dado un > 0 existe un k0 N tal
que si j, k k0 entonces |j k | < . Por otro lado (para k i)
i
k
k
k
k
X
X
X
X
X
fj (x) =
fj (x)
fj (x)
ksi (x) sk (x)k =
Mj = |k j |
kfj (x)k
j=i+1
j=1
j=i+1
j=i
j=i+1
28
An
alisis Real II
procediendo de manera analoga para k i se tiene que
ksi (x) sk (x)k |j k |,
i, k N, x X
Si
k
X
j=1
unif. en X, luego
X
j=1
X
j=1
j,1
C(X; Rn ).
Demostraci
on. sk =
fj
fj
j=1
fj C(X; Rn ).
y consideremos
I1 (0)
fk (x) =
xk
k2
fj Observe que
j,1
j
x |x|j
1
|fj (x)| = 2 = 2 2 ,
j
j
j
Como la serie de n
umeros reales
x I1 (0), j N
X xj
X 1
es
convergente,
por
el
M
test
de
Weierstrass,
es unij2
j2
j,1
j,1
I1 (0)
S(x) =
X
xj
j=1
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
X
fj (x0 ) es convergente.
1. x0 U tal que
j,1
An
alisis Real II
2.
29
j,1
X
j,1
fj S unif. en U y
X
j,1
fj0 S 0 unif. en U
Demostraci
on. Ejercicio!
2.4
La Curva de Peano
Usaremos los resultados de la seccion anterior para construir una curva continua que tenga interior no
vaco.
Sea
: [0, 2] R
5
1
o
t2
0,
si 0 t ,
3
3
1
2
si t
3t 1,
3
3
t
7 (t) =
2
4
si t
1,
3
3
3t + 5, si 4 t 5
3
3
Extendemos periodicamente a todos los reales haciendo (t + 2) = (t).
Observe que C(R) y es periodica de periodo 2. Dado k N, definimos (fk ), (gk ) F(R; R) como
fk (t) =
(32k2 t)
2k
gk (t) =
(32k1 t)
,
2k
t R.
An
alisis Real II
30
(32k2 t)
1 ,
|fk (t)| =
t R, k N
2k
2k
X 1
1
es tal que
es convergente. Por el M-test
Adem
as la sucesion de n
umeros reales positivos
k
2
2j
j,1
X
X
de Weierstrass
fj es uniformemente convergente en R, mas a
un, por el Teorema 2.3.2,
fj C(R).
j,1
An
alogamente se prueba que
X
j,1
1 :
R
t
y sea
j,1
R
1 (t) =
2 :
X
(32j2 t)
j=1
: R
t
2j
2 (t) =
X
(32j1 t)
j=1
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) =
X
(32j2 t)
j=1
2j
X
1
= 1,
j
2
j=1
t [0, 1]
An
alogamente 0 2 (t) 1, t [0, 1]. De esta manera (t) [0, 1] [0, 1], es decir ([0, 1])
[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
X
X
aj
bj
=
a=
,
b
j
2
2j
j=1
j=1
en donde aj , bj {0, 1}, j N. Defino
t0 = 2
donde c2j1 = aj y c2j = bj , j N. Observe que
0 t0 = 2
X
cj
j
3
j=1
X
X
1
cj
2
=1
j
j
3
3
j=1
j=1
es decir t0 [0, 1]. Afirmo que (t0 ) = (a, b). En efecto, observe en primer lugar que es suficiente probar
3j t0 = cj+1 , j = 0, 1, 2, . . .
(2.10)
An
alisis Real II
31
2 (t0 ) =
X
(32j2 t0 )
j=1
X
j=1
2j
(32j1 t0 )
=
2j
X
c2j1
j=1
X
j=1
2j
c2j
=
2j
X
aj
j=1
X
bj
j
2
j=1
2j
=a
=b
lo cual prueba la afirmacion. Probemos entonces (2.10): Dado k = 0, 1, 2, . . . (fijo, arbitrario), tenemos:
3 k t0
= 2
X
X
X
cj
cj
kj
=
2
3
c
+
2
j
jk
jk
3
3
j=1
j=1
j=k+1
=
donde dk = 2
X
j=1
cj+k
desde que tiene perodo 2, tenemos (3k t0 ) = (dk ).
3j
Si ck+1 = 0 entonces 0 dk = 2
Si ck+1 = 1 entonces
2.5
n
umero par + dk
X
cj+k
j=2
3j
X
1
1
= , luego (dk ) = 0, es decir (3k t0 ) = ck+1 .
j
3
3
j=2
X
1
2
cj+k
dk = 2
2
= 1, luego (dk ) = 1, es decir (3k t0 ) = ck+1 .
j
j
3
3
3
j=1
j=1
La Funci
on de Weierstrass
En 1872, Weiertrass dio un ejemplo de una funcion continua en todo R que no es diferenciable en ning
un
punto de su dominio.
Consideremos la sucesion de funciones (fn ) C(R) definida por
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
X
X
fn converge uniformemente en R. Definimos W : R R como W (x) =
bn cos(an x). Se sigue
n,1
n=1
An
alisis Real II
32
1
1
De esta manera hemos construido dos sucesiones (km ) Z y (x0m ) R tales que < x0m ,
2
2
km 1
m N. A continuacion definimos la sucesion (xm ) R por xm =
N.
Observe
que
,
am
xm x0 =
1 + x0m+1
km 1
km 1 am x0
x0 =
=
,
m
m
a
a
am
mN
1
1
1
3
0
entonces
< 1 + xm
. De aqu se desprende que xm x0 < 0, m N y
Como < x0m
2
2
2
2
lim xm = x0 .
m
W (xm ) W (x0 )
xm x0
bn
n=0
m1
X
bn
n=0
m1
X
cos(an xm ) cos(an x0 )
xm x0
X
cos(an xm ) cos(an x0 )
cos(an xm ) cos(an x0 )
bn
+
xm x0
xm x0
n=m
(ab)n
n=0
A+B
(2.11)
a elemental,
sabemos
que cos( + ) cos( ) = 2sen sen . Haciendo =
Por trigonometr
xm x0
xm + x0
n
a
y=a
(con n 0 fijo), tenemos
2
2
xm + x0
xm x0
n
n
n
n
cos(a xm ) cos(a x0 ) = 2sen a
sen a
2
2
n
Luego
cos(an xm ) cos(an x0 )
= sen
an (xm x0 )
Como lim
x0
luego
sen x
= 1, debe existir un m0 N tal que si m m0 entonces
x
sen an xm x0 3
<
an xm2x0 2
|A|
De aqu
sen an xm2x0
xm + x0
xm x0
an
2
an
m1
3 X
3 (ab)m
3 (ab)m 1
<
(ab)n =
2 n=0
2 ab 1
2 ab 1
|A| <
3 (ab)m
,
2 ab 1
siempre que m m0
(2.12)
An
alisis Real II
33
0
)
(1)jm cos(an xm+1
luego
B
bn+m
n=0
= (1)jm
bn+m
1 + cos(an x0m+1 )
n=0
jm 1
= (1)
Observe que B 0 =
bn
n=0
(ab) B
0
1+xm+1
am
= (1)jm 1 (ab)m
bn
n=0
0
)
1 + cos(an xm+1
0
1 + xm+1
(2.13)
1 + cos(an x0m+1 )
es una serie de terminos no negativos cuyo primer termino es
1 + x0m+1
1 + cos(x0m+1 )
2
.
0
1 + xm+1
3
1
1
2
1
).
< x0m , un facil calculo muestra que 1 + cos(x0m+1 ) 1 y
2
2
3
1 + x0m+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 0
xm x0
Si tomamos a, b tales que ab > 1 +
4
, es decir
< , de (2.12) tenemos
4
ab 1
9
luego la sucesion
tradiccion.
2
3
<
2(ab 1)
3
2
(1)jm 1 (ab)m A + B 0 > + B 0 0
3
= +, tenemos
W (xm ) W (x0 )
= +
lim
m
xm x0
W (xm ) W (x0 )
no esta acotada y por tanto no es convergente, lo cual es una conxm x0
Captulo 3
Difeomorfismos Locales
Definici
on 3.1.1 Sean U, V Rm dos abiertos. Decimos que f : U V es un difeomorfismo entre U y
V si y solo si se cumplen las tres condiciones siguientes:
1. f es una biyeccion.
2. f es diferenciable en U .
3. f 1 : V U es diferenciable en V .
Observaciones.
1. Si f es un difeomorfismo entre los abiertos U, V Rm entonces f es un homeomorfismo entre U y
V.
2. La condicion 3. de la definicion anterior no se deduce de las dos primeras. En efecto, la funcion
f:
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 difeomorfismo, por el Corolario 4 de la Regla de la Cadena f 0 (x) GL(Rm ),
x U.
34
An
alisis Real II
35
R2
(x, y)
R2 {0}
7
ex sen y
ex cos y
luego det Jf (x, y) = e2x 6= 0, (x, y) R2 , es decir f 0 (x, y) GL(R2 ), (x, y) R2 , sin embargo
f : R2 R2 {0} no es inyectiva, puesto que f (0, 0) = f (0, 2).
5. Con relacion a la funcion del ejemplo anterior, si restringimos el dominio de f convenientemente,
entonces f restringida a este dominio, si es un difeomorfismo. En efecto, dado a = (x0 , y0 ) R2 ,
definimos el conjunto (franja horizontal abierta de ancho 2)
Wa = {(x, y R2 : x R, |y y0 | < }
Definici
on 3.1.2 Sean U Rm un abierto. Decimos que f : U Rm es un difeomorfismo
local si y
s
olo si x U , Wx U y Wx0 Rm abiertos con x Wx , f (x) Wx0 , tales que f Wx : Wx Wx0 es
un difeomorfismo entre Wx y Wx0 .
Observaciones.
1. Los difeomorfismos de la Definicion 3.1.1 son llamados globales.
2. Todo difeomorfismo global es un difeomorfismo local, lo recproco es falso.
3. Ya sabemos que si f : U V es diferenciable y f 0 (x) GL(Rm ), x U entonces f no necesariamente es un difeomorfismo global. Surge la pregunta si f 0 (x) GL(Rm ) entonces f es un
difeomorfismo local en x?
3.2
El Teorema de la Funci
on Inversa
Teorema 3.2.1 (Teorema del Punto Fijo para Contracciones) Sea X Rm un conjunto cerrado
y f : X X una contraccion (i.e. f Lipschitz con Lip(f ) < 1). Entonces existe un u
nico x0 X tal
que:
1. f (x0 ) = x0 (i.e. x0 es punto fijo de f ).
2. lim f k (x) = x0 , x X (i.e. x0 es un atractor de f ).
k
An
alisis Real II
36
Demostraci
on. Ejercicio!
Observaci
on: Si X Rm no es cerrado, entonces una contracci
on f : X X no necesariamente tiene
un punto fijo. En efecto, considere X = ]0, 1[ y
f:
f (x) =
x2
3
Para x1 , x2 X se cumple
2
x
x2 1
2
|f (x1 ) f (x2 )| = 1 2 = |(x1 x2 )(x1 + x2 )| |x1 x2 |
3
3
3
3
es decir y Br [a].
Es decir
kf (x1 ) f (x2 )k (1 Lip())kx1 x2 k,
x1 , x2 U
(3.1)
An
alisis Real II
37
1
1
kf (x1 ) f (x2 )k =
ky1 y2 k
1 Lip()
1 Lip()
1
, en particular f 1 es continua. De esta
1 Lip()
manera hemos probado que f es un homeomorfismo 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 )
Afirmaci
on: B(1Lip())r (f (a)) f (Br [a]). En efecto, sea y B(1Lip())r (f (a)) para probar que
x Br [a] tal que f (x) = y, consideremos la funcion
y :
Rm
x
Rm
y (x) = y (x)
Para x1 , x2 Rm , se cumple
ky (x1 ) y (x2 )k = ky (x1 ) y + (x2 )k = k(x1 ) (x2 )k Lip()kx1 x2 k
Se sigue que y es una contraccion y Lip(y ) Lip(), luego
ky (a) ak = ky (a) ak = ky f (a)k < (1 Lip())r (1 Lip(y ))r
Por la Proposicion 3.2.2, existe un u
nico x Br [a] tal que y (x) = x, es decir y = x + (x) = f (x), luego
y f (Br [a]) lo cual prueba la afirmacion. As
B(1Lip())r (f (a)) f (Rm ),
Haciendo rk =
r>0
k
(k N) tenemos Bk (f (a)) f (Rm ), k N. Se sigue que
1 Lip()
[
Bk (f (a)) f (Rm )
Rm =
kN
Corolario. (Perturbaci
on de un Isomorfismo) Sea U Rm abierto, T GL(Rm ), : U Rm
Lipschitz tal que Lip() < kT 1 k1 . Entonces la funcion
f:
U
x
Rm
f (x) = T (x) + (x)
U
x
Rm
(x) = (T 1 )(x)
An
alisis Real II
38
Para x1 , x2 U se tiene
k(x1 ) (x2 )k kT 1 k k(x1 ) (x2 )k kT 1 k Lip() kx1 x2 k
De esta manera es Lipschitz y Lip() kT 1 kLip() < 1, es decir es una contracci
on. Luego, por
el Teorema 3.2.3, la funcion
g : U Rm
x 7 g(x) = x + (x)
Luego T g = f .
h Ua
(3.2)
ra (h)
= 0.
khk
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 0 (a)]
(ra (f 1 (b + k) f 1 (b)))
es decir
1
f 1 (b + k) = f 1 (b) + [f 0 (a)]
(k) + b (k),
k Vb
(3.3)
b (k)
1
= 0. Ahora
donde b (k) = [f 0 (a)] ra (f 1 (b + k) f 1 (b)). Debemos probar que lim
k0 kkk
bien, como f 0 (a) GL(Rm ) sabemos que C > 0 tal que kf 0 (a)(x)k Ckxk, x Rm . Desde que
ra (h)
kra (h)k
C
= 0, debe existir un > 0 tal que h Ua y 0 < khk < implica
< .
lim
h0 khk
khk
2
Si x U y es tal que 0 < kx ak < , de (3.2) tenemos
kf (x) f (a)k
An
alisis Real II
39
C
kx ak. De esta manera, como f (B (a)) es abierto
2
(puesto que f es homeomorfismo) 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 kf (x) f (a)k
kf 1 (y) f 1 (b)k = kx ak
Se sigue que
2
kf 1 (y) f 1 (b)k
,
ky bk
C
2
2
kf (x) f (a)k = ky bk
C
C
y Br (b) {b}
lim
k0
luego
1
lim [f 0 (a)]
k0
es decir lim
k0
[f 0 (a)]
ra (f 1 (b + k) f 1 (b))
kf (b + k) f 1 (b)k
=0
kf 1 (b + k) f 1 (b)k
kkk
ra (f 1 (b + k) f 1 (b))
kkk
=0
k (b)
= 0. De (3.3) concluimos que f 1 es diferenciable en b = f (a) y (f 1 )0 (f (a)) =
kkk
An
alisis Real II
40
Proposici
on 3.2.5 Sean U, V Rm abiertos y f : U V una biyecci
on de clase C k (k 1). Si
k
1
f : V U es diferenciable en V entonces f Diff (U ; V ).
Demostraci
on. Recordemos que la funcion
inv :
GL(Rm )
T
GL(Rm )
inv(T ) = T 1
1
(f 1 )0 (y) = f 0 (f 1 (y))
= (inv f 0 f 1 )(y),
yV
Demostraci
on. Sin perdida de generalidad, podemos suponer que a = 0 y f (a) = 0 (caso contrario,
consideramos traslaciones). Por hipotesis T = f 0 (0) GL(Rm ), como GL(Rm ) es abierto entonces
m
0
m
m2
r >
es continua. Dado 0 < <
0 tal queBr (T ) GL(R ). Por otro lado f : U L(R ) R
1
0
min
, r , > 0 tal que si kxk < entonces kf (x) T k < , es decir f 0 (x) Br (T ) GL(Rm ).
kT 1 k
De esta manera, hemos probado que
x B (0)
(3.4)
lim
h0
ra (h)
=0
khk
Observe que
kra (h1 ) ra (h2 )k = kf (h1 ) f (h2 ) T (h1 h2 )k
h1 , h2 B (0)
Luego r0 es Lipschitz en B (0), con Lip(r0 ) < kT 1 k1 . De esta manera, por el Teorema de la
perturbacion de un isomorfismo, concluimos que f es un homeomorfismo de B (0) sobre f (B (0)).
Observaci
on: Si en el Teorema de la funcion inversa reemplazamos la hipotesis de ser f C k (U ; Rm )
(k 1) por f diferenciable en U , entonces el resultado no es necesariamente cierto.
An
alisis Real II
3.3
41
Inmersiones y Sumersiones
Definici
on 3.3.1 Sea U Rm un abierto y f : U Rn una funcion diferenciable en U . Decimos que f
es una inmersi
on de U en Rn si y solo si f 0 (x) L(Rm ; Rn ) es inyectiva, x U .
Observaci
on. Si f : U Rm Rn es una inmersion de U en Rn entonces m n.
Ejemplo 3.3.1 Sea m n y consideremos
f:
Rm
x
Rn
f (x) = (x1 , . . . , xm , 0, . . . , 0)
Como f es lineal se tiene que f 0 (x) = f , x Rm . De esta manera f 0 (x) L(Rm ; Rn ) es inyectiva,
: R
t
R2
7 (t) = (t2 , t3 )
Como 0 (t) = (2t, 3t2 ) se sigue que 0 (0) = (0, 0). Concluimos que no es una inmersion de R en R2 .
Ejemplo 3.3.4 Sea el camino
:
R
t 7
R2
(t) = (t3 4t, t2 4)
Como 0 (t) = (3t2 4, 2t), se tiene 0 (t) 6= (0, 0), t R, luego es una inmersion de R en R2 .
Observaciones.
1. Una funcion inyectiva no necesariamente es una inmersion (ver Ejemplo 3.3.3).
2. Una inmersion no necesariamente es una funcion inyectiva (ver Ejemplo 3.3.4).
El Teorema siguiente nos muestra que toda inmersion suficientemente suave, se comporta localmente
como la inclusion canonica y por lo tanto es localmente inyectiva.
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 0 (a) L(Rm ; Rn ) es inyectiva entonces existen abiertos Wa U , Za Rnm y
Wa0 Rn con a Wa , 0 Za y f (a) Wa0 y existe ha Diff k (Wa0 , Wa Za ) tales que ha (f (a)) = (a, 0)
y
(ha f )(x1 , . . . , xm ) = (x1 , . . . , xm , 0, . . . , 0),
(x1 , . . . , xm ) Wa .
An
alisis Real II
42
Demostraci
on. Sin perdida de generalidad, podemos suponer que a = 0 Rm y f (a) = 0 Rn (caso
contrario, consideramos traslaciones). Sea E = Im [f 0 (0)], como f 0 (0) L(Rm ; Rn ) es inyectiva entonces
dimR E = m. Sin perdida de generalidad, podemos suponer que E es generado por las primeras m filas
de la matriz f 0 (0), es decir si f = (f1 , f2 , . . . , fn ) entonces
(f1 , . . . , fm )
(0) GL(Rm ).
(x1 , . . . , xm )
M
as a
un, por un cambio lineal de coordenadas podemos suponer que
(f1 , . . . , fm )
(0) = I
(x1 , . . . , xm )
Observe que la igualdad anterior implica que
f (x) = (x1 , . . . , xm , fm+1 (x1 , . . . , xm ), . . . , fn (x1 , . . . , xm ))
Consideremos el mapeo
U Rnm
(x0 , x00 )
Rn
7 (x0 , x00 ) = (x0 , xm+1 + fm+1 (x0 ), . . . , xn + fn (x0 ))
(x1 , , xm )
(x1 , , xm )
(0)
(0)
(x
)
(x
,
.
.
.
,
x
1
m
m+1 , . . . , xn )
I
=
GL(Rn )
B I
J(0) =
Luego, por el Teorema de la funcion inversa, existen abiertos Va U , Za Rnm y Wa0 Rn con
a = 0 Va , 0 Z0 y f (a) = 0 Wa0 tales que V Z Diff k (Va Za , Wa0 ). Ahora bien, sea
0
0
= (fm+1 , . . . , fn ) : U Rnm , note que f (x0 ) = (x0 , (x0 )). Se sigue que es continua, luego
1
, tenemos
Wa = Va 1 (Za ) es un abierto. Denotando ha =
Wa Za
(x0 , x00 ) Wa Za
Luego
ha (y 0 , y 00 ) = (x0 , x00 ) = (y 0 , y 00 (y 0 )),
(y 0 , y 00 ) Wa0
An
alisis Real II
43
Definici
on 3.3.2 Sea U Rm un abierto y f : U Rn una funcion diferenciable en U . Decimos que f
on de U en Rn si y solo si f 0 (x) L(Rm ; Rn ) es sobreyectiva, x U .
es una sumersi
Observaci
on. Si f : U Rm Rn es una sumersion de U en Rn entonces m n.
on
Ejemplo 3.3.5 Sea m n y consideremos la proyecci
:
Rm
x
Rn
(x1 , . . . , xm ) = (x1 , . . . , xn )
Como es lineal se tiene que 0 (x) = , x Rm . De esta manera 0 (x) L(Rm ; Rn ) es sobreyectiva,
x Rm . As es una sumersion de Rm en Rn .
Ejemplo 3.3.6 Es facil reconocer si una funcion diferenciable a valores reales es una sumersion de su
dominio en R. En efecto, sea U Rm un abierto f : U Rn una funcion diferenciable. Luego f es
una sumersion de U en Rn si y solo si f 0 (x) L(Rm ; R) = (Rm ) es sobreyectiva x U si y solo si
f 0 (x) f (x) =
6 0, x U .
I R
(x, y) 7
R
f (x, y) = y (x)
R3
(x, y, z)
R
f (x, y, z) = x2 + y 2 + z 2
Es claro que f es diferenciable en R3 y f (x, y, z) = (2x, 2y, 2z), luego f (0, 0, 0) = (0, 0, 0). Concluimos
que f no es una sumersion de R3 en R.
El Teorema siguiente nos muestra que toda sumersion suficientemente suave, se comporta localmente
como una proyeccion.
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 = (a0 , a00 ) U , donde a0 = (a1 , . . . , an ) y a00 = (an+1 , . . . , am ). Si f 0 (a) L(Rm ; Rn ) es
sobreyectiva entonces existen abiertos Wa U , Va Rn y Za Rmn con a Wa , f (a) Va y a00 Za
y existe ha Diff k (Va Za , Wa ) tales que ha (f (a), a00 ) = a y
(f ha )(y1 , . . . , ym ) = (y1 , . . . , yn ),
(y1 , . . . , yn ) Va Za .
Demostraci
on. Sin perdida de generalidad, podemos suponer que a = 0 Rm y f (a) = 0 Rn
(caso contrario, consideramos traslaciones). Por hipotesis f 0 (0) L(Rm ; Rn ) es sobreyectiva, luego
An
alisis Real II
44
Im(f 0 (0)) = f 0 (0)(Rm ) tiene dimension n, podemos suponer (salvo un cambio lineal de coordenadas) que
f 0 (0)(e1 ), . . . , f 0 (0)(en ) generan Im(f 0 (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 )
n
mn
V a Za R R
con 0 Wa , f (0) Va , 0 Za tales que W : Wa Va Za es un difeomorfismo
a
1
de clase C k . Denotemos ha = W
:
Z
V
W
.
Observe
que
a
a
a
a
(x) = (f1 (x), . . . , fn (x), xn+1 , . . . , xm ) = (y1 , . . . , yn , yn+1 , . . . , ym )
Observaci
on: Si en la demostracion del Teorema de la Forma Local de las Sumersiones suponemos que
los n u
ltimos vectores f 0 (0)(emn+1 ), . . . , f 0 (0)(em ) generan Im f 0 (0), (esto es equivalente a decir que
(f1 , . . . , fn )
(0) GL(Rn )),
(xmn+1 , . . . , xm )
on sobre las u
ltimas n coordenadas. Mas especfientonces f se comporta localmente como la proyecci
camente, existen abiertos Wa U , Va Rn y Za Rmn con a Wa , f (a) Va y a0 Za (donde
a = (a0 , a00 ) Rmn Rn ) y existe ha Diff k (Za Va , Wa ) tales que
(f ha )(y 0 , y 00 ) = y 00 ,
(y 0 , y 00 ) Za Va .
Adem
as, el lector puede probar sin dificultad que ha es del tipo
ha (y 0 , y 00 ) = (y 0 , h2 (y 0 , y 00 )),
(y 0 , y 00 ) Za Va .
An
alisis Real II
45
Za
y0
Rn
ga (y 0 ) = y 00
1
(f1 , . . . , fn )
(f1 , . . . , fn )
(y 0 , ga (y 0 ))
(y 0 , ga (y 0 ))
ga0 (y 0 ) =
(xmn+1 , . . . , xm )
(x1 , . . . , xmn )
Demostraci
on. Por la observacion anterior, existen abiertos Wa U , Va Rn y Za Rmn con
a Wa , c = f (a) Va y a0 Za y existe un difeomorfismo de clase C k
ha :
Z a Va
(y 0 , y 00 )
Wa
(y 0 , h2 (y 0 , y 00 ))
tales que
(f ha )(y 0 , y 00 ) = y 00 ,
(y 0 , y 00 ) Za Va .
z 00 = f ha (z 0 , z 00 ) = f (y 0 , y) = c,
Za
y0
Rn
ga (y 0 ) = y 00 = h2 (y 0 , c)
(3.5)
(y1 , . . . , ymn ) 0
(y )
(y , . . . , y
1
mn )
(y1 , . . . , ymn , g1 , . . . , gn ) 0
I
0 0
=
(y ) =
(y ) =
ga0 (y 0 )
(y1 , . . . , ymn )
(g1 , . . . , gn )
0
(y )
(y1 , . . . , ymn )
(f1 , . . . , fn )
(f1 , . . . , fn )
(f1 , . . . , fn )
0
0
0
((y ))
((y )) =
((y )),
f ((y )) =
(x1 , . . . , xm )
(x1 , . . . , xmn )
(xmn+1 , . . . , xm )
0
(3.6)
(3.7)
An
alisis Real II
46
1
(f1 , . . . , fn )
(f1 , . . . , fn )
((y 0 ))
((y 0 ))
(xmn+1 , . . . , xm )
(x1 , . . . , xmn )
Observaci
on. En el caso que n = 1, tenemos el Teorema de la funcion implcita estudiado en Analisis I.
3.4
Recordemos que el rango de una transformacion lineal T L(Rm , Rn ) es definido como la dimension de
umero maximo de vectores filas o vectores columnas linealmente
Im (T ), o equivalentemente, como el n
independientes de cualquier matriz asociada a T .
Definici
on 3.4.1 Sea U Rm un abierto y f : U Rn una funcion diferenciable en U . El rango de f
en a U , denotado rang a (f ) es el rango de f 0 (a) L(Rm ; Rn ).
Observaci
on: Si U Rm un abierto y f : U Rn entonces rang a (f ) min{m, n}, a U .
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 )
7
2x
1
2x 3y 2
R42
Jf (x, y) =
1
1
2x
2y
An
alisis Real II
47
(f1 , . . . , fk )
rang
(a) = k,
(x1 , . . . , xk )
en donde f = (f1 , . . . , fn ).
Definimos 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 )
(3.8)
An
alisis Real II
48
0
p
en donde hj = fj G1
olo dependen de
a , k + 1 j n. Observe que hj C (Va ). Afirmo que las hj s
las variables y1 , . . . , yk . En efecto, en primer lugar por la Regla de la Cadena
0
1 0
(y) = f 0 (G1
f G1
y Va0
a
a (y)) (Ga ) (y),
0
m
Como (G1
a ) (y) GL(R ) entonces
y Va0
J(f G1
a )(y) =
(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 )
= k entonces
Como rang y f G1
a
(hk+1 , . . . , hn )
(y) = ,
(yk+1 , . . . , ym )
(y1 , . . . , yk )
(y)
(yk+1 , . . . , ym )
(hk+1 , . . . , hn )
(y)
(yk+1 , . . . , ym )
y Va0
y esto implica que hk+1 , . . . , hn solo dependen de las variables y1 , . . . , yk lo cual prueba la afirmacion.
Luego de (3.8) tenemos que f Ga1 : Va0 Rn es definida por
(3.9)
(y) = (y1 , . . . , yk , hk+1 (y1 , . . . , yk ), . . . , hn (y1 , . . . , yk ))
f G1
a
Por otro lado, sean Wa0 Rk , Wa00 Rmk abiertos con 0 Wa0 , 0 Wa00 tales que Wa0 Wa00 Va0 .
Definimos b : Wa0 Rnk Rn por
b (u) = (u1 , . . . , uk , uk+1 + hk+1 (u1 , . . . , uk ), . . . , un + hn (u1 , . . . , uk ))
(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 )
0
nk
Luego, por el Teorema de la Funci
y Ub Rn con
on Inversa, pexisten abiertos V Wa , 00Z R
An
alisis Real II
49
1
1
1
)
U
=
(V
W
)
y
G
: Ub V Z de (3.9) y
V W (f G1
(U
).
Denotando
G
=
b
a
b
b
a
a
V Z
(3.10) tenemos
G1
b (y1 , . . . , yk , 0, . . . , 0)
=
=
(y)
f G1
a
() Sea W U abierto, dado a W , por hipotesis f 0 (a) es sobreyectiva, luego por la Forma local de
las sumersiones existen abiertos Wa W , Va Rn y Za Rmn con a Wa , f (a) Va y a00 Za y
on y por tanto es una funcion abierta, as
existe ha Diff 1 (Va Za , Wa ) tal que f ha es una proyecci
(f ha ) (Va Za ) es un conjunto abierto.
Por otro lado, observe que
[
[
ha (Va Za )
W =
Wa =
aW
luego
f (W ) = f
Se sigue que f (W ) es abierto.
aW
aW
ha (Va Za )
aW
(f ha )(Va Za )
Captulo 4
Introducci
on a la Teora de
Superficies en Rn
4.1
Definici
on de Superficie
Definici
on 4.1.1 Sea V Rn , una parametrizaci
on de clase C k (k 1) y dimensi
on m del conjunto
m
V es un par (V0 , ), donde V0 R es un abierto y : V0 V es una funcion que satisface las dos
condiciones siguientes:
1. Hom (V0 , V ).
2. es una inmersion de clase C k .
Observaciones.
1. Si V Rn y (V0 , ) es una parametrizacion de clase C k y dimension m de V entonces m n.
2. Si V Rn y (V0 , ) es una parametrizacion de clase C k y dimension m de V entonces todo punto
p V no obstante estar en Rn , necesita solo de m coordenadas para determinar su posicion, a saber
p = (1 (x1 , . . . , xm ), . . . , n (x1 , . . . , xm ))
Ejemplo 4.1.1 Sea U Rn un abierto, entonces (U, id) es una parametrizacion de clase C y dimension
n de U .
V0
t
V
(t) = (cos t, sen t)
An
alisis Real II
51
V0
t
V
(t) = (t3 t, t2 )
Es claro que es biyectiva, ademas como 0 (t) = (3t2 1, 2t) entonces 0 (t) =
6 (0, 0), t V0 luego es
una inmersion de clase C de V0 en V , sin embargo (V0 , ) no es una parametrizacion de clase C de V
puesto que no es un homeomorfismo entre V0 y V . En efecto, suponiendo por el absurdo que es un
1
homeomorfismo 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
Definici
on 4.1.2 Una superficie de dimensi
on m y clase C k (k 1) en Rn es un subconjunto M Rn
tal que para todo punto p M , existe una vecindad abierta Up Rn de p tal que Up M admite una
parametrizacion (Vp , p ) de clase C k y dimension m.
Observaciones.
1. Up M es llamada vecindad parametrizada del punto p M .
2. La funcion p : Vp Up M es un homeomorfismo entre Vp y Up M .
3. Si M Rn es una superficie de dimension m, entonces denotaremos M m .
umero n m es llamado codimensi
4. Sea M m Rn una superficie, el n
on de M .
5. Las superficies de dimension 1 en Rn son llamadas curvas. Las superficies de dimension n 1 en
Rn son llamadas hiperficies.
Ejemplo 4.1.4 (Superficies de dimensi
on n en Rn ) Todo abierto U Rn es una superficie de
n
dimensi
on n y de clase C en R . En efecto, es suficiente considerar (U, id) la cual es una parametrizacion
de clase C y dimension n de U .
An
alisis Real II
52
Afirmo que S n1 es una superficie de clase C y dimension n 1 de Rn . En efecto, sea i {1, 2, . . . , n},
definimos 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 coleccion de conjuntos abiertos que cubren S n1 . Vamos a parametrizar Ui+ S n1
y Ui S n1 . Denotemos V0 = {x Rn1 : kxk < 1}. Note que V0 Rn1 es un conjunto abierto.
Definimos las funciones
+
i :
y
i :
V0
x
V0
x
i+
1
i
:
Ui+ S n1
p
1 kxk2 , xi , . . . , xn1 )
7
+
i (x) = (x1 , . . . , xi1 ,
Ui S n1
p
i+ (x) = (x1 , . . . , xi1 , 1 kxk2 , xi , . . . , xn1 )
Ui+ S n1
y
Ui S n1
y
V0
1
7 i
(y) = (y1 , . . . , yi1 , yi+1 , . . . , yn )
V0
+ 1
i
(y) = (y1 , . . . , yi1 , yi+1 , . . . , yn )
luego V0 , +
y V 0 ,
(1 i n) son parametrizaciones de clase C y dimension n 1 de Ui+ S n1
i
i
n1
y Ui S
respectivamente.
Ejemplo 4.1.7 (Superficies Producto) Sean M1m1 Rn1 y M2m2 Rn2 dos superficies de clase C k .
Afirmo que M1 M2 Rn1 +n2 es una superficie de clase C k y dimension m1 + m2 . En efecto, sea
p = (p1 , p2 ) M1 M2 entonces existen abiertos U1 Rn1 y U2 Rn2 tales que p1 U1 M1 y p2
U2 M2 . Sean (V1 , 1 ) y (V2 , 2 ) parametrizaciones de clase C k y dimensiones m1 y m2 respectivamente
de U1 M1 y U2 M2 . Defino V = V1 V2 abierto de Rm1 +m2 y
:
V
(U1 M1 ) (U2 M2 )
(x, y) = (1 (x), 2 (y))
(x, y)
7
Es facil ver que (V, ) es una parametrizacion de clase C k y dimension m1 +m2 de (U1 M1 )(U2 M2 ) =
(U1 U2 ) (M1 M2 ).
De manera analoga se prueba que si M1m1 Rn1 , . . . , Msms Rns son superficies de clase C k entonces
M1 Ms Rn1 ++ns es una superficie de clase C k y dimension m1 + + ms .
Ejemplo 4.1.8 (Toros n-dimensionales) Sabemos que S 1 R2 es una superficie (curva) de clase C
y dimension 1 entonces
T n = S 1 S 1 R2n
{z
}
|
n veces
es una superficie de clase C y dimension n en R2n llamado Toro n-dimensional.
An
alisis Real II
53
4.2
Cambios de Coordenadas
Sea M m Rn una superficie de clase C k y p M entonces por definicion de superficie, debe existir
Up Rn vecindad abierta de p tal que Up M admite una parametrizacion (Vp , p ) de clase C k y
dimension m. Supongamos que exista Up0 Rn otra vecindad abierta de p tal que Up0 M admita una
parametrizacion (Vp0 , p0 ) de clase C k y dimension m. Es claro que (Up Up0 ) M 6= y denotemos
W = (Up Up0 ) M . Se tiene que cualquier punto q W (en particular p) es representado por dos
umeros reales
m-uplas de n
p1 (q) = (x1 (q), . . . , xm (q))
Las funciones (0p )1 p son llamadas cambios de coordenadas. Observe que por definicion de superficie,
los cambios de coordenadas son funciones continuas, resulta natural indagar sobre la diferenciabilidad
m
W Rn es, por
de los cambios de coordenadas. En primer lugar se tiene que p : 1
p (W ) R
k
definici
on de superficie, una funcion de clase C sin embargo no sabemos responder sobra la diferenciabilidad de (0p )1 : W (0p )1 (W ) Rm puesto que W no es un subconjunto abierto de Rn !. Recordemos
que si A Rn es un conjunto no necesariamente abierto, f : A Rm y a
/ int (A) entonces tenemos
dificultades en definir f 0 (a). Una manera de subsanar este fenomenosera suponer que existe un abierto
on
U Rn con A U y que exista una funcion f : U Rm tal que fA = f (es decir f es una extensi
0
0
de f ). En estas condiciones podemos definir f (a) = f (a). Podemos hacer esto cuando W M ?
Teorema 4.2.1 Sea M Rn . Las dos afirmaciones siguientes son equivalentes:
1. M es una superficie de clase C k y dimension m.
2. Dado p M existen abiertos Up0 Rn , Vp0 Rm y Wp0 Rnm con p Up0 , 0 Vp0 , 0 Wp0 y
existe p Diff k (Up0 , Vp0 Wp0 ) tal que p (p) = 0 y p (Up0 M ) = Vp0 {0}.
Demostraci
on. (1. 2.) Si M m Rn es una superficie, dado p M , existe Up Rn abierto con
p Up tal que Up M admite una parametrizacion (Vp , p ) de clase C k y dimension m. Podemos suponer
(va una traslacion) que 0 Vp y p (0) = p.
Por la forma local de las inmersiones, existen abiertos Vp0 Vp Rm , Up0 Up Rn y Wp0 Rnm
con 0 Vp0 , p Up0 y 0 Wp0 y existe p Diff k (Up0 , Vp0 Wp0 ) tal que
p p (x) = (x, 0)
x Vp0
An
alisis Real II
54
Observe que si z Up0 M entonces existe un x Vp0 tal que p (x) = z, luego
p (z) = p (p (x)) = (x, 0) Vp0 {0}
es decir p (Up0 M ) Vp0 {0}.
Por otro lado, si (x, 0) Vp0 {0} entonces p (x) Up0 M , luego (x, 0) = p (p (x)) p (Up0 M ),
es decir Vp0 {0} p (Up0 M ).
(2. 1.) Dado p M , por hipotesis p1 Diff k (Vp0 Wp0 , Up0 ), sean
i : Vp0
x
Vp0 Wp0
7
i(x) = (x, 0)
: Vp0 Wp0
(x, y)
Vp0
(x, y) = x
7
Claramente V 0 {0} es la inversa de i, se sigue que i Diff (Vp0 , Vp0 {0}). Defino p : Vp0 Up0 M
p
dimensi
on m de Up0 M .
Observaci
on: Con la notacion del teorema anterior, se tiene que 1
, luego p :
p = ( p )
Up0
Up0
Vp0
m
p1
Up0 M
1
p es
k
es una extension de
y como p es de clase C concluimos que
. En particular los cambios de coordenadas son difeomorfismos de clase C .
de clase C k en
El teorema anterior nos permite extender el concepto de diferenciabilidad a funciones que estan
definidas en superficies.
Definici
on 4.2.1 Sea M m Rr una superficie de clase C k (k 1) y f : M Rs
1. Decimos que f es diferenciable en el punto p M si y solo si existe una parametrizacion (Vp , p )
de clase C k y dimension m, con p p (Vp ) M tal que f p : Vp Rs es diferenciable en el
punto p1 (p) Vp .
2. Decimos que f es diferenciable en M si y solo si f es diferenciable en p, p M .
A continuacion, probaremos que la definicion anterior no depende de la parametrizacion elegida.
Teorema 4.2.2 Sea M m Rr una superficie de clase C k (k 1) y f : M Rs . Las dos afirmaciones
siguientes son equivalentes:
1. f es diferenciable en p M .
2. Para toda parametrizacion (Vp , p ) de clase C k y dimension m, con p p (Vp ) M se tiene que
f p : Vp Rs es diferenciable en el punto p1 (p) Vp .
Demostraci
on. (1. 2.) Por hipotesis, existe parametrizacion (Vp , p ) de clase C k y dimension m, con
p p (Vp ) M tal que f p : Vp Rs es diferenciable en el punto 1
p (p) Vp . Sea (Wp , p ) otra
k
parametrizacion de clase C y dimension m con p p (Wp ). Debemos probar que f p : Wp Rs es
diferenciable en el punto p1 (p).
An
alisis Real II
55
1
Observe que V = p (Vp ) p (Wp ) 6= es un abierto en M , luego 1
p (V ) y p (V ) son abiertos de
k
Rm . Como p1 p : p1 (V ) 1
p (V ) es un difeomorfismo de clase C , tenemos
f p = (f p ) (p1 p ) : p1 (V ) Rs
es diferenciable en p1 (p).
4.3
Una caracterstica importante de las superficies es que ellas poseen, en cada uno de sus puntos, una
aproximaci
on lineal que es su espacio tangente.
Definici
on 4.3.1 Sea M m Rr una superficie de clase C k (k 1) y p M . El conjunto tangente a M
en el punto p, denotado por Tp M es definido como el conjunto
Tp M = {v Rn : : I (0) M dif. en 0 tal que (0) = p y 0 (0) = v}
Observaci
on: Tp M 6= . En efecto, basta considerar el camino constante
:
I (0)
t
7
M
(t) = p
An
alisis Real II
56
Demostraci
on. Sea v 0p (a)(Rm ), entonces u Rm tal que
v = 0p (a)(u) =
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
Observaciones:
1. Si M m Rr una superficie de clase C k (k 1) y p M entonces Tp M es un R espacio vectorial
de dimension m. Mas a
un, si (Vp , p ) es una parametrizacion de clase C k y dimension m, con
p p (Vp ) M entonces
p
p
Tp M = p0 (a)(e1 ), . . . , 0p (a)(em ) =
(a), . . . ,
(a)
x1
xm
en donde a = 1
p (p).
p
p
p
p
Tp M =
(a), . . . ,
(a)
y Tp M =
(b), . . . ,
(b) .
x1
xm
y1
ym
Para hallar la matriz de cambio de bases consideremos el cambio de coordenadas
1
1
= 1
p p : p (p (Vp ) p (Wp )) p (p (Vp ) p (Wp ))
X p
i
p
(b) =
(a)
(b)
yj
x
y
i
j
i=1
An
alisis Real II
57
(b)
=
a,
tenemos
R
C
y
(V
)
es
de
clase
p (V W ) Rm 1
p
p
p
0
v Tp M
An
alisis Real II
58
entonces existe : I (0) M diferenciable en 0 tal que (0) = p y 0 (0) = v, luego f : I (0) N es
diferenciable en 0 y (f )(0) = f (p), se sigue que
(f )0 (0) Tf (p) N.
0
1 0
(f )0 (0) = f p 1
(4.1)
p (0) = (f p ) (a)(p ) (0)
Pero
1 0
0
0
(p )0 (a)(v0 ) = v = 0 (0) = p 1
p (0) = (p ) (a) (p ) (0)
4.4
Definici
on 4.4.1 Sea U Rm un abierto y f : U Rn una funcion diferenciable. Decimos que c Rn
es un valor regular de f si y solo si f 0 (x) L(Rm ; Rn ) es sobreyectiva, x f 1 (c).
Observaciones:
1. De la definicion anterior se deduce que m n.
2. Si f 1 (c) = entonces c es un valor regular de f .
Ejemplo 4.4.1 Si f : U Rm R es diferenciable entonces f 0 (x) (Rm ) o es cero o es sobreyectiva.
Luego c R es un valor regular de f si y solo si f 0 (x) 6= 0, x f 1 (c) si y solo si f (x) 6= ,
x f 1 (c).
f1 (x)
f2 (x)
(f1 , . . . , fn )
Jf (x) =
(x) =
Rnm
..
(x1 , . . . , xm )
.
fn (x)
An
alisis Real II
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
2z
0
(hiperbola)
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}
(dos rectas)
U
x
G(f )
(x) = (x, f (x))
I
J(x) =
R(m+n)m
Jf (x)
es una matriz de rango m, luego 0 (x) es inyectiva, para todo x U , es decir es una inmersion de clase
An
alisis Real II
Sea
p :
Vp
x
60
Zp f 1 (c)
p (x) = (x, p (x))
R
f (x) = kxk2 = x21 + + x2n
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 superficie de clase C y codimension 1. Mas a
un
n
X
i=1
en donde
A=
A1
A2
..
.
An
H=
H1
H2
..
.
Hn
Ai = (ai1 , . . . , ain ) y
Hi = (hi1 , . . . , hin )
luego SL(Rn ) = det1 (1). Afirmo que 1 es un valor regular de det : Rnn R. En efecto, dado
A det1 (1) entonces debo probar que det0 (A) (Rnn ) es sobreyectiva. Por el Ejemplo 4.4.1 es
An
alisis Real II
61
suficiente probar que det0 (A) 6= 0, A SL(Rn ), ahora bien dado A SL(Rn ) tenemos que det0 (A)(A) =
n det(A) = n concluimos que det(A) =
6 0 y esto prueba la afirmacion. Concluimos que SL(Rn ) es una
n
X
n
X
hii = traz(H)
i=1
i=1
Ejemplo 4.4.6 (El Grupo Ortogonal O(Rn )) Sea A = (aij ) Rnn , la matriz transpuesta de A,
denotada por At es definida por At = (aji ) Rnn . Se cumplen las siguientes propiedades:
1. Att = A.
2. (A + B)t = At + B t .
3. (cA)t = cAt .
4. (AB)t = B t At .
5. I t = I.
6. kAt k = kAk, A Rnn .
7. A GL(Rn ) si y solo si At GL(Rn ) y en caso afirmativo (At )1 = (A1 )t .
Una matriz A Rnn se llama simetrica si y solo si At = A y se llama antisimetrica si y solo si At = A.
Denotemos
A(Rn ) = {A Rnn : A es simetrica }
y
S(Rn ) = {A Rnn : A es antisimetrica }
n
Es facil probar que A(Rn ) y S(Rn ) son subespacios vectoriales de Rnn y dim R S(Rn ) = (n + 1),
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
Observe que la u
ltima propiedad implica que Rnn = S(Rn ) A(Rn ).
El grupo ortonormal de Rn , denotado por O(Rn ) es definido por
O(Rn ) = {A Rnn : AAt = I}
An
alisis Real II
62
Se cumple que O(Rn ) es un subgrupo de GL(Rn ) (Ejercicio!) Sea T L(Rn ) se cumple que T es una
isometra (i.e. kT (x) T (y)k = kx yk, x, y Rn ) si y solo si su matriz asociada con respecto a la base
can
onica de Rn , es ortogonal (Ejercicio!). Vamos a probar que O(Rn ) es una superficie de clase C y
n
dimensi
on (n 1). Consideremos la funcion
2
n
f : Rnn
X
Afirmo 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 )
7 T (H) = XH t + HX t
f 0 (X)(A) =
1
1
1
1
XX t B t + BXX t = B + B = B
2
2
2
2
esto prueba la afirmacion. Se sigue que O(Rn ) es una superficie de clase C y dimension
a
un O(Rn ) = f 1 (I) es compacto. Por otro lado
n
(n 1). Mas
2
Sea f : U Rm Rn de clase C k , sabemos que G(f ) = {(x, f (x)) : x U } es una superficie, pero
no toda superficie es el grafico de una funcion (por ejemplo S n1 es una superficie que no es un grafico).
Sin embargo, tenemos el siguiente resultado.
Teorema 4.4.2 Toda superficie de clase C k es localmente el grafico de una funcion de clase C k .
Demostraci
on. Ejercicio!
An
alisis Real II
4.5
63
Multiplicadores de Lagrange
aximo local
Definici
on 4.5.1 Sea U Rm un abierto,
f : U R y X U . Decimos que x0 A es un m
(respectivamente mnimo local) de f X : X R si y solo si > 0 tal que f (x) f (x0 ) (respectivamente
f (x) f (x0 )), x B (x0 ) X.
Definici
on 4.5.2 Sea U Rm un abierto, M r U una superficie de clase C k (k 1) y f : U R
una funcion diferenciable en U . Decimos que p M es un punto crtico de f M : M R si y solo si
hf (p), vi = 0, v Tp M .
Teorema 4.5.1 Sea U Rm abierto M r U una superficie de clase C k (k 1) y f : U R una
funci
on diferenciable en U . Las dos afirmaciones siguientes son equivalentes:
1. p M es un punto crtico de f M .
2. (f )0 (0) = 0, para toda curva : I (0) M diferenciable en 0 con (0) = p.
Demostraci
on. (2. 1.) Sea v Tp M , entonces existe : I (0) M diferenciable en 0 con (0) = p
y 0 (0) = v, luego
hf (p), vi = hf ((0)), 0 (0)i = (f )(0) = 0
(1. 2.) Sea : I (0) M diferenciable en 0 con (0) = p, luego 0 (0) Tp M y por la regla de la
cadena
(f )(0) = hf ((0)), 0 (0)i = hf (p), vi = 0,
Observaci
on: Cuando M = U un abierto se tiene que p es un punto crtico de f si y solo si hf (p), vi = 0,
v Tp U = Rm si y solo si f 0 (p) = 0, la cual es la definicion usual de punto crtico que se estudia en el
c
alculo.
funci
on diferenciable en U . Si p M es un extremo local de f M entonces p es un punto crtico de f M .
Demostraci
on. Sea p M un maximo local de f M , entonces existe un > 0 tal que f (x) f (p),
x B (p) M . Considero : I (0) B (p) M diferenciable en 0, con (0) = p y consideremos
f I (0) R, entonces (f )(t) = f ((t)) f (p) = (f )(0), luego 0 es maximo local de f , luego
(f )0 (0) = 0 y por lo tanto p es un punto crtico de f M .
Es posible caracterizar los punto crticos de una funcion f M : M R cuando M es una superficie
obtenida como preimagen de un valor regular. Para ello necesitamos un concepto previo.
Definici
on 4.5.3 Sea M r Rm una superficie de clase C k (k 1). El espacio normal a M en el punto
p M , denotado por Tp M , es definido como
Tp M = {w Rm : hw, vi = 0,
v Tp M }
An
alisis Real II
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 superficie 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
un valor regular de g. Sabemos que M = g 1 (c) U es una superficie de clase C k y dimension
un, si g = (g1 , . . . , gn ) entonces dado v Tp M ,
m n, mas a
un Tp M = Nu (g 0 (p)), p M . Mas a
existe : I (0) M diferenciable en 0, con (0) = p y 0 (0) = v, observe que (gj )(t) = cj ,
t I (0), luego:
hgj (p), vi = hgj ((0)), 0 (0)i = (gj )0 (0) = 0,
1jn
Demostraci
on. p M es un punto crtico de f M : M R si y solo si hf (p), vi = 0, v Tp M
si y solo si f (p) Tp M = hg1 (p), g2 (p), . . . , gn (p)i si y solo si existen 1 , . . . , n R tales que
x+z =1
Para ello, consideramos la funcion g : R3 R2 definida por
An
alisis Real II
65
j k
i
g1 (x, y, z) g2 (x, y, z) = 2x 2y 0 = (2y, 2x, 2y)
1
0 1
Se sigue que g1 (x, y, z) y g2 (x, y, z) son linealmente dependientes si y solo si (2y, 2x, 2y) = (0, 0, 0)
si y solo si x = 0 y y = 0. Como
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
superficie de dimension 1 y clase C . Por otro lado (x, y, z) es un punto crtico de f M : M R si y solo
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 solo 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
solo si
21 x + 2 = 1
21 y = 1
2 = 1
2
2
x +y =2
x+z =1
Resolviendo el sistema anterior tenemos que los puntos crticos de f son (0, 2, 1) y (0, 2, 1).
Captulo 5
Integrales M
ultiples
5.1
La Definici
on de Integral sobre m-bloques
m
Y
Ii .
i=1
Si todo los intervalos Ii son abiertos (resp. cerrados, acotados, compactos, etc.), diremos que el m-bloque
m
Y
B=
Ii es abierto (resp. cerrado, acotado, compacto, etc.) Si todos los intervalos Ii tienen la misma
i=1
longitud, entonces B =
m
Y
Ii es llamado m- cubo.
i=1
Para propositos posteriores, vamos a admitir que uno o mas de los intervalos Ii conste de un solo
m
Y
punto. En este caso, decimos que B =
Ii es un m-bloque degenerado.
i=1
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 define por
vol (I) = b a.
Si B =
m
Y
i=1
por vol (B) se define como el producto de las longitudes de los intervalos Ii , es decir
vol (B) =
m
Y
i=1
66
vol (Ii ).
An
alisis Real II
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, rectangulo, paraleleppedo y su volumen vol (B) pasa a ser llamado longitud, area y volumen, respectivamente.
Sea B =
m
Y
i=1
donde k = 1, 2, . . . m.
Para m = 1, 2, 3, una (m 1)-cara es un extremo del intervalo, un lado del rectangulo o una cara del
paraleleppedo.
Es claro que toda (m 1)-cara de un m-bloque, tiene volumen (m-dimensional) cero.
De manera analoga se definen las (m k)-caras (k = 2, . . . , m) de un m-bloque. Las 0-caras son
llamadas vertices del m-bloque.
Definici
on 5.1.1 Sea B =
m
Y
i=1
1. Una partici
on P de B es un producto cartesiano P = P1 Pm donde Pi P([ai , bi ]),
1 i m. Denotaremos por P(B) al conjunto de todas las particiones del m-bloque cerrado B.
2. Sea P = P1 Pm P(B). La norma de P , denotada por kP k es definida como
kP k = max{kPi k : 1 i m}
3. Sean P = P1 Pm , Q = Q1 Qm P(B). Decimos que Q es un refinamiento de P si y
solo si Pi Qi , 1 i m.
Observaciones:
1. Sea P = P1 Pm P(B) donde
Pi = {ai = ti,0 < ti,1 < < ti,ki = bi } P([ai , bi ]),
(1 i m)
Si denotamos por Ii,ji = [ti,ji 1 , ti,ji ] (1 ji ki ) al ji -esimo intervalo generado por Pi P([ai , bi ])
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
An
alisis Real II
68
P = {Bj1 ,...,jm } o P = {Bi } P(B) para decir que los Bj1 ,...,jm (o los Bi ) son los subbloques
generados por la particion P . Es claro que
vol (B) =
k
X
vol (Bi ).
i=1
m
Y
i=1
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,
Es claro que
m(f ) vol (B) L(f, P ) U (f, P ) M (f ) vol (B),
P P(B)
f y
B
f en vez de
f (x)dx y
B
f (x)dx, respectivamente.
An
alisis Real II
69
= {Ii1 BJ ; 1 i1 k1 , J}
= {Ii1 BJ ; 1 i1 6= i k1 , J} {[ti1 , t ] BJ , [t , ti ] BJ ; J}
Si denotamos
mi,J (f ) = inf{f (x) : x [ti1 , t ] BJ }
m
i,J (f ) = inf{f (x) : x [t , ti ] BJ }
(f )
mi,J (f ) mi,J (f ), mi,J
y de aqu
mi,J (f ) vol (Bi,J )
Luego:
L(f, P ) =
XX
i1
X
J
X
J
i1 6=i
i1 6=i
L(f, Q)
P, Q P(B).
An
alisis Real II
70
Demostraci
on. Sean P, Q P(B), sabemos que P + Q P(B) es un refinamiento com
un de P y Q.
Del teorema anterior se tiene:
L(f, P ) L(f, P + Q) U (f, P + Q) U (f, Q)
ZB
Demostraci
on. Probaremos solo la segunda igualdad, la demostracion de la primera es similar. Es claro
que
A = {L(f, P ) : P P(B) y P es refinamiento de P0 } {L(f, P ) : P P(B)}
Luego
sup A
Supongamos que sup A <
f (Hip. Aux.) luego existe P1 P(B) tal que sup A < L(f, P1 ). Pero
Demostraci
on. Es suficiente probar que
P, Q P(B). Luego
Q P(B)
Definici
on 5.1.2 Sea B un m-bloque compacto, f : B R una funcion acotada. Decimos que f es
Riemann integrable sobre B si y solo si
Z
Z
f=
f
B
An
alisis Real II
f (x)dx
o
define como
f=
f=
71
f se
Denotaremos por R(B) al conjunto de todas las funciones Riemann integrables sobre B.
Observaci
on: Sea B un m-bloque compacto, f : B R una funcion acotada. Si f R(B) entonces
por el Corolario 3 se tiene que
Z
P P(B)
L(f, P )
f U (f, P )
B
luego
f=
B
f=
Se sigue que
f=
f.
B
Existe otra caracterizacion de funcion Riemann integrable, la cual usa el concepto de oscilacion.
on de f sobre el conjunto
Definici
on 5.1.3 Sea X Rm y f : X R una funcion acotada. La oscilaci
X, denotada por (f, X) es definida como
(f, X) = sup{|f (x) f (y)| : x, y X}
An
alisis Real II
72
Proposici
on 5.1.3 Sea X Rm y f : X R una funci
on acotada, se cumple:
1. Si mX (f ) = inf{f (x) : x X} y MX (f ) = sup{f (x) : x X} entonces
(f, X) = MX (f ) mX (f )
2. Si Y X entonces (f, Y ) (f, X).
3. Si P = {Bi } P(B) entonces U (f, P ) L(f, P ) =
Demostraci
on. 1.) Sean x, y X, cosideremos dos casos: Si f (x) f (y) entonces |f (x) f (y)| =
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
un y0 X tal que f (y0 ) < f (x0 ) (f, X). As
(f, X) < f (x0 ) f (y0 ) |f (x0 ) f (y0 )| (f, X)
lo cual es una contradiccion. La parte 2.) es evidente.
3.) De la definicion y la parte 1, tenemos
X
X
X
[Mi (f ) mi (f )] vol (Bi )
U (f, P ) L(f, P ) =
mi (f ) vol (Bi ) =
Mi (f ) vol (Bi )
i
Demostraci
on. Consecuencia directa del Teorema 5.1.2 y la parte 3 de la proposicion anterior.
.
kx yk < entonces |f (x) f (y)| <
2 vol (B)
m
X
j=1
|xj yj |2 <
m
X
j=1
An
alisis Real II
73
5.2
Propiedades B
asicas de la Integral sobre m-Bloques Compactos
B
x
Z
R
f (x) = 1
1 = vol (B)
Demostraci
on. Dado P = {Bi } P(B), se cumple
X
X
vol (Bi ) = vol (B).
L(1, P ) =
vol (Bi ) = vol (B) y U (1, P ) =
i
1 = vol (B).
B
Demostraci
on. Sea P = {Bi } P(B). Si c 0 entonces
mi (cf ) = inf{(cf )(x) : x Bi } = c inf{f (x) : x Bi } = c mi (f )
An
alogamente Mi (cf ) = c Mi (f ). Luego
X
X
L(cf, P ) =
mi (cf ) vol (Bi ) = c
mi (f ) vol (Bi ) = c L(f, P )
i
An
alogamente U (cf, P ) = c U (f, P ). Por lo tanto
Z
Z
Z
f
cf = sup{L(cf, P ); P P(B)} = c sup{L(f, P ); P P(B)} = c f = c
B
An
alogamente
cf = c
B
cf = c
f.
An
alisis Real II
74
2.
(f + g)
f+
g.
Demostraci
on. 1.) Sea P = {Bi } P(B). Dado x Bi se cumple
mi (f ) + mi (g) f (x) + g(x) = (f + g)(x)
luego
mi (f ) + mi (g) mi (f + g),
Por tanto
L(f + g, P ) =
X
i
mi (f + g) vol (Bi )
L(f, P ) + L(g, P ),
k
X
mi (f ) vol (Bi ) +
P P(B)
(f + g)
f+
B
(f + g)
g.
Demostraci
on. Por hipotesis y el lema anterior
Z
Z
Z
Z
Z
Z
Z
Z
Z
Z
f+ g
(f + g)
g=
(f + g)
f+ g=
g
f+
f+
B
(f + g) =
B
f+
B
g.
B
Observaci
on: Los resultados anteriores nos dice que R(B) es un R-espacio vectorial y el operador
:
es un funcional lineal.
R(B)
(f ) =
An
alisis Real II
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
Z
Z
f
g
B
Demostraci
on. Sea P = {Bi } P(B). Para x Bi se cumple que mi (f ) f (x) g(x), luego
mi (f ) mi (g). Se sigue que
Z
Z
X
X
L(f, P ) =
mi (f ) vol (Bi )
mi (g) vol (Bi ) = L(g, P )
g=
g, P P(B)
i
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.
f = min{f, 0}
Observaciones:
1. De las definiciones de maximo y mnimo 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
An
alisis Real II
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 funcion acotada entonces se cumple
U (f, P ) L(f, P ) = [U (f + , P ) L(f + , P )] + [U (f , P ) L(f , P )], P P(B)
Demostraci
on. Sea P = {Bi } P(B). Afirmo que
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 afirmacion.
Multiplicando la igualdad por vol (Bi ) y sumando sobre i, el lema se sigue.
Luego f + , f R(B).
Z Z
f
|f |
An
alisis Real II
2. max{f, g}, min{f, g} R(B) y
Z
Z
Z
g ,
max{f, g} max
f,
B
min{f, g} min
f,
B
77
Demostraci
on. Como f R(B) entonces f + , f R(B), luego |f | = f + + f R(B). Por otro lado,
desde que |f | f |f |, se tiene que
Z
Z
Z
f
|f |
|f |
B
Teorema 5.2.6 Sea B un m-bloque compacto y f : B R una funcion acotada. Si f R(B) entonces
f 2 R(B).
Demostraci
on. Primeramente, consideremos el caso en que f (x) 0, x B. Sea P = {Bi }
P(B), dado x Bi , se cumple f (x) Mi (f ), luego f 2 (x) Mi (f )2 y por tanto Mi (f 2 ) Mi (f )2 .
Analogamente mi (f 2 ) mi (f )2 . Por lo tanto
X
X
U (f 2 , P ) L(f 2 , P ) =
[Mi (f )2 mi (f 2 )] vol (Bi ) =
[Mi (f ) + mi (f )][Mi (f ) mi (f )] vol (Bi )
i
2M
X
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 ) <
1
1
(f + g)2 (f g)2 .
4
4
Observaci
on: Si B es un m-bloque compacto entonces R(B) es un algebra.
Definici
on 5.2.2 Sea X Rm . La funci
on caracterstica de X, denotada por 1X es definida por
1X : R m
x
R
7 1X (x) =
1,
0,
si x X
si x Rm X
An
alisis Real II
78
Observaci
on: Se cumplen los siguientes resultados
1. 1X es discontinua en x si y solo si x X.
2. Si Y X entonces 1Y 1X .
3. 1XY 1X + 1Y .
4. 1XY + 1XY = 1X + 1Y .
Teorema 5.2.7 Si A, B son m-bloques compactos con A int (B) entonces 1A R(B) y
Z
1A = vol (A)
B
Demostraci
on. Sea P0 P(B) particion que contiene a A como subbloque. Dado P = {Bi } P(B)
refinamiento de P0 , denotemos por I al conjunto de ndices i tales que Bi A. Se cumple:
X
X
L(1A , P ) =
mi (1A ) vol (Bi ) =
vol (Bi ) = vol(A)
i
U (1A , P )
X
i
iI
iI
Se sigue que
Z
Z
1A
1A
Sea A0 m-bloque compacto tal que A int (A0 ) B y fijemos Q0 P(B) particion que contiene a A0
como subbloque. Dado P = {Bi } P(B) refinamiento de Q0 , se cumple:
X
Mi (1A ) vol (Bi ) vol (A0 )
U (1A , P ) =
i
Se sigue que
vol (A)
1A vol (A0 )
5.3
Definici
on 5.3.1 Decimos que X Rm tiene medida m-dimensional cero o simplemente m-medida cero,
si y solo si para todo > 0, existe una familia numerable {Ck }kN de m-cubos abiertos y acotados tales
que
An
alisis Real II
1. X
2.
79
Ck .
k=1
k=1
Observaciones:
1. Todo conjunto unitario de Rm tiene m-medida cero.
2. Todo subconjunto finito de puntos de Rm tiene m-medida cero.
3. Todo subconjunto de un conjunto de m-medida cero tiene m-medida cero.
4. La union de una familia finita de conjuntos de m-medida cero tiene m-medida cero.
5. En la definicion anterior podemos reemplazar m-cubos abiertos por m-cubos cerrados, m-bloques
cerrados, m-bloques abiertos, bolas abiertas o bolas cerradas de Rm .
Proposici
on 5.3.1 Si {Xk }kN es una familia numerable de subconjuntos de Rm que tienen m-medida
[
Xk tiene m-medida cero.
cero, entonces X =
k=1
Demostraci
on. Sea > 0, dado j Z+ (fijo, arbitrario), existe {Cj,k } coleccion numerable de m-cubos
[
Cj,k y
abiertos tales que Xj =
k=1
k=1
.
2j+1
Cj,k .
j,k=1
2. Sea F N N conjunto finito entonces existe k0 N tal que si (j, k) F entonces j, k k0 . Luego
!
k
k0
k0
0
X
X
X
X
vol (Cj,k )
<
vol (Cj,k ) <
j+1
2
2
j=1
j=1
k=1
(j,k)F
se sigue que
j,k=1
vol (Cj,k )
<
2
An
alisis Real II
80
vol (B)
vol (Cj )
j,1
Demostraci
on. En primer lugar, consideramos B m-bloque cerrado, luego es compacto. Como B
k
[
[
un
Cj y Cj son m-cubos abiertos, tenemos que existen j1 , . . . , jk N tales que B
Cji . Sea B
i=1
jN
k
[
i=1
vol (B) =
entonces 1 1
C ji B,
B
k
S
i=1
1B
k Z
X
i=1
1C
ji
k
X
i=1
!
Cj
k
X
1C . Se sigue que
ji
i=1
vol (Cji )
vol (Cj )
j,1
vol (Cj ).
vol (Cj ) y
j,1
j,1
Teorema 5.3.2 Sea B un m-bloque acotado. B tiene m-medida cero si y solo si B es degenerado.
Demostraci
on. () Sea B un m-bloque B de m-medida cero y supongamos que B es no degenerado
(Hip. Aux.). Como vol (B) > 0 existe una coleccion numerable {Cj }jN de m-cubos abiertos tales que
[
X
B
Cj y
vol (Cj ) < vol (B), pero por el lema anterior
jN
j=1
vol (B)
lo cual es una contradiccion.
X
j,1
An
alisis Real II
81
0
0
0
0
Bj = B a j , a + j , (con > 0 dependiente de a elegir). Claramente {Bj }jN es una coleccion
2
2
[
de m-bloques cerrados tales que B
Bj y
jN
X
j=1
Si tomamos 0 <
vol (Bj ) =
X
j=1
vol (B 0 )
0
2j1
= 2 vol (B 0 )0
jN
Por el teorema anterior el cubo degenerado Cj {p} tiene (m + n)-medida cero y de aqu, el resultado
se sigue.
Observaciones:
1. En la categora 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.
3. Sea X Rm de m-medida cero entonces int (X) = . El recproco de este resultado es falso como
se muestra en el siguiente ejemplo.
X
1
an =
1 < 1,
1a
n=1
tomemos = 1
n=1
el intervalo abierto J1 de centro 1/2 y longitud a, quedando [0, 1] J1 el cual es union 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 union. Queda entonces el conjunto [0, 1] J1 J2
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
An
alisis Real II
82
as
siendo la union disjunta y cada Js,i tiene longitud s1 , luego Js tiene longitud as .
2
[
Definimos X = [0, 1]
un intervalo
Js . Por construccion X es compacto, no puede contener ning
sN
(es decir int (X) = ) y ademas, afirmo que X no tiene m-medida cero. En efecto, en primer lugar observe
que
s1
2X
X
X
as = 1 .
vol (Js,j ) =
s=1
s=1 j=1
Si X tuviera m-medida cero (Hip. Aux.) entonces existira {Cj } familia numerable de intervalos abiertos
X
[
vol (Cj ) < . Pero
tal que X
Cj y
j=1
jN
[0, 1] = X
([0, 1] X)
jN
Cj
sN
Js
s1
vol (Cj ) +
2X
X
s=1 j=1
j=1
j=1
2. X
j=1
Cj
Y.
[
X
k=1
Considerando la coleccion numerable de m-cubos abiertos y acotados {Cj , Ck0 : j, k N}, se cumple que
[
[ [
0
Cj
Ck
X
j=1
k=1
An
alisis Real II
y
vol (Cj ) +
j=1
83
k=1
Sea X un conjunto de m-medida cero y f : X Rm Bajo que condiciones f (X) tiene m-medida
cero? Para responder esta interrogante, necesitamos una definicion.
Definici
on 5.3.2 Sea X Rm y f : X Rn . Decimos que f es localmente Lipschitz
en X si y solo si
X
[
Ck y
vol (Ck ) <
X
. Si `k es la longitud de la arista del m-cubo Ck entonces dados
( mK)m
k=1
k=1
y1 , y2 f (X Ck ), existen x1 , x2 X Ck tales que f (x1 ) = y1 y f (x2 ) = y2 , luego para 1 i m
tenemos
Se sigue que y1 , y2 Dk donde Dk es un m-cubo cuya arista tiene longitud K m`k , es decir f (X Ck )
Dk , k N, luego
!
[
[
[
[
Ck = f
X Ck =
f (X Ck )
Dk
f (X) = f X
k=1
k=1
Adem
as
k=1
k=1
m
( mK)m `m
vol (Dk ) =
k = ( mK)
k=1
k=1
vol (Ck )
k=1
<
k=1
xX
k=1
Vx k
k=1
f (X Vxk )
An
alisis Real II
84
Proposici
on 5.3.5 Sea U Rm abierto y f C 1 (U, Rn ) donde m < n entonces f (U ) tiene n-medida
cero.
Demostraci
on. Sea W = U Rnm Rn y defino
g:
(x, y) 7
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
Caracterizaci
on de las Funciones Riemann Integrables
En la presente seccion, daremos condiciones necesarias y suficientes para que una funcion acotada f :
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 funcion acotada. Recordemos que la oscilacion de f en X se definio como
(f, X) = sup{|f (x) f (y)| : x, y X}
y satisfaca las siguientes propiedades:
1. Si MX (f ) = sup{f (x) : x X} y mX (f ) = {f (x) : x X} entonces (f, X) = MX (f ) mX (f ).
An
alisis Real II
85
R
x () = (f, X B (x))
0+
on de f en el punto x,
Definici
on 5.4.1 Sea X Rm y f : X R una funcion acotada. La oscilaci
denotada por (f, x) se define como
(f, x) = inf{(f, X B (x)); > 0}
Teorema 5.4.1 Sea X Rm y f : X R una funcion acotada. Se cumplen las siguientes propiedades:
1. (f, x) 0, x X.
2. (f, x0 ) = 0 si y solo si f es continua en x0 .
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.
An
alisis Real II
86
Demostraci
on. 2.) () Si (f, x0 ) = 0 entonces inf{(f, X B (x0 )) : > 0} = 0, luego dado > 0
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 kx x0 k < entonces |f (x) f (x0 )| < . Es decir, f es continua en x0 .
() Dado > 0 existe un > 0 tal que si x X y kx x0 k < entonces |f (x) f (x0 )| < . Sean
3
x, y X B (x0 ) entonces
|f (x) f (y)| |f (x) f (x0 )| + |f (x0 ) f (y)| <
Luego (f, X B (x0 ))
2
3
2
< y esto prueba que (f, x0 ) = 0.
3
Observaci
on: La propiedad 3.) no necesariamente se cumple si retiramos la hipotesis x int (Y ). En
efecto, sean X = R2 , Y = ] , 0] R y f : R2 R definida por
0, si x 0
f (x, y) =
1, 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
X
[
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) <
. Tomando Cx00 un m-cubo abierto tal que Cx00 B (x), se prueba la afirmacion.
2 vol (B)
An
alisis Real II
Observe que
B = Df (B Df )
j=1
r
[
j=1
Cj0
Cj0
s
[
Cx00k
k=1
xBDf
87
Cx00
Consideremos P = {Bi } P(B) tal que cumple por lo menos una de las dos alternativas siguientes:
o Bi Cx00k . Denotando por I = {i; Bi Cj0 } y J = {i; Bi Cx00k }, se cumple:
Bi Cj0
X
X
X
(f, Bi ) vol (Bi )
(f, Bi ) vol (Bi )
(f, Bi ) vol (Bi ) +
i
iJ
iI
vol (Bi ) +
< K
vol (Bi )
2 vol (B)
iI
iJ
< K
+
vol (B) =
2K
2 vol (B)
j=1
1
Dj = x B; (f, x)
j
Dj . Es suficiente probar que Dj tiene m-medida cero, j N.
1
(f, x) (f, Bi ), luego
j
X
X
1X
iI
es decir
iI
Bi
iI
que i I. Como Y tiene m-medida cero, de la Proposicion 5.3.3 se sigue que Dj tiene m-medida cero,
j N.
An
alisis Real II
5.5
88
Integraci
on Iterada
0,
1,
f (x, y) =
0,
(x, y)
si x =
6 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
f1/2 :
[0, 1]
f1/2 (y) =
1,
0,
si y Q
si y I
B1
x
R
7 L(x) =
fx (y)dy
B2
B1
B1
L(x)dx =
U(x)dx =
B1
B1
U : B1
U (x) =
f (x, y)dy dx =
Z
f (x, y)dy dx =
B2
B2
f
B1 B2
B1 B2
fx (y)dy
B2
An
alisis Real II
89
Demostraci
on. Sean P1 = Bi1 P(B1 ) y P2 = Bj2 P(B2 ) entonces P = P1 P2 = Bi1 Bj2
P(B1 B2 ). Se cumple
X
X
mi,j (f ) vol (Bi1 ) vol (Bj2 )
mi,j (f ) vol (Bi1 Bj2 ) =
L(f, P ) =
i,j
i,j
X X
(5.1)
mi,j (f ) = inf{f (x, y) : (x, y) Bi1 Bj2 } inf{fx (y) : y Bj2 } = mj (fx )
Luego
X
j
es decir
X
j
X
j
B2
fx (y)dy = L(x)
(5.2)
An
alogamente
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,ZP ) < ,
luego existe P1 P(B1 ) tal que U (L, P1 ) L(L, P1 ) < y esto implica que que L R(B1 ) y
Z
f.
B1 B2
Observaciones:
1. Una demostracion analoga muestra que
Z
Z Z
f=
B1 B2
B2
f (x, y)dx dy =
B1
B2
B2
B2
B1
f (x, y)dx dy
fx (y)dy
B1
L=
An
alisis Real II
Por lo tanto
B1
An
alogamente
B2
3. Si B =
m
Y
i=1
B1
Z
f (x, y)dx dy =
B1 B2
B1 B2
5.6
B2
Z
f (x, y)dy dx =
90
f=
bn
an
b1
f (x1 , . . . , xn )dx1
a1
dxn
Hasta ahora solo sabemos integrar sobre m-bloques compactos, en la presente seccion vamos a ver que se
puede integrar sobre conjuntos mas generales.
Sea X Rm , la funcion 1X : Rm R definida por
1, si x X
1X (x) =
/X
0, si x
es llamada funci
on caracterstica de X.
Definici
on 5.6.1 Sea X Rm un conjunto acotado.
1. Decimos que X es Jordan medible o simplemente J-medible en Rm si y solo si existe un m-bloque
compacto B con X int (B) tal que 1X R(B).
2. Sea X un conjunto J-medible en Rm , el volumen m-dimensional de X o simplemente volumen de
X, denotado por vol (X) se define como
Z
vol (X) =
1X
B
An
alisis Real II
91
Observaciones:
1. Como la frontera de un m-bloque acotado es union (finita) de m-bloques degenerados, concluimos
que los m-bloques acotados son J-medibles en Rm .
2. Las bolas abiertas y cerradas son conjuntos J-medibles en Rm .
3. Hasta ahora solo sabamos calcular el volumen de m-bloques acotados, la definicion anterior extiende
el calculo del volumen a conjuntos J-medibles. Los Teoremas 5.2.7 y 5.6.1 establecen que esta es
una buena extension.
Proposici
on 5.6.2 Sea X Rm un conjunto acotado. X J (Rm ) si y solo si X J (Rm ) y
vol (X) = 0.
Demostraci
on. () Como X es cerrado se tiene que (X) X, de la hipotesis se sigue que (X)
tiene m-medida cero y por tanto X J (Rm ). Por otro lado, sea > 0, como X tiene m-medida cero,
[
X
Cj y
vol (Cj ) < .
existe {Cj } coleccion numerable de m-cubos abiertos acotados tales que X
jN
j=1
j=1
j=1
Dado > 0, existe P = {Bi } P(B) tal que U (1X , P ) < . Denotemos
claramente X
I = {i; X B i 6= }
B i y ademas
iI
>
X
i
X
iI
vol (Bi )
An
alisis Real II
92
Ejercicio: Sea X J (Rm ), pruebe que vol (X) = 0 int (X) = . Pruebe que el resultado es falso
si retiramos la hipotesis de ser X J-medible.
Teorema 5.6.3 Si X, Y J (Rm ) entonces
1. X Y , X Y , X Y J (Rm ).
2. Si X Y entonces vol (X) vol (Y ).
3. vol (X Y ) = vol (X) + vol (Y ) vol (X Y ).
Demostraci
on. Por hipotesis X y Y tienen m-medida cero.
1. Como (XY ) XY , se sigue que (XY ) tiene m-medida cero y por lo tanto XY J (Rm ).
2. Ejercicio.
3. Sea B un m-bloque compacto tal que X, Y int (B). Sabemos que 1XY + 1XY = 1X + 1Y , luego
Z
Z
Z
1X = vol (X) + vol (Y )
vol (X Y ) + vol (X Y ) =
(1XY + 1XY ) =
1X +
B
fX (x) =
f (x), x X
0,
xBX
Definici
on 5.6.2 Sea X J (Rm ) y f : X R una funcion acotada. Decimos que f es Riemann
Integrable sobre X, lo que denotamos f R(X) si y solo si fX R(B), en donde B es un m-bloque
compacto tal que X int (B). En caso afirmativo definimos
Z
Z
f=
fX
X
lim f (xk ) = f (x) contradiccion! esto prueba que x DfX . El otro contenido es analogo, y as la
afirmaci
on esta probada. Como X J (Rm ), X tiene m- medida cero, luego f R(X) si y solo si
fX R(B) si y solo si DfX tiene m-medida cero si y solo si Df tiene m-medida cero.
An
alisis Real II
Teorema 5.6.5 Dado X J (Rm ), se cumple
1. Si f R(X) y c R entonces cf R(X) y
(f + g) =
cf = c
m vol (X)
93
f.
X
f+
X
g.
X
g. En particular, si m f (x) M ,
f M vol (X)
Z
Z
Demostraci
on. Sea B un m-bloque compacto tal que X int (B). Desde que (f + g)X = fX + gX
(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). Ademas
Z
Z
Z
Z
Z
Z
Z
(f + g) =
(f + g)X =
(fX + gX ) =
fX +
gX =
f+
g
X
Observaci
on: Si X J (Rm ), entonces R(X) es una R-algebra.
Teorema 5.6.6 (Teorema del Valor Medio para Integrales) Si X J (Rm ) es conexo y f C(X)
entonces existe un x0 X tal que
Z
f = f (x0 ) vol (X)
X
Demostraci
on. Como f C(X) y X es conexo entonces f (X) es un intervalo cuyos extremos lo
denotamos por m y M , luego m f (x) M , x X, as
Z
Z
Z
f
M = M vol (X)
m vol (X) =
m
Se sigue que
1
vol (X)
1
vol (X)
f.
An
alisis Real II
94
Teorema
5.6.7 Sean X, Y J (Rm ). Se cumple que f R(X Y ) si y solo si f X R(X) y
XY
f=
XY
f+
X
Demostraci
on. Se cumple que
D D Df D D X Y
f
f
f
f
Y
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
Z
Z
Z
Z
Z
Z
Z
Z
fY =
fXY +
fXY =
f+
f=
fX +
f+
f
XY
XY
Finalmente
como X, Y J (Rm ) e int (X Y ) = entonces por el ejercicio vol (X Y ) = 0, luego
Z
f = 0 y por la parte 9 del Teorema 5.6.5 el resultado se sigue.
XY
Demostraci
on. X = (X Y )Y , int ((X Y )Y ) = , X Y J (Rm ) y ademas como int (X Y ) = ,
por el ejercicio vol (X Y ) = 0, luego
Z
Z
Z
Z
Z
f=
f=
f+
f=
f
(XY )Y
XY
m
Demostraci
on. Como U =
Z int (X)
Z entonces U X luego U J (R ) e int (X U ) = int (X) = .
f=
f.
Luego, por el Corolario 1:
X
An
alisis Real II
95
Observaci
on: En virtud del corolario anterior, de ahora en adelante podemos suponer que las integrales
se realizan sobre conjuntos abiertos J-medibles.
Z
f , puesto que, por definicion
Sea X J (Rm ), se puede usar el Teorema 5.5.1 para calcular
X
Z
Z
f=
fX , en donde B es un m-bloque tal que X int (B).
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 funcion entonces
fX :
es decir
fX (x, y) =
(x, y)
fX (x, y) =
f (x, y),
0,
f=
fX =
B
f (x, y),
0,
"Z
1x2
f (x, y)dy +
f , para ello
si (x, y) X
si (x, y) B X
si 1 y 1 x2
o 1 x2 y 1,
en otro caso.
De esta manera
Z
1x2
1 x 1
f (x, y)dy dx
Para finalizar la seccion, probaremos que existen abiertos acotados que no son J-medibles. En efecto,
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 hipotesis auxiliar
concluimos que f = 1Y R(B). Por el teorema de la integraci
on iterada, la funcion
L:
[0, 1]
x
7 L(x) =
fx (y)dy
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)). Analogamente, si x
/ X entonces fx = 0. Luego
Z 1
Z 1
1, si x X
fx (y)dy =
L(x) =
fx (y)dy =
0, si x
/X
0
0
es decir L = 1X , concluimos que 1X R([0, 1]) y por tanto X = X tiene 1-medida cero lo cual es una
contradicci
on. De esta manera Y = X [0, 1] tiene 2-medida cero. Ahora es facil construir un abierto
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.
on
La existencia de abiertos acotados que no sean J-medibles es mala para la teora de la
Z integraci
f no nece-
puesto que si U es uno de tales abiertos, con la teora estudiada hasta el momento la integral
An
alisis Real II
5.7
96
Particiones de la Unidad
Definici
on 5.7.2 Sea X Rm un conjunto y U = {U } un cubrimiento abierto de X. Decimos que
la familia = {j }jJ es una C r -partici
on de la unidad de X de subordinada al cubrimiento U si y solo
si las funciones j C r (Rm ) satisfacen las siguientes propiedades:
1. 0 j (x) 1, x Rm y j J.
2. La familia de soportes {sopp (j )}jJ es localmente finita es decir, para todo x X existe r > 0
tal que Br (x) sopp (j ) = , salvo un n
umero finito de ndices j J.
X
3.
j (x) = 1, x X.
jJ
An
alisis Real II
97
Claramente C (R) y 0
por (t) =
(s)ds
(t)
. Es claro que C (R). Ademas, observe que
C
Z
1 t
(s)ds = 0
t 2 (t) =
C
Z
1 t
1
(s)ds C = 1
2 t 1 (t) =
C
C
Z
1 t
1
(s)ds = C = 1
t 1 (t) =
C
C
An
alisis Real II
98
Lema 5.7.2 Sea U Rm un abierto y p U . Entonces existe V Rm abierto con B3 (0) V y existe
Diff (V, U ) tal que (0) = p y (B3 (0)) U .
Demostraci
on. Por hipotesis, existe r > 0 tal que Br (p) U . Definimos H : Rm Rm como
H(x) =
r
x+p
3
Es claro que H es una transformacion afn inversible y que H(B3 (0)) = Br (p) U . El lema queda
probado considerando V = H 1 (U ) y = H V : V U .
Demostraci
on. Sea p K entonces existe p tal que p Up , luego existe rp > 0 tal que
Brp (p) Up . Por el Lema 5.7.2, existe Vp Rm abierto con B3 (0) Vp y existe p Diff (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))
Sea f C (Rm ) la funcion del Lema 5.7.1, definimos i : Rm R como
(f p1
)(x), si x pi (B3 (0))
i
i (x) =
0,
si x Rm pi (B3 (0))
i (x) = 1
n
Y
(1 i (x)) = 1
i=1
An
alisis Real II
De esta manera {1 , . . . , n } es la particion de la unidad buscada.
99
Observaci
on. Cuando K es compacto, la particion de la unidad es finita.
El siguiente resultado muestra que podemos suprimir la hipotesis de compacidad sobre el conjunto X.
Teorema 5.7.3 Si X Rm es cualquier subconjunto y U = {U } es un cubrimiento abierto de X
entonces existe una C -particion de la unidad de X subordinada al cubrimiento U .
Demostraci
on. Consideramos tres casos.
Caso 1: X = K1 K2 Kn donde los Ki son compactos y Ki int (Ki+1 ). Dado i N,
consideramos la familia
Ui = {U (int (Ki+1 ) Ki2 ) ; }
en donde K0 = K1 = . Es claro que Ui es un cubrimiento abierto del conjunto compacto Xi =
Ki int (Ki1 ). Por el Teorema 5.7.2 existe {ij }jJi (en donde Ji es un conjunto finito de ndices)
C -particion de la unidad de Xi subordinada al cubrimiento Ui .
Afirmo que la familia {sopp (ij ) : j Ji , i N} es localmente finita. En efecto, en primer lugar
observe que dado x X, existe un u
nico i0 = i0 (x) N tal que x Ki0 Ki0 1 int (Ki0 +1 ) Ki0 1
(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 6= {i0 1, i0 , i0 + 1, i0 + 2}
jJi
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
XX
localmente finita y
ij (x) = 1, x X.
i
jJi
An
alisis Real II
100
existe una C -particion de la unidad de U subordinada a U. Desde que X U esta es tambien una
particion de la unidad de X.
Observaci
on: Todo subconjunto de Rm admite una particion de la unidad a lo mas numerable.
5.8
A continuaci
on, daremos una aplicacion del concepto de particion de la unidad a la teora de integraci
on.
Sea U Rm abierto y f : U R una funcion acotada. Empezamos suponiendo que sopp (f ) U es
compacto. En estas condiciones afirmo 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.
Tomando V = Cx1 Cxs , la afirmacion esta probada.
En estas condiciones, decimos que f es Riemann-integrable en U , lo que escribimos f R(U ) si y solo
si existe V abierto J-medible con sopp (f ) V U tal que f R(V ) y en caso afirmativo escribimos
Z
Z
f=
f
U
Observaciones:
1. Desde que f se anula fuera de sopp (f ), no es difcil probar que la definicion 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 hipotesis de que sopp (f ) es compacto, se cumple que f R(U ) si y solo si Df
tiene m-medida cero. En efecto, como f se anula fuera de sopp (f ) se tiene f R(U ) si y solo si
f R(V ) si y solo si Df tiene m-medida cero.
A continuacion consideremos el caso general.
Definici
on 5.8.1 Sea U Rm un abierto. Decimos que la familia U = {U } es un J-cubrimiento
abierto de U si y solo si cada U U es un abierto J-medible y
[
U=
U
An
alisis Real II
101
Observaciones:
1. No es difcil 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,
.
Sea U Rm un abierto acotado y f : U R una funcion acotada. Dado U = {U } J-cubrimiento
abierto de U y {j }jN una C -particion de la unidad de U subordinada a U entonces para cada j N,
j f : U R es una funcion acotada tal que sopp (j f ) sopp (j ) Uj U , luego sopp (j f ) es
compacto
y podemos definir j f R(U ) como en el caso anterior. Si j f R(U ), j N y la serie
XZ
j f es absolutamente convergente, entonces diremos que f es Riemann-integrable en U .
j,1
Definici
on 5.8.2 Sea U Rm un abierto acotado y f : U R una funcion acotada. Decimos que
f R(U ) si y solo si existe U = {U } J-cubrimiento abierto de U y existe {j }jN una C -particion
de la unidad de U subordinada a U tal que:
1. j f R(U ), j N.
XZ
2. La serie
j f es absolutamente convergente.
j,1
f=
Z
X
j=1
j f.
C -partici
on de la unidad de U subordinada a U tal que j f R(U ), j N y la serie
j f es
j,1
absolutamente convergente.
Sea V = {V } otro J-cubrimiento abierto de U y {k }kN otra C -partici
on de la unidad de U
subordinada a V. Es claro que U V = {U V } es un J-cubrimiento abierto de U y {j k } es una
C -particion de la unidad de U subordinada a U V.
umero
Fijando k N, como V k es compacto, se tiene que (Ejercicio!) sopp (j ) Vk = salvo un n
finito de js, luego, sobre Vk , tenemos
X
X
k f =
j k f =
j k f
j=1
j=1
An
alisis Real II
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
Z
Z
Z
Z
X
X
X
X
j k f =
j k f =
k f =
j k f =
j k f,
U
Vk
j=1
k=1
k f =
n X
Z
X
k=1 j=1
j=1
j k f =
Z
X
j=1
k=1
k f
Z
X
j=1
De esta manera
XZ
k,1
Z
X
V k
j=1
j f
f=
U
j f
Z
X
j=1
j f =
f
U
k f es convergente y
j f =
U
k=1
Z
X
Z
X
k=1
k=1
Z
X
j=1
n
X
j=1
k f
U
k f
U
El siguiente resultado da condiciones suficientes para que una funcion acotada sea Riemann integrable
sobre un abierto.
Teorema 5.8.2 Sea U Rm un abierto acotado y f : U R una funcion acotada tal que Df tiene
m-medida cero. Entonces f R(U ).
Demostraci
on. Por hipotesis, existe B un m-bloque compacto y M > 0 tales que U B y |f (x)| M ,
x U . Sea U = {U } J-cubrimiento abierto de U y {j }jN una C -partici
on de la unidad de U
subordinada a U .
Como j C (Rm ) tenemos Dj f Df , j N y por tanto tiene m-medida cero. Ademas, desde
que sopp (j f ) U es compacto se tiene que j f R(U ), j N.
Por otro lado, dado n N tenemos
Z
Z
n
n Z
n Z
n Z
X
X
X
X
j f
M
M
|f
|
1 = M vol (B)
M
j
j
j
j=1
j=1
j=1
j=1
An
alisis Real II
XZ
j,1
103
Finalmente, vamos a probar que si U Rm abierto J-medible entonces la definicion que acabamos
de dar, coincide con la dada en la Secci
Z on 5.6. En efecto, dado > 0 no es difcil probar que existe K
1<
compacto J-medible, K U , tal que
.
M
U K
Ahora bien, desde que K es compacto y {sopp (j )} es localmente finita, se sigue que existe n0 N
tal que j n0 sopp (j ) K = , luego para n n0 tenemos
Z
Z
Z
n
n
n Z
X
X
X
X
1
f
f
j
j = M
j f M
j f
U
U
U
U
j=1
j=n+1
j=1 U
j=1
Z
Z
= M
j M
1<M
=
M
U K
U K
j=n+1
De esta manera, hemos probado que
Z
X
j=1
5.9
fj =
U
f.
Del Analisis en una variable real, tenemos el siguiente resultado: Sea f C([a, b]) y g : [c, d] R tal que
g 0 R([c, d]) y g([c, d]) [a, b]. Entonces
Z d
Z g(d)
f (g(t))g 0 (t)dt
f (x)dx =
c
g(c)
La presente seccion esta dedicada a probar este resultado, empezamos con el siguiente resultado.
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)] 6= 0, x U . Si existe U = {U } cubrimiento abierto de U que satisface
Z
Z
f=
(f g) | det Jg|, , f R(g(U ))
g(U )
An
alisis Real II
entonces
f=
g(U )
(f g) | det Jg|,
104
f R(g(U )).
Demostraci
on. Por hipotesis g tiene rango maximo, luego es una funcion abierta y por tanto g(U ) =
{g(U )} es un cubrimiento abierto de g(U ). Sea {j }jN una C -particion de la unidad de g(U )
subordinada a g(U ). Afirmo 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 ) 6= 0 tal que lim xn = x. Se sigue que
n
(g(xn )) g(U ), j (g(xn )) 6= 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 afirmacion. Se sigue de aqu que {j g}jN es una
C -particion de la unidad de U subordinada a U.
Sea f R(g(U )), para j N tenemos que j f R(g(U )). De esta manera, de la hipotesis y la
afirmacion anterior, se cumple
Z
Z
Z
Z
(j f g) | det Jg| =
j f =
j f =
(j g) (f g) | det Jg|
g(U )
Uj
g(Uj )
Uj
(j g) (f g) | det Jg|
luego
Z
g(U )
Z
X
j=1
g(U )
j f =
Z
X
j=1
(j g) (f g) | det Jg| =
(f g) | det Jg|
Corolario Sea U Rm un abierto acotado y g C 1 (U ; Rm ) inyectiva tal que g(U ) sea acotado y
det[Jg(x)] 6= 0, x U . Si existe U = {U } cubrimiento abierto de g(U ) que satisface
Z
Z
(f g) | det Jg|, , f R(g(U ))
f=
g 1 (U )
entonces
f=
g(U )
(f g) | det Jg|,
f R(g(U )).
Demostraci
on. Por la continuidad de g se sigue que g 1 (U) = {g 1 (U )} es un cubrimiento abierto
de U . Como g es inyectiva, por hipotesis tenemos
Z
Z
Z
f=
f=
(f g) | det Jg|
g(g 1 (U ))
g 1 (U )
Lema 5.9.2 Sea U Rm un abierto acotado y g C 1 (U ; Rm ) inyectiva tal que g(U ) sea acotado y
det[Jg(x)] 6= 0, x U . Si
Z
Z
1=
| det Jg|, U 0 U abierto
g(U 0 )
U0
An
alisis Real II
entonces
f=
g(U )
(f g) | det Jg|,
105
f R(g(U ))
Demostraci
on. Como g(U ) es abierto, existe un cubrimiento abierto U = {C } donde cada C es
un m-cubo abierto. Por el Corolario anterior, es suficiente probar que para toda f R(g(U )) se cumple
Z
Z
(f g) | det Jg|,
f=
g 1 (C )
(f g) | det Jg|
g 1 (C)
g 1 (int (Bi ))
i
Luego
g 1 (C)
(f g) | det Jg|
An
alogamente, trabajando con las sumas superiores se tiene
Z
Z
f
(f g) | det Jg|
g 1 (C)
Concluimos que
f=
g 1 (C)
(f g) | det Jg|,
CU
Lema 5.9.3 Sean U, V Rm dos abiertos acotados, g C 1 (U ; Rm ) y h C 1 (V ; Rm ) funciones inyectivas tales que g(U ) V , h(V ) sea acotado y det[Jg(x)] 6= 0, x U y det[Jh(y)] =
6 0, y V .
Si
Z
Z
f=
f g| det Jg|, f R(g(U ))
g(U )
entonces
Z
Z
f=
g(U )
h(g(U ))
hg(U )
f=
f h| det Jh|,
f R(h(g(U )))
f R(h(g(U ))).
An
alisis Real II
Demostraci
on. Para, f R(h(g(U ))) tenemos
Z
Z
Z
Z
((f h) | det Jh|) g | det Jg|
f =
f=
(f h) | det Jh| =
h(g(U ))
g(U )
U
hg(U )
Z
Z
=
[(f h) g] | det Jh| g | det Jg| =
f (h g) | det Jh g det Jg|
U
U
Z
Z
f (h g) | det J(h g)|
=
f (h g) | det (Jh g Jg) | =
U
106
Demostraci
on. Por el Lema 5.9.2, es suficiente probar que
1=
T (U 0 )
U0
| det T |, U 0 U abierto.
j=1
T (C)
| det T | =
c=c
= c vol (C)
C
C
Z
Z
1=
| det T |. Analogamente se procede para c < 0.
De estas dos igualdades concluimos que
C
T (C)
m
Y
j=1,j6=i
m
Y
j=1
]aj , bj [ U,
C0
bi +xm
dyi
ai +xm
dy =
C0
An
alisis Real II
| 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
transformaci
on lineal inversible se puede expresar como composicion de un n
umero finito de transformaciones del tipo presentado en los casos 1 y 2.
Demostraci
on. Por el Lema 5.9.2, es suficiente probar que
1=
g(U )
| det Jg|.
Procediendo por induccion sobre la dimension, para n = 1, el resultado es valido (por Analisis I).
Supuesto que el resultado es v
Zalido para Zn 1, probaremos que tambien se cumple para n. En virtud del
1=
g(U )
un U = {U } cubrimiento abierto de U .
| det Jg| para alg
Sea a U , podemos suponer sin perdida de generalidad que Jg(a) = I. Definimos h : U Rm por
h(x) = (g1 (x), . . . , gm1 (x), xm ) (donde g = (g1 , . . . , gm )). Se tiene que Jh(a) = I GL(Rm ). Por el
Teorema de la funcion inversa, existe Ua0 U vecindad abierta de a tal que h Diff 1 (Ua0 , h(Ua0 )).
Sea k : h(Ua0 ) Rm definida por k(y1 , . . . , ym ) = (y1 , . . . , ym1 , gm (h1 (y)). Observe que
(gm h1 )(y) = gm (h1 (y)) Jh1 (y) = gm (h1 (y)) [Jh(h1 (y))]1
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 funcion inversa existe
Va h(Ua0 ) vecindad abierta de h(a) tal que k Diff 1 (Va , k(Va )). Denotando Ua = h1 (Va ), tenemos
que h : Ua Va y k : Va k(Va ) son difeomorfismos de clase C 1 y un facil calculo muestra que k h = g.
De esta manera, si el resultado es valido para k y para h, por el Lema 5.9.3 tambien sera valido para
k h = g.
Sea Ba Ua un m-bloque abierto tal que a Ba . Denotemos Ba = B 0 ]am , bm [ donde B 0 es un
(m 1)-bloque. No es difcil ver que
h(Ba ) = {(y 0 , ym ) Rm1 Rm ; am ym bm , y 0 P g(B 0 {xm })}
donde P : Rm Rm1 es la proyeccion P (x0 , xm ) = x0 . Por el Teorema de integraci
on iterada tenemos
!
Z
Z
Z
bm
1dy 0
1=
h(Ba )
am
dym
(P g)(B 0 {xm })
An
alisis Real II
De aqu se sigue que (P g)(B 0 {xm }) = hxm (B 0 ). Ademas
(g1 , . . . , gm1 )
,
.
.
.
,
g
)
(g
1
m1
0
0
0
(x ) y Jh(x , xm ) =
Jhxm (x ) =
(x1 , . . . , xm1 )
(x1 , . . . , xm1 )
de donde
108
A 0
(x , xm )
1
1 =
h(Ba )
am
=
=
bm
am
Ba
dy
(P g)(B 0 {xm })
B0
dym =
bm
am
Z
| det Jhym (y 0 )|dy 0 dym =
bm
am
dy
hxm (B 0 )
B0
dym
| det Jh|
An
alogamente se prueba que
1=
k(Ba )
Ba
la induccion.
Finalmente, es claro que {Ba }aU es un cubrimiento abierto de U y por tanto el teorema queda
demostrado.
Captulo 6
Formas Diferenciables en Rm
6.1
Preliminares Algebraicos
k veces
}|
{
z
Sea V un R-espacio vectorial y k N, denotaremos V = V V V . Como en el Captulo 1,
denotemos por L(V k ; Rm ) al conjunto de todas las funciones k-lineales T : V k Rm .
k
Definici
on 6.1.1 Un funcional T L(V k ; R) es llamado tensor de orden k en V o simplemente k-tensor.
Observaciones:
1. Denotaremos por k (V ) al conjunto de todos los k-tensores en V .
2. El funcional 0 : V k R definido por 0(v1 , . . . , vk ) = 0, v1 , . . . , vk V es obviamente un k-tensor.
Luego k (V ) =
6 , k N.
3. Con las operaciones usuales de suma y producto por escalares el conjunto k (V ) se torna un Respacio vectorial.
4. 1 (V ) = V .
5. Por convencion 0 (V ) = R.
Existen operaciones entre tensores de distinto orden.
Definici
on 6.1.2 Sean S k (V ) y T l (V ). El producto tensorial de S y T , denotado por S T , es
la funcion S T : V k+l R definida por
(S T )(v1 , . . . , vk , vk+1 , . . . , vk+l ) = S(v1 , . . . , vk )T (vk+1 , . . . , vk+l )
Proposici
on 6.1.1 Si S k (V ) y T l (V ) entonces S T k+l (V ).
109
An
alisis Real II
110
Demostraci
on. Ejercicio!
Observaci
on: Si S k (V ) y T l (V ) entonces S T =
6 T S.
Proposici
on 6.1.2 El producto tensorial satisface las siguientes propiedades:
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 ).
Demostraci
on. Probaremos solo una de ellas, las demas son analogas. Denotando v = (v1 , . . . , vk ) V k
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 proposicion anterior podemos escribir
S T R = (S T ) R = S (T R)
2. Podemos generalizar la observacion anterior y definir los productos tensoriales de la manera siguiente: Si T1 k1 , . . . , Tn kn entonces T1 Tn k1 ++kn (V ).
Proposici
on 6.1.3 Sea V un R-espacio vectorial de dimension n, {v1 , . . . , vn } una base ordenada de V
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 ).
Demostraci
on. En primer lugar como 1 , . . . , n V = 1 (V ) se tiene que i1 ik k (V ),
1 i1 , . . . , ik n, ademas observe que
1, si i1 = j1 , . . . , ik = jk
(i1 ik )(vj1 , . . . , vjk ) = i1 (vj1 ) ik (vjk ) =
0, en otro caso
Dado T k (V ), consideremos
tenemos:
n
X
j1 ,...,jk =1
n
X
j1 ,...,jk =1
An
alisis Real II
n
X
j1 ,...,jk =1
111
i1 , . . . , ik n} genera k (V ). Para probar la independencia lineal, supongase que existen ai1 ...ik R
tales que
n
X
ai1 ...ik (i1 ik ) = 0
i1 ,...,ik =1
n
X
i1 ,...,ik =1
n
X
i1 ,...,ik =1
Ejemplo 6.1.1 Sea V = Rn , {e1 , . . . , en } la base canonica de Rn y {f1 , . . . , fn } su base dual asociada,
entonces {fi fj : 1 i, j n} es una base de 2 (Rn ). Si consideramos
T :
entonces T 2 (Rn ), luego
T =
V V
(v, w)
n X
n
X
i=1 j=1
R
T (v, w) = hv, wi
T (ei , ej )fi fj =
n
X
i=1
fi fi
6.2
Dado k N, denotemos por Sk al grupo de todas las permutaciones del conjunto {1, . . . , k} dotado de la
operacion de composicion de funciones.
Sk : {1, . . . , k} {1, . . . , k} tal que es biyectiva
Recordemos que toda permutacion es un producto de transposiciones, en donde una transposicion es
una permutacion Sk tal que existen i, j {1, 2, . . . , k} con i 6= j tal que (i) = j, (j) = i y (r) = r,
r {1, 2, . . . , k} {i, j}.
Una permutacion es llamada par si puede ser representada como un producto de un n
umero par de
transposiciones, caso contrario, la permutaci
on es llamada impar. Sea Sk , definimos el signo de ,
denotado sig () como
1,
si es par
sig () =
1, si es impar
No es difcil probar que sig : (Sk , ) ({1, 1}, ) es un homomorfismo de grupos (Ejercicio!).
An
alisis Real II
112
v1 , . . . , vk V
=
=
i=1
(b) (n 1 ) T = 1 ( (n T ) ), 1 , . . . , n Sk , S k (V ).
Vk
An
alisis Real II
113
Vk
2. Si w
(V ) y Sk es una transposicion tal que (i) = j, (j) = i y (r) = r, r
{1, 2, . . . , k} {i, j}, entonces
(v1 , . . . , vj , . . . , vi , . . . , vk )
3. Es claro que
Vk
Proposici
on 6.2.2
(v1 , . . . , vi , . . . , vj , . . . , vk )
(V ) k (V ).
Vk
(V ) es un subsespacio vectorial de k (V ).
Vk
Demostraci
on. Sean ,
(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)
Vk
Por lo tanto a + b
(V ).
V1
V
0
Observaci
on: Es claro que
(V ) = V . Vamos a convenir que
(V ) = R.
Definici
on 6.2.2 Si T k (V ) entonces el alternado de T , denotado Alt (T ) se define como
Alt (T ) =
1 X
sig ()( T )
k!
Sk
Demostraci
on. 1) Sea T k (V ), es claro que Alt (T ) =
para Sk , se cumple
1 X
sig ()( T ) k (V ). Por otro lado,
k!
Sk
!
1 X
1 X
sig ()( T ) =
sig () ( ( T ))
(Alt (T )) =
k!
k!
Sk
Sk
1 X
= sig ( )
sig ( ) [( ) T ] = sig ( )Alt (T )
k!
Sk
es decir Alt (T )
Vk
(V ).
An
alisis Real II
2.) Sea
Vk
114
(V ),
Alt () =
1 X
1 X
1 X
sig ()( ) =
sig ()2 =
=
k!
k!
k!
Sk
Sk
Sk
3.) Inmediato de 1. y 2.
Vk
(V ) que a cada T k (V ) le asocia
Observaci
on: Podemos definir la funcion Alt : k (V )
V
Vk
k
k
(V ). No es difcil probar Alt L( (V ); (V )) (Ejercicio!).
Alt (T )
Vl
Vk
Vk+l
Sean
(V ) y (V ) entonces no necesariamente esta en
(V ).
Definici
on 6.2.3 Sean
define como:
Observaci
on: Si
Vk
Vk
(V ) y
Vl
(V ) y
Vl
(k + l)!
Alt ( )
k! l!
(V ) entonces
Vk+l
(V ).
Las principales propiedades del producto exterior estan resumidas en la siguiente proposicion.
Proposici
on 6.2.4 Se cumple
Vl
Vk
(V ), (V ).
1. (1 + 2 ) = 1 + 2 , 1 , 2
Vk
Vl
2. (1 + 2 ) = 1 + 2 ,
(V ), 1 , 2 (V ).
Vl
Vk
(V ), (V ), c R.
3. (c) = (c) = c( ),
Vl
Vk
4. = (1)kl ,
(V ), (V ).
Demostraci
on. 1.) Por la linealidad de Alt tenemos
(1 + 2 )
=
=
(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
2
=
l + 1 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),
An
alisis Real II
115
luego
sig ( ) = (1)kl
Adem
as, para v1 , . . . , vk+l V tenemos:
( )(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 ( ) =
X
X
1
1
sig () [ ( )] = sig ( )
sig ( ) [( ) ( )]
(k + l)!
(k + l)!
Sk+l
Sk+l
kl
Sk
(j),
j,
Sk+l
(
)
si 1 j k
si k + 1 j k + l
N
[
j=1
o(Sk+l )
(k + l)!
=
= (k + 1) (k + l) = N
o(H)
k!
(k + l)! [Alt (S T )] =
=
Sk+l
sig () [ (S T )] =
) [
sig (
(S T )] +
N
X
X
j=1 Hj
N X
X
j=2
H
sig () [ (S T )]
sig (
j ) (S T )]
j ) [(
(6.1)
116
An
alisis Real II
Pero
(S T )] (v1 , . . . , vk+l ) =
[
es decir
(S T ) = (
S) T,
luego
X
) [
sig (
(S T )] =
=
Sk+l
sig (
) [(
S) T ] =
k! Alt (S) T = 0
y para j = 2, . . . , N se tiene:
X
sig (
j ) [(
j ) (S T )] =
sig (
)((
S)
T
(6.2)
S) T )]
sig (
j ) [j ((
= sig (j ) j
=
) [(
S) T )]
sig (
2. ( ) = ( ) =
(k + l + r)!
Alt ( ).
k! l! r!
Demostraci
on. 1) Primeramente observe que
Alt (Alt ( ) ) = Alt (Alt ( )) Alt ( ) = 0
Luego por el Teorema 6.2.5
0 = Alt ( [Alt ( ) )]) = Alt ( Alt ( ) ( ))
= Alt ( Alt ( ) Alt ( ( )))
Por lo tanto
Alt ( ( )) = Alt ( Alt ( ))
2)
( )
=
=
(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)
An
alisis Real II
117
Observaci
on: Por la parte 2 del corolario anterior, denotamos
=
En general si 1
Vk1
(V ), . . . , m
Vkm
1 m =
(k + l + r)!
Alt ( )
k! l! r!
(V ) entonces
(k1 + + km )!
Alt (1 m )
k1 ! km !
V1
Cuando 1 , . . . , m
(V ) = V existe una manera sencilla de expresar el producto exterior
1 m . En efecto, del algebra lineal recordemos que si A = (aij ) Rmm entonces
X
det(A) =
sig ()a1(1) am(m)
Sm
Proposici
on 6.2.6
Vm Sea V un R-espacio vectorial, v1 , . . . , vm V y 1 , . . . , m
1 m
(V ) y
(1 m )(v1 , . . . , vm ) = det(i (vj ))
V1
(V ) = V entonces
Demostraci
on. Por definicion:
(1 m )(v1 , . . . , vm )
m!Alt (1 m )(v1 , . . . , vm )
1 X
= m!
sig () [ (1 m )] (v1 , . . . , vm )
m!
Sm
X
sig ()1 (v(1) ) m (v(m) ) = det(i (vj ))
=
=
Sm
Vk
(V ).
Vk
Proposici
on 6.2.7 Sea V un R-espacio vectorial,
(V ) y v1 , . . . , vk V . Si existen i, j
{1, . . . , k} con i 6= j tal que vi = vj entonces (v1 , . . . , vk ) = 0.
Demostraci
on. Sin perdida
Vk de generalidad, supongamos que 1 i < j k y consideremos Sk tal
que = (j, i). Como
(V ) tenemos
(v1 , . . . , vi , . . . , vj , . . . , vk ) = (v(1) , . . . , v(j) , . . . , v(i) , . . . , v(k) )
= sig ()(v1 , . . . , vj , . . . , vi , . . . , vk )
= (v1 , . . . , vi , . . . , vj , . . . , vk )
1 i1 < < ik n
Vk
(V ),
An
alisis Real II
118
Entonces = .
Demostraci
on. Desde que {v1 , . . . , vn } es una base de V , es suficiente probar que (vi1 , . . . , vik ) =
(vi1 , . . . , vik ), 1 i1 , . . . , ik n.
Sean i1 , . . . , ik {1, . . . , n}, ocurren dos casos:
Caso 1. ir = is , por la Proposicion (6.2.7), ( )(v1 , . . . , vk ) = 0.
Caso 2. ir =
6 is , 1 r 6= 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 ()
Vk
(V ) = {0}, k > n.
Demostraci
on. Es consecuencia de que si tomamos k-uplas de n elementos (k > n) entonces por lo
menos dos se repiten.
es una base de
Vk
Demostraci
on. En primer lugar, afirmo que
(i1 ik )(vj1 , . . . , vjk ) =
1,
0,
si i1 = j1 , . . . , ik = jk
en otro caso
1i1 <<ik n
1i1 <<ik n
(vi1 , . . . , vik ) i1 ik
k
^
(V )
An
alisis Real II
119
1i1 <<ik n
Por otro lado, supongamos que existen constantes ai1 ik R tales que
X
ai1 ik i1 ik = 0
1i1 <<ik n
1i1 <<ik n
Vk
Vk
n!
n
=
.
(V ) =
(n k)! k!
k
(V ).
Observaci
on: Sea V un R-espacio vectorial de dimension n, {v1 , . . . , vn } una base de V y {1 , . . . , n }
su base dual asociada.
1. Si
n
^
(V ) entonces = c 1 n , donde c R.
2. Si
n1
^
3. Si
1
^
6.3
(V ) entonces =
X
i=1
(V ) entonces =
X
i=1
ci 1 c
i n , donde c1 , . . . , cn R.
ci i , donde c1 , . . . , cn R.
Algebras de Grassmann
V0
(V ) = R,
V1
(V ) = V ,
V2
(V ), . . .
Vn
(V )
Definici
on 6.3.1VSea V es un R-espacio vectorial de dimension n. El Algebra de Grassmann asociada a
V , denotada por (V ) se define como
^
(V ) =
Observaciones:
1.
V
(V ) es un R-espacio vectorial.
0
^
(V )
1
^
(V )
n
^
(V )
An
alisis Real II
2. dim R
n
X
(V ) =
dim R
k=0
k
^
(V )
n
X
n
k=0
120
= 2n .
Definici
on 6.3.2 Sean V , W dos R-espacios vectoriales y f L(V, W ). Dada T k (W ), definimos el
pullback de T bajo f , lo cual denotamos por f (T ) como el mapeo f (T ) : V k R definido por
f (T )(v1 , . . . , vk ) = T (f (v1 ), . . . , f (vk )),
v1 , . . . , v k V
Observaci
on: Si T 0 (W ) = R entonces convenimos que f (T ) = T .
Proposici
on 6.3.1 Sean V , W dos R-espacios vectoriales, f L(V, W ) y T k (W ). Entonces f (T )
k
(V ).
Demostraci
on. Se sigue directamente de las definiciones.
Proposici
on 6.3.2 Sean V , W dos R-espacios vectoriales y f L(V, W ). Se cumple:
1. f (cT ) = cf (T ), T k (W ).
2. f (S + T ) = f (S) + f (T ), S, T k (W ).
3. f (S T ) = f (S) f (T ), S k (W ), T l (W ).
4. f ( T ) = f (T ), T k (W ), Sk .
Demostraci
on. 3.) Dados v1 , . . . , vk+l V , tenemos
f (S T )(v1 , . . . , vk+l )
= (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 ).
Proposici
on 6.3.3 Sean V , W dos R-espacios vectoriales y f L(V, W ). Si
Vk
f ()
(V ).
Demostraci
on. Si
Sk tenemos
Por lo tanto f ()
Vk
Vk
Vk
(W ) entonces
(V ).
An
alisis Real II
121
Observaciones:
1. f L( k (W ), k (V )).
Vk
Vk
2. f L( (W ), (V )).
V
3. f L( (V )).
Proposici
on 6.3.4 Sean V , W dos R-espacios vectoriales y f L(V, W ), se cumple:
1. f [Alt (T )] = Alt (f (T )), T k (W )
Vk
Vl
2. f ( ) = f () f (),
(W ) y (W ).
Demostraci
on. 1.)
f [Alt (T )] =
!
1 X
1 X
1 X
sig ()( T ) =
sig () f ( T ) =
sig () ( f (T ))
k!
k!
k!
Sk
Sk
Sk
= 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!
Observaci
on: De la parte 1 de la proposicion anterior, se tiene que el siguiente diagrama es conmutativo
Alt
k (W )
k (V )
Alt
k
^
(W )
f
k
^
(V )
Proposici
on 6.3.5 (Propiedad functorial del pullback) Sean V , W y X tres espacios vectoriales,
f L(V, W ) y g L(W, X) entonces (g f ) L( k (X), k (V )) y (g f ) = f g .
Demostraci
on. Ejercicio!
El siguiente resultado es de utilidad cuando trabajamos con dos R-espacios vectoriales de la misma
dimension.
An
alisis Real II
122
Proposici
on 6.3.6 Sean V , W dos R-espacios vectoriales de dimension m, consideremos {v1 , . . . , vm }
y {w1 , . . . , wm } bases de V y W respectivamente y {1 , . . . , m }, {1 , . . . , m } sus respectivas bases
duales. Si f L(V, W ) entonces
f (1 m ) = det(f ) 1 m
Demostraci
on. Sabemos que {1 m } y {1 m } son bases de
existe c R tal que
f (1 m ) = c 1 m
Vm
(V ) y
Vm
(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
X
f (vj ) =
ajk wk , tenemos:
k=1
i (f (vj )) =
m
X
k=1
c = det(aji ) = det(f )
6.4
Formas Diferenciales
De ahora en adelante, todas las superficies consideradas seran de clase C (a este tipo de superficies se
les acostumbra llamar suaves). Sea M m Rn una superficie, sabemos que para cada p M podemos
considerar el espacio tangente Tp M el cual es un R-espacio vectorial de dimension m, as, podemos
k
^
considerar el espacio vectorial de las k-formas alternadas (Tp M ).
Definici
on 6.4.1 Sea M m Rn una superficie suave y k N. Una forma exterior de
Vk grado k o
simplemente k-forma sobre M es una funcion que a cada p M le asocia (p) = p
(Tp M ), es
decir
[ Vk
: M
(Tp M )
pM
Observaciones:
Vk
(Tp M )
An
alisis Real II
123
0
^
2. Como (Tp M ) = R, concluimos que una 0-forma sobre X no viene a ser si no una funcion definida
en M a valores reales.
Definici
on 6.4.2 Sea M m Rn
1. Si , F k (M ), definimos la suma de y denotada por + como la funcion
[ Vk
(Tp M )
+ : M
pM
( + )p = p + p
(c)p = cp
(f )p = f (p)p
( )p = p p
Observaciones:
1. La parte 2 de la definicion anterior es un caso particular de la parte 3.
2. Con las operaciones de suma y producto por n
umeros reales F k (M ), se torna un R-espacio vectorial.
3. Con las operaciones de suma y producto por una funcion, F k (M ) se torna un F 0 (M )-modulo.
4. Podemos generalizar la parte 4 de la definicion anterior: Sean 1 F k1 (M ), . . . , s F ks (M ),
definimos 1 s F k (M ) (k = k1 + + ks ) como
(1 s )p = (1 )p (s )p ,
pM
Proposici
on 6.4.1 Se cumplen las siguientes propiedades:
1. (1 + 2 ) = 1 + 2 , 1 , 2 F k (M ), F l (M ).
An
alisis Real II
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 )
Demostraci
on. 5) Sea p M , se cumple
( )p = p p = (1)kl p p = (1)kl ( )p
Vk n
Vk n
es una base de
(Rp ), luego existen constantes
(Rp ). Luego si F k (U ) y p U entonces p
ai1 ...ik (p) R tales que
X
X
p =
ai1 ...ik (p)(dxi1 dxik )p =
ai1 ...ik (dxi1 dxik ) ,
1i1 <<ik n
1i1 <<ik n
es decir
=
1i1 <<ik n
n
De esta manera, quedan definidas
funciones ai1 ...ik : U R (con 1 i1 < < ik n) las cuales
k
son llamadas funciones coordenadas de .
Observaciones:
1. Con el objetivo de simplificar la notacion, indicaremos por I a la k-upla I = (i1 , . . . , ik ) donde
1 i 1 < < ik X
n y usaremos dxI para representar a dxi1 dxik . Con este convenio, la
k-forma =
ai1 ...ik dxi1 dxik puede ser escrita de manera mas compacta como
=
X
I
1i1 <<ik n
aI dxI .
An
alisis Real II
X
aI dxI , =
+ =
(aI + bI )dxI ,
c =
bI dxI F k (U ) y f F 0 (U ) entonces
y f =
(caI )dxI
3. Sean U Rn abierto, =
X
I
aI dxI F k (U ), =
125
(f aI )dxI
!
!
X
X
( )p = p p =
aI (p)(dxI )p
bJ (p)(dxJ )p
X
"
aI (p) (dxI )p
XX
bJ (p)(dxJ )p =
es decir
=
XX
I
XX
I
XX
I
Usando las funciones coordenadas de una k-forma definida en un abierto, podemos definir su diferenciabilidad.
Definici
on 6.4.3 Sea U Rn un abierto. Decimos que una k-forma es de clase C r en U si y solo si
todas sus funciones coordenadas son de clase C r en U , en donde r = 0, 1, . . . , .
Observaci
on: Si bien es cierto que las funciones coordenadas fueron definidas usando las bases canonicas,
no es difcil probar que la definicion de diferenciabilidad no depende de que base usamos para construir
las funciones coordenadas. Queda como ejercicio para el lector justificar esto.
Denotaremos por kr (U ) al conjunto de todas las k-formas de clase C r en U . Escribiremos k (U ) en
vez de k (U ). Observe que 0 (U ) = C (U ).
Proposici
on 6.4.2 Con las operaciones de suma y producto por funciones definidas anteriormente,
k (U ) es un C (U )-modulo.
Demostraci
on. Ejercicio.
k
k+l
Observaci
on: Si (U ) y (U ) entonces
(U ).
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 ).
An
alisis Real II
126
Observaci
on: Sabemos que dxi dxi = 0, sin embargo en general no se cumple que = 0. En
efecto, sea = x1 dx1 dx2 + x2 dx3 dx4 2 (R4 ), entonces
= 2x1 x2 dx1 dx2 dx3 dx4 6= 0.
6.5
v1 , . . . , vk Tp M.
Definici
on 6.5.1 Sean M m Rs , N n Rl superficies suaves y sea F C 1 (U, V ). Si F k (N ),
definimos el pull-back de bajo F , denotado por F () como
[ Vk
(Tp M )
F () : M
p
pM
Observaciones:
1. Si F k (N ) entonces F () F k (M ).
on a la Proposicion 6.3.2 tenemos
2. Si g C (N ) = F 0 (N ) entonces por la observaci
[F (g)]p = [F 0 (p)] (gF (p) ) = g(F (p)) = (g F )(p)
Luego F (g) = g F .
Proposici
on 6.5.1 Sean M m Rs , N n Rl superficies suaves y sea F C 1 (U, V ), se cumple:
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 ).
An
alisis Real II
127
Demostraci
on. Solo probaremos 3.) las demas son semejantes. Dado p M tenemos
= (F 0 (p)) ((f )F (p) ) = (F 0 (p)) (f (F (p))F (p) )
= f (F (p))(F 0 (p)) (F (p) ) = (f F )(p)[F ()]p = [(f F )F ()]p
[F (f )]p
Luego F (f ) = F (f )F ().
Proposici
on 6.5.2 Si U Rn , V Rm son abiertos, V con coordenadas y1 , . . . , ym y sea F =
(F1 , . . . , Fm ) C 1 (U, V ) entonces
F (dyi ) = dFi ,
1 i m.
Demostraci
on. Sea p U y ej = (ej )p vector canonico de Rnp , denotando por x1 , . . . , xn a las coordenadas del abierto U , tenemos:
F
[F (dyi )]p (ej ) = (F 0 (p)) ((dyi )F (p) )(ej ) = (dyi )F (p) (F 0 (p)(ej )) = (dyi )F (p)
(p)
xj
m
!
m
X Fk
X Fk
Fi
= (dyi )F (p)
(p)(ek )F (p) =
(p)((dyi )F (p) )((ek )F (p) ) =
(p)
xj
xj
xj
k=1
k=1
Fi0 (p)(ej )
m
X
i=1
ai dyi F 1 (V ) entonces F () =
m
X
i=1
(ai F )dFi F 1 (V ).
M
as a
un, si para I = (i1 , . . . , ik ) (con i1 < < ik ) denotamos dFI = dFi1 dFik , entonces
F (dyI ) = dFI
3. F
X
I
aI dyI
X
I
X
I
aI dyI F k (V ).
Proposici
on 6.5.3 Sean U Rn , V Rm abiertos y F C (U, V ). Si k (V ) entonces F ()
k
(U ).
Demostraci
on. Sabemos que si =
X
I
aI dyI k (V ) entonces F () =
Fi
Fi
dx1 + +
dxm 1 (U )
x1
xm
X
(aI F ) dFI
I
An
alisis Real II
Por lo tanto dFi1 dFik k (U ) y de aqu concluimos que F () k (U ).
128
Observaci
on: Si F C (U, V ) entonces F : k (V ) k (U ).
Proposici
on 6.5.4 Sean U Rn , V Rm y W Rs abiertos, F : U V y G : V W mapeos de
clase C y k (W ). Entonces
(G F ) () = F (G ())
Demostraci
on. Dado p U tenemos
[(G F ) ()]p
Cuando U y V son abiertos de la misma dimension m, podemos obtener un resultado mas especfico
sobre la expresion del pullback de una m-forma en funciones coordenadas:
Proposici
on 6.5.5 Sean U, V Rm abiertos con coordenadas x1 , . . . , xm e y1 , . . . , ym respectivamente
y sea F C 1 (U ; V ). Si = f dy1 dym k (V ), entonces
F () = (f F )(det JF ) dx1 dxm
Demostraci
on. Se tiene que F () = (f F ) F (dy1 dym ). Por otro lado, usando la Proposicion
6.3.6:
[F (dy1 dym )]p = [F 0 (p)] (dy1 dym )F (p) = [F 0 (p)] (dy1 )F (p) (dym )F (p)
= [det JF ](p)(dx1 )p (dxm )p = (det JF (dx1 dxm ))p
es decir
F (dy1 dym ) = det JF (dx1 dxm )
Para finalizar la seccion, vamos a usar el pullback para definir diferenciabilidad de k-formas en superficies.
Sea M m Rs una superficie suave, recordemos que para cada p M dado, existe U Rm vecindad
abierta de p tal que U M admite una parametrizacion (V, ) de dimension m (es decir V Rm es un
abierto, Hom (V, U M ) y es una inmersion de clase C .
on m sobre la superficie M m[es una coleccion A(M ) de
Definici
on 6.5.2 Un atlas suave de dimensi
Sea M m Rs una superficie 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 representaci
on
local de la k-forma en la parametrizaci
on local no es u
nica,
on (V , ). Es claro que esta representaci
An
alisis Real II
129
() F k (V ) AExiste
alguna relacion entre las representaciones locales y ? Denotemos W =
1
1
(V ) (V ) y consideremos el cambio de coordenadas 1
(W ), (W ) .
Diff
Trabajando en el abierto 1
(W ) V tenemos
1
1
(1
) ( ) = ( ) ( ()) = ( ) () = () =
k-forma F k (V ) AEs
posible definir a partir de ellas una k-forma F k (M )? Vamos a probar
que la respuesta es afirmativa si esta familia de k-formas satisface la condici
on de compatibilidad
= (1
) ( ),
en 1
(W )
k
En efecto, dado p M , existe (V , ) A(M ) tal que p (V ), luego (1
) ( ) F ( (V )).
1
k
Sera natural definir F (M ) como p = [( ) ( )]p pero antes debemos probar que este valor es
independiente de la parametrizacion. Sea (V , ) A(M ) otra parametrizacion tal que p (V ),
k
on de compatibilidad, tenemos:
luego (1
) ( ) F ( (V )). Trabajando en W y usando la condici
1
1
(1
(1 ) ( ) = 1
( ) = (1
) ( ) = ( )
) ( )
Teorema 6.5.6 Sea M m Rs una superficie suave con atlas A(M ). Las siguientes afirmaciones son
equivalentes:
1. es una k-forma en M .
2. Para cada parametrizacion (V , ) A(M ) existe F k (V ) con la propiedad que si (V , ),
(V , ) A(M ) son tales que W = (V ) (V ) 6= entonces
= (1
) ( ),
en 1
(W )
Observaciones:
1. Sea M m Rs una superficie suave con atlas A(M ) = {(V , )} . Por el teorema anterior, una
k-forma en M puede ser definida como una coleccion = {( , V , )} en donde F k (V ),
satisfacen la condicion de compatibilidad.
2. Sea = {( , V , )} , = {( , V , )} F k (M ), c R, f F 0 (M ) entonces no es difcil
probar que
( + ) = + ,
(c) = c ,
(f ) = f ,
donde f = f .
3. Sean = {( , V , )} F k (M ), = {( , V , )} F l (M ) entonces ( ) = .
An
alisis Real II
130
Definici
on 6.5.3 Sea M m Rs una superficie suave con atlas A(M ) = {(V , )} . y sea F k (M ).
Decimos que es de clase C r en M si y solo si k (V ), .
Observaci
on: Usando la condicion de compatibilidad, no es difcil probar que la definicion anterior es
buena.
Denotaremos por kr (M ) al conjunto de todas las k-formas de clase C r sobre M . Como de costumbre
escribiremos k (M ) en vez de k (M ). Se puede probar que k (M ) es un C (M )-modulo.
6.6
La Diferencial Exterior
En esta seccion, vamos a definir una operacion sobre las formas diferenciables que generaliza la operacion
de diferenciacion de funciones (0-formas). Sea U Rn un abierto y a 0 (U ) recordemos que
da =
n
X
a
dxk 1 (U )
xk
k=1
Definici
on 6.6.1 Sea U Rn un abierto con coordenadas x1 , . . . , xn y sea =
diferencial exterior de , denotada por d, se define como
X
d =
daI dxI
I
Observaci
on: Si k (U ) entonces d k+1 (U ).
Ejemplo 6.6.1 Si = x1 dx2 x3 dx1 + x2 dx3 1 (R3 ) entonces
d = dx1 dx2 + dx1 dx3 + dx2 dx3 2 (R3 ).
Proposici
on 6.6.1 Se cumple las siguientes propiedades
1. d( + ) = d + d, , k (U ).
2. d(c) = cd, k (U ), c R.
3. d(f ) = df + f d, k (U ), f 0 (U ).
4. d( ) = d + (1)k d, k (U ), l (U ).
Demostraci
on. Solo probaremos una de ellas, las demas son semejantes.
X
I
aI dxI k (U ). La
An
alisis Real II
4) Sea =
X
I
aI dxI k (U ) y =
d( ) =
=
X
I,J
X
I,J
X
J
bJ dxJ l (U ) entonces =
X
I
daI dxI
X
J
X
I,J
X
I,J
XX
I
131
bJ dxJ
+ (1)
X
I
aI dxI
X
J
dbJ dxJ
es decir d( ) = d + (1)k d.
Obsevaci
on: d : k (U ) k+1 (U ) es un operador lineal.
Teorema 6.6.2 d(d) = 0, k (U )
Demostraci
on. Procedemos por induccion sobre k.
n
X
f
Para k = 0, f 0 (U ) = C (U ), df =
dxi , luego
x
i
i=1
d(df ) =
=
n
n
n
X
X
X
f
f
d
dxi =
dxj dxi
x
x
x
i
j
i
i=1
i=1
j=1
X
1i<jn
1i<jn
2f
dxj dxi +
xj xi
1j<in
f
dxj dxi +
xj xi
1i<jn
1i<jn
f
dxi dxj +
xj xi
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
X
X
ai1 ...ik (dxi1 dxik1 ) dxik
ai1 ...ik dxi1 dxik =
=
1i1 <<ik n
Luego
1i1 <<ik n
1i1 <<ik n
operador d, es suficiente probar el resultado para k-formas del tipo dxi con k1 (U ). Observe
que
d( dxi ) = d dxi + (1)k1 (d(dxi )) = d dxi
An
alisis Real II
Luego
d(d( dxi )) = d(d dxi ) = d(d) dxi + (1)k d (d(dxi )) = 0
132
m
m
X f
X
f
f
F (df ) = F
dyi =
dyi =
F dFi
F
yi
yi
yi
i=1
i=1
i=1
n
m
m X
n
X
X
F
Fi
f
f
i
=
F
dxj =
F
dxj
yi
xj
yi
xj
j=1
i=1 j=1
i=1
!
m
n
n
X
X
X f
(f F )
Fi
F
dxj =
dxj = d(f F ) = d(F (f ))
=
y
x
x
i
j
j
i=1
j=1
j=1
Sea k 1: Para k1 (U ) se tiene F (d) = d(F ()) (Hip. Ind.)
Sea k (U ), como en la demostracion del teorema anterior es suficiente probar para = dxi ,
donde k1 (U ) y 1 i n
F (d) = F (d( dxi )) = F (d dxi ) = F (d) F (dxi ) = d(F ()) dFi
Por otro lado
d(F ()) = d(F ( dxi )) = d(F () F (dxi )) = d (F () dFi )
= d(F ()) dFi + (1)k F ()d(dFi ) = d(F ()) dFi
Observaci
on: Si U Rn , V Rm son abiertos y F C (U, V ) entonces se tienen los siguientes
diagramas conmutativos:
0 (V )
F
0 (U )
1 (V )
F
1 (U )
2 (V )
F
2 (U )
3 (V )
F
3 (U )
An
alisis Real II
133
donde (d) = d , , per antes debemos verificar que ellas cumplan la condicion de compatibilidad.
Sean (V , ), (V , ) A(M ) tales que W = (V ) (V ) 6= . Trabajando en 1
(W ),
tenemos:
1
((d) ) = 1
(d ) = d 1
= d = (d)
y por tanto la definicion es buena. Observe que d k+1 (M ).
Con esta definicion, los Teoremas 6.6.2 y 6.6.3 pueden ser extendidos a superficies:
1. d(d) = 0, k (M )
2. Si F C (M, N ) entonces F (d) = d (F ()), k (N )
La demostracion queda como ejercicio para el lector.
Captulo 7
Integrales de Superficie
7.1
El objetivo de esta seccion es definir lo que entendemos por integral de una k-forma sobre una superficie.
Como las k-formas son generalizaciones del concepto de funcion y una superficie es la generalizacion de un
conjunto abierto, entonces los resultados de esta seccion son una generalizacion de la integral estudiada
en el Captulo 5.
Para cumplir con nuestro objetivo, necesitamos dos definiciones.
Definici
on 7.1.1 Sea M m Rs una superficie suave y k0 (M ). El soporte de , denotado por
sopp (), se define como
sopp () = {p M ; p =
6 0} M
Observaciones:
1. Si M es una superficie compacta entonces sopp () es un subconjunto compacto de M .
2. Sea U Rm un abierto con coordenadas x1 , . . . , xm y 0m (U ) entonces = a dx1 dxm
con a C(U ). Queda como ejercicio para el lector demostrar que
sopp () = sopp (a).
Definici
on 7.1.2 Decimos que M m Rs es una superficie orientable si y solo si existe A(M ) atlas de
M tal que para cualquier par (V , ), (V , ) A(M ) tales que (V ) (V ) 6= se tiene
1
(p))
> 0, p (V ) (V )
det J(1
)(
134
An
alisis Real II
135
Sea M m Rs una superficie suave, compacta, orientable con atlas A(M ) y sea m
0 (M ), vamos
a definir 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
compacto en Rm ), como = () = a dx
dx
y
C(V
a
)
donde
sin
perdida de generalidad,
1
m
podemos considerar el abierto V Rm como siendo acotado, entonces por el Teorema 5.8.2 tenemos que
a R(V ), luego estaramos tentados a definir
Z
Z
Z
Z
=
a dx
a dx1 dxm :=
=
1 dxm
M
Sin embargo debemos antes probar que esta definicion no depende de la parametrizacion. Suponga que
existe otra parametrizacion (V , ) A(M ) con W = (V ) (V ) =
6 tal que sopp () (V ),
=
=
=
1
(W )
1
(W )
(W )
( )
a 1
dx
1 dxm
det J
a 1 det J(1 ) dx
1 dxm
1
(W )
Z
Z
Z
=
a dx1 dxm =
1
(W )
1
(W )
De esta manera, hemos probado que el valor de la integral no depende de la parametrizacion y por
tanto tiene sentido la siguiente definicion.
Definici
on 7.1.3 Sea M m una superficie suave, compacta, orientable con atlas A(M ) y sea m
0 (M ).
Si existe una parametrizacion (V , ) tal que sopp () (V ) entonces
Z
Z
Z
Z
=
=
() =
a dx1 dx
m
M
en donde K = 1
(sopp ()) y = a dx1 dxm .
An
alisis Real II
136
As, cada m-forma i cumple la condicion del Caso 1 y tiene sentido la integral de ella, luego sera
natural definir
Z
n Z
X
=
i
M
i=1
Sin embargo debemos probar que esta definicion es independiente de la particion de la unidad elegida.
Sea {1 , . . . , l } una C -particion de la unidad de M subordinada al atlas A(M ). Sabemos que la
on de la unidad de M subordinada al atlas A(M ),
familia {i j ; 1 i n, 1 j l} es una C -partici
luego
n
!
n Z
l
n X
l Z
n Z
l Z
l Z
X
X
X
X
X
X
X
j =
i j =
i j =
i =
i
j
i=1
i=1
j=1
i=1 j=1
j=1
i=1
j=1
Definici
on 7.1.4 Sea M m una superficie compacta, orientable, con atlas A(M ) y sea 0m (M ). Si
{1 , . . . , n } es una C Z-particion de la unidad de M subordinada al atlas A(M ) entonces la integral de
en M , denotada por
se define como
=
M
n Z
X
i=1
i
M
Proposici
on 7.1.1 Sea M m una superficie suave, compacta y orientable, se cumple:
Z
Z
Z
1.
( + ) =
+
, , m
0 (M ).
M
2.
c = c
,
M
0m (M ), c R.
3. Si m
0 (M ) es tal que 0 entonces
0.
Demostraci
on. Ejercicio.
on en
Sean M m , N m superficies orientadas, y sean A(M ) y A(N ) los atlas que inducen la orientaci
M y N respectivamente. Decimos que f Diff (M, N ) preserva orientaci
on si y solo (V , ) A(M )
entonces (V , f ) A(N ).
Proposici
on 7.1.2 Sean M m , N m superficies suaves, orientadas, compactas y f Diff (M, N ) preserva orientacion, entonces
Z
Z
f () =
, 0m (N ).
M
Demostraci
on. Ejercicio.
An
alisis Real II
7.2
137
1. Si x V Hm entonces existe r > 0 tal que Br (x) V Hm , luego tiene sentido hablar de la
derivada de f : V Hm Rn en x.
2. Si x V Hm definimos la derivada de f en x como la derivada de su extension F 0 (x). Afirmo
que esta definicion es independiente de la extension F de f . En efecto, supongamos que existen
U, U1 Rm abiertos con V = U Hm = U1 Hm y existen F C 1 (U ; Rm ), F1 C 1 (U1 ; Rm )
tales que F V = F1 V = f . Tomemos (xk ) V Hm tal que lim xk = x, se tiene que
k
An
alisis Real II
f1 (a + tv)
f1 (a + tv)
0, luego 1 [f 0 (a)(v)] = lim
0.
t
t
t0+
f1 (a + tv)
f1 (a + tv)
Si t < 0 entonces
0, luego 1 [f 0 (a)(v)] = lim
0.
t
t
t0
Se sigue que 1 [f 0 (a)(v)] = 0 y por tanto f 0 (a)(Rn ) Hm .
138
Si t > 0 entonces
V = V H , F U = f y F
= f , mas a
un (f ) (f (a)) = (F ) (f (a)) GL(R ) y esto que
V
implica que Rm = (f 1 )0 (f (a))(Rm ) Hm , lo cual es una contradicci
on.
on de clase C k (k 1) y dimensi
on m del conjunto
Definici
on 7.2.1 Sea V Rn . Una F-parametrizaci
m
V es un par (V0 , ), donde V0 H es un abierto de Hm y : V0 V es una funcion que satisface las
dos condiciones siguientes:
1. Hom (V0 , V ).
2. es una inmersion de clase C k .
on m y clase C k (k 1) en Rn es un subconDefinici
on 7.2.2 Una superficie con frontera de dimensi
n
junto M R tal que para todo punto p M , existe una vecindad abierta Up Rn de p tal que Up M
admite una F -parametrizacion (Vp , p ) de clase C k y dimension m.
n
on m sobre una superficie con frontera M m R
Un atlas de clase C k y dimensi
[ es una coleccion
k
(V ).
AF (M ) de F-parametrizaciones (V , ) de clase C y dimension m tales que M =
Al igual de lo que ocurra con las superficies sin frontera, vamos a demostrar que los cambios de
coordenadas de una superficie de clase C k , son difeomorfismos de clase C k .
Lema 7.2.2 Toda F-parametrizacion de clase C k y dimension m es un difeomorfismo de clase C k .
Demostraci
on. Sea (V, ) una F-parametrizacion de clase C k y dimension m del conjunto X Rn .
Como : V X es de clase C k , existe V Rm abierto con V Hm = V y existe C k (V , Rn ) tal
que = . Sea a V , sabemos que 0 (a) = 0 (a) L(Rm , Rn ) que, por hipotesis, es inyectiva. Por
V
la Forma Local de las Inmersiones, existen abiertos V 0 V , Z Rnm y U Rn con a V 0 , 0 Z,
(a)
= (x, 0), x V 0 .
An
alisis Real II
139
es la inversa de h .
U X
Corolario Sea M Rn superficie con frontera de clase C k con atlas AF (M ). Si (Vi , i ), (Vj , j )
AF (M ) son tales que W = i (Vi ) j (Vj ) 6= entonces el cambio de coordenadas j1 i : 1
i (W )
1
m
m
k
H j (W ) H es un difeomorfismo de clase C .
Demostraci
on. Ejercicio!
A continuacion caracterizaremos los puntos de una superficie M con frontera que son mapeados en
Hm .
Lema 7.2.3 Sea M m Rn una superficie con frontera de clase C k y atlas AF (M ), y sea p M . Si
existe (Vi , i ) AF (M ) con p i (Vi ) tal que i1 (p) Hm , entonces para cualquier (Vj , j ) AF (M )
con p j (Vj ), se tiene que j1 (p) Hm .
Demostraci
on. Sea (Vj , j ) AF (M ) con p j (Vj ). Como W = i (Vi ) j (Vj ) 6= entonces
1
i : 1
) es un difeomorfismo de clase C k . Como
el cambio de coordenadas 1
j
i (W ) j (W
1
1
1
m
m
1
An
alisis Real II
140
Demostraci
on. Denotemos por AF (M ) al atlas de M . Sea p M M , luego existe (V , )
m
AF (M ) con p (V ) = U M (donde U Rs es abierto) tal que 1
(p) H .
Considero las funciones i : Rm1 Hm y : Rm Rm1 definidas por
i(y1 , . . . , ym1 ) = (0, y1 , . . . , ym1 ),
(x1 , . . . , xm ) = (x2 , . . . , xm )
m
1
e
i = i
V = i (V H ),
y
=
e
V
V Hm
1
Se sigue que Ve es un abierto de Rm1 y que = i
.
e
e ) es una parametrizacion de clase C k y
Defino
e = i : V U M . Se sigue que (Ve ,
dimension m 1.
Observaciones:
f 6= . Como
3. Sean (Ve ,
e ), (Ve ,
e ) A(M
) tales que
e (Ve ) = W
e (Ve )
1
e = (1
)i
f
en
e1
(W ),
1
f ) tenemos
= (F1 , . . . , Fm ) y y = (y1 , . . . , ym1 )
haciendo
e1 (W
1
)0 (0, y)i
(
e1
e )0 (y) = (
luego
e2
(F1 , . . . , Fm1 )
(F1 , . . . , Fm )
1
t
(0, y) et2 em
(0, y)
=
J(
e
e )(y) = ...
(x1 , . . . , xm )
(x1 , . . . , xm1 )
em
Proposici
on 7.2.3 Si M m es una superficie de clase C k , orientable, con frontera entonces M es orientable
Demostraci
on. Sea AF (M ) = {(V , )} el atlas que induce una orientaci
on en M y sea A(M ) =
e )} el atlas de M inducido por AF (M ). Consideremos (Ve ,
{(Ve ,
e ), (Ve ,
e ) A(M ) tales
An
alisis Real II
141
m1
f =
f
que W
e (Ve )
e (Ve ) 6= , denotando y = (y1 , . . . , ym1
)
e1
, y =
(W ) R
m1
f
(y , . . . , y )
e1
y 1 = (F1 , . . . , Fm ), se cumple
(W ) R
1
m1
(0, y ) = i (y ) = (1
)(0, y ) = ( ) i (y ) = (F1 (i (y )), . . . , Fm (i (y )))
= F1 (0, y )
se sigue que
et2
F1
x2
etm
F1
x1
(0, y ) = =
F1
(0, y ), . . . ,
F1
xm
xm1
(0, y )
(0, y ) = 0
luego
Pero
F1
(0, y )
(F1 , . . . , Fm )
x1
(0,
)
=
J 1
y
(0, y ) =
(x1 , . . . , xm )
A
(F2 . . . , Fm )
(x2 , . . . , xm
)
(0, y )
#
"
1
F
,
.
.
.
,
F
)
(F
1
m
2
0 < det J (0, y ) =
(0, y ) det
(0, y )
x1
(x2 , . . . , xm )
F1
x1
(0, y ) = lim+
h0
F1 (y , h) F1 (y , 0)
>0
h
(F1 , . . . , Fm )
1
1
y
)
(0,
=
det
J(
e
,
e
e
=
det
0 < det
)(
(p))
)(y
)
J(
(x1 , . . . , xm )
Lo cual prueba que M es orientable.
7.3
f
pW
El Teorema de Stokes
Sea M m una superficie suave, con frontera, compacta, orientable, sabemos entonces que M es una
superficie suave, compacta, sin frontera, orientable. Luego M admite dos orientaciones. Decimos que
M tiene la orientaci
on inducida por M si y solo si la inclusion i : M M preserva orientaci
on. Se
puede demostrar que en parametrizaciones, esto es equivalente a decir que i : Ve V Hm dado por
i(y1 , . . . , ym1 ) = (0, y1 , . . . , ym1 ) preserva orientaci
on (esta es la razon por la cual hemos definido as
el semiespacio H m ). En caso de dimensiones 2 y 3, geometricamente esto significa que el vector normal
a M siempre apunta hacia afuera.
An
alisis Real II
142
Teorema 7.3.1 (Stokes) Sea M m una superficie suave, con frontera, compacta, orientable y sea
on inducida por M entonces
1m1 (M ). Si i : M M es la inclusion canonica y M tiene la orientaci
Z
Z
d.
i =
M
Demostraci
on. Sea AF (M ) = {(V , )} atlas de M y = {( , V , )}. Consideremos dos casos:
Caso 1: Existe (V , ) AF (M ) tal que sopp () (V ). Denotemos K = 1
(sopp ()) V ,
(V
)
entonces
como m1
1
=
m
X
j=1
donde a1 , . . . , am C 1 (V ), luego
d
m
X
j=1
m
!
m
X aj
X
=
dxi dx1 dxj1 dxj+1 dxm
xi
i=1
j=1
m
X
aj
dx1 dxm
= (1)j1
x
j
j=1
i = 0.
M
aj (x) si x V
Aj (x) =
0
si x Hm V
Como aj C 1 (V ) y sopp (aj ) V , se sigue que Aj C 1 (Hm ). Sea B = [u1 , v1 ] [um , vm ]
m-bloque compacto tal que V B, donde u1 < v1 = 0. Para j {1, . . . , m} denotemos
Bj = [u1 , v1 ] [uj1 , vj1 ] [uj+1 , vj+1 ] [um , vm ]
Por el Teorema de Integracion Iterada tenemos:
Z
Z
Z
Z
m
X
a
(1)j1 j dx1 . . . dxm
d =
d =
(d) =
xj
V
M
V
V
j=1
Z
Z
m
m
X
X
Aj
(1)j1 Aj dx1 . . . dxm =
=
(1)j1
dx1 . . . dxm
xj
B xj
B
j=1
j=1
An
alisis Real II
m
X
j=1
m
X
j1
(1)
Bj
(1)j1
i =
vj
uj
#
Aj
dxj dx1 . . . dxj1 dxj+1 . . . dxm
xj
Bj
j=1
Por tanto
"Z
143
d.
i =
(i ) =
e
V
e
V
Pero desde que i (y1 , . . . , ym1 ) = (0, y1 , . . . , ym1 ) = (x1 , . . . , xm ), tenemos que dx1 = 0 y por tanto
i ( ) =
m
X
j=1
(aj i )i
(dx1 dxj1 dxj+1 dxm ) = (a1 i )dy1 ym1
luego
Z
Por otro lado
i =
M
d =
M
e
V
d =
V
am i
m
X
(7.1)
(1)j1
j=1
aj
xj
m
X
(1)j1
j=1
m
X
(1)j1
j=1
Aj
B xj
Z "Z vj
Bj
uj
#
Aj
dxj dx1 . . . dxj1 dxj+1 . . . dxm
xj
B1
m
X
+
=
j=2
B1
(1)j1
Bj
e
V
d.
M
An
alisis Real II
144
Caso 2: Es el caso general, sea {1 , . . . , n } una C -particion de la unidad subordinada al atlas A(M ).
Observe que
Z
n Z
n
n Z
X
X
X
[j d d(j )] =
d
dj =
j = 0,
j=1
j=1
es decir
n Z
X
j=1
j d =
M
n Z
X
j=1
j=1
d(j ),
luego
Z
d =
M
n Z
X
j=1
j d =
n Z
X
j=1
d(j ) =
n Z
X
j=1
i (j ) =
M
Z
n
X
j =
i
j=1