Geometra Diferencial de Curvas y Supercies

ndice general

1 Geometra diferencial de curvas 1

1.1 Longitud de arco . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Vectores tangente, normal y binormal: Triedro de Frnet-Serret . . . . . . . . . . . . . . . . . . . 1
1.3 Curvatura y torsin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.4 Plano osculador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.5 Centro de curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.6 Teorema fundamental de curvas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.7 Vase tambin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.8 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.8.1 Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.8.2 Enlaces externos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

2 Geometra diferencial de supercies 6

2.1 Ecuacin paramtrica de una supercie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.1.1 Plano tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.1.2 Vector normal a la supercie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2 Primera forma fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.2.1 Longitud de una curva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.2.2 ngulo entre dos curvas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2.3 rea de una regin sobre la supercie . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.3 Segunda forma fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.4 Curvatura normal y geodsica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.4.1 Curvaturas principales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.4.2 Lneas de curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.5 Curvatura gaussiana . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.6 Vase tambin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.7 Referencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.7.1 Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.7.2 Enlaces externos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.8 Text and image sources, contributors, and licenses . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.8.1 Text . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.8.2 Images . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.8.3 Content license . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

i
Captulo 1

Geometra diferencial de curvas

En matemticas, la geometra diferencial de curvas propone deniciones y mtodos para analizar curvas simples
en Variedades de Riemann, y en particular, en el Espacio Eucldeo.

1.1 Longitud de arco

Dada una curva sucientemente suave (diferenciable y de clase C 2 (I) ), en R3 y dado su vector de posicin r(t)
expresado mediante el parmetro t;

r(t) = x(t)i + y(t)j + z(t)k t [a, b]

se dene el llamado parmetro de arco s como:

t
2 2 2
s = (t) = [x ( )] + [y ( )] + [z ( )] d
a
La cual se puede expresar tambin de la siguiente forma en la cual resulta ms fcil de recordar

t
s = (t) = r ( )d
a
Lo cual permite reparametrizar la curva de la siguiente manera:

~r(s) = (
x(s), y(s), z(s))
donde

x
((t)) = x(t), y((t)) = y(t), z((t)) = z(t)
son las relaciones entre las dos parametrizaciones.

1.2 Vectores tangente, normal y binormal: Triedro de Frnet-Serret

Dada una curva parametrizada r(t) segn un parmetro cualquiera t se dene el llamado vector tangente, normal y
binormal como:

1
2 CAPTULO 1. GEOMETRA DIFERENCIAL DE CURVAS

Vista esquemtica del vector tangente, vector normal y vector binormal de una curva hlice.

r (t)
T(t) = N(t) B(t) o bien T(t) = r (t)
r (t)r (t)
B(t) = T(t) N(t) o bien B(t) = r (t)r (t)
[r (t)r (t)]r (t)
N(t) = B(t) T(t) o bien N(t) = [r (t)r (t)]r (t)

Estos tres vectores son unitarios y perpendiculares entre s, juntos conguran un sistema de referencia mvil conocido
como Triedro de Frnet-Serret a raz del estudio de Jean Frenet y Joseph Serret. Es interesante que para una
partcula fsica desplazndose en el espacio, el vector tangente es paralelo a la velocidad, mientras que el vector
normal da el cambio direccin por unidad de tiempo de la velocidad o aceleracin normal.
Si la curva est parametrizada segn la longitud de arco, como se explic en la seccin anterior las frmulas anteriores
pueden simplicarse notablemente:

( )
dr(s) 1 dT(s) 1 dN(s)
T(s) = ds N(s) = ds B(s) = ds + T

Donde los parmetros y anteriores designan respectivamente a la curvatura y a la torsin.

1.3 Curvatura y torsin

La curvatura es una medida del cambio de direccin del vector tangente a una curva, cuanto ms rpido cambia
ste a medida que nos desplazamos a lo largo de la curva, se dice que es ms grande la curvatura. Para una curva
parametrizada cualquiera la curvatura es igual a:

