 Let "formula_2" be a smooth manifold and let "formula_1" be a point in "formula_2".Let "formula_6" be the tangent space at "formula_1".Then the cotangent space at "x" is defined as the dual space of "formula_6"