Superficies Regulares

UNFV 2014

Una superficie regular es, en primera instancia, la generalizacin a dos dimensiones del
concepto de curva regular. No obstante, debemos enfatizar que esta generalizacin no es
directa, ya que requiere un punto de vista radicalmente opuesto al que hemos adquirido con
relacin a las curvas, por ejemplo las curvas eran consideradas como una aplicacin entanto
que las superficies son objetos en R3 con una serie de propiedades bastante restrictivas,
las superficies admiten infinitas parametrizaciones que deben cumplir ciertos requisitos;
ser primordial la traza o imagen, como subconjunto de R3 , de dichas parametrizaciones.
Definicin. Un subconjunto no vaco S R3 es una superficie regular si para todo punto
p de S existe un abierto U R2 , un entorno V de p en S (con la topologa relativa de
S R3 ) y una aplicacin X : U R3 tales que
S1. X(U ) = V y X : U R3 es diferenciable en sentido ordinario.
S2. X : U V es un homeomorfismo
S3. Para todo q U la diferencial dXq : R2 R3 es inyectiva
La aplicacin X se llama parametrizacin, carta o sistema de coordenadas. En entorno
V se llama entorno coordenado.
Observacin. Qu significan las condiciones anteriores?

Figura 1: Esquema de una superficie y el homeomorfismo asociado en un punto, para una

superficie de una hoja

1. La aplicacin X : U V es diferenciable. Esto significa que si escribimos

X(u, v) = (x(u, v), y(u, v), z(u, v)) las funciones x, y, z : U R son derivables
con derivadas contnuas de todos los rdenes.
2. Decir que V es un entorno de p en el subconjunto S con la topologa relativa, significa
que existe un abierto W de R3 tal que V = W S.
3. La condicin S1 asegura que la superficie S sea suave, en el sentido de que no tiene
aristas ni vrtices.
4. La condicin S2 evita que la superficie S tenga autointersecciones, esto es muy
importante cuando se procure definir un nico plano tangente a la superficie en un
punto.
5. La condicin S3 es esencial para asegurar la existencia del plano tangente en todos
los puntos de S. Es una hiptesis similar a que 0 (t) 6= 0 en el caso de una curva
regular.

Intuitivamente: Qu es una superficie?

Una superficie regular es, intuitivamente, un subconjunto de R3 que resulta de tomar
trozos de planos, doblarlos de forma suave y pegarlos sin que se note dicha unin.

Figura 2: Esquema de deformacin para una superficie de dos hojas

Qu significa la diferencial dXq : R2 R3 sea inyectiva?

Dada la parametrizacin X : U V , su diferencial en un punto q de U es la aplicacin
dXq : R2 R3 dada por
x
(q)
u
 

w1
y
dXq (w) = JX(q)
=
(q)
u

w2
z
(q)
u

x
(q)
v


w1
w2

y
(q)
v

xu (q) xv (q)
 

w1

=
yu (q) yv (q) w2

z
(q)
v

zu (q) zv (q)

para cada vector w = (w1 , w2 ) de R2 . Al ser dXq una aplicacin lineal, sta queda
completamente determinada si sabemos cmo acta sobre los vectores de una base. As,
vamos a escribir
Xu (q) =

X
(q)
u

= dXq (e1 ) = (xu (q), yu (q), zu (q))

Xv (q) =

X
(q)
v

= dXq (e2 ) = (xv (q), yv (q), zv (q))

Por tanto, la condicin de que dXq sea inyectiva es equivalente a que el rango de la matriz
jacobiana JX(q) sea mximo, es decir, que rang(JX(q)) = 2. Esto es lo mismo que
exigir que los vectores Xu (q), Xv (q) sean linealmente independientes, hecho que nos va a
asegurar la existencia del plano tangente.

Modo alternativo de ver la diferencial dXq

Dada una curva paramatrizada : (, ) R2 tal que (0) = q y 0 (0) = w, podemos
tomar la curva, en la superficie, = X : (, ) S, para la cual (0) = X((0)) =
X(q). Aplicando la regla de la cadena se tiene

d 
(0) = (X ) (0) =  (X )(t) = dX(0) (0 (0)) = dXq (w)
dt t=0
0

slo se considera el valor de en t = 0 y el hecho de que (0) = q, 0 (0) = w, as

el resultado anterior es independiente de la eleccin de la curva, por lo que se puede
considerar (t) = q + tv.

Figura 3: Caracterizacin del diferencial dXq por medio de curvas en la superficie

Ejemplo (El plano). Sea el subconjunto de R3 dado por



= (x, y, z) R3 : ax + by + cz = d
donde a, b, c no se anulan simultneamente. Sin prdida de generalidad, suponemos que
c 6= 0; entonces, podemos despejar la coordenada z como z = (d ax by)/c. Tomamos
ahora U = R2 , V = (el entorno coordenado va a ser, en este caso, toda la superficie),
y sea X : U V la aplicacin dada por

X(u, v) =

d au bv
u, v,
c

