# Tangent space

A tangent space is the vector space of all tangent vectors to a manifold at a single point, written \( T_pM \) for a point \( p \) of a manifold \( M \). It collects every direction in which one can move away from \( p \) while staying, to first order, on the manifold. For a curve or surface embedded in [Euclidean space](https://www.edgepedia.org/euclidean-space) the tangent space is the familiar tangent line or tangent plane; for an abstract manifold, defined without reference to any surrounding space, the tangent space is constructed intrinsically from the manifold's own smooth structure.

| Key fact | Detail |
|---|---|
| Definition (derivations) | A tangent vector at \( a \in M \) is an \( \mathbb{R} \)-linear map \( v : C^{\infty}(M) \to \mathbb{R} \) satisfying the Leibniz rule \( v(fg) = f(a)v(g) + g(a)v(f) \)<sup>[1](https://lerman.web.illinois.edu/518/f11/8-19-11.pdf)</sup> |
| Definition (curves) | \( T_pX \) is the set of smooth curves based at \( p \) modulo agreement to first order in some (equivalently any) chart<sup>[2](https://math.berkeley.edu/~ltomczak/notes/Mich2022/DG_Notes.pdf)</sup> |
| Dimension | For an \( n \)-manifold, \( T_pM \) is an \( n \)-dimensional real vector space; the partial derivative operators \( \partial/\partial x^\mu \) at \( p \) form a basis<sup>[3](https://www.damtp.cam.ac.uk/user/tong/gr/grhtml/S2.html)</sup> |
| Euclidean case | Tangent vectors to points of \( \mathbb{R}^n \) are exactly the [directional derivatives](https://www.edgepedia.org/directional-derivative) at that point<sup>[1](https://lerman.web.illinois.edu/518/f11/8-19-11.pdf)</sup> |
| Tangent bundle | The disjoint union of all tangent spaces forms the tangent bundle \( TM \), a vector bundle over \( M \) with projection sending each vector to its base point<sup>[4](https://encyclopediaofmath.org/wiki/Tangent_bundle)</sup> |
| Riemannian structure | A Riemannian metric assigns each \( T_pM \) a positive-definite scalar product varying smoothly with \( p \), enabling lengths, angles, and geodesics<sup>[5](https://encyclopediaofmath.org/wiki/Differential_geometry_of_manifolds)</sup> |
| Algebraic analog | For an algebraic set \( A \), the Zariski tangent space is \( T_pA = V(\{dpf \mid f \in I(A)\}) \), and \( A \) is smooth at \( p \) when \( \dim T_pA = \dim_p A \)<sup>[6](https://www.math.uni-sb.de/ag/schreyer/images/PDFs/teaching/ss21_perugia/AlgGeomSlides17.pdf)</sup> |

## Why an intrinsic definition is needed

In elementary geometry a tangent vector is an arrow sticking out of a point into the surrounding space. This picture works for curves and surfaces embedded in \( \mathbb{R}^n \), where the tangent space at \( a \) can be identified with an affine subset of the ambient space passing through \( a \)<sup>[7](https://encyclopediaofmath.org/wiki/Tangent_space)</sup>. For a manifold \( M \subset \mathbb{R}^k \), a vector \( v \in \mathbb{R}^k \) is a tangent vector at \( p \) when there is a smooth curve \( \gamma \) with \( \gamma(0) = p \) and \( \dot\gamma(0) = v \), and \( T_pM \) is the set of all such derivatives<sup>[8](https://homepages.uc.edu/~herronda/Diff_Geometry/DiffGeom.pdf)</sup>.

This embedded picture, however, depends on a choice of embedding, and one of the aims of modern differential geometry is to present ideas intrinsically, without reference to a higher-dimensional containing space<sup>[9](https://homepages.uc.edu/~herronda/Diff_Geometry/DG4physics.pdf)</sup>. The mathematical definition of a tangent space makes no reference to embedding the manifold in some higher-dimensional space<sup>[3](https://www.damtp.cam.ac.uk/user/tong/gr/grhtml/S2.html)</sup>. Tangent vectors belong to the intrinsic structure of a manifold, so no embedding of the manifold within Euclidean space is needed to define them.<sup>[10](https://www.wim.uni-mannheim.de/media/Lehrstuehle/wim/schmidt/FSS2024/Riemannian_Geometry/Web/RGch2.html)</sup>

## The three standard constructions

**Derivations.** Fix a smooth manifold \( M \) and a point \( a \). A tangent vector at \( a \) is a linear map \( v : C^{\infty}(M) \to \mathbb{R} \) obeying the product rule \( v(fg) = f(a)v(g) + g(a)v(f) \) for all smooth functions \( f, g \); such maps are called derivations into \( \mathbb{R} \)<sup>[1](https://lerman.web.illinois.edu/518/f11/8-19-11.pdf)</sup>. The tangent space \( T_aM \) is the collection of all of them, and it is a vector space over the reals, since a linear combination \( \lambda v + \mu w \) of derivations is again a derivation<sup>[1](https://lerman.web.illinois.edu/518/f11/8-19-11.pdf)</sup>. This algebraic definition has practical advantages: tangent vectors are concrete objects rather than equivalence classes, the vector space structure is immediate, and it leads to coordinate-independent definitions of differentials and velocities<sup>[11](https://joachimweise.github.io/post/2020-03-01-tangent-space/)</sup>.

**Curves.** A curve based at \( p \) is a smooth map \( \gamma : I \to X \), with \( I \subseteq \mathbb{R} \) an open neighborhood of 0, sending 0 to \( p \). Two such curves agree to first order if in some chart around \( p \) their coordinate derivatives at 0 coincide; the chain rule shows this condition is independent of the chart, so agreement to first order is an equivalence relation. The tangent space \( T_pX \) is then the set of equivalence classes<sup>[2](https://math.berkeley.edu/~ltomczak/notes/Mich2022/DG_Notes.pdf)</sup>. In this picture \( T_p(M) \) is literally the space of all possible tangents to curves passing through \( p \)<sup>[3](https://www.damtp.cam.ac.uk/user/tong/gr/grhtml/S2.html)</sup>.

**Directional derivatives.** Each curve through \( p \) defines an operator on smooth functions, sending \( f \) to \( df/d\lambda \) at \( p \), where \( \lambda \) parameterizes the curve. The set of these operators is a vector space, because the product rule is preserved under linear combination, and the partial derivative operators \( \partial_\mu \) at \( p \) coming from a coordinate chart form a basis<sup>[12](https://ned.ipac.caltech.edu/level5/March01/Carroll3/Carroll2.html)</sup>. A curve through \( p \) with coordinates \( x^\mu(t) \) therefore has tangent vector

\[ X_p = \left. \frac{d x^\mu(t)}{dt} \right|_{t=0} \left. \frac{\partial}{\partial x^\mu} \right|_p , \]

which acts on a function \( f \) by reporting how fast \( f \) changes as one moves along the curve<sup>[3](https://www.damtp.cam.ac.uk/user/tong/gr/grhtml/S2.html)</sup>. The three constructions agree: for \( \mathbb{R}^n \) itself, every tangent vector is a directional derivative and there are no others<sup>[1](https://lerman.web.illinois.edu/518/f11/8-19-11.pdf)</sup>.

## Vector space structure and dimension

The tangent space at a point of an \( n \)-manifold is an \( n \)-dimensional real vector space<sup>[3](https://www.damtp.cam.ac.uk/user/tong/gr/grhtml/S2.html)</sup><sup> • </sup><sup>[2](https://math.berkeley.edu/~ltomczak/notes/Mich2022/DG_Notes.pdf)</sup>. In a coordinate chart \( x^1, \ldots, x^n \), the operators \( \partial/\partial x^i \big|_p \) span \( T_pM \), and every vector has a unique expansion \( v = v^i \, \partial/\partial x^i \big|_p \). Under a change of coordinates \( y^i \), the basis vectors transform by the chain rule,

\[ \frac{\partial}{\partial y^i} = \frac{\partial x^j}{\partial y^i} \frac{\partial}{\partial x^j} , \]

which is the usual transformation law for writing a vector in components with respect to a basis<sup>[13](https://www.math.ucla.edu/~petersen/manifolds.pdf)</sup>. The dual space of linear functionals on \( T_pM \) is the cotangent space \( T^*_pM \), with dual basis \( dx^i \) satisfying \( dx^i(\partial/\partial x^j) = \delta^i_j \)<sup>[13](https://www.math.ucla.edu/~petersen/manifolds.pdf)</sup>.

Vectors at different points live in different spaces: a vector at \( p \) belongs to \( T_pM \) and a vector at \( q \) to \( T_qM \), and the two are distinct even when \( p \) and \( q \) lie in the same chart<sup>[10](https://www.wim.uni-mannheim.de/media/Lehrstuehle/wim/schmidt/FSS2024/Riemannian_Geometry/Web/RGch2.html)</sup>.

## The tangent bundle

Because tangent spaces at different points are separate vector spaces, statements about vector fields require a device for gathering them. The disjoint union of the tangent spaces \( T_pM \) over all \( p \in M \) carries a natural structure of a vector bundle over \( M \), the tangent bundle \( TM \), whose projection sends each tangent vector to its base point<sup>[4](https://encyclopediaofmath.org/wiki/Tangent_bundle)</sup>. A chart \( (U, \varphi) \) on \( M \) induces a chart \( TU \cong U \times \mathbb{R}^n \) on the bundle, and the transition functions of the tangent bundle are given by the Jacobian matrices of the transition functions of the manifold's atlas<sup>[4](https://encyclopediaofmath.org/wiki/Tangent_bundle)</sup>. A vector field is then a section of this bundle, a map \( X : M \to TM \) with \( \pi \circ X = \mathrm{id}_M \), assigning to each point a vector based at that point<sup>[10](https://www.wim.uni-mannheim.de/media/Lehrstuehle/wim/schmidt/FSS2024/Riemannian_Geometry/Web/RGch2.html)</sup>.

The bundle need not be a product. For an open subset of \( \mathbb{R}^n \) the tangent bundle is just \( U \times \mathbb{R}^n \), and the tangent bundle of the circle is likewise a product; such bundles are called trivial. The tangent bundle of the 2-sphere is non-trivial<sup>[10](https://www.wim.uni-mannheim.de/media/Lehrstuehle/wim/schmidt/FSS2024/Riemannian_Geometry/Web/RGch2.html)</sup>.

## Role in Riemannian geometry and physics

A Riemannian space is a differentiable manifold on which each tangent space \( T_pM \) carries a Euclidean metric, a positive-definite scalar product depending smoothly on \( p \). The scalar product makes it possible to determine, by the formulas of [Euclidean geometry](https://www.edgepedia.org/euclidean-geometry), the angle between infinitesimal curves, the length of an infinitesimal curve, and the volume of a \( k \)-dimensional parallelepiped in \( T_pM \), and then, by integration, the length of a smooth curve on \( M \) and the volume of a \( k \)-dimensional submanifold<sup>[5](https://encyclopediaofmath.org/wiki/Differential_geometry_of_manifolds)</sup>. In general relativity, tangent vectors at a point of spacetime constitute the tangent space at that point, and the set of all tangent spaces forms the tangent bundle<sup>[14](https://doi.org/10.1093/oso/9780199666454.003.0001)</sup>.

## Applications in optimization and machine learning

Because a tangent space is a genuine vector space, it serves as a flat local approximation to a curved constraint set, which is the basis of [Riemannian optimization](https://www.edgepedia.org/riemannian-optimization). On the [Stiefel manifold](https://www.edgepedia.org/stiefel-manifold) \( \mathrm{St}(n,r) \), the set of column-orthonormal \( n \times r \) matrices, a gradient step is taken in the tangent space at the current iterate, and a retraction, such as the polar retraction, maps the tangent vector back onto the manifold so that each update remains feasible<sup>[15](https://journals.sagepub.com/doi/10.1177/17298806261430010)</sup>. This framework supports trajectory optimization under orthogonality constraints, such as end-effector orientation planning in robotics<sup>[15](https://journals.sagepub.com/doi/10.1177/17298806261430010)</sup>.

A documented pitfall is the single tangent space fallacy: projecting geometrically constrained data, such as unit quaternions representing orientations, onto one fixed tangent space and applying an off-the-shelf learning algorithm there. Analysis and experiments show this simplification is mathematically flawed even on a low-dimensional sphere, and that learning should respect the way tangent spaces change from point to point<sup>[16](https://arxiv.org/abs/2310.07902)</sup>. Function approximation on manifolds likewise uses pullbacks to tangent spaces, and recent work combines pullbacks to multiple tangent spaces with a weighted Fréchet mean<sup>[17](https://epubs.siam.org/doi/abs/10.1137/25M1753863)</sup>.

## Analogues and generalizations

The tangent space idea transfers beyond smooth manifolds. In algebraic geometry, the tangent space of an algebraic set \( A \subset \mathbb{A}^n \) at \( p \) is defined as \( T_p(A) = V(\{dpf \mid f \in I(A)\}) \), the common zero set of the linear parts of all defining equations; \( A \) is smooth at \( p \) exactly when \( \dim T_pA \) equals the local dimension \( \dim_p A \), and points where this fails are singular<sup>[6](https://www.math.uni-sb.de/ag/schreyer/images/PDFs/teaching/ss21_perugia/AlgGeomSlides17.pdf)</sup>. At a singular point the tangent space is only a rough approximation of the set, and the tangent cone, built from the lowest-degree parts of the defining equations, gives a better one<sup>[6](https://www.math.uni-sb.de/ag/schreyer/images/PDFs/teaching/ss21_perugia/AlgGeomSlides17.pdf)</sup>.

The notion also extends to settings without a manifold structure. For diffeological spaces, generalizations of smooth manifolds that include singular and infinite-dimensional spaces, one distinguishes an internal tangent space defined using smooth curves into the space and an external tangent space defined using smooth derivations on germs of smooth functions<sup>[18](https://arxiv.org/abs/1411.5425)</sup>.

## References

1. [Lerman, G. An Introduction to Differential Geometry, University of Illinois lecture notes](https://lerman.web.illinois.edu/518/f11/8-19-11.pdf)
2. [Tomczak-Jaegermann-related lecture notes: Differential Geometry, UC Berkeley (Mich 2022)](https://math.berkeley.edu/~ltomczak/notes/Mich2022/DG_Notes.pdf)
3. [Tong, D. General Relativity, Section 2: Introducing Differential Geometry, University of Cambridge](https://www.damtp.cam.ac.uk/user/tong/gr/grhtml/S2.html)
4. [Tangent bundle, Encyclopedia of Mathematics](https://encyclopediaofmath.org/wiki/Tangent_bundle)
5. [Differential geometry of manifolds, Encyclopedia of Mathematics](https://encyclopediaofmath.org/wiki/Differential_geometry_of_manifolds)
6. [Schreyer, F.-O. Algebraic Geometry, Lecture 17, Universität des Saarlandes](https://www.math.uni-sb.de/ag/schreyer/images/PDFs/teaching/ss21_perugia/AlgGeomSlides17.pdf)
7. [Tangent space, Encyclopedia of Mathematics](https://encyclopediaofmath.org/wiki/Tangent_space)
8. [Herron, D. Introduction to Differential Geometry](https://homepages.uc.edu/~herronda/Diff_Geometry/DiffGeom.pdf)
9. [Herron, D. Modern Differential Geometry for Physics-style lecture notes, University of Cincinnati](https://homepages.uc.edu/~herronda/Diff_Geometry/DG4physics.pdf)
10. [Riemannian Geometry, Chapter 2: Manifolds, Universität Mannheim](https://www.wim.uni-mannheim.de/media/Lehrstuehle/wim/schmidt/FSS2024/Riemannian_Geometry/Web/RGch2.html)
11. [Weise, J. Tangent Spaces (2020)](https://joachimweise.github.io/post/2020-03-01-tangent-space/)
12. [Carroll, S. Lecture Notes on General Relativity, Chapter 2](https://ned.ipac.caltech.edu/level5/March01/Carroll3/Carroll2.html)
13. [Petersen, P. Manifolds, Transversality, and de Rham Cohomology, UCLA](https://www.math.ucla.edu/~petersen/manifolds.pdf)
14. [Riemannian and Lorentzian geometry, Introduction to General Relativity, Black Holes, and Cosmology, Oxford Academic](https://doi.org/10.1093/oso/9780199666454.003.0001)
15. [Ma, Y., Li, C. Manifold-aware learning for robot trajectory design: Riemannian optimization on the Stiefel manifold](https://journals.sagepub.com/doi/10.1177/17298806261430010)
16. [Unraveling the Single Tangent Space Fallacy: An Analysis and Clarification for Applying Riemannian Geometry in Robot Learning, arXiv:2310.07902](https://arxiv.org/abs/2310.07902)
17. [Wang, H., Vandebril, R., Van der Veken, J., Vannieuwenhoven, N. Manifold-Valued Function Approximation from Multiple Tangent Spaces, SIAM Journal on Scientific Computing](https://epubs.siam.org/doi/abs/10.1137/25M1753863)
18. [Tangent spaces and tangent bundles for diffeological spaces, arXiv:1411.5425](https://arxiv.org/abs/1411.5425)

---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Geometry and topology › Differential geometry*

*Initially written Sep 17, 2026 · Reviewed: Oct 15, 2026 · Edited: Oct 15, 2026 · Last review: Oct 15, 2026*

*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*

License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license