r (t) r (t)
(t) = 3
r (t)

Si la curva est parametrizada por el parmetro de longitud de arco, la anterior ecuacin se reduce simplemente a:
1.4. PLANO OSCULADOR 3

(s) = ~r (s)

Adems de la curvatura se suele denir el llamado radio de curvatura, como el inverso de la curvatura.
La torsin es una medida del cambio de direccin del vector binormal: cuanto ms rpido cambia, ms rpido gira
el vector binormal alrededor del vector tangente y ms retorcida aparece la curva. Por lo tanto, para una curva total-
mente contenida en el plano la torsin es nula ya que el vector binormal es constantemente perpendicular al plano
que la contiene. Para el caso general la torsin viene dada por:

r (t) (r (t) r (t))

(t) = 2
r (t) r (t)

Si la curva est parametrizada por el parmetro de longitud de arco, la anterior ecuacin se reduce a:

~r (s) (~r (s) ~r (s))

(s) = 2
~r (s)

1.4 Plano osculador

En cada punto de una curva, el plano osculador es el plano que contiene a su vector tangente y al vector normal a la
curva. Para una partcula desplazndose en el espacio tridimensional, el plano osculador coincide con el plano que en
cada instante contiene a la aceleracin y la velocidad. La ecuacin de este plano viene dada por:[1]
 
x x0 y y0 z z0 

det  x0 y0 z0  = 0
 x0 y0 z0 

Donde:

(x0 , y0 , z0 ) , el punto de la treyectoria.

(x0 , y0 , z0 ) , el vector velocidad en el punto considerado.

(x, y, z) , las coordenadas de un punto genrico del plano osculador.

Si se tiene una partcula en la posicin xp , movindose con velocidad v y sometida a una aceleracin a = 0 el plano
osculador viene dado por el conjunto de puntos:

(v a) (x xp ) = 0

Obviamente si la partcula tiene un movimiento rectilneo el plano osculador no est denido.

1.5 Centro de curvatura

En un entorno de un punto de una curva puede ser aproximado por un crculo, llamado crculo osculador por estar
contenido en el plano osculador. El radio del crculo osculador coincide con el radio de curvatura (inverso de la
curvatura). El centro de dicho crculo puede buscarse como:
4 CAPTULO 1. GEOMETRA DIFERENCIAL DE CURVAS

Ilustracin de la circunferencia osculatriz en el punto P de la curva C, en la que se muestra tambin el radio y centro de curvatura.

r (t)2 (r (t)r (t)) r (t)4

rc (t) = r(t) r (t)r (t)2 r (t) + r (t)r (t)2 r (t)

O ms sencillamente en funcin del parmetro de arco como:

~r (s)
~rc (s) = ~r(s) + ~r (s)2

1.6 Teorema fundamental de curvas

El teorema fundamental de curvas que enunciamos a continuacin nos dice que conocido un punto de una curva y su
vector tangente, la curva queda totalmente especicada si se conoce la funcin de curvatura y de torsin. Su enunciado
es el siguiente:
Sea J R un intervalo. Dadas dos funciones continuas y de J a R y dado un sistema de referencia jo (or-
tonormal) de R3 , {x0 ; e1 , e2 , e3 }, entonces existe una nica curva parametrizada de R3 , x : J R3 y tales
que:

1. La curva pasa por x0 , y el vector tangente T a la curva en ese punto coincide con e1 .
2. A lo largo de la curva pueden denirse tres campos vectoriales T(s), N(s) y B(s) llamados respectivamente
vector tangente, normal y binormal, perpendiculares entre s y tales que en el punto inicial coinciden con e1 ,
e2 , e3 (es decir, T(0) = e1 , N(0) = e2 , B(0) = e3 ).
3. Se cumplen las siguientes ecuaciones:



dx(s) dT(s)
= T(s) = (s)N(s)
ds ds

dN(s) = (s)T(s) + (s)B(s) dB(s)
= (s)N(s)
ds ds
1.7. VASE TAMBIN 5

O bien escrito matricialmente

