Dualidad de Poincaré

Un isomorfismo en una variedad cerrada orientada de dimensión n que empareja la homología de grado k H_k(M;R) con la cohomología de grado (n−k) H^{n-k}(M;R) mediante el producto cap con una clase fundamental elegida, proporcionando emparejamientos perfectos con coeficientes adecuados.