Saturday, 31 May 2014

multivariable calculus - The notation fracpartialpartialx



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:RdRc is a differentiable map, then the derivative of f at x0 is defined to be (Einstein convention is used below)
df(x0):Tx0RdTx0Rcvixivifjxifi

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:MR. If you have vector vTpM 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)=fxi(p). They are therefore denoted vi=xi. Such vectors form a basis of TpM, so any vector can be written as v=vixi



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

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...