Cotangent space

The cotangent space at a point on a C^∞ manifold is the vector space of all infinitely differentiable functions which have the value 0 at this point, divided by the subspace of all functions which also have derviative 0 at this point.