In mathematics, the tangent space of a manifold facilitates the generalization of vectors from affine spaces to general manifolds, since in the latter case one cannot simply subtract two points to obtain a vector pointing from one to the other.
Informal description
A pictorial representation of the tangent space of a single point,
x, on a
sphere. A vector in this tangent space can represent a possible velocity at
x. After moving in that direction to another nearby point, one's velocity would then be given by a vector in the tangent space of that nearby point—a different tangent space, not shown.
In differential geometry, one can attach to every point x of a differentiable manifold a tangent space, a real vector space that intuitively contains the possible "directions" at which one can tangentially pass through x. The elements of the tangent space are called tangent vectors at x. This is a generalization of the notion of a bound vector in a Euclidean space. All the tangent spaces of a connected manifold have the same dimension, equal to the dimension of the manifold.
For example, if the given manifold is a 2sphere, one can picture a tangent space at a point as the plane which touches the sphere at that point and is perpendicular to the sphere's radius through the point. More generally, if a given manifold is thought of as an embedded submanifold of Euclidean space one can picture a tangent space in this literal fashion. This was the traditional approach to defining parallel transport, and used by Dirac.^{[1]} More strictly this defines an affine tangent space, distinct from the space of tangent vectors described by modern terminology.
In algebraic geometry, in contrast, there is an intrinsic definition of tangent space at a point P of a variety V, that gives a vector space of dimension at least that of V. The points P at which the dimension is exactly that of V are called the nonsingular points; the others are singular points. For example, a curve that crosses itself doesn't have a unique tangent line at that point. The singular points of V are those where the 'test to be a manifold' fails. See Zariski tangent space.
Once tangent spaces have been introduced, one can define vector fields, which are abstractions of the velocity field of particles moving on a manifold. A vector field attaches to every point of the manifold a vector from the tangent space at that point, in a smooth manner. Such a vector field serves to define a generalized ordinary differential equation on a manifold: a solution to such a differential equation is a differentiable curve on the manifold whose derivative at any point is equal to the tangent vector attached to that point by the vector field.
All the tangent spaces can be "glued together" to form a new differentiable manifold of twice the dimension of the original manifold, called the tangent bundle of the manifold.
Formal definitions
There are various equivalent ways of defining the tangent spaces of a manifold. While the definition via velocities of curves is quite straightforward given the above intuition, it is also the most cumbersome to work with. More elegant and abstract approaches are described below.
Definition as velocities of curves
Suppose M is a C^{k} manifold (k ≥ 1) and x is a point in M. Pick a chart φ : U → R^{n} where U is an open subset of M containing x. Suppose two curves γ_{1} : (1,1) → M and γ_{2} : (1,1) → M with γ_{1}(0) = γ_{2}(0) = x are given such that φ ∘ γ_{1} and φ ∘ γ_{2} are both differentiable at 0. Then γ_{1} and γ_{2} are called equivalent at 0 if the ordinary derivatives of φ ∘ γ_{1} and φ ∘ γ_{2} at 0 coincide. This defines an equivalence relation on such curves, and the equivalence classes are known as the tangent vectors of M at x. The equivalence class of the curve γ is written as γ'(0). The tangent space of M at x, denoted by T_{x}M, is defined as the set of all tangent vectors; it does not depend on the choice of chart φ.
The tangent space \scriptstyle T_xM and a tangent vector \scriptstyle v\in T_xM, along a curve traveling through \scriptstyle x\in M
To define the vector space operations on T_{x}M, we use a chart φ : U → R^{n} and define the map (dφ)_{x} : T_{x}M → R^{n} by (dφ)_{x}(γ'(0)) = \scriptstyle\frac{d}{dt}(φ ∘ γ)(0). It turns out that this map is bijective and can thus be used to transfer the vector space operations from R^{n} over to T_{x}M, turning the latter into an ndimensional real vector space. Again, one needs to check that this construction does not depend on the particular chart φ chosen, and in fact it does not.
Definition via derivations
Suppose M is a C^{∞} manifold. A realvalued function ƒ: M → R belongs to C^{∞}(M) if ƒ ∘ φ^{−1} is infinitely differentiable for every chart φ : U → R^{n}. C^{∞}(M) is a real associative algebra for the pointwise product and sum of functions and scalar multiplication.
Pick a point x in M. A derivation at x is a linear map D : C^{∞}(M) → R that has the property that for all ƒ, g in C^{∞}(M):

D(fg) = D(f)\cdot g(x) + f(x)\cdot D(g)
modeled on the product rule of calculus. If we define addition and scalar multiplication for such derivations by
(D_1 + D_2)(f) = D_1(f) + D_2(f) and (\lambda D)(f) = \lambda D(f)
we get a real vector space which we define as the tangent space T_{x}M.
The relation between the tangent vectors defined earlier and derivations is as follows: if γ is a curve with tangent vector γ'(0), then the corresponding derivation is D(ƒ) = (ƒ ∘ γ)'(0) (where the derivative is taken in the ordinary sense, since ƒ ∘ γ is a function from (1,1) to R).

\gamma'(0) \longmapsto D_\gamma where D_\gamma(f) = \left.\frac{d}{dt}(f \circ \gamma)\right_{t=0} = (f \circ \gamma)'(0).
Generalizations of this definition are possible, for instance to complex manifolds and algebraic varieties. However, instead of examining derivations D from the full algebra of functions, one must instead work at the level of germs of functions. The reason is that the structure sheaf may not be fine for such structures. For instance, let X be an algebraic variety with structure sheaf O_{X}. Then the Zariski tangent space at a point p∈X is the collection of Kderivations D:O_{X,p}→K, where K is the ground field and O_{X,p} is the stalk of O_{X} at p.
Definition via the cotangent space
Again we start with a C^{∞} manifold, M, and a point, x, in M. Consider the ideal, I, in C^{∞}(M) consisting of all functions, ƒ, such that ƒ(x) = 0. That is, of functions defining curves, surfaces, etc. passing through x. Then I and I^{ 2} are real vector spaces, and T_{x}M may be defined as the dual space of the quotient space I / I^{ 2}. This latter quotient space is also known as the cotangent space of M at x.
While this definition is the most abstract, it is also the one most easily transferred to other settings, for instance to the varieties considered in algebraic geometry.
If D is a derivation at x, then D(ƒ) = 0 for every ƒ in I ^{2}, and this means that D gives rise to a linear map I / I ^{2} → R. Conversely, if r : I / I ^{2} → R is a linear map, then D(ƒ) = r((ƒ  ƒ(x)) + I^{ 2}) is a derivation. This yields the correspondence between the tangent space defined via derivations and the tangent space defined via the cotangent space.
Properties
If M is an open subset of R^{n}, then M is a C^{∞} manifold in a natural manner (take the charts to be the identity maps), and the tangent spaces are all naturally identified with R^{n}.
Tangent vectors as directional derivatives
Another way to think about tangent vectors is as directional derivatives. Given a vector v in R^{n} one defines the directional derivative of a smooth map ƒ: R^{n}→R at a point x by

D_v f(x) = \left.\frac{d}{dt}f(x+tv)\right_{t=0}=\sum_{i=1}^{n}v^i\frac{\partial f}{\partial x^i}(x).
This map is naturally a derivation. Moreover, it turns out that every derivation of C^{∞}(R^{n}) is of this form. So there is a onetoone map between vectors (thought of as tangent vectors at a point) and derivations.
Since tangent vectors to a general manifold can be defined as derivations it is natural to think of them as directional derivatives. Specifically, if v is a tangent vector of M at a point x (thought of as a derivation) then define the directional derivative in the direction v by

D_v(f) = v(f)\,
where ƒ: M → R is an element of C^{∞}(M). If we think of v as the direction of a curve, v = γ'(0), then we write

D_v(f) = (f\circ\gamma)'(0).
The derivative of a map
Every smooth (or differentiable) map φ : M → N between smooth (or differentiable) manifolds induces natural linear maps between the corresponding tangent spaces:

\mathrm d\varphi_x\colon T_xM \to T_{\varphi(x)}N.
If the tangent space is defined via curves, the map is defined as

\mathrm d\varphi_x(\gamma'(0)) = (\varphi\circ\gamma)'(0).
If instead the tangent space is defined via derivations, then

\mathrm d\varphi_x(X)(f) = X(f\circ \varphi).
The linear map dφ_{x} is called variously the derivative, total derivative, differential, or pushforward of φ at x. It is frequently expressed using a variety of other notations:

D\varphi_x,\quad (\varphi_*)_x,\quad \varphi'(x).
In a sense, the derivative is the best linear approximation to φ near x. Note that when N = R, the map dφ_{x} : T_{x}M→R coincides with the usual notion of the differential of the function φ. In local coordinates the derivative of ƒ is given by the Jacobian.
An important result regarding the derivative map is the following:

Theorem. If φ : M → N is a local diffeomorphism at x in M then dφ_{x} : T_{x}M → T_{φ(x)}N is a linear isomorphism. Conversely, if dφ_{x} is an isomorphism then there is an open neighborhood U of x such that φ maps U diffeomorphically onto its image.
This is a generalization of the inverse function theorem to maps between manifolds.
See also
References

^ Dirac, 1975, General Theory of Relativity, Princeton University Press

Lee, Jeffrey M. (2009), Manifolds and Differential Geometry, Graduate Studies in Mathematics, Vol. 107, Providence: American Mathematical Society .

Michor, Peter W. (2008), Topics in Differential Geometry, Graduate Studies in Mathematics, Vol. 93, Providence: American Mathematical Society .

External links

Tangent Planes at MathWorld
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.