Back to the index. Or to the chambers

This article has 42 links. View as Cloud or List.

1	Category
1	Representable Functor
1	Manifold
1	Equivalence Relation
1	Curve
1	Incidence Geometry
1	Point
1	Frame
1	Vector Space
1	Vector
1	Differntiable Function
1	Euclidean Distance
1	Neighborhood
1	Real Number
1	Simple Algebraic System
1	Obvious
1	Collection
1	Structures And Satisfaction
1	Mapping
1	Even Number
1	Indexing Set
1	Bijection
1	Implication
1	Quantifier
1	Integral Domain
1	Representation Lie Algebra
2	Relation Between Objects
2	Independent
2	Mutual Positions Of Vectors
2	Surface
2	Quantum Logic
2	Labelled Digraph
2	Recurrence Relation
3	Connection
3	Partial Derivative
3	Affine Transformation
3	Many Sorted Language
5	Jacobian Matrix
5	Tangent Bundle
5	Coordinate Systems
6	Tangent Plane Elementary
7	Locally Euclidean

Loading ...

Planetmath Browser (2008—2009)

BSD licence | A django site

All articles taken from PlanetMath.org snapshot under CC-BY-SA licence.

→ The original article on PlanetMath.org

Other Formats: LaTeX

New! You can click on formulas to copy the LaTeX source to your clipboard. | Math Videos

Tangent Space

Summary The tangent space of differential manifold at a point $x\in M$ is the vector space whose elements are velocities of trajectories that pass through . The standard notation for the tangent space of at the point is .

Definition (Standard). Let be a differential manifold and a point of . Let

$\displaystyle \gamma_i:I_i\rightarrow M,\quad I_i\subset\mathbb{R},\quad i=1,2$

be two differentiable trajectories passing through

at times $t_1\in I_1, t_2\in I_2$ , respectively. We say that these trajectories are in first order contact at

if for all differentiable functions $f:U\rightarrow\mathbb{R}$ defined in some neighbourhood $U\subset M$ of

, we have

$\displaystyle (f\circ\gamma_1)'(t_1) = (f\circ\gamma_2)'(t_2).$

First order contact is an equivalence relation, and we define

, the tangent space of

, to be the set of corresponding equivalence classes.

Given a trajectory

$\displaystyle \gamma:I\rightarrow M,\quad I\subset\mathbb{R}$

passing through

at time $t\in I$ , we define $\dot{\gamma}(t)$ the tangent vector , a.k.a. the velocity, of $\gamma$ at time

, to be the equivalence class of $\gamma$ modulo first order contact. We endow

with the structure of a real vector space by identifying it with $\mathbb{R}^n$ relative to a system of local coordinates. These identifications will differ from chart to chart, but they will all be linearly compatible.

To describe this identification, consider a coordinate chart

$\displaystyle \alpha: U_\alpha\to \mathbb{R}^n,\quad U_\alpha\subset M,\quad x\in U.$

We call the real vector

$\displaystyle (\alpha\circ\gamma)'(t)\in\mathbb{R}^n$

the representation of $\dot{\gamma}(t)$ relative to the chart $\alpha$ . It is a simple exercise to show that two trajectories are in first order contact at

if and only if their velocities have the same representation. Another simple exercise will show that for every $\mathbf{u}\in \mathbb{R}^n$ the trajectory

$\displaystyle t\to\alpha^{-1}(\alpha(x) + t\mathbf{u})$

has velocity $\mathbf{u}$ relative to the chart $\alpha$ . Hence, every element of $\mathbb{R}^n$ represents some actual velocity, and therefore the mapping $T_x M\to \mathbb{R}^n$ given by

$\displaystyle [\gamma]\to (\alpha\circ\gamma)'(t),\quad \gamma(t)=x,$

is a bijection.

Finally if $\beta:U_\beta\to \mathbb{R}^n,\quad U_\beta\subset M,\quad x\in U_\beta$ is another chart, then for all differentiable trajectories $\gamma(t)=x$ we have

$\displaystyle (\beta\circ\gamma)'(t) = J (\alpha\circ\gamma)'(t),$

where

is the Jacobian matrix at $\alpha(x)$ of the suitably restricted mapping $\beta\circ\alpha^{-1}:\alpha(U_\alpha\cap U_\beta)\to\mathbb{R}^n$ . The linearity of the above relation implies that the vector space structure of

is independent of the choice of coordinate chart.

Definition (Classical). Historically, tangent vectors were specified as elements of $\mathbb{R}^n$ relative to some system of coordinates, a.k.a. a coordinate chart. This point of view naturally leads to the definition of a tangent space as $\mathbb{R}^n$ modulo changes of coordinates.

Let be a differential manifold represented as a collection of parameterization domains

$\displaystyle \{V_\alpha\subset\mathbb{R}^n:\alpha\in \mathcal{A}\}$

indexed by labels belonging to a set $\mathcal{A}$ , and transition function diffeomorphisms

$\displaystyle \sigma_{\alpha\beta}:V_{\alpha\beta}\rightarrow V_{\beta\alpha},\quad \alpha,\beta\in \mathcal{A},\quad V_{\alpha\beta}\subset V_\alpha$

Set

$\displaystyle \hat{M}= \{ (\alpha,x)\in \mathcal{A}\times \mathbb{R}^n: x\in V_\alpha\},$

and recall that a points of the manifold are represented by elements of $\hat{M}$ modulo an equivalence relation imposed by the transition functions [see Manifold -- Definition (Classical)]. For a transition function $\sigma_{\alpha\beta}$ , let

$\displaystyle \mathrm{J}\sigma_{\alpha\beta}:V_{\alpha\beta}\rightarrow \mathop{\mathrm{Mat}}\nolimits _{n,n}(\mathbb{R})$

denote the corresponding Jacobian matrix of partial derivatives. We call a triple

$\displaystyle (\alpha,x,\mathbf{u}),\quad \alpha\in\mathcal{A},\; x\in V_\alpha,\; \mathbf{u}\in \mathbb{R}^n$

the representation of a tangent vector at

relative to coordinate system $\alpha$ , and make the identification

$\displaystyle (\alpha,x,\mathbf{u}) \simeq (\beta,\sigma_{\alpha\beta}(x),[\mat... ...pha,\beta\in \mathcal{A},\; x\in V_{\alpha\beta},\; \mathbf{u}\in \mathbb{R}^n.$

to arrive at the definition of a tangent vector at

Notes. The notion of tangent space derives from the observation that there is no natural way to relate and compare velocities at different points of a manifold. This is already evident when we consider objects moving on a surface in 3-space, where the velocities take their value in the tangent planes of the surface. On a general surface, distinct points correspond to distinct tangent planes, and therefore the velocities at distinct points are not commensurate.

The situation is even more complicated for an abstract manifold, where absent an ambient Euclidean setting there is, apriori, no obvious “tangent plane” where the velocities can reside. This point of view leads to the definition of a velocity as some sort of equivalence class.

See also: tangent bundle, connection, parallel translation