T 0 0 T
N = 0 N
B 0 0 B

donde el punto es la derivada con respecto al arcoparmetro s.

Esto tiene implicaciones fsicas interesantes, por ejemplo, la trayectoria de una partcula queda especicada si se
conocen la posicin inicial, la velocidad inicial y la variacin en el tiempo de las derivadas segundas (que estn
relacionadas con la curvatura y la torsin). Es por eso por lo que las leyes de Newton o las ecuaciones de Euler-
Lagrange se expresan en trminos de derivadas de segundo orden (que es necesario complementar con la posicin y
velocidades iniciales).

1.7 Vase tambin

Geometra diferencial de supercies

1.8 Referencias
[1] Spiegel & Abellanas, p. 120

1.8.1 Bibliografa
Girbau, J.: "Geometria diferencial i relativitat", Ed. Universitat Autnoma de Barcelona, 1993. ISBN 84-7929-
776-X.
Spiegel, M. & Abellanas, L.: "Frmulas y tablas de matemtica aplicada", Ed. McGraw-Hill, 1988. ISBN
84-7615-197-7.

1.8.2 Enlaces externos

Portal:Matemtica. Contenido relacionado con Matemtica.

Captulo 2

Geometra diferencial de supercies

planes normal
of principal vector
curvatures

tangent
plane

Las curvaturas principales en un punto de una supercie.

En matemticas, la geometra diferencial de supercies propone deniciones y mtodos para analizar la geometra
de supercies o variedades diferenciales de dos dimensiones inmersas en variedades de Riemann y, en particular, en
el Espacio Eucldeo.
Aqu se tratar de las supercies en R3 .

2.1 Ecuacin paramtrica de una supercie

Puesto que una supercie en R3 es una variedad diferenciable de dimensin dos, en un entorno V de una supercie,
las coordenadas de cualquier punto de V pueden escribirse en funcin de dos parmetros (u, v), que fungen como
sistema de coordenadas propia de la supercie:

r(u, v) = (x(u, v), y(u, v), z(u, v))

6
2.1. ECUACIN PARAMTRICA DE UNA SUPERFICIE 7

Parametrizacin de una supercie

Un punto Q = (u0 , v0 ) se llama regular si en l se cumple que los vectores tangentes en las direcciones u y v no son
nulos, ni paralelos, es decir, que su producto vectorial es no nulo:

r(u0 ,v0 ) r(u0 ,v0 )

u v = 0

Esto es equivalente a pedir que el jacobiano del mapeo r (que va desde el dominio V en R2 a R3 ) tenga rango
mximo, es decir, sea igual a dos. As se asegura la existencia del espacio tangente en cada punto de la supercie.

2.1.1 Plano tangente

Dada una superce S de R3 y un punto P0 = (x0 , y0 , z0 ) S se dene como el nico plano geomtrico de R3 que
contiene al punto P0 y que contiene a todos los vectores tangentes a dicho punto. La ecuacin analtica de este plano
puede expresarse con ayuda de la ecuacin paramtrica de una supercie:
{ }
S,P0 = r = (x, y, z) R|r = r(u0 , v0 ) + r(uu
0 ,v0 )
+ r(uv
0 ,v0 )
, , R

Ms sencillamente el plano anterior puede escribirse como el conjunto (x, y, z) que satisface la siguiente ecuacin:
 
 x x0 y y0 z z0 

xu (P0 ) yu (P0 ) zu (P0 ) = 0

xv (P0 ) yv (P0 ) zv (P0 )

Aqu, se ha usado la simplicacin de notacin xu = x

u ,... etc

2.1.2 Vector normal a la supercie

Un vector se dice normal a una supercie en un punto si es perpendicular al plano tangente en dicho punto de la
supercie. Esa propiedad nos dice que un vector normal es perpendicular a cualquier otro vector contenido en el
plano tangente. Si tomamos dos vectores diferentes y tangentes a la supercie en un punto su producto vectorial ser
perpendicular a ambos y por tanto perpendicular a cualquier combinacin lineal de ambos, es decir, perpendicular
a todo el plano generado por estos dos vectores. Podemos aprovechar esa propiedad para calcular el vector normal
simplemente como el producto vectorial de los dos vectores linealmente independientes dados por la parametrizacin
8 CAPTULO 2. GEOMETRA DIFERENCIAL DE SUPERFICIES

