Tangent space

Last updated

In mathematics, the tangent space of a manifold is a generalization of tangent lines to curves in two-dimensional space and tangent planes to surfaces in three-dimensional space in higher dimensions. In the context of physics the tangent space to a manifold at a point can be viewed as the space of possible velocities for a particle moving on the manifold.

Contents

Informal description

A pictorial representation of the tangent space of a single point
x
{\displaystyle x}
on a sphere. A vector in this tangent space represents a possible velocity (of something moving on the sphere) at
x
{\displaystyle x}
. After moving in that direction to a nearby point, the velocity would then be given by a vector in the tangent space of that point--a different tangent space that is not shown. Image Tangent-plane.svg
A pictorial representation of the tangent space of a single point on a sphere. A vector in this tangent space represents a possible velocity (of something moving on the sphere) at . After moving in that direction to a nearby point, the velocity would then be given by a vector in the tangent space of that point—a different tangent space that is not shown.

In differential geometry, one can attach to every point of a differentiable manifold a tangent space—a real vector space that intuitively contains the possible directions in which one can tangentially pass through . The elements of the tangent space at are called the tangent vectors at . This is a generalization of the notion of a vector, based at a given initial point, in a Euclidean space. The dimension of the tangent space at every point of a connected manifold is the same as that of the manifold itself.

For example, if the given manifold is a -sphere, then one can picture the tangent space at a point as the plane that 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, then one can picture a tangent space in this literal fashion. This was the traditional approach toward defining parallel transport. Many authors in differential geometry and general relativity use it. [1] [2] More strictly, this defines an affine tangent space, which is distinct from the space of tangent vectors described by modern terminology.

In algebraic geometry, in contrast, there is an intrinsic definition of the tangent space at a point of an algebraic variety that gives a vector space with dimension at least that of itself. The points at which the dimension of the tangent space is exactly that of are called non-singular points; the others are called singular points. For example, a curve that crosses itself does not have a unique tangent line at that point. The singular points of are those where the "test to be a manifold" fails. See Zariski tangent space.

Once the tangent spaces of a manifold have been introduced, one can define vector fields, which are abstractions of the velocity field of particles moving in space. 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 of a manifold may be "glued together" to form a new differentiable manifold with twice the dimension of the original manifold, called the tangent bundle of the manifold.

Formal definitions

The informal description above relies on a manifold's ability to be embedded into an ambient vector space so that the tangent vectors can "stick out" of the manifold into the ambient space. However, it is more convenient to define the notion of a tangent space based solely on the manifold itself. [3]

There are various equivalent ways of defining the tangent spaces of a manifold. While the definition via the velocity of curves is intuitively the simplest, it is also the most cumbersome to work with. More elegant and abstract approaches are described below.

Definition via tangent curves

In the embedded-manifold picture, a tangent vector at a point is thought of as the velocity of a curve passing through the point . We can therefore define a tangent vector as an equivalence class of curves passing through while being tangent to each other at .

Suppose that is a differentiable manifold (with smoothness ) and that . Pick a coordinate chart , where is an open subset of containing . Suppose further that two curves with are given such that both are differentiable in the ordinary sense (we call these differentiable curves initialized at ). Then and are said to be equivalent at if and only if the derivatives of and at coincide. This defines an equivalence relation on the set of all differentiable curves initialized at , and equivalence classes of such curves are known as tangent vectors of at . The equivalence class of any such curve is denoted by . The tangent space of at , denoted by , is then defined as the set of all tangent vectors at ; it does not depend on the choice of coordinate chart .

The tangent space
T
x
M
{\displaystyle T_{x}M}
and a tangent vector
v
[?]
T
x
M
{\displaystyle v\in T_{x}M}
, along a curve traveling through
x
[?]
M
{\displaystyle x\in M}
. Tangentialvektor.svg
The tangent space and a tangent vector , along a curve traveling through .

To define vector-space operations on , we use a chart and define a map by where . The map turns out to be bijective and may be used to transfer the vector-space operations on over to , thus turning the latter set into an -dimensional real vector space. Again, one needs to check that this construction does not depend on the particular chart and the curve being used, and in fact it does not.

Definition via derivations

Suppose now that is a manifold. A real-valued function is said to belong to if and only if for every coordinate chart , the map is infinitely differentiable. Note that is a real associative algebra with respect to the pointwise product and sum of functions and scalar multiplication.

A derivation at is defined as a linear map that satisfies the Leibniz identity which is modeled on the product rule of calculus.

(For every identically constant function it follows that ).

Denote the set of all derivations at Setting

turns into a vector space.

Generalizations

Generalizations of this definition are possible, for instance, to complex manifolds and algebraic varieties. However, instead of examining derivations from the full algebra of functions, one must instead work at the level of germs of functions. The reason for this is that the structure sheaf may not be fine for such structures. For example, let be an algebraic variety with structure sheaf . Then the Zariski tangent space at a point is the collection of all -derivations , where is the ground field and is the stalk of at .

Equivalence of the definitions

