let be the usual scalar product on , and let be the unit sphere. the tangent space to at a point is naturally identified with the vector subspace of consisting of all vectors orthogonal to . it follows that a vector field on can be seen as a map which satisfies