¿Qué es la homología?
En esta nota hablaremos acerca de la teoría de homología para espacios topológicos; daremos su definición, algunos cálculos sencillos y hablaremos de ciertas aplicaciones inmediatas. A lo largo de este texto $R$ denotará un anillo conmutativo con identidad. Definiciones En términos generales, la homología de un espacio $X$ es la construcción de un funtor covariante $$ \mathcal{Top}\longrightarrow R\mathcal{Mod},\qquad X\mapsto H_*(X;R)=\{H_0(X;R),H_1(X;R), \ldots\} $$ que asocia a cada espacio topológico $X$ una colección de $R$-módulos. De manera particular, dicho funtor se construye en dos pasos: $\bullet$ A partir de $X$, y dependiendo si tiene una estructura diferenciable, continua o combinatoria, se construye un complejo de cadenas de $R$-módulos: $$ \cdots \stackrel{}{\longrightarrow} C_{q+1}(X;R)\stackrel{\partial_{q+1}}{\longrightarrow} C_q(X;R)\stackrel{\partial_q}{\longrightarrow}C_{q-1}(X;R)\stackrel{}{\longrightarrow}$$ Es decir, una colección de ...