In Jost's Riemannian Geometry and Geometric Analysis (Sect. 1.2, Chap. 1), the tangent space at a point x0 in Rd is defined as
Tx0Rd={x0}×E
where E is the vector space spanned by ∂∂x1,⋯,∂∂xd. Then the books says: "Here, ∂∂x1,⋯,∂∂xd are the partial derivatives at the point x0." This is where I get confused. They are the partial derivatives of what? The only partial derivative I know is that of a function, but no function is given here.
Sure, if one wants to argue that ∂∂x1,⋯,∂∂xd are just formal notations here that don't mean anything other than a formal basis of E, then I can accept that even though I have doubts. But then there comes something that confuses me even more. If f:Rd→Rc is a differentiable map, then the derivative of f at x0 is defined to be (Einstein convention is used below)
df(x0):Tx0Rd→Tx0Rcvi∂∂xi↦vi∂fj∂xi∂∂fi
So apparently ∂∂fj here depend on f and are not arbitraily selected, so the notation cannot simply be a formal one, which brings me back to the original question: what does ∂∂xi and ∂∂fj mean?
Answer
The tangent space TpM can be seen as the space of local linear operators acting on the functions f:M→R. If you have vector v∈TpM you can define how it acts on a function:
v(f)=df(γv(t))dt|t=0
where γv is any curve on M such that γv(0)=p and dγvdt(0)=v.
Given a coordinate system (xi) you can find that there exist vectors in TpM that act on functions exactly like the partial derivatives ∂∂xi, that is vi(f)=∂f∂xi(p). They are therefore denoted vi=∂∂xi. Such vectors form a basis of TpM, so any vector can be written as v=vi∂∂xi
If the point of differentiation is obvious, the vetor can be denoted as vi=∂∂xi|p. Sometimes ∂∂xi can also denote the whole vector field, defining a vector at every point of the manifold.
No comments:
Post a Comment