Lecturas Matemticas a Volumen 26 (2005), pginas 165170 a

Tantrices de lazos en R3
Oscar Andres Montano Carreno

Universidad del Valle, Cali, Colombia

Abstract. A loop in R3 is a closed regular curve . The normalization of the velocity vector = /|| is called the tangent indicatrix or the tantrix of . The tantrix is a closed curve in S 2 , but not all closed curves in S 2 are the tantrix of some closed curve in R3 . In this paper sucient and necessary conditions for a closed curve C in S 2 to be the tantrix of some loop in R3 are given. Key words and phrases. Regular curve, tantrix, loop. 2000 AMS Mathematics Subject Classication. 53A04, 53A05 Resumen. Un lazo en R3 es una curva cerrada regular . La normalizacin del vector velocidad = /|| se denomina tangente indicatriz o o tantriz de . La tantriz de una curva cerrada en R3 es una curva cerrada en S 2 , pero no siempre una curva cerrada en S 2 es la tantriz de a una curva cerrada en R3 . Se darn condiciones necesarias y sucientes para que una curva cerrada C en S 2 sea la tantriz de un lazo en R3 .

1. Introduccin o En una charla dada en Sussex en el ao 1966 H. Steinhaus conjetur que n o cualquier curva regular en R3 debe contener al menos dos puntos en los cuales los vectores tangentes tienen la misma direccin pero sentidos opuestos. En o o el ao 1968 B. Segre [2] public un contraejemplo en R3 y demostr que la n o conjetura es cierta para lazos regulares sobre elipsoides y paraboloides. Si es un curva cerrada regular sobre R3 , su tantriz = /|| es una curva cerrada sobre S 2 . Por lo tanto, si una curva sobre S 2 no contiene puntos antipodales y es la tantriz de un lazo , entonces la conjetura de Steinhaus no es cierta. Se hace necesario responder la pregunta: Cundo una curva cerrada sobre S 2 es la a

166

Oscar Andres Montano Carreno

tantriz de un lazo en R3 ? Daremos respuesta a este interrogante sustituyendo en el art culo de J. R. Porter [1] argumentos intuitivos por deniciones y demostraciones precisas. 2. Preliminares Sea un lazo en R3 parametrizado por longitud de arco s, (s) = (x1 (s), x2 (s), x3 (s)) , 0 s s. La tantriz es (s) = (1 (s), 2 (s), 3 (s)) = (s). Si integramos cada una de las componentes de se tiene
s 0

i (s)ds = 0.

(2.1)

Por lo tanto para cualquier vector S 2

s 0

(s)ds = 0.

(2.2)

Lemma. La condicin (2,2) implica la siguiente condicin: (2,3) La tantriz o o de un lazo en R3 es un c o rculo mximo de S 2 o contiene puntos en cualquier a par de hemisferios en los que se divida a S 2 . Demostracin. Si (t) 0 para algn S 2 entonces es un c o u rculo mximo. Si (t) no es identicamente cero para todo S 2 , entonces por la a condicin (2.2) (t) debe cambiar de signo, y por lo tanto debe contener o puntos a lado y lado de el plano que pasa por el origen y que tiene a como vector normal. Demostraremos que la condicin (2.3) tambin es una condicin suciente o e o para que un lazo S 2 sea la tantriz de un lazo en R3 . Sea una curva cerrada sobre S 2 con 0 t t. Denamos como
t

(t) =

(s)ds ,

0tt

(2.4)

La curva as denida tiene como tantriz a , pero no necesariamente es cerrada. Si satisface la condicin (2.3) se demostrar que existe una sucesin o a o de curvas con tantriz que convergen a un lazo cerrado en R3 . En lo que sigue, es una parametrizacin de una curva cerrada C sobre S 2 o que satisface la condicin (2.3) y con 0 t 1. o

Tantrices de lazos en

R3

167

Suponiendo que C no es un c rculo mximo, dado cualquier c a rculo mximo a sobre S 2 la condicin (2.3) implica que C tiene puntos en los dos hemisferios o u H1 () y H2 () con borde comn . Existe por lo tanto una distancia angular a mxima de puntos de C H1 () a y una distancia angular mxima de puntos a de C H2 () a . Sea m() el m nimo para las dos distancias. Llamaremos al m nimo de los m() tomado sobre todos los c rculos mximos de S 2 . a Formalmente: Denicin 2.1. La m o nima desviacin angular est denida por =: /2 , o a donde cos = m 2 mx (t) . n a (2.5)
S 0t1

Observacin. Si = 0 entonces es un c o rculo mximo. a Denicin 2.2. Sea (t) = o da por

t 0

(s)ds, 0 t 1. La desviacin , est denio a , = |(1)| .

Observacin. Si , = 0 entonces la curva es cerrada. o 3. Resultados previos a Lema. Sea C la grca de una curva cerrada sobre S 2 que satisface la condicin (2,3). Sea P el conjunto de todas las parametrizaciones de esta curva o con 0 t 1. Si G = P , , entonces G = 0. nf Observacin. Puesto que tiene longitud uno, entonces , [0, 1]. o Demostracin. Sea G > 0. Para todo > 0 se puede encontrar 0 tal que o o 0 ,0 G < . Por denicin 0 es una curva en R3 con longitud 1. Sea t1 tal que el angulo 1 entre (t1 ) = (t1 ) y := 0 (1) verique la desigualdad 0 1 /2 (por (2.5) siempre existe t1 ). Para cada a1 [0, 1] consideremos la parametrizacin: o 1,a1 (t) = (1 a1 )0 t 1 a1 , si 0 t t1 (1 a1 ) ; t t1 (1 a1 ) , a1 si t1 (1 a1 ) t t1 (1 a1 ) + a1 ; , si t1 (1 a1 ) + a1 t 1 .