For and a differentiable curve such that define (where the derivative is taken in the ordinary sense because is a function from to ). One can ascertain that is a derivation at the point and that equivalent curves yield the same derivation. Thus, for an equivalence class we can define where the curve has been chosen arbitrarily. The map is a vector space isomorphism between the space of the equivalence classes and that of the derivations at the point

Definition via cotangent spaces

Again, we start with a manifold and a point . Consider the ideal of that consists of all smooth functions vanishing at , i.e., . Then and are both real vector spaces, and the quotient space can be shown to be isomorphic to the cotangent space through the use of Taylor's theorem. The tangent space may then be defined as the dual space of .

While this definition is the most abstract, it is also the one that is most easily transferable to other settings, for instance, to the varieties considered in algebraic geometry.

If is a derivation at , then for every , which means that gives rise to a linear map . Conversely, if is a linear map, then defines a derivation at . This yields an equivalence between tangent spaces defined via derivations and tangent spaces defined via cotangent spaces.

Properties

If is an open subset of , then is a manifold in a natural manner (take coordinate charts to be identity maps on open subsets of ), and the tangent spaces are all naturally identified with .

Tangent vectors as directional derivatives

Another way to think about tangent vectors is as directional derivatives. Given a vector in , one defines the corresponding directional derivative at a point by

This map is naturally a derivation at . Furthermore, every derivation at a point in is of this form. Hence, there is a one-to-one correspondence between vectors (thought of as tangent vectors at a point) and derivations at a point.

As tangent vectors to a general manifold at a point can be defined as derivations at that point, it is natural to think of them as directional derivatives. Specifically, if is a tangent vector to at a point (thought of as a derivation), then define the directional derivative in the direction by

If we think of as the initial velocity of a differentiable curve initialized at , i.e., , then instead, define by

Basis of the tangent space at a point

For a manifold , if a chart is given with , then one can define an ordered basis of by

Then for every tangent vector , one has

This formula therefore expresses as a linear combination of the basis tangent vectors defined by the coordinate chart . [4]

The derivative of a map

Every smooth (or differentiable) map between smooth (or differentiable) manifolds induces natural linear maps between their corresponding tangent spaces:

If the tangent space is defined via differentiable curves, then this map is defined by

If, instead, the tangent space is defined via derivations, then this map is defined by

The linear map is called variously the derivative, total derivative, differential, or pushforward of at . It is frequently expressed using a variety of other notations:

In a sense, the derivative is the best linear approximation to near . Note that when , then the map 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 is a local diffeomorphism at in , then is a linear isomorphism. Conversely, if is continuously differentiable and is an isomorphism, then there is an open neighborhood of such that maps diffeomorphically onto its image.

This is a generalization of the inverse function theorem to maps between manifolds.

See also

Notes

  1. do Carmo, Manfredo P. (1976). Differential Geometry of Curves and Surfaces. Prentice-Hall.:
  2. Dirac, Paul A. M. (1996) [1975]. General Theory of Relativity. Princeton University Press. ISBN   0-691-01146-X.
  3. Chris J. Isham (1 January 2002). Modern Differential Geometry for Physicists. Allied Publishers. pp. 70–72. ISBN   978-81-7764-316-9.
  4. Lerman, Eugene. "An Introduction to Differential Geometry" (PDF). p. 12.

Related Research Articles

<span class="mw-page-title-main">Vector field</span> Assignment of a vector to each point in a subset of Euclidean space

In vector calculus and physics, a vector field is an assignment of a vector to each point in a space, most commonly Euclidean space . A vector field on a plane can be visualized as a collection of arrows with given magnitudes and directions, each attached to a point on the plane. Vector fields are often used to model, for example, the speed and direction of a moving fluid throughout three dimensional space, such as the wind, or the strength and direction of some force, such as the magnetic or gravitational force, as it changes from one point to another point.

In the mathematical field of differential geometry, a metric tensor is an additional structure on a manifold M that allows defining distances and angles, just as the inner product on a Euclidean space allows defining distances and angles there. More precisely, a metric tensor at a point p of M is a bilinear form defined on the tangent space at p, and a metric field on M consists of a metric tensor at each point p of M that varies smoothly with p.

<span class="mw-page-title-main">Tangent bundle</span> Tangent spaces of a manifold

A tangent bundle is the collection of all of the tangent spaces for all points on a manifold, structured in a way that it forms a new manifold itself. Formally, in differential geometry, the tangent bundle of a differentiable manifold is a manifold which assembles all the tangent vectors in . As a set, it is given by the disjoint union of the tangent spaces of . That is,

In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure of the degree to which the geometry of a given metric tensor differs locally from that of ordinary Euclidean space or pseudo-Euclidean space.

In mathematics, a Lie algebroid is a vector bundle together with a Lie bracket on its space of sections and a vector bundle morphism , satisfying a Leibniz rule. A Lie algebroid can thus be thought of as a "many-object generalisation" of a Lie algebra.

<span class="mw-page-title-main">Foliation</span> In mathematics, a type of equivalence relation on an n-manifold

