Esta es una pregunta de un examen de calificación. Dejar ser un compacto, orientado -variedad dimensional. Demuestra que para cualquier , existe un mapa continuo de grado .
Estaba satisfecho con la muy buena solución a través de suspensiones en For every construir un mapa continuo con . en el caso de que . Parece que para esta cuestión debería bastar con mostrar que existe un grado mapa de a , y luego podemos componer con un grado automapa de obtener un título mapa de a (porque el grado de una composición de mapas es el producto de los grados de los mapas componentes).
Una idea que he tenido hasta ahora es considerar una incrustación para algunos grandes y luego proyectar en el -sphere, pero no sé cómo se garantizaría que esto tendría un grado 1. Y aunque esto no es necesario para responder a la pregunta, ¿qué sería un mapa de grado 1? incluso parecer? No puedo visualizar fácilmente tal mapa.
EDITAR: para responder a mi propia pregunta sobre un mapa de grado 1 eso es un poco menos 'singular' que la respuesta de Jared a continuación: imaginando la esfera y el toro como sus bonitas formas de bola y rosquilla, simplemente coloque la esfera dentro del toro (es decir, en el tubo mismo, no en su centro de masa) y luego proyectar el toro sobre la esfera.
Aquí hay una respuesta que usa maquinaria más abstracta. Dejar sea un conjunto abierto homeomorfo a una bola abierta en . Dejar sea el mapa del cociente. Tenemos . Por la naturalidad de la sucesión exacta larga, tenemos el diagrama conmutativo:
El mapa superior es un isomorfismo ya que es orientable. El mapa de la derecha es un isomorfismo por escisión (ver Topología algebraica de Hatcher, 2.22). El mapa inferior es un isomorfismo ya que es un solo punto.
Resulta que es un isomorfismo. Por eso Tiene grado uno como se desee.
Aquí está la idea (aproximada) para construir un mapa a partir de a de grado . Toma cualquier punto y asignarlo a un polo de . A continuación, mapee suavemente una pequeña bola abierta alrededor al resto de menos el polo opuesto. Luego mapee cada otro punto en no en este balón abierto al polo contrario.
En esencia, estás envolviendo la esfera con un disco dentro de , y agrupando todo lo demás en un punto.
Este mapa tiene grado uno porque es un difeomorfismo local que conserva la orientación alrededor de .
elden elmanto
grigorio m