9 votos

Mostrar el espacio proyectivo $RP^2$ menos que un punto es homotopy equivalente a la del círculo unidad $S^1$

Mostrar el espacio proyectivo $RP^2$ menos que un punto es homotopy equivalente a la del círculo unidad $S^1$.

Puedo imaginar cómo hacer la gráfica,como pensar de $RP^2$, ya que la unidad de disco con opuestos puntos de límite identificado, y quitar un punto de $x$ a partir de este disco, entonces el resto de los puntos puede ser gradualmente empujado hasta el límite, y el límite es una fuerte deformación de retractarse de $RP^2-\{x\}$, también el límite es homeomórficos a $S^1$.

Sin embargo, me gustaría hacerlo formalmente la definición de un homotopy que muestran $RP^2-\{x\}$ son homotopy equivalente a $S^1$. ¿Cómo sería la función parece?

Cualquier ayuda se agradece, muchas gracias!

5voto

notpeter Puntos 588

La forma más sencilla de definir una función es, precisamente, a través de coordenadas, y $RP^2$ tiene un muy cómodo sistema de coordenadas, se llama homogéneo. La identificación de un punto de $\ell$$RP^2$, con una línea de $\{v:v\in \ell\}$$\mathbb R^3$, tomar algunos de $v=(v_1,v_2,v_3)\in \ell$. A continuación, $[v_1:v_2:v_3]$ son las coordenadas de $\ell$ como un punto en el plano proyectivo, único hasta la multiplicación por una constante distinto de cero.

El círculo unidad en $RP^2$ es, naturalmente, identificado con las líneas en $\mathbb{R}^3$ acostado en la $xy$-plano, es decir, los$[v_1:v_2:v_3]$$v_3=0$. Así que queremos un mapa continuo de $RP^2\setminus \{*\}$ a puntos con cero tercera coordenada. Si enviamos $[v_1:v_2:v_3]$$[v_1:v_2:0]$, ciertamente tenemos un mapa continuo, con un problema: si $v_1=v_2=0,$, a continuación, que hemos enviado a nuestro punto de a $[0:0:0]$, que no están las coordenadas de cualquier punto de $RP^2$. Es por eso que tenemos que descartar un solo punto, es decir,$[0:0:1]$.

En otros lugares de nuestro mapa está bien definido (como usted debe comprobar) y no es difícil ver que es homotópica a la identidad: el homotopy es $H_t([v_1:v_2:v_3])=[v_1:v_2:tv_3]$, que de manera constante se inclina una línea hacia abajo en el $xy$-plano. Por otro lado, nuestra mapa es la identidad cuando restringida al círculo en $RP^2$, por lo que tenemos una deformación retractarse y, en particular, un homotopy equivalencia como se desee.

4voto

Reissem Puntos 23

Nota de la CW-complejo de la estructura de $RP^2$ $e^0\cup_{c}e^1\cup_{f}e^2$donde $c$es la constante mapa y $f$es el antipodal mapa.Si se quita un punto de$RP^2$, hasta homotopy la estructura de la célula de $RP^2 - \lbrace x\rbrace$ es exactamente $e^0\cup_{c}e^1$.Que no es nada sino $S^1.$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X