Documente Academic
Documente Profesional
Documente Cultură
Soluciones
1. Se define f : R3 R dado por f (x, y, z) = x2 + y 2 z 2 . Como f = (2x, 2y, 2z), el
u
nico punto crtico es (0, 0, 0), cuya imagen por f es 0. Por tanto, 1 es un valor regular
de f , probando que S es una superficie.
Definimos U = (0, ) (0, /2) y V = X(U ). Veamos que V es abierto. En tal caso,
sinh(u) cos(v), sinh(u) sin(v), cosh(u) > 0, probando que V O := {(x, y, z) : x > 0, y >
0, z > 0} y as V S O. Para la otra inclusion, sea (x, y, z) S O y resolvemos
sinh(u) cos(v) = x, sinh(u) sin(v) = y, cosh(u) = z.
Entonces, u = arc cosh(z) pues cosh(z) : (0, ) [1, ) es biyectiva.. Por otro lado,
y/x = tan(v), luego v = arc tan(y/x). La aplicacion inversa es
X 1 (x, y, z) = (arc cosh(z), arc tan(y/x)).
Tanto X como X 1 son continuas ya que al componer con las funciones coordenadas de
S, nos quedan funciones que son restricciones de funciones continuas definidas en O.
Por la misma raz
on X es diferenciable con
Xu = (cosh(u) cos(v), cosh(u) sin(v), sinh(u)), Xv = ( sinh(u) sin(v), sinh(u) cos(v), 0).
Entonces
Xu Xv = ( sinh(u)2 cos(v), sinh(u)2 sin(v), sinh(u) cosh(u)).
Si fuera cero, de las dos primeras coordenadas, ya que el seno y el coseno no se anulan
simult
aneamente, se deduce que sinh(u) = 0: contradiccion pues u R+ .
Para una superficie de este tipo, la aplicacion
N=
f
|f |
d
d
|t=0 f ((t)) = |t=0 z(t) = z 0 (0).
dt
dt
d
d
|t=0 f ((t)) = |t=0 h(t) p0 , ai = h0 (0), ai = hv, ai.
dt
dt
q
q
) = f (p) .
|q|
|q|
d
|t=0 f ((t))(t)) = dfp (v)p + f (p)v.
dt
N1 en V1
N2 en V2
La aplicaci
on est
a bien definida, es de modulo 1, y en cada punto es perpendicular
al plano tangente por serlo N1 o N2 . Por otro lado es diferenciable, ya que N al
restringir a Vi es Ni , son diferenciables.
(b) Caso N1 |V1 V2 = N2 |V1 V2 . Se define
N=
N1
en V1
N2 en V2
La aplicaci
on est
a bien definida, es de modulo 1, y en cada punto es perpendicular
al plano tangente por serlo N1 o N2 . Por otro lado es diferenciable, ya que N al
restringir a V1 es N1 y a V2 es N2 , que son diferenciables.