Estoy tratando de empezar a trabajar a través de J. P. Mays Un breve Curso de Topología Algebraica , pero parece que no puede entender lo que describe como "esquemático indicaciones de cómo una determinada homotopy se comporta en "el dominio de plazas".
Él primero se define la ruta de tres funciones: $$ F : x \a y, \qquad G : y \a a la z, \qquad H : z \w. $$ y señala a continuación que sus composiciones son asociativos -- estoy seguro de que hay una mejor manera de poner, simplemente, escribe: $h \circ (g \circ f) \sim (h \circ g) \circ f$, que es también fácil de creer ya que "define" la composición de los caminos un poco antes (por la concatenación de ellos y se va "dos veces más rápido", que estoy más o menos dispuesto a aceptar por el momento).
Se define entonces un constante bucle de ruta de acceso de la función $c(x) : x \to x$ y dibuja su imagen del "dominio de la plaza". La parte superior e inferior indican los tres caminos que hemos definido, $f$, $g$, y $h$ -- y la de la izquierda y la derecha indican dos de las funciones de identidad, $c(x)$$c(w)$. Dibuja dos ligeramente inclinado segmentos de línea a través de la plaza, creativos tres volúmenes, que ahora podría presumiblemente ser considerado como $f$, $g$ y $h$. Tenga en cuenta que la fila de abajo no dice $f$-prime, sólo dice $f$; así que supongo que esto supongo que es donde estoy confundido.
Así que en cierto modo lo que esto está diciendo: -- estas funciones mover los puntos a otros puntos en un 'ordenada' de camino, pero creo que estoy teniendo problemas para entender qué se entiende por "dominio de la plaza" y él realmente no la definen. La instalación por parte de esta hizo referencia métrica espacios y algunas cosas acerca de fundamental grupos -- que debe proporcionar el contexto suficiente para reunir lo que el dominio de la plaza es en este contexto y cómo se aplican a decodificar estos pequeños dibujos esquemáticos? Agradecería cualquier ayuda o aclaración sobre estos.
(De paso, y este es, por supuesto, no es necesario, si alguien pudiera sugerir un poco menos, así, "conciso" topología algebraica libro del curso le estaría agradecido.)