Dario Sanchez Geometria Diferencial R3 Aprendizaje 2004 PDF

ELEMENTOS
DE
GEOMETRIA DIFERENCIAL EN s
Jos Daro Snchez Hernndez

danojuanos@hotmail.com, Bogota, Colombia, 2004
Una vez mas estoy en contacto con los amables lectores de la comunidad matematica,
con
el fin de ponerlos en conocimiento de los elementos de la Geometra Diferencial necesarios

para un rapido desenvolvimiento en el estudio de las Variedades Diferenciales, de la teora

de Jets, de la fsica matematica y de muchos otros campos del pensamiento matematico.
Este trabajo lo he realizado aprovechando notas y apuntes de un curso que dicte en el
Departamento de Matematicas y Estadstica de la Universidad Nacional de Colombia por la
decada de los ochenta.
En el presente documento no se encuentran nociones tales como las de geodesicas,
derivadas covariantes, tensor de Ricci y otros aspectos que se pueden estudiar con mayor
enfasis en las variedades diferenciales, tampoco dedico mucho tiempo a las metricas
Rimanianas por slo tratarse de s .
Por otra parte el material aqu contemplado lo considero de gran utilidad en la formacion de
un matematico
o de un fsico teorico y constituye una herramienta para lograr exitosos
avances en los cursos de post-grado.
CONTENIDO
1. FUNCIONES DIFERENCIALES DE s m EN s n ....................... .. 3

1.1 Introduccin...................................................................... 3
1.2 Funciones de clase C k ................................................................
. 5
1.3 Regla de la cadena ................................................................
. 8
1.4 Desigualdad del valor medio ......................................................
. 9
1.5 Funciones implcitas ............................................................. 10
1.
Teorema fundamental del Algebra....................................... 12
Ejercicios ............................................................................. 15
2. FUNCIONES DIFERENCIABLES DE s EN s Y s . CURVAS.. 17
2.1 Producto vectorial de s .................................................... . 21
2.2 Propiedades del producto vectorial ..................................... . 21
2.3 El triedro de Frent ............................................................... 22
2.4 Camino plano .....................................................................
. 24
25. Comentarios........................................................................... 25

Apendice 1 ................................................................... . 32
2.
Criterio de localizacion de puntos estacionarios ............... . 33
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 2

3. FUNCIONES DIFERENCIABLES DE s EN s .
3.1. SUPERFICIES REGULARES .................................................. . 35
Aplicaciones ........................................................................
. 44
Teorema de cambio de coordenadas ................................... . 47
Aplicaciones entre superficies........................................ . 53
Aplicaciones .................................................................... . 55
Ejercicios ........................................................................... 56
4. SUPERCIFIES ORIENTABLES .
........................................................................
4.1. Introduccion . 58
4.2. Espacio vectorial orientado ................................................. . 60
4.3. Atlas de una superficie ........................................................ 63
4.4. Campo diferencial de vectores normales ............................. . 65
4.5. Primera forma cuadratica ...................................................
. 69
4.6. Aplicaciones de la primera forma cuadratica ......................
. 72
de region
4.7. Definicion ........................................................
. 73
4.8. Isometra y transformaciones conformes .............................. . 76
Ejercicios ............................................................................
. 82
5. GEOMETRIA DE LA APLICACION NORMAL DE GAUSS... . 83
Teorema 2. (de Meusnier) ........................................................ . 87
Teorema 4 (Egregio de Gauss) ............................................... . 90
Aplicaciones ...............................................................................
. 93
Ejercicios ...................................................................................
. 99
6. CAMPO DE VECTORES ......................................................... . 100
7. CAMPO DE DIRECCIONES ................................................... . 104
Teorema 1 (de flujo tubular) ..................................................... 106
Ejercicios ...................................................................................
. 109
8. CAMPO DE VECTORES TANGENTES ................................ . 109
8.1.Construccin de un campo de vectores tangentes.............. 110
Ejercicios ............................................................................
...... 111
9. CAMPO DE DIRECCIONES EN UNA SUPERFICIE ............ . 111
Ejercicios ......................................................................................
. 113
APENDICE .2 ......................................................................... 115
BIBLIOGRAFIA ...................................................................................
. 118
1. FUNCIONES DIFERENCIABLES DE s m EN s n .
1.1. INTRODUCCIN.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 3

Presentamos inicialmente resultados del calculo avanzado que
constituyen un requisito fundamental en el desarrollo
posterior de este curso.
DEFINICION 1. Sea U s un conjuto abierto, se dice que una aplicacion :Us

es diferenciable en un punto x U cuando existe una transformacion
lineal
Z
T = (x): s s
tal que (x+h) = (x) + T. h + r(h) donde
r(h)
lim |h| = 0
h0
EJEMPLOS. 1. Sea :U s la aplicacion constante, ie, existe
c s tal que (x) = c Dx U. Entonces existe Z (x) y es tal
que Z (x)=0 Dx U , 0:s s es la transformacion lineal

nula; (o identicamente cero)
(x+h) = (x) + 0 h h = 0
0
claramente lim = 0
h 0 |h|
2. Sea T:E E una transformacion lineal de un espacio
vectorial en s misma. T es diferenciable en todos los puntos
x E siendo
T Z (x) = T Dx E.
Esto es T Z (x) no depende de x. En efecto, por la linealidad se
tiene:
T(x+h) = T(x) + T h h + r(h) con r(h) = 0
3. Sea 0 :s d s s una aplicacion bilineal. Entonces 0 es
diferenciable o sea existe 0 Z (x) y se tiene para to do
(x,y) s d s
0 Z (x,y) : s d s s
es una transformacion lineal dada por
0 Z (x,y).(h,k) = 0 (h,y) + 0 (x,k)
En efecto
0 (x+h,y+k) = 0 (x,y) + 0 (h,y) + 0 (x,k) + 0 (h,k)
(Esto por la linealidad de 0 ).
Tomando r(h,k) = 0 (h,k) se tiene
|0 (h,k)| |0 (h,k)| c|h||k|
lim |(h,K)| = lim max{|h|,|k|} lim max{|h|,|k|}
(h,k) 0 (h,k) 0 (h,k) 0
c lim inf {|h|,|k|}|h||k| = 0.
(h,k) 0
Recordemos ahora las definiciones dadas en cursos anteriores

para la derivada de un campo escalar:
fZ (X;Y) = lim (X+Yt)t - (X)
t0

se muestra facilmente que
Z (X;Y+Z) = Z (X;Y) b Z (X;Z) .
Podemos generalizar la presente definicion y escribir:

Sea U s un conjunto abierto. Se dice que una funcion

:U s es diferenciable en un punto x U cuando existe una
lineal
transformacion
T = Z (x):s s
h Z (x).h
donde
Z (x).h = Z (x; h) = lim (x+th)tc (x)
t0
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 4
Si para todo x U, f es diferenciable en x, entonces se dice

que es diferenciable en U.
EJERCICIO. Sea f:s s

(x,y) (x -y,x-y )
Hallar Z (x) : s s . Calcular Z (x,y) h h para (x,y)=(4,-1) y
h = (1,2).
DEFINICION 2. Dado un conjunto abierto U de s , una aplicacion

:U s
queda definida por n funciones , ,..., :U s llamadas FUNCIONES
COORDENADAS de y definidas por la relacion

(x) = ( (x), (x),..., (x)) xU
PROPOSICION 1. Una aplicacion es diferenciable en un punto x U si y solamente si

cada una de las funciones coordenadas es diferenciable en x. Ademas

Z (x) : s s
sera dada por
Z (x) h h = (D (x) h h,D (x) h h,...,D (x) h h)
siendo,
D (x) h h = lim (x+th)t c (x)
t0
En efecto,
(x+th) - (x)
Z (x) h h = Z (x;h) = lim t
t0
(1 (x+th), (x+th),..., (x+th))-(1 (x), (x),..., (x))

= lim t
t0
( (x+th)- (x), (x+th)- (x),..., (x+th)- (x))
= lim t
t0
(x+th)- (x) (x+th)- (x) (x+th)- (x)
= lim 4 t , t ,..., t 5
t0
(x+th)- (x) (x+th)- (x) (x+th)- (x)
= 4 lim t ,lim t ,...,lim t 5
t0 t0 t0
=( 1Z (x;h),2Z (x;h),..., Z n (x;h))=(D (x).h,D (x).h,...,D (x).h)).
DEFINICION 3. (MATRIZ JACOBIANA). Sea :U s diferenciable en x U y sea

e j-esimo
vector de la base cannica de s . Entonces
(x+te ) - (x)
Z (x) h e = lim t
t0

Este lmite es usualmente llamado la j-esima DERIVADA PARCIAL de en el punto x, y
se denota
C
Z (x) h e = C x (x).
As si , ,..., : U s son las funciones coordenadas de , entonces
C
C x
(x) = ( CCx (x), CCx (x),..., C
C x (x))
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 5
Esto nos lleva a una expresion clasica
para la matriz de la
transformacion lineal
Z (x) : s s
relativa a las bases canonicas de s y s conocida como LA
MATRIZ JACOBIANA DE f en el punto x. El elemento (i,j) de esta

matriz es la i-esima coordenada del vector Z (x).e y por lo
tanto
C C C
v C x C x ... C xn y
x C C {
x C x C x ... CCx {
J (x) = x {
x ... {
w CCx C
C x ... C
C x
z

EJEMPLO. Sea :s s

(x,y) (xy,x+y,x -xy)
Hallar la matriz Jacobiana en cualquier punto x.
Tomando xW = (x,y), h = (h ,h ) tenemos
(x+th)
W - (x)
W (x+th ,y+th ) - (x,y)
t = t
((x+th )(y+th ),x+th +y+th ,(x+th ) -(x+th )(y+th ))-(xy,x+y,x -xy)

= t
= 4 t(xh +yht +h h t) , t(ht+h ) , t(2xh +th -xht -yh -h h t) 5

1
pasando al lmite:
( xh + yh , h + h , 2xh - xh - yh ) =
v y x y
h
= 1 1 h > ?
w 2x-y -x z h
Entonces
v y x y
J (x) = 1 1 = Z (x)
w 2x-y -x z
1.2 FUNCIONES DE CLASE C

Denotemos por (s ,s ) al conjunto de todas las

transformaciones lineales de s en s . Si queremos los
elementos de (s ,s ) pueden ser considerados como matrices
n d m y Z puede ser considerada como la aplicacion que a cada
x U asocia la matriz Jacobiana J (x) de en x. Entonces
decir 9 significa que la matriz J (x) depende
continuamente de x U , esto es, cada una de sus
C
componentes C x (x):U s es una funcion continua de x y
recprocamente.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 6
Z
Ademas (x) es derivable en el punto x si y solamente si cada
C
elemento C x de la matriz Jacobiana es diferenciable.
Ahora si :U (s ,s ) tiene derivada en el punto x U
Z
decimos que es dos veces diferenciable en el punto x y

escribimos
"(x) : s (s ,s )
para indicar la derivada de Z en el punto x , esto es , LA
SEGUNDA DERIVADA de en x.
As,
"(x) (s ,(s ,s ))
Cuando es dos veces diferenciable en todos los puntos x U
decimos que es dos veces diferenciable en U. Si ademas, la
aplicacion
" : U (s ,(s ,s ))
es continua, decimos que es DOS VECES CONTINUAMENTE
DIFERENCIABLE en U, y notemos 9 .
Se denotara (s ,(s ,s )) (s ,s )
EJEMPLO : Sea f:s s definida por
(x,y,z) = 3x + 2y + 2xz + z .
Para un punto arbitrario p = (x,y,z) s determinemos
"(p).(H,K) , H,K s
1. Z :s (s ,s) y ":s (s ,(s ,s))
Sea H = (h ,h ,h ), es facil mostrar que
Z (p) h H = (6x + 2z,4y,2z + 2x) h (h ,h ,h )
= (6x+2z)h + (4y)h + (2z+2x)h
as Z (p) = (6x + 2z,4y,2z + 2x) (s ,s)
2. "(p) = (D(6x+2z) h H,D(4y) h H,D(2z+2x) h H) =
= ((6,0,2) h H,(0,4,0) h H,(2,0,2) h H) =
=
h h h
= (6h + 2h ,4h ,2h + 2h )
Entonces
"(p)(H,K) = (6h + 2h ,4h ,2h + 2h ) h (k ,k ,k )
= 6 h k + 2 h k + 4 h k + 2 h k + 2 h k
~ [((6,0,2),(0,4,0),(2,0,2)).(h ,h ,h )].(k ,k ,k )
de donde deducimos que
"(p) = ((6,0,2),(0,4,0),(2,0,2))
esto es, frecuentemente denotado en la forma

"(p) = (6,0,2,0,4,0,2,0,2) (s ,s) s = s .
Prosiguiendo por induccion, suponemos que

: U s
es (k-1)-veces diferenciable. Entonces su
(k-1)-esima
derivada es una aplicacion
( -1)
f(-1) :U (s ,s ). .s dn
de U en el espacio de las aplicaciones (k-1)-lineales de s
en s .
Si c es diferenciable en un punto x U, diremos, que es k
veces diferenciable en un punto y usando el isomorfismo

canonico
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 7
(s ,-1 (s ,s )). . (s ,s )
indicare mos () (x), la derivada de (-1) en el punto x, como
una aplicacion k-lineal de s en s , que llamaremos k-esima
DERIVADA de en el punto x. Cuando () (x) existe en cada
punto x U decimos que es k-veces diferenciable en U.
Queda entonces definida la aplicacion
() : U (s ,s )
Diremos que es una aplicacion de clase 9 o k veces
continuamente diferenciable, y escribimos 9 cuando () es
continua. Por conveniencia indicaremos con 9 al conjunto de
todas las aplicaciones continuas.
Definimos la importante clase 9 B de las aplicaciones
infinitamente diferenciables como siendo la interseccion de
todas las clases 9 .
9 B = 9 q 9 q 9 q ... q 9 q ...
B
As 9 si y solamente si posee derivadas de to dos los
ordenes en cada punto de U.
EJEMPLOS. 1. Una aplicacion constante es de clase 9 B

de una variable (x) = |x| es de clase 9 en s
2. La funcion
pero no es de clase 9 . Analo
gamente
(x)
W =|x| W xW s
es de clase 9 en s pero no es de clase 9 .

3. Sea > 0, un numero entero. La funcion (x) = |x| es de

clase 9 en s cualquiera que sea p < , pero no es de clase 9

si p .

4. La funcion
x sen 1x si x 0
(x)= H 0 si x = 0
es de clase 9 pero no es de clase 9 .

5. Las funciones sen x , ex , log x son de clase 9 B en sus
respectivos conjuntos de definicio n.
6. Sea :U s dada por (x)=( (x),..., (x)). Entonces
9 si y solamente si, cada funcion coordenada :U s es

de clase 9 . Si este es el caso
(x)= + (x) = (+ (x),...,+ (x))
donde x U, j = 1,2,...,k.
7. Toda transformacion lineal :s s es de clase 9 B , pues
Z :s (s , s ) es constante(a saber, Z (x)= Dx s ) y
f() ~ 0, para k > 1. Analogamente,
toda transformacion bilineal
g:s d s s es de clase 9B porque
Z : s d s (s d s , s )
es una transformacion lineal.
1.3 REGLA DE LA CADENA.

TEOREMA 1. Sea s , sn , s espacios vectoriales normados de dimensiones finitas,
U sn , V s conjuntos abiertos :U s una aplicacion
diferenciable en el punto
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 8

x U con (U) V y V s diferenciable en el punto
una aplicacion
y ~ (x) V. Entonces la aplicacion compuesta
k :U s es diferenciable en el punto x U, y
( k )Z (x) = Z (y) h Z (x) : s s .
De modo abreviado: La derivada de la aplicacion compuesta es la compuesta de las
derivadas
DEMOSTRACION. Podemos escribir
(x+h)= (x)+ Z (x) h h + (h) h |h| con lim (h) = 0 (1)
h0
(y+k)= (y)+Z (y) h k+(k) h |k|con lim (k)=0 (2)
h0
entonces
( k )(x+h)= ( (x+h)) = ( (x)+ Z (x).h+(h).|h|)
Hagamos
k = Z (x) h h + (h) h |h|, y = (x)
en el caso se tiene
( k )(x+h) = (y+k) = (y) + Z (y) h k + (k) h |k|
= (y) + Z (y){ Z (x) h h + (h)|h|} + (k)|k|
= (y) + Z (y) Z (x) h h + (h) h |h|
donde
(h) = Z (y) h (h) + (k) |k|
|h|
= Z (y)(h) + (k)| Z (x) |h|
h
+ (h)|
Por tanto si h 0, entonces k 0 y Z (x) |h| h
es acotado por lo
tanto
lim (h) = 0
h0
EJEMPLO. Sea s un espacio vectorial normado de dimension

finita con producto interno U = s -{0} y :U s definida
por (x) = |x| = j x,x
Tenemos entonces

U s s
y jy y, = k
x x.x
Ahora f es una aplicacion bilineal as
Z
(x) h h = x,h + h,x = 2 x,h
y,
Z (x):2 x, :s s
Z (y) = 2 j 1 b
y :s s
as por la regla de la cadena
Z (x) = Z (y) Z (x) o sea
Z 2 x, x,
(x) = 2|x| = |x|
de donde
Z (x) h h = x,h|x|

En particular
x
(x) h e = C (x) C x = |x| , x s .
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 9

COROLARIO . Sean s , s , s espacios vectoriales normados si
:U s , g:V s son ambas de clase 9 y (U) V entonces
k :U s es tambien
de clase 9 .
DEMOSTRACION. La expresion ( k )Z (x) = Z ( (x)) h Z (x) muestra
que
U ( k )Z = u k : U (s ,s )
Z Z k donde
( s ,s ) d (s ,s p )
m
u: (s ,s ) d (s ,s p ) (s ,s )
k es la compuesta de transformaciones
(s ,s ) :U (s ,s ) d (s ,s ) es dada por
sus coordenadas = ( Z k , Z )
B
Sabemos que u 9 . Supongamos que el corolario esta probado
para clase 9 c ( pues el corolario es verdadero para k = 0).
- -
Entonces , 9 tene mos Z k , Z C ; luego C ,
por lo tanto( k )Z = u k 9 c lo cual afirma que k 9 .
1.4 DESIGUALDAD DEL VALOR MEDIO
TEOREMA DE LOS INCREMENTOS FINITOS. Sea :[a,b] s una funcion

continua y |(a,b) es diferenciable, entonces existe un punto
t (a,b) tal que
(b)- (a) = Z (to )(b-a)
Este enunciado tambien puede ser presentado en la siguiente
forma:
Sea :[a,a+h] s una funcion tal que f|(a,a+h) es diferenciable,
entonces existe un punto t (a,b) tal que
(b) c (a) = Z (to )(b-a)
Otra forma de presentar este resultado es como sigue :
Sea :[a,b] s una funcion continua tal que |(a,a+h) es
diferenciable. Entonces existe t , 0 < t < 1, tal que
(a + h)- (a) = h. Z (a + t h).
TEOREMA 2 (DESIGUALDAD DEL VALOR MEDIO) . Sea U s un subconjunto abierto

:Us una funcion continua en U. Si el segmento cerrado [a,a+h] esta contenido
en U ([a,a+h]={xW U;x=(1- W )a+(a+h), [1,0]}) y es diferenciable en
todos los puntos del segmento abierto (a,a+h). Entonces
| (a+h)- (a)| |h|. sup | Z (a+th)|
0<t<1
donde (a,a+h)=xW U;xW = (1-)a+(a+h), (0,1)
DEMOSTRACION. Supongase inicialmente que tambien es
diferenciable en el punto a.
Sea :[0,1] s definida por (t) = (a+th). Entonces es
continua en [0,1] y diferenciable en [0,1). Como (0)= (a),
(1) = (a+h) y Z (t) = Z (a+th) h h es suficiente probar que
|(1)-(0)| M donde M = sup |Z (t)|
0<t<1
ya que | Z (t)| = | Z (a-th) h h| | Z (a-th)||h| tomando sup se
tiene
M = sup | Z (t)| sup | Z (a-th)||h|
0<t<1 0<t<1
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 10
o sea basta probar que
|(1)-(0)| M + , para todo > 0
Considere mos el conjunto
X = {t [0,1]; |(s)-(0)| (M-)s para to do s [0,t]}
Es claro que X es un intervalo cerrado de la forma [0,],
=sup X esto es debido a que X satisface: a) 0 X, b) Si X,
existe tal que [ , + ] X .
Debemos mostrar que = 1. Supongamos por absurdo que <1,
entonces existe > 0 tal que + < 1 y que 0 h < , esto
implica que
(+ ) = () + Z () h h + r(h)
donde |r(h)| h h
Se sigue que |(+h)-()| (M+)h, si 0 h < .
Como X, tene mos tambien |()-(0)| (M +). Por lo tanto
0 h< conduce a |(+h)-(0)| (M+)(+h)

ademas
|(+h)-(0)| = |(+h)-()+()-(0)| |(+h)-()|+
|()-(0)| (M+) h h+(M+)
Teniendo en cuenta que X, esto muestra que +h con 0 h
tambien +h X, lo cual es contradictorio.
De la misma manera demostraremos el caso en el cual es
diferenciable en el segmento del tipo (a,b]. Se sigue que la
desigualdad del valor medio vale para los intervalos (a,b] y
[b,c) entonces vale para el intervalo (a,c).
COROLARIO. Sea U s un conjunto abierto conexo y :Us una aplicacion

diferenciable tal que Z (x) = 0 para todo x U. Entonces es constante en U.
DEMOSTRACION. Fijamos un punto a U. El conjunto X de los
puntos tales que (x) = (a), x U, es cerrado, as podemos
encontrar un > 0 tal que |h| < implica que el segmento
[x,x+h] esta contenido en U (basta tomar como el radio de
una bola centrada en x y contenida en U). Entonces por el
teorema anterior y por el hecho de que Z 0, vemos que
|h| esto implica que
| (x+h)- (x)| = 0
esto es (x+h) = (x), de donde x+h X. Por lo tanto X es
abierto. As X es abierto y cerrado en U y no vaco (pues
a X) como U es conexo, se sigue que X = U.
1.5 FUNCIONES IMPLICITAS.
Sean s ,s espacios vectoriales nor mados U s ,V s

subconjuntos abiertos f:U V es un DIFEO MORFISMO si es
diferenciable y existe - :VU el cual es tambin
diferenciable, es decir
- k = Id U , k - = Id V
En particular, un difeo morfismo es un ho meo morfismo.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 11
%
EJEMPLO Sea :s (0,+B) definida por f(x) = e es un difeomorfismo
(de clase 9 B ) cuya inversa c (0, b B) s es dada por c (x) = log x.
PROPOSICION 2 Sea f:UV es un difeomorfismo entonces

Z (x):s s
es un difeomorfismo para todo x U y [ Z (x)]- = ( - )Z (f(x)).
En efecto, Z (x) es una transformacion lineal y ( Z (x))-
tambien es una transformacion lineal, por lo tanto Z (x) es un
isomorfismo ahora
( - k )Z (x) = (id)Z (x) si y solo si ( - )Z ( (x)). Z (x) = 1
y esto es equivalente a
[ Z (x)]- = ( - )Z ( (x))
Si U s , V s , y, : UV es un difeomorfismo entonces

m ~ n
OBSERVACION 1. As como en topologa un ho meo morfismo
(topolo gico) es una relacion de equivalencia, en geo metra
diferencial un difeo morfismo es una relacion de equivalencia.
2. Un ho meo morfismo no necesariamente es un difeo morfismo,
pues :ss definida por (x) = x es un ho meo morfismo pero
no es un difeo morfismo ya que su inversa - :ss definida
por - (y) = y/3 en y = 0 no es diferenciable.
DEFINICION 4 Sea U s un abierto. Una funcion diferenciable :U s es

llamada un DIFEOMORFISMO LOCAL , si para cada x U existe una vecindad V de x que

es aplicada difeomorficamente por sobre una vecindad W de (x). Cuando
restringida a cada V vecindad de x, es un difeomorfismo de clase 9 decimos que f es un
DIFEOMORFISMO LOCAL DE CLASE 9 .
Si es un difeo morfismo de clase C se sigue inmediatamente

que - es un difeo morfismo de clase 9 .
de la definicion
Si :UV es un difeomorfismo local y ademas es una
de U sobre V, entonces es un difeomorfismo de U
biyeccion
sobre V.
NOTA. :U V puede ser un difeo morfismo local sin ser
necesariamente inyectiva.
:s s definida por
EJEMPLO. La aplicacion
%
f(x,y) = (e% cos y,e sen y)
es un difeo morfismo local de clase 9 B de s sobre s -{0} esto
es debido a que
e% cos y -e% sen y

J f(x,y) = @ %
e sen y e% cos y A
es tal que det(J f(x,y)) = e% > 0.

TEOREMA 3. (DE LA FUNCION INVERSA) Sea U s un abierto y :Us una funcion

Z
de clase 9 (1 B) tal que, en un punto x U , (x ) (s ) =
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 12
(s ,s ) es un isomorfismo. Entonces es un difeomorfismo local de clase 9 de

una vecindad V de x sobre una vecindad W de (x ).

IDEA DE LA DEMOSTRACION

1. Tomese x = 0, tal que (x ) = (0)=0, entonces (x) = Z (0) x + r(x) , donde lim r(x) = 0 y r Z (0) = 0 .
x 0 |x|
2. Sea tal que 0 < < | Z1(x)| . Existe una bola abierta en torno del origen V tal que |r Z (x)| < para todo x V
(por continuidad de r Z en 0) entonces
|r(y)-r(x)| |y-x| para todo x,y V
As |V es un homeomorfismo de V sobre un abierto W que contiene a (x ).
3. Sea ~ - : W V muestrese que es diferenciable en cada punto y = (x) W, pues
(y+k) =(y) + { Z (x)}- h k + s(k)
s(k)
y para mostrar que lim |k| = 0 se observa que
k0
s(k) |h| Z - r(h) |h|
|k| = - |k| [{ (x)} |h| ] donde |k| 1c
siendo k = (x+h) - (x)
4. Para mostrar que 9 se considera
Z
W V GL(s ) GL(s ) (s ) entonces Z = i k Z k g donde i(x) = x- . Como 9 y i, Z ,
son continuas, entonces Z 9 de donde 9 . Si 9 entonces i, Z , 9 y Z 9 de donde g 9
y as sucesivamente.
: s s definida por
EJEMPLO . Considrese la funcion
%
f(x,y) = (e cos y,e% sen y)
el determinante Jacobiano es
C C %
Cx
= d e% cos y c e% sen y
Cy
= e% (cos y + sen y) = e%
C
Cx
C
e sen y e% cos y d
Cy
aqu e% 0 para todo (x,y) s . Concluimos por el teorema de
inversa que es un difeomorfismo local de clase
la funcion
9 B.
1.6. TEOREMA FUNDAMENTAL DEL ALGEBRA .

Sea p: s s
z p(z) = a +a z+a z +...+a z , a 0 , n1
un polinomio no constante. entonces p es sobreyectiva. En particular existe
z s tal que p(z ) = 0.
DEMOSTRACION . Como se sabe, para cada z s la derivada
pZ (z) es la transformacion lineal en s que consiste en la
multiplicacion por el nu mero a b 2a z b 3a z b b na zc la
Z
cual identificamos con p (z).
1. F = {z s ; pZ (z) = 0 } es un conjunto finito, de no p(z)
seria constante, entonces p(F) es finito.
2. s -p(F) es conexo.
3. Se define la funcion : s - p- (p(F))s - p(F),
mediante (z) = p(z).
4. Si z Do minio de , entonces z F, pues F p- (p(F)),
as s - p- (p(F)) s - F
5. (z) = pZ (z) es un nu
Z
mero no nulo y por lo tanto Z (z) es
un iso morfismo.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 13
6. Por el teorema de la funcion inversa, es un
difeomorfismo local por lo tanto es una aplicacion abierta.
En particular la imagen de es un subconjunto de s - p(F),
pues s -p- (p(F)) es abierto ya que p(F) es cerrado, p es
continua entonces p- (p(F) es cerrado.
7. El conjunto de valores de es un conjunto cerrado de
s c p(F), en efecto, tomemos una sucesion {y } ? m tal que
lim y = W como y ? m se tiene que y = p(z) as
nB
lim
nB
p(z ) = lim
nB n
y = W
mostre mos que W ? m, esto es, mostre mos que existe

z s -(p(F)) tal que W = p(z). Con este
proposito
consideremos la sucesion { z ; p(z) = y } , tenemos as las
siguientes posibilidades:
i) lim nB
z = z exista; en cuyo caso tendramos
inmediatamente por la continuidad de p que
p(z) = p(lim nB
z ) = lim
nB
p(z ) = W
obtenindose as lo deseado.
ii)El lim
nB
z no existe, por el teorema de Bolzano-Weierstrass
la sucesion {z } ad mite una subsucesion {zn* } convergente
* i
as lim
nB n
z = z por la continuidad de p se tiene
i
p(z ) = p ( lim nB n
z* ) = limnB
p(zin ) = lim
nB
p(z ) = W
as W ? m e ? m es un conjunto cerrado.
8. La imagen de es por lo tanto abierta y cerrada en el
conjunto s - p(F).
9. ? m = s - p(F) por lo tanto es sobre.
10. p(F) ? m p , entonces p es sobre s , pues,
s - ? m(p) s -p(F) = ? m ().
DEFINICION 5. Sea s un espacio vectorial normado U s un subconjunto abierto.

Una aplicacion diferenciable :

Us es llamada SUMERSION si
, para todo x U la derivada Z (x) :s s es sobreyectiva.
EJEMPLO. Sea &:s d s s la proyeccion definida por
&(x,y) = y. Entonces &Z (x,y) = & para to do (x,y) s d s por
lo tanto es una sumersion.
TEOREMA 4 (DE LA FUNCION IMPLICITA). Sea U s + un abierto y :U s una

de clase 9 (k 1) . Supongamos que s + n = E l F es una descomposicion
aplicacion
en suma directa tal que para z = (x , y ) U la segunda derivada parcial

C f(z ): Fs
es un isomorfismo, supongase ademas que (z )=
s .
Entonces existen abiertos V E conteniendo x y P U conteniendo a z con la
siguiente propiedad:
Dx V,E! (x) F, tal que , (x,(x)) P y ( (x,(x)) =

: VF as definida es de clase 9 y su derivada es dada por
La aplicacion
'(x) = c [C ( ,(x))]- k C F(x,(x))
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 14
IDEA DE LA DEMOSTRACION
1. Con los resultados del teorema de las formas locales de
las sumersiones tenemos z = h(V d W) y h(x,w) = (x,h (x,w))
para (x,w) V d W. (Remitimos al lector a [12])
2. Tomando :VF entonces es de clase 9
x (x) = h (x,
)
3. (x,(x)) = h(x,
) =
para to do x V.
4. (x,y) =
entonces
(x,y) = h(x,y) = h(x,
) = (x,h (x,
)) = (x,(x))
de donde se tiene y (x)
5. (x,(x)) =
derivando tenemos:
C (x,(x)) + C (x,(x)) h Z (x) = 0
Luego
Z (x) = c [C (x,(x)]- h C (x,(x)).
EJEMPLOS.
1. Sea (x,y) = ax + by + c. Tenemos
(x,y) = ( C x , C
Z C
C y ) = (a,b)
Luego si a (o b) es diferente de cero, podemos resolver
(x,y) = 0 con respecto a x (o a y).
2. Sea (x,y) = x - y + xy + 1.
Tene mos
Z (x,y) = (2x + y,- 2y + x) .
Como la u nica solucion de
2x + 2y = 0
x - 2y = 0
es x = y = 0 , concluimos que es posible resolver (x,y)
con relacion a x (o a y) en las vecindades de to do punto
(x ,y ) tal que (x ,y ) = 0.
1
continua tal que (t) dt ~ 3.
3. Sea : [0,1]s una funcion
0
Muestre que para cada x en cierto intervalo [0, ] existe un
nico
u (x) [0,1] tal que % (t) dt = 2 y que
x
:[0, ][0,1] as definida es de clase 9 , calcule la derivada
Z (x).
&
SOLUCION. Definamos F:[0,1] d [0,1]s por F(x,y) = (t) dt
x

como es continua entonces F 9 y se tiene que
&
F(0,y) = (t) dt (t) dt = 3
0 0
Como F es continua entonces F| es continua entonces existe
y [0,1] tal que F(0,y ) = 2 entonces (Ver el teorema de
Rolle)
&
F(0,y ) = (t) dt = 2
0

Teniendose que
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 15
&
C (t) dt = (y)
C F(x,y) = Cy
x
Por lo tanto C F(0,y ) = (y ) > 0, y F es un isomorfismo
local. Por el teorema de la funcion implcita existen
abiertos (-,) conteniendo a 0 y P [0,1] d [0,1] tal que
(x,(x)) P y F(x,(x)) = F(0,y ) = 2
Tome 0 < < . Entonces existe un intervalo [0, ] tal que para
cada x [0, ] existe un u nico (x) [0,1] de tal forma que
(x) &
F(x,(x)) = F(0,y ) = (t) dt = (t) dt = 2
x 0
Z - - (x)
(x) = -[C F(x,(x)] k C F(x,(x)) = + ( ((x)) k (x) = ((x))
pues,
C F(x,(x)) = ((x))
y
(x) %
C C (t) dt = c (x).
C F(x,(x)) = Cx (t) dt = c Cx
x (x)
EJERCICIOS
1. Sea :(-,)s un camino diferenciable. Se define
:(- ,) s
tomando (t) = distancia de (t) a un punto fijo p donde
p s - [(-,)]
Z
Mostrar que (t) es la proyeccion de Z (t) sobre el eje
p (t)
2. Sea U s un abierto, tal que si x U, t > 0 entonces
tx U.Tenemos que :Us es una aplicacion
homogenea

diferenciable de grado (esto es (tx) = t (x) para to do
x U, t > 0 ). Probar que f es homogenea diferenciable de
grado k si y solamente si (x) h x = k (x), para todo x U.
3. Sea :s s dada por (x,y,z) = (x - y ,xy,xz,zy)
a) Pruebe que es diferenciable en to dos los puntos de
s y calcule su matriz jacobiana.
b) Muestre que la derivada Z (x,y,z):s s es una
transformacion lineal inyectiva, excepto en dos puntos z
esto es, para y = x = 0)
c) Determine la imagen de Z (0,0,z) : s s .
4.Sea :Us diferenciable en un abierto U s conteniendo a
0. Si existe "(0)
y ade mas, (0) = Z (0) = "(0) = 0,
entonces pruebe que se tiene
lim f(x) = 0.
x 0 |x|

5.Sea :s s dos veces diferenciable, tal que para

cualquier xs y ts vale (tx) = t (x). Pruebe que
existe B:s d s s bilineal tal que f(x) = B(x,x) para
to do x s .
6. Pruebe que existe una vecindad abierta U de la
:U(s ) de
identidad Id de (R ) s y una aplicacion
clase 9 B , tal que [(x)] = x para todo x U.

7. Sea :s s dada por,
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 16

(x,y,z) = (x + y + z,x + y + z ,x + y + z )
Muestre que Z (x,y,z):s s es una aplicacion biunvoca,
salvo si dos de las coordenadas x, y, z son iguales.
8.Dadas ,:s s diferenciables, defina :s s to mando
|%|
(x) = L(x), (tx) dtM

donde |x| = jx,x . Calcule '(x) h h para to do x 0 en s y
todo h s .
9. Sea :Us definida en un abierto U s . Si existen y son
continuas las derivadas parciales
C C
C x , C y : Us
probar que es una funcion de clase 9 .
10. Sea :[1,2]s continua y definida positiva con
1
f(t) dt = f(t) dt = 1
0 1
Muestre que para cada x [0,1] existe un u
nico (x) [1,2]
tal que
(x)
1
2 = (t) dt
x
que es de clase 9 .
muestre ademas
2. FUNCIONES DIFERENCIABLES DE s EN s Y s CURVAS

Un CAMINO en s , s o en s es una aplicacion

Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 17
:0 = (a,b)sn
donde 0 es un intervalo en s
continuo cuando sea una funcion
Un camino se dira continua;
y diferenciable cuando sea diferenciable.
EJEMPLOS 1. Sea :(0,1)s

t (t, sen t, cos t)
es un camino diferenciable en s .
2. Sea :(0,1)s
t (t, 1 + t , 1 + t )
es un camino diferenciable en s .
3. Sea :(0,1)s
t (t, 1t sen t)
es un camino en s .
DEFINICION 1. Sea :0 s un camino; es llamado un camino parametrizado

regular cuando es diferenciable en 0 y se tiene
Z (t) 0 para todo t 0 .
EJEMPLOS 1. Sea :0 s , 0 = (0,2)

t (t, sen t , cos t)
es un camino parametrizado regular, pues
Z (t) = (1, cos t, sen t)
Z
y (t) 0 para to do t (0,2).
2. Sea :0 s
t (a cos t, a sen t,b t) a,b 0
este camino es conocido con el nombre de helice de paso 2b y es
una curva que se enrolla en un cilindro recto de base
x + y = a y es un camino parametrizado regular, pues
Z (t) = (-a sen t,a cos t,b) y Z (t) 0 para todo t 0 pues
b 0 Sea :0 = [a,b]s (a < b) un camino en s consideremos

una de
particion [a,b] dada por F ={t ,t ,t,...,t } donde
t = a, a < t < b, t = b Se denotara por B( ,F )a la
suma finita
c1
| (t+1 ) c (t )|
~0

y se llamara F , por otra parte se
norma de una particion
nota con |F | al nu
mero real positivo
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 18
|F | = max t+1 c t
0in
En lo que sigue se denotara l ab ( ) o simplemente l( ) a,
b
l a ( ) = lim B ( , F )
|F | 0
cuando el limite existe y es llamado la LONGITUD DE ARCO DE .
PROPOSICION 1. Sea :0 s un camino diferenciable tal que 9 entonces

dados a,b 0 , a < b, existe la longitud de arco de y se tiene

l ab ( ) = | Z (t)|dt
a
En este caso decimos que el camino es rectificable.
DEMOSTRACION. 1) Sabemos que 9 as Z :ss es integrable
de donde dado > 0, existe '> 0 tal que para toda particion
F
de [a,b] con |F |< ' se tiene
-1
| | Z (t)|dt c (tb c t )| Z (t*i )||
2
a i=0
2) Como 9 entonces Z es uniformente continua en [a,b] por

