Correccin Pgina 41, Ejercicio 8 o a

Hans Mller Santa Cruz u 12 de junio de 2012

8. Demostrar que el conjunto M = {((cos t + 2) cos(t), (cos t + 2) sin(t), sin t) R3 |t R} (1) es una subvariedad de R3 para = 2/13. Para = 2 el conjunto M no es una subvariedad y es denso en todo el toro T2 = {((cos u + 2) cos v, (cos u + 2) sin v, sin u)|u, v R2 }.

T2

Planteando u = t y v = t, se tiene que M T2 . De manera natural (cos t + 2) cos(t) (2) (t) = (cos t + 2) sin(t) , t R sin t es una parametrizacin de M de clase C 1 . Derivando, se obtiene o sin t cos(t) (cos t + 2) sin(t) (t) = sin t cos(t) + (cos t + 2) cos(t) , t R (3) cos t Se verica, con un poco de lgebra elemental y trigonometr a a, que (t) = 0, para todo t R, lo que conduce a que es una inmersin alrededor de todo t R y consecuencia del teorema o de inmersin, para todo t R existe > 0 tal que (t , t + ) y o ((t , t + )) son homeomorfos.

Para = 2/13, se tiene que (t), la parametrizacin de M, es o peridica, de periodo T = 26, por consiguiente M es el soporte o de una una curva simple y cerrada y por lo tanto subvariedad de dimensin 1 y codimensin 2, ver proposicin ms adelante. o o o a Proposicin 0.1 Sea : [a, b] Rn de clase C 1 , inyectiva sobre o [a, b], excepto en a y b, donde (a) = (b), (t) = 0 y (a) = o (b); entonces M = ([a, b]) es una subvariedad de dimensin 1.

Demostracin.- Para todo P M existe un unico tp [a, b) por o la inyectividad de . Prolongando de manera peridica sobre R o en , se tiene p (t) = (ttp ) es una inmersin alrededor de 0 R o con p (0) = P . Ahora supongamos que la proposicin no es correcta; es decir, existe un punto P M, con el cual no o se verica la tercera condicin equivalente de subvariedad. Aplicamos el teorema de la inmersin a p , o o lo que signica que existen > 0, V abierto que contiene P , tales que p (( , )) V y ( , ) son homeomorfos. La negacin de la tercera condicin da que para todo U V abierto que contiene P , o o existe un punto Q M U con Q p (( , )). Por consiguiente, podemos construir una sucesin o {Qn } M p (( , )) con Qn P , cuando n . Asimismo, obtenemos una sucesin {tn } [a, b) o con (tn ) = Qn y |tn tp | . Como [a, b] es compacto, es posible extraer una subsucesin convergente o 1

{tnk } [a, b] convergente, cuyo l mite lo denotamos por t0 , que dicho sea de paso es diferente atp . La continuidad de da (t0 ) = P , lo que contradice la hiptesis de inyectividad de sobre [a, b). o Ahora veamos qu sucede cuando = 2; para tal efecto consideramos la interseccin de M con S, e o donde S = {(cos u + 2), 0, sin u)|u [0, 2]} Una condicin necesaria y suciente para que (t) S es que 2t = k, k Z. Por consiguiente, o planteando tk = k, k Z, (4) 2 mostreremos que {(tk )} es un conjunto denso en todo S. Existe una biyeccin entre [0, 2] y S a travs o e de (cos t + 2, 0, sin t) por un lado y por el otro: tk = mod(tk , 2) (tk ) = (tk ), conduce a que es suciente ver que {tk } [0, 2) es denso en todo [0, 2).