P. 1
Apuntes de Geometria Diferencial de Curvas y Superficies

Apuntes de Geometria Diferencial de Curvas y Superficies

|Views: 1.080|Likes:
Publicado porAaron Valle Suárez

More info:

Published by: Aaron Valle Suárez on Sep 04, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/17/2013

pdf

text

original

Tratamos de definir la longitud de una curva de representaci´on param´etrica de-
finida en un intervalo cerrrado,−→α : [a,b]→IR3

.

α

α

α

α

α

α

(t0)

(t1)

(t2)

(tn-1)

(tn)

a=t0

t1

t2

b=tn

Se divide el segmento [a,b] en un n´umero finito de intervalos no solapantes,
usando los puntos de divisi´on a t0 ≤ t1 ≤ t2 ≤ ··· ≤ tn−1 ≤ tn = b y se forma la
suma de las longitudes de los segmentos que unen pares de puntos correspondientes
a dos valores consecutivos ti y ti+1 del par´ametro de esta subdivisi´on:

n
k=1

α(tk) α(tk+1) .

Definici´on 1.32 El ´ınfimo de las cotas superiores de estas sumas para todas las
subdivisiones se llama longitud de arco, (o brevemente, longitud) de la representaci´on
param´etrica.

Definici´on 1.33 Una representaci´on param´etrica se dice que es rectificable si su
longitud es finita.

Nota 1.34 Existe un criterio de caracterizaci´on de rectificabilidad de curvas planas
definidas por una funci´on continua f, α(t) = (t,f(t)) [1, Pag. 171]:
Criterio de Jordan: “Son rectificables las curvas planas definidas por funciones
continuas de variaci´on acotada, y s´olo ellas”.

Ejemplo 1.35 La curva definida por y = x2

sen(π/x) es rectificable, y no lo es la

curva y = x sen(π/x).

En las figuras que aparecen a continuaci´on, la primera est´a enmarcada entre las

par´abolas y =±x2

y la segunda por las rectas y =±x. Tomando estas curvas como
topes podemos acotar superiormente la primera e inferiormente la segunda, para
demostrar su longitud finita e infinita, respectivamente.

Geometr´ıa Diferencial. Angel Montesdeoca. 2004

8

TEMA I. Representaci´on param´etrica de curvas

Proposici´on 1.36 (Definici´on) [14, Ejercicios 3.23, 3.24] Una representaci´on pa-
ram´etrica regular a trozos −→α : [a,b]→IR3

es rectificable y su longitud es

l =

b
a

α (t) dt.

O bien l = b
a

α (t)· α (t)dt, o l = b
a

x 2

+y 2

+z 2

dt.

Corolario 1.37 La longitud de representaciones param´etricas regulares a trozos
equivalentes son iguales.

Demostraci´on.- Representaciones param´etricas surgen de una representaci´on pa-
ram´etrica dada −→α : (a,b) → IR3

t α(t), por una sustituci´on t = h(u), donde

h : (c,d) (a,b), es una funci´on continua y mon´otona creciente de un nuevo
par´ametro u. As´ı la representaci´on param´etrica equivalente es de la forma
−→β : (c,d)→IR3

u

β(u) = α(h(u)).

Si ambas representaciones son regulares de clase C1

, entonces la funci´on h es
diferenciable a trozos ([3, Pag. 70,71]) y tenemos salvo acaso en puntos singulares
de una u otra representaci´on

d
β

du = d α
dt

dt

du.

Consecuentemente,

d
c

d
β

du

du =

d
c

d α

dt

dt

dudu =

b
a

d α

dt

dt

du

du

dtdt =

b
a

d α

dt

dt,

ya que dt/du > 0.

2

Nota 1.38 Como consecuencia de este corolario podemos hablar de longitud de
arco de una curva param´etrica sin referirnos a una representaci´on particular.

Corolario 1.39 La longitud de una representaci´on param´etrica no depende de la
elecci´on de coordenadas cartesianas.

Geometr´ıa Diferencial. Angel Montesdeoca. 2004

1.4 Longitud de arco de una curva

9

Demostraci´on.- La invariancia respecto a rotaciones del sistema de coordenadas
alrededor del origen se sigue de la expresi´on vectorial de la longitud de arco

l =

b
a

α (t) dt,

ya que el valor absoluto de todo vector es invariante respecto a rotaciones.
Si cambiamos de origen, la representaci´on param´etrica −→α : I →IR3

t α(t),

ser´a cambiada por −→β : I → IR3

t

β(t) = α(t) + a, donde a es un vector

constante; luego

β (t) = α (t).

2

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->