As discussed in our differential geometry course, a vector field, , on a differentiable manifold, , is a correspondence that associates to each point a tangent vector .
This definition is taken verbatim from Do Carmo (page 25), and I think its worth noting that the words “function, map,” and/or “mapping” aren’t used in this first, defining sentence. These words were not used in our differential geometry class either, at least not when discussing vector fields or differential forms. Terms like “function” require that we specify a domain and co-domain, and, in this instance, doing so requires yet more definitions.
To make sense of vector fields, we first need to understand tangent vectors, which, along with tangent spaces, will be the primary focus of this post. The next post will focus on the tangent bundle and, finally, vector fields. Although a tangent vector can be defined in many different ways, the most accessible or familiar is also the least sensible; the common, “easy” definition is not applicable, but it nonetheless makes for an excellent starting point.
Failed-Def. (Tangent Vector) A tangent vector to a point is the velocity vector of some curve with .
This definition works perfectly fine when . When is an abstract manifold, though, we do not know how to differentiate the outputs of a curve . Even if we use the charts and local structure, different charts / coordinate patches will result in different output functions and, hence, different derivatives.
As discussed in our Differential Geometry class, tangent vectors are used to directionally-differentiate functions . Indeed, they appear so frequently in this context that one is tempted to define them by this property, and that is precisely how we proceed in our current setting. This would be a terrible definition to use in, say, a Vector Calculus course, where notions of multivariable differentiation are new, but it is nonetheless valid and useful.
Def. 1. (Tangent Vector) A tangent vector at a point is a function with domain and codomain ; this function is obtained from a curve (with ) by mapping
This generalizes the use of a vector in the definition of the directional derivative of . Indeed, in Vector Calculus, the arbitrary curve is replaced by the straight line . Using the Chain Rule, one can show that if and are any two curves with and then
The intermediate expression — — is not available to us in our abstract setting. After all, we are trying to define the concept of the tangent vector , and we have not (yet) developed a notion of the gradient of a function . That being said, this expression highlights how an old tangent vector acts on a function to produce a real number: dot it with the gradient. Rewriting this process as a derivative of a composition leads us to Definition 1.
For what its worth, I think that the truly bizarre part of this is that we are no longer defining an object by what it “is” — as an anchored arrow with length and direction in the old case, for instance — but by what it “does,” a mapping that eats functions in a specified way. Fortunately, we will have many opportunities to get used to this, for many of the geometric objects we will meet in this course can (and should) be introduced in such a way.
We denote a tangent vector by the familiar notation when it arises via the curve , and it can be a bit strange to keep in mind that this now denotes a function that “eats a real-valued function ” and “spits out” a real number. In particular, it now makes sense for us to write .
One should note that tangent vectors eat (locally) differentiable functions in a linear way and in accordance with the product / Leibniz rule of differentiation. This follows from the differentiation of and the standard facts for derivatives learned in Calculus.
As explained by Do Carmo (pages 7-8), one can use local coordinates near to rephrase exactly how a tangent vector devours a real-valued function:
so that the tangent vector acts like the (local) differential operator
(The expressions arise from the local coordinates on the curve .) This observation leads to our second and third ways to define a tangent vector:
Def. 2. (Tangent Vector) A tangent vector at is a function with domain and co-domain that, in local coordinates near has the form
where the coefficients are real numbers.
Def. 3. (Tangent Vector) A tangent vector at is a function with domain and co-domain that, in local coordinates near , can be expressed as a linear combination of the functions
These alternate definitions prove extremely useful (as does almost any local-coordinate definition), but Do Carmo glosses over their equivalence to Definition 1. Based on Section 2 of his book, it should be clear that every Def. 1-tangent vector, , gives rise to a Def. 2-tangent vector. However, the converse isn’t necessarily so clear or obvious. That is, given an arbitrary expression
how does one produce a curve with and so that
In fact, there are infinitely many curves one could use for , but we need only determine one. Fortunately, there is a standard way to do this, and, of course, it uses local coordinates. Without loss of generality, suppose is the pre-image of under the coordinate chart so that . We first construct a straight line in that passes through and heads in the direction of the vector ; this is accomplished using the line
We can then set . It then follows . That satisfies the desired equation also follows from a straightforward computation:
and this expression simplifies to
Because the domain is difficult to visualize or intuitively understand, it can be challenging to wrap one’s head around these ideas of tangent vectors. When , a tangent vector at can be understood as a “push” located at the point , and when these “pushes” are applied to the inputs of a function, its outputs change at a particular rate. Both the “force” (aka size) and direction of these “pushes” affect the change in our function, and, thankfully, the exact same interpretation is available to us in this more abstract setting: we think of each operator as a “push” located at the point .
These “pushes” can move the inputs of a function through other inputs from , and in local coordinates, the “standard pushes” correspond to “pushes” parallel to the Euclidean directions at an arbitrary point . This is depicted in Figure 3 on page 8 of Do Carmo (shown to the left in this post). Of course, in the general setting, we cannot actually visualize , both because its dimension may be too high and because it may be given as an abstract, not-embedded-in-ambient-3-space manifold.
These observations lead naturally to the definition of the tangent space at :
Def. (Tangent Space) The tangent space at is the vector space of all tangent vectors at ; it is denoted by and, if is a local parameterization near with coordinates , then has as a basis the operators .
Usually one defines to be the set of all tangent vectors at and then proves that it has a vector space structure. Of course, in explaining how every Def.-1 tangent vector gives rise to a Def. 2- and Def. 3-tangent vector (and, more importantly, vice-a-versa), we do not need to proceed along these lines.
Note that any local coordinates near provide us with a basis for , and so if is another set of such coordinates, then we have two different bases for the tangent space :
Linear algebra tells us that the two bases differ by matrix multiplication, and it should come as no surprise that the derivative matrix of the transition function (evaluated at the pre-image of ) is the change-of-basis matrix. Said slightly differently, to change coordinates we use transition functions, and to change tangent space bases we use the differential of transition functions.
Example 1. Let us determine with in a couple of ways. First, we can do so entirely visually, using “old school” developed in Vector Calculus. Visually speaking, the tangent space to the unit sphere at the north pole should be a horizontal plane with unit normal . All of the tangent vectors in this plane are of the form .
We can also describe using the local coordinates of example 4.6 (pg. 19). In this example, the variables are used to describe the ambient space of , but we will use them as our local coordinates and instead use for the ambient space coordinates. Given that we have coordinates
defined everywhere except the south pole . These local coordinates allow us to write
For instance, the tangent vector should correspond to an “actual arrow” anchored at along which we could differentiate an arbitrary function . I claim that this tangent vector corresponds to the vector . Is this correct?