de la supercie. As el vector normal puede calcularse como:

r(u0 ,v0 ) r(u0 ,v0 )

ru (u0 , v0 ) rv (u0 , v0 )
n= u
r(u0 ,v0 )
v =
r(u0 ,v0 ) ru (u0 , v0 ) rv (u0 , v0 )
u v
Si se conoce en cambio la ecuacin de la supercie f(x, y, z) = 0 entonces el vector unitario normal se calcula sim-
plemente como:

f (fx , fy , fz )
n= =
f f 2x + f 2y + f 2z

2.2 Primera forma fundamental

La primera forma fundamental I es un tensor 2-covariante, simtrico y denido sobre el espacio tangente a cada pun-
to de la supercie S. Esta primera forma fundamental de hecho es el tensor mtrico inducido por la mtrica eucldea
sobre la supercie. De hecho (S, I) constituye una variedad de Riemann con tensor mtrico I. Gracias a la primera
forma fundamental podemos estimar longitudes de curvas denidas sobre la supercie, ngulos de interseccin en-
tre curvas y el resto de conceptos mtricos habituales. Por razones histricas las componentes de la primera forma
fundamental se designan por E, F y G:

( ) ( )
E(u, v) F (u, v) g11 (u, v) g12 (u, v)
(Ikl (u, v)) = =
F (u, v) G(u, v) g21 (u, v) g22 (u, v)
Adems la forma cuadrtica anterior es denida positiva, lo que implica que EG-F 2 > 0. La primera forma anterior
puede escribirse como una combinacin lineal de productos tensoriales de las 1-formas coordenadas du, dv confor-
me a:

I(u, v) = E(u, v)du du + F (u, v)du dv + F (u, v)dv du + G(u, v)dv dv

Estas pueden calcularse explcitamente a partir de la parametrizacin:

r r r r r r
E(u, v) = = ru ru F (u, v) = = ru rv G(u, v) = = rv rv
u u u v v v

2.2.1 Longitud de una curva

Dada una curva C contenida totalmente en una supercie S sus ecuaciones paramtricas podrn expresarse mediante:

r(t) = (x(u(t), v(t)), y(u(t), v(t)), z(u(t), v(t)))

La longitud de esta curva puede expresarse por una integral de las derivadas de las funciones u y v y las componentes
de la primera forma fundamental:

LC = Eu (t)2 + 2F u (t)v (t) + Gv (t)2 dt
C
2.3. SEGUNDA FORMA FUNDAMENTAL 9

2.2.2 ngulo entre dos curvas

Similarmente dadas dos curvas C 1 y C 2 que intersecan en un punto P0 y cuyas ecuaciones paramtricas son:

r1 (t) = (x1 (u1 (t), v1 (t)), y1 (u1 (t), v1 (t)), z1 (u1 (t), v1 (t)))

r2 (t) = (x2 (u2 (t), v2 (t)), y2 (u2 (t), v2 (t)), z2 (u2 (t), v2 (t)))
El ngulo formado por las dos curvas en el punto de interseccin viene denido por la ecuacin:

Eu1 u2 + F (u1 v2 + u2 v1 ) + Gv1 v2

cos =
E(u1 )2 + 2F u1 v1 + G(v1 )2
E(u 2 )2 + 2F u 2 v 2 + G(v 2 )2

Donde las derivadas se evalan para los valores de parmetro t1 y t1 tales que P0 = r1 (t1 ) = r2 (t2 ) . En particular
el ngulo formado por las lneas coordenadas asociadas al sistema de coordenadas (u, v) viene dado por:

