Path: blob/main/08Manifold_Tangent_Vect.ipynb
Views: 82
8. Tangent spaces
This notebook is part of the Introduction to manifolds in SageMath by Andrzej Chrzeszczyk (Jan Kochanowski University of Kielce, Poland).
Let be a smooth manifold and . A tangent vector to at is a map such that
for all and .
Maps satisfying the last relation are also said to have a derivation property and are called derivations (into ).
In the previous notebook we have checked that the tangent vectors to smooth curves are derivations. Later in this notebook we will show that all tangent vectors are in fact tangent vectors to some curve.
If we define addition and multiplication by a scalar on the set of derivations at by
for and , then we obtain a vector space.
Tangent space to a smooth manifold at a point is the vector space of all tangent vectors to at .
Local bases for tangent spaces
Let be a chart on with coordinates and . The tangent vectors, are defined by
Here and denotes the partial derivative in , i.e.
where is the vector in with -th component 1 and all other 0.
Using the Leibniz rule for one can show that satisfy (8.1), so they are tangent vectors to at .
Let us check how the tangent vectors act on coordinate functions . We have
As a consequence we obtain
The vectors form a basis of .
The linear independence follows from the fact that if , then by (8.4)
To show that span the tangent space we need to prove:
If is a coordinate chart on a manifold and is a tangent vector at , then ParseError: KaTeX parse error: Undefined control sequence: \label at position 83: … x^i}\Big|_p. \̲l̲a̲b̲e̲l̲{}\tag{8.5} \e…
From now on, in all notebooks we use Einstein summation convention:
When an index variable appears twice in a single term and is not otherwise defined, it implies summation of that term over all the values of the index.
Using this convention, the last formula can be written as
To check (8.5) let and let . If , then
Analogously We shall use the following version of the mean value theorem.
For smooth function of real variables defined in a neighborhood of the segment joining and we have the equality
where .
If is fixed, then (8.6) leads to
Since is arbitrary point in a neighborhood of
Note that for a constant we have so .
Using (8.1) and the fact that and are constants ( is fixed) we have
Since , we have proved (8.5).
Tangent vectors in SageMath
In the sequel we shall use variables with upper indices in latex output
Example 8.1
Now let us define our first tangent vector, using variables with superscripts in Latex output.
If we would like subscripts instead, we should write
Example 8.2
Let us introduce a tangent vector with symbolic components, first with subscripts.
Now the version with superscripts and manifold dimension specified by N
:
Check that the tangent vector V
maps a scalar function f
to the real number .
Let us check the derivation property:
Differential of a smooth map
The definition of smooth maps (from notebook 1) is equivalent to the following. Let and be two smooth manifolds with some atlases {} and {}, respectively.
A continuous map is a smooth () map if for all and with , the composition is smooth ( map on the open subset of ).
A diffeomorphism of manifolds is a bijective map whose inverse is also .
If is a smooth manifold, then the coordinate maps are examples of diffeomorphisms of open subsets and .
In fact, is homeomorphic by definition. Take the atlas with a single chart on and the atlas with a single chart on . To check the smoothness of and it suffices to note that and are identity maps Note, that if , then and if , then .
Every smooth map between smooth manifolds induces natural linear maps between their corresponding tangent spaces: This map is defined by for and
The linear map is called the differential of at , the derivative, or pushforward of at . It is frequently expressed using another notations, for example or .
Chain Rule. If and are smooth maps between smooth manifolds, then for any point .
This is a consequence of
If is a diffeomorphism of manifolds and , then is an isomorphism of vector spaces and .
The value of the differential of the coordinate map on the local basis
Let be a coordinate chart at a point in a manifold . By the definition of the differential and the tangent vector
. We have checked that Thus the tangent vectors , () are inverse images with respect to of the tangent vectors corresponding to the partial derivatives . Recall that denote the usual partial derivatives in (defined after (8.3)).
Matrix representation of the differential
For a smooth map of manifolds and a point , let and be coordinate charts about in and in , respectively. Relative to the bases for and for , the differential is represented by the Jacobian matrix
where is the -th component of i.e.,
To check this formula, let us note, that as a linear map, the differential is is determined by the matrix such that Applying both sides to we obtain
Example 8.3
Consider the map defined by
For compute the values and .
The values of on the basis vectors:
The coefficients in the basis of the tangent vectors and can be found in columns of the Jacobian:
Example 8.4
Let us show how the tangent vectors in are transformed by the map
First we sketch a tangent vector in :
To obtain more information on plotting vectors use the command v.plot?
:
To show the corresponding tangent vector to the graph of we have to define the ambient space which contains the graph. The corresponding tangent vector is equal to .
Let us compute the value of the differential on the tangent vector .
The coordinates (4,-2,-12) of can be obtained as a result of multiplication of the Jacobian of at by the vector of components of :
Example 8.5
Let us show a tangent vector in polar coordinates. This time we define the map by .
Its Jacobian is of the form jac=
For the point in the plane with we define jac0 as the value of jac in .
The image of the vector in the plane with components i.e. is the vector :
Components of this vector can be computed using the jacobian jac0.
Since the points of the the tangent plane are of the form:
vector(c_cart(Phi(p)))+jac0*vector([r,ph]),
we can add the plot of the tangent plane to the surface.
Tangent vectors to curves
For a smooth curve on a Manifold i.e., a smooth map we defined (cf. (7.6), notebook 7) the tangent vector to at to be
Tangent vectors to curves in local coordinates
Let be a smooth curve and be a coordinate chart about . Define . Then the tangent vector at to the curve is given by
To check this relation it suffices to recall, that by (8.5) and by (8.9)
All tangent vectors are tangent to some curve
Let be a smooth manifold, . For any tangent vector , there is a curve ( an open interval containing ) with and
In fact if , define
where . From this definition and the relation it follows
or equivalently
Equating -th components we obtain so
Thus the tangent vectors and have the same components.
Computing differentials using curves
Observe that if in the definition of differential: we replace by and by then we obtain so
The last two observations give us a useful way of computing differentials . By the first of them, for any we can find a curve with and . Then, by the chain rule,
Thus the tangent vector to the image of the curve under the map is the image of the tangent vector to under .
Example 8.6
Consider the map and two Cartesian coordinate lines, intersecting in a point with Cartesian coordinates (1,-1). Let and be the tangent vectors to the coordinate lines at .
Now let us show how the tangent vectors are transformed by .
Remark. In 3-d plots in SageMath one can use unicode characters (we were not able to obtain latex symbols in 3-d plots).
Now let us do the corresponding calculations.
First recall all needed numbers.
As we can see, the components in the basis of the tangent vectors and can be found in columns of the Jacobian at .
They can be computed by multiplying the Jacobian at by the vectors of components of and .
Family of tangents to a curve
If we are interested in tangents to a curve, an easy way to define them is to use the notion of the vector field along the curve (i.e. the map , ). The more general notion of a vector field will be defined in later notebooks. In the figure below, we use the function tangent_vector_field
which allows for defining tangent vectors in all points of curves. Here we restricted ourselves to a selected point of intersection of two curves and tangent vectors to these curves at that point.
Example 8.7
Let us show how tangent_vector_field
method can be used to plot tangent vectors to two curves at intersection point.
What's next?
Take a look at the notebook Tensors on modules.