lo tanto para el > 0 dado, existe " > 0 tal que u,v [a,b]
|u-v| < " | Z (u) c Z (v)| 2(b-a)
3) Sea F una particion de 0 ~ [a,b] tal que |F | < "
consideremos
-1
l(f,F ) = | (t-1 ) c (t )| entonces se tiene
i=0
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 19
c1 c1
| | (t+1 )- (t )| - (t+1 -t )| Z (t*i )||
i=0 i=
( desigualdad del valor medio)
-1 -1
| (t+1 -t ) sup {| Z ()|} - (t+1 -t )| Z (t*i )|O
i=0 ti < < ti+ i=0
-1
| (t+1 -t ) sup { | Z ()| - | Z (t* ) | } |
i=0 ti < < ti+
(usando ||a|-|b|| |a-b|)
-1
(t+1 -t ) sup | Z () - Z (t* )| 2
i=0 ti < < ti+
4) Finalmente tomando = min{ ', "} tenemos para toda
F de [a,b] con |F |< se tiene, para el > 0 dado
particion
-1
| | Z (t) | dt - | (t+1 ) c (t )||
a i=0
-1
| | Z (t)| dt c (t+1 -t ) | Z (t*i ) ||+
a i=0
-1 -1
+| (t+1 -t ) | Z (t*i ) | - | (t+1 )- (t )||
2 +
2 =
i=0 i=0

as, l ab ( ) = | Z (t)|dt.
a
DEFINICION 2. Sea :0 s (o en s ) un camino, se dice que esta

parametrizada por la LONGITUD DE ARCO cuando
CRL : 9
CRL : a,b 0 (a b) lab (f) = b-a
Antes de dar ejemplos de caminos parametrizados por la
longitud de arco se estableceran primero, criterios que
brinden un metodo de obtension de caminos parametrizados por
la longitud de arco.
TEOREMA 1. Sea :0 s una aplicacion de clase 9 . Una condicion necesaria y

suficiente para que sea un camino parametrizado por la longitud de arco es que
| Z (t)| = 1 para todo t 0
DEMOSTRACION: ) Si Z (t) es tal que | Z (t)| = 1 entonces

lab ( ) = 1 dt = b-a
a
as es un camino parametrizado por la longitud de arco pues
9 por hipotesis.

) Si es parametrizado por la longitud de arco, fijamos
a 0 y para todo t 0 tenemos
!
| Z (s)| ds = t - a
a
derivando con respecto a t se tiene
| Z (t)| = 1.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 20

TEOREMA 2. Sea :0 s un camino de clase 9 ( 1) regular. Entonces existe
un difeomorfismo de clase 9 :J0 (J s intervalo abierto) tal que
k :Js es parametrizado por la longitud de arco.
DEMOSTRACION: Se fija a 0 y se to ma :0 s definda por
9 , ade mas Z (t) = | Z (t)| > 0; pues es regular.

Se sigue del teore ma de la funcion inversa que es un
difeomorfismo de un intervalo abierto J s sobre 0 .
Tomando = - :J0 9 y se tiene
Z (t) = Z (1(t))
as
Z Z
(f k Z t = fZ ((t))Z (t) = Z (((t))
(t))
= | Z (((t))|
(t))
Como |( k )Z (t)| = 1 para todo t J, se sigue que k es un

camino parametrizado por la longitud de arco.
EJEMPLO. Sea :ss es un camino re gular dado por

t (a cos t,a sen t,bt)

ademas
Z (t) = (-a sen t,a cos t,b) y | Z (t)| = j a + b
Del teorema anterior se sigue que
!
(t) = ja + b ds = ja + b t
0
de donde,
- (t) = t
ja + b = (t)
as
((t)) = (a cos (t),a sen (t),b (t))
= (a cos j t , a sen j t , j bt

)
a +b a +b a +b
2.1. PRODUCTO VECTORIAL EN s
Sea u,v s , u w v s es el u nico vector caracterizado por la

siguiente propie dad
(u w v) h x = det[u,v,x] para todo x s

Tomemos s y u ,u ,u ,...,u-1 , n-1 de sus vectores, indicaremos
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 21
(u w u w u w ... w u-1 ) h x = det [u ,u ,u ,...,u-1 , x]
al producto vectorial de estos n-1 vectores.
EJEMPLO. Sea u = (1,4,7), u = (-4,0,1) entonces

u w u = (1,4,7) w (-4,0,1) es

1 -4 x

(u w u ) h (x ,x ,x ) = 4 0 x = 4x - 29x + 16x = (4,-29,16) h (x ,x ,x )

7 1 x
as u w u = (4, -29, 16).
2.2. PROPIEDADES DEL PRODUCTO VECTORIAL

1) u w v = - v w u.
Pues (u w v) h x = det[u,v,x] = (-1) det[v,u,x] = (-1)((v w u) h x)
para todo x s .
2) u w v depende linealmente de u y de v.
En efecto, (u w (c v + c2 v )) h x = det[u,c v + c v ,x]
= c det[u,v ,x] + c det[u,v ,x] = c (u w v ) h x + c (u w v ) h x
para todo x s .
3) u w v = 0 si y slo si u y v son linealmente dependientes
PRUEBA. )u w v = 0 significa que (u w v) h x = 0 para to do x s
o sea

u v x

det[u,v,x] = 0 u v x = 0

u v x
como x s es cualquiera, se sigue entonces que algu n vector

u, o, v es mu ltiplo del otro por eje mplo u = v escalar
distinto de cero, de donde u-v = 0, 0, o sea u y v son
linealmente dependientes.
) Si u,v son linealmente dependientes existen ,
escalares no nulos tales que u + v = 0 o sea
u = (- )v = v
si 0 por ejemplo.
Ahora (u w v) h x = det[u,v,x] = det[v,v,x] = 0 u w v = 0
4) (u w v) u y (u w v) v
Esto es claro ya que
[u w v] h u = det [u,v,u] = 0 entonces (u w v) u.

Analogamente (u w v) v.
5) u w v 0 entonces {u,v,u w v} es una base positiva
En efecto:
det {u,v,u w v] = |u w v| > 0.
6) Sea u = (u ,u ,u ), v = (v ,v ,v )
u v u v u v
uwv = 4 d d , d 5
v d
,- d d
u3 v3 u v u
En particular
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 22

u v u v u v
|u w v| =
du + d + d
v d u v d u v d
Para ver esto basta examinar u w v con respecto a los vectores

de la base canonica {e ,e ,e }.

u v 1
u v
(u w v) h e = det [u,v,e ] = u v 0 = d
u v d
u v 0
gamente (u w v) h e
Analo y (u w v) h e
uhx vhx
7) (u w v) h (x w y) = d uhy v h yd
de esta propie dad se deja co mo un ejercicio.

La verificacion

8) Son validas las siguientes identidades
(u w v) w w = (w.u)v-(w.v)u
u w (v w w) = (u.w)v-(u.v)w
es cuestion
La verificacion de rutina y se deja al lector
2.3. EL TRIEDRO DE FRENET

Sea :0 s un camino parametrizado por la longitud de arco
esto es, | Z (s)| = 1 para to do s 0 o equivalente mente
(s) h Z (s) = 1 para to do s 0
Derivando la u ltima identidad tenemos

"(s). Z (s) b Z (s). "(s) = 0
para to do s 0 o en forma equivalente 2 Z (s) "(s) = 0 o sea
Z (s) h "(s) = 0 para to do s 0 . Esto significa que Z (s) es
orto gonal a "(s) , ie , Z (s) "(s) para to do s 0 .
Pue de acontecer que "(s) = 0 para to do s 0 en cuyo caso se
tendra Z (s) = constante para to do s 0 o sea que (s)= a.s
+b para to do s 0 , a,b vectores en s .
Esto significa que en este caso se obtiene un camino recto, o
una recta. Cuando "(s) 0, para todo s 0 , entonces existe
un vector unitario en la direccion de Z (s) dado por
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 23
"(s)
(s) = | "(s)|
llamado el VECTOR NORMAL, al camino en el punto (s).
De la u
ltima identidad se tiene
"(s) = | "(s)| h (s) (s) (s)
siendo (s) = | "(s)| y es llamada la CURVATURA del camino
en el punto (s) y nos indica la velocidad con la cual el
vector tangente se desplaza sobre el camino.
EJEMPLO. Sea :ss el camino definido por

(s) = (a cos sa , a sen sa )
de donde se tiene
Z (s) = (- sen sa , cos sa ), "(s) = (- 1a cos sa ,- 1a sen sa )
entonces | "(s)|= 1a y = (- cos sa , - sen sa ).
Se denotara t(s) Z (s) para todo s 0 , y el plano

determinado por t y es llamado PLANO OSCULADOR.
El producto vectorial t w es denotado por b(s) y se deno-
minara VECTOR BINORMAL, teniendose
"(s)|
t h t = (s) h (s) = 1, h = | "(s)|
Z Z "(s)
h | "(s)|
"(s)
= || "(s)| = 1,
"(s)
t h = '(s) h | Z (s)| = 0.
tht ht 1 0
b(s) h b(s) = (t w ) h (t w ) = d d = d = 1,
ht h 0 1d
b h t = (t w ) h t = 0
b h = (t w ) h = 0
se tiene
ademas
t w = b(s), b(s) w t(s) = (t w ) w t = (t h t) - (t h )t = , y,
w b = w (t w ) =( h )t - ( h t) = t.
Estas relaciones nos muestran que el conjunto {t(s),(s),b(s)}
forma un triedro, conocido como el TRIEDRO DE FRENET.
Estamos interesados en estudiar las derivadas de estos
vectores, con tal objeto tenemos
tZ (s) = "(s) = (s) (s)
por otra parte
bZ (s) = (t w )Z (s) = tZ (s) w (s) + t(s) w Z (s) = t w Z
pues,
tZ (s) w (s) = (s) w (s) = 0
Ahora {t(s),(s),b(s)} forma una base de s y bZ (s) s por
lo tanto,
bZ (s) = + t + b
donde,
= bZ h , = bZ h t = (t w ) h t = det(t,,t) = 0
= bZ h b = 0 pues b h b = 1
Z
Esto indica que b esta en el subespacio generado por .
DEFINICION 3. Llamaremos TORSION del camino en a un numero

real J tal que
bZ (s) = J
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 24
Algunas veces se cita la torsion como la segunda curvatura del
camino. Ademas nos da una manera de medir la tendencia del
camino a salirse del plano osculador.
Ahora Z (s) es un vector que se encuentra en el plano formado
por t y b, pues
Z (s) = xt + + yb
donde
Z h = , Z h t = x, Z h b = y
pero
Z h = 0 luego Z (s) = xt + yb
Sabemos que
b w t = , tht = 1 y th = 0
as
Z (s) = bZ w t + b w tZ = c J b c t
ya que
bZ w t = J w t = c J b
b w tZ = b w = c w b = c ( w (t w )) =
= c [( h )t c ( h t)] = c t
En resumen
tZ = , Z = c t c J b, bZ = J
o en forma matricial
Z
vt y v0 0 y vty
Z
= - 0 -J
w bZ z w 0 wbz
J 0 z
que son llamadas las FORMULAS DE FRENET.
2.4. CAMINO PLANO.

Un camino :0 s donde Z (s) = t(s) y el vector normal es
definido de tal manera que
(s) = it(s), tZ (s) = f"(s) = (s) (s)
es llamado un camino plano.
En este caso
f(s) = (x(s),y(s)),
t(s) = (xZ (s),yZ (s)) y (s) = ( c yZ (s),xZ (s))
que es usualmente denotado por it(s).
EJEMPLO.Sea (s)=(cos s,sen s), se tiene t = Z (s) = (-sen s,cos

s)
Se tiene entonces "(s) = (-cos s,-sen s) = i t(s) = (s)
entonces 1.
Ahora considere mos el camino opuesto, esto es,
(s) = (cos (s),sen (-s)) = (cos s,-sen s)
Z (s) = (-sen s,-cos s)
de donde
(s) = (cos s,-sen s) = iZ (s)
"(s) = (-cos s,sen s) = -
entonces
-1.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 25
TEOREMA 3. Sea ,J : 0 s, (s) > 0 funciones de clase 9B entonces existe un

camino :0 s tal que | Z | = 1, y J son respectivamente la curvatura y la
de .
torsion
DEMOSTRACION . Esta
demostracion envuelve teora de
existencia y unicidad de sistemas de ecuaciones diferenciales
ordinarias y es dejada por salirse de los propositos de este
trabajo.
Si ,:0 s son caminos con las mismas y J como curvatura y
torsion respectivamente entonces existe una transformacion T
tal que = T k .
Esto nos indica que dos caminos pueden tener la misma
curvatura y la misma torsion y sin embargo ser diferentes.
ss ss

t (t,ec! ) t0 t (t,0,ec! ) t>0
0 (0,0) 0 (0,0,0)

t (t,ec! ,0) t<0
DEFINICION 4. Un camino ELEMENTAL de clase 9 en s es

0 s de clase 9
CE una aplicacion
CE Z (t) 0 para todo t 0
CE es un homeomorfismo de 0 sobre (0 )
Una CURVA ELEMENTAL es el recorrido o la imagen de un camino elemental.
Una curva de clase 9 (1 r B) es un subconjunto de s que
localmente es una curva elemental de clase 9 .
2.5. COMENTARIOS
a) Debe notarse que una curva de clase 9 debe ser un
subespacio topolo gico de s , en otras palabras la topolo ga
definida en la curva es la de subespacio.
b)Se suele llamar a los caminos elementales,
parametrizaciones o sistemas locales de coordenadas.
EJEMPLOS

1) El grafico de una funcion :0 s de clase 9 , esto es,
~
? = (x, (x)) s ; x 0
es una curva, pues,
~
: 0 ?
t (t,f(t))
~
es tal que (0 ) = ?
~
c : ? I
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 26
c
es continua ya que = 1 O?
donde 1 :s s es la
primera 1 (x,y) = x la cual es continua. Por esto
proyeccion
es frecuente encontrar afirmaciones como: sea y = (x) una
curva .
2) La esfera S = (x,y); x + y = 1 es una curva 9 B , ya que
de cuatro funciones localmente homeomorfas a (-
es la reunion
1,1) que son de clase 9 B a saber:

N = grafico de la funcion y = j1-x definida en (-1,1) de
clase CB , S = grafica

de la funcion y = -j1-x definida en
c de clase 9 B E = grafica
de la funcion x = j1-y
B
definida en (-1,1) de clase 9 O = grafica de la funcion
x ~ c j1-y definida en (-1,1) de clase 9
B
3) Consideremos ahora un ejemplo de un subconjunto de s que

no es una curva de clase 9 . Para tal fin consideremos el
siguiente camino: :(0,B)s el cual definimos a
continuacion, pero antes hagamos una aproximacion de la

grafica
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 27
|
(t,sen 1t ), si 0 < t 2

(0 , t-2), si 1t < B

curva regular ligando los puntos ( 2 , 1) con c
% ~ } sin coincidir con los puntos de (t) ya descritos,

si 2 < t < 1. Esta curva debe ser elegida de tal forma

que :(0,B)s sea regular en los puntos c y
~ ( 2 ,1)
Esta no es una curva elemental ya que una vecindad de (t)
para 1 t < B es un sistema de segmentos del camino y as no
existe c y por lo tanto no hay homeomorfismo local.
As este ejemplo nos permite ratificar, como se dijo, que una
curva de clase 9 (r 1) en s es un conjunto C s tal que
localmente es una curva elemental o sea
(Dp C)(EV p/ V q C es una curva elemental de clase 9 )
DEFINICION 5. Sea U s una funcion de clase 9 de un abierto U de s en s. Sea

c s, se dice que c es un valor regular de en p(x,y) si
i) (p) = c . ii) C C
C x 0 , o , C y 0
TEOREMA 4. Si c es un valor regular de entonces c (c) = ) , o , c (c)

es una curva de clase 9 , {(x,y); (x,y) = c } es llamado una curva definida
implcitamente por x, y.
La demostracion sale de un teorema mas general que se
estudiara proximamente.

EJEMPLO. Sea (x,y) = x - y , y, x - y = c . Tenemos

C C
C x = 2x, C y = c 2y
no se anulan simultaneamente salvo en el caso x = y = 0 .

Esta es una familia de hiperbolas, y son curvas definidas
implcitamente. Un aspecto de las curvas de nivel lo
apreciamos en la figura.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 28
La recproca del teorema anterior no es verdadera como lo

vemos en el siguiente ejemplo
(x,y) = x
C = 0, C
Cy C x = 2x
c
En cero, (0) = (x,y) s ; x = 0
es el eje de las ordenadas y (0,0) no es un valor regular
pues
C C
C y (0,0) = 0 , C x (0,0) = 0.
Sea U s un abierto y :Us una funcion de clase 9 (r 1)

Como se sabe c s es un valor regular de en p = (x,y) si
i) (p) = c
ii) C C
C x (p) 0, o , C y (p) 0
Esto nos lleva a la intro duccion de un nuevo vector llama-
do gradiente de dado por
grad (.) = ( C C
C x (.), C y (.) )
As tenemos, si P = (x,y) y c es un valor regular entonces
(p) = c grad (p) 0
Cuando c es un valor regular de
C5 = - (c) = {(x,y) U; (x,y) ~ c}
es una curva de clase 9 llamada CURVA DE NIVEL.
DEFINICION 6. Sea C una curva en 9 y P C. Sea 0 C una parametrizacion en

torno de P. El espacio vectorial tangente a C en P , notado
T7 C. . s h Z (t ) (t ) = P
es el espacio vectorial generado por el vector velocidad Z (t ).
Se denomina espacio tangente a C en P al transladado de T7 C por P , esto es P+T7 C que
sin muchos comentarios en la mayora de las ocasiones tambien se denota T7 C.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 29
DEFINICION 7. El espacio vectorial NORMAL de C en el punto P es denotado por

N7 C. .T7 C y es el complemento ortogonal del espacio tangente a la curva C , el
n-1.
cual tiene dimension
PROPOSICION 2. Sea U s un abierto, :Us una funcion de clase 9 (r 1)

-
a s un valor regular. Considerese
(a) = C , tomese
P C; el espacio vectorial

tangente a C en P es el nucleo
de la aplicacion
Z
(p)| : s s
v Z (P)v
DEMOSTRACION. 1.Sabemos que
Z (P) h v = lim (P+tv)tc (P))
!0
con P en la direccion de v.
2. Sea :0 C una parametrizacion de C en torno de P, esto es
,
(t ) = P para algu n t I
3. Considere mos la aplicacion co mpuesta k : 0 s
la cual es constante pues

( k )(t) = ((t)) = a
esto dado que (t) C = - (a)
4. Derivando k , para lo cual se aplica la regla de la
cadena, obtenemos
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 30
Z Z Z
( k ) (t) = ((t)) h (t) = 0 Dt I
En particular en t , tenemos
Z (P) h Z (t ) = 0 (*)
Z Z
5. xW T7 C xW = (t ) pues T7 C . . s h (t )
Ahora
Z (P)(Z (t )) = Z (P) h Z (t ) =

0 = 0
i
esto significa que xW ker Z (P) , teniendose as que
Z
T7 C ker (P)
6. Recprocamente sea v ker Z (P)|* esto significa que
v s q C y (P) h v = 0. De 4. tene mos que v ~ Z (t )
Z
v s h Z (t ) de donde v T7 C, as ker Z (P)|* = T7 C.
COROLARIO 1. Sea :U s s es una funcion de clase 9 k ( 1) a s es un

valor regular de . Consideremos - (a) = C entonces grad (P) T7 C para todo
P C.
DEFINICION 8. Sea U s un conjunto abierto, :Us una funcion a una variable

real de clase 9 ( 1). Sea C una curva definida en U de clase 9 . Aquellos puntos en
donde |* toma valores maximos,
son llamados puntos
mnimos o puntos de inflexion
ESTACIONARIOS pues en ellos la velocidad es nula.
Un problema interesante en la geometra diferencial es el
estudio de la localizacion de los puntos estacionarios de
f|* .
Con tal objeto sea p C y :0 C una parametrizacion de C tal
que (to ) = p, to I. As p C es estacionario para |C si
(f k )Z (to ) = 0, o sea (usando la regla de la cadena)
Z ((t )) h Z (t ) = Z (P) h Z (t ) = 0

Esto significa que los vectores tangentes a C estan en el
cleo de Z (P) y se tiene grad (P) h Z (t ) = 0.
nu
De esta relacion conclumos un resultado para la localizacion

de estos puntos estacionarios:
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 31
P C es un punto estacionario de |* s y solo si los
vectores tangentes a C en el punto P son perpendiculares al
grad (P)
Si se desea obtener puntos estacionarios condicionados
entonces se considera :Us una funcion de clase 9 (k 1),
a s un valor regular, sea
C = - (a) = {(x,y); (x,y) ~ a}
Sabemos que
1. grad (P) v v T7 C PC (corolario 1)

2. Si :Us es de clase 9 Us y P C es un punto
estacionario de |* entonces
grad (P) v, v T7 C
De estas dos afirmaciones se recibe que existe s tal que
grad (P) = grad (P) (*)
Este es llamado UN MULTIPLICADOR DE LAGRANGE.
La igualdad (*) es llamada identidad de LAGRANGE.
EJEMPLOS.
1. Sea :s s una forma cuadratica con coeficientes
constantes dada por (x,y) = ax + 2 bxy + cy .
Sea C ~ {(x,y) s ; (x,y) ~ x + y ~ 1} una curva en s . Hallar
los puntos estacionarios de en C.
DEMOSTRACION. Tenemos
: s s
(x,y) x + y
as C = - (1), por lo tanto los puntos estacionarios de |*
se hallan mediante la identidad de Lagrange, esto es
grad = (2 a x + 2 b y, 2 b x + 2 c y)
grad = ( 2 x , 2 y )
debe hallarse tal que grad f = grad esto conduce al
siguiente sistema
+ by = x a b x x x
4 ax
bx + cy = y 5 > b c ? > y ? = > y ? = > y ?
Sea
a b
A = > , P = (x,y)
b c?
anterior se escribe en la forma
entonces la ecuacion
AhP = P
Por lo tanto, P = (x,y) es un punto estacionario si y
solamente si P es un vector propio de la matriz A.

Po demos concluir que el maximo y el mnimo de (x,y) en el
crculo unitario x + y = 1 son respectivamente el mayor y el
menor valor propio de A.
2. Hallar los puntos de la esfera x + y + z = c en los
(x,y,z) = x y z alcanza su valor maximo.
cuales la funcion
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 32

Calcular ese maximo. Concluir que la media geometrica de tres
nu
meros positivos no excede a su media aritmetica.
PRUEBA. Es inmediato que la identidad de Lagrange es valida