entonces se tiene:
1. X es diferenciable, pues es lineal.
2. X 1 : U es la proyeccin ortogonal sobre el plano z = 0, que es contnua, y
por tanto X es un homeomorfismo.
3. Los vectores Xu = (1, 0, a/c) y Xv = (0, 1, b/c) son linealmente independientes,
pues Xu Xv = 1c (a, b, 1) 6= 0, y en consecuencia, dXq es inyectiva para todo q.
Ejemplo (La esfera). Sea S2 la esfera unitaria bidimensional


S2 = (x, y, z) R3 : x2 + y 2 + z 2 = 1
Definimos X1 : U R3 como
X1 (u, v) = (u, v,

1 u2 v 2 )

donde U = {(u, v) R2 : u2 + v 2 < 1}. Vemos que

1. X1 es diferenciable en U .
2. X11 es la proyeccin ortogonal sobre el plano z = 0, que tambin es contnua. As
X1 es un homeomorfismo sobre la imagen X1 (U ).
3. Por ltimo se tiene que




v
u
, (X1 )v = 0, 1,
(X1 )u = 1, 0,
1 u2 v 2
1 u2 v 2
Son linealmente independientes, por lo que d(X1 )q es inyectiva.
En consecuencia X1 es una parametrizacin. Para ver que S2 es una superficie regular,
hay que comprobar que existen parametrizaciones para todos los puntos de S2 . Con X1
se cubren todos los puntos que cumplen z > 0, pero
4


si tomamos X2 (u, v) = (u, v, 1 u2 v 2 ), con (u, v) U , se comprueba nuevamente que X2 es una parametrizacin que cubre todos los puntos de S2 tales que
z < 0.
con X1 y X2 se tiene cubierto los hemisferios norte y sur (abiertos), pero no los
puntos del ecuador.
para cubrir toda la esfera S2 se necesitan las parametrizaciones

X3 (u, v) = (u, 1 u2 v 2 , v) X4 (u, v) = (u, 1 u2 v 2 , v)

X5 (u, v) = ( 1 u2 v 2 , u, v) X6 (u, v) = ( 1 u2 v 2 , u, v)
Como vemos, no resulta sencillo encontrar todas las parametrizaciones de una superficie
cualquiera, incluso si se trata de la esfera. Una superficie puede ser parametrizada de
distintas formas, y unas parametrizaciones pueden ser mas adecuadas que otras, segn el
contexto que se este desarrollando.

Criterios prcticos para la determinacin de superficies

Como se pudo apreciar en los ejemplos anteriores, puede resultar complicado comprobar si
un determinado conjunto S R3 es una superficie. Se hace necesario determinar algunos
criterios que permitan identificar si un subconjunto S es una superficie regular o no, con
independencia de las posibles parametrizaciones que admita.
Proposicin (Grafos). Sea f : U R una funcin diferenciable con U R2 abierto.
Entonces el conjunto formado por
G(f ) = {(u, v, f (u, v)) : (u, v) U }
es una superficie regular de R3 . As, cualquier grafo de una funcin diferenciable es una
superficie regular.
Demostracin. La prueba es inmediata, pues una parametrizacin global para G(f ) viene
dada por X(u, v) = (u, v, f (u, v))
Con el objeto de presentar el siguiente criterio, necesitamos una definicin previa.
Definicin. Sea f : V R3 R una funcin diferenciable definida sobre un abierto V
de R3 . Se dice que p V es un punto crtico de f si dfp no es sobreyectiva, es decir, si
dfp 0. El valor f (p) se denomina valor crtico de f . Si a R no es un valor crtico, se
dice que es un valor regular.
Proposicin (Valores regulares). Sean f : V R3 R una funcin diferenciable y a
un valor regular de f (es decir, para todo p f 1 (a) se tiene que dfp es sobreyectiva).
Entonces S = f 1 (a) es una superficie regular de R3 , denominada superficie de nivel.

Demostracin. Sea S = f 1 (a), donde a es un valor regular de f . Fijamos un punto

p0 S (por tanto, f (p0 ) = a) con p0 = (x0 , y0 , z0 ). Como dfp0 es una aplicacin lineal
sobreyectiva, entonces las derivadas parciales
f
f
f
(p0 ),
(p0 ),
(p0 )
x
y
z
no se anulan simultneamente. Sin prdida de generalidad, supongamos que la ltima de
ellas cumple (f /z)(p0 ) 6= 0. Utilizando el teorema de la funcin implcita, podemos asegurar la existencia de entornos U (x0 , y0 ) R2 , I(z0 ) R, y de una funcin diferenciable
g : U I, tales que
1. g(x0 , y0 ) = z0
2. para todo (x, y) U , f (x, y, g(x, y)) a = 0
3. (U I) f 1 (a) = {(u, v, g(u, v)) : (u, v) U }
Definimos entonces la parametrizacin X(u, v) = (u, v, g(u, v)), con (u, v) U . Se tiene
entonces por (3) que X(U ) = (U I)S, que es abierto en S. Adems, por la proposicin
anterior, X : U V es una parametrizacin de S, pues es el grafo de la funcin
diferenciable g.
Ejerccio: Verificar si los siguientes subconjuntos de R3 son superficies regulares
n
E = (x, y, z) R3 :

x2
a2

y2
b2

z2
c2

o
=1

F = {(x, y, z) R3 : x2 + y 2 + 2xy = 0}
G = {(x, y, z) R3 : x2 y 2 = 0}