¿Por qué el límite de la tira de Mobius se envuelve dos veces alrededor del círculo central pero no en ninguna otra línea?

Un espacio X la deformación se retrae en un subespacio A si existe un mapa continuo F : X × [ 0 , 1 ] X tal que F ( X , 0 ) = X , F ( X , 1 ) A , F ( a , t ) = a a A .

La deformación de la tira de Möbius se retrae sobre su círculo central. Pero no entiendo cómo, bajo esta retracción por deformación,

  1. El círculo límite envuelve dos veces el círculo central
  2. Cualquier otra línea se envuelve solo una vez alrededor del círculo central

Creo que sucede 1 porque en cada paso de la retracción de la deformación, el límite da dos vueltas y así en el paso final (es decir, t = 1 ) simplemente se convierte en el doble del círculo. Pero veo que esta razón funciona igual de bien para cualquier otra línea. Después de todo, ninguna de las líneas coincide realmente con la línea central hasta el último paso.

Cualquier ayuda sería apreciada.

"Cualquier otra línea se envuelve solo una vez alrededor del círculo central" ¿estás seguro de esto? Mi conjetura (sin pensarlo) sería que el centro de la tira de Möbius se enrolla una vez, pero todas las demás líneas se enrollan dos veces.
@TrevorGunn Ese es mi razonamiento también. Pero veo gente escribiendo que cualquier línea que no sea el límite será un generador para el grupo de homología de la tira de Moebius.
¿Has construido uno y lo has probado?

Respuestas (2)

La cinta de Möbius METRO se puede obtener pegando dos aristas opuestas de un rectángulo mediante una orientación que invierte el homeomorpismo. Explícitamente, podemos definir

METRO = [ 0 , 1 ] × [ 1 , 1 ] /
dónde ( 0 , t ) ( 1 , t ) . Dejar pag : [ 0 , 1 ] × [ 1 , 1 ] METRO denote el mapa del cociente.

Luego obtienes varios tipos de círculos incrustados.

Tipo 1: El círculo central C = pag ( [ 0 , 1 ] × { 0 } ) . Puede ser parametrizado por C : [ 0 , 1 ] METRO , C ( X ) = [ X , 0 ] . El mapa r : METRO C , r ( [ X , t ] ) = [ X , 0 ] , es una fuerte retracción por deformación bien definida.

Tipo 2: Círculos C t = pag ( [ 0 , 1 ] × { t , t } ) para t ( 0 , 1 ] , especialmente el círculo límite C 1 . Estos pueden ser parametrizados por C t ( X ) = [ 2 X , t ] para X 1 / 2 y C t ( X ) = [ 2 X 1 , t ] para X 1 / 2 . Estos círculos no se cruzan con el círculo central. Los mapas r t = r C t : C t C son 2 - 1 . De hecho, están cubriendo mapas con dos hojas.

Tipo 3. Círculos C t = pag ( D t ) para t [ 0 , 1 ] , dónde D t = { ( X , t ( 2 X 1 ) ) X [ 0 , 1 ] } . Estos pueden ser parametrizados por C t ( X ) = [ X , t ( 2 X 1 ) ] . Tenemos C 0 = C y para t > 0 estos círculos se cruzan con el círculo central en el punto único [ 1 / 2 , 0 ] . Los mapas r t = r C t : C t C son homeomorfismos.

Por supuesto, hay muchos más círculos incrustados, pero limitémonos a lo anterior.

Ahora es obvio que los círculos C t envuelva dos veces alrededor del círculo central, y que los círculos C t envuelva una vez alrededor del círculo central.

¿Son los círculos de tipo 3 lo que obtienes cuando comienzas en un punto en el borde izquierdo y vas en diagonal (hacia arriba o hacia abajo según el punto) hasta el borde derecho?
Si, eso es correcto.

Creo que esta imagen responde a tu pregunta. Cada línea que no sea el centro se enrollará dos veces. Entonces "2. Cualquier otra línea se ajusta solo una vez alrededor del círculo central" no es correcto.

ingrese la descripción de la imagen aquí

Crédito: https://commons.wikimedia.org/wiki/File:Moebiusband-1s.svg por el usuario Ag2gaeh . Licencia CC BY-SA 4.0 .

Entonces, ¿es cierto que solo el círculo central genera su grupo de homología y ninguna otra línea?
Sí, eso suena correcto @HritRoy
La imagen ciertamente ayuda y es parte de una buena solución, pero aún debe escribir ese punto 2. en la pregunta de OP es, de hecho, incorrecta.