Documente Academic
Documente Profesional
Documente Cultură
Variedades
diferenciables
1.
Variedades diferenciables en Rn
A grandes rasgos, una variedad diferenciable es un conjunto que, localmente, es difeomorfo al espacio euclideano. En este captulo estudiaremos
las variedades diferenciables dadas como subconjuntos de Rn , y generalizaremos la teora de campos vectoriales, formas diferenciales e integracion a
tales objetos.
En esta seccion empezaremos por las definiciones basicas.
Definici
on 10.1. Un subconjunto M Rn es una variedad diferenciable
de dimensi
on k si, para cada x M , existen conjuntos abiertos U Rk y
V Rn y una funci
on continuamente diferenciable f : U V tales que
1. x V ;
2. f (U ) = V M , f es inyectiva y f 1 : V M U es continua; y
3. para cada y U , el Jacobiano f (y) tiene rango k.
A la funci
on f se le llama un sistema de coordenadas alrededor de x.
La definicion 10.1 implica entonces que una variedad diferenciable de
dimension k es un conjunto tal que, localmente, es la imagen de una funci
on
k
m
definida en un conjunto abierto U en R y con valores en R (figura 1). La
condicion que la imagen f (U ) es un conjunto de la forma V M alrededor
de cada punto de M establece una cubierta natural para M de conjuntos
abiertos, los cuales forman lo que com
unmente se llama un atlas.
187
188
( y 1,
y2 )
y1
M
V
f ( y 1, y 2 )
Figura 1. Sistema local de coordenadas alrededor de f (y) M , donde
M es una variedad de dimensi
on 2 en R3 . La imagen de U R2 bajo f
es un conjunto de la forma V M , donde V es abierto en R3 .
y definimos la funci
on f : U V como:
p
f (y) = y 1 , . . . , y i1 , 1 |y|2 , y i+1 , . . . , y k ,
p
donde |y| = (y 1 )2 + + (y k )2 . Entonces f (U ) = V Sk y f 1 : V S k
U esta dada por
f 1 (z) = (z 1 , . . . , z i1 , z i+1 , . . . , z k+1 ).
Vease la figura 2.
Observaci
on 10.3. El conjunto Sk es el conjunto solucion de la ecuacion
|x|2 = 1
en Rk+1 . Es decir, si definimos g : Rk+1 R por g(x) = |x|2 1, entonces
Sk = g1 ({0}). Observamos que g es continuamente diferenciable y que
Dg(x) 6= 0 para todo x Rk+1 .
Esta observaci
on se puede generalizar en el siguiente teorema.
1. Variedades diferenciables en Rn
189
z
(x,y,z)
y
x
190
Entonces
Vease la figura 3. Los Jacobianos f1 (x) y f2 (y) tienen rango k. Sin perdida de generalidad, asumiremos que los primeros k renglones de f1 (x) son
linealmente independientes.
Ahora bien, como f2 (y) tiene rango k, podemos escoger k renglones
linealmente independientes, digamos los renglones l1 , l2 , . . . , lk . Entonces la
matriz
Dj f2li (y)
1i,jk
es no singular, es decir
det Dj f2li (y) 6= 0.
det F (y, 0) = det Di f2li (y) 6= 0,
1. Variedades diferenciables en Rn
191
f 21 f1
U1
U2
y
x
U
f2
f1 (x)
f1
V1
V2
V
192
2.
Espacio tangente
Df(a)(v) p
va
M
193
2. Espacio tangente
f (t) =
x (t)
,
y (t)
por lo que
f (R10 )
x (0)
} R2p .
= gen{
y (0) p
f*(|R10 )
Figura 5
1
0
1
0
0
0
1
1
=
f (x0 , y0 ) =
y0
x0
x
y0
0
p
1 x20 y02
1 x20 y02
z0
z0
194
Entonces
im f (x0 , y0 ) = ker(f (x0 , y0 ))t =
=
Entonces,
( x )!
0
gen y0
.
z0
x0 !
1 0
z
ker
y00
0 1
z0
f (R2(x0 ,y0 ) ) = {(x, y, z) R3(x0 ,y0 ,z0 ) : xx0 + yy0 + zz0 = 0},
el cual puede ser
identificado
como el plano tangente a S2 , es decir, el plano
x0
normal al vector y0 y que pasa por el punto (x0 , y0 , z0 ), como se muestra
z0
en la figura 6.
(x0 , y0 , z 0 )
Figura 6
195
3.
2. f : U Hk V M es un homeomorfismo; y
De nuevo, a la funci
on f le llamaremos un sistema coordenado alrededor de
x.
Es decir, no requerimos que, localmente, M sea la imagen diferenciable
de un abierto en Rk , sino de un abierto en Hk (la interseccion de un abierto
con Hk ). Vease la figura 7.
f
M
U
U
Hk
Observemos que esta definicion cumple con las mismas propiedades que
una variedad diferenciable; es decir, si tenemos dos sistemas coordenados
f1 : U1 V1 y f2 : U2 V2 , entonces
f21 f1 : f11 (f2 (U2 )) f21 (f1 (U1 ))
196
es un difeomorfismo (aunque los conjuntos f11 (f2 (U2 )) y f21 (f1 (U1 )) no
son necesariamente abiertos en Rk ).
De nuevo, si M es una variedad diferenciable con frontera de dimension
k, la denotaremos como M k .
Definici
on 10.11. Sea M k Rn una variedad diferenciable con frontera.
Decimos que x M esta en la frontera de M si existe un sistema coordenado
f : U V tal que x = f (a) y ak = 0.
g : U2 V2
f 1 g : g1 (V ) f 1 (V )
D2 = S 1
D2
197
y f : U V la funci
on dada por
f (x, y) = (x, y 1)
como sistema coordenado alrededor de (x0 , y0 ). (Notemos que (x0 , y0 ) =
f (x0 , y0 + 1).)
Supongamos ahora que x20 + y02 = 1. Sin perdida de generalidad suponemos que y0 > 0. Sea U = {(x, y) R2 : x2 + y 2 < 1}, V = R2+ , y f : U V
la funci
on
p
f (x, y) = (x, 1 x2 y).
(y) = (y 1 , . . . , y k1 , 0),
y Rk1 ,
U = {y Rk1 : (y, 0) U } = 1 (U ).
198
Adem
as, es claro que (f )1 : V M U es continua, porque (f )1
es la restriccion de f 1 a V M .
Por u
ltimo, tenemos que verificar que, para cada y U , el Jacobiano
Ejercicios
1. Demuestra que un subespacio de dimension k de Rn es una variedad
diferenciable de dimension k.
2. Muestra que un conjunto abierto U Rn es una variedad diferenciable
de dimension n en Rn .
3. De manera inversa al ejercicio anterior, muestra que, si M es una variedad diferenciable en Rn de dimension n, entonces es un conjunto abierto
en Rn .
4. Si M k Rn es una variedad diferenciable y x M , muestra que existe
un abierto V Rn , x V , y una funcion g : V Rnk tal que
V M = g1 ({0}) y g (y) tiene rango k para todo y V M .
5. Sea g : R2 R dada por g(x, y) = x2 y 2 . Explica por que el conjunto
g1 ({0}) no es una variedad diferenciable en dimension 1 en R2 .
199
Ejercicios
Sea N el conjunto que resulta al revolver M alrededor del eje xn . Muestra que N es una variedad diferenciable de dimension k + 1. (Ve como
ejemplo la figura 1.)
11. En general, muestra que si G Rn+1 es la grafica de la funcion diferenciable f : Rn R, entonces el espacio tangente en x0 G esta dado por
n
1
el hiperplano en Rn+1
x0 normal al vector n = ( grad f (x0 , . . . , x0 ), 1).
12. Muestra que el cilindro C R3 dado por
C = {(x, y, z) R3 : x2 + y 2 = 1, 0 z 1},