en s por lo tanto sea (x,y,z) = x + y + z , la esfera sera
entonces - (c).

Para obtener los maximos o mnimos se debe hallar tal que
grad = grad .
o equivalentemente
(2 xy z ,2 x yz ,2 x y z) = (2 x,2 y,2 z)
de donde se tiene
2 xy z = 2 x entonces x y z = x
2 x yz = 2 y entonces x y z = y

2 x y z = 2 z entonces x y z = z

Sumando termino
a termino las u ltimas igualdades tenemos
3 x y z = (x + y + z ) = c

o sea que,
x y z = 3c (1)
se tiene
Ademas
x = y = z = x y z (2)
De (1) y (2) se recibe que
x = y = z = C3
o sea que
x = y = z = C3
de donde tenemos
x = y = z = f j C3 .
As tenemos entonces que
C
(x,y,z) = ( f k C3 ) ( f k C3 ) ( f k C3 ) = 27 .

Este valor es maximo ya que el mnimo se encuentra en el
punto
(0,0,0).
Esto nos implica que
f(x,y,z) f( f k C3 , f k C3 , f k C3 ) Dx, Dy, Dz
o sea que

x y z 27
c
= (x + y 27+ z )
de donde se tiene

j
xyz x + y3 + z

o sea que la media geometrica de nu meros positivos es menor o

igual a la media aritmetica, lo cual se quera demostrar.
APENDICE 1
Sea U s un conjunto abierto, :Us una funcion con
valores reales. Diremos que posee un maximo
local en el punto
x U cuando existe una vecindad V de x tal que (x) (x )
para todo x V. Cuando (x) < (x ) para todo x x en U,
diremos que f posee un MAXIMO ESTRICTO (o absoluto).
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 33

De manera analoga se define un mnimo local para una funcion
:U s
Cuando :Us es diferenciable, todo maximo
local o mnimo
local en x U tiene que ser un punto crtico, es decir, se
debe tener Z (x ) = 0.
No es verdad que una funcion diferenciable :Us tenga que
poseer un maximo local o mnimo local en cada uno de sus
puntos crticos, por ejemplo (x,y) = x - y tiene un punto
crtico en (0,0) pero (0,0) no es maximo local ni mnimo
local de .
Sea x U s un punto crtico de una funcion de clase 9

:Us, la segunda derivada "(x ):s (s ,s) es una forma

bilineal simetrica llamada una FORMA HESSIANA de en x .
Sea :Us una funcion dos veces diferenciable, x U un
punto crtico de , si "(x ):s (s ,s) es un isomorfismo,
diremos que x es un PUNTO CRITICO NO DEGENERADO, en este caso

su matriz HESSIANA 4 C xC Cx 5 tiene determinante no nulo en el
punto x .
Si la forma Hessiana "(x ) es definida positiva, esto es
( "(x ) h U) h U > 0 para todo U 0 en s , entonces el punto
crtico x es necesariamente no degenerado.
2.6. CRITERIO DE LOCALIZACION DE PUNTOS ESTACIONARIOS.

Sea :Us una funcion de clase CB , U s un abierto. Sea
x U un punto crtico de y () (x ) la derivada de menor

orden no identicamente cero. Entonces,
i) Si es impar, no posee ni maximo ni mnimo local en x .
( ) ( ) ( )
ii) Si es par y (x ) h u > 0 (u =
(u,u,...,u) )
k-veces

para todo u 0 en s entonces posee un mnimo aislado en el

punto x . Un enunciado analogo
vale para maximo, con menor
que, en lugar de mayor que.
iii) Si posee un mnimo local en x entonces () (x ) h u() 0
para todo u U s . Analogamente

para un maximo local.
casos nada se puede afirmar .
iv) En los demas
EJEMPLOS.
1) Sea :s s definida por (x,y) = 1- x , (x,y) = (0,0) es
un punto crtico, Z (x,y) = (-2x, 0) en (0,0) tenemos
Z (0,0) = (0,0)
Ahora ZZ (x,y) = ((-2,0),(0,0)) = (-2, 0, 0, 0)
ZZZ (x,y) = 0
Por ii) del criterio de localizacion nos dice que k = 2 por
lo tanto en x = (0,0) hay un maximo o un mnimo local.
Ahora
"(0,0) u = ( "(0,0) h u) h u = ((-2,0) h u,(0,0) h u) h u
= (-2u ,0) h (u ,u ) = - 2 u < 0
Luego en (0,0) la funcion toma maximo
local.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 34

2) Sea :s s definida por (x,y) = x - y
Sabemos que (0,0) es un punto crtico, analicemos que tipo de
punto crtico es. Sabemos que
Z (x,y) = (2x,-2y)
y que "(x,y) = ((2,0),(0,-2)) , en particular para
(x,y)=(0,0) tenemos "(0,0) = ((2,0),(0,-2)). As ZZZ (x,y) = 0
por lo tanto k = 2. Segu n el criterio ii) de localizacion

debemos estudiar el signo de "(0,0)u con u s c {0}.
"(0,0)u = ((2,0)(u ,u ),(0,-2)(u ,u )) h (u ,u ) =
= (2u ,-2u ) h (u ,u ) = 2u - 2u2 .
Tomando puntos u = (x,x), con x s - {0} tenemos que
"(0,0)u = 2x - 2x = 0
Para puntos u = (x,0), con x s - {0} se tiene
"(0,0)u = 2x > 0
Finalmente para puntos de la forma u = (0,+x) con x s - {0}
tenemos que
"(0,0)u = -2 x < 0
Luego "(0,0)u to ma to dos los signos se gu de
n la eleccion

u s c {0}. Por lo tanto (0,0) no es ni maximo ni mnimo
local.
EJERCICIOS
1.- Sean a,b:0 s caminos diferentes y a w b:0 s definido
por (a w b)(t) = a(t) w b(t) mostrar que
(a w b)Z = aZ (t) w b(t) + a(t) w bZ (t).
2.-Mostrar que las tangentes a la curva parametrizada
regular (t) = (3t,3t ,2t ) hacen un
angulo constante
con la recta y - z - x = 0.
3.-Dada la curva parametrizada (s) = (a cos sc , a sen sc , b sc )
donde c = a + b , a 0
a. Mostrar que el parametro s es la longitud de arco.
b. Determinar la curvatura y la torsion de .
c. Determine el plano osculador de .
d. Muestre que una recta que contenga a (s) encuentra al

eje 0z en un angulo constante e igual a .
e. Muestre que la tangente a hace un angulo constante con
el eje 0z
4.- Mostrar que la torsion J de : 0 s parametrizada por
la longitud de arco es dada por
J (s) = c '(s)(k(s))
w "(s)h "(s)

donde k(s) es la curvatura de .

5.-Pruebe que a) es una helice si y slo si Jk = constante.
b) es una helice si y slo si las rectas que contienen
(s) son paralelas a un plano fijo.
c) es una helice si y slo si las rectas que contienen

b(s) hacen un angulo constante con una direccion fija.
d) La curva f(s) = ( ac sen (s) ds, ac cos (s) ds, bc s) donde
a + b = c , es una helice si k
J = a
b
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 35
6.-Muestre que una condicion necesaria y suficiente para que
(0 ) este sobre una esfera es que R b (RZ ) T = constante donde
R = k , T = J y RZ es la derivada de R en relacion a s y
RZ (s) 0 para todo s .
7.-Dada la funcion diferenciable k(s), s I, mostrar que la
curva parametrizada plana que tiene k = k(s) por curvatura es
dada por
(s) = ( cos (s) ds + a, sen (s) ds + b)
donde (s) = k(s) ds + y la curva esta determinada a
menos de una transformacion del vector (a,b) y de una
rotacion del angulo
. Use este hecho para determinar la curva
(espiral logartmica) dada por k(s) = s .
8.-Usar los metodos de multiplicadores de Lagrange para

localizar los maximos y mnimos de
a) (x,y) = ax + by en el crculo unitario.
b) (x,y) = x + y en la curva x + y = 1
c) (x,y) = x + y en la curva x + y = 1 x > 0, y > 0

9.-Sea :0 s una curva parametrizada, regular y con
curvatura k 0. Si un plano P satisface las dos condiciones
siguientes:
i) P contiene a la tangente de en s.
ii) Para toda vecindad U 0 de s existen puntos de (U)
de ambos lados de P.
Entonces P es el plano osculador de en s.
10.-Demuestre el corolario 12.
3. FUNCIONES DIFERENCIABLES DE s EN s
3.1 SUPERFICIES REGULARES
El objeto de este paragrafo es el estudio de las superficies

regulares, la totalidad de los conceptos y resultados aqu
expuesto son debidos a C.F. Gauss en sus trabajos realizados
en 1827 y la contribucion consiste unicamente en desarrollar
instrumentos que permitan presentar tales resultados de
acuerdo al lenguaje contemporaneo.

3.1- Sea V0 cs un conjunto abierto :V V s tal que
SE : 9 (k 1). Esto significa que si
(u,v) = ( x(u,v),y(u,v),z(u,v) )
entonces cada una de las funciones componentes (o coordenadas)
x(u,v),y(u,v),z(u,v) son de clase 9 .
SE : es un homeomorfismo de V sobre V.
SE : Z (u,v):s s es una transformacion lineal inyectiva
o sea que su matriz asociada Z (u,v) tiene rango 2(dos)

o tambien
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 36
C
Cu = (u,v) h = ( CC ux , CC uy , CC uz )
Z
e
C Cx Cy Cz
Cv = Z (u,v) h e = ( Cv , Cv , Cv )
son vectores linealmente independientes.

de clase 9 ( 1)
En estas condiciones es una parametrizacion
de V; y V es llamada una SUPERFICIE ELEMENTAL PARAMETRIZADA por
de clase 9 .
OBSERVACIONES. 1. El subconjunto V s debe ser un

subespacio de s o sea debe estar dotado de la topologa de
subespacio.
2. Es comu n llamar a la pareja (V ,) carta local y a V una
vecindad coordenada .
3. Que sea de rango 2, es tambien equivalente a afirmar que
C C
Cu w Cv 0.
DEFINICION 1. Sea S s , si para cada punto p S existen una vecindad V de p en

s , un abierto V de s y una aplicacion
:V V q S tal que V q S es una superficie
elemental parametrizada por de clase C ( 1) entonces decimos que S en una
SUPERFICIE REGULAR.
EJEMPLO. Vamos a mostrar que la esfera
S = {(x,y,z) s : x + y + z = 1}
es una superficie regular.
FIGURA 1
La figura 1 nos representa una octava parte de la esfera S en
donde se obtiene que
x = rZ cos y = rZ sen
Z
r = 1 h cos(90-) = sen z = 1 h sen(90-) = cos
entonces tenemos
x = sen cos , y = sen sen , z = cos.
Entonces verifiquemos que la aplicacion :Us dada por
(,) = (sen cos, sen sen, cos)
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 37

donde U es el rectangulo abierto del plano
U = {(,): 0 < < y - < < }

es una parametrizacion. Obsrvese que (U) esta constituda
por los puntos de la esfera que no estan sobre el semiplano
~ 0 (el cual incluye los puntos (0,0,1) y (0,0,-1)).
Es claro que las funciones sen cos , sen sen y cos admiten
derivadas parciales de todos los ordenes, luego es
diferenciable de clase CB . Ademas para que los determinantes
jacobianos
C (x,y) cos cos cos sen

= d = sen cos
C ( ,) -sen sen sen cos d
C (y,z) cos sen -sen

= d sen cos = sen cos
C ( ,) 0 d
C (z,x) -sen cos cos

= d = sen sen
C ( ,) 0 -sen sen d

sean simultaneamente nulos, es necesario que
sen cos + sen cos + sen sen = sen cos + sen =

= sen (sen + sen ) = sen = 0

lo cual nunca sucede en U as tenemos verificadas las
condiciones (1) y (3) de la definicion.
La verificacion de la condicion (2) en general es de mayor
cuidado. En este caso sabemos que
x = sen cos y = sen sen z = cos

Ademas
sen = 2 sen 2 cos 2
cos = 1- 2 sen 2
por lo tanto
x = sen -2 sen sen 2
y = 2 sen sen 2 cos 2
o sea que
sen - x = 2 sen sen 2
y = 2 sen sen 2 cos 2
as dividiendo estas dos u ltimas identidades entre si se
tiene
j1-z - x 2 sen sen 2
sen - x
y = y = 2 sen sen 2 cos 2
= tg 2
De estas identidades tenemos que - es dada explcitamente

por
j1- z - x
= arc cos z , 2
= arc tg y
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 38
Verifiquemos que - k es la identidad en v; en efecto,

- ( (,)) = - (sen cos ,sen sen ,cos )
j1-cos -sen cos
= (arc cos (cos ),2 arc tg sen sen )
- sen cos
= ( , 2 arc tg sensen sen )
cos
= ( , 2 arc tg 1-sen )
= ( , 2 arc tg(tg 2 )) = ( , 2 2 ) = (,)

pues
1 - cos
sen = tg 2
Es claro que - es continua.

De manera analoga se verifica que :vs dada por
) = (sen sen
,sen cos
,cos )
( ,
pues en la figura 2 tenemos,
cos(90- ) = x x = r sen
r
y
sen(90-) = r y = rcos
cos(90-) = r r = sen
sen(90-) = z z = cos
FIGURA 2
< ,
donde v es el
rectangulo 0 < < , - < es una

de S cuya vecindad coordenada, contiene los
parametrizacion
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 39
puntos del semimeridiano = 0 con excepcion de los polos
(0,0,1), (0,0,-1) .
Para obtener finalmente una vecindad coordenada que contenga
~
dada por
los puntos omitidos tomaremos la parametrizacion
la figura 3
FIGURA 3
donde se tiene
y = r cos ~
(ver triangulo PEP')
z = r sen ~
(ver triangulo PEP')
~
r = sen
(ver triangulo OPE)
~
x = cos
~ ~
As :vs queda definida por
~ ~ ~ ~ ~ ~ ~ ~)
( ,) = (cos ,sen cos , sen sen
~ ~ ~ < )
donde v es el abierto ( 0 < < , - <

De esta forma la esfera S queda cubierta por tres vecindades
~
coordenadas mediante , y , lo que muestra que S es una
superficie regular.
El ejemplo anterior nos pone de manifiesto las dificultades
que se presentan para mostrar la condicion SE de la

definicion de superficie elemental de clase 9 , esta es la

razon que nos inclina a establecer resultados que
simplifiquen un poco la verificacion de superficie elemental,

el proximo teorema afirma que las condiciones SE y SE
implican la condicion SE y siendo un resultado sorprendente,

es de gran utilidad practica.
TEOREMA Sea S una superficie regular. v un subconjunto contenido

en S, : v v = (v ), v s abierto , C tal que
C C
i) Cu w Cv 0
ii) es uno a uno ( o existe - ).
Entonces es un homeomorfismo de v sobre v = (v ) y v es
abierto.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 40
DEMOSTRACION. Basta mostrar que es abierta, pues en ese
caso - es continua y por consiguiente v, resulta abierto.
FIGURA 4
A continuacion exponemos los pasos a seguir.

1. Sea P v un punto arbitrario pero fijo de v y
consideremos P = (P ) v la imagen de P por .
2. Como S es una superficie regular y P S existe V P
vecindad parametrizada por : V V.
3. Puesto que P V q v, existe W , W v donde se
puede considerar - k : W V , teniendose

3.1 - k es uno a uno, por ser co mpuesta de dos funciones
inyectivas.
3.2 - k es de rango 2, esto es una consecuencia de la re gla
de la cadena y del hecho de que ambas son de rango 2. As,
(- k )Z (P ) : s s
es un isomorfismo
3.3 Por el teorema de la funcion inversa - k es un
~
difeomorfismo de W P abierto conteniendo a P sobre
- -
W ( k )(P ) = q abierto conteniendo a q = ( k )(P )
4. = k (- k ):W~
W v q V es un homeomorfismo.
5. Tomando W = (W ) entonces W es un abierto de S contenido
en v y que contiene a P.
De lo anterior obtenemos que para cada P v existe un
abierto ~ W de P tal que ~ ) es un abierto, obteniendose
(W
as que es una aplicacion abierta.
Al tomar un libro de calculo se encuentran con mucha

frecuencia frases como esta: Sea U s un abierto,
consideremos la superficie z = (x,y), (x,y) U esta
proposicion es correcta y tiene su explicacion geometrica
y
analtica en nuestro siguiente teorema:
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 41
TEOREMA Si : vs es una funcion diferenciable de clase 9 (k 1)

en un abierto v de s , entonces el grafico
de es una superficie regular.
DEMOSTRACION. Sea S = (x,y,z) s /(x,y) v, z = (x,y) o

sea el grafico de . Mostremos que la aplicacion
: vS
definida por f(u,v) = (u,v,(u,v)) es una parametrizacion de
S, y claramente f(v) = S
Se tiene:
C (x,y) 1 0
C (u,v) = d 0 1 d = 1 0
Esto implica que es de rango 2, ahora sea & :s T s

definida por & (x,y,z) = (x,y) la proyeccion tercera, sabemos
que es continua; tomando
- = & |:
tenemos - (f(u,v)) = - (u,v,(u,v)) = (u,v) por ser -
continua se sigue que es un homeomorfismo de v sobre
(v)=S. Como 9 obtenemos que 9 por lo tanto S es una
superficie regular.
OBSERVACION. La aplicacion f(u,v) = (u,v,(u,v)) es
frecuentemente deno minada aplicacion de MONGE.
DEFINICION Dada una funcion diferenciable :v s s definida en un abierto

v s se dice que p v es un PUNTO CRITICO de cuando Z (p) = 0. La imagen

(p) s es llamado UN VALOR CRITICO de . Un numero

real a s se denomina
valor REGULAR de cuando
i) existe p v tal que (p) = a
ii) Z (p) 0
OBSERVACION. Si a s es un valor regular de :v s s y
- (a) = P = (x,y,z) v ; (x,y,z) = a
entonces para todo P - (a), se tiene grad (P) 0.
En el paragrafo 2. estudiamos las curvas de nivel de una
funcion a valor real de clase 9 , nuestro proximo resultado
tiene el proposito de establecer una generalizacion de lo ya
analizado para las curvas a este respecto.
TEOREMA Si :v s s es una funcion diferenciable y a - (v) es un

valor regular de , entonces - (a) es una superficie regular.
DEMOSTRACION. i) Sea P = (x ,y ,z ) - (a), de la observacion
anterior se tiene grad (P) 0, as es posible suponer,
reenumerando los ejes si es necesario, que
' (P) = C Cz (P) 0
ii) Definimos a continuacion una funcion:

F:v s s
mediante
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 42
| u=x
F(x,y,z) = } v=y
~ t= (x,y,z
FIGURA 5
donde hemos indicado (u,v,t) las coordenadas de un punto de s

en la cual F toma sus valores.
iii) F es una funcion diferenciable pues cada una de sus
funciones coordenadas es diferenciable, y su derivada es dada
por:
v 1 0 0 y
Z 0 1 0
F (x,y,z) =
w % & ' z

ademas
det(FZ (x,y,z)) = ' (x,y,z) = C
C z (x,y,z).
Z
iv) En el punto P se tiene det(F (P)) 0 .
Podemos por lo tanto aplicar el teorema de la funcion
inversa, que garantiza la existencia de abiertos V que
contiene a P y W que contiene a F(P) tales que F:VW es
-
inversible y la inversa F : WV es diferenciable.
v) Se sigue que las funciones coordenadas de F- esto es, las
funciones
|x ~ u
-
F (x,y,z) ~ } y ~ v u,v,t W
~ z ~ u,v,t

son diferenciables de clase C .
: Pr3 (V)s mediante
vi) Se define una aplicacion
(x,y) = (x,y,a)
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 43
por Pr3 indicaremos a la aplicacion tercera proyeccion. La
esta
aplicacion bien definida dado que la funcion esta
bien definida pues es dada por el teorema de la funcion
inversa, de donde tenemos que es diferenciable de clase 9 .
vii) Consideremos ahora
F( - (a) q V) = F( - (a)) q F(V) = F( - (a)) q W
= W q (u,v,t); t = (x,y,z) = a
as
- (a) q V = F- ( W q {(u,v,t); t=a}) =
= (x,y,z) V / z = (x,y,a)

en palabras el grafico de es - (a) q V.
viii) Del teorema 3.4 se sigue que - (a) q V es una superficie
elemental de - (a) en P.
ix) Por lo tanto, todo P - (a) puede ser cubierto por una
vecindad coordenada, lo cual muestra que - (a) es una
superficie regular.

x
EJEMPLOS. 1. El elipsoide a + yb + cz = 1 es una
superficie regular.
En efecto, el elipsoide es el conjunto - (0), donde
x y z
(x,y,z) = a + b + c - 1
la cual es una funcion diferenciable, y 0 es un valor regular

de , pues las derivadas parciales
% = 2x
a , & = 2y
b , ' = 2z
c

solamente son cero simultaneamente en el punto (0,0,0), el
-
cual no pertenece a (0).
2. El hiperboloide de dos hojas z - y - x = 1 , es una
-
superficie, pues es dada por f (0), donde 0 es un valor
regular de
(x,y,z) = z - y - x - 1
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 44

Observese que la superficie no es conexa, esto es, dados
puntos distintos en hojas distintas no es posible ligarlos
con una curva continua contenida en la superficie.
OBSERVACION. Sea U s , una funcion de clase 9 , es posible

que se tenga:
a) - (a) sea una superficie regular y
b) sin embargo a no es un valor regular.
Para ilustrar esta observacion consideremos el siguiente
ejemplo:
Sea : s s la funcion
dada por

z - e-1/(x +y ) si (x,y,z) (0,0,z)
f(x,y,z) = F
z si (x,y,z) = (0,0,z)

Consideremos S = (x,y,z) s ; f(x,y,z) = 0
4x +y 5
z=e si x,y
= H(x,y,z) s 0 I
z=0 si x,y=

o sea es el grafico de la funcion

: s s
(x,y) (x,y) = z
la cual es una funcion que admite derivadas parciales

continuas de todos los ordenes, luego S es una superficie
regular.
Ahora en el punto (0,0,0) tenemos
C C C
Cx (0,0,0) = Cy (0,0,0) = Cz (0,0,0) = 0
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 45
esto implica que (0,0,0) no es un valor regular de . Sin
embargo - (0,0,0) = S, es una superficie regular.
APLICACIONES.

a) Muestrese que si P es un punto de una superficie regular
de s , existe una vecindad V de P en s tal que V q S puede ser

expresado en una de las formas

z = (x,y), y = (x,z), o, x = h(y,z)
donde ,,h son funciones diferenciables de clase 9 (k 1).
SOLUCION. Sea S una superficie regular de s , y P S entonces
existen U s ,V s subconjuntos abiertos con P V y tales
que
: UV q S (u ,v ) = P
(u,v) (x(u,v),y(u,v),z(u,v)),
es una parametrizacion de S en torno de P de clase 9 ,

teniendose
i) Para cada punto de (u,v) U
Cy T
Cx Cz
Z Cu Cu Cu
d. . (u,v) = @ Cx Cy Cz A
Cv Cv Cv
es una matriz de rango dos.

ii) Se sigue de i) que uno por lo menos de los tres
jacobianos siguientes es diferente de cero
C (x,y) C (x,z) C (y,z)
C (u,v) , C (u,v) , C (u,v)
iii) Supongamos que

C (x,y)
0
C (u,v)
iv) Se define la aplicacion : Us
(u,v) (x(u,v),y(u,v))
la cual es una aplicacion de clase 9 , teniendose
segu
n iii)
que
det(d) = det(Z (u,v)) 0
En particular en el punto q = (u ,v ), det(Z (q)) 0, de donde
Z (q):s s es un isomorfismo.
v) Estamos en las hipotesis del teorema de la funcion
inversa, as existe un abierto V' U y un abierto W (u ,v ),
W s tal que :V'W es un difeomorfismo.
vi) Consideremos ahora la aplicacion : S s s
(x,y,z) (x,y)
B
que como es sabido es de clase 9 , pues es una aplicacion
lineal.
vii) Consideremos el cilindro T de base W dado por
- (W) = T s
(viii) Co mo es un difeo morfismo, po de mos construr la
parametrizacion de S dada por
: WT q S
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 46
(x,y) (x,y, (x,y))
donde (x,y) es una funcion de clase 9 por definir.
de . Sea pr3 : s s que es una aplicacion
ix) Definicion de clase

9 dada por pr (x,y,z) = z
FIGURA 7
Tomamos :Ws mediante (x,y) = (pr3 k k - )(x,y). As es
una funcion diferenciable de clase 9 ( 1) tal que
z ~ f(x,y).
x) Usando el mismo argumento obtenemos funciones h y g tales
que
x = h(y,z), y = (x,z)
segun que se suponga
C (y,z) C (x,z)
C (u,v) 0 , 0. o , C (u,v)
b). Supongamos que (x,y,z) = u = constante, (x,y,z) = v =

constante, h(x,y,z) = w = constante describen tres familias
de superficies regulares y las cuales en el punto (x ,y ,z )
tienen el jacobiano
C ( ,,h)
C (x,y,z) 0.
Probemos que en una vecindad de (x ,y ,z ) las tres familias
pueden ser descritas por una aplicacion F(u,v,w) = (x,y,z) de

s en s donde una parametrizacion local para una superficie
de la familia (x,y,z) = u por ejemplo, es obtenida haciendo
u = constante en esas aplicaciones.
PRUEBA. i) Se define F : s s
(x,y,z) (u,v,w)
ii) F esta bien definida, pues si (x,y,z) = (x',y',z')
entonces
(x,y,z) = u = (x',y',z')
(x,y,z) = v = (x',y',z')
h(x,y,z) = w = h(x',y',z')
pues , , h son funciones, as F (x,y,z) = F (x',y',z')
iii) F es de clase 9B , pues u,v,w son constantes.
iv)
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 47
T T
Cg
v Cx
Cu Cv
Cx
Cw
Cx y v CC fx Cx
Ch
Cx y
x Cf {
F1 (x,y,z) = x CC uy
' Cv
Cy
Cw
Cy
{ = x Cy Cg
Cy
Ch
Cy {
w Cu Cv Cw z w CC fz Cg Ch z
Cz Cz Cz Cz Cz
En el punto (x ,y ,z ) tenemos
C (f,g,h)
det(F'1 (x ,y ,z )) = C (x,y,z) c(x ,y ,z ) 0

v) Por el teorema de la funcion inversa existen U (x ,y ,z )
abierto , V F (x ,y ,z ) abierto tal que F :U V es un
difeomorfismo sobre.
vi) Existen F-1 -1
1 : VU definida por F1 (u,v,w) = (x,y,z)
vii) Basta tomar F-11 deseada.
= F como la funcion
El siguiente teorema constituye uno de los resultados

fundamentales del presente paragrafo, es una propiedad que
caracteriza a las variedades diferenciables y si pensaramos
en forma mas general este teorema nos mostrara que una
superficie es una variedad de dimension
dos, ademas este
resultado permite definir aplicaciones entre superficies y

mas de un centenar de propiedades fundamentales entre
superficies.
TEOREMA 4. DE CAMBIO DE COORDENADAS

Sea p un punto de una superficie regular S y sean
: U s s y : U s s
dos parametrizaciones de S tales que p (U) q (U) = W. Entonces el cambio de
coordenadas h = - k :- (W) - (W) es un homeomorfismo diferenciable de
clase 9 y hZ (q)
es un isomorfismo para todo q - (W).
DEMOSTRACION. Distinguimos los siguientes pasos:
i) Es claro que h = - k es un homeomorfismo, pues se trata
de un compuesto de homeomorfismos.
No es posible conclur por analoga que h es diferenciable,
pues - esta definida en S y au n no sabemos lo que significa
que una funcion sea diferenciable sobre un abierto de una
superficie.
FIGURA 8
= - (p) y q = h(q)
ii) Sea q ((q) = p) como
(u,v) = (x(u,v) , y(u,v) , z(u,v)) , (u,v) U

es una parametrizacion, podemos admitir que
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 48
C (x,y)
C (u,v) 0 en q
iii) Vamos a extender a una aplicacion

: U d ss
(u,v,t) (x(u,v) , y(u,v) , z(u,v) + t)
Es claro que es diferenciable y que |Ud{0} =
Calculando el determinante jacobiano en p tenemos
Cx Cy
Cz
Cu Cu Cu
Cx Cy Cz = C (x,y,z)
0
Cv Cv Cv C (u,v)

0 0 1

iv) Es posible, por lo tanto aplicar el teorema de la funcion
inversa el cual garantiza la existencia de una vecindad
abierta V de (q) = p en s , tal que - existe y es
diferenciable en V.
FIGURA 9
v) Por continuidad de y para la vecindad abierta V de p,
existe V U de q tal que (V) V. Obteniendose
que
-
hOV ~ k OV
c -
es la compuesta de aplicaciones diferenciables, se concluye
que h es diferenciable en q.
Como q es arbitrario, h es diferenciable en - (W).
vi) Para probar la afirmacion final sobre la
diferenciabilidad de h, basta observar que el argumento
anterior puede ser aplicado para mostrar que h- es
diferenciable en q - (W).
Como h- k h = identidad, se sigue que (h- )Z (q) k (hZ )(q) es la
Z
lineal identidad, de donde h (q) es un isomorfismo.
aplicacion
DEFINICION Sea :V Ss una funcion definida en un abierto V de una superficie

regular S, se dice que es DIFERENCIABLE en p V cuando para alguna parametrizacion
U s s con p U , la compuesta k U s es diferenciable en
cualquier punto p V .
Se sigue del teorema de cambio de coordenadas que la
definicion 3 no depende de la eleccion de la
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 49
parametrizacion, pues si :UV
S es otra parametrizacion

de S tal que p V, entonces k es diferenciable ya que
k =( k ) k ( - k ) es compuesta de funciones diferenciables.
FIGURA 10
Daro Snchez H GEOMETRIA DIFERENCIAL EN G 49
DEFINICION 4. Se dice que una aplicacion : V S S de un abierto V de

una superficie regular S en una superficie regular S es DIFERENCIABLE en p V si
dadas las parametrizaciones
U s V S , U s V S
2-1 k k U U es diferenciable
con p (U ) y (p) (U ), la aplicacion
en q = 1c1 (p). es diferenciable en V , cuando es diferenciable en cualquier punto
p V .
DEFINICION 5. Dos superficies regulares S y S son llamadas DIFEOMORFAS si

existe una aplicacion diferenciable S S con inversa c S S
diferenciable, una tal f es llamada un DIFEOMORFISMO de S sobre S .
Mostremos que la definicion de aplicacion entre

