Al definir la homología singular,
un singular -simplex es un mapeo continuo del estándar -símplex a un espacio topológico . Notacionalmente, se escribe . Este mapeo no necesita ser inyectivo, y puede haber simples simples no equivalentes con la misma imagen en X.
el límite de , denotado como , se define como la suma formal del singular -Simples representados por la restricción de a las caras del estandarte -símplex, con signo alterno para tener en cuenta la orientación. (Una suma formal es un elemento del grupo abeliano libre en los simples. La base del grupo es el conjunto infinito de todas las imágenes posibles de los simples estándar. La operación del grupo es "suma" y la suma de imagen '' '' con imagen generalmente se designa simplemente , pero etcétera. cada imagen tiene un negativo .) Así, si designamos el rango de por sus vértices
correspondiente a los vértices de la norma -símplex (que, por supuesto, no especifica completamente la imagen símplex estándar producida por ), entonces
Así es un singular -simplex un mapa, a diferencia de un simplex, que es un objeto geométrico?
Sobre la última fórmula y sobre la orientación: ¿por qué tenemos que alternar los signos? Supongo que está relacionado con la orientación, pero no puedo entender por qué.
Acerca de las dos últimas fórmulas: ¿La expresión que comienza con [ y termina con ] se refiere a objetos geométricos, como simples?
si, singular -Los simples son mapas. Efectivamente estamos tratando de sondear nuestros espacios con mapas del -símplex. Tenga en cuenta que estos son topológicamente iguales a las esferas sólidas y su límite es una esfera. La homología está tratando de capturar la idea de agujeros en el espacio, por lo que es algo natural a considerar. Queremos ver si podemos lanzar una esfera en el espacio (que tiene un agujero) de manera que no podamos llenar el interior de la esfera. También es importante distinguir entre el mapa (cómo lo lanzamos) y su imagen: la imagen puede ser la misma, pero la forma en que la lanzamos puede ser diferente.
Dado algún singular -símplex , podemos considerar su restricción a cada uno de los -simples que forman su contorno. Esto es a lo que se hace referencia en la fórmula. Estamos tomando la suma de estas restricciones (con un signo) y, por lo tanto, obteniendo una suma formal de -simples, que es lo que queremos para construir una cadena compleja.
Por último, la señal es muy importante para que consigamos la cancelación que queremos. Ves esto algebraicamente cuando verificas que es cero, y como indica wj32, esto se ve geométricamente cuando se consideran los ejemplos de baja dimensión.
wj32
Diferencia
Stefan Hamcke