F
cos (u,v) =
EG
En particular el sistema de coordenadas se llama ortogonal si las lneas coordenadas son ortogonales (perpendiculares)
entre s en cada punto, eso sucede s y solo s F = 0.

2.2.3 rea de una regin sobre la supercie

Dada una regin contenida en una supercie se dene su rea como:

A() = EG F 2 dudv

Si la supercie viene dada por la funcin explcita z = f(x, y) entonces lo anterior se puede escribir sencillamente
como:

( )2 ( )2

f f
A() = 1+ + dxdy
x y

2.3 Segunda forma fundamental

La segunda forma fundamental II de una supercie es la proyeccin sobre el vector normal a la supercie de la
derivada covariante inducida por el tensor mtrico o primera forma fundamental. Puede probarse, que esta segunda
forma fundamental resulta ser un tensor 2-covariante y simtrico (es decir, da lugar a una forma bilineal denida
sobre el espacio tangente a la supercie). Por razones histricas las componentes de la segunda forma fundamental
se designan por L, M y N:

( ) ( )
L(u, v) M (u, v) b (u, v) b12 (u, v)
(IIkl (u, v)) = = 11
M (u, v) N (u, v) b21 (u, v) b22 (u, v)
10 CAPTULO 2. GEOMETRA DIFERENCIAL DE SUPERFICIES

Fijado un entorno de la supercie parametrizado por las variables u, v la segunda forma fundamental se escribe
tambin, resultando un tensor de rango dos, como la siguiente combinacin lineal:

II = L(u, v)du du + M (u, v)du dv + M (u, v)dv du + N (u, v)dv dv

de productos tensoriales de las 1-formas coordenadas du, dv . Las componentes de la segunda forma fundamental
pueden calcularse explcitamente a partir de las coordenadas paramtricas:

2r n r
L(u, v) = b11 (u, v) = n =
u2 u u

2r n r n r
M (u, v) = b12 (u, v) = b21 (u, v) = n = =
uv u v v u
2r n r
N (u, v) = b22 (u, v) = n 2
=
v v v

2.4 Curvatura normal y geodsica

Cuando se tiene una curva sobre una supercie esta puede ser vista tambin como curva de R3 a la que les son apli-
cables tanto las frmulas de la geometra diferencial de curvas como las de la geometra diferencial de supercies.
Eso permite relacionar la curvatura total de la curva con la curvatura de la curva vista o medida por un habitante
de la supercie. En concreto la curvatura total () de una curva (t) puede ser descompuesta entre una componente
tangencial a la supercie (y medible dentro de la misma), llamada curvatura geodsica (kg), y una componente
perpendicular a la supercie (que depende de cmo est curvada la supercie en el espacio y cul es la direccin de
la curva dentro de la supercie), llamada curvatura normal (kn). De hecho se cumple que:

2 = kn2 + kg2

Donde la curvatura geodsica y normal pueden calcularse a partir del ngulo que forman el vector normal a la super-
cie y el vector normal a la curva (n):

kn = cos kg = sin := arccos(n n)

La aceleracin de cualquier punto material puede ser descompuesta en aceleracin tangencial y aceleracin normal.
Si adems el punto se mueve sobre la supercie, la aceleracin normal puede descomponerse en aceleracin propia-
mente normal y aceleracin geodsica (debida al seguimiento que el punto hace de la supercie):

d2 (t) dV (t) dV (t)

a= = ^t + ( V 2 )^
n = ^t + (kn V 2 )^ n ^t
n + (kg V 2 )^
dt2 dt dt

Donde ^t, ^
n , ^t son respectivamente el vector tangente a la curva, el vector normal a la curva y el vector normal a la
supercie. Esa ecuacin muestra que las lneas geodsicas a la supercie son precisamente aquellas curvas para las
cuales su curvatura total coincide con su curvatura geodsica. Las curvaturas normal y geodsica de una curva sobre
una supercie puden calcularse fcilmente a partir de los vectores tangente al a curva y las normales a la curva y la
supercie:
2.5. CURVATURA GAUSSIANA 11