superficies no depende de las parametrizaciones escogidas.
En efecto, se dice que una aplicacion :S S de una
superficie regular S en una superficie regular S es
diferenciable en p S si dadas parametrizaciones
:U s S , :U s S
con p (U ) y (p) (U ) la aplicacion
h = 2-1 k k :U U
es diferenciable en q - (p) .

Sean :U V1 con p V , :U V con (p) V entonces
(ver fig .11)
-1 -1 -1
h = 2 k k = ( 2 k ) k (2-1 k k f ) k ( 1 k ) = g-2 1 k h k g
que es la compuesta de funciones diferenciales, pues por
el teorema de cambio de coordenadas, las funciones 1 y 2c1
son diferenciables.
FIGURA 11
EJEMPLOS. 1 Mostremos que el paraboloide z = x + y es
difeomorfo al plano.
El paraboloide suele parametrizarse por medio de la
de MONGE (x,y) = (x,y,x + y ) con (x,y) s .
aplicacion
As es un difeomorfismo local. Sea S la superficie que
representa al paraboloide. Ahora
: Ss
(x,y,x +y ) (x,y)
es una
aplicacion que tiene rango 2, pues la matriz
1 0
>0 1?
tiene rango dos, es la proyeccion
la cual es de
clase 9 B , se sigue entonces que S y s son difeomorfas.
2 Construyamos un difeomorfismo entre la elipsoide
x y z
a + b + c = 1 0 < a < b < c
y la esfera
x + y + z = a
Sean

f = (x,y,z) s / xa + yb + cz = 1
S = (x,y,z) s / x + y + z = a
Consideremos la aplicacion
: s s

(x,y,z) (x, ab y, ac z)
tiene las siguientes propiedades:
i) es una biyeccion.
ii) es diferenciable de clase 9 B
iii) Su inversa - : s s
(x,y,z) (x, ba y, ca z)
es diferenciable y de clase 9 B , luego concluimos que es
un difeomorfismo en s .
Ahora consideremos Of = : f s
x,y,z 2x, ab y, ac z3
El recorrido de es S ya que

x b ( ab y) b ( ac z) = x b ab y b ac z ~ a ( ax b by b cz ) = a .1 = a
su inversa
- |S = - : S s
tiene por recorrido a f, pues
x ( ba y) ( ca z) x y z
a + b + c = a + a + a = 1
a (x + y + z ) = 1
a a = 1
luego
: fS
es un difeomorfismo de f sobre S .
3. Mostremos que la definicion de diferenciabilidad de una

: U Ss dada, es equivalente a la siguiente:
funcion
es diferenciable en p U si es la restricion
de una funcion
diferencible en
q:F
un abierto de s que contiene a p.
PRIMERA La definicion
PARTE.
de la funcion :U Ss
diferenciable en p U implica la proposicion
q.
1) Sea p U, una parametrizacion de S, :U s U tal

que (p0 ) = p donde p0 = (u0 ,v0 ) U0 s , es dada de la
siguiente forma
(u,v) = ( (u,v), (u,v), (u,v))

Ademas segun la definicion
de parametrizacion se puede
suponer
C ( , )
C (u,v) 0
2) Definamos a continuacion
una extension de de la
siguiente forma
) : U0 d ss
(u,v,t) ( (u,v), (u,v), (u,v) + t)
cuya matriz jacobiana esta dada por
C C
v Cu Cv 0y
J) = x C C
0{
Cu Cv
w C C
1z
Cu Cv
tiene la propiedad de tener
C C
det (J)) = e C CCv e = CC((u,v)
Cu , )
0
Cu Cv

Ademas ) (u0 ,v0 ,0)=( (u0 ,v0 ), (u0 ,v0 ), (u0 ,v0 )) = (p0 ) = p
FIGURA 12
3) Aplicando el teorema de la funcion inversa se tiene
que existe una vencidad abierta de p0 = (u0 ,v0 ,0) digamos Wp , 0
una vecindad abierta Vp de p = )(p0 ) tal que ) es un

difeomorfismo, de donde existe su inversa. Denotemos este
difeomorfismo por (ver figura 12)
= )|Wpo : Wp Vp , (p0 ) = p
0
4) Definimos a continuacion la siguiente funcion

~
: Wp U0 d ss
0
(u,v,t) ((u,v))et
es la compuesta de funciones bien definidas y
Esta funcion
diferenciables, por el teorema de la regla de la cadena se
sigue que esta bien definida y es diferenciable.
~
~ ~
5) Tomando := k - se obtiene el resultado deseado ya
que
~
~
|Vp qS =
para esto, basta estudiar en el punto p
~
~ ~ ~ ~ ~
(p) ~ ( k - )(p) ~ ( - (p)) ~ (p0 ) ~ (u0 ,v0 ,0) ~
~ ((u0 ,v0 ))e0 ~ (p).
SEGUNDA PARTE. La condicion q implica que dada una

parametrizacion :U0 s U tal que (p0 ) = p
entonces k : U0 s es diferenciable en p0 .
La demostracion de esta segunda parte no tiene
complicacion y se deja como ejercicio.
Un resultado fundamental al estudiar la geometra

diferencial de las superficies regulares se encuentra al
estudiar el espacio tangente en cada punto a una

superficie, practicamente muchas y diversas propiedades de
las superficies se analizan en el espacio tangente,
intuitivamente es como aplanar una pequena ~ vecindad de
cada punto de la superficie.
DEFINICION 6. Sea V una superficie elemental de clase 9 k ( 1) parametrizada

por : V0 V y p V tal que (u0 ,v0 ) = p El ESPACIO VECTORIAL TANGENTE
en p, es el subespacio generado por '(u0 ,v0 ) , el cual tiene dos dimensiones y es
denotado por
Tp V . . Z (u0 ,v0 ) h s s
El plano tangente es el espacio vectorial tangente en p
trasladado a p, esto es, p + Tp V el cual con mucha
frecuencia es denotado por Tp V.
Sea S una superficie y p S ; el espacio vectorial
tangente Tp S es el espacio vectorial engendrado por Z (p)
siendo :U0 U S una parametrizacion de S en torno de p,
por lo tanto podemos escribirlo en la forma
Z (p0 ) h s . . Tp S ; p0 = (u0 ,v0 ).
PROPOSICION 1. Sea
C ~ :(-,)S s / es diferenciable y (0) = p
entonces
Tp S = {Z (0) ; C }.
Esto es Tp S es el conjunto de los vectores velocidad en el punto p de todos los
caminos diferenciables contenidos en S, pasando por p.
DEMOSTRACION. 1. Sea C, con (I) V, por lo tanto
- k :(-,)s es diferenciable, pues, por el teorema
de la funcion implicita - es la restriccion de una
funcion diferenciable.
(- k )Z (0) =[Z (p0 )]- k Z (0) ( )
o equivalentemente,
Z (0) = Z (p0 ) h (c k )Z (0)
entonces
Z (0) Z (p0 ) h s = Tp S
FIGURA 13
2. Si v Tp S entonces v = Z (p0 ) h v0 , sea :(-,)S s
definida por
(t) = (p0 + tv0 )
tomando p0 + tv0 U0 , se tiene
Z (0) = [(p0 + tv0 )]Zt=0 = Z (p0 ) h (p0 + tv0 )Z (0) = Z (p0 ) h v0 = v
( ) k c )Z (0) = (id)Z por la regla de la cadena tenemos
Z (c ((0)) h (c )Z ((0)) = 1 Z (p0 ) h (c )Z ((0)) = 1
o equivalentemente tenemos
(c )Z ((0)) = [Z (p0 )]c .
OBSERVACIONES
1) El plano Tp (S) + p que pasa por (p0 ) = p no depende de
la parametrizacion , este plano sera llamado PLANO
TANGENTE a S en p y denotado por Tp (S) por abuso del
de la parametrizacion
lenguaje. La eleccion determina
una base
D CCu (p0 ), CCv (p0 )E
de Tp S , llamada la base ASOCIADA a .

2) Las coordenadas de un vector w Tp (S) en la base
asociada a una parametrizacion son determinadas del
siguiente modo: w es el vector velocidad Z (0) de una curva
= k donde :(-,)U y dada por (t) ~ (u(t),v(t)) con
(0) ~ q ~ - (p).
Entonces
Z (0) ~ dt
d d
( k )(0) ~ dt (u(t),v(t))|t=0 ~
~ ( C u (u(0),v(0)), CCv (u(0),v(0))) h (uZ (t),vZ (t))|t=0 ~
C
~ ( CCu (q), CCv (q)) h (uZ (0),vZ (0)) ~

~ CCu (q) h uZ (0) + CCv (q) h vZ (0) = w
3.2. APLICACIONES ENTRE SUPERFICIES

Sean S y S dos superficies y :V S S una aplicacion

diferenciable en un abierto V de S en S . Si en p V
sabemos que
FIGURA 14
todo vector tangente w Tp (S ) es el vector velocidad Z (0)
de una curva parametrizada diferenciable :(-,)V con
(0) ~ p, entonces la curva = k es tal que (0) = (p)
y por lo tanto, Z (0) es un vector de T(p) (S ).
PROPOSICION 2. Con las notaciones de arriba, el vector Z (0) no depende de la

de para w dado. La aplicacion
eleccion
dp : Tp (S )T(p) (S )
dada por
dp (w) ~ Z (0)
es lineal.
DEMOSTRACION. Sea f(u,v) y (u,v) parametrizaciones en
vecindades de p y (p) respectivamente. Supongamos que
se expresa en estas coordenadas por (u,v) =
( (u,v), (u,v)) y sea dada por
(t) = (u(t),v(t)) , t (-,)
entonces,
(t) = ( (u(t),v(t)), (u(t),v(t))),
y la expresion de '(0) en la base {u ,v } es
Z (0) ~ 4 CCu h uZ (0) + CCv h vZ (0), CCu h uZ (0) + CCv h vZ (0) 5
1
(1)
la expresion (1) muestra que Z (0) depende apenas de la
funcion y las coordenadas (uZ (0),vZ (0)) de w en la base
{fu ,fv }, Z (0) es por lo tanto independiente de . Ademas
la misma expresion (1) muestra que
C C
uZ (0)
Z (0) = dp (w) = @ CCu Cv
A> vZ (0) ?
C (2)
Cu Cv
Esto es, dp es una aplicacion lineal de Tp (S ) y T(p) (S )
cuya matriz asociada a las bases {fu ,fv } de Tp (S ) y {u ,v }
de T(p) (S ) es dada por la matriz indicada en (2).
APLICACIONES.
A) Mostremos que la ecuacion del plano tangente a una
superficie, grafico de la funcion z ~ (x,y), en el punto
p0 ~ (x0 ,y0 ) es dada por
z ~ (x0 ,y0 ) b x (x0 ,y0 ) (x-x0 ) b y (x0 ,y0 )(y-y0 )
Recordemos la definicion de diferencial d de una funcion
:s s y mostremos que el plano tangente es el grafico
de la diferencial dp .
PRUEBA. PRIMERA PARTE. Sea (x,y) ~ (x,y, (x,y)) una
parametrizacion que cubra toda la superficie (recuerdese
la aplicacin a de la pg.44) una tal siempre existe
de manera que z ~ (x,y).
Sea Tp S ~ Z (p0 ) h s donde (p0 ) = p S y
v 1 0 y
(p0 ) ~ x 0
Z 1 {
w C
Cx
C
Cy z
por lo tanto
Tp S ~ Z (p0 ) h (x,y); (x,y) s
= (x,y, C C
C x x + C y y);(x,y) s
= (x,y,z) s ; z = x x + y y
el plano que pasa por p es dado por
p +Tp (S) = z - z0 = x (x0 ,y0 ) (x-x0 ) + y (x0 ,y0 ) (y-y0 )
o sea
z = (p0 ) + Z (p0 ) (x-x0 ,y-y0 )
La segunda parte se deja como ejercicio.
B) Probemos que si dos curvas regulares C y C de una

superficie regular S son tangentes en un punto p S y
:SS es un difeomorfismo entre superficies regulares,
entonces (C ) y (C ) son curvas regulares tangentes en
(p).
PRUEBA: Como es un difeomorfismo entonces d es un
isomorfismo y lleva vectores tangentes v S en vectores
tangentes v
S.
Sea :0 S, (0 ) = C una curva regular tal que (0) = p y
Z (0) = v entonces ~ k :0 S es tambien una curva regular
(pues es diferenciable) y se tiene (0) ~ ((0)) ~ (p)
Z (0) ~ Z ((0)) h Z (0) ~ dp (v) ~ v

FIGURA 15
Luego v es tangente a (C ) en (p) pues
(0 ) ~ ((0 )) ~ (C ). Sea ahora :JS tal que (J) ~ C ,
(0) = p y '(0) = v, pues C y C son tangentes en p por

hipotesis. Tenemos entonces
: J S
dada por ~ k es una curva regular, pues es un
difeomorfismo y tenemos que
(0) ~ ( k )(0)) ~ ( (0)) ~ (p)
Ademas
2Z (0) ~ Z ( (0)) h Z1 (0) ~ Z (p) h v ~ dp (v) ~ v

Luego v es tangente a (C ) pues
(J) ~ ( (J)) ~ (C )

Siguiendose entonces que (C ) y (C ) son curvas tangentes
en (p).
EJERCICIOS.
1. Verificar, usando la definicion que el cilindro recto
de radio r, esto es el conjunto
S ~ (x,y,z) s ; x + y ~ r
es una superficie regular. Es posible cubrir el cilindro
con una u nica vecindad coordenada ?.
2. Muestre que si p es un punto de una superficie regular
S s , es posible, escogiendo un conveniente sistema de
coordenadas, representar una vecindad de p en S en una de
las formas siguientes:
z ~ (x,y) de modo que (0,0) ~ 0, x (0,0) ~ 0, y (0,0) ~ 0
z ~ (y,z) de modo que (0,0) ~ 0, y (0,0) ~ 0 , z (0,0) ~ 0
z ~ (x,z) de modo que (0,0) ~ 0, x (0,0) = 0,
z (0,0) ~ 0.
3. Muestre que el cono de dos hojas con vertice en el

origen esto es, (x,y,z) s / x c y c z ~ 0 no es una
superficie regular.
4. Muestre que la compuesta k :S S3 de dos aplicaciones
diferenciables : S S , :S S donde S , S , S son
superficies regulares, es una aplicacion diferenciable.
5. Muestre que la relacion S es difeomorfa a S es una

relacion de equivalencia en el conjunto de todas las
superficies regulares.
6. Sea S ~ p ~ (x,y,z) s ; x + y + z ~ 1 la esfera

unitaria y sea A:S S la aplicacion dada por A(p) = -p,
p S . Muestre que A es un difeomorfismo. (A es llamada aplicacion
ANTIPODA)
7. Muestre que las superficies dadas por
a) x + y + z = x
b) x + y + z = y
c) x + y + z = z
se intersectan ortogonalmente.
8. Muestre que la ecuacion del plano tangente en (x0 ,y0 ,z0 )
a una superficie regular dada por (x,y,z) ~ 0 donde el 0
(cero) es un valor regular de f, es dada por
x (x0 ,y0 ,z0 )(x-x0 ) b y (x0 ,y0 ,z0 )(y-y0 ) b z (x0 ,y0 ,z0 )(z-z0 ) ~ 0.
9. Sea S s el grafico de una funcion :U0 s de clase 9 k
( 1) definida en un abierto U0 del plano
a) Pruebe que S es una superficie regular de clase 9 k .
b) Obtenga en funcion de las coordenadas de un
vector unitario normal a S en un punto p = (x0 ,y0 ,z0 ) S
c) Use el calculo de arriba para determinar los puntos
del paraboloide hiperbolico z ~ x c y en los cuales el
plano tangente es horizontal.
10. Sea S s una superficie regular de clase 9 k (k 1)
a) Pruebe que si S es conexo y Z (p) = 0 para todo p S
ne p Tp S entonces S es parte de una esfera.
se tie
f:Ssn de clase C k (k 1).
NOTA: Defina primero una aplicacion
11. Pruebe que si todas las normales de una superficie
regular conexa pasan por un punto fijo, la superficie
esta contenida en una esfera.
12. Muestre que los planos tangentes a la superficie dada
por
z c x ( yx ) = 0
pasan todos por el origen (0,0,0).
13. Si una vecindad coordenada de una superficie regular
puede ser parametrizada en la forma
(u,v) ~ (u) b (v)
donde (u) y (v) son curvas parametrizadas regulares,
entonces los planos tangentes a lo largo de las curvas
coordenadas de esas vecindades son paralelas a una recta.
14. Muestre que si una superficie regular S encuentra a un
plano en un u nico punto p, entonces ese plano coincide con
el plano tangente a S en p.
15. Dado el sistema de coordenadas locales
(u,v) = (u cos v,v sen v,log cos v + u )
-/2 v < /2, 0 < u < a de una superficie regular, muestre
que en una vecindad coordenada correspondiente las dos
curvas (u ,v), (u ,v) cortan segmentos iguales sobre

todas las curvas (u,const).
4. SUPERFICIES ORIENTABLES.
4.1 INTRODUCCION. Es corriente a diario escuchar frases

como esta Aquel individuo esta o no bien orientado en la
vida?.
Comprendemos perfectamente el significado de la pregunta y
no nos detenemos a meditar sobre ella casi nunca. Si le

preguntasemos a cualquier persona que significa estar
orientado? esperamos que nos responda: Significa que el
individuo tiene metas o direcciones bien determinadas en
la vida.
Pues bien, esta idea intuitiva envuelve un hecho exacto y

la matematica adopta este vocablo. Nuestro objeto en este
trabajo es precisar su significado en matematicas, y en

particular en geometria, pues inicialmente puede tener una
interpretacion geometrica.

En una recta es comu n dar una orientacion como si se
definiera en ella una direccion
TTTTT TTTTT
Definiendo en la recta un sistema de coordenadas obtenemos
una representacion geometrica
meros reales (s),
de los nu

teniendose as que la recta se transformara en un espacio

vectorial, permitiendonos
afirmar que dar una orientacion
en la recta equivale a fijar en ella un vector, o un punto
distinto del origen.
En el plano el concepto se complica ligeramente pero el se
puede orientar de diferente forma; una por ejemplo es la
dada por los puntos cardinales; oriente, occidente, norte
y sur, permitiendo orientar el plano para trabajos

geograficos.
En geometra se habla de cuadrantes: superior derecho,
superior izquierdo, inferior derecho, inferior izquierdo,

estableciendose una orientacion muy comu
n en el plano.
Otra manera de orientar un plano es el dado al definir en
el un sistema de coordenadas polares considerando los

ngulos positivos, cuando su lado terminal se desplaza
contrariamente al movimiento de las manecillas del reloj.
Este u
ltimo metodo de orientacion de un plano nos permite
intuitivamente percibir dos maneras diferentes de orientar
el plano.
Notemos que un plano puede ser considerado como el

producto cartesiano de s d s = s , o sea como un espacio
vectorial y por lo tanto sin mas detalles podemos definir

orientaciones en s .
Las anteriores consideraciones nos permiten afirmar que
definiendo en el plano un sistema de coordenadas, el plano
se convierte en el producto s d s y para darle una
hay que fijar en el
orientacion dos vectores linealmente
independientes colocados ordenadamente o sea hay que
distinguir en s lo que se llama una base ordenada y por
a s equivale a fijar una base ordenada .
lo tanto dar una orientacion
En s los fsicos, con sus leyes de las manos derecha e
izquierda nos brindan una extension de la idea de

para s .
orientacion
La ley de la mano derecha (1) establece una orientacion en

s y el conjunto {i,j,k } es la base para s , observandose
que
det[i,j,k] = 1 > 0
1 2
*
siendo i ~ (1,0,0), j ~ (0,1,0), k ~ (0,0,1), j ~ (0,-1,0)
La ley de la mano izquierda (2) brinda una orientacion
*
distinta a la anterior y el conjunto i,j ,k constituye
una base de s tal que
det[i,j* ,k] = -1 < 0

Notemos que si tomamos j,i,k, en ese orden, como base de
s vamos a obtener en s un resultado analogo
al dado por
el caso (2) de la mano izquierda, pues
det[(0,1,0),(1,0,0),(0,0,1) ] = -1 < 0
Considerando ahora el cambio de coordenadas dado por
id (s ,{j,i,k})
(s ,{i,j* ,k})
id, es
obtenemos que la matriz asociada a la aplicacion
v 0 1 0y
[id] = -1 0 0
w 0 0 1z
Vemos aqu que las dos bases definen en s la misma
orientacion digamos que la orientacion negativa y que
det([id]) = 1 > 0
el determinante de la matriz de paso asociada es positiva.
Como consecuencia de todo esto podemos decir que dar una
en s es equivalente a dar una base ordenada , y tambien
orientacion nos
permite afirmar que la orientacion de un espacio vectorial
esta ntimamente ligado al determinante de las matrices de
sus cambios de bases.
Finalmente estamos interesados en extender estas nociones
intuitivas dando una definicion exacta de orientacion,
para un espacio vectorial y siguiendo este orden de ideas,
suponiendo la nocion de superficie, nos gustara saber si
es posible extender la idea de orientacion a una
superficie, este sera el objeto del numeral siguiente.
4.2 ESPACIO VECTORIAL ORIENTADO.

Sea V un espacio vectorial de dimension finita n sobre el
cuerpo de los numeros reales s. Sean
U = {u ,u ,u ,...,un }, W = { w ,w ,...,wn }
bases de V entonces se tiene

wj = ji ui j = 1,2, 3,...,n
i=1
Diremos que U y W son equivalentes cuando det(ij ) > 0 y
notemos U W a esta relacion.
que U y W
Decimos tambien
son equivalentemente orientables o equiorientables.
Veamos antes que en realidad es una relacion de
equivalencia en el conjunto de todas las bases del s-
espacio vectorial V.
R1. Sea U una base cualquiera de V, entonces UU

pues, ui = ij uj i = 1,2,3,...,n
j=1
y det(ij ) = 1 > 0 siendo ij el delta de Kronecker.
R2. Si U W entonces

Wj = aij ui j = 1,2,3,...,n
i=1
y det (aij ) > 0 ; esto equivale a decir que la matriz (aij ) no es

singular por lo tanto, podemos pensar vectorialmente y
escribir:
v w y v a1 ... an y

