Grupo de homotopía
De Wikipedia, la enciclopedia encyclopedia
En matemáticas, los grupos de homotopía se utilizan en topología algebraica para clasificar los espacios topológicos. El primer y más sencillo grupo de homotopía es el grupo fundamental, que registra información sobre las familias de curvas cerradas en un espacio. Intuitivamente, los grupos homotópicos registran información sobre la forma básica, o agujeros, de un espacio topológico.
Dos aplicaciones o mapas son homotópicos si uno puede ser deformado de forma continua hasta convertirlo en el otro. La homotopía así definida es una relación de equivalencia que permite definir clases de equivalencia llamadas clases de homotopía. El conjunto de dichas clases tiene estructura de grupo bajo la operación de composición. El grupo de homotopía de orden n, , se define como el conjunto de los mapas de una esfera n-dimensional Sn en un espacio dado X, basados en un punto fijo x0. El grupo fundamental es el primer grupo de homotopía , es decir, la familia de mapas de una esfera S1 (una circunferencia) en un espacio dado X, pasantes por un punto fijo x0 . La noción de homotopía de curvas fue presentada por Camille Jordan.[1]
Los espacios topológicos con diferentes grupos de homotopía no son homeomorfos, pero lo contrario no es cierto. En las matemáticas modernas, para estudiar una categoría es común asociar a cada objeto de esta categoría un objeto simple que todavía conserva una cantidad suficiente de información sobre el objeto en cuestión. Los grupos de homotopía son una manera de asociar los grupos a la categoría de espacios topológicos.