Foros de matemática
24/11/2017, 01:36:44 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a NUMERARIUS
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Grupo fundamental  (Leído 1083 veces)
0 Usuarios y 1 Visitante están viendo este tema.
serpa
Pleno*
*****

Karma: +0/-0
Conectado Conectado

México México

Mensajes: 519


Ver Perfil
« : 02/10/2016, 12:51:32 pm »

Hola a todos. ¿Alguna sugerencia para el siguiente problema?

Considérese la parametrización del toro dos dimensional

[texx]\psi(u,v)=\left<{\cos{(u)}(a+b\cos{(v)}),\sin{(u)}(a+b\cos{(v)}),b \sin{(v)}}\right>[/texx],

para [texx](u,v)\in{[0,2\pi]\times{[0,2\pi]}}[/texx] y [texx]a>b>0[/texx]. Defina el lazo

[texx]\gamma(t):=\psi(pt,qt)[/texx],

para p y q enteros positivos y [texx]t\in{[0,2\pi]}[/texx]. Sea [texx]K_{p,q}[/texx] la imagen en [texx]\mathbb{R}^3[/texx] de [texx]\gamma[/texx].

Calcule [texx]\pi_1(\mathbb{R}^3-K_{p,q})[/texx].
En línea
EnRlquE
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Brazil Brazil

Mensajes: 5.878



Ver Perfil
« Respuesta #1 : 02/10/2016, 05:25:49 pm »

Hola serpa.

 En la definición [texx]\gamma(t)=\psi(pt,qt)[/texx] imagino que hay que usar la regla de correspondencia de [texx]\psi[/texx] para cualquier [texx]u,v\geq0,[/texx] porque es posible que [texx]p[/texx] o [texx]q[/texx] sean enteros grandes; luego [texx]pt[/texx] o [texx]qt[/texx] pueden escaparse del intervalo [texx][0,2\pi].[/texx]

 Asumido esto, nota que al ser [texx]p,\;q[/texx] enteros positivos, el camino [texx]\gamma[/texx] es cerrado, pues [texx]\gamma(2\pi)=\psi(2p\pi,2q\pi)=\psi(0,0)=\gamma(0).[/texx] De hecho podemos suponer que [texx]p[/texx] y [texx]q[/texx] no tienen factores en común.
Spoiler (click para mostrar u ocultar)

 La idea para resolver el problema es usar el teorema de Seifert–van Kampen. Previamente tenemos que saber (el que sigue es un ejercicio que deberías tratar de hacer si no lo haz visto antes) que si [texx]B[/texx] es una bola sólida en [texx]\mathbb{R}^{3}[/texx] que contiene al toro sólido [texx]T=D_{2}\times S^{1}[/texx] (donde [texx]D_{2}[/texx] es el disco del plano centrado en el origen y de radio uno), entonces la diferencia [texx]R:=B\setminus\text{int}(T)[/texx] es homeomorfa al toro sólido [texx]T[/texx]. En otras palabras, si pegamos dos todos sólidos por su borde podemos obtener una esfera sólida. La intersección de estos toros sólidos es [texx]S^{1}\times S^{1}.[/texx]

 Entonces, en el problema, observa que si [texx]B[/texx] es una bola sólida suficientemente grande que contiene al toro donde está [texx]K_{p,q}[/texx], entonces [texx]\pi_{1}(\mathbb{R}^{3}\setminus K_{p,q})=\pi_{1}(B\setminus K_{p,q}).[/texx] Llamemos [texx]T[/texx] y [texx]R[/texx] a los dos toros sólidos cuya unión es [texx]B[/texx] y cuya intersección es el toro (homeomorfo a [texx]S^{1}\times S^{1}[/texx]) que contiene a [texx]K_{p,q}[/texx]. Para usar el teorema de Seifert–van Kampen considera [texx]B\setminus K_{p,q}=U\cup V[/texx] donde

[texx]U=T\setminus K_{p,q}\qquad\text{y}\qquad V=R\setminus K_{p,q}.[/texx]

Intenta comprobar que la intersección [texx]T\cap R[/texx] es homeomorfa a un cilindro. De esta forma tenemos que [texx]\pi_{1}(U)\simeq\pi_{1}(V)\simeq\pi_{1}(U\cap V)\simeq\mathbb{Z}.[/texx] Trata de terminar y si tienes alguna duda, pregunta.
Spoiler: La respuesta (click para mostrar u ocultar)

Saludos,

Enrique.

Nota: Para el teorema de Seifert-van Kampen se requiere que [texx]U[/texx] y [texx]V[/texx] sean abiertos. Una pequeña modificación del argumento de arriba "engordando" [texx]K_{p,q}[/texx] y los bordes del los toros [texx]T[/texx] y [texx]R[/texx] nos permite satisfacer esta condición de modo que la idea expuesta más arriba no cambie.
En línea
serpa
Pleno*
*****

Karma: +0/-0
Conectado Conectado

México México

Mensajes: 519


Ver Perfil
« Respuesta #2 : 03/10/2016, 10:11:29 pm »