x.{ x . . . { v u y
x { x { x . {
x.{ x . . . { x
x . {
{
x { x { x {
x.{ x . . . { x . {
x { x { x {
x wj { = x aj ... ajn { x uj {
x { x { x
x . {
{
x . { x . . . { x {
x { x { x . {
x . { x . . . { x {
x { x { .
. . . . w un z
w wn z w an ... ann z
Sea (bij ) = (aij )- entonces
v u y v b1 ... bn y

x.{ x . . . { v w y
x { x { x . {
x.{ x . . . { x
x . {
{
x { x { x {
x.{ x . . . { x . {
x { x { x {
x uj { = x bj ... bjn { x wj {
x { x { x
x . {
{
x . { x . . . { x {
x { x { x . {
x {. x . . . { x {
x { x { .
. . . . w wn z
w un z w bn ... bnn z

por lo tanto uj = bji wi donde (bij ) = (aij )-
i=1
Ahora (aij )(bij ) = I = (i ) por lo tanto
det[(aij )(bij )] = det(aij ) det(bij ) = det(ij ) = 1
as
1
det(bij ) = det(a ij )
> 0
esto significa que W U de donde la simetra de la
.
relacion
R3. Sea U,W,Z tres bases del s-espacio V tales que U W y
W Z ;esto significa que

Wj = aji ui y Zj = bjk Wk , j = 1,2,3,...,n
i=1 k=1
con det(aji ) > 0 y det(bjk ) > 0. Reemplazando Wk tenemos
entonces que

Zj = (bjk )(aki ui )
k=1 i=1

Zj ~ ( bjk aki ) ui , j = 1,2,3,...,n
i=1 k=1
As obtenemos la matriz

(bjk aki ), i = 1,2,3,...,n, j = 1,2,3,...,n
k=1
para la cual se tiene

det ( bjk aki ) = det[(bij ) h (aij )] = det(bij ) h det(aij ) > 0.
k=1
por lo tanto U Z, lo que muestra la transitividad de la
relacion .
Podemos entonces preguntarnos que acontece cuando

det(aij )<0?, la respuesta es que U y W estan en clases
distintas, esto indica que esta relacion divide al
conjunto de las bases ordenadas de V en dos clases de
positiva de V y orientacion
equivalencia llamadas orientacion negativa de
V. Cada una de esas clases se llaman UNA ORIENTACION de V.
DEFINICION Un espacio vectorial orientado es una pareja (V,#) formada de

un espacio vectorial y de una orientacion.
Una base U = {u ,u ,u ,...,un } de sn se dice una base positiva cuando
det[u ,u ,u ,...,un ] > 0, ademas sn con esta base se dice positivamente
orientado.
DEFINICION Sean E, E espacios vectoriales y (E,#), (E ,# )

orientaciones de E y E
respectivamente, una transformacion lineal

T:(E,#)(E ,# ) preserva orientacion si y solamente si
{u ,u ,u ,...,un } # {Tu ,Tu ,Tu ,...,Tun } # .
En este caso se nota T 0, decimos entonces que E y E son ORIENTABLEMENTE
COMPATIBLES.
EJEMPLO. Sea (s ,{i,j}), s con la base canonica y

s ,(2,4),(4,2)), s con otra base, tomemos la
transformacion
T:(s ,{i,j})(s ,{(-2.4),(4,2)})
(x,y) (x-y, x+2y)
Para hallar la base asociada de T tenemos
1 c2 4 c 2 b 4
T > ? = > 4 ? + > 2 ? = > 4 b 2 ? entonces 4 =~ 3/10

5
0
0 c2 4 -2 +4
T > ? = > 4 ? b > 2 ? = > entonces 4 ==1/2
0 5
1 4 +2 ?
Por lo tanto
1/10 1/2
[T] = > ?
3/10 0
k

Afirmamos que T 0, pues sea {(4,2),(0,4)} {i,j}
entonces
k

T(4,2),T(0,4) {(-2,4),(4,2)}
ya que
4 0 1/10 1/2 4 0 7/5 2
T > ? = > 3/10 0 ? >2
=
4 ? > 6/5 0?
2 4
Ahora
4 0 12 7/5 2
det 4T > ? 5 = det 4 > 6/5 0 ? 5 = - 5 < 0
2 4
y esto mismo se cumple para cualquier base que este en
k

{i,j} por lo tanto T > 0. Es facil ver que (-2,4),(4,2) y
(7/5,6/5),(2,0) estan en la misma clase de orientacion.
4.3 ATLAS DE UNA SUPERFICIE.

DEFINICION 3. Sea S s una superficie regular de clase 9 k (k 1) p S,
:U0 (U0 ) = U, U S en torno de p. La
entonces existe una parametrizacion
pareja (U0 ,) es llamada una parametrizacion
de S en p y la pareja (U,) (o la
tripla U0 ,,U)) es llamada una CARTA LOCAL DE S.
DEFINICION 4. Sea S una superficie regular Ui iI una familia de subconjuntos

de S. (Ui ,i )iI es un ATLAS para S cuando
1. (Ui ,i ) es una carta local de S, para cada i.
2. Se cumple el teorema de cambio de coordenadas.
3. Ui = S.
iI
Sea p S un punto de una superficie regular consideremos

Tp S el plano tangente a S en p. Se dice que en p S se
tiene definida una ORIENTACION cuando dadas dos
parametrizaciones
:Uo U S, :V0 V S
de S en p, para las cuales Tp S = [u ,v ] = [ u , v ] ,
-
entonces se tiene siempre que det(k( k )p ) > 0 , siendo
k(- k )p el jacobiano calculado en el punto - (p).
Se observa que esta definicion es equivalente a afirmar
que la aplicacion (p0 ):s (Tp S,#) > 0 preserva
Z

orientacion, donde s esta orientado por su base canonica.
DEFINICION Sea S una superficie y :U0 U S, :V0 V S dos

parametrizaciones tales que U q V ). Se dice que las cartas (U,) y (V,)
son COMPATIBLEMENTE ORIENTABLES cuando para todo p V q U se tiene que
det(k(-1 k )p ) > 0.
Se sigue de la definicion que todos los puntos de V q U
tienen la misma orientacion.
DEFINICION
Sea = (Ui ,i )iI un atlas para una superficie S. Se dice que
es un atlas COMPATIBLE, cuando dadas dos cartas locales cualesquiera de
no vaca , ellas son COMPATIBLEMENTE ORIENTABLES.
teniendo interseccion
que dos ATLAS de una superficie son compatibles si
Se dira
de los dos es un ATLAS COMPATIBLE.
y solamente si la reunion
DEFINICION Una superficie S es ORIENTEBLE si y solamente si posee un ATLAS

COMPATIBLE.
EJEMPLO. La esfera es una superficie ORIENTABLE.

Para mostrar esta afirmacion estudiemos primero las
coordenadas ESTEREOGRAFICAS de la esfera.
Sea &: S -PNs
x y
(x,y,z) = p &(p) = ( 1-z , 1-z )
Los
triangulos PN-0-&(p) y PN-E-p son
triangulos
semejantes y por lo tanto tenemos
v 1 y
y = 1-z , de donde , v = 1-z
Esto nos sugiere definir una aplicacion

& : S -PNs
x y
(x,y,z) ( 1-z , 1-z )
la cual podemos invertir, obteniendo que
= &- : s S -PN

2x 2y x +y -1
(x,y,z) 4 x +y +1 , x +y +1 , x +y +1 5

En forma analoga construmos
& : S -PSs
x y
(x,y,z) ( z-1 , z-1 )
De esta forma la esfera puede ser cubierta por dos

vecindades coordenadas de parametros (u,v) y (u,v) de modo
que la interseccion W de esas vecindades (esfera menos dos
puntos) es un subconjunto conexo.
FIGURA 1.
Fijo un punto p W y considero - (p) = (u,v) tenindose,

(& k )(u,v) = & ((u,v)) =
2u 2v u +v -1
= & ( u +v +1 , u +v +1 , u +v +1 ) =
2u 2v
u +v +1 u +v +1
= > u +v -1
, u +v -1 ? = (-u,-v)
u +v +1
-1 u +v +1
- 1
FIGURA 2
Ahora el determinante jacobiano de cambio de coordenadas

C (u,v) -1 0
C (u,v) = d 0 -1 d
= 1 > 0
Como el jacobiano es diferente de cero en W y positivo en
p W, se sigue por la conexidad de W que el jacobiano es
positivo en todos los puntos de W.
As S = &- (s ) r &-1 1 (s ) y (&c (s ),&- ),(&-1 1 (s ),&-1 1 ) es un
atlas compatible para S por lo tanto S es ORIENTABLE.
4.4 CAMPO DIFERENCIAL DE VECTORES NORMALES

DEFINICION Dado un punto p de una superficie regular S, un vector normal
unitario al plano tangente Tp (S) es llamado un vector NORMAL en p.
En cada punto de S existen dos vectores normales opuestos.
Dado un sistema de coordenadas (u,v) en p queda
determinado un vector normal N en p tomando.
N(p) = uu w
wv
v
(p)
La recta que pasa por p S en la direccion del vector
normal a S en p es llamada NORMAL A LA SUPERFICIE en p. Una
parametrizacion de la normal es dada por :ss donde
t ~ p b tN.
Conviene llamar CAMPO DIFERENCIAL DE VECTORES NORMALES en un
abierto U S a una aplicacion diferenciable N:Us que
asocia a cada q U un vector normal unitario N(q) s de S
en q.
TEOREMA Una superficie regular S s es orientable si y solamente si existe un
campo deferencial N:Ss de vectores normales unitarios en S.
DEMOSTRACION I) Si S es orientable, existe un atlas

compatible en S, as en la interseccion de dos cartas el
cambio de coordenadas tiene jacobiano positivo.
En el punto p = (u,v) de una vecindad coordenada
definimos
N(p) = N(u,v) = uu w wv
v
(p)
N(p)est bien definido : En efecto, si p pertenece a dos
vecindades coordenadas de parametros
(u,v) y (u,v) los

vectores normales N(u,v) y N(u,v) coinciden (recuerdese
que el plano tangente es independiente de las
parametrizaciones). Ademas por
N(p) ~ uu w
wv
v
(p)
las coordenadas de N(u,v) en s son funciones
diferenciables de (u,v), como la diferenciabilidad no
depende del sistema de coordenadas elegido, N:Ss es
diferenciable como queramos mostrar.
II) Recprocamente, sea N:Ss un campo diferenciable
de vectores normales en S, y considerese un ATLAS de
vencidades coordenadas conexas (por definicion de atlas,
cubren a S). Si p S es cualquier punto de S entonces
existe una carta (U0 ,,U) tal que p = (u,v) por
continuidad de N y cambiando u por -u si fuera necesario,
podemos hacer que
u wv
u wv = N(p)
En efecto, el producto interno N(p) h uu wwvv = (p) = f 1 es

una funcion continua en (U0 ), como (U0 ) es conexo, el
signo de es constante; si = -1, cambiando u por -u en
la parametrizacion obtenemos la afirmacion.
Procediendo de ese modo en todas las vecindades
coordenadas tenemos que en la interseccion de dos de
ellas, digamos de parametros (u,v) y (u,v), el jacobiano
C (u,v)

C (u,v) es ciertamente positivo pues de lo contrario
fu wfv
fu wfv = N(p) = - uu wwvv = - N(p)
lo cual es contradictorio. Se concluye entonces , que la
familia de vencidades coordenades con eventual cambio de u
por -u en algunas de ellas, satisfacen las condiciones de

la definicion, lo que muestra que S es orientable.
TEOREMA Si una superficie regular es dada por

S = {(x,y,z) s ; f(x,y,z) = a}
donde :s s es diferenciable y a es valor regular de , entonces S es
orientable.
DEMOSTRACION. Dados un punto (x0 ,y0 ,z0 ) = p S, considerese
una curva parametrizada de S, (x(t),y(t),z(t)), t I,
pasando por p para t = t0 . Como la curva esta en S
(x(t),y(t),z(t)) = a, tI
derivando con relacion a t y haciendo t = t0 , tenemos

dx dy dz
x (p)( dt )t0 + y (p)( dt )t0 b z (p)( dt ) t0 = 0
(ver corolario . del 2) lo que muestra que el vector
tangente a la curva en t = t0 es normal al vector (fx ,fy ,fz )
en p. Como la curva , y el punto son arbitrarios, se
concluye que

N(x,y,z) ~ 4 j 2 +x 2 + 2 , j 2 + y2 + 2 , j 2 +z2 + 2 5
x y z x y z x y z
es un campo diferenciable de vectores normales unitarios

en S, del teorema 1. se sigue que S es una superficie
orientable lo cual queramos demostrar.
EJEMPLO. Describiremos ahora un ejemplo de una superficie

no orientable, esa superficie es obtenida considerando el
crculo S dado por x + y = 4 y el segmento AB dado por el
plano z k y por y = 2, |z| 1. Desplazando el centro C de AB
a lo largo de S y giramos AB en torno de C en el plano oz
y C, de tal modo que cuando C describe el angulo u, AB
u
gira . Cuando C hace una rotacion de 2 en torno de 0, AB
regresa a la posicion inicial, todos sus puntos estan en
posicion simetrica
a la de partida.

Geometricamente, es como si hubiesemos identificado los
lados opuestos de un rectangulo, dando una torsion en el

rectangulo de modo a identificar cada punto del lado AB

con sus simetricos del lado correspondiente, obtenemos en
esta forma la famosa faja de Mo bius. Es intuitivamente
evidente que la faja de Mo bius M es una superficie regular
no orientable. En efecto, de acuerdo con el teorema 1.
existira un campo diferenciable N:Ss de vectores
normales. Tomando esos vectores a lo largo del crculo
x +y ~ 4, vemos que despues de una vuelta completa N
regresara a su posicion inicial con -N, lo que es una
contradiccion SR.
Veamos una demostracion analtica del hecho mencionado.
Un sistema de coordenadas locales para la faja de Mo bius
es dada por
(u,v) = ((2-v sen u ) sen u,(2-v sen u ) cos u,v cos u ))
donde
0 < u < 2 , -1 < v < 1
FIGURA 3
pues en la figura 3 tenemos en el triangulo z 0ED,

cos u = ry y = r cos u, sen u = rx x = r sen u

En el triangulo z PEC tenemos
cos = sen(90- u ) = PE
u
CP
= zv z = v cos u
u u EC 2-r
sen = cos(90- ) = CP = v r = 2-v sen u
Por consiguiente
x = (2 - v sen u ) sen u
y = (2 - v sen u ) cos u
z = v cos u
la vecindad coordenada correspondiente omite los puntos

del intervalo abierto u = 0. Tomando ahora u, medido a
partir del eje ox, obtenemos otra parametrizacion
(u,v)

dada por (0 <u <2,-1<v<1)
~ (2-v
(u,v) sen ( + u )cos u,- sen( + u )senu,v
2-v cos( + u ))
4 4 4
Cuya vecindad coordenada (carta local) omite los puntos

del intervalo abierto u = . Esas dos vecindades
coordenadas cubren a la faja de Mo bius y muestra que ella
es una superficie regular.

Obteniendose que la interseccion de las vecindades
coordenadas no es conexa, pero esta constituida de dos
componentes conexas
W ~ f(u,v); < u < 2 W ~ f(u,v); 0 < u <
El cambio de coordenadas es dado por

- ~u - u~ bu
-
H2 3I
u
en W , H4 -~-v 5I en W

- ~v
v v
Se sigue que

c CC (u,v)
(u,v) c = 1 > 0 en W , c CC (u,v)
(u,v) c = -1 < 0 en W
Para demostrar que la faja de Mo bius M no es orientable

vamos a suponer que sea posible definir un campo
diferenciable de vectores normales N:Ms . Cambiando
eventualmente u por -u podemos suponer N(p) ~ |uuw
wv
v|
en
donde p pertenece a la vecindad coordenada de f(u,v),

analogamente cambiando por -u
u si es necesario
N(p)= |uu wwvv |

para los puntos de la segunda vecindad
coordenada. De cualquier modo, el cambio de coordenadas
tiene jacobiano -1 en W o en W (dependiendo del cambio de
signo realizado). Si p es un punto de la componente de la
interseccion donde el jacobiano es negativo entonces
N(p)=-N(p) lo cual es contradictorio SR.
4.5 PRIMERA FORMA CUADRATICA

Recordemos algunos resultados, los cuales nos seran de
utilidad en la continuacion de esta seccion. Sea E un s-
espacio vectorial, una forma bilineal en E, 0 :E d Es es
una aplicacion tal que:
0 (u + uZ ,v) = 0 (u,v) + 0 (uZ ,v) Du,DuZ ,D v E
0 (u,v + vZ ) = 0 (u,v) + 0 (u,vZ ) Du,D v,D vZ E
0 ( u,v) = 0 (u,v) Du,Dv E,D s
0 (u, v) = 0 (u,v) Du,Dv E,D s
Supongamos que E es de dimension finita y sea
{e ,e ,e ,...,en } E una base de E. Sea 0 (ei ,ej ) = bij como

u = i ei , v = j ej ,
i=1 j=1
entonces en ese caso se tiene

0 (u,v) = bij i j
i,j=1
Una forma +:Es se dice cuadrtica cuando existe
0 :E d Es forma bilineal tal que +(u) = 0 (u,u).
EJEMPLO. ax + 2bxy + cy = +(u) donde u = (x,y), es una

forma cuadratica bilineal dada por
0 :s d s s
a b
(u,v) 0 (u,v) = > > u v
b c? ?
as
a b x x ax+by x
> 6 b c 76 y 7 ?6 y 7 ~ 6 bx+cy 74 y 5 ~ ax + 2 bxy +cy
Sea S una superficie regular, el producto escalar del

espacio euclidiano s S, induce en cada plano tangente
Tp (S), un producto escalar, que indicaremos por ,p ,
definido as:
si v ,v Tp (S) s , entonces v ,v p es el producto
escalar de v y v como vectores en s .
A ese producto escalar, que es una forma bilineal, va
asociada una forma cuadratica Ip :Tp (S) s definida por
Ip (v) = v,v p = v 0.
DEFINICION La formula

cuadratica Ip en Tp (S), definida por < v , v >p , es
llamada PRIMERA FORMA CUADRATICA de la superficie regular S s en el punto
p S.
Vamos a expresar la primera forma cuadratica en la base
{u ,v } asociada a un sistema de coordenadas (u,v) en p.
Como todo vector v Tp (S) es vector tangente a un curva
parametrizada (t) ~ f(u(t),v(t)) t (-,) con
p ~ (0) ~ (u0 ,v0 ) tenemos
Ip (Z (0)) = Z (0),Z (0)p = u uZ + v vZ ,u uZ + v vZ p =
= u ,u p (uZ ) + 2 u ,v p uZ vZ + v ,v p (vZ )
= E(uZ ) + 2 F uZ vZ + G(vZ )
donde los valores estan calculados para t = 0 y
E(u0 ,v0 ) = u ,u p , F(u0 ,v0 ) = u ,v p , G(u0 ,v0 ) = v ,v p
son los coeficientes de la primera forma cuadratica
correspondiente a (u,v), obtenemos funciones E(u,v),
F(u,v) y G(u,v) que son, evidentemente diferenciables en
esa vecindad.
De ahora en adelante, dejamos caer el ndice p en la
indicacion del producto escalar ,p o de la forma

cuadratica Ip , bien entendido por el contexto a que punto
nos referimos.
EJEMPLOS. 1. Un sistema de coordenadas de un plano &

pasando por p0 = (x0 ,y0 ,z0 ) y conteniendo a los vectores de
s :
v = (a ,a ,a ) y v = (b ,b ,b )
unitarios y ortogonales , es dado por
(u,v) = (x0 + a u + b v , y0 + a u + b v , z0 + a u + b v).
Para calcular la primera forma cuadratica en un punto
cualquiera del plano &, observamos que, u = v , v = v y
por lo tanto como v y v son unitarios y ortogonales, los
valores de E, F y G son constantes y dados por
E = 1 , F = 0 , G = 1
En ese caso trivial, la primera forma cuadratica de &
coincide con la formula de PITAGORAS , esto es, el cuadrado
del modulo de un vector v de coordenadas , en la base
ortogonal u ,v es dada por + .
2. El cilindro recto construido sobre el crculo x +y = 1

admite un sistema de coordenadas locales dado por
* (u,v) = (cos u,sen u,0 ) 0 < u < 2 , -B < v < B

Para el calculo de los coeficientes de la primera forma

cuadratica, obtenemos que
i
u (u,v) = (-sen u,cos u,0), vi (u,v) = (0,0,1)

y por lo tanto E = sen u + cos u = 1, F* = 0,
*
G* = 1
Obteniendose que, no obstante el plano y el cilindro sean
superficies distintas, los resultados obtenidos en los dos
casos son los mismos.
3. Considrese una helice dada por (cos u,sen
u,au). Por
cada punto de la helice,
trazase una recta paralela al
plano x k y y que intersecta al eje 0z. La superficie
generada por esas rectas es llamada una HELICOIDE. Una
parametrizacion del helicoide es dada por
~ (v
(u,v) cos u,v
sen u,au
) 0 < u < 2 , -B < v < B
FIGURA 4
aplica una faja abierta de longitud 2, del plano u kv

en la parte de la helicoide que corresponde a una rotacion
de 2 efectuada en la helice.

La version de que la
helicoide es una superficie regular es inmediata. El

calculo
de los coeficientes de la primera forma cuadratica
= v
es rutinario y brinda E(u,v)
en esta parametrizacion +
a , F(u,v)
= 0 , G(u,v)
= 1.
4.6 APLICACIONES DE LA PRIMERA FORMA CUADRATICA.

La importancia de la primera forma cuadratica Ip es que su

conocimiento permite tratar a las consideraciones metricas
de una superficie regular, sin referencia del espacio
ambiente s . As, la longitud de arco de una curva

parametrizada g:IS es dada por
! !
(t) = gZ (t) dt = jI(gZ (t)) dt
0 0
En particular, si g(t) = f(u(t),v(t)) esta contenida en
una vecindad coordenada correspondiente a la

parametrizacion
f(u,v), la expresion anterior se escribe
as:
!
(t) = j E(uZ ) + 2 FuZ vZ + g(vZ ) dt
0

El angulo de dos curvas parametrizadas regulares g:0 S
y h:0 S que se cortan para t = t0 , dado por
g Z (t0 ),hZ (t0 )
cos = |g Z (t )||hZ (t )|
0 0

En particular el angulo de las curvas coordenadas de un
sistema (u,v) de coordenadas locales es dado por
cos = |uu||
,v
v | = j E G
F
Se sigue de aqu que las curvas coordenadas son

ortogonales si y slo si F(u,v) = 0 para todo (u,v).
EJEMPLO. La primera forma cuadratica de la esfera en un

punto de una vecindad coordenada dada por la
parametrizacion
(,) = (sen cos ,sen sen ,cos )
se obtiene calculando
= ( CCx , CCy , CCz ) = (cos cos,cos sen ,-sen )
= ( CCx , CCy , CCz ) = (-sen sen , sen cos , 0 )
de donde
E(,) = , = 1 , F(,) = , = 0
G(,) = , = sen sen + sen cos = sen
Por lo tanto si v es un vector tangente a la esfera en los
puntos (,) entonces v es dado en la base asociada a
(,) por
v = +
entonces el cuadrado del modulo de v es dado por
|v| = Iv = E + 2 F + G = + (sen ) .

Como aplicacion, vamos a determinar las curvas en esa

vecindad coordenada de la esfera que hacen un angulo
constante con los meridianos = constante. Estas curvas
son llamadas LUXO DROMICAS (o curvas de rumbo).
Podemos suponer que la curva g(t) por determinar, es la
imagen por f de una curva
g(t) = ((t),(t))
del plano k . En el punto (,), donde ellas encuentran
al meridiano = constante, tenemos
Z
Z
cos = | ,g (t)
||g Z (t)| = j( Z ) + sen (Z )
pues en la base , el vector gZ (t) tiene coordenadas

(Z ,Z ) y el vector tiene coordenadas (1,0). De la
ecuacion anterior se sigue que
Z Z
tan (Z ) - sen (Z ) = 0 sen = f tan
de donde log tan( ) ~ f ( + C) cot. Para,la determinacion
de la constante C se da un punto (0 ,0 ) por el cual pasa
la curva.
Otra aplicacion de la primera forma cuadratica esta en el

calculo
de areas de regiones limitadas en una superficie
regular S.
4.7. DEFINICION DE REGION.

Llamaremos DOMINIO REGULAR de S a un subconjunto abierto y
conexo de S, tal que su frontera sea la imagen de un
crculo por un homeomorfismo diferenciable que es regular
excepto en un nu mero finito de puntos. La reunion de un
dominio con su frontera es llamada una region de S.
Consideramos regiones limitadas que estan contenidas en
una vecindad coordenada f(U) de una parametrizacion

:U s S.
En otras palabras, la region considerada Q S es una
imagen por de una region limitada R de U.
La funcion |u w v | definida en U representa el area del
paralelogramo generado por los vectores u , v tangentes a
las curvas coordenadas. Vamos a mostrar que la integral
|u w v |du dv
R
no depende de la parametrizacion .
En efecto, sea :U s S otra parametrizacion con
-
Q (U) y sea R = (Q). Denotemos por C (u,v) C (u,v)
el jacobiano

-
del cambio de coordenadas h = k , obtenemos
|u w v |du = |u w v || C (u,v)
dv |du dv =
C (u,v)
R R
s S
= |u w v | du dvEn efecto, sea :U otra
R
parametrizacion con Q (U) y sea R = - (Q). Denotemos
por CC (u,v)

(u,v) el jacobiano del cambio de coordenadas h ~ - k ,
obtenemos
|u w v |du = |u w v || C (u,v)
dv |du dv =
C (u,v)
R R
= |u w v | du dv,
R
FIGURA 5
donde la u
ltima igualdad proviene del teorema de cambio de
coordenadas para la integral doble. La independencia de la
esta por lo tanto probada.
afirmacion
DEFINICION 10. Sea Q S una region de una superficie regular contenida en una
:U s S. La integral
vecindad coordenada (U) de una parametrizacion
|u w v |du dv = A(Q)
R
donde R = - (Q) , es llamada AREA DE Q .
Varias justificaciones geometricas de esta definicion
pueden ser dadas una de las cuales sera presentada en el

proximo
paragrafo.
Observe que
h u h v E F
|u w v | = jEG-F , pues |u w v | ~ d u u ~
u h v v h v d d F G d
En un gran nu
mero de superficies, la restriccion que
fijamos de que la region Q debe estar contenida en una
vecindad coordenada no es muy grave, pues existen
vecindades coordenadas que cubren la superficie excepto

algunas curvas que no contribuyen para el area.

EJEMPLO . Calculo
del area del toro T. Considerese la vecindad
coordenada correspondiente a la parametrizacion:
(u,v) ~ ((a + r cos v) cos u,(a + r cos v ) sen u, rsen v ),
0 < u < 2 , 0 < v < 2
que cubre al toro menos a un meridiano y a un paralelo.
Los coeficientes de la primera forma cuadratica son

E = r , F = 0 , G = (r cos v + a)
de donde
jEG-F = r(r cos v + a)
Tome ahora la region Q dada por la imagen de
0 + < u < 2 - , 0 + < v < 2-
Por la definicion, el valor del area es
- -
A(Q ) ~ r(r cos v + a)du dv ~ (r cos v + ra)dv du ~
Q 0+ 0+
~ r (2-2)(sen(2-)-sen) + ra(2-2)

Haciendo 0 en esta expresion, obtenemos evidentemente

el area del toro A(T) = 4 ra
APLICACION: Las curvas coordenadas de una parametrizacion

f(u,v) forma una RED DE CHEBYSHEF si los lados opuestos de

cualquier cuadrilatero por ellos formado tienen longitudes
necesaria y suficiente
iguales. Muestre que una condicion
para que se tenga una red de Chebyshef es dada por
CE CG
Cv = Cu = 0
SOLUCION: (1) Supongamos que las curvas coordenadas forman
una red de Chebyshef, entonces
! !
Suo (t) ~ | Z (uo ,v)|dt ~ | Z (u ,v)|dt ~ Su (t)
0 0
| Z (u0 ,v)| ~ j E(uo ,v)(uZo ) + 2 F(uo ,v)uZ o v' + G(uo ,v)(vZ ) ~
~ jG(uo ,v)(vZ ) ,

analogamente
| Z (u ,v)| = jG(u ,v)(vZ )
de aqu,
Suo (t) = Sv1 (t) G(uo ,v) = G(u ,v)
as que G es constante en u y se sigue que Gu = 0.

Analogamente suponiendo
Svo (t) = Sv (t) E(u ,vo ) = E(u ,v)
de donde se sigue que Ev = 0.
(2) Supongamos ahora que Gu = Ev = 0
Gu = 0 (Dui )(Duj )|G(ui ,v)- G(uj ,v)| = 0
entonces
!
| Z ui ,v)| ~ | Z (uj ,v)| Sui (t) ~ | Z (ui ,v)|dt ~
0
!
~ | Z (uj ,v)|dt ~ Su (t) j
0
Ahora como Ev = 0 entonces
(Dvi ,Dvj ) |E(u,vi )cE(u,vj )| ~ 0
de donde
| Z (u,vi )| = | Z (u,vj )| Sv (t) = Svj (t) i
lo que muestra que las curvas coordenadas forman una red

de Chebyshef.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 76
4.8. ISOMETRIAS Y TRANSFORMACIONES CONFORMES

Una metrica en un conjunto M es una funcion d:M d M s que
asocia a cada par de puntos x,y M un nu mero real d(x,y)
llamada LA DISTANCIA del punto x al punto y, de tal modo que
M : d(x,x) = 0, d(x,y) > 0 si xy
M : d(x,y) = d(y,x)
M : d(x,z) d(x,y) b d(y,z) cualesquiera que sean x,y,z M
Un conjunto M en donde hay definida una metrica es llamado
ESPACIO METRICO (M,d).
Sean (M,d) y (M ,d ) dos espacios metricos y :MM una
aplicacion, sea a M se dice que es CONTINUA en a si dado
0, existe >0 tal que si d(a,y) entonces
d ( (a), (y)) , Dy M. Se dice que es CONTINUA, si es
continua en a para toda a M.
Sean d y d' dos metricas para un mismo conjunto M, diremos
que d es mas fina que d' (escribiendo d d') cuando la
aplicacion identica
(M,d)(M,d')es una aplicacion continua.
Sean (M,d), (M ,d ) dos espacios metricos y :MM una funcion
se dice que es un HOMEOMORFISMO si es uno a uno , sobre,
y - son continuas.

Dos metricas d y d' en un mismo conjunto M se dicen
EQUIVALENTES (d d') cuando d es mas fina que d' y al mismo
tiempo d' es mas fina que d (d d' w d' d ). En otras
palabras , d y d' son equivalentes cuando la aplicacion

identica (M,d)(M,d') es un homeomorfismo.
:MN de un espacio metrico
Una aplicacion
M en un espacio metrico N es llamada
una IMERSION ISOMETRICA cuando dN ( (x), (y)) = dM (x,y) , cualesquiera
que sean x,y M. Ademas si es una aplicacion
de M sobre N, entonces se dice es
una ISOMETRIA de M sobre N, o una ISOMETRIA entre M y N.
Una imersion isometrica
: MN es siempre inyectiva pues si
(x) = (y) 0 = d( (x), (y)) = d(x,y)
y por lo tanto x = y.
Una isometra :MN es un caso particular de homeomorfismo,
pues - tambien es una isometra. En particular, son
homeomorfismos, las translaciones x x + a de un espacio
normado, y ademas son imersiones isometricas. Au
n en un
espacio normado, cada homotecia m :x h x de razon 0 es
un homeomorfismo (una isometra solamente cuando = 1)
pues el inverso es una homotecia y (1/)y, de razon 1/,
son ejemplos de homeomorfismos que no son isometras.
DEFINICION 11. Sean S y S* dos superficies regulares. Un difeomorfismo SS* es

una isometra si para todo p S y para todo par v ,v vectores del plano tangente
Tp (S) se tiene
v ,v = dp (v ), dp (v )
En ese caso S y S* se dicen ISOMETRICAS.
AFIRMACION 1. Si :SS* es una isometra entre superficies regulares, entonces

la diferencial de conserva el producto escalar.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 77
En efecto, basta mostrar que conserva las primeras formas

cuadraticas
Ip (v) ~ v,v ~

dp (v),dp (v) ~ I(p) (dp (v)), Dv Tp (S)
es isometra
AFIRMACION 2. Recprocamente si la diferencial preserva el producto escalar y es

un difeomorfismo entonces :SS* es una isometra.
En efecto, en particular preserva las primeras formas

cuadraticas as,
2 v ,v ~ Ip (v +v ) c Ip (v ) c Ip (v )
~ I(p) (dp (v + v )) c I(p) (dp (v )) c I(p) (dp (v ))
~ 2 dp (v ),dp (v ) .
como es un difeomorfismo se sigue que es una isometra
entre las superficies S y S* .
DEFINICION 12. Una aplicacion : VS* de una vecindad V de p S es una

ISOMETRIA LOCAL en p, si existe una vecindad V* de (p) S* , tal que :V V*
es una isometra. Si existe una isometra local para todo p S, S y S* se dicen
localmente ISOMETRICAS.
Es claro que si :SS* es un difeomorfismo y es una
isometra local para todo p S, entonces es una isometra.
Por otra parte puede suceder que dos superficies sean
localmente isometricas sin que exista una isometra global,
como se muestra en el siguiente ejemplo:
EJEMPLO. La aplicacion del cilindro en el plano definida

as: Sea S el cilindro, parametrizado por
(u,v) = ( cos u,sen u,v) , (u,v) (0,2) d (-B,B)
*
y S el plano definido por
(u,v) = (u,v,0) , (u,v) (-B,B) d (-B,B)
-
se define = k en una vecindad coordenada del cilindro
tenemos
E = 1 F = 0 G = 0
E = 1 F = 0 G = 0
Sea w cualquier vector del plano tangente a S en cualquier
punto p S, entonces w es tangente a una curva (u(t),v(t)) y
se tiene
w = u uZ + v vZ
Ahora
Ip (w) ~ E (uZ ) b 2 F uZ vZ b G (vZ ) ~ E (uZ ) b 2 F uZ vZ b G (vZ )
~ I(p) (dp (w))
As es una isometra local entre S y S* , y no puede ser
extendida a todo el cilindro, pues el cilindro no es siquiera
homeomorfo al plano.
PROPOSICION 1. Sean S y S* superficies regulares, si existen sistemas de

coordenadas locales :US y * :US* con
E(u,v) = E* (u,v), F(u,v) = F* (u,v), G(u,v) = G* (u,v)

entonces la aplicacion
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 78
* - *
= k : (U)S
es un isometra local.
DEMOSTRACION. Si p (U) y w Tp (S), entonces w es tangente
a la curva ((t)) donde (t) = (u(t),v(t)) es una curva en
U, en estas condiciones w se escribe en la forma
w = u u Z + v v Z
FIGURA 6
Por definicion de d, el vector dp (w) es el vector tangente
a la curva ( * k - )( ((t)) esto es la curva * ((t)) y se
escribe en la forma
dp (w) ~ u* uZ b v* vZ
como
Ip (w) ~ E(uZ ) + 2 F uZ vZ + G(vZ )
y
I(p) (dp (w)) ~ E* (uZ ) + 2 F* uZ vZ + G* (vZ )
concluimos que Ip (w) ~ I(p) (dp (w)), para todo p (U) y
w Tp (S) y por lo tanto es una isometra local como
queramos demostrar.
EJEMPLO. Considere la superficie S obtenida por la rotacion

de una curva regular plana en torno de un eje del plano que
no encuentra la curva, S es llamada una superficie de revolucion.
Tomemos el plano de la curva como el formado por z k x y el eje
de rotacion a oz .
Si un sistema de coordenadas locales para la curva es dado
por
FIGURA 7

y designemos por u al angulo de la curva en torno
de rotacion
de oz, entonces un sistema de coordenadas locales para la
superficie S es dada por
(u,v) = ( (v)cos u, (v)sen u, g(v)) , 0 < u < 2 , a < v <
b
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 79

Es facil verificar que satisface las condiciones de la
definicion de superficie regular (observe, que como la curva
no encuentra oz, (v) 0). Los coeficientes de la primera

forma cuadratica de esta parametrizacion son

E = ( (v)) , F = 0, G = ( Z (v)) + (gZ (v))
En particular, la superficie de revolucion de la catenaria
x = a cosh v
z = a v, -B < v < B
tiene por parametrizacion
(u,v) ~ (a cosh v cos u,a cosh v sen u,a v), (u,v) (0,2) d (-B,B)
en relacion a la cual los coeficientes de la primera forma

cuadratica se escriben
E = a cosh v, F = 0 , G = a (1 + senh v) = a cosh v

Esa superficie es llamada CATENOIDE. Vamos a mostrar que la

catenoide es localmente isometrica al helicoide

(u,v) = (v cos u,v sen u,a u) , 0 < u < 2 , -B < v < B
Haciendo el siguiente cambio de coordenadas
v
u = u, = a senh v, 0 < u < 2, -B < v < B,
el cual es un cambio compatible, pues el determinante
jacobiano

c CC (u,v)
(u,v) c ~ a cosh v > 0
FIGURA 8
Una nueva parametrizacion del helicoide es dada por
(a sen h v sen u, a sen h v sen u,a u)
a la cual los coeficientes de la primera forma
en relacion

cuadratica son
E = a cos h v, F = 0 , G = a cos h v.
DEFINICION 13. Un difeomorfismo :SS* es llamado

una transformacion
CONFORME si, para todo p S y v ,v Tp (S) se tiene
v ,v p = (p) dp (v ),dp (v )
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 80
donde (p) > 0 es una funcion diferenciable en S ; las superficies S y S* se dicen
entonces CONFORMES . Una aplicacion :VS* de una vecidad V de p S en S* es
LOCALMENTE CONFORME si existe una vecindad V* de (p) en S*
una transformacion
tal que :VV* es una transformacion conforme. Si existe una transformacion

localmente conforme para todo p S, S y S* se dicen LOCALMENTE CONFORME.
El significado geometrico de una transformacion conforme es
que ella preserva los angulos formados por dos curvas que se
cortan.
En efecto, si h:0 S y g:0 S son dos curvas de S que se
cortan en t = t0 , el angulo que ellas forman es dado por
hZ (t0 ),gZ (t0 )
cos = |hZ (t0 )||gZ (t0 )|
siendo una transformacion conforme lleva esas curvas en las
curvas k h:0 S y k g:0 S* de S* que se cortan para t = t0
*

siguiendo el angulo
Z
(t0 )), d(gZ (t0 ))
cos = |dd(h (hZ (t0 ))||d(gZ (t0 ))|
hZ (t0 ),gZ (t0 )
= |hZ (t0 )||gZ (t0 )| = cos
PROPOSICION 2. Si existen sistemas de coordenadas locales :US y f* :US*

con E = E* , F = F* , G = G* para todo (u,v) donde (u,v) > 0 es
diferenciable, entonces la aplicacion
una funcion
* c *
= k US
localmente conforme.
es una transformacion
La demostracion es analoga
a la demostracion de la
proposicion .
TEOREMA 3. Dos superficies regulares cualesquiera son localmente conformes.

La demostracion es aqu omitida y se podra consultar
Chern.S.S [8].
EJEMPLO. Mostrar que la proyeccion

estereografica es una
conforme de la esfera en el plano.
aplicacion
En efecto, sea la proyeccion estereografica
de la esfera
dado por
4y 2(u + v )
(u,v) = 4 u +4u
v + 4 , u + v + 4 , u + v + 4 5
El plano & es dado por
(u,v) = (u,v,0)

teniendose

u = 4 4(-u + v + 4) -8uv
(u + v + 4) , (u + v + 4) ,
16u
u + v + 4) 5

4(u -v -4)
v = 4 (u +-8uv 16v
v + 4) , (u + v + 4) , (u + v + 4) 5
Para la esfera tenemos
ES = u ,u = (u + 16 v + 4) , F S = u , v = 0 ,
16
GS = v ,v = (u +v +4)
Para el plano & tenemos
u = (1,0,0) , v = (0,1,0)
E& = u ,u = 1 , F& = u ,v = 0 , G& = v ,v = 1
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 81
4
haciendo = (u,v) = , tenemos
u + v + 4

ES = E & , FS = F & , GS = G &
Entonces la proyeccion estereografica
es una aplicacion

conforme.
APLICACION. Muestre que un difeomorfismo :SS* es una

isometra si y slo si la longitud de arco de cualquier curva
parametrizada en S es igual a la longitud de arco de la curva
imagen por .
SOLUCION. Sea :0 S una curva parametrizada en S, con
(0) = p S Z (0) = w
como es un difeomorfismo
FIGURA 9
= k :0 S*
es una curva parametrizada por en S* , con
(0) = (p), Z (0) = dp = w * .
) Supongamos que f es una isometra, entonces
[Ip (w)] = [I (p) (dp (w)], donde w = Z (t)
De donde tenemos
! !
j Ip (Z (t) dt ~ jIf(p) (dp (Z (t)) dt
0 0
lo que muestra que la longitud de arco de cualquier curva

parametrizada en S es igual a la longitud de arco de la curva
imagen por .
) Sea :SS* un difeomorfismo, sabemos que todo vector
Z
tangente w Tp (S) es el vector velocidad (0) de alguna curva
parametrizada diferenciable :(-,)S con (0) = p. La curva
~ k es tal que (0) ~ (p) y por lo tanto Z (0) ~ w* s es
un vector tangente de T (p) (S* ).

Como por hipotesis las longitudes de arco de la curva y la
de su imagen por son iguales, esto es
! !
|Z (t)|dt = |( k )Z (t)|dt , Dt I
0 0
w = Z (t) = ( k )Z (t) = dp (Z (t)) = w*
siendo
w = Z (t) Tp (S)
as
Z (t) = dp (Z (t))
entonces
Ip (Z (t)) = Z (t) = dp (Z (t)) = I (p) (dp (Z (t))
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 82
Por lo tanto
Dv Tp (S), Ip (v) = I (p) (dp (v))
lo que muestra que es una isometra.
EJERCICIOS
1. Dado el sistema de coordenadas locales
fu,v = (u cos v, u sen v, log v + u), - < v < , 0 < u < a
de una superficie regular, muestre que en una vecindad
coordenada correspondiente las dos curvas (u ,v), (u ,v)
cortan segmentos iguales sobre todas las curvas (u,const).
2. Muestre que, retirando el crculo medio de la faja de
Mo
bius, la superficie resultante es au n conexa.
3. Sea S una superficie regular conexa, C el conjunto de las
orientaciones de S, entonces mostrar que el cardinal de C es
cero (0) o es dos (2).
4. Sean S ,S , superficies en s . Supongamos que S es
orientable y existe un difeomorfismo local :S S . Prueba
que S es orientable.
5. Demuestre la proposicion 2.
6. Un difeomorfismo :SS* preservando area es llamado
EQUIARIAL, esto es si el area de toda region limitada R,
contenida en una carta local de S, es igual al area de su
imagen (R). Pruebe que si es equiarial y conforme entonces
es una isometra.
7. Sea S = {(x,y,z) s ; x + y + z = 1} una esfera unitaria
y C = {(x,y,z) s ; x + y = 1} el cilindro circunscrito a S .
Sea g: S c (0,0,1),(0,0,-1)C la aplicacion que lleva

p S -{(0,0,1),(0,0,-1)} en la interseccion del cilindro C con
la recta que liga p al eje oz y es paralela al plano x k y.
Muestre que g es un difeomorfimo equiarial.
8. Pruebe que, si las curvas coordenadas forman una red de
Chebyshef, es posible reparametrizar la vecindad coordenada
de tal modo que la primera forma cuadratica tenga por
coeficientes:
E = 1, F = cos w, G = 1

donde w es el angulo entre las curvas coordenadas.
9. Muestre que el area A de una region limitada de una
superficie regular, dada por z = (x,y), que se proyecta en
una region R del plano x k y es A = j1 + x2 + y2 dx dy.
R

10. Diga de cada una de las siguientes proposiciones, cuales
son verdaderas y cuales son falsas. Pruebe las verdaderas y
refute las falsas dando un contra-ejemplo.
a) El signo de la torsion de una curva es invariante por
cambios de parametrizaciones en la curva.
b) Dos curvas planas que satisfacen la misma ecuacion k ~ k()
donde es la longitud de arco y k es la curvatura, difieren
por un movimiento rgido.
c) Sea S una superficie orientable. Si existe un
difeomorfismo local sobreyectivo v:S S entonces S es una
superficie orientable.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 83
d) No existe isometra de un cilindro circular recto sobre si
mismo, que deje fijo un punto del cilindro.
e) Toda isometra entre dos superficies regulares de s se
puede extender a una aplicacion de s en s que preserve
distancias.
f) No existe isometra local entre el cilindro y el toro.
g) Una superficie conexa es conexa por caminos.

h) Una esfera es localmente isometrica a otra.

i) Un cilindro circular recto es localmente isometrico a un

z = x + y.
paraboloide de revolucion
SUGERENCIA PARA EL EJERCICIO 3.
1. Si S no es orientable, claramente C = y # C = 0.
2. Supongamos S orientable entonces C
3. Existe C y sea F = {(v,)} un atlas compatible para . Sea p S, entonces existe
(u,) F tal que (p ) y '(p ) :s (Tp S, ) > 0.

4. Para cada F definase (u,v) = (v,u), se obtiene as una nueva orientacion
para S tal que
Dp S, p = (p ), '(p ):s (Tp ,S, ) < 0 y se muestra que , y C.
5. Sea F = {(v,)} el atlas asociado a el cual claramente no es compatible con y
(Tp S, ) / (Tp S, ).

6. Supongase por absurdo que exista una tercera orientacion C tal que , y sea
F el atlas compatible asociado a .
7. Se tiene (Tp S, ) (Tp S, ), o ,(Tp S, ) (Tp S, ) pues Tp S solo puede tener dos
clases de orientaciones.
8. Sea U = {p U;(Tp S, ) (Tp S, )}
U = {p U;(Tp S, ) (Tp S, )}
con la ayuda de la conexidad se muestra que existe un p S; p U q U . Lo cual es
contradictorio SR pues contradice al numeral 5.
5. GEOMETRIA DE LA APLICACION NORMAL DE GAUSS

Sea V un s-espacio vectorial con producto interno. Se
dice que una aplicacion lineal /:VV es AUTO-ADJUNTA si
/ v,w = v,/ w Dv,w V
A la aplicacion lineal auto-adjunta / es posible
asociar una forma bilineal 0 :V d Vs definida por
0 (v,w) = / v,w .
Recprocamente, si 0 :V d Vs es una forma bilineal

simetrica en V, podemos definir una aplicacion lineal
/:VV dada por
/v, w = 0 (v,w)
y la simetra de 0 implica que / es auto-adjunta.
Por otro lado, a toda forma bilineal simetrica 0 en V
corresponde una forma cuadratica 6 en V, dada por
6 (v) = 0 (v,v) Dv V.
El conocimiento de 6 determina completamente a 0 , pues
0 (u,v) = [6 (u+v)-6 (u)-6 (v)]
De esta manera, se establece una correspondencia
biunvoca entre las formas cuadraticas de V y las
aplicaciones lineales auto-adjuntas.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 84

LEMA 1. Si la funcion 6(x,y) = a x + 2 bxy + c y definida en el
crculo unitario x + y = 1, tiene el maximo
en el punto (1,0) del crculo
entonces b = 0.
DEMOSTRACION. En una vecindad del punto (1,0) del
crculo es posible resolver la ecuacion x + y - 1 = 0
en la forma x = x(y) esto es posible pues
I(x +y -1)|(,0) = (2x,2y)|(,0) = (2,0) (0,0)
y se aplica el teorema de la funcion implcita.
Derivando 6 (x(y),y) en relacion a y, obtenemos
d6 dx
dy = 2 ax dy + 2 bx + 2 by dx
dy + 2 cy
Sustituyendo en la expresion de arriba el valor de
dx y
dy ~ c x entonces
d6
dy = - 2 ax xy + 2 bx - 2 by xy + 2 cy
o en forma equivalente se tiene

6
4 ddy 5 = (-2 ay + 2 bx - 2 bxy + 2 cy)
6
en el punto (1,0), tenemos 4 ddy 5 ~ 2 b. Por la
(,0)
6
de maximo
condicion tenemos ( ddy )(,0) = 0 entonces b = 0.
PROPOSICION 1. Dada una forma cuadratica 6 en V, existe una base

{e ,e } de vectores unitarios y ortogonales de V, tal que si v V se escribe
v = xe + ye , entonces 6 (v) = x + y . Ademas de eso y
son los valores maximos
y mnimos respectivamente, de 6 en el crculo
unitario.
DEMOSTRACION. Sea el valor maximo de 6 en el crculo
unitario |v|=1 el cual existe por continuidad y sea e
un vector unitario de V, con 6 (e ) = . Sea e un
vector unitario de V, ortogonal a e y sea 6 (e ) = .
Vamos a demostrar que la base {e ,e } satisface el
enunciado.
Sea 0 la forma bilineal simetrica asociada a 6 , si
escribimos
v = xe + ye
tenemos
6 (v) ~ 0 (v,v) ~ 0 (xe b ye ,xe b ye ) ~ x b 2 bxy + y
donde b = 0 (e ,e ). Por el lema , b = 0. Resta apenas
mostrar que es el mnimo de 6 en el crculo |v| = 1,
lo cual es inmediato, pues como tenemos para
cualquier v = xe + ye como x + y = 1
6 (v) = x + y (x + y ) = .
TEOREMA 1. Si / es una aplicacion lineal auto-adjunta en V, entonces existen

dos vectores unitarios y ortogonales e y e , tales que /(e ) ~ e ,
/(e ) ~ e , esto es , e y e son vectores propios de /, y , son
valores propios de /.
En la base {e ,e } la matriz de / es evidentemente
diagonal y los elementos y , 1 de la diagonal
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 85

son el maximo y el mnimo, respectivamente, de la forma

cuadratica 6 (v) = / v,v en el crculo unitario.
DEMOSTRACION. Considere la forma
cuadratica
6 (v) ~ /v,v. Por la proposicion anterior, existen
vectores unitarios y ortogonales e , e con 6 (e ) ~ ,
6 (e ) ~ donde y son el maximo y el mnimo,
respectivamente de 6 en el crculo unitario de V. Basta
por lo tanto, demostrar que
/ e = e y / e = e
Como 0 (e ,e ) = /e ,e = 0 y e 0 (recuerdese el Lema )
tenemos que o bien / e es paralelo a e , o bien / e =
0 .
Si / e //e entonces /e = e y como
/e ,e = 6 (e ) = = e ,e = ,
se concluye que
/ e = e .
Si /e = 0 , entonces
= /e ,e = 0
y /e = 0 = 0 h e = e . De todas maneras /e = e .
Usando ahora que 0 (e ,e ) = /e ,e = 0 y /e ,e = se
concluye de la misma manera que / e = e .
DEFINICION 1. Sea S una superficie regular, orientable y en la cual fue fijado

N:SS de S en
un campo N de vectores normales unitarios. La aplicacion
la esfera unitaria S , definida tomando por N(p) S la extremidad de un
vector normal a S en p S y con origen en el centro de la esfera S , es
llamada APLICACION NORMAL DE GAUSS.
OBSERVACIONES. a) La aplicacion normal de Gauss es

diferenciable evidentemente. La diferencial dNp de N en
p S es una aplicacion lineal de Tp (S) en TN(p) (S ). Como
Tp (S) y Tp (S ) son planos paralelos de s , es posible
identificarlos por medio de una translacion y se
considera
dNp : Tp (S)Tp (S)
b) La aplicacion lineal dNp :Tp (S)Tp (S) opera de la
manera siguiente: Para cada curva parametrizada (t) en
S, con (0) ~ p se toma la curva parametrizada
N((t)) ~ N(t) en la esfera S ; eso equivale a
restringir el vector normal N a la curva (t).
El vector tangente NZ (0) ~ dN(Z (0)) puede ser pensado
como un vector de Tp (S) y mide la velocidad de variacion
del vector normal N(t) respecto a la curva (t) en el
punto t ~ 0.
De esa manera dNp caracteriza como N se retira de N(p),
en una vecindad de p. En el caso de las superficies ese
apartamiento es caracterizado por una aplicacion lineal.
PROPOSICION 2. La diferencial dNp :Tp (S)Tp (S) de la aplicacion

lineal auto-adjunta.
normal de Gauss es una aplicacion
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 86
DEMOSTRACION: Como dNp es lineal, basta verificar que
dNp (w ),w = w ,dNp (w )
para una base { w ,w } de Tp (S). Sea f(u,v) una
parametrizacion en p y u ,v la base asociada de
Tp (S). Si (t) ~ (u(t),v(t)) es una curva parametrizada
en S con (0) = p, tenemos
dNp (Z (0)) ~ dNp (u h uZ (0) b v h vZ (0)) ~ dt d
N(u(t),v(t))|t= o
Z Z
~ Nu u (0) b Nv v (0) (esto usando la regla de la cadena).
De donde tenemos que
dNp (u ) = Nu y dNp (v ) = Nv
por lo tanto para probar que dNp es auto-adjunto, basta
mostrar que
Nu ,v = u ,Nv
pues
dNp (w ),w ~ dNp (u uZ (tw ) b v vZ (tw )) , w =
~ Nu uZ (tw ) b Nv vZ (tw ),u uZ (tw ) b v vZ (tw )
~ Nu uZ (tw ),u uZ (tw ) b Nu uZ (tw ),v vZ (tw ) +

b Nv vZ (tw ),u uZ (tw ) b Nv vZ (tw ),v vZ (tw )

~ u uZ (tw ),Nu uZ (tw ) b u uZ (tw ),Nv vZ (tw ) +
1 2 1 2
b v vZ (tw ),Nu uZ (tw ) b v vZ (tw ),Nv vZ (tw )

1 2 1 2
~ u uZ (tw ) b v vZ (tw ), Nu uZ (tw ) b Nv vZ (tw )

1 1 2 2
~ w , dNp (w )

Veamoslo entonces; en efecto sabemos que N,fu ~ 0 y
N,fv = 0 pues N Tp (S) ~ [u ,v ] , derivando cada una de
estas relaciones con respecto a v y a u respectivamente,
se tiene
Nv ,u + N,uv ~ 0 de donde Nv ,u = - N,uv
Nu ,v + N,vu ~ 0 de donde Nu ,v = - N,vu
Como la superficie es regular, entonces se entiende que
f CB entonces fuv ~ fvu as conclumos que
Nu ,v = Nv ,u = u ,Nv
la u ltima igualdad es debida a la simetra del producto
interno ,
NOTA. El hecho de ser dNp :Tp (S)Tp (S) una aplicacion
lineal auto-adjunta nos permite asociar a dNp una forma

cuadratica 6 en Tp (S) dada por
6 (v) = dNp (v), v v Tp (S)
Para dar una interpretacion
geometrica de esa forma

cuadratica es necesario dar algunas definiciones.
DEFINICION 2. La forma cuadratica

P de una superficie regular S en un
punto p S definida en Tp (S) por
p (v) = c dNp (v), v v Tp (S)
es llamada la SEGUNDA FORMA CUADRATICA" de S en p.
DEFINICION 3. Sea S una superficie orientada y C una curva regular en S

pasando por p S, sea k la curvatura de C en p y cos = n,N donde
n es el vector normal a C, y N el vector normal a S en p, entonces
kn = k cos
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 87
es llamada CURVATURA NORMAL" de C en p.
OBSERVACIONES. La curvatura normal de C no depende de

la orientacion de C pero cambia de signo cuando
cambiamos de orientacion en la superficie.
Para dar una interpretacion de la segunda forma

cuadratica p , consideremos una curva regular C en S,
parametrizada por (s), donde s es la longitud de arco
de C a partir de p, esto es, (0) ~ p
Si indicamos con N(s) la restriccion del vector N a la
curva (s),tenemos
N(s),Z (s) ~ 0
de donde se tiene por derivacion
N(s),"(s) = - NZ (s),Z (s)
Por lo tanto
p (Z (0)) ~ c dNp (Z (0),Z (0) ~ c NZ (0),Z (0) ~
~ N(0),"(0) ~ N, kn(p) ~ kn (p)
En palabras tenemos que el valor de la segunda forma

cuadratica p en un vector unitario v de Tp (S) es igual
a la curvatura normal de una curva regular pasando por
p y tangente a la curva en v. En particular:
TEOREMA 2. DE MEUSNIER. Todas las curvas de una superficie S, que

tienen en un punto p S la misma tangente, tienen en ese punto la misma
curvatura normal.
Este resultado nos permite hablar de curvatura normal
siguiendo una direccion. Conviene utilizar el siguiente
lenguaje: Dado un vector unitario v de Tp (S) llamaremos
SECCION NORMAL DE S EN p SEGUN v ", a la interseccion con S,
del plano pasando por p, conteniendo v y N(p). En una
vecindad de p, una seccion normal de S en p es una
curva plana regular en S cuyo vector normal n en p es
f N o cero, el valor absoluto de su curvatura normal en
p de una curva (s) con (0) ~ p es igual a la curvatura
de la seccion normal de S en p, segu n Z (0).
Volvamos a la aplicacion lineal dNp . El teorema dado
sobre valores y vectores propios de una aplicacion
auto-adjunta, muestra que para cada p S existen dos
vectores e ,e Tp (S) unitarios, ortogonales y tales que
dNp (e ) = - k e y dNp (e ) = - k e
Ademas k y k (k k ) son los valores maximo y mnimo
de la segunda forma cuadratica p (v), cuando v recorre
el crculo unitario de Tp (S), esto es, los valores
extremos de la curvatura normal en p.
DEFINICION 4. Las curvaturas normales maxima k y mnima k en un punto

p S son llamadas curvaturas principales en p, las direcciones
correspondientes , esto es, e ,e son llamadas DIRECCIONES PRINCIPALES.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 88
DEFINICION 5. Si una curva regular conexa C en S es tal que para todo
p C la tangente a C es una direccion
principal de S en p entonces C es
llamada una LINEA DE CURVATURA DE S.
TEOREMA 3. DE O. RODRIGUEZ . Una condicion necesaria y suficiente

para que una curva regular conexa C en S sea una lnea de curvatura de S es
(t) de C se tenga,
que para cualquier parametrizacion
N (t) = (t) Z (t)
Z
donde N(t) ~ N( (t)) y (t) es una funcion diferenciable de t. En

de Z (t).
estas condiciones , -(t) es la curvatura principal en la direccion
DEMOSTRACION. Basta observar que si Z (t) esta en una
direccion principal, entonces Z (t) es un vector propio
de dN y
dN( Z (t)) = NZ (t) = (t) Z (t)
la recproca es inmediata.
NOTA. El conocimiento de las curvaturas principales en p

permiten calcular facilmente la curvatura normal segu n
una direccion dada de Tp (S). En efecto si v Tp (S) y
|v| ~ 1 con e y e formando una base de Tp (S), tenemos
v = e cos + e sen
donde es el angulo
de e a v en el sentido dado por la
orientacion de Tp (S).
La curvatura normal kn en la direccion de v es dada por

kn ~ p (v) ~ -dNp (v),v ~
~ -dNp (e cos + e sen), e cos +e sen
~ e k cos + e k sen, e cos + e sen = k cos + k sen
Esa ultima expresion de kn en funcion de k ,k y de ,

es conocida clasicamente bajo el nombre de FORMULA DE
EULER , en verdad, ella es simplemente la expresion de la
segunda forma cuadratica en la base e ,e .
EJEMPLOS. 1 Para un plano P, dado por

ax b by b cz b d ~ 0
el vector normal
N = j (a,b,c,)
a + b + c
es constante y por lo tanto dN = 0 para cualquier
punto. En este caso trivial, para todo p P, k ~ k y
todas las direcciones son principales.
2. Vamos a estudiar el punto p = (0,0,0) del
paraboloide
hiperbolico z ~ y c x . Para eso,
consideremos la parametrizacion dada por

(u,v) ~ (u,v,v -u ) y calculemos el vector normal N(u,v)
en esa parametrizacion; tenemos sucesivamente
u (u,v) = (1,0,-2 u), v (u,v) = (0,1,2 v)
N = |uu w u v 1
wv | = 4 ju +v + 14 ,- ju +v + 14 , 2 ju +v + 14 5
v
Observe que en el punto p = (0,0,0), u y v coinciden

con los vectores unitarios de 0x y 0y respectivamente.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 89
Por lo tanto, el vector tangente a la curva
(t) ~ (u(t),v(t)) con (0) = p, en el punto p, tiene
coordenadas (uZ (0),vZ (0),0) en s . Restringiendo
N(u,v) a la curva y calculando 4 dN dt 5 (0) obtenemos
Z Z Z
N (0) = (2 u (0), c 2 v (0),0),
pues
T
u +v + 1 -u -u -u
v (u +v +4 1 )/2 (u +v + 14 )/2 (u +v + 14 )/2 y uZ (t)
4
dNp (t) = @
w (u +v-v
+ 1 )/2
-(u +v + 14 )+v -v
z vZ (t) At=0
4 (u +v + 14 )/2 (u +v + 14 )/2 p
T
2 0 0 uZ (0)
= > ? > ~ (2 uZ (0), c 2 vZ (0),0)
0 -2 0 vZ 0 ?
de donde se concluye que, en el punto p

dNp (uZ (0),vZ (0),0) = (2 uZ (0), c 2 vZ (0),0)
Se sigue de aqu que los vectores (1,0,0) y (0,-1,0)
tangente al paraboloide hiperbolico en (0,0,0) son
vectores propios de dNp con valores propios 2 y -2. Las
direcciones 0x y 0y son por lo tanto direcciones
principales cuyas curvaturas principales son -2 y 2
respectivamente.
En dos dimensiones una aplicacion lineal esta
caracterizada por su determinante y su traza. En
nuestro caso, el determinante de dN es el producto
(-k )(-k ) = k k de las curvaturas principales. Si
cambiamos la orientacion de la superficie, esto es, si
cambiamos el signo de N, el determinante no vara (la
par es esencial aqu) pero la traza cambia de
dimension
signo.
DEFINICION 6. Sea p un punto de una superficie regular orientable S y

dNp :Tp (S)Tp (S) la diferencial de la aplicacion normal de Gauss. El
determinante de dNp (como matriz asociada a la base ortonormal dada por el
teorema ) es llamada la curvatura Gaussiana K en p , el simetrico
de la mitad
de la traza de dNp es llamado curvatura media H de S en p.
Hay dos ventajas de la curvatura Gaussiana K sobre la

curvatura normal kn , la primera es que el determinante
de dNp no depende de la base escogida para Tp (S) y la
segunda es que det dNp es tambien independiente del
espacio ambiente, es decir K depende u nicamente del
I ~ grad de la superficie S y esta se generaliza bajo la
de CONEXION en dimensiones mayores.
denominacion

En terminos de las curvaturas principales k ,k podemos
escribir
K = k k H = 12 (k + k )
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 90
TEOREMA 4. EGREGIO DE GAUSS. La curvatura Gaussiana K de una
superficie regular S es invariante por isometras.
Desgraciadamente no es posible dar una demostracion
adecuada a este nivel de este resultado cumbre de la
geometra, nuestro proposito es aplicarlo en muchas
ocasiones, especialmente como una herramienta en la
solucion de problemas (ver Apendice 2,p.115).
DEFINICION 7. Sea S una superficie regular orientable, clasificaremos los

puntos de S segun el signo de su curvatura Gaussiana as:
(1) Elptico, si det(dNp ) 0

(2) Hiperbolico, si det(dNp ) 0
(3)Parabolico,
si det(dNp ) = 0 y dNp 0
(4) Planar, si dNp = 0
Es claro que esta clasificacion de los puntos de una
superficie es independiente de la orientacion de la
superficie.
En un punto elptico la curvatura Gaussiana es
positiva. Ademas las curvaturas principles tienen el
mismo signo y por lo tanto todas las curvas pasando por
un punto tienen los vectores normales apuntando para el
mismo lado del plano tangente. Los puntos de una esfera
son todos elpticos.
En un punto hiperbolico, la curvatura Gaussiana es
negativa. Las curvaturas principales tienen signos
contrarios y por lo tanto existen curvas cuyos vectores
normales en p apuntan para lados diferentes del plano
tangente. El punto (0,0,0) del paraboloide hiperbolico

z = y -x es un ejemplo de puntos hiperbolicos.
En los puntos parabolicos, la curvatura Gaussiana es
cero pero una de las curvaturas principales es
diferente de cero. Los puntos de un cilindro son puntos

parabolicos.
Finalmente, en un punto planar, todas las curvaturas
principales son nulas. Los puntos de un plano
satisfacen trivialmente a esa definicion.
DEFINICION 8. Los puntos de una supeficie S para los cuales k = k son

llamados PUNTOS UMBILICOS" de S, en particular los puntos planares son
umblicos (pues k = k = 0 )
Todos los puntos de una esfera y de un plano son puntos

umblicos. En la esfera unitaria, por ejemplo, tomando
cartesiana dada por
la parametrizacion
(x,y) = (x , y , j1-x -y )
-x -y
x = (1,0, j1-x -y
), y = (0,1, j1-x -y
)
as
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 91
x y
4 , , 15
x wy k1-x -y k1-x -y
N = |x wy | = = (x , y , j1-x -y )
x y
l 1-x -y
+ 1-x -y
+ 1
Ahora
v 1 0 y Z
N'(t) = x 0 1 { > x (t) ?
-x(t) -y(t) yZ (t)
w j1-x (t)-y (t) j1-x (t)-y (t) z
Z Z
= 4 xZ (t),yZ (t), -x(t)x (t)-y(t)y (t)
j1-x (t)-y (t) 5
Sea (t) = (x(t),y(t),0) = (sen t,cos t,0), 0 < t < 2

entonces
p = (0) = (0,1,0) y Z (0) = (1,0,0)

ademas
NZ (0) = (1,0,0)

Teniendose entonces que
dN ((1,0,0)) = dN(Z (0)) = NZ (0) = (1,0,0) = 1(1,0,0)
por lo tanto tenemos que k = 1
Sea
(t) = (x(t),y(t), j1-x (t)-y (t) ) = (0,cos t, sen t)
entonces
p = (0) = (0,1,0) y Z (0) = (0,0,1)
Ahora
Z Z
NZ (t) = 4xZ (t),yZ (t) , -x(t)x (t)-y(t)y (t)
j1-x (t)-y (t) 5
tomando en este caso x(t) = 0, y(t) = cos t tenemos
Z Z
N (t) = (0,-sen t,cos t) de donde N (0) = (0,0,1)
As tenemos
dN( Z (0)) = dN(0,0,1) = NZ (0) = (0,0,1) = 1(0,0,1)
Esto implica que k = 1. Luego k = k en p = (0,1,0)
entonces p es un punto umblico, lo mismo vale para
cualquier p S.
TEOREMA 5. Sea S una superficie conexa tal que S esta constituda

enteramente por puntos umblicos entonces S es parte de una esfera o de un
plano.
DEMOSTRACION. Sea p S y (u,v) una parametrizacion de
S en p, tal que V = (U), U s , sea conexo. Como todo
q V es umblico, tenemos que para todo
w = u + v Tp S , dN(w) = (q) w
donde = (q) es una funcion real, diferenciable en V.
AFIRMACION. (q) es constante.
Para eso, escribimos la ecuacion de arriba en la forma
Nu + Nv = u + v , = (u,v)
de donde, por la arbitrariedad de w se sigue que
Nu = u , Nv = v
derivando con v y u respectivamente se tiene
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 92
Nuv = v u + uv
Nvu = u v + vu
Restando miembro a miembro estas dos u ltimas igualdades
tenemos
0 = v u c u v
Como u , v son una base de Tp (S) se sigue que
v = u = 0 D qV
Como V es conexa, entonces, = constante en V.
Podemos ahora distinguir dos posibilidades para .
i) Si = 0, Nu = Nv = 0 y siendo q = (u,v) un vector
de V, entonces (u,v),Nu = (u,v),Nv = 0 , pues
(u,v),Nu ~ u ,N b ,Nu ~ u ,N b ,0 ~ u ,N ~ 0

N Tp S
,Nv = v ,N + ,Nv = v ,N + ,0 = v ,N = 0
Luego (u,v),N = constante, entonces todos los puntos
f(u,v) de V estan en el mismo plano.
ii) Si 0, entonces consideremos
(u,v) c 1 N(u,v) ~ g(u,v),
as g(u,v) es constante, pues
(u,v)- 1 N(u,v)u = u - 1 Nu = 0 = (u,v)- 1 N(u,v)v
Como | (u,v)- g| = 1 , se sigue que todos los puntos de
V estan contenidos en una esfera de centro g y radio |1| .
El teorema esta demostrado localmente, esto para una
vecindad conexa de un punto p S. Para extender el
resultado a todo S, basta notar que, como S es conexa,
dado otro punto cualquiera q S, existe una curva
continua g:[0,1]S con g(0) = p y g(1) = q.
Para cada punto g(t) S de esa curva, existe una
vecindad Vt de S, contenida en un plano o en una esfera
y tal que la imagen inversa g- (Vt ) es un intervalo
abierto de [0,1]. Como [0,1] es compacto es posible
cubrirlo con un nu mero finito de vecindades g- (Vt ).
Si dos puntos t, t son tales que Vt , Vt estan
contenidos en planos entonces estan contenidos en el
mismo plano y todos los demas puntos de la curva estan
contenidos en el mismo plano, esto es debido a la
diferenciabilidad de S.
Si dos puntos t, t son tales que Vt , Vt estan
contenidos en esferas, el mismo argumento demuestra que
Vt y Vt estan en la misma esfera y por lo tanto todos
los puntos de la curva.
DEFINICION 9. Si p es un punto de una superficie S. Las direcciones de

Tp (S) para las cuales la CURVATURA NORMAL se anula, son llamadas
direcciones ASINTOTICAS de S en p. Una curva regular conexa C S, que
para todo p C es tangente a una direccion
asintotica
en p, es llamada una
LINEA ASINTOTICA de S.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 93
Una interpretacion
geometrica til de las lneas

asintoticas es obtenida utilizando la indicatriz de
Dupin que pasamos a describir.
Como vimos, los vectores propios e , e de la aplicacion
lineal auto-adjunta dN forman una base ortonormal del
plano tangente Tp (S) a la superficie S en p.
Determinemos en Tp (S), sobre una direccion que hace un
angulo positivo con e , una longitud dada por

1
= j|k
n|
donde kn es la curvatura normal en la direccion
considerada; el punto as obtenido se denota por
q Tp (S).
Usando la formula de EULER obtenemos
f 1 = k cos + k sen
Denotando por , las coordenadas del punto q en el
sistema e ,e de Tp (S) tenemos que = cos, =
sen, y por lo tanto
f 1 = k + k (*)
En palabras, la medida de la variacion del angulo
,
cuando el punto q describe el plano tangente Tp (S), es

dada por la conica representada por (*), conocida con
el nombre INDICATRIZ DE DUPIN en el punto p S.
APLICACIONES. [a] La imagen N(C) por la aplicacion

normal de Gauss N de una curva regular C S, que no

contiene puntos planares o parabolicos de S, es au
n una

curva regular de S (llamada imagen esferica de C).
SOLUCION: Una curva diferenciable :0 ss es regular
si Z (t) 0. Sea :Us una parametrizacion
en S y C
una curva dada por ( k )(t).
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 94

Por hipotesis C es regular; esto es, k :(- , )s es
diferenciable, ( k )Z (t) 0 para todo t (- , ). La
curva N(C) dada por (t) ~ N(f(u(t),v(t))) es
diferenciable, pues N y k son diferenciables y se
aplica la regla de la cadena.
Mostremos que Z (t) 0 para todo t (- , ), en efecto
tenemos
Z (t) ~ (N k k )Z (t) = dt d
(N( (u(t),v(t)))) =
d
= dNp ( (u(t),v(t))) h dt ( (u(t),v(t))=
=dNp (f(u(t),v(t)))(u uZ +v vZ ) = dNp (( k )Z (t) = NZ (t)
y como la curva C es regular tenemos ( k )Z (t) 0 por

hipotesis la curva no contiene ningu n punto planar o

parabolico entonces dNp 0 y det(dNp ) 0 para todo p C
entonces NZ (t) 0 y por lo tanto Z (t) 0.
Luego N(C) es una curva regular en S .
[b]. Si la curvatura de una lnea de curvatura C en p
es k, la curvatura normal de S en p, segu
n la direccion
de C, es kn y la curvatura de la imagen esferica N(C) es
kN , entonces
|kn h kN | = k
SOLUCION. Estamos suponiendo claramente que estamos en

la hipotesis de la parte [a] como C es una lnea de
curvatura se sigue del teorema de O. Rodrguez(p.88),
que
NZ (t) = (t)Z (t)
siendo una parametrizacion de C y -(t) la curvatura
principal en la direccion de NZ (t) entonces -(t) = kn
As
Z (t) = NZ (t) = - kn (t)Z (t)
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 95
Sea
NS . . normal a S en N(p),
NS . . normal a S en p,
nS . .normal a la curva C en p S,
nS . .normal a la curva N(C) en N(p) S .
Tomamos una orientacion de S tal que NS y NS , tengan el
mismo sentido ya que son paralelos, por definicion de
la aplicacion normal de Gauss.
Mostremos que el vector nS es paralelo al vector normal
nS . Para esto tenemos Z (t) ~ c kn (t)Z (t) para todo
t (- , ) de donde
Z
Z (t) ~ c kn(t) (t) = w(t) TN(p) (S )

Notese que kn (t) 0 pues la superficie no posee puntos
planares ni parabolicos.
Ahora
"(t) = dw(t) ds ds
ds h dt = kN h nS h dt = u(t) h nS

ds
siendo u(t) = kN h dt , ademas w(t) es un vector tangente a
N(C) la cual parametrizamos por la longitud de arco s,
entonces
Z
( dw
ds )(t) = w (t) = kN h nS

esto por las formulas de Frenet.

Por otra parte se tiene "(t) = k h nS entonces
k h nS = u(t) h nS
Esto implica que nS es paralelo a nS . Luego podemos
escribir
NS ,nS = NS ,nS
Entonces k NS ,nS = k NS ,nS por lo tanto kn = k NS ,nS
multiplicando miembro a miembro por kN tenemos
kn h kN = k h kN NS ,nS
Pero Z
N(p) ( (0)) = kN NS ,nS N(p) es la curvatura normal

Z :

de N(C) en S en el punto N(p) y la segunda forma

cuadratica un vector unitario v de TN(p) (S ) es:
N(p) (v) = - dN(v),v = - v,v = -1
De todo esto conclumos que
kN h kn = -k o sea que |kN h kn | = k.
Las definiciones dadas hasta ahora han evitado el uso
de coordenadas locales, con el objeto de hacer enfasis

en la naturaleza geometrica de los entes introducidos.
Algunos ejemplos simples pueden ser calculados usando
directamente las definiciones, ese metodo es , entre
tanto, ineficiente para situaciones mas generales.
Sea f(u,v) una parametrizacion en un punto p S de una
superficie S, y sea (t) ~ (u(t),v(t)) una curva
parametrizada en S , con (o) = p. Para simplificar la

notacion
en los calculos que siguen, supondremos que
todas las funciones que aparecen indican sus valores en
el punto p.
El vector tangente de (t) en p es Z = u uZ b v vZ y
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 96
Z Z Z Z
dN( ) ~ N (u(t),v(t)) ~ Nu u b Nv v
Como Nu y Nv son vectores de Tp (S), podemos escribir
4 NNuv~ a11 u ba12 fv
~a12 u ba 5 I
v
por lo tanto tenemos
dN(Z ) ~ (a uZ b a vZ )u b (a uZ b a vZ )v
esto es
uZ a a uZ
dN h > Z ? = > ? >
v a a vZ ?
lo que muestra que dN en la base u ,v es dada por la
matriz (aij ) i,j = 1,2. Por otro lado, la expresion de
la segunda forma cuadratica en la base u ,v es dada
por
p (Z ) ~ c dN(Z ),Z ~ c Nu uZ b Nv vZ ,u uZ b v vZ =
= e(uZ ) b 2 uZ vZ b g(vZ )
donde hemos denotado
e = - Nu ,u = N,uu ,
= - Nv ,u = N,uv
g = - Nv ,v = N,vv
Vamos ahora a obtener los valores de los aij en funcion
de los coeficientes e, , g a partir de (I), obtenemos
- = Nu ,v = a F + a1 G
- = Nv ,u = a1 E + a F
-e = Nu ,u = a E + a1 F (II)
-g = Nv ,v = a1 F + a G
donde E, F, G son coeficientes de la primera forma

cuadratica en la base u ,v . Las relaciones (II)
pueden ser expresadas por una igualdad matricial
e a a2 E F
- > ? = > ? > (III)
g a1 a F G?
de donde
c
a a2 e E F
>a a ? = -> g? >F G?
1
donde [ ]- significa el inverso de la matriz [ ]. Como

puede ser facilmente verificado
c
E F 1 G -F
>F G? = - EG-F > -F E ?
de donde concluimos las siguientes expresiones para los
coeficientes [aij ] de la matriz de dN en la base fu ,fv
a ~ EG-F
F-eG
, a2 ~ gF- G
EG-F , a12 ~ eF- E
EG-F ,
F-gE
a ~ EG-F

de la ecuacion (III) concluimos inmediatamente que

K = det(aij ) = eg- EG-F

Para el calculo de la curvatura media, recordemos que
c k , c k son los valores propios de dN. Por lo tanto,
k y k satisfacen la acuacion
dN(v) = -kv = -kIv , para algu n v Tp (S), v 0
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 97
donde I es la aplicacion lineal identidad. Se sigue que
la aplicacion lineal dN + k I se anula para algu n v 0,
de donde
a b k a
d a d = 0
a b k
o sea
k + k(a + a ) + a a - a a = 0
Sea k y k las races de esta ecuacion de segundo grado
y sea H la semisuma de estas races, concluimos
entonces que
H = - (a + a ) = e G -E G2 -F F- g E
de donde
k = H f j H - K , siendo K = a a - a a
de esta u ltima igualdad se sigue que, escogiendo k (q)
k (q), q S entonces las funciones k y k son continuas
en S; ademas de eso k y k son diferenciables en S,
excepto en los puntos umblicos ( H = K ) de S.
EJEMPLO. Vamos a calcular la curvatura Gaussiana de los
puntos, del toro cubierto por el sistema de coordenadas
locales:
(u,v) = ((a + r cos u) cos v, (a + r cos u) sen v, r sen u )

Para el calculo de los coeficientes e, ,g necesitamos
de N (y por lo tanto de u ,v ) uu , uv y vv
u (u,v) = (-rsen u cos v,- r sen u sen v, r cos u )
v (u,v) = (- (a + r cos u) sen v, (a +r cos u ) cos v, 0)
uu (u,v) = (- rcos u cos v, - r cos u sen v, - r sen u )
uv (u,v) = (r sen u sen v,- r sen u cos v,0)
vv (u,v) = (- (a + r cos u) cos v,- (a + r cos u) sen v,0)
Con los valores de arriba obtenemos
E = r , F = 0, G = (a + r cosu)
e = N,uu = |ju ,v ,uu| = r (a
|u ,v ,uu |
+ r cosu)
EG - F
donde |u ,v ,uu | = r (a + r cos u) indica el determinante
cuyas lineas son los componentes de u ,v y uu . Se
concluye que e = r. De la misma forma, obtenemos
|u ,v ,uv | |u ,v ,vv |
~ r(a + r cos u) ~ 0 g ~ r(a + r cos u) = cos u(a + r cos u)

Finalmente como K = eEgG-- F , tenemos K = r(a +cosr cos
u
u)
De la expresion de arriba, se sigue que K = 0 a lo
largo de los paralelos u = 2 y u = 32 . Los puntos

de esos paralelos son por lo tanto parabolicos.
3
dada por < u < , K es negativo (observese
En la region
que r > 0 y a > r), los puntos de esa region son por lo

tanto , hiperbolicos.
En la region dada por 0 < u < , 0 , 3 < u < 2 , la
curvatura es positiva, y los puntos son elpticos.
PROPOSICION 3. Si p S es un punto elptico de una superficie S,

entonces existe una vecindad V de p, tal que todos los puntos de V esten de

un mismo lado del plano tangente Tp (S). Si p es un punto hiperbolico de S
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 98
entonces en toda vecindad de p, existen puntos de ambos lados de Tp (S).
DEMOSTRACION. Sea f(u,v) una parametrizacion en p con
*
(0,0) = p. La distancia d de un punto q = f(u,v) al
plano tangente Tp (S) es dado por
d* = (u,v) c (0,0), Np
Como (u,v) es diferenciable, existe el desarrollo
(limitado) de Taylor
(u,v) ~ (0,0) b u u b v v b (uu u b 2uv uv b vv v ) b R
donde las derivadas son calculadas en (0,0) y el resto
R es de por lo menos de tercer grado en relacion a las
variables u,v. Se sigue de aqu que
d* ~ (u,v) c (0,0),Np
~ (uu ,Np u b 2uv ,Np uv b fvv ,Np v ) + R
~ (e u b 2f uv b g v ) b R ~ &p (w) b R
donde
w ~ u u b v v, R = R,Np y lm |w| R
= 0
w0
Supongamos que el punto p no sea parabolico en el
plano. Entonces
w &p (w)
&p 4 |w| 5 = |w|
R
toma un mnimo no nulo, en cuanto que |w| es
arbitrariamente pequeno~ para |w| suficientemente
pequeno~ esto es, para (u,v) perteneciente a una
d*
vecindad V de p, el signo de |w| y por lo tanto el
*
signo de d y es dado por el signo de &p (w).
Si p es un punto elptico &p (w) tiene el mismo signo d*
y por lo tanto si (u,v) V, d* tiene el mismo signo de
&p (w), esto es (u,v) esta siempre de un mismo lado del
plano tangente en p.
Si p es un punto hiperbolico, en cualquier vecindad de
p existen puntos (u,v) y (u,v) tales que &p (w) y &p 4 w 5
|w|
tienen signos distintos (donde w ~ u u
b v v);
estos
puntos, por lo tanto, pertenecen a lados opuestos de
Tp (S) lo que termina la demostracion.
APLICACIONES. Demostrar que toda superficie compacta, esto es, adotada y
cerrada en s , tiene por lo menos un punto elptico.
DEMOSTRACION. Sea :Ss una aplicacion de la
superficie a s
(p) = |p|
que indica la distancia al cuadrado de un punto p S
al origen, es continua (por ser la funcion distancia)
por lo tanto toma maximo y mnimo (pues S es
compacta), digamos que para m S
(m) = m
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 99

es el maximo. Con un radio r = m se construye una
esfera con centro en el origen y es claro que la
superficie queda toda dentro de la esfera.
Intuitivamente, es claro que S es tangente en p a la
esfera de radio r y que S esta dentro de la esfera, por
lo tanto S es mas curvada que la esfera, as tenemos
que
k(m) r1 > 0 (1)
Para mostrar la validez de (1) consideremos un camino
en S definido en el intervalo 0 = [- , ] y que pasa por
m = (0).
Entonces claramente f k toma maximo en 0 ya que es
continua por ser compuesta de funciones continuas y lo
hace justamente en el punto t = 0 o sea en m. Tomemos
:0 S parametrizada por la longitud de arco, esto es
Z (t),Z (t) ~ b 1 Dt I.
Z Z
En particular (0), (0) ~ 1. Ahora bien
(f k )(t) ~ (t),(t) derivando, se obtiene
d( k)
dt = 2 Z (t),(t) ,
en t = 0
tenemos maximo as
d( k)
dt ct=0= 0 , o sea que , Z (0),(0) = 0
Derivando una vez mas tenemos
d ( k )
dt ~ 2 "(t),(t) b 2 Z (t),Z (t)
Como en t = 0 debemos tener un maximo, entonces se sigue
que
d ( k)
dt ct=0 0
o sea que
"(0),(0) b Z (0),Z (0) = "(0),(0) + 1 0
Por lo tanto tenemos que 1 + "(0),m 0.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 100
m Z
Tomando r = N(0) (pues (0),m = 0 ) se tiene que
"(0), mr = kn ((0))
As
1
r + "(0), mr 0 kn ((0)) = "(0), mr - 1r
En particular de esta relacion se tiene para las
curvaturas principales que
kn ((0)) = k cos + k sen
entonces
k < - 1r y k < - 1r .
Luego
k(m) = k k r1 > 0
lo cual se quera demostrar.
EJERCICIOS
1. Pruebe que si una superficie S encuentra a un plano
P segu
n un angulo constante distinto de cero, entonces
S q P es una linea de curvatura de S.
2. Use el resultado dado en el problema 1, para
concluir que los paralelos y meridianos de una
superficie de revolucion son lineas de curvatura.
3. Halle las curvaturas principales del paraboloide

z ~ a(x +y ) en el punto (0,0,0).
4. Diga cuales de las siguentes afirmaciones son
verdaderas y cuales falsas; en cada caso justifique su
respuesta, probando o dando un contraejemplo.
a) Una curva regular situada sobre una esfera de
1
radio r tiene curvatura r
b) Si entre dos superficies existe un difeomorfismo

que preser va curvatura, entonces ellas son isometricas.

c) Sea :S S una aplicacion diferenciable que es

localmente una isometra. Sea CS una linea

asintotica de S.
Entonces f(C) es una linea asitotica

de S.
d) El conjunto de los puntos umblicos de una
superficie S es cerrado.
e) Las lineas de curvatura son invariantes por
isometras.

f) Una esfera es localmente isometrica a un cono.
g) Toda isometra entre dos superficies regulares de
s se puede extender a una aplicacion de s en s que
preserva distancias.
h) No existe isometra de un cilndro circular recto
sobre si mismo que deje un punto del cilndro fijo.
i) Si dos superficies S y S se cortan a lo largo de
una linea de curvatura comu
n entonces el angulo entre
ellas es constante a lo largo de S q S .
j) En una vecindad de un punto planar de una
superficie S s la aplicacion normal de Gauss es
constante.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 101
6. CAMPO DE VECTORES
Sea U sn un abierto, un CAMPO DE VECTORES en U es una
correspondencia :Usn que a cada qU hace
corresponder un vector (q) sn . El CAMPO se dice
DIFERENCIABLE cuando es diferenciable.
Una trayectoria integral o curva integral de origen
p U de un campo es una funcion
: (- , )U
tal que
Z (t) = ((t)) y (0) = p
EJEMPLO. Sea U = s -{0}, : Us

dado por
(x,y) = (-y,x)
entonces
(t) = (r cos t, r sen t)
es una trayectoria de , esto es
Z (t) = ( dx dy
dt , dt ) = (-y,x) = (-r sen t,r cos t)
o sea
dx dy
dt = - r sent, dt = r cos t
de donde
x = r cos t y = r sen t.
TEOREMA 1. (Existencia y unicidad de curvas integrales). Sea : Usn un campo

de vectores de clase C . Para cada p U existe una curva integral :(- , )
U de origen p. Ahora si u:(- , )U es otra curva integral de con origen
en p entonces = u en (- , ) q (- , ).
DEMOSTRACION. Sea una bola de centro p contenida en
U en la cual | | y | Z | son menores que una cierta
constante. En particular si x,y entonces
| (x)- (y)| k|x-y|
Sea 0 tal que k 1 y tambien k radio de la bola
. Sea f el conjunto de los caminos continuos
:[- , ]

con la metrica de la convergencia uniforme
d(,u) = sup |(t)-u(t)| = -u
- t
As f es un espacio metrico
completo, se define f:ff
tomando f() = u, donde
!
u(t) = p + ((s))ds D t [- , ]
0
t
|u(t) - p| | ((s))|ds k radio de
0
((s))
entonces u(t) . Sean u = ( ), u = ( ) entonces
t
u (t)-u (t) | ( (s)) c ( (s))|ds
0
k c , y, k<1
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 102
Luego es una contraccion.
Segu
n el teorema del punto
nico f tal que () = , donde
fijo, existe un u
t
(t) = p + ((s))ds
0
y
se tiene ademas
(0) = p y Z (t) = ((t))
As que existe una curva integral.
UNICIDAD. Sean :(- , )U, u:(- , )U tal que

(0) = u(0) = p
dos curvas integrales cualesquiera, sea c > 0, c ,
c , ck < 1, ck < radio de la bola ,
= c , u ~ uc
[ccc] [-c,c]
fc = caminos continuos de [-c,c] en
Se tiene ahora que y u son puntos fijos de la
funcion
c :fc fc
definida por c = [-c, c] , se sigue del teorema del punto
fijo que
= u
DEFINICION 1. Sea 0 ~ (, ), :0 U, es una curva integral ( o
trayectoria ) MAXIMA, si no es restriccion
de otra curva integral definida en
intervalo mayor que 0.
algun
TEOREMA 2. Dado un campo de vectores :Usn de clase Ck

(k 1) para cada p U existe una curva integral maxima
de con origen p.
Sea :Usn un campo de vectores de clase Ck cuyas

coordenadas son dadas por
(p) = ( (p),2 (p),...,n (p))
donde
, ,...,n :Us, i Ck para todo i
Ahora sea (t) ~ (x (t),x (t),...,xn (t)) la curva integral
estara
dada por
Z (t) = ((t))
lo que conduce al siguiente sistema de ecuaciones
diferenciales de primer orden:
dxi i
dt = (x(t)) i = 1,2,...,n
dxi i
( o, dt = , i = 1,2,...,n)
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 103
En particular para el plano s , sea

U s
(z) = (x,y) = ((x,y), (x,y))
el campo de vectores y para las curvas integrales
sera
(x(t),y(t)) se obtiene el sistema de ecuaciones
diferenciales siguientes:
dx
dt ~ xt,yt
H dy ~ xt,y!
dt
x0 = x(0), y0 = y(0)
donde (xo ,yo ) es el origen de la curva integral.
EJEMPLOS . 1. Sea :s s un campo dado por (x,y)=(x,y)

sea (t) un camino integral de que pasa por
p ~ x & entonces dado ese punto la curva integral que
parametrizada con convenientemente pasando por (xo ,yo )
es dada por
(t) = (xo et , yo et ).
Ahora
Z (t) = (xo et , yo et ) = (xo et , yo e ) = ((t))
t
esto equivale a decir que se esta resolviendo la

ecuacion diferencial
dx
dt = x
dy
dt = y
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 104
2. Sea :s s dado por (x,y) =(-y,x). Se tiene por lo

tanto el siguiente sistema de ecuaciones diferenciales
dx dy
dt = -y, dt = x
La curva integral de origen (xo ,yo ) = zo es

(t) = zo eit = (xo + iyo )(cos t + isen t)
= (xo cos t-yo sen t,xo sen t + yo cos t)
(0) = 0
de aqu se sigue que
Z (t) = izo eit = i(t) = ((t)).
a b
3. La matriz A = > define un campo :s s dado
c d?
por
(x,y) = (ax + by , cx + dy )
de donde
dx
dt = ax + by
dy
dt = cx + dy
definen las curvas integrales. Tambien se suele
escribir este campo en la siguiente forma:
x
(x,y) = A > ? , o, (z) = A z = dz
dt
y
la curva integral de con origen zo = (xo ,yo ) es dada
por
(t) = etA zo , (0) = zo
as,
Z (t) = A etA zo = A(t) = ((t)).
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 105
OBSERVACION.
Una interpretacion
geometrica de una curva

integral maxima
es dada en el grafico adjunto donde se
representa la trayectoria de un campo en el cual el punto
(xo ,yo ) se ha suprimido.
As la trayectoria no admite prolongamiento y se tienen dos

trayectorias maximas
((-B,-B),(xo ,yo )) y ((xo ,yo ),(+B,+B))
7. CAMPO DE DIRECCIONES
Sea
todas las rectas de s que pasan por el origen en
~ D donde se han identificado los puntos simtricos E
es llamado PLANO PROYECTIVO de dimension uno.

Sea U s un abierto de s y el plano proyectivo de
dimension uno, un CAMPO DE DIRECCIONES es una
correspondencia :U que a cada p U asocia (p) la
recta de s que une a p con el origen.
EJEMPLO . Sea :Us un campo de vectores con (p) 0
para todo p U, entonces define un campo de
direcciones en U poniendo (p) = [ (p)], donde [ (p)]
indica la recta que pasa por la direccion (p).
DEFINICION1. Se llama curva integral de un campo de direcciones a una
curva C cuyo espacio vectorial tangente en cada punto coincide con (p) .
Sean a,b:Us aplicaciones diferenciables, de un
abierto U de s en s, w = a dx + b dy es llamada una
FORMA DIFERENCIABLE de grado uno.Para cada p = (x,y) U,
w(p) = a(p) dx + b(p) dy (s )* es una correspondencia
que a cada p U w(p) asocia una funcion lineal en s
dada por
w(p) h = a + b
donde = (, ), w(p) 0 para todo p.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 106
Esto significa que si a + b 0, entonces w define un

campo de direcciones en U tal que (p) = ker w.
Si es tal que a dx + b dy = 0 entonces
(p) ~ v = (, ) s / a + b = 0.
Tanto en ecuaciones diferenciales como en la geometra
diferencial las extructuras de clase C k constituyen
objetos de gran importancia, por esta damos la
razon

siguiente definicion.
DEFINICION 2. Sea : U un campo de direcciones en U s , se

dice de clase 9 k ( 9 k , localmente proviene de un campo de vectores de
clase 9 k ) cuando para cada p U, existe V p un campo de vectores
: V s
k
tal que 9 , 0 en V y (q) = [ (q)] para todo q V.
Si (q) = (-b(q),a(q)) entonces la direccion (q) dada

por a dx + b dy = 0 y a,b:Vs son funciones de clase 9 k ,
es un campo de direcciones de clase 9 k .
Entonces resulta que dado un campo de direcciones
:U de clase 9 k (k 1) por cada punto p U pasa una

nica curva integral maxima
u de .
Por curva integral maxima indicaremos a una curva
conexa que no esta contenida propiamente en ninguna
otra.
Sea :Us una aplicacion de clase 9 k+ tal que Z (p) 0
para todo p U, en estas condiciones se obtiene un
campo de direcciones :U de clase 9 k tomando
(p) = nucleo de Z (p) = vectores grad (p)
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 107
C C
dado por : dx +
Cx dy = 0 y las curvas integrales de
Cy
son llamadas curvas de NIVEL.
Sea :Us un campo de vectores de clase 9 k (k 1)
(t,p) (un punto de parametro
t) es una trayectoria de
con origen en p, cuando:
C
C t (t,p) = ((t,p)) y (0,p) = p .
Por un teorema muy conocido de ecuaciones diferenciales
se sigue que si (t,p) es una trayectoria de entonces
(t,p) 9 k .
TEOREMA 1. DEL FLUJO TUBULAR. Sea :Us un campo de vectores

de clase 9 k (k 1), p U tal que (p) 0 en estas condiciones existen :
Un segmento (a,b) con p (a,b) contenido en U, un intervalo (-
, ) y un difeomorfismo
: (- , ) d (a,b)V
sobre una vecindad de p tal que cada segmento horizontal (- , ) d q es
transformado por en una trayectoria de .
DEMOSTRACION. 1. Tomese (a,b) (p) con p (a,b)
2.Defnase :(t,q) (t,q) en una vecindad de (0,p) de
manera que C t (0,p) = (p) y b0,p = ident entonces
(t,q) Ck .
3. Ct (0,q) es un vector paralelo al segmento a,b.
4. (0,p):s s es un isomorfismo, pues (p) 0.
Z
5.Por el teorema de la funcion inversa se puede tomar

~
(a,b) y > 0 tan pequeno que :(- , ) d (a,b)V es
un difeomorfismo.
COROLARIO 1. Sea :U un campo de direcciones de clase 9 k , cada

p U posee una vecindad V en la cual esta definida una integral primera de ;
f:Vs tal que
esto es una funcion
Z
1. (q) 0 para todo q V.
2.Las curvas integrales de son curvas de nivel de .
TEOREMA 2. Sea , :U dos campos de direcciones de clase 9 k

(k 1) en un abierto U s , (p) (p) para todo p U . Para cada
pU existe un difeomorfismo Vo V de clase C k definido en un

rectangulo Vo con valores en una vecindad V q tal que transforma los
segmentos horizontales en curvas integrales de y los verticales en curvas
integrales de .
DEMOSTRACION. Dado p U, existe una vecindad V tal que
:V s es una primera integral de y existe V tal
que g:V s es una primera integral de .
Tomemos W = V q V , as ,g:Ws son primeras integrales
de y respectivamente, W p es vecindad de p.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 108
Sea :Ws dada por (q) ~ ( (q), g(q)),

ademas
Z
(p):s s
es un isomorfismo, pues
ker( Z (p)) = ker(fZ (p)) q ker(gZ (p)) = 0.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 109
Aplicando el teorema de la funcion inversa, existe
-
= .
k
De Vo en V de clase C y tenemos que es la direccion

Z Z
donde g = 0 y es la direccion
donde = 0.
DEFINICION 3. Sea S s una superficie de clase 9 k (k 1). Un

CAMPO DE VECTORES EN S es simplemente una aplicacion : Ss .
DEFINICION 4. Sea w:Ss un campo de vectores, w es de clase 9 k si y

solamente si w k :Uo s es de clase 9 k para toda :Uo V
de clase 9 k de S.
parametrizacion
La definicion 4 es independiente de la parametrizacion,
en efecto sea :Vo S otra parametrizacion de S de
clase 9k con (Uo ) q (Vo ) 0, entonces w k es de clase
9k pues
w k = w k k (- k ) Ck .
EJERCICIOS
1. Demostrar el corolario 1.
2. Se define la derivada () de una funcion

diferenciable
:U S s
n un campo , definido en un abierto U S, por
segu
d
()(q) = dt ( k )|t = 0 , q U
donde :0 S es una curva tal (0) = q, Z (0) = (q)
Probar que:
a) es diferenciable en U si y solo si () es
diferenciable para todo diferenciable en U.
b) Si :U s es otra funcion diferenciable en U y ,
nu
meros reales se tiene
( + ) = () + ()
() = () + ()
8. CAMPO DE VECTORES TANGENTES

Sea w:Ss un campo de vectores, w es llamado campo de
VECTORES TANGENTES si:
Para todo p S, w(p) Tp (S) "
En particular sea U S un abierto, entonces U es una
superficie de clase 9 k y tiene sentido hablar de
campo de vectores tangentes en un abierto y se tiene Tp
U = Tp S.
Si :Uo U S es una parametrizacion de clase 9 k , un
campo w de vectores tangentes en U queda determinado
por una aplicacion wo :Uo s tal que wo (x) T(X) (S).
Para obtener w:Us basta tomar w((x)) = wo (x) o
- w 9 k si y slo si wo 9 k .
sea que w ~ wo k y se tendra
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 110
8.1. CONSTRUCCION DE UN CAMPO DE VECTORES TANGENTES.
Sea S una superficie rectangular, una parametrizacion
de S, define en S dos campos dados por
u = CCu : Uo s
v = CCv : Uo s
para todo x Uo , u (x) T(x) (S), v (x) T(x) (S)
ademas u (x),v (x) es una base de T(x) (S) de clase
9 k- . Obteniendose
as w ,w :Us dos campos de
vectores dados por
w ((x)) = u (x)
w ((x)) = v (x)
Es corriente por abuso de notacion escribir para p U,
u (p) queriendo indicar u (x) con p = (x), v (p) para
indicar v (x) con p = (x).
Sea w:Ss un campo de vectores tangentes, :Uo U
una parametrizacion de S, entonces se definen dos
funciones
, : Uo s
de tal manera que para todo p U, p = (x) y se tiene
w(p) = (x)u (x) + (x)v (x)
Mostraremos que para r k-1, w 9r si y solo si , 9 r
Sea S s , una superficie de clase 9k , w ,w :S s
campos de vectores tangentes de clase Cr (r k).
Supongamos que en cada punto p S, w (p),w (p) sea una
base del plano tangente Tp (S). Todo campo de vectores
tangentes w:S s se escribe en cada p S como
w(p) = (p) w (p) + (p) w (p)
esto define las aplicaciones y de S en s.
TEOREMA 1. Sea w:S s un campo de vectores tangentes w es de

clase 9 k si y slo si , son de clase 9 k .
DEMOSTRACION. ) Es claro, que , son de clase 9 k
entonces evidentemente w = w + w es de clase 9 k .
) Supongamos w 9 k , para probar que , 9 k podemos
admitir que si tenemos una parametrizacion :Uo U
k
de clase 9 , entonces w,w ,w :U s son funciones de
clase 9 k tales que para todo x Uo , {w (x),w (x)} es una
base de T(x) (S) y ademas
w(x) = (x) w (x) + (x) w (x)
Tomando las coordenadas se tiene
w (x) = (x) w11 (x) + (x) w12 (x)
w (x) = (x) w21 (x) + (x) w22 (x)
w (x) = (x) w31 (x) + (x) w32 (x)
Para todo x U la matriz [wij ] tiene rango 2 y se puede
admitir sin perdida de generalidad que
w w
d d 0
w w
Entonces podemos resolver el sistema
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 111

w (x) = + (x) w (x) (x) w (x)
w (x) = + (x) w1 (x) (x) w (x)
Por la regla de Krammer, se obtienen y en funcion

de los w's y por lo tanto resultan de clase C k .
Sea w:S s un campo de vectores tangentes, la

trayectoria (o curva integral) de w es un camino
diferenciable :J S tal que para todo t S,
(t) ~ w((t)).
Si 0 J, (0) = p es llamado el origen de la
trayectoria.
TEOREMA 2. Sea w:S s un campo de vectores tangentes de clase

9 k (k 1). Para todo p S existe una unica

trayectoria maxima w con
origen en p.
Indicaremos con (t,p) el punto de S correspondiente al

parametro t en la trayectoria de origen p , tenemos
d
(0,p) = 0, dt = w((t,p))
La trayectoria (t,p) (t,p) es de clase 9k , su dominio
es un subconjunto abierto de s d S el cual es formado
por la reunion de intervalos del tipo J d p.
DEFINICION 1. Sea :S s un campo de vectores tangentes aquellos

puntos p de S para los cuales Z (p) = 0 son llamados SINGULARIDADES del
campo .
EJERCICIOS
1. Demostrar el teorema 2
2. Sea un campo de vectores de clase 9 B en una
superficie S, con (p) 0 en un cierto punto p S.
Pruebe que existe una parametrizacion :Vo V de una
vecindad de p, tal que u = en V.
3. En las hipotesis del problema 2, sea :(-,) S un
camino de clase C B tal que (0) = p o Z (0) no es un
mu
ltiplo de (p). Muestre que una parametrizacion
puede ser elegida de modo que, ademas de u = , se tenga
n que (0,v) = (v) para todo v proximo
au a 0.
4. Pruebe que el hecho de que un campo de vectores sea
diferenciable en un punto p S no depende del sistema
de coordenadas elegido en p.
5. Mostrar que todo de campo vectores de clase 9 k en la
esfera S admite por lo menos una singularidad
9. CAMPO DE DIRECCIONES EN UNA SUPERFICIE

Un CAMPO DE DIRECCIONES en una superficie S, es una
correspondencia tal que a cada punto p S hace
corresponder una recta que pasa por el origen en Tp (S)
: S
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 112
p (p)
donde (p) representa la recta pasando por el origen en
Tp (S) , o sea que (p) Tp (S).
Sea w:S s un campo de vectores tangentes tales que
w(p) 0 para todo p S, w induce sobre S un CAMPO DE
DIRECCIONES dado por
(p) = [w(p)].
DEFINICION 1. es de clase C k si y solamente si para todo p S existe un

campo w de vectores tangentes de clase 9 k , definida en una vecindad V de p
tal que
(p) = [w(q)] Dq V .
Esta definicion es equivalente a decir que es de clase
9 k si y slo si para cada p S existe
1. Una parametrizacion :Uo U p
2. Dos funciones reales a,b:U s, a,b 9 k ;
tales que un vector w = u + v Tq (S) esta en (q) si
y solo si a + b = 0 , o sea que
w (q) a(q) + b(q) = 0.
DEFINICION 2. Una LINEA INTEGRAL de un campo de direcciones es una curva

C S cuya recta tangente Tp C en cada punto p C coincide con (p).
TEOREMA 1. Sea un campo de direcciones de clase 9 k (k 1) en una

superficie S. Por cada punto p S pasa una unica

curva integral maxima de .
La prueba se reduce a hacer un estudio local,
transladando el problema al caso del plano a traves de
una parametrizacion.
DEFINICION 3. Una INTEGRAL PRIMERA de un campo de direcciones en S es

real diferenciable f:V s, definida en un abierto V S, tal
una funcion
que
1. Z (p) 0 para todo p V
2. Las curvas de nivel - (c) de son curvas integrales de .
Las propiedades anteriores pueden ser resumidas
diciendo que para todo p U el nu cleo de la derivada
Z (p): Tp S s
es (p). Si o :Uo s es una integral primera de o
entonces o k - = sera una integral primera de .
TEOREMA 2. Dado un campo de direcciones de clase 9 k (k 1) en una

superficie S, cada punto p S posee una vecindad V en la cual se encuentra
definida una integral primera de clase 9 k .
TEOREMA 3. Sean , campos de direcciones de clase 9 k (k 1) en S tales

que (p) (p) para todo punto p S. Entonces para cada punto p S,

existe una parametrizacion
: Uo U
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 113
k
de clase 9 tal que las curvas
u (u,vo )
v (uo ,v)
sean curvas integrales de y respectivamente.
APLICACIONES .(a) Pruebe que si w es un campo diferenciable de vectores

en una superficie S y w(p) 0, p S, entonces es posible parametrizar una
vecindad de p con (u,v) de tal modo que u = w.
DEMOSTRACION. Sea una parametrizacion de U S a
traves de ella se define un campo de tal manera que wo
sea transformada en w, esto es afirmamos que existe un
campo wo :Uo s tal que Dx Uo Z (x) h wo (x) = w((x))
entonces
wo (x) = [Z (x)]- h w((x))
es claro que wo (x) 0 pues w(p) 0 donde p = (x) si w
es diferenciable entonces wo es diferenciable. Se aplica
el teorema del flujo tubular para garantizar la
existencia de Vo y un difeomorfismo
: Vo Uo
u (u,v)
de tal manera que es una curva integral de wo . As
se toma = k y se tiene que u = w ya que
C C Z
C u = C u ( k ) = k u = w ((x))
(b) Admita que no existe campo de vectores tangentes no nulo y diferenciable
en la esfera y muestre que lo mismo sucede para la elipsoide
x y z
a + b + c = 1.
DEMOSTRACION: Se sabe que existe un difeomorfismo :E
S entre la esfera y la elipsoide (ver 3 ejemplo 2 pag.
50). Sea w un campo de vectores en E. Si p S , existe
q E tal que (q) = p.
Se define ahora sobre S el siguiente campo de vectores
v(p) = Z (q) w(q) Tp S
entonces por la hipotesis existe po S tal que
v(po ) = 0
entonces por construccion existe qo E tal que
Z (q) w(qo ) = v(po )
donde f(qo ) = po . Como Z (q) es un difeomorfismo se
sigue que existe qo E tal que w(qo ) = 0. Luego no
existe campo de vectores no nulo sobre el elipsoide.
EJERCICIOS
1. Muestre que, en un punto
hiperbolico, las
direcciones principales bisectan las direcciones

asintoticas.
2. Muestre que la curvatura normal media H en el punto
p S es dada por

H = 1 kn ( ) d

0
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 114
donde kn () es la curvatura normal en p, segu n una
direccion que hace un angulo
con una direccion fija.
3. Muestre que la suma de las curvaturas normales en un
punto de una superficie, para cualquier par de
direcciones ortogonales, es constante.
4. Muestre que si la curvatura media se anula en un
punto no-planar, entonces ese punto posee dos

direcciones asintoticas ortogonales.
5. a) La imagen en N(C) por la aplicacion normal de
Gauss N de una curva regular C S, que no contiene
puntos planares o parabolicos de S, es au n una curva
regular de S (llamada imagen esferica de C).
b) Si la curvatura de una lnea de curvatura C en p es
k, la curvatura normal de S en p segu n la direccion de
C es kn , la curvatura de la imagen esferica N(C) es kN
entonces |kn h kN | = k (ver Aplicaciones p.98).
6. Muestre que si la superficie es dada en la forma
z ~ (x,y) entonces haciendo x = p, y = q, xx = r,
xy ~ s, yy = t, tenemos
e = j1 + rp + q , = j1 + sp + q , g = j1 + tp + q ,

k = (1 + rt-s
p + q ) , H = (1 + q )r + 2 p q s + (1 + p )t
j(1 + p + q )
7. Muestre que cuando las lneas coordenadas son
lneas de curvatura, entonces las curvaturas
e g
principales k y k son dadas por E y G . Calcule k y
k en una superficie de revolucion.
8. Muestre que una condicion necesaria y suficiente
para que las curvas coordenadas de una parametrizacion

sean lineas de curvatura es que F = = 0 .
9. Muestre que en el origen (0,0,0) del hiperboloide
z ~ a x y se tiene k = -a y H = 0.
10. Si p S es un punto elptico de una superficie S
entonces existe una vecindad V de p, tal que los puntos
de V esten del mismo lado del plano tangente Tp (S). Si p
es un punto hiperbolico de S, entonces en toda vecindad
de p, existen puntos de ambos lados de Tp (S) (Ver
proposicion 3 pg.97)
11. Sea (t) = (u(t),v(t)) una curva parametrizada de
una superficie S. La ecuacion
e(u ) + 2 f uZ vZ + g(vZ ) = 0
Z
para todo t, es llamada ecuacion diferencial de las

lneas asintoticas. Determine las lneas asintoticas y
las lneas de curvatura de la helicoide x = v cos u,
y ~ vsen u, z = c u y muestre que su curvatura media es
cero.
NOTA: Para calcular las lneas de curvatura utilice la
ecuacion diferencial de las lineas de curvatura dadas
por:
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 115
Z
(v ) - uZ vZ (uZ )

E F G = 0

e g
12.Es verdadero el recproco del teorema Egregio de
Gauss?. De serlo, d una demostracion y en caso
contrario d un contra-ejemplo.
13.Determine las lneas asintoticas del catenoide
x = cos h v cos u, y = cos h v sen u, z = v
14. Determine las lneas de curvatura y las lneas

asintoticas de z = x y
15.Muestre que toda superficie compacta, esto es

limitada y acotada en s , tiene por lo menos un punto
elptico.
16. Pruebe que el hecho de que un campo de vectores sea
diferenciable en p S no depende del sistema de
coordenadas escogido en p.
17.Pruebe que el campo de vectores obtenido en el toro
parametrizado todos sus meridianos por la longitud de
arco y tomando sus vectores tangentes, es
diferenciable.
18.Pruebe que si w es un campo diferenciable de
vectores en una superficie S y w(p) 0 p S, entonces
es posible parametrizar una vecindad de p con (u,v) de
tal modo que u = w .
19.Admita que no existe campo de vectores tangentes no
nulos y diferenciable en la esfera y muestre que lo
mismo sucede para la elipsoide
x y z
a + b + c = 1 .
20.Sea un campo de vectores de clase 9 r , r 1
definido en un abierto + de s . Verifique que : i) Si
9 es una primera integral de , entonces CC 0 en
C
+. Tambien, si C 0 y dp 0 para todo p en +,
entonces es una integral primera de .
ii) Si p + no es punto singular de , entonces existe
una vecindad V de p tal que |v tiene dos integrales
primeras , funcionalmente independientes.
APENDICE 2
Vamos a dar una demostracion del teorema egregio de
Gauss, el cual fue publicado en 1827 y en la actualidad
la prueba esta basada en la teora de conexiones sobre
superficies.
Sea S s una superficie regular, p S y U un sistema
de coordenadas de S en p. Escojamos un campo de clase
C B de vectores normales
L:Tp (S) Tp (S)
definido por
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 116
L(X) = IX N
Aqu IX es tal que
IX Y = y CCax +y CCay + y CCaz
p
donde
Y = (y ,y ,y ), Xp = (a ,a ,a ) Tp (S)
AFIRMACION 1. L(x) = IX N Tp (S)
En efecto, se sabe que N,N = 1 luego dx N,N = 0, as
dx N,N = IX N,N + N,IX N = 2 IX N,N
Se deduce de aqu que IX N N de donde IX N Tp (S).
L es llamada aplicacion
La aplicacion de Weingarten". Como lo
veamos en la proposicion 2 5 p.85 la aplicacion L
resulta auto-adjunta y la aplicacion extendida
IX N = L(X):dx (U) dx (U)
resulta lineal.
DEFINICION. Para Y dx (U) y X Tp (S) definimos el operador

x Y = IX Y + L(X),Y N .
Usando la segunda forma cuadratica tenemos que
x Y = IX Y + &p (X,Y) N .
AFIRMACION 2. x Y Tp (S)
En efecto,
x Y,N = IX Y+ L(X),YN,N = IX Y,N + L(X),Y N,N =
= IX Y,N + IX N,Y = dx Y,N = 0
de donde se sigue la afirmacion.
PROPIEDADES DEL OPERADOR .

1. x (Y + Z) = x Y + x Z.
Esto se sigue del hecho que I y , son lineales.
2. X+Y (Z) = X Z + Y Z
Tambin es una consecuencia de la linealidad de I,
L, y, ,
3. aX Y = a X Y
Usando la definicion de y la linealidad de I, L,
y, , se obtiene 3.
4. x ( Y) = (X )Y + x Y
Puesto que
x ( Y) ~ IX ( Y) b L(X), Y N ~ (X )Y b (IX Y b L(X),Y N )
= (Xf)Y + fx Y
5. x Y-Y X = IX Y-IY X = [X,Y]
Esta propiedad nos permite afirmar que x satisface
al corchete de LIE, y se sigue del hecho de ser L auto-
adjunto pues,
x Y c Y X ~ IX Y b L(X),Y c IY X c L(Y),X ~ IX Y c IY X.
6. dx Y,Z = x Y,Z + Y,x Z
Basta con hacer los siguientes calculos
x Y,Z + Y,x Z = IX Y,Z + Y,IY Z + IX N,Y N,Z +
+ IZ N,X N,Y = dx Y,Z
Esto es debido a que N,Z = N,Y = 0.
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 117
Cuando un operador cumple las seis propiedades del

operador x , se dice que es una CONEXION sobre S. Por
esta razon concluimos obviamente que es una conexion
sobre S.
AFIRMACION 3.- IX (IY Z) - IY (IX Z) - I[X,Y] Z = 0
Para ver esto sea Z = (z ,z ,z ) con zi C B (U) entonces
IX IY Z - IY IX Z - I[X,Y] Z ~
~ (XYz ,XYz ,XYz ) c (YXz ,YXz ,YXz ) c ([X,Y]z ,[X,Y]z ,[X,Y]z )
~ ((XY-YX)z ,(XY-YX)z ,(XY-YX)z ) c ([X,Y]z ,[X,Y]z ,[X,Y]z ) = 0
Esto es debido a que
[X,Y]p ( |U ) = Xp (Y( |U )) c Yp (X( |U ).
En esta forma tenemos ahora que

IX (Y Z - IY N,Z N) - IY (Y Z - IX N,Z N) - I[X,Y] Z = 0
donde se ha usado la afirmacion 3 juntamente con la
definicion de la conexion x , as
0 ~ x Y Z c IX N,Y Z N c (dx IX N,Z)N c
c IY N,ZIX N c Y X Z b IY N,x Z N b (dY IX N,Z) N b
b IX N,ZIY N - [X,Y] Z b I[X,Y] N,Z
Aqu tenemos terminos de los espacios normal y
tangente; escogiendo los terminos que estan en el
espacio tangente obtenemos la llamada ecuacion de
GAUSS.
x Y Z - Y X Z - [X,Y] Z ~ IY N,ZIX N - IX N,ZIY N (1)
La sexta propiedad de la conexion implica que
x IY N - Y IX N - I[X,Y] N,Z = 0
Basados en esta propiedad y el hecho de que se cumple
para todo Z d(U) tenemos
x IY N c Y IX N c I[X,Y] N ~ 0 (2)
conocida como ecuacion de Codazzi
Para entender el contenido profundo de las ecuaciones
(1) y (2), fundamentales en el estudio de la geometra
diferencial, vamos a definir un nuevo campo dependiente
de X, Y y Z dado por
(X,Y) Z = x Y Z - Y x Z - [X,Y] Z
Entonces, por la ecuacion (1) es lineal en X, Y y Z.

Ademas (X,Y) Z depende u nicamente de Xp ,Yp ,y Zp ya que L
y , dependen solamente de ellos. Por lo tanto
(Xp ,Yp ):Tp (S) Tp (S)
es un operador lineal.
TEOREMA 4. EGREGIO DE GAUSS. La curvatura Gaussiana K de una

superficie regular S es invariante por isometras.
DEMOSTRACION: Basta demostrar que
(X,Y)Y,X = K
Con tal fin consideremos la ecuacion de Gauss (1)
tenemos
(X,Y)Y,X) = IY N,YIx N,X - Ix N,YIY N,X
= IY N,YIx N,X - Ix N,YIY N,X
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 118
I N,Y Ix N,Y
= d Y = det Np = K.
IY N,X Ix N,X d
Ahora como (X,Y)Y,X es independiente de N y L, pues

nicamente en trminos de I y ,. Por lo
definida u
esta
tanto, K depende u nicamente de I y ,, y es
independiente de N y L. En esta forma hemos demostrado
el teorema egregio de Gauss.
BIBLIOGRAFIA
1. Auslander L : Differential Geometry. A Harper International

Edition 1967
2. Carmo, M do : Elementos de geometria diferencial.
Editora.Univesidade de Brasilia. 1971
3. Carmo, M do : Introducao ~ ~ a Geometria global. Monografia IMPA
1970
4. Carmo, M do : Notas de Geometria Riemaniana. Monografia IMPA
5. Carmo, M do : Differential Geometry of Curves and Surfaces.
Englewood Cliffs, N.J. Prentice-Hall

6. Cartan. H : Calcul Differentiel. Hermann. Collection. 1971.
7. Chern. S.S: On the Existence of Isothermal Parameters, Proceedings
of A.M.S 1957
8. Gauss.C.F : Disquisitiones Generales circa Superficies curvas (1827),
Hewlett, N.Y. Raven Press 1965.
9. Godbillon. C:
Geometrie
Differentielle
et mecanique Analytique.
Hermann Collection 1969.
10. Harle. C: Geometria Diferencial. Monografia IMPA. 1971.
11. Hicks. N: Notes on Differential Geometry. Van nostrand
mathematical. 1965.
w
12. Lima. E: Analise no Espaco s n . Edito ra Universide de
Brasilia.1970.
13. Lima. E: Variedades Diferenciaves. Monografia IMPA,1973.
14. Milnor. J: Topology from the Differentiable viewpoint. The University
Press of Virginia Charlottesville. 1972.
15. O'Neill B. : Elementary Differential Geometry. Academic Press
1969.

16. Sanchez
Hernandez. J.D: Teoria de Galois. Trabajo de ano ~ sabatico.
1982
17. Spivak.M : Comprehensive Introduction to Differential Geometry, I,II,
III,IV y V. Boston Publish or Perish. 1970, 1975

18. Ver Eecke P. : Geometrie
Differentielle. Fascicule I: Calcul des Jets.
Publicacoes ~ da Sociedade de Matematica de Sao ~ Paulo.
,
1967
19. Wallace A. : Differential Topology. First Steps .Benjamin,inc 1968
20. Watson W. : Geometria Diferencial. VII Coloquio Colombiano de
Matemticas. Cali 1977
Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 119

Dario Sanchez Geometria Diferencial R3 Aprendizaje 2004 PDF

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Dario Sanchez Geometria Diferencial R3 Aprendizaje 2004 PDF

Hochgeladen von

Copyright:

Verfügbare Formate

ELEMENTOS

Jos Daro Snchez Hernndez

1. FUNCIONES DIFERENCIALES DE s m EN s n ....................... .. 3

DEFINICION 1. Sea U s un conjuto abierto, se dice que una aplicacion  :Us

Recordemos ahora las definiciones dadas en cursos anteriores

Si para todo x U, f es diferenciable en x, entonces se dice

EJERCICIO. Sea f:s s

DEFINICION 2. Dado un conjunto abierto U de s , una aplicacion

PROPOSICION 1. Una aplicacion  es diferenciable en un punto x U si y solamente si

(1 (x+th), (x+th),..., (x+th))-(1 (x), (x),..., (x))

DEFINICION 3. (MATRIZ JACOBIANA). Sea  :U s diferenciable en x U y sea

EJEMPLO. Sea  :s s

((x+th )(y+th ),x+th +y+th ,(x+th ) -(x+th )(y+th ))-(xy,x+y,x -xy)

= 4 t(xh +yht +h h t) , t(ht+h ) , t(2xh +th -xht  -yh -h h t) 5

1.2 FUNCIONES DE CLASE C 

decimos que  es dos veces diferenciable en el punto x y

Prosiguiendo por induccion, suponemos que

EJEMPLOS. 1. Una aplicacion constante es de clase 9 B

3. Sea > 0, un numero entero. La funcion  (x) = |x| es de

es de clase 9 pero no es de clase 9  .

1.3 REGLA DE LA CADENA.

EJEMPLO. Sea s un espacio vectorial normado de dimension

Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G  9

1.4 DESIGUALDAD DEL VALOR MEDIO

TEOREMA DE LOS INCREMENTOS FINITOS. Sea  :[a,b] s una funcion

TEOREMA 2 (DESIGUALDAD DEL VALOR MEDIO) . Sea U s un subconjunto abierto

COROLARIO. Sea U s un conjunto abierto conexo y  :Us una aplicacion

1.5 FUNCIONES IMPLICITAS.

Sean s ,s espacios vectoriales nor mados U s ,V s

PROPOSICION 2 Sea f:UV es un difeomorfismo entonces

DEFINICION 4 Sea U s un abierto. Una funcion diferenciable  :U s es

Si  es un difeo morfismo de clase C se sigue inmediatamente

e% cos y -e% sen y

es tal que det(J f(x,y)) = e% > 0.

una vecindad V de x sobre una vecindad W de  (x ).

1.6. TEOREMA FUNDAMENTAL DEL ALGEBRA .

DEFINICION 5. Sea s un espacio vectorial normado U s un subconjunto abierto.

TEOREMA 4 (DE LA FUNCION IMPLICITA). Sea U s + un abierto y  :U s una

2. FUNCIONES DIFERENCIABLES DE s EN s Y s CURVAS

EJEMPLOS 1. Sea  :(0,1)s

DEFINICION 1. Sea  :0 s un camino;  es llamado un camino parametrizado

EJEMPLOS 1. Sea  :0 s , 0 = (0,2)

PROPOSICION 1. Sea  :0 s un camino diferenciable tal que  9 entonces

2) Como  9 entonces  Z es uniformente continua en [a,b] por

DEFINICION 2. Sea  :0 s (o en s ) un camino, se dice que  esta

TEOREMA 1. Sea  :0 s una aplicacion de clase 9  . Una condicion necesaria y

Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G  20

 9  , ade mas Z (t) = | Z (t)| > 0; pues  es regular.

Como |( k )Z (t)| = 1 para todo t J, se sigue que  k  es un

EJEMPLO. Sea  :ss es un camino re gular dado por

2.1. PRODUCTO VECTORIAL EN s

Sea u,v s , u w v s es el u nico vector caracterizado por la

EJEMPLO. Sea u = (1,4,7), u = (-4,0,1) entonces

as u w u = (4, -29, 16).

2.2. PROPIEDADES DEL PRODUCTO VECTORIAL

como x s es cualquiera, se sigue entonces que algu n vector

Para ver esto basta examinar u w v con respecto a los vectores

de esta propie dad se deja co mo un ejercicio.

2.3. EL TRIEDRO DE FRENET

Derivando la u ltima identidad tenemos

EJEMPLO. Sea  :ss el camino definido por

Se denotara t(s)  Z (s) para todo s 0 , y el plano

DEFINICION 3. Llamaremos TORSION del camino  en    a un numero

DEFINICION 1. Sea U s un conjuto abierto, se dice que una aplicacion :Us

EJERCICIO. Sea f:s s

DEFINICION 2. Dado un conjunto abierto U de s , una aplicacion

PROPOSICION 1. Una aplicacion es diferenciable en un punto x U si y solamente si

(1 (x+th), (x+th),..., (x+th))-(1 (x), (x),..., (x))

DEFINICION 3. (MATRIZ JACOBIANA). Sea :U s diferenciable en x U y sea

EJEMPLO. Sea :s s

((x+th )(y+th ),x+th +y+th ,(x+th ) -(x+th )(y+th ))-(xy,x+y,x -xy)

= 4 t(xh +yht +h h t) , t(ht+h ) , t(2xh +th -xht -yh -h h t) 5

1.2 FUNCIONES DE CLASE C

decimos que es dos veces diferenciable en el punto x y

3. Sea > 0, un numero entero. La funcion (x) = |x| es de

es de clase 9 pero no es de clase 9 .

EJEMPLO. Sea s un espacio vectorial normado de dimension

Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 9

TEOREMA DE LOS INCREMENTOS FINITOS. Sea :[a,b] s una funcion

TEOREMA 2 (DESIGUALDAD DEL VALOR MEDIO) . Sea U s un subconjunto abierto

COROLARIO. Sea U s un conjunto abierto conexo y :Us una aplicacion

Sean s ,s espacios vectoriales nor mados U s ,V s

DEFINICION 4 Sea U s un abierto. Una funcion diferenciable :U s es

Si es un difeo morfismo de clase C se sigue inmediatamente

es tal que det(J f(x,y)) = e% > 0.

una vecindad V de x sobre una vecindad W de (x ).

DEFINICION 5. Sea s un espacio vectorial normado U s un subconjunto abierto.

TEOREMA 4 (DE LA FUNCION IMPLICITA). Sea U s + un abierto y :U s una

2. FUNCIONES DIFERENCIABLES DE s EN s Y s CURVAS

EJEMPLOS 1. Sea :(0,1)s

DEFINICION 1. Sea :0 s un camino; es llamado un camino parametrizado

EJEMPLOS 1. Sea :0 s , 0 = (0,2)

PROPOSICION 1. Sea :0 s un camino diferenciable tal que 9 entonces

2) Como 9 entonces Z es uniformente continua en [a,b] por

DEFINICION 2. Sea :0 s (o en s ) un camino, se dice que esta

TEOREMA 1. Sea :0 s una aplicacion de clase 9 . Una condicion necesaria y

Daro Snchez H ,3,4 ,5 ; 6: +, .,64 ,; 90( +0- ,9,5 * 0(3 ,5 G 20

9 , ade mas Z (t) = | Z (t)| > 0; pues es regular.

Como |( k )Z (t)| = 1 para todo t J, se sigue que k es un

EJEMPLO. Sea :ss es un camino re gular dado por

2.1. PRODUCTO VECTORIAL EN s

Sea u,v s , u w v s es el u nico vector caracterizado por la

EJEMPLO. Sea u = (1,4,7), u = (-4,0,1) entonces

as u w u = (4, -29, 16).

como x s es cualquiera, se sigue entonces que algu n vector

EJEMPLO. Sea :ss el camino definido por

Se denotara t(s) Z (s) para todo s 0 , y el plano

DEFINICION 3. Llamaremos TORSION del camino en a un numero

EJEMPLO.Sea (s)=(cos s,sen s), se tiene t = Z (s) = (-sen s,cos

TEOREMA 3. Sea ,J : 0 s, (s) > 0 funciones de clase 9B entonces existe un

DEFINICION 4. Un camino ELEMENTAL de clase 9 en s es

3) Consideremos ahora un ejemplo de un subconjunto de s que

DEFINICION 5. Sea U s una funcion de clase 9 de un abierto U de s en s. Sea

TEOREMA 4. Si c es un valor regular de entonces c (c) = ) , o , c (c)

EJEMPLO. Sea (x,y) = x - y , y, x - y = c . Tenemos

Sea U s un abierto y :Us una funcion de clase 9 (r 1)

DEFINICION 6. Sea C una curva en 9 y P C. Sea 0 C una parametrizacion en

PROPOSICION 2. Sea U s un abierto, :Us una funcion de clase 9 (r 1)

v s h Z (t ) de donde v T7 C, as ker Z (P)|* = T7 C.

COROLARIO 1. Sea :U s s es una funcion de clase 9 k ( 1) a s es un

DEFINICION 8. Sea U s un conjunto abierto, :Us una funcion a una variable

Z ((t )) h Z (t ) = Z (P) h Z (t ) = 0

donde k(s) es la curvatura de .

OBSERVACIONES. 1. El subconjunto V s debe ser un

DEFINICION 1. Sea S s , si para cada punto p S existen una vecindad V de p en

C (x,y) cos cos cos sen

C (y,z) cos sen -sen

C (z,x) -sen cos cos

= sen (sen + sen ) = sen = 0

De estas identidades tenemos que - es dada explcitamente

Verifiquemos que - k es la identidad en v; en efecto,

= ( , 2 arc tg(tg 2 )) = ( , 2 2 ) = (,)

Es claro que - es continua.

TEOREMA Sea S una superficie regular. v un subconjunto contenido

TEOREMA Si : vs es una funcion diferenciable de clase 9 (k 1)

Esto implica que es de rango 2, ahora sea & :s T s

DEFINICION Dada una funcion diferenciable :v s s definida en un abierto

(p) s es llamado UN VALOR CRITICO de . Un numero

TEOREMA Si :v s s es una funcion diferenciable y a - (v) es un

donde hemos indicado (u,v,t) las coordenadas de un punto de s

OBSERVACION. Sea U s , una funcion de clase 9 , es posible

b). Supongamos que (x,y,z) = u = constante, (x,y,z) = v =

iii) Vamos a extender a una aplicacion