Captulo 3

Aplicacion de Gauss. Curvaturas.

3.1. La aplicaci on de Gauss y el operador de Weingarten.
Sea S una supercie orientable y N: S S
2
un campo normal unitario, al que lla-
maremos aplicacion de Gauss. Siguiendo la misma idea que se uso para la denicion de
curvatura de una curva plana, podramos estudiar como se curva la supercie mirando la
variacion del plano tangente, o equivalentemente, la variacion de la aplicacion de Gauss.
Por ello consideramos su diferencial en un punto p S,
dN
p
: T
p
S T
N(p)
S
2
= N(p)

= T
p
S,
que es un endomorsmo de espacios vectoriales. Recordemos que en T
p
S tenamos una
estructura de espacio vectorial metrico eucldeo, dada por la primera forma fundamental
I
p
(v, w) = v, w, v, w T
p
S. Veamos que dN
p
tiene un buen comportamiento frente a
la primera forma fundamental.
Lema 3.1.1 En la situacion anterior, dN
p
es un endomorsmo autoadjunto de (T
p
S, I
p
).
Demostracion. Sea X = X(u, v): U R
2
R
3
una parametrizacion de S alrededor de p.
Entonces,
(N X)
v
, X
u
= (N X, X
u
)
v
N X, X
uv
= N X, X
uv

= N X, X
vu
= (N X, X
v
)
u
N X, X
vu
= (N X)
u
, X
v
.
Usando la regla de la cadena, deducimos que dN
X
(X
v
), X
u
= dN
X
(X
u
), X
v
. Por bili-
nealidad, ahora es trivial probar que dN
p
(v
1
), v
2
= dN
p
(v
2
), v
1
, v
1
, v
2
T
p
S. 2
Dos invariantes asociados a un endomorsmo de espacios vectoriales son la traza y
el determinante. Ademas, en el caso de endomorsmos diagonalizables (en particular, los
51
52 CAP

ITULO 3. APLICACI

ON DE GAUSS. CURVATURAS.
autoadjuntos) en dimension 2, caracterizan al endomorsmo. Estos dos invariantes tiene un
nombre especial en el caso de que el endomorsmo sea dN
p
y como es natural, gobiernan la
forma local de una supercie. Dedicaremos el resto de la asignatura a estudiar en que forma
lo hacen.
Denicion 3.1.1 Se denen la curvatura de Gauss y la curvatura media de S en p como
K(p) = det(dN
p
), H(p) =
1
2
Traza(dN
p
).
Claramente, la curvatura de Gauss no depende de la eleccion del normal unitario, por lo
que tiene sentido denirla para supercies no orientables. Por el contrario, la curvatura
media H depende de la eleccion de la aplicacion de Gauss, pero H
2
puede denirse sobre
supercies no orientables.
Denicion 3.1.2 En la situacion anterior, se dene el endomorsmo de Weingarten de
S en p asociado a la aplicacion de Gauss N como A
p
= dN
p
.
3.2. Segunda forma fundamental. Curvaturas.
En un espacio vectorial metrico eucldeo (V, , ), hay una biyeccion : / B entre el
conjunto / de endomorsmos autoadjuntos y el conjunto B de formas bilineales simetricas:
Dado f /, se dene (f) = g
f
B mediante
g
f
(x, y) = f(x), y, x, y V,
y dada g B, se dene f
g
=
1
(g) / como el unico endomorsmo de V que a cada
x V le asigna el vector f
g
(x) de V dado por
g(x, y) = f
g
(x), y, y V.
Volvamos a nuestra supercie S orientada por una aplicacion de Gauss N: S S
2
.
Aplicando lo anterior a (T
p
S, I
p
), el endomorsmo de Weingarten A
p
= dN
p
tiene una
forma bilineal simetrica asociada, que se llama la segunda forma fundamental de S en p:

