Agujeros en Espacios Topológicos: Equivalencia de Homotopía y Equivalencia de Homotopía Débil
Este artículo explora el concepto de 'agujeros' en espacios topológicos e introduce dos relaciones de equivalencia: equivalencia de homotopía y equivalencia de homotopía débil. La equivalencia de homotopía permite que los espacios se deformen mientras preservan el número de 'agujeros', como una taza de café y un toro que son equivalentes en homotopía. La equivalencia de homotopía débil es más relajada, requiriendo solo que los espacios tengan los mismos grupos de homotopía, incluso si difieren en la estructura local. El artículo profundiza en el concepto de grupos de homotopía e ilustra cómo identificar 'agujeros' en espacios usando grupos de homotopía con el ejemplo de un toro. Finalmente, menciona la conjetura de Grothendieck de que el grupoide infinito captura toda la información sobre un espacio topológico hasta la equivalencia de homotopía débil, lo que está íntimamente relacionado con sistemas de factorización débil y categorías de modelos de Quillen.