In mathematics, a foliation is an equivalence relation on an n-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension p, modeled on the decomposition of the real coordinate space Rn into the cosets x + Rp of the standardly embedded subspace Rp. The equivalence classes are called the leaves of the foliation. If the manifold and/or the submanifolds are required to have a piecewise-linear, differentiable, or analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively. In the most important case of differentiable foliation of class Cr it is usually understood that r ≥ 1. The number p is called the dimension of the foliation and q = np is called its codimension.

In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. In the special case of a manifold isometrically embedded into a higher-dimensional Euclidean space, the covariant derivative can be viewed as the orthogonal projection of the Euclidean directional derivative onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component and the intrinsic covariant derivative component.

Differential geometry of curves is the branch of geometry that deals with smooth curves in the plane and the Euclidean space by methods of differential and integral calculus.

<span class="mw-page-title-main">Affine connection</span> Construct allowing differentiation of tangent vector fields of manifolds

In differential geometry, an affine connection is a geometric object on a smooth manifold which connects nearby tangent spaces, so it permits tangent vector fields to be differentiated as if they were functions on the manifold with values in a fixed vector space. Connections are among the simplest methods of defining differentiation of the sections of vector bundles.

In mathematics and physics, the Christoffel symbols are an array of numbers describing a metric connection. The metric connection is a specialization of the affine connection to surfaces or other manifolds endowed with a metric, allowing distances to be measured on that surface. In differential geometry, an affine connection can be defined without reference to a metric, and many additional concepts follow: parallel transport, covariant derivatives, geodesics, etc. also do not require the concept of a metric. However, when a metric is available, these concepts can be directly tied to the "shape" of the manifold itself; that shape is determined by how the tangent space is attached to the cotangent space by the metric tensor. Abstractly, one would say that the manifold has an associated (orthonormal) frame bundle, with each "frame" being a possible choice of a coordinate frame. An invariant metric implies that the structure group of the frame bundle is the orthogonal group O(p, q). As a result, such a manifold is necessarily a (pseudo-)Riemannian manifold. The Christoffel symbols provide a concrete representation of the connection of (pseudo-)Riemannian geometry in terms of coordinates on the manifold. Additional concepts, such as parallel transport, geodesics, etc. can then be expressed in terms of Christoffel symbols.

In mathematics, the jet is an operation that takes a differentiable function f and produces a polynomial, the truncated Taylor polynomial of f, at each point of its domain. Although this is the definition of a jet, the theory of jets regards these polynomials as being abstract polynomials rather than polynomial functions.

<span class="mw-page-title-main">Pushforward (differential)</span> Linear approximation of smooth maps on tangent spaces

In differential geometry, pushforward is a linear approximation of smooth maps on tangent spaces. Suppose that is a smooth map between smooth manifolds; then the differential of at a point , denoted , is, in some sense, the best linear approximation of near . It can be viewed as a generalization of the total derivative of ordinary calculus. Explicitly, the differential is a linear map from the tangent space of at to the tangent space of at , . Hence it can be used to push tangent vectors on forward to tangent vectors on . The differential of a map is also called, by various authors, the derivative or total derivative of .

<span class="mw-page-title-main">Arc length</span> Distance along a curve

Arc length is the distance between two points along a section of a curve.

<span class="mw-page-title-main">Differentiable manifold</span> Manifold upon which it is possible to perform calculus

In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.

<span class="mw-page-title-main">Flow (mathematics)</span> Motion of particles in a fluid

In mathematics, a flow formalizes the idea of the motion of particles in a fluid. Flows are ubiquitous in science, including engineering and physics. The notion of flow is basic to the study of ordinary differential equations. Informally, a flow may be viewed as a continuous motion of points over time. More formally, a flow is a group action of the real numbers on a set.

The gradient theorem, also known as the fundamental theorem of calculus for line integrals, says that a line integral through a gradient field can be evaluated by evaluating the original scalar field at the endpoints of the curve. The theorem is a generalization of the second fundamental theorem of calculus to any curve in a plane or space rather than just the real line.

In the mathematical field of differential topology, the Lie bracket of vector fields, also known as the Jacobi–Lie bracket or the commutator of vector fields, is an operator that assigns to any two vector fields X and Y on a smooth manifold M a third vector field denoted [X, Y].

<span class="mw-page-title-main">Stokes' theorem</span> Theorem in vector calculus

Stokes' theorem, also known as the Kelvin–Stokes theorem after Lord Kelvin and George Stokes, the fundamental theorem for curls or simply the curl theorem, is a theorem in vector calculus on . Given a vector field, the theorem relates the integral of the curl of the vector field over some surface, to the line integral of the vector field around the boundary of the surface. The classical theorem of Stokes can be stated in one sentence:

In mathematics, convenient vector spaces are locally convex vector spaces satisfying a very mild completeness condition.

In mathematics, stochastic analysis on manifolds or stochastic differential geometry is the study of stochastic analysis over smooth manifolds. It is therefore a synthesis of stochastic analysis and of differential geometry.

References