Vous êtes sur la page 1sur 3

UNIVERSIDAD DE EL SALVADOR

ESCUELA DE MATEMÁTICA
GEOMETRÍA DIFERENCIAL.

Diciembre de 2018

Guı́a 4

Isometrı́as. Aplicaciones Conformes.


1. Sea f : S1 → S2 un difeomorfismo local entre superficies regulares. Supongamos que para toda curva
regular parametrizada α : I → S1 y todo intervalo [a, b] ⊂ I, si Lba (f · α) = Lba (α). Probar que f es
una isometrı́a local.
2. Sean S1 y S2 dos superficies regulares orientadas y X : U ⊂ R2 → S1 , Y : U ⊂ R2 → S2
respectivamente. Probar que los coeficientes de la primera forma fundamental de S1 y S2 con respecto
a las parametrizaciones X e Y coinciden entonces la aplicación Y ◦ X −1 : X(U ) ⊂ S1 → Y (U ) ⊂ S2
es una isometrı́a entre X(U ) e Y (U ).
3. Sea f : S 2 → S 2 una isometrı́a. Probar que esxiste una transformación lineal ortogonal A : R3 → R3
tal que f = A |S 2 : S 2 → S 2 .
4. Dada f : R2 → R diferenciable, consideremos la superficie regular S = {(x, y, z) : z = f (x, y)}.
Sea entonces φ : P i → S la aplicación natural entre el plano Π ≡ {z = 0} y el grafo S dada por
φ(x, y, 0) = (x, y, f (x, y)).
a) Justificar que φ es diferenciable. ¿Es φ un difeomorfismo?
b) ¿Bajo qué condiciones será φ una isometrı́a local?
c) ¿Podemos asegurar entonces que si un grafo no verifica las condiciones del apartado a), no será
isométrico al plano?
5. Sea S una superficie regular cuyos coeficientes de la primera forma fundamental (respecto a una


parametrizacio?n X ) valen E = 1, F = 0 y G = u2 + 1, y sea S otra superficie regular de forma que
E = (1 + 4u2 )2 , F = 0 y G = u2 (respecto a otra parametrización X). ¿Pueden ser isométricas?
6. ¿Existen superficies regulares X(u, v) tales que:
a) E = G = 1, F = 0, e = 1, f = 0, g = −1,
b) E = 1, F = 0, G = cos2 u, e = cos2 u, f = 0, g = 1?
El teorema de Gauss y las Ecuaciones de Compatibilidad.
7. Si φ = φ(u, v) es una parametrización ortogonal, pruebe que
1 Ev Gu
K= √ {( √ )v + ( √ )u }
2 EG EG EG
Deduzca la fórmula en el caso de que φ sea conforme.
8. Demuestre que no existe una superficie cuyas primera y segunda formas fundamentales son
du2 + cos2 dv 2 y cos2 du2 + dv 2
9. Sea V ∈ un campo tangente, unitario y diferenciable a lo largo de una curva ? : I ?? S contenida
en una superficie regular S. Demostrar que existe una funcio?n diferenciable ? tal que DV /dt = ?
(N ?V ). Adema?s, si ? esta? p.p.a. y el campo V = ? 0, entonces la funcio?n ? es, precisamente, la
curvatura geode?sica de ?
10. Demostrar que:

a) Si una geodésica es lı́nea de curvatura, entonces es una curva plana.


b) Si una geodésica es una curva plana, entonces es una lı́nea de curvatura.
c) Dar un ejemplo de una lı́nea de curvatura plana que no sea una geodésica.

11. Demostrar que si todas las geodésicas de una superficie S conexa son curvas planas, entonces S es
un trozo de esfera o un trozo de plano.

12. Demostrar que una curva γ : I → S es a la vez asintótica y geodésica si, y sólo si, es un segmento
de recta.

13. Probar que toda curva del plano que no sea una recta no es geodésica del plano.

14. Probar que las únicas geodésicas de la esfera son los cı́rculos máximos.

15. Considérese el toro de revolución generado por la rotación del cı́rculo (x − a)2 + z 2 = r2 , y = 0
con (a > 0, r > 0) alrededor del eje z. Los paralelos generados por los puntos (a + r, 0), (a − r, 0) y
(a, r) se denominan, respectivamente el paralelo máximo, el paralel mı́nimo y el paralelo superior.
Compruébese cual de estos paralelos es:

a) Una geodésica.
b) Una curva asintótica.
c) Una linea de curvatura.
d) Calcule la curvatura geodésica del paralelo superior.

16. Considérese la catenaria y = cosh x contenida en el plano z = 0, y sea S el cilindro recto construido
sobre dicha curva. Dar una parametrización de esta super?cie y calcular sus geodésicas.

