|
|
| word looked up : | home / archive |
Tangent space : Tangent vectorIn mathematics, especially differential geometry, one attaches to every point of a differentiable manifold a tangent space, a real vector space which intuitively contains the possible "directions" in which one can pass through the given point. For example, if the given manifold is a 2-sphere, one can picture the 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. In general, as in this example, all the tangent spaces have the same dimension, equal to the manifold's dimension.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 non-singular 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. 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, the tangent bundle of the manifold.
| |||
There are various equivalent ways of defining the tangent spaces of a manifold. While the definition via directions of curves is quite straight forward given the above intuition, it is also the most cumbersome to work with. More elegant and abstract approaches are described below.
Suppose M is a Ck manifold (k ≥ 1) and p is a point in M. Pick a chart φ : U → Rn where U is an open subset of M containing p. Suppose two curves γ1 : (-1,1) → M and γ2 : (-1,1) → M with γ1(0) = γ2(0) = p are given such that φ o γ1 and φ o γ2 are both differentiable at 0. Then γ1 and γ2 are called tangent at 0 if the ordinary derivatives of φ o γ1 and φ o γ2 at 0 coincide. This is an equivalence relation, and the equivalence classes are known as the tangent vectors of M at p. The equivalence class of the curve γ is written as γ'(0). The tangent space of M at p, denoted by TpM, is defined as the set of all tangent vectors; it doesn't depend on the choice of chart φ.
To define the vector space operations on TpM, we use a chart φ : U → Rn and define the map (dφ)p : TpM → Rn by (dφ)p(γ'(0)) = (φ o γ)'(0). It turns out that this map is bijective and can thus be used to transfer the vector space operations from Rn over to TpM, turning the latter into an n-dimensional real vector space. Again, one needs to check that this construction doesn't depend on the particular chart φ chosen, and in fact it doesn't.
Supppose M is a C∞ manifold. A real-valued function g : M → R belongs to C∞(M) if g o φ-1 is infinitely often differentiable for every chart φ : U → Rn. C∞(M) is a real associative algebra.
Pick a point p in M. A derivation at p is a linear map D : C∞(M) → R which has the property that for all g, h in C∞(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(g) = (g o γ)'(0) (where the derivative is taken in the ordinary sense, since g o γ is a function from (-1,1) to Rn).
Again we start with a C∞ manifold M and a point p in M. Consider the ideal I in C∞(M) consisting of all functions g such that g(p) = 0. Then I and I 2 are real vector spaces, and TpM 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 p.
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, then D(g) = 0 for every g in I2, and this means that D gives rise to a linear map I / I2 → R. Conversely, if r : I / I2 → R is a linear map, then D(g) = r((g - g(p)) + 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.
If M is an open subset of Rn, 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 Rn.
Every differentiable map f : M → N between Ck manifolds induces natural linear maps between the corresponding tangent spaces:
If g : M → R is an element of C∞(M) and v is a tangent vector of M at p, then we can define the directional derivative of g at p in the direction v. The result is a number, written as Dv(g). If we think of v as the direction of a curve, v = γ'(0), then
Lago di Martignano), a small lake.html">lake
crater. Augustus drew from it the Aqua Alsietina; the water
his naumachia (lake made for a sham naval battle) at Rome,
where some traces of the aqueduct were perhaps found in 1720.
is practically unknown: Frontinus tells us that it received
and an inscription relating to it was found in this district
m. W. by N. of Rome by rail, on the Via Aurelia, by which
cities of Etruria, but does not appear in history till the
importance, except as a resort of wealthy Romans, many of whom
m. N.E. of Palo is a row of large mounds called I Monteroni,
remains of ancient villas still exist along the low sandy
area of some 400 by 250 yds. The medieval castle belongs to
resort Ladispoli, founded by Prince Odescalchi. See G.
divine, was of Northamptonshire origin and was educated at St
bishop.html">bishop, whereupon he settled as assistant-master in the free
courses and associates here by a very ``painful'' minister,
daughter, and ``becoming a convert to his principles, received
that which he had from the bishop.'' He was presented to the
under the act of Uniformity in 1662. After his ejection he
common pains and penalties of nonconformists, -- e.g. he was
against William Shedock, dean of St Paul's, called Antisozzo
Rehearsal Transprosed, procured him much celebrity as a
pronounced that Alsop had the advantage of Sherlock in every.
On
wordlookup.net
All is still licensed under the GNU FDL.
It uses material from the wikipedia.
|
|