1.

Curvaturas Principales
Como toda aplicacin lineal, la aplicacin de Weingarten en un punto posee determinante (Curvatura de Gauss) y traza (Curvatura Media). Por ser autoadjunta, posee una base ortonormal de autovectores. Las direcciones de esta base son nicas si y slo si si los dos autovalores (curvaturas principales)

2. Geodsicas
Una curva en una superficie se dice geodsica si su aceleracin es normal a la superficie. Esta nocin generaliza la de tener aceleracin nula, propiedad que puede resultar incompatible con la de estar sobre una superficie dada. (A) Sea una superficie. Se dice que una curva regular : define una lnea de curvatura de (respectivamente, una lnea asinttica de M) si su velocidad define siempre una direccin principal (respectivamente, una direccin asinttica). En ambos casos se trata de propiedades de las trayectorias (lneas) de las curvas y no de las curvas (regulares) mismas. Se sigue de la definicin de direccin principal que una curva regular : define una lnea de curvatura si y slo si, para cualquier eleccin (local) de normal unitaria v, se verifica: () ( ) = = , = (Sistema de ecuaciones diferenciales d 1er orden en las componentes de la velocidad de ), donde la funcin : da lugar, en cada , a un autovalor (curvatura principal) de () . Este resultado se conoce como teorema de Olinde-Rodrigues. Similarmente, se sigue de la definicin de direccin asinttica que una curva regular : define una lnea asinttica si y slo si, para cualquier eleccin (local) de normal unitaria , se verifica: () ( ) 0 =< , > < , > = < , >< , >=0 (Ecuacin diferencial de 1er orden en las componentes de la velocidad de ).

(B) Se dice que una curva : es un geodsica (de ) si su aceleracin normal a . Si : es una geodsica, entonces se tiene:
< ,>

es

= 2 < , > = 0, || = .

Es importante sealar que el carcter de geodsica es una propiedad de la curva y no slo de la trayectoria. Observacin. Sea : una curva con || constante. Si no es una geodsica de , ninguna reparametrizacin de puede serlo. En efecto: Sea : un difeomorfismo. Para que : sea geodsica de , debe ser |()| = , y por ser || = , se deduce de la proposicin

2 2

= 0.

Pero en tal caso, se deduce de la proposicin: () = ( )2 ( ). Con lo que, si no es paralela a , tampoco () puede ser paralela a . Ejemplo Cualquier curva regular en un plano define una lnea de curvatura y asinttica. Cualquier curva regular en una esfera define una lnea de curvatura; la esfera no posee asintticas. Todas las curvas con (norma de la) velocidad constante cuyas imgenes son rectas en el plano, hlices (tambin rectas o circunferencias) en el cilindro o crculos mximos en la esfera son geodsicas; probar que todas las geodsicas en estas superficies son de esa forma requiere esperar. En la superficie , siendo: () + () 3 : (, ) () + Y la carta (, 1 = (, )) definida en el mismo, se tiene que, para cada , la curva () + () : (, ) () + Verifica: () ()) () () = ( Entonces: () + ()) () = ( )() () = ( () + (), con lo que (Utilizando la normal con parte vectorial (, ) es geodsica de . Por otra parte: () ( ())
()

1 = ()

( ) () ()) () () = (

Con lo que define una lnea de curvatura de .

Direcciones asintticas La curvatura normal de una superficie (orientada) en un punto toma todos los valores que se encuentran entre los dos autovalores de la aplicacin de Weingarten en dicho punto. Sean (, ) una superficie orientada y 1 , 2 sus curvaturas principales (elegimos la notacin de manera que la funcin 1 sea siempre mayor o igual que la funcin 2 ). Sean y (1 , 2 ) una base adaptada de . Un vector genrico se puede escribir: = || ( 1 + 2 ), para cierto [0,2). Entonces la curvatura normal de (, ) en la direccin de verifica: () 1 1 < , > = 2 < , > = 1 ()cos2 + 2 ()2 2 || ||

La frmula que acabamos de obtener (llamada frmula de Euler) muestra que los valores de la curvatura normal de (, ) en son una combinacin afn y convexa (ya que 2 0, 2 0 y su suma es uno) de las curvaturas principales 1 () 2 () en . Al entre 0 y 2, obtenemos todos los valores del intervalo [1 (), 2 ()] en particular 1 () para = 0 ( ) y 2 () para = 2 ( 3/2). De esta forma conclusiones que las curvaturas principales 1 () 2 () son los valores mximo y mnimo, respectivamente, de la curvatura normal de (, ) en . Se dice que un vector tangente (no nulo) define una direccin asinttica Si < , > = 0, lo que equivale a decir que la curvatura normal () de (, ) en la direccin de es nula. Entonces el punto es: En efecto: A la vista de: () 1 1 < , > = 2 < , > = 1 ()cos2 + 2 ()2 2 || || Hiperblico si y slo si posee exactamente dos direcciones asintticas distintas. Parablico si y slo si posee una nica direccin asintticas. Elptico si y slo si no posee direcciones asintticas. Plano si y slo si todas las direcciones de son asintticas.

Las direcciones asintticas en aparecen siempre por parejas, formando ngulos 0 [0, /2] y 0 con la direccin principal 1 . Condiciones necesarias: si es hiperblico (1 () > 0 > 2 ()), resulta 0 = (0,/2) 1 ()/2 () y posee dos direcciones asintticas; si es parablico, resulta 0 = 0 ( 1 () = 0 > 2 ()) 0 =
2

( 1 () = 0 > 2 ()) y

 posee una ( ) direccin asinttica; si es elptico, no posee direcciones asintticas; y si es plano, todas las direcciones de son asintticas. Condiciones suficientes: inmediatas, por ser excluyente la casustica anterior sobre sobre las direcciones asintticas y exhaustiva la clasificacin de los punto por su carcter. Ejemplo Se sigue que cualquier punto de un plano es plano (por tanto umblico), cualquier punto de una esfera es elptico (y umblico) y cualquier punto de un cilindro (o de un cono) de revolucin es parablico. Cualquier direccin tangente a un plano es principal y asinttica. Cualquier direccin tangente a una esfera es principal y ninguna es asinttica. En la superficie