Universidad de la Repblica

Facultad de Ciencias
Centro de Matemtica

Geometra DiferencialCurso 2013

Prctico 1

1.

Algunas subvariedades de Rn
1. Sean M Rm , N Rn subvariedades diferenciables. Mostrar que M N Rm Rn
es una subvariedad, calcular su dimensin y mostrar que T(x,y) M N = Tx M Ty N . Si
f : M N es una funcin diferenciable, probar que el grfico de f es una subvariedad
de Rm Rn difeomorfa a M .
2. Definimos el fibrado tangente de una variedad M Rk como
T M = {(x, v) M Rk : v Tx M }.
a) Probar que T M es una subvariedad de Rk Rk y calcular su dimensin.
b) Probar que todo punto p M existe un entorno U de p y un difeomorfismo
h : TU M U Rm , donde TU M = {(x, v) T M : x U } y m = dim(M ), tal
que h(x, v) {x} Rm y h(x, ) : Tx M Rm es lineal.
c) Sea S 1 = {x R2 : |x| = 1}. Probar que existe un difeomorfismo f : T S 1 S 1 R
tal que f (x, v) {x} R y f (x, ) : Tx S 1 R es lineal.
Ser cierta la propiedad anterior para la esfera S 2 ? Si fuese cierta, observar que
x 7 (x) = f 1 (x, (1, 0, 0)) sera un campo de vectores en la esfera sin singularidades (o sea, (x) 6= 0, x.) Probaremos ms adelante que todo campo de vectores
diferenciable en la esfera tiene necesariamente alguna singularidad, y por lo tanto
la respuesta es negativa.
3. Consideremos la esfera S 3 = {(z, w) C2 : |z|2 + |w|2 = 1} C2 , donde identificamos
el plano complejo C con R2 . Definimos el toro bidimensional como T2 = S 1 S 1 , y el
toro slido como la variedad D2 S 1 , donde D2 = x R2 : |x| 1 es el disco unitario.
Observar que el toro slido es una variedad con borde y su borde es difeomorfo a un
toro T2 . Mostrar que existen dos subvariedades M1 , M2 S 3 , tales que cada una de
ellas es difeomorfa a un toro slido, S 3 = M1 M2 y M1 M2 = M1 = M2 .

(Sugerencia: considerar M1 = {(z, w) S 3 : 0 |z| 1/ 2}.)

2.

Valores regulares y teorema de la funcin inversa

1. Si f : Rk R es diferenciable, y R es un valor regular para f y M = f 1 (y), mostrar
que M es orientable.
2. Probar que X = {(u, v) S n S n :< u, v >= 0} es una subvariedad de Rn+1 Rn+1 .

3. Si V y W son espacios vectoriales reales de dimensin finita, usando bases de V y W

se pueden identificar estos espacios con Rn y Rm y considerar funciones diferenciables
entre V y W como en la teora habitual. Sea Mn (R) el espacio de las matrices n n con
entradas reales y O(n, R) el espacio de las matrices ortogonales: A O(n) si At A = Id.
a) Sea f : Mn S(n) tal que f (X) = X t X, donde S(n) = {B Mn : B t = B} es el
espacio vectorial de las matrices simtricas. Calcular
f
(B) B, X Mn .
X
b) Mostrar que si A O(n), entonces DA f : Mn S(n) es sobreyectivo.
c) Concluir que O(n) es una subvariedad de Mn y calcular su dimensin.
4. Construiremos una prueba del teorema fundamental de lgebra debida a S. Smale. Sea
p : C C un polinomio de grado n, z0 un punto regular de p y z1 = p(z0 ). Si z1 = 0
no hay nada que probar. Si no,
a) Probar que el conjunto de valores crticos de p es finito.
b) Sea : [0, 1] C una curva diferenciable tal que (0) = z1 , (1) = 0 y tal que
(t) no es valor crtico de p si t < 1. Probar que existe : [0, 1] C diferenciable
tal que p((s)) = (s), s [0, 1]. Luego, (1) es una raz de p.
(Sugerencia: Como z0 es un punto regular de p, existe un entorno U de z0 tal que
p|U es un difeomorfismo. Entonces existe s > 0 tal que se puede definir como
(t) = p1 ((t)), t [0, s).
Probar ahora que m
ax{s [0, 1] : se puede extender hasta [0, s]} = 1.)
5. Sea M Rk una variedad compacta sin borde y f : M M diferenciable e inyectiva.
Probar que f (M ) = M .
6. Probar que si f : M N es un difeomorfismo local y es inyectiva, entonces es un
difeomorfismo entre M y un abierto de N .
7. (Teorema de la funcin inversa generalizado) Sea f : M N diferenciable. Si X es
una subvariedad compacta de M , f |X es inyectiva y Dx f : Tx M Tf (x)N es un
isomorfismo, x X entonces f mapea difeomrficamente un entorno abierto de X en
un entorno abierto de f (X).
Sugerencia: Observar primero que X y f (X) son difeomorfos. Luego, por el ejercicio
anterior, alcanza con ver que f es inyectiva en un entorno de X.

3.

Teorema de Sard
1. Sea f : [0, 1] R una funcin diferenciable y m la medida de Lebesgue en R.
a) (Teorema de Sard en R) Probar que f (C) es medible y m(f (C)) = 0, donde C es
el conjunto de puntos crticos de f . Cunta diferenciabilidad es suficiente?
Sugerencia: Observar que
\



x [0, 1] : |f 0 (x)| < 1/n .
C = x [0, 1] : f 0 (x) = 0 =
n1

b) Probar que si A [0, 1] es medible y m(A) = 0 entonces m(f (A)) = 0.

c) Recordemos que si X Rn , f : X Rm es diferenciable si x X existe un
entorno U de x y una funcin diferenciable F : U Rm tales que F |U X = f . Dar
un ejemplo de subconjuntos de Rn que sean homeomorfos pero no difeomorfos.
Sugerencia: Considerar conjuntos de Cantor en R y aplicar lo anterior.
2. Mostrar que si M es compacta y f : M N es diferenciable entonces el conjunto de
valores regulares de f es abierto y denso. Y si M no es compacta?
3. Sea f : Rn R diferenciable. Decimos que un punto crtico x de f es no degenerado
si su matriz hessiana Hf (x) es no singular. Probar que dado > 0, existe c Rn
con |c| tal que la funcin fc (x) = f (x) + hx, ci tiene todos sus puntos crticos no
degenerados.
4. Existir una funcin f : Rn Rn diferenciable tal que f 1 (a) es un conjunto no
numerable, para todo a Rn ?