Hola nuevamente Enrique.
En la definición [texx]\gamma(t)=\psi(pt,qt)[/texx] imagino que hay que usar la regla de correspondencia de [texx]\psi[/texx] para cualquier [texx]u,v\geq0,[/texx] porque es posible que [texx]p[/texx] o [texx]q[/texx] sean enteros grandes; luego [texx]pt[/texx] o [texx]qt[/texx] pueden escaparse del intervalo [texx][0,2\pi].[/texx]

¿Regla de correspondencia? 

Asumido esto, nota que al ser [texx]p,\;q[/texx] enteros positivos, el camino [texx]\gamma[/texx] es cerrado, pues [texx]\gamma(2\pi)=\psi(2p\pi,2q\pi)=\psi(0,0)=\gamma(0).[/texx] De hecho podemos suponer que [texx]p[/texx] y [texx]q[/texx] no tienen factores en común.
Spoiler (click para mostrar u ocultar)
Entendido.



La idea para resolver el problema es usar el teorema de Seifert–van Kampen. Previamente tenemos que saber (el que sigue es un ejercicio que deberías tratar de hacer si no lo haz visto antes) que si [texx]B[/texx] es una bola sólida en [texx]\mathbb{R}^{3}[/texx] que contiene al toro sólido [texx]T=D_{2}\times S^{1}[/texx] (donde [texx]D_{2}[/texx] es el disco del plano centrado en el origen y de radio uno), entonces la diferencia [texx]R:=B\setminus\text{int}(T)[/texx] es homeomorfa al toro sólido [texx]T[/texx]. En otras palabras, si pegamos dos todos sólidos por su borde podemos obtener una esfera sólida. La intersección de estos toros sólidos es [texx]S^{1}\times S^{1}.[/texx]

 Entonces, en el problema, observa que si [texx]B[/texx] es una bola sólida suficientemente grande que contiene al toro donde está [texx]K_{p,q}[/texx], entonces [texx]\pi_{1}(\mathbb{R}^{3}\setminus K_{p,q})=\pi_{1}(B\setminus K_{p,q}).[/texx] Llamemos [texx]T[/texx] y [texx]R[/texx] a los dos toros sólidos cuya unión es [texx]B[/texx] y cuya intersección es el toro (homeomorfo a [texx]S^{1}\times S^{1}[/texx]) que contiene a [texx]K_{p,q}[/texx]. Para usar el teorema de Seifert–van Kampen considera [texx]B\setminus K_{p,q}=U\cup V[/texx] donde

[texx]U=T\setminus K_{p,q}\qquad\text{y}\qquad V=R\setminus K_{p,q}.[/texx]


Se me dificulta mucho ver geométricamente lo que afirmas ¿Tienes algún libro o sitio donde haya algún dibujo de la situación?

En todo caso, muchisímas gracias por tu gran ayuda.
En línea
EnRlquE
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Brazil Brazil

Mensajes: 5.878



Ver Perfil
« Respuesta #3 : 03/10/2016, 11:39:30 pm »

Hola serpa.

[...]
¿Regla de correspondencia? 
[...]

Sólo me refería a que aunque [texx]\psi(u,v)[/texx] en principio nos la definen para [texx]u,v\in[0,2\pi],[/texx] nosotros vamos a usar la expresión que define a [texx]\psi[/texx] para cualquier [texx]u,v\geq0[/texx] porque en general [texx]pt[/texx] o [texx]qt[/texx] pueden llegar a ser mayores que [texx]2\pi.[/texx]


Cita
[...]
Se me dificulta mucho ver geométricamente lo que afirmas ¿Tienes algún libro o sitio donde haya algún dibujo de la situación?
[...]

 Entiendo, yo creo que la parte más difícil es tener una idea de porqué podemos obtener una esfera cuando pegamos dos toros sólidos por su borde. Sí, es difícil verlo, no detallé más el asunto porque imaginé que podías haberlo visto en clase o en algún ejercicio previo (si no —pensé—, el ejercicio que estamos viendo sería realmente difícil  :cara_de_queso:).

 Este resultado recuerdo haberlo visto en algún ejercicio, haberlo discutido con compañeros y profesores en su tiempo y luego haberme enterado de su relación con la fibración de Hopf (si te interesa, en el futuro, podrías buscar información sobre el tema). En este momento no encuentro ningún libro donde traten el caso que nos interesa. Sin embargo googleando un poco he encontrado esta interesante discusión al respecto, ahí se dan algunas formas de obtener el resultado.

 Más que en la prueba te sugiero que pienses en él, es interesante. Para terminar el ejercicio, por el momento puedes aceptar que el complemento de un toro sólido usual en una esfera es homeomorfo a un toro sólido. Con esto en mente trata de darle una repasada a la partición que te propongo de [texx]B\setminus K_{p,q}[/texx] y si te surge cualquier duda, pregunta.

Saludos,

Enrique.
En línea
serpa
Pleno*
*****

Karma: +0/-0
Conectado Conectado

México México

Mensajes: 519


Ver Perfil
« Respuesta #4 : 04/10/2016, 09:17:37 am »

Muchas gracias. Trataré de terminar. Cualquier duda, la escribo.

Saludos
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.1 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!