Así pues el conjunto de todas las 1-formas definidas en un punto de la variedad es isomorfo al espacio dual del espacio vectorial tangente en dicho punto.