1,a1 (t) = (1 a1 )0 (t1 ) + a1 0 (t1 )

1,a1 (t) = a1 0 (t1 ) + (1 a1 )0

t a1 1 a1

168

Oscar Andres Montano Carreno

Directamente se puede vericar que la tantriz de 1,a1 es C para todo a1 [0, 1]. Se escojer a1 de tal manera que 1,a1 ,1 < 0 ,0 . Llamaremos a esta a parametrizacin 1 . Puesto que 1 (1) = (1 a1 )0 (1) + a1 0 (t1 ), de la ley del o coseno: 2 1 ,1 = [0 ,0 (1 a1 )]2 + a2 20 ,0 (1 a1 )a1 cos 1 , 1 el valor m nimo se obtiene en: a1 = remplazando en (3.1) 2 1 ,1 = la relacin anterior implica o 2 0 ,0 (1 cos2 1 ) 2 0 ,0 + 20 ,0 cos 1 + 1 (3.3) 2 0 ,0 + 0 ,0 cos 1 ; 2 0 ,0 + 20 ,0 cos 1 + 1 (3.2) (3.1)

2 1 ,1 < 1 ; por lo tanto, si escojemos 2 0 ,0 < G(1 cos ) , cos

entonces 2 1 ,1 G2 < < < 2 0 ,0 2 0 ,0 2 0 ,0 cos2 G2 + 20 ,0 cos 1 + 1 2 0 ,0 cos2 G2 + 20 ,0 sin + 1

2 0 ,0 cos2 (1 2 /(1 cos )2 ) 2G2 0 ,0 sin 1 <0 2 0 ,0 + 20 ,0 sin + 1

y la suposicin G > 0 no es cierta. o As como de 0 construimos 1 , de 1 podemos construir 2 y, recurrente mente, es posible construir una sucesin {i } de lazos en R3 con tantriz C . o Si i := i ,i , de la relacin (3.3) obtenemos o 2 1 = 2 0 cos2 1 cos2 (1 ) < 2 + 20 cos 1 + 1 0 + 20 sen + 1 2 cos < cos2 . = (0 + sen)2 + (1 sen2 ())
2 0

Tantrices de lazos en

R3

169

De aqu que: i+1 i y i+1 0 Tambin puesto que e a1 < 2 + 0 0 a2 < Tenemos
i=1 i=0

< cos2 ,

(3.4)

< (cos2 )i+1 ,

(3.5)

y etc.

2 1

+ 1 < 2 cos2 + 0 cos , 0

i=0

ai < 2 0 ,0

(cos2 )i + 0 ,0

(cos2 )i/2 = 2 0 ,0

1 0 ,0 + . (3.6) 1 cos sin2

4. Teorema Principal o Teorema. Si C es una curva cerrada sobre S 2 que satisface la condicin (2,3), entonces existe un lazo en R3 con tantriz C . Este teorema queda demostrado si encontramos una parametrizacin P o tal que , = 0. Demostracin. Puesto que la serie dada en (3.5) es convergente y todas las i o tienen la misma tantriz. Podemos empezar a iterar desde un 0 tal que ai < 1/2 . i=1 Tenemos entonces una sucesin equicontinua de funciones {i }. Aplicando el o teorema de Arzel`Ascoli concluimos que existe una subsucesin la cual cona o verge uniformemente a una parametrizacin . Necesariamente , = 0. Eno tonces en el caso general existe una menor parametrizacin de C tal que o rculo , = 0. En el caso especial en el cual C vive enteramente sobre un c mximo , el procedimiento sigue siendo vlido puesto que i (1) i (0) siema a pre es un punto de y existen puntos sobre C que satisfacen las condiciones dadas y que permiten construir i+1 .

170

Oscar Andres Montano Carreno

5. Contraejemplo de J. R. Porter a la conjetura de Steinhaus Consideremos S 2 con el sistema usual de coordenadas {, } y denamos C por la ecuacin o = cos 3 + 2 . C no posee puntos antipodales. En efecto, si (1 , 1 ) y (2 , 2 ) fueran antipoo dales, entonces 1 + 2 = y |2 1 | = . La ecuacin dada no permite que esto ocurra. Por otro lado si usamos la proyeccin estereogrca observamos o a que la curva se mantiene entre una circunferencia dentro del ecuador y otra por fuera del ecuador. Cualquier c rculo mximo o es una recta por el origen o cona tiene dos puntos del ecuador y debe tener puntos fuera del ecuador y dentro del ecuador. El anterior razonamiento implica que la curva dada contiene puntos a lado y lado de cualquier c rculo mximo. Se satisface entonces la condicin a o (2.3). Existe por lo tanto un lazo en R3 con tantriz C . Concluimos que contradice la conjetura de Steinhaus. Bibliograf a
[1] J. R. Porter. A note on regular closed curves in R3 . Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys. 18 (1970), 209-212. [2] B. Segre. Global dierential properties of closed twisted curves. Rend. Sem. Mat. Fis. Milano 38 (1968), 256-263.

(Recibido en septiembre de 2005. Aceptado para publicacin en diciembre de 2005) o

Oscar Andres Montano Carreno Departamento de Matematicas Universidad del Valle Cali, Colombia. e-mail: oscaramo@univalle.edu.co