p
(v, w) = [(A
p
)](v, w) = dN
p
(v), w, v, w T
p
S.
Como A
p
es un endomorsmo autoadjunto ha de ser ortogonalmente diagonalizable. A los
valores propios k
1
(p), k
2
(p) de A
p
se les llama curvaturas principales de S en p respecto
a la aplicacion de Gauss N. Cuando k
1
(p) ,= k
2
(p), entonces A
p
tiene dos subespacios
propios, cada uno con dimension 1. En este caso, a las direcciones propias de A
p
se les
3.2. SEGUNDA FORMA FUNDAMENTAL. CURVATURAS. 53
llama direcciones principales de S en p. Si e
1
, e
2
es una base de direcciones principales,
entonces
A
p
e
i
= dN
p
(e
i
) = k
i
(p)e
i
, i = 1, 2.
As,
K = k
1
k
2
, H =
1
2
(k
1
+k
2
),
y la ecuacion caracterstica queda
(3.1) k
2
i
2Hk
i
+K = 0,
para i = 1, 2. Como la anterior ecuacion de segundo grado tiene solucion, su discriminante
ha de ser mayor o igual a cero:
K H
2
,
con igualdad en p S si y solo si k
1
(p) = k
2
(p). En este caso, p se dice un punto umbilical
(en este caso dN
p
es un m ultiplo de la identidad y la segunda forma fundamental
p
en p
es un m ultiplo de la primera I
p
).
Un punto p S se dice elptico (resp. hiperbolico, llano) si K(p) > 0 (resp. K(p) < 0,
K(p) = 0). Dentro de los puntos llanos, se distinguen entre parabolicos (cuando
p
,= 0) y
planos (cuando
p
= 0).
Veamos algunos ejemplos.
1. En un plano afn R
3
la aplicacion de Gauss es constante, luego dN
p
= 0
p . Esto nos dice que k
1
= k
2
= K = H = 0 en . Como todos los puntos son
umbilicales, decimos que un plano afn es totalmente umbilical. Por tanto, todos los
puntos de son de tipo plano.
2. En una esfera S
2
(p
0
, r) de centro p
0
R
3
y radio r > 0 tenemos dos normales unita-
rios: N: S
2
(p
0
, r) S
2
, N
p
=
pp
0
r
y su opuesto. Con esta eleccion de aplicacion
de Gauss, el endomorsmo de Weingarten es A
p
v = dN
p
(v) =
1
r
v, v T
p
S
2
(p
0
, r)
luego k
1
= k
2
=
1
r
= H y K =
1
r
2
. Por tanto, S
2
(p
0
, r) tambien es una supercie
totalmente umbilical y todos sus puntos son elpticos.
3. En un cilindro C = p = (x, y, z) R
3
[ x
2
+ y
2
= r
2
, los normales unita-
rios son N: C S
2
, N
p
=
1
r
(x, y, 0) y su opuesto. Tomando esta aplicacion de
Gauss, el endomorsmo de Weingarten es A
p
v = dN
p
(v) =
1
r
(v
1
, v
2
, 0) para cual-
quier (v
1
, v
2
, 0) T
p
C. Notemos que (0, 0, 1), (y, x, 0) es base de T
p
C y que
A
p
(0, 0, 1) = 0, A
p
(y, x, 0) =
1
r
(y, x, 0), con lo que k
1
= 0, k
2
=
1
r
, H =
1
2r
y
K = 0. Todos los puntos de C son de tipo parabolico.
Las supercies con K = 0 se llaman llanas, y las que tienen H = 0 se dicen mnimas. Por
ejemplo, el plano y el cilindro son supercies llanas, mientas que el plano y la catenoide
54 CAP

ITULO 3. APLICACI

ON DE GAUSS. CURVATURAS.
(Ejercicio 1) son mnimas. En una supercie mnima no puede haber puntos de tipo elptico,
y sus puntos umbilicales coinciden con los puntos de tipo plano mientras que el resto son
puntos hiperbolicos.
Las unicas supercies llanas y mnimas a la vez son abiertos de planos anes (si H =
K = 0 entonces k
1
= k
2
= 0 luego dN
p
= 0 para todo p, suponiendo la supercie conexa,
esto nos lleva a que N es constante a S
2
, lo que implica facilmente que la supercie
esta contenida en un plano afn ortogonal a a). Notese que tambien hemos probado que si
una supercie tiene segunda forma fundamental identicamente nula, entonces es un abierto
de un plano afn.
Teorema 3.2.1 (Supercies totalmente umbilicales) Las unicas supercies conexas,
orientables y totalmente umbilicales son abiertos de planos anes y de esferas.
Demostracion. Sea la segunda forma fundamental de una supercie conexa, orientable
y totalmente umbilical S R
3
con respecto a una eleccion de su aplicacion de Gauss
N: S S
2
. Como S es totalmente umbilical, = , para cierta funcion : S R.
Veamos que es diferenciable: Tomemos un punto p S y una parametrizacion
X: U R
2
R
3
de S alrededor de p. As,
( X)|X
u
|
2
=
X
(X
u
, X
u
) = dN
X
(X
u
), X
u
= (N X)
u
, X
u
.
Como |X
u
|
2
no tiene ceros en U y |X
u
|
2
, (NX)
u
, X
u
son funciones diferenciables en
U, deducimos que es diferenciable en X(U). Por ser p arbitrario en S, sera diferenciable
en S.
Veamos ahora que es constante en S: Como = , en S, entonces dN
p
= 1
TpS
para todo p S. Volviendo a usar la parametrizacion anterior,
(N X)
u
= dN
X
(X
u
) = ( X)X
u
, (N X)
v
= dN
X
(X
v
) = ( X)X
v
en U. Derivando la primera ecuacion respecto a v y restando la derivada de la segunda
respecto a u nos queda
0 = ( X)
v
X
u
+ ( X)
u
X
v
.
Como X
u
, X
v
son linealmente independientes, deducimos que ( X)
u
= ( X)
v
= 0
en U. Tomando U conexo, sera constante en U. Ahora un argumento sencillo de conexion
de S nos lleva a que es constante en S.
Una vez que sabemos que es constante en S separamos dos casos: Si = 0, entonces
= 0 en S y habamos visto antes de este teorema que S es un abierto de un plano. Y
si R 0, denimos F : S R
3
por F(p) = p +
1

N
p
, diferenciable. Dado p S y
v T
p
S,
dF
p
(v) = v +
1

dN
p
(v) = v v = 0.
3.2. SEGUNDA FORMA FUNDAMENTAL. CURVATURAS. 55
Como p S, v T
p
S son arbitrarios y S es conexa, F es sera una constante p
0
R
3
. Esto
nos dice que S esta contenida en una esfera centrada en p
0
de radio 1/[[. 2
A continuacion estudiaremos el comportamiento local de una supercie alrededor de
un punto elptico o hiperbolico. Para ello nos basaremos en la nocion de hessiano de una
funcion diferenciable denida sobre una supercie, en un punto crtico. Este concepto es
una extension a supercies del correspondiente para funciones diferenciables en el plano,
y nos permitira estudiar los extremos locales de dicha funcion.
Denicion 3.2.1 Sea f : S R una funcion diferenciable denida sobre una supercie
S R
3
. Si p
0
S es un punto crtico de f, se dene el hessiano de f en p
0
como la
aplicacion (
2
f)
p
0
: T
p
0
S R dada por
(
2
f)
p
0
(v) =
d
2
dt
2

t=0
(f )(t),
donde : (, ) S es cualquier curva diferenciable con (0) = p y

(0) = v.
Para que la denicion anterior tenga sentido debemos probar que no depende de la curva
elegida para representar al vector v. Supongamos que X: U R
2
R
3
es una para-
metrizacion de S alrededor de X(0, 0) = p. Como X
u
(0, 0), X
v
(0, 0) es base, tendremos
v = aX
u
+ bX
v
para a = u

(0), b = v

(0) R (omitimos el punto (0, 0) en lo que sigue).

Ademas, la curva anterior se escribira (t) = X(u(t), v(t)) donde t (u(t), v(t)) es una
curva diferenciable valuada en U. Entonces,
d
2
dt
2

t=0
(f )(t) =
d
2
dt
2

t=0
(f X)(u(t), v(t)) =
d
dt

t=0
_
(f X)
u
u

(t) + (f X)
v
v

(t)
_
=
_
(f X)
uu
u

(0) + (f X)
uv
v

(0)

(0) + (f X)
u
u

(0)
+
_
(f X)
vu
u

(0) + (f X)
vv
v

(0)

(0) + (f X)
v
v

(0).
En cada una de las dos ultimas lneas, el ultimo sumando vale cero porque p es punto
crtico de f, luego queda
d
2
dt
2

t=0
(f )(t) = (f X)
uu
u

(0)
2
+ 2(f X)
uv
u

(0) v

(0) + (f X)
vv
v

(0)
2
= (a, b)
_
(f X)
uu
(f X)
uv
(f X)
uv
(f X)
vv
__
a
b
_
=
_
Hess
(0,0)
(f X)

(a, b),
donde Hess
(0,0)
(f X) es el hessiano del Analisis de la aplicacion diferenciable f X en
el punto (0, 0). En particular,
d
2
dt
2

t=0
(f )(t) no depende de y
_
Hess
(0,0)
(f X)

(a, b)
no depende de X.
El desarrollo anterior tambien prueba que (
2
f)
p
0
es una forma cuadratica sobre T
p
0
S,
y podemos trasladar directamente propiedades sobre extremos locales de funciones.
56 CAP

ITULO 3. APLICACI

ON DE GAUSS. CURVATURAS.
Lema 3.2.1 Sea f : S R una funcion diferenciable denida sobre una supercie S
R
3
, y p
0
S un punto crtico de f.
1. Si p
0
es un maximo (resp. mnimo) local de f, entonces la forma cuadr atica (
2
f)
p
0
es semidenida negativa (resp. positiva).
2. Si (
2
f)
p
0
es denida negativa (resp. positiva), entonces p
0
es un m aximo (resp.
mnimo) local de f.
Ahora estudiaremos el hessiano de dos funciones denidas sobre cualquier supercie, que
contienen importante informacion geometrica de la misma. En primer lugar, consideramos
un punto p
0
de una supercie S R
3
y el plano tangente afn en p
0
, cuya ecuacion es
p p
0
, N(p
0
) = 0, donde N una aplicacion de Gauss de S. Consideramos la funcion
altura h: S R respecto a dicho plano afn,
h(p) = p p
0
, N(p
0
), p S.
Entonces, se cumple h(p
0
) = 0, p
0
es un punto crtico de h (porque dh
p
0
(v) = v, N(p
0
) =
0, v T
p
0
S) y dado v T
p
0
S,
(
2
h)
p
0
(v) =
d
2
dt
2

t=0
(t) p
0
, N(p
0
) =
d
dt

t=0

(t), N(p
0
)
(3.2) =

(0), N(p
0
) =

(0), dN
p
(

(0)) =
p
0
(v, v),
donde : (, ) S es una curva diferenciable tal que (0) = p
0
,

(0) = v.
A continuacion consideramos el la funcion cuadrado de la distancia a un punto q
0
R
3
,
f : S R dada por
f(p) = |p q
0
|
2
, p S.
Si un punto p
0
S es crtico para f, entonces 0 = df
p
0
(v) = 2v, p
0
q
0
para todo v T
p
S
luego p
0
q
0
es perpendicular a T
p
0
S, es decir p
0
q
0
= N
p
0
para cierto R y en este
caso,
(
2
f)
p
0
(v) =
d
2
dt
2

t=0
|(t) q
0
|
2
= 2
d
dt

t=0

(t), (t) q
0

= 2
_

(0), (0) q
0
+|

(0)|
2
_
= 2
_

(0), N
p
0
+|v|
2
_
(3.3) = 2
_

(0), dN
p
(

(0)) +|v|
2
_
= 2
_
|v|
2
+
p
0
(v, v)
_
Ahora podemos particularizar el Lema 3.2.1 a las dos funciones anteriores. La infor-
macion geometrica obtenida es la siguiente:
3.2. SEGUNDA FORMA FUNDAMENTAL. CURVATURAS. 57
Figura 3.1: Izquierda: punto elptico. Derecha: punto hiperbolico.
Proposicion 3.2.1 Sea p
0
un punto de una supercie S R
3
.
1. Si p
0
es elptico, entonces existe una esfera S
2
(q
0
, R) tangente a S en p
0
tal que
B(q
0
, R) S es un entorno de p
0
en S. En particular, existe un entorno de p
0
en
S que esta contenido en uno de los dos semiespacios cerrados en los que el plano
p
0
+ T
p
0
S divide a R
3
, y el unico punto de contacto entre ese entorno y p
0
+ T
p
0
S
es p
0
.
2. Si p
0
es hiperbolico, entonces en cualquier entorno de p
0
en S hay puntos en ambos
semiespacios, ver Figura 3.1.
Demostracion. 1. Tomemos una aplicacion de Gauss N para S en un entorno de p
0
. Como
p
0
es elptico, podemos elegir N de forma que las curvaturas principales k
1
, k
2
en p
0
son
ambas positivas. Sea e
1
, e
2
una base ortonormal de direcciones principales en p
0
(en rigor,
para hablar de direcciones principales necesitamos que p
0
no sea un punto umbilical; si
p
0
es umbilical, entonces k
1
= k
2
tambien pueden tomarse positivas y elegimos cualquier
base ortonormal de T
p
0
S). Sea R 0 a determinar y q
0
:= p
0
+N
p
0
. Entonces, la
funcion distancia al cuadrado a q
0
, f(p) = |p q
0
|
2
, tiene un punto crtico en p
0
y (3.3)
nos dice que la forma bilineal simetrica asociada a (
2
f)
p
0
es
(
2
f)
p
0
(v, w) = 2 (v, w
p
0
(v, w)) , v, w T
p
0
S,
cuya matriz respecto a la base ortonormal e
1
, e
2
es
(3.4) 2
_
1 k
1
0
0 1 k
2
_
.
As, tomando > 0 sucientemente grande como para que 1k
i
< 0, i = 1, 2, tendremos
que (
2
f)
p
0
es denido negativo luego f tiene un maximo local estricto en p
0
. A partir
58 CAP

ITULO 3. APLICACI

ON DE GAUSS. CURVATURAS.
de aqu, la primera frase del apartado 1 se obtiene tomando R = . La segunda frase del
apartado 1 se deduce inmediatamente de la primera.
2. Razonando por reduccion al absurdo, supongamos que en cierto entorno de p
0
, la
supercie S se queda a un lado del plano tangente afn en p
0
. Tomemos un sistema de
referencia en R
3
con origen p
0
, de forma que el plano tangente afn a S en p
0
=

0 es z = 0
y nuestra supercie S se queda localmente entorno al origen en el semiespacio z 0. Sea
a = (0, 0, 1) y h: S R la funcion altura respecto a a, h(p) = p, a. As, p
0
es un mnimo
local (no necesariamente estricto) para h luego el hessiano (
2
h)
p
0
es semidenido positivo
sobre T
p
0
S = z = 0. Elegimos una aplicacion de Gauss N para S en un entorno de
p
0
, de forma que N
p
0
= a. As, (3.2) nos dice que
p
0
(v, v) = (
2
h)
p
0
(v) 0 v T
p
0
S,
de donde la curvatura the Gauss en p
0
es no negativa, contradiccion con que el punto sea
hiperbolico. 2
En el apartado 1 de la ultima demostracion vimos que si un punto p
0
S es elptico,
entonces existe un punto q
0
R
3
p
0
tal que la funcion distancia al cuadrado a q
0
tiene
un maximo local en p
0
. Veamos que el recproco es tambien cierto:
Supongamos que p
0
S es un maximo local de f : S R, f(p) = |p q
0
|
2
, para
alg un q
0
R
3
p
0
. Por ser p
0
punto crtico de f, tenemos que p
0
q
0
lleva la direccion
normal a S en p
0
o equivalentemente, podemos elegir una aplicacion de Gauss N para S
alrededor de p
0
de forma que p
0
q
0
= N
p
0
para cierto R0. Como p
0
es maximo
local de f, el hessiano (
2
f)
p
0
es semidenido negativo. Razonando como en el apartado
1 de la ultima demostracion, la matriz de la forma bilineal simetrica asociada a (
2
f)
p
0
respecto a una base ortonormal de direcciones principales
1
viene dada por
2
_
1 +k
1
0
0 1 +k
2
_
.
Por tanto, 1 + k
i
0, i = 1, 2, luego 1 (k
1
)(k
2
) =
2
K(p
0
) donde K es la
curvatura de Gauss de S. Esto nos dice que p
0
es un punto elptico.
Dos consecuencias inmediatas de esta caracterizacion de los puntos elpticos como los
maximos locales de funciones distancia al cuadrado son:
Corolario 3.2.1 Toda supercie compacta de R
3
tiene un punto elptico.
Demostracion. Sea q
0
R
3
S y f : S R la funcion distancia al cuadrado a p
0
. Como S
es compacta, f debe tener un maximo p
0
S. Por el desarrollo anterior al este corolario,
p
0
es un punto elptico. 2
Corolario 3.2.2 No hay supercies mnimas compactas en R
3
.
Demostracion. Si S R
3
es compacta, entonces existe un punto elptico p S. Como S
es mnima, las curvaturas principales en p son opuestas luego K(p) 0, contradiccion. 2
1
De nuevo tenemos que observar que si el punto p0 es umbilical para S, este paso puede darse.
3.3. LA APLICACI

ON DE GAUSS EN COORDENADAS LOCALES. 59

3.3. La aplicaci on de Gauss en coordenadas locales.
En esta seccion obtendremos una formulas utiles para calcular la aplicacion de Gauss,
la primera y segunda formas fundamentales y las curvaturas de Gauss y media de cualquier
supercie S R
3
, en terminos de una parametrizacion X: U R
2
R
3
de la misma.
Sabemos por (2.5) que
(3.5) N X =
X
u
X
v
|X
u
X
v
|
es una aplicacion de Gauss denida en X(U). Llamemos
_
E F
F G
_
,
_
e f
f g
_
a las matrices de la primera y segunda formas fundamentales respecto a la base X
u
, X
v
,
es decir:
(3.6) E = |X
u
|
2
, F = X
u
, X
v
, G = |X
v
|
2
.
(3.7)
e = (X
u
, X
u
) = (NX)
u
, X
u
= NX, X
uu
, f = NX, X
uv
, g = NX, X
vv
.
Proposicion 3.3.1 En la situaci on anterior, la curvatura de Gauss K y media H de S
vienen dadas por
(3.8) K X =
eg f
2
EGF
2
, H X =
Eg 2Ff +Ge
2(EGF
2
)
.
Demostracion. Sean v, w T
p
S, donde p X(U). Sean v
B
, w
B
R
2
las coordenadas de
v, w respecto a la base B = X
u
, X
v
. La igualdad
p
(v, w) = v, dN
p
(w) se escribe
matricialmente
v
B
M
B
(
p
) w
t
B
= v
B
M
B
(I
p
) M(dN
p
, B) w
t
B
,
donde M
B
(I
p
) =
_
E F
F G
_
, M
B
() =
_
e f
f g
_
son las matrices de la primera y segunda
forma fundamental respecto a B, y M(dN
p
, B) es la matriz de la diferencial de N en p
respecto a B. Como lo anterior es cierto para cualesquiera v
B
, w
B
R
2
, obtenemos
(3.9) M
B
(
p
) = M
B
(I
p
) M(dN
p
, B).
60 CAP

ITULO 3. APLICACI

ON DE GAUSS. CURVATURAS.
Por tanto,
K = det(dN
p
) = det
_

_
E F
F G
_
1

_
e f
f g
_
_
=
eg f
2
EGF
2
,
H =
1
2
traza(dN
p
) =
1
2
traza
_
_
E F
F G
_
1

_
e f
f g
_
_
=
1
2(EGF
2
)
_
Ge Ff Gf Fg
Ef Fe Eg Ff
_
=
Eg 2Ff +Ge
2(EGF
2
)
.
2
Como las funciones E, F, G, e, f, g son diferenciables, de la Proposicion 3.3.1 obtenemos
que K y H son tambien funciones diferenciables. Como las curvaturas principales vienen
dadas por
k
i
= H
_
H
2
K
(esto se deduce de resolver la ecuacion de segundo grado (3.1), deducimos que k
1
y k
2
son
funciones continuas en S, y diferenciables en S puntos umbilicales.
3.4. Curvatura normal y f ormula de Euler.
Sea p un punto de una supercie S R
3
y v T
p
S un vector unitario. Tomemos una
aplicacion de Gauss N para S (hacemos esto localmente alrededor de p, lo cual permite
tener siempre una aplicacion de Gauss aunque no sea global). Consideremos el plano afn

v
que pasa por p cuya variedad de direccion esta generada por v y N
p
, ver Figura 3.2):

v
= q R
3
[ q p, v N
p
= 0.
As,
v
[ v T
p
S, |v| = 1 es el haz de planos anes con base la recta normal a S en p.
Lema 3.4.1 En la situacion anterior, existe un abierto V de S conteniendo a p y una
curva diferenciable
v
: (, ) S con
v
(0) = p y

v
(0) = v, tal que V
v
= traza(
v
).
Demostracion. Por el Corolario 2.1.1, S localmente alrededor de p como imagen inversa
de un valor regular (que podemos suponer que es cero) por una funcion diferenciable
F : O R, donde O es un abierto de R
3
que contiene a p. Denimos f :
v
O R como
f = F[
vO
, que es diferenciable sobre el trozo de plano
v
O. Ademas p
v
O y
f(p) = F(p) = 0 y df
p
= (dF
p
)[
Tpv
. Si p fuera un punto crtico de f, entonces tendramos
T
p

v
ker(dF
p
) = T
p
S, lo cual es imposible porque S y
v
se cortan transversalmente.
3.4. CURVATURA NORMAL Y F

ORMULA DE EULER. 61
Figura 3.2:
v
es el plano de vertical en la gura.
Terminaremos la demostracion probando que existe una curva diferenciable : (, )
R
3
con valores en F
1
(0), con (0) = p y tal que parametriza F
1
(0)
v
=
f
1
(0) localmente alrededor de p. Para ello, tras aplicar un movimiento rgido en R
3
podemos suponer que p = 0 R
3
y que
v
= (x, y, z) [ z = 0, al que identicaremos con
R
2
. Nuestra funcion diferenciable f es ahora del tipo f : O
1
R, donde O
1
= Oz = 0
es un abierto de R
2
, y cumple f(0, 0) = 0, df
(0,0)
,= 0. Ademas, el conjunto de ceros de
f corresponde con los puntos del plano
v
R
2
que estan sobre la supercie S. Como
df
(0,0)
,= 0, podemos suponer f
y
(0, 0) ,= 0 luego por el teorema de la funcion implcita del
Analisis existe un abierto O
2
de R
2
con (0, 0) O
2
O
1
tal que el conjunto de ceros de
f en O
2
se parametriza de la forma
f
1
(0) O
2
= (x, g(x)) [ x (, ),
donde g : (, ) R
2
es una aplicacion diferenciable. Reparametrizando la curva (x) =
(x, g(x)) por el arco tendremos la curva que estabamos buscando. 2
Volviendo a la situacion que tenamos antes del Lema 3.4.1, podemos parametrizar por
el arco la curva
v
: (, ) S dada por el Lema 3.2.1 (eso no destruye la condicion

v
(0) = v porque |v| = 1). Sea
v
R la curvatura de
v
como curva plana, donde para
denirla debemos elegir una orientacion en el plano
v
; tomamos aquella que hace que la
base v, N
p
sea positiva. Entonces,
v
=

v
(0), N
p
. Derivando la igualdad

v
, N
v
=
0 en t = 0 se tiene
0 =

v
(0), N
p
+

v
(0), dN
p
(

v
(0) =
v
+v, dN
p
(v) =
v

p
(v, v),
de donde
p
(v, v) =
v
nos da una interpretacion geometrica de la segunda forma funda-
mental. A
p
(v, v) se le llama curvatura normal de S en la direccion de v.
A continuacion vamos a obtener la formula de Euler, que relaciona las curvaturas
principales con las curvaturas normales. Tomamos una base ortonormal e
1
, e
2
de T
p
S
62 CAP

ITULO 3. APLICACI

ON DE GAUSS. CURVATURAS.
con dN
p
(e
i
) = k
i
(p)e
i
, entonces

v
=
p
(v, v) =
p
_
_
2

i=1
v, e
i
e
i
,
2

j=1
v, e
j
e
j
_
_
=
2

i=1
v, e
i

p
(e
i
, e
i
)
= v, e
1

2
k
1
(p) +v, e
2

2
k
2
(p),
que es la formula de Euler
2
. De esta formula se deduce que si k
1
(p) k
2
(p), entonces
k
1
(p)
v
k
2
(p), v T
p
S, |v| = 1,
es decir, las curvaturas principales son el maximo y el mnimo de las curvaturas de las
secciones normales a S en p. En el caso de que p sea un punto umbilical, deducimos
que todas las curvaturas normales coinciden. Esto nos dice que en un punto umbilical, la
supercie se curva de identica forma en cada direccion tangente.
3.5. Teoremas de Hilbert, Jellet-Liebmann y Hilbert-Liebmann.
Los tres teoremas de esta seccion son de tipo global, y dependen de la continuidad de
las curvaturas principales de una supercie.
Teorema 3.5.1 (Hilbert) Sea S una supercie orientada y k
1
k
2
: S R las corres-
pondientes curvaturas principales. Supongamos que en un punto p
0
S se cumplen las
siguientes propiedades:
1. k
1
tiene un mnimo local en p
0
.
2. k
2
tiene un m aximo local en p
0
.
3. p
0
es un punto elptico.
Entonces, p
0
es un punto umbilical.
Demostracion. Por reduccion al absurdo, supongamos que p
0
no es umbilical, y por tanto
k
1
(p
0
) < k
2
(p
0
). As, tienen sentido las direcciones principales en p
0
. Tras un movimiento
rgido, podemos suponer que p
0
=

0 es el origen de R
3
, el plano tangente en p
0
es z = 0,
las direcciones principales son e
1
= (1, 0, 0), e
2
= (0, 1, 0) y el normal en p
0
es (0, 0, 1). Por
el Corolario 2.1.1, existe una parametrizacion X: U R
2
R
3
de S alrededor de p
0
de
2

Esta es una reformulaci on en lenguaje moderno del Teorema de Euler, generalizado mas tarde por
Meusnier: las curvaturas de las innitas secciones normales de una supercie en un punto dado no son
un conjunto arbitrario de n umeros, sino que toman los valores de un polinomio de segundo grado en dos
variables.
3.5. TEOREMAS DE HILBERT, JELLET-LIEBMANN Y HILBERT-LIEBMANN. 63
la forma X(u, v) = (u, v, h(u, v)), donde h: U R es cierta funcion diferenciable y U es
un abierto de R
2
que contiene a (0, 0). Por tanto,
h(0, 0) = h
u
(0, 0) = h
v
(0, 0) = 0.
Calculamos los coecientes de la segunda forma fundamental de S:
(3.10) e =
h
uu
_
1 +h
2
u
+h
2
v
, f =
h
uv
_
1 +h
2
u
+h
2
v
, g =
h
vv
_
1 +h
2
u
+h
2
v
.
Como X
u
(0, 0), X
v
(0, 0) son direcciones principales de S, (3.10) implica
(3.11) h
uu
(0, 0) = e(0, 0) =
p
0
(e
1
, e
1
) = k
1
(p
0
), h
uv
(0, 0) = 0, h
vv
(0, 0) = k
2
(p
0
).
Consideremos las curvas (u) = X(u, 0), (v) = X(0, v), y las curvas espaciales (valuadas
en la esfera unidad)
E
1
(v) =
1
|X
u
(0, v)|
X
u
(0, v), E
2
(u) =
1
|X
v
(u, 0)|
X
v
(u, 0).
As, E
1
(v) T
(v)
S y E
2
(u) T
(u)
S. Ahora denimos las funciones
h
1
(v) =
(v)
(E
1
(v), E
1
(v)) =
h
uu
(1 +h
2
u
)
_
1 +h
2
u
+h
2
v
(0, v),
h
2
(u) =
(u)
(E
2
(u), E
2
(u)) =
h
vv
(1 +h
2
v
)
_
1 +h
2
u
+h
2
v
(u, 0).
Usando la hipotesis 2 tenemos
h
2
(0) =
p
0
(e
2
, e
2
) = k
2
(p
0
) k
2
((u))
(u)
(E
2
(u), E
2
(u)) = h
2
(u).
De forma analoga, usando la hipotesis 1 deducimos
h
1
(0) =
p
0
(e
1
, e
1
) = k
1
(p
0
) k
1
((v))
(v)
(E
1
(v), E
1
(v)) = h
1
(v).
Por tanto, h
1
tiene un mnimo local en v = 0 y h
2
un maximo local en u = 0. De aqu se
deduce que
(3.12) h

2
(0) 0 h

1
(0).
Ahora derivamos en u en la denicion de h
2
, para obtener
h

2
(u) =
h
uvv
(1 +h
2
v
)
_
1 +h
2
u
+h
2
v

2h
v
h
uv
h
vv
(1 +h
2
v
)
2
_
1 +h
2
u
+h
2
v

h
vv
(h
u
h
uu
+h
v
h
uv
)
(1 +h
2
v
)(1 +h
2
u
+h
2
v
)
3/2
.
64 CAP

ITULO 3. APLICACI

ON DE GAUSS. CURVATURAS.
Derivando de nuevo, evaluando en u = 0 y usando que h
u
(0, 0) = h
v
(0, 0) = 0:
h

2
(0) = h
uuvv
(0, 0) h
vv
(0, 0)
_
3h
uv
(0, 0)
2
+h
uu
(0, 0)
2

.
Si ahora simplicamos usando (3.11) tendremos
(3.13) h

2
(0) = h
uuvv
(0, 0) k
2
(p
0
)k
1
(p
0
)
2
.
Razonando analogamente con h
1
se obtiene
(3.14) h

1
(0) = h
uuvv
(0, 0) k
1
(p
0
)k
2
(p
0
)
2
.
Ahora (3.12), (3.13) y (3.14) implican
0 h

2
(0) h

1
(0) = k
2
(p
0
)k
1
(p
0
)
2
+k
1
(p
0
)k
2
(p
0
)
2
= K(p
0
)[k
2
(p
0
) k
1
(p
0
)],
donde K(p
0
) es la curvatura de Gauss de S en p
0
, que es positiva por ser p
0
un punto
elptico. As, k
2
(p
0
) k
1
(p
0
), contradiccion. 2
Teorema 3.5.2 (Jellet-Liebmann) Sea S R
3
una supercie compacta y conexa con
curvatura media constante y curvatura de Gauss positiva. Entonces, S es una esfera.
Demostracion. Sea H R la curvatura media de S. H no puede ser cero, porque la
supercie es compacta. Ademas S es orientable por ser compacta en R
3
. Consideremos
una aplicacion de Gauss para S, y sean k
1
k
2
: S R las curvaturas principales de S
respecto a esta. Como k
1
es continua y S es compacta, existe p
0
S donde k
1
alcanza su
mnimo. Como k
2
= 2H k
1
y H es constante, deducimos que k
2
alcanza un maximo en
p
0
. Por tanto podemos aplicar el Teorema de Hilbert para concluir que p
0
es umbilical.
Tomemos ahora cualquier punto p S. Entonces,
k
2
(p) k
2
(p
0
) = k
1
(p
0
) k
1
(p),
luego k
1
(p) = k
2
(p), es decir p es tambien umbilical. Esto prueba que S es totalmente
umbilical, luego es una esfera por ser compacta. 2
Teorema 3.5.3 (Hilbert-Liebmann) Sea S R
3
una supercie compacta y conexa
con curvatura de Gauss constante. Entonces, S es una esfera.
Demostracion. Sea K R la curvatura de Gauss de S. Por ser S compacta admite un
punto elptico (luego K > 0) y S es orientable. Consideremos una aplicacion de Gauss
para S, y sean k
1
k
2
: S R las curvaturas principales de S respecto a esta. Como k
1
es continua y S es compacta, existe p
0
S donde k
1
alcanza su mnimo. Como K = k
1
k
2
es una constante positiva, deducimos que k
2
alcanza un maximo en p
0
. Ahora se termina
igual que en la demostracion del Teorema de Jellet-Liebmann. 2
3.6. EJERCICIOS. 65
3.6. Ejercicios.
1. Probar que la curvatura de Gauss, la curvatura media y las curvaturas principales de la
catenoide (x, y, z) R
3
[ x
2
+y
2
= cosh
2
z son
K(x, y, z) =
1
cosh
4
z
, H = 0, k
1
(x, y, z) = k
2
(x, y, z) =
1
cosh
2
z
.
2. Probar que la curvatura de Gauss y la curvatura media del paraboloide elptico (x, y, z)
R
3
[ x
2
+y
2
= 2z vienen dadas por
K(x, y, z) =
1
(1 + 2z)
2
, H
2
(x, y, z) =
(1 +z)
2
(1 + 2z)
3
.
Concluir que todos sus puntos son de tipo elptico.
3. Sea A O(3), b R
3
y : R
3
R
3
el movimiento rgido (p) = Ap + b. Si S R
3
es una supercie

S = (S), probar que las curvaturas de Gauss y media de S y

S estan
relacionadas por

K = K,

H = H.
4. Sea S = S(B, b, c) = p R
3
[ Bp, p + 2b, p + c = 0 la cuadrica denida en el
Ejercicio 2 del tema anterior, donde B /
3
(R) es una matriz simetrica no nula, b R
3
y c R. Demostrar que
N
p
=
Bp +b
|Bp +b|
, p S,
es una aplicacion de Gauss en S, y que la segunda forma fundamental asociada es

p
(v, v) =
1
|Bp +b|
Bv, v, p S, v T
p
S.
Concluir que un elipsoide tiene curvatura de Gauss positiva en todos sus puntos.
5. Sea a > 0. Consideremos la parametrizacion global (u, v) R
2
X(u, v) = (v cos u,
v sin u, au) del helicoide S = (x, y, z) [ xsin(z/a) = y cos(z/a). Probar que S es una
supercie mnima, y que la curvatura de Gauss de S viene dada por
K X =
a
2
(a
2
+v
2
)v
2
.
En particular, el helicoide no tiene puntos umbilicales y su aplicacion de Gauss N es un
difeomorsmo local. Es N un difeomorsmo?
66 CAP

ITULO 3. APLICACI

ON DE GAUSS. CURVATURAS.
6. Sea S = (x, y, f(x, y)) [ (x, y) U el grafo de una funcion diferenciable f : U R,
donde U es un abierto de R
2
. Probar que
N =
1
_
1 +f
2
x
+f
2
y
(f
x
, f
y
, 1)
es una aplicacion de Gauss para S, que su curvatura de Gauss es
K =
f
xx
f
yy
f
2
xy
(1 +f
2
x
+f
2
y
)
2
,
y que la curvatura media respecto a N es
H =
(1 +f
2
y
)f
xx
2f
x
f
y
f
xy
+ (1 +f
2
x
)f
yy
2(1 +f
2
x
+f
2
y
)
3/2
.
7. Probar que la curvatura de Gauss del paraboloide hiperbolico S = (x, y, z) [ z = x
2
y
2

es
K =
4
1 + 4x
2
+ 4y
2
.
Concluir que todos los puntos de S son hiperbolicos.
8. Calcular la curvatura de Gauss de un toro de revolucion. Estudiar que puntos del toro
son elpticos, hiperbolicos y llanos.
9. Consideremos una curva regular : I (x, y, z) [ x = 0, (u) = (0, y(u), z(u)),
donde y(u) > 0 para todo u I. Sea X: I (0, 2) R
3
la parametrizacion de la
supercie de revolucion S obtenida al girar alrededor del eje OZ. Demostrar que las
curvaturas de Gauss y media de S viene dadas por
K(X(u, v)) =
z

(u)(y

(u)z

(u) y

(u)z

(u))
y(u)(y

(u)
2
+z

(u)
2
)
2
=
z

(u)
y(u)

(u)
|

(u)|
,
H(X(u, v)) =
y(u)(y

(u)z

(u) y

(u)z

(u)) +z

(u)(y

(u)
2
+z

(u)
2
)
2y(u)(y

(u)
2
+z

(u)
2
)
3/2
=
z

(u)
2y(u)
1
|

(u)|
+

(u)
2
,
donde

es la curvatura de como curva plana. Concluir que las supercies de revolu-

cion llanas, esto es, con K = 0, son abiertos de planos, cilindros o conos. Probar tambien
que las supercies de revolucion mnimas son abiertos de planos o de catenoides.
3.6. EJERCICIOS. 67
10. Sea : R
3
R
3
, (p) = p, la homotecia de razon > 0. Demostrar que es un
difeomorsmo de R
3
en s mismo, que su inversa es la homotecia de razon 1/ y que
la diferencial d
p
conserva los angulos entre vectores. Probar que si S es una supercie
de R
3
, entonces

S = (S) es una supercie difeomorfa a S y que sus curvaturas estan
relacionadas por

K =
1

2
K,

H =
1

H.
11. Sea : R
3
0 R
3
0, (p) =
p
p
2
, la inversion centrada en el origen. Demostrar
que es un difeomorsmo de R
3
0 en s mismo, que su inversa es la propia y que
la diferencial d
p
viene dada por
d
p
(v) =
v
|p|
2
2
p, v
|p|
4
p, v R
3
.
Deducir que conserva d
p
conserva los angulos entre vectores. Probar que si S es una
supercie contenida en R
3
0, entonces

S = (S) es una supercie difeomorfa a S.
Supongamos que S es orientable y que N es una una aplicacion de Gauss de S. Probar
que

N
(p)
= N
p
2
N
p
, p
|p|
2
p, p S,
es una aplicacion de Gauss de

S, y que las curvaturas de Gauss y media de S,

S (respecto
a N,

N) estan relacionadas por

K((p)) = |p|
4
K(p) + 4|p|
2
N
p
, pH(p) + 4N
p
, p
2
,

H((p)) = |p|
2
H(p) + 2N
p
, p.
Deducir que las inversiones conservan puntos umbilicales.
12. Sea S una supercie conexa y orientable y N: S S
2
una aplicacion de Gauss. Dado
p
0
R
3
, se dene la funcion soporte de S con base p
0
como
f : S R, f(p) = N
p
, p p
0
.
(A) Probar que en una esfera, la funcion soporte con base en su centro es constante.
(B) Supongamos que existe p
0
R
3
tal que la funcion soporte de S con base p
0
es
constante, y que la supercie S no es llana. Probar que S es un abierto de una
esfera centrada en p
0
.
13. Sea S R
3
una supercie compacta y conexa que admite una funcion soporte constante.
Probar que S es una esfera.
68 CAP

ITULO 3. APLICACI

ON DE GAUSS. CURVATURAS.
14. Sea S una supercie compacta y orientada. Probar que la aplicacion de Gauss de S es
un difeomorsmo local si y solo si la curvatura de Gauss de S es positiva.
15. Sea un plano vectorial de R
3
y : I una curva regular que es un homeomorsmo
sobre su imagen. Dado un vector unitario a R
3
que sea normal a , denimos X: I
R R
3
por
X(t, s) = (t) +sa, t I, s R.
A la supercie S = X(I R) se le llama cilindro recto con directriz (I). Probar que
S es una supercie llana y calcular la curvatura media de S.
16. Sea S R
3
una supercie compacta, contenida en una bola de radio r > 0. Probar que
existe un punto p S tal que K(p)
1
r
2
y [H(p)[
1
r
.
17. Supongamos que una supercie S y un plano afn son tangentes a lo largo de una
curva regular. Probar que todos los puntos de la traza de esta curva son llanos.
18. Probar que si una supercie contiene una lnea recta, entonces la curvatura de Gauss de
la supercie es no negativa a lo largo de la recta.
19. Sea p un punto en una supercie S R
3
. Probar que la suma de las curvaturas normales
en cualquier par de direcciones tangentes en p ortogonales es constante.
20. Lneas de curvatura, direcciones asint oticas, Indicatriz de Dupin y di-
recciones conjugadas.
Sea S R
3
una supercie.
(A) Una curva C S se dice una lnea de curvatura si puede parametrizarse por una
curva regular : I R S de forma que

(t) dene una direccion principal en

(t), para todo t I. Probar que una curva regular : I R S es una lnea
de curvatura si y solo si
(N )

(t) = (t)

(t), I
donde : I R es una funcion diferenciable. En este caso, (t) es una curvatura
principal en el punto (t) (Teorema de Olinde Rodrigues).
(B) Una direcci on asintotica de S en un punto p S es una direccion en T
p
S para
la que la curvatura normal es cero. Una curva asintotica es una curva regular
: I R S tal que

(t) dene una direccion asintotica en (t) para cada

t I. Probar que
(B.1) Si p S es un punto elptico, entonces no hay direcciones asintoticas en p.
(B.2) Si p es un punto parabolico, entonces existe una unica direccion asintotica
en p, y coincide con una de las direcciones principales en p.
3.6. EJERCICIOS. 69
(B.3) Si p es un punto de tipo plano, entonces todas las direcciones de T
p
S son
asintoticas.
(B.4) Si p es un punto hiperbolico, entonces existen exactamente dos direcciones
asintoticas en p, cuyas bisectrices en T
p
S son las direcciones principales.
(B.5) Si S es mnima, entonces las direcciones asintoticas en cualquier punto no
llano son ortogonales.
(C) Dado p S, se dene la indicatriz de Dupin en p como
T(p) = v T
p
S [
p
(v, v) = 1.
Probar que
(C.1) Si p S es un punto de tipo plano, entonces T(p) = .
(C.2) Si p es un punto umbilical no llano, entonces T(p) es una circunferencia
centrada en el origen de T
p
S.
(C.3) Supongamos que p S no es un punto umbilical. Sea B = e
1
, e
2
una
base ortonormal de direcciones principales en p, con curvaturas principales
asociadas k
1
, k
2
R. Dado v T
p
S, sean (a, b)
B
R
2
las coordenadas de v
respecto a B, es decir v = ae
1
+be
2
. Probar que
T(p) = (a, b)
B
R
2
[ k
1
a
2
+k
2
b
2
= 1,
que es una conica en el plano (a, b). Esta conica puede ser de tres tipos:
Si p es un punto elptico, entonces T(p) es una elipse con semiejes 1/
_
[k
1
[,
1/
_
[k
2
[ apuntando en las direcciones principales en p.
Si p es un punto parabolico, entonces T(p) es un par de rectas paralelas
a una de las direcciones principales en p, a distancia del origen 1/
_
[k[,
donde k es la curvatura principal no nula en p.
Si p es un punto hiperbolico, entonces T(p) es una pareja de hiperbolas
que cortan a los ejes dados por las direcciones principales en los puntos
(1/

k
2
, 0)
B
, (0, 1/

k
1
)
B
(hemos ordenado las curvaturas princi-
pales en p de forma que k
1
< 0 < k
2
), de forma que esta hiperbolas son
asintoticas a las direcciones asintoticas de T
p
S (de aqu el nombre de direc-
ciones asintoticas, recordemos que en este caso las direcciones asintoticas
forman angulos cuyas bisectrices son los ejes e
1
= OX, e
2
= OY dados por
las direcciones principales).
(D) Dado p S, dos vectores v, w T
p
W 0 se denen direcciones conjugadas
si
p
(v, w) = 0 (claramente, esto no depende de los vectores v, w sino solo de sus
direcciones). Probar que
(D.1) En un punto de tipo plano, todo par de direcciones son conjugadas.
70 CAP

ITULO 3. APLICACI

ON DE GAUSS. CURVATURAS.
(D.2) En un punto umbilical no llano, todo par de direcciones ortogonales son
conjugadas.
(D.3) Las direcciones principales en p son direcciones conjugadas.
(D.4) Las direcciones asintoticas son conjugadas de s mismas.
21. Variaci on paralela. Sea S una supercie orientable y N: S S
2
una aplicacion
de Gauss. Dado r > 0, consideramos la aplicacion F
r
: S R
3
dada por
F
r
(p) = p +rN
p
, p S.
Supongamos que F
r
(S) es una supercie (llamada supercie paralela) y que para cada
r (0, ), F
r
: S S
r
es un difeomorsmo, para cierto > 0. Fijemos r (0, ).
(A) Sea p S y e
1
, e
2
T
p
S vectores unitarios y ortogonales tales que dN
p
(e
i
) =
k
i
(p)e
i
, i = 1, 2 (es decir, k
1
(p), k
2
(p) son las curvaturas principales en p).
Demostrar que (dF
r
)
p
(e
i
) = (1rk
i
(p))e
i
, 1rk
i
(p) > 0 y 12rH(p)+r
2
K(p) >
0.
(B) Probar que el plano tangente a S en p S coincide con el plano tangente a F
r
(S)
en F
r
(p), y que existe una aplicacion de Gauss N

para F
r
(S) tal que N

F
r
= N.
(C) Probar que la recta normal afn a S en p S coincide con la recta normal afn a
F
r
(S) en F
r
(p).
(D) Probar que las curvaturas principales de S en p S y de F
r
(S) en F
r
(p) estan
relacionados por
k

i
(F
r
(p)) =
k
i
(p)
1 rk
i
(p)
, i = 1, 2,
y que las direcciones principales coinciden.
Demostrar que las curvaturas de Gauss y media de S y F
r
(S) se relacionan mediante
K

F
r
=
K
1 2rH +r
2
K
, H

F
r
=
H rK
1 2rH +r
2
K
.
(E) Supongamos que S tiene curvatura media constante H =
1
2r
. Demostrar que K no
tiene ceros en S y que F
r
(S) tiene curvatura de Gauss constante K

=
1
r
2
.
22. Sea S una supercie orientable, conexa y con curvaturas principales constantes. Probar
que si S tiene un punto elptico, entonces S es un abierto de una esfera.
23. Sea S R
3
una supercie compacta y conexa, con curvatura de Gauss positiva. Si H/K
es constante, probar que S es una esfera.
24. Sea S R
3
una supercie compacta y conexa, con curvatura de Gauss positiva. Si una
curvatura principal de S es constante, probar que S es una esfera.
3.6. EJERCICIOS. 71
25. Comparaci on de superficies en un punto.
Sean S
1
, S
2
dos supercies orientables tangentes en un punto com un p. Tomemos apli-
caciones de Gauss N
i
en S
i
, i = 1, 2, tales que (N
1
)
p
= (N
2
)
p
. As, podemos ex-
presar S
1
, S
2
localmente como grafos de funciones diferenciables f
1
, f
2
denidas en un
abierto de T
p
S
1
= T
p
S
2
que contiene al origen. Ademas, salvo un giro y una trasla-
cionsupondremos que p =

0 R
3
, T
p
S
i
= z = 0 y (N
1
)
p
= (N
2
)
p
= (0, 0, 1).
Decimos que S
1
esta por encima de S
2
alrededor de p si existe un entorno del origen
en T
p
S
1
tal que f
1
f
2
en dicho entorno.
(A) Probar que si S
1
esta por encima de S
2
alrededor de p, entonces las segundas formas
fundamentales de S
1
, S
2
respecto a N
1
, N
2
cumplen (
1
)
p
(v, v) (
2
)
p
(v, v) para
todo v T
p
S
1
. En particular, las curvaturas medias cumplen H
1
(p) H
2
(p).
(B) Demostrar que si (
1
)
p
(v, v) > (
2
)
p
(v, v) para todo v T
p
S
1
0, entonces S
1
esta por encima de S
2
alrededor de p.
26. Sea S un grafo sobre un disco de radio r > 0 en R
2
. Probar que si la curvatura media
H de S cumple H a para un a > 0, entonces ar 1.
27. Consideremos el elipsoide de ecuacion
x
2
a
2
+
y
2
b
2
+
z
2
c
2
= 1, donde 0 < a < b < c.
(A) Sean
F : R
3
R, F(x, y, z) =
x
2
a
2
+
y
2
b
2
+
z
2
c
2
,
: S R
3
, (x, y, z) =
_
x
2
a
2
,
y
2
b
2
,
z
2
c
2
_
,
h = |F|/2: S R
(F es el gradiente de F). Probar que N =

h
es una aplicacion de Gauss para S.
(B) Sea p S. Demostrar que p es umbilical si y solo si det(d
p
(v), (p), v) = 0 para
todo v (p)

.
(C) Consideremos la forma bilineal simetrica Q: R
3
R
3
R dada por Q(v, w) =
v
t
A w, donde
A =
_
_
0 (a
2
b
2
)z (c
2
a
2
)y
(a
2
b
2
)z 0 (b
2
c
2
)x
(c
2
a
2
)y (b
2
c
2
)x 0
_
_
.
Demostrar que p es umbilical si y solo si Q(v, v) = 0, para todo v (p)

.
(D) Probar que si p S es umbilical, entonces det(A) = 0 y por tanto una de las
coordenadas de p es cero.
(E) Deducir que los puntos umbilicales del elipsoide S se reducen a los siguientes cuatro:
_
a
_
b
2
a
2
c
2
a
2
, 0, c
_
c
2
b
2
c
2
a
2
_
.
72 CAP

ITULO 3. APLICACI

ON DE GAUSS. CURVATURAS.