17. Si S es una superficie regular y α : I → S es una curva p.p.a., en cada punto α(s) podemos considerar
el triedro de Darboux {t(s) = α0 (s), Jα0 (s) = N (s) ∧ α0 (s), N (s)}. Demostrar que
 0
 t (s) = κg (s)Jt(s) + κn (s)N (s)
(Jt0 )(s) = −κg (s)t(s) + τg (s)N (s)
 0
N (s) = −κn (s)t(s) − τg (s)Jt(s)


donde la función τg (s) = Aα(s) t(s), Jt(s) se denomina la torsión geodésica de α. Las relaciones
anteriores reciben el nombre de fórmulas de Darboux.

18. Considérense el triedro de Darboux {t(s), Jt(s), N (s)} y el triedro de Frenet {t(s), n(s), b(s)} de
la curva α. Sea {e1 (s), e2 (s)} una base de direcciones principales en Tα(s) S, s ∈ I. Demostrar:

a) La torsión geodésica toma el valor

τg (s) = cos φ(s) sin φ(s) [κ2 (α(s)) − κ1 (α(s))] ,

donde φ(s) = ang(e1 (s), t(s)).


b) Si cos θ(s) = hN (s), n(s)i, entonces hN (s), b(s)i = hJt(s), n(s)i = sin θ(s) y θ0 (s) = τ (s) + τg (s).
c) Las lı́neas de curvatura se caracterizan por tener torsión geodésica nula.
d) Si α es una geodésica con curvatura normal no nula, entonces τg ≡ −τ .
19. Mostrar que si una superfcie compacta S es difeomorfa a el toro T1 , entonces
Z
KdA = 0.
S

¿Puede tal superficie S tener K = 0 en todas partes?

20. Supongamos que S es una superficie compacta cuya Curvatura Gaussiana K es positiva en todas
partes (mayor a cero). Demostrar que S es difeomorfa a una esfera. ¿Es el recı́proco cierto?.

21. ¿Dónde está el error en el siguiente razonamiento?:


Consideremos, en la esfera unitaria, las dos regiones R1 y R2 determinadas por un paralelo distinto
del ecuador (dos casquetes
R esféricos). Si aplicamos
R el teorema de Gauss-Bonnet a ambas regiones
obtenemos: A(R1 ) + ∂R1 κg ds = 2π y A(R2 ) + ∂R2 κg ds = 2π.
Como la curva
R que delimita
R ambas regiones, el paralelo de la esfera, es la misma, es decir, ∂R1 = ∂R2 ,
entonces ∂R1 κg ds = ∂R2 κg ds; por tanto A(R1 ) = A(R2 ). De aquı́ se deduce que cualquier paralelo
de una esfera divide a ésta en dos regiones que tienen la misma área.

22. Sea S una superficie regular, orientable y compacta, que no es homeomorfa a una esfera. Demostrar
que existen puntos en S en los que la curvatura de Gauss es positiva, negativa y nula.

23. Considérese la parametrización de la esfera dada por las coordenadas geográficas,

X(u, v) = (r sin u cos v, r sin u sin v, r cos u).

Comprobar que se verifica el teorema de Gauss-Bonnet para la región R limitada por los meridianos
de longitudes v = 0 y v = π4 , y un paralelo genérico de colatitud u = u0 .

24. Comprobar el teorema de Gauss-Bonnet para la región del toro limitada por los paralelos superior
y máximo y los meridianos v = 0, v = π2 , considerando la parametrización

X(u, v) = ((a + r cos u) cos v, (a + r cos u)senv, r sin u)

25. Comprobar que se verifica el teorema de Gauss-Bonnet para la región del cono X(u, v) = (u cos v, u sin v, u)
delimitada por el paralelo u = 1.

26. (Polı́gonos geodésicos). Sea P ⊂ S2 (r) un polı́gono geodésico (esto es, las curvas que lo forman son
trozos de geodésica) en la esfera con n lados. Si φi son sus ángulos interiores, demostrar que
n
!
X
A(p) = r2 φi − (n − 2)π
i=1

27. Demostrar que la curvatura total del toro de revolución T2 es 0

28. Sea α; I → R3 una curva regular p.p.a. no plana. Para cada s ∈ I considérese la recta que pasa por
α(s) con dirección su vector binormal, b(s). Representamos por S el subconjunto de R3 obtenido
como la unión de todas estas rectas, y suponemos α tal que S es una superficie regular. Una
parametrización obvia para dicha superficie viene dada por X(t, s) = α(s) + tb(s), (t, s) ∈ R × I.

a) Calcular las curvaturas geodésicas de las curvas coordenadas.


b) Supóngase que α tiene torsión constante, y considérese la región simple R determinada por las
curvas coordenadas
R correspondientes a los valores s = 0, s = s0 , t = 0 y t = t0 , para t0 , s0 > 0.
Calcular S KdA.