Difference between revisions of "Tangent space"
(Created page with "I prefer to denote the tangent space (of a set {{M|A}} at a point {{M|p}}) by {{M|T_p(A)}} - as this involves the letter T for tangent however one author<ref>John M. Lee - Int...") |
m |
||
| Line 24: | Line 24: | ||
|} | |} | ||
| + | What is defined here may also be called the '''Geometric tangent space''' | ||
==Definition== | ==Definition== | ||
It is the set of arrows at a point, the set of all directions essentially. As the reader knows, a vector is usually just a direction, we keep track of tangent vectors and know them to be "tangent vectors at t" or something similar. A tangent vector is actually a point with an associated direction. | It is the set of arrows at a point, the set of all directions essentially. As the reader knows, a vector is usually just a direction, we keep track of tangent vectors and know them to be "tangent vectors at t" or something similar. A tangent vector is actually a point with an associated direction. | ||
| Line 30: | Line 31: | ||
We define <math>T_p(\mathbb{R}^n)=\left\{(p,v)|v\in\mathbb{R}^n\right\}</math> | We define <math>T_p(\mathbb{R}^n)=\left\{(p,v)|v\in\mathbb{R}^n\right\}</math> | ||
| + | Generally then we may say: <math>T_p(A)=\left\{(p,v)|v\in A\right\}</math> | ||
| + | |||
| + | ==Notation== | ||
| + | A tangent vector (often {{M|v}} is used) shall be left as just {{M|v}} if the point to which it is a tangent to is implicit (ie "{{M|v}} is a tangent at {{M|p}}") | ||
| + | |||
| + | Rather than writing {{M|(p,v)}} we may write: | ||
| + | * {{M|v}} (if it is implicitly understood that this is a tangent to the point {{M|p}}) | ||
| + | * {{M|v_a}} | ||
| + | * <math>v|_a</math> | ||
| + | |||
| + | ==Why ordered pairs== | ||
| + | Ordered pairs are used because now the tangent space at two distinct points are disjoint sets, that is <math>\alpha\ne\beta\implies T_\alpha(A)\cap T_\beta(A)=\emptyset</math> | ||
| + | |||
| + | ==Vector space== | ||
| + | <math>T_p(A)</math> is a vector space when equipped with the following definitions: | ||
| + | * {{M|1=v_a+w_a=(v+w)_a}} | ||
| + | * {{M|1=c(v_a)=(cv)_a}} | ||
| + | |||
| + | It is easily seen that the basis for this is the standard basis <math>\{e_1|_p,\cdots, e_n|_p\}</math> and that the tangent space {{M|T_p(A)}} is basically just a copy of {{M|A}} | ||
| + | |||
| + | ==See also== | ||
| + | *[[Set of all derivations at a point]] | ||
| + | *[[The tangent space and derivations at a point are isomorphic]] | ||
==References== | ==References== | ||
<references/> | <references/> | ||
| − | + | ||
{{Definition|Differential Geometry|Manifolds}} | {{Definition|Differential Geometry|Manifolds}} | ||
Revision as of 00:48, 5 April 2015
I prefer to denote the tangent space (of a set A at a point p) by Tp(A) - as this involves the letter T for tangent however one author[1] uses Tp(A) as Set of all derivations at a point - the two are indeed isomorphic but as readers will know - I do not see this as an excuse.
| Name | Preferred form | Alternate form | Definition |
|---|---|---|---|
| example | |||
| Tangent space | Tp(A)
|
Ap
|
={(p,v)|v∈A} |
| Set of all derivations at a point | Dp(A) | Tp(A) | (see page) |
What is defined here may also be called the Geometric tangent space
Contents
[hide]Definition
It is the set of arrows at a point, the set of all directions essentially. As the reader knows, a vector is usually just a direction, we keep track of tangent vectors and know them to be "tangent vectors at t" or something similar. A tangent vector is actually a point with an associated direction.
Euclidean (motivating) definition
We define Tp(Rn)={(p,v)|v∈Rn}
Generally then we may say: Tp(A)={(p,v)|v∈A}
Notation
A tangent vector (often v is used) shall be left as just v if the point to which it is a tangent to is implicit (ie "v is a tangent at p")
Rather than writing (p,v) we may write:
- v (if it is implicitly understood that this is a tangent to the point p)
- va
- v|a
Why ordered pairs
Ordered pairs are used because now the tangent space at two distinct points are disjoint sets, that is α≠β⟹Tα(A)∩Tβ(A)=∅
Vector space
Tp(A) is a vector space when equipped with the following definitions:
- va+wa=(v+w)a
- c(va)=(cv)a
It is easily seen that the basis for this is the standard basis {e1|p,⋯,en|p} and that the tangent space Tp(A) is basically just a copy of A
See also
References
- Jump up ↑ John M. Lee - Introduction to Smooth Manifolds - second edition