II( (t), (t)) Lu (t)2 + 2M u (t)v (t) + N v (t)2

kn =
=
I( (t), (t)) Eu (t)2 + 2F u (t)v (t) + Gv (t)2

n ( (t) (t))
kg =
|| (t)||3

2.4.1 Curvaturas principales

Si se considera un punto P0 de la supercie y toda una coleccin de curvas contenidas en la supercie que pasan por
P0 se observa que la curvatura normal kn de cualquiera de estas curvas en P0 vara entre dos valores extremos k1 <
kn < k2 . Estos dos valores de hecho son las soluciones ki de la siguiente ecuacin:

(EG F 2 )ki2 + (2F M EN GL)ki + (LN M 2 ) = 0

Un punto se llama umbilical si en l k1 = k2 . Para un punto no-umbilical P0 las direcciones tangentes a la supercie
para las cuales se alcanza el mximo y el mnimo de la curvatura normal son siempre ortogonales. En cada punto
estas dos direcciones ortogonales se llaman direcciones principales de curvatura. Una condicin necesaria y suciente
para que la direccin dada por un vector V sea principal es que si:

r(u, v) r(u, v)
V= +
u v
Entonces que esa direccin sea direccin principal de curvatura implica que:

(EM LF )2 + (EN LG) + (F N M G) 2 = 0

2.4.2 Lneas de curvatura

2.5 Curvatura gaussiana

La curvatura gaussiana de una supercie es un nmero real K (P0 ) que mide la curvatura intrnseca en cada punto
regular P0 de una supercie. Esta curvatura puede calcularse a partir de los determinantes de la primera y segunda
formas fundamentales de la supercie:

LN M 2 b11 b22 b12 2

K(P0 ) = EGF 2 = g11 g22 g12 2

Esta curvatura gaussiana en general vara de un punto a otro de la supercie y est relacionada con las curvaturas
principales de cada punto (k1 y k2 ), mediante la relacin K = k1 k2 .
Un caso interesante de supercie es la esfera, que tiene la misma curvatura en todos sus puntos. Calculando la curvatura
de Gauss de una esfera (2-esfera). A partir de la frmula anterior se llega fcilmente a que para una esfera de radio
r, la curvatura gaussiana es igual en todos los puntos e igual a K(S 2 ) = 1/r2 > 0 .
Si bien observamos que hay supercies que tienen curvatura constante, la curvatura gaussiana debe verse como una
relacin K : S K(S) donde K(S) C 1 (S, R) (una funcin diferenciable sobre S) que asigna a cada supercie
su funcin de curvatura gaussiana.
La forma real de denir la curvatura gaussiana es mediante el operador de forma (del ingls shape operator) de la
supercie S:
12 CAPTULO 2. GEOMETRA DIFERENCIAL DE SUPERFICIES

Tres supercies con curvatura gausiana negativa (izquierda), cero (centro) y positiva (derecha).

u v
N : S S2 , denido mediante N (p) = u v |p

Donde u , v son los vectores tangentes coordenados y estn siendo evaluados en la posicin p.
Con la derivada (jacobiano) del operador de forma

L(p) = N (p) : Tp S TN (p) S 2

uno obtiene una transformacin lineal auto-adjunta -llamada transformacin de Weingarten- y as, la curvatura
gaussiana es determinante de L, i.e.

K(p) = det[L(p)]

Es relativamente fcil vericar que coincide con la denicin dada arriba.

En trminos de los componentes del tensor de curvatura de Riemann para las 2-variedad diferenciables, uno encuentra
la relacin
R1212 h11 h22 h12 2
K= g11 g22 g12 2 = g11 g22 g12 2

cos v
Ejemplo, la curvatura gaussiana de un toro es 2+cos v donde se ha usado la parametrizacin:

(v, w)((2 + cos v) cos w, (2 + cos v) sin w, sin v)

2.6 Vase tambin

Geometra diferencial de curvas
2.7. REFERENCIA 13

2.7 Referencia

2.7.1 Bibliografa
Girbau, J.: "Geometria diferencial i relativitat", Ed. Universitat Autnoma de Catalunya, 1993. ISBN 84-7929-
776-X.

Spiegel, M. & Abellanas, L.: "Frmulas y tablas de matemtica aplicada", Ed. McGraw-Hill, 1988. ISBN
84-7615-197-7.

M. do Carmo: "Dierential geometry of curves and surfaces".

John M. Lee (1997), Riemannian Manifolds: An Introduction to Curvature, Graduate Texts in Mathematics
176, Springer-Verlag, ISBN 0-387-98271-X.

2.7.2 Enlaces externos

Portal:Matemtica. Contenido relacionado con Matemtica.

Enciclopedia en-lnea de Springer-Verlag
14 CAPTULO 2. GEOMETRA DIFERENCIAL DE SUPERFICIES

2.8 Text and image sources, contributors, and licenses

2.8.1 Text
Geometra diferencial de curvas Fuente: http://es.wikipedia.org/wiki/Geometr%C3%ADa%20diferencial%20de%20curvas?oldid=82072298
Colaboradores: Tano4595, Meruelo, Gerkijel, Yrbot, BOT-Superzerocool, BOTijo, Sargentgarcia89, Chlewbot, Boja, Juan Marquez,
CEM-bot, JMCC1, Davius, Gergo~eswiki, Algarabia, 3coma14, Muro Bot, Lazarus1907, Biaiaa, Alexbot, Juan Mayordomo, Raulshc,
Joselotl, 4WD, Jkbw, SubZeroMK777, KLBot2, 2rombos, JuanManwell, Kumoken y Annimos: 39
Geometra diferencial de supercies Fuente: http://es.wikipedia.org/wiki/Geometr%C3%ADa%20diferencial%20de%20superficies?
oldid=81283114 Colaboradores: Tano4595, Digigalos, BOT-Superzerocool, Adrruiz, BOTijo, Chlewbot, Juan Marquez, Tamorlan, CEM-
bot, JMCC1, Davius, Ggenellina, Isha, VanKleinen, Yorusti, Flug, Marcosaedro, Nicoguaro, SieBot, Drinibot, Botito777, Alexbot, Myst-
Bot, Udufruduhu, Raiso, Jkbw, Mariana de El Mondongo, Atilael2, Humbefa, WikitanvirBot, MetroBot, Jesus Castaeda Retiz, Legobot,
Addbot, JuanManwell y Annimos: 22

2.8.2 Images
Archivo:Frenet_trihedron.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/0/08/Frenet_trihedron.svg Licencia: CC-BY-
SA-3.0 Colaboradores: Trabajo propio Artista original: Luca Antonelli (Luke Antony)
Archivo:Gaussian_curvature.PNG Fuente: http://upload.wikimedia.org/wikipedia/commons/4/4a/Gaussian_curvature.PNG Licencia:
Public domain Colaboradores: English wikipedia, Artista original: Jhausauer
Archivo:Minimal_surface_curvature_planes-en.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/e/eb/Minimal_surface_
curvature_planes-en.svg Licencia: CC-BY-SA-3.0 Colaboradores: Based upon a drawing in a book Artista original: Eric Gaba (Sting)
Archivo:Nuvola_apps_edu_mathematics-p.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/c/c2/Nuvola_apps_edu_mathematics-p.
svg Licencia: GPL Colaboradores: Derivative of Image:Nuvola apps edu mathematics.png created by self Artista original: David Vignoni
(original icon); Flamurai (SVG convertion)
Archivo:Osculating_circle.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/8/84/Osculating_circle.svg Licencia: Public
domain Colaboradores: Own work, based on OsculatingCircle.png Artista original: Cepheus
Archivo:Parametrizacin_de_una_superficie.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/1/1d/Parametrizaci%C3%
B3n_de_una_superficie.jpg Licencia: CC BY-SA 4.0 Colaboradores: Trabajo propio Artista original: Jesus Castaeda Retiz

2.8.3 Content license

Creative Commons Attribution-Share Alike 3.0