Understanding Tangent Space Basis: Proving Intuitively

[paluskar]

I am unable to understand as to how the basis for the tangent space is
\frac{\partial}{\partial x_{i}}. Can this be proved ,atleast intuitively?
Bachman's Forms book says that if co-ordinates of a point "p" in plane P are (x,y), then
\frac{d(x+t,y)}{dt}=\left\langle 1,0\right\rangle \frac{d(x,y+t)}{dt}=\left\langle 0,1\right\rangle denote vectors in \T_{p}(P) , in fact they are the basis.
Also any point of T_{p}(P) is dx\left\langle 0,1\right\rangle +dy\left\langle 1,0\right\rangle ;dx,dy\in\mathbb{R}
where does this "t" come from...is it a result of parametrization??

This topic has propped up a few times in this forum, but after having gone through them I am still confused. I would appreciate any help.
I hope I am not breaking any forum rules.

 

[JG89]

First let me get some notation out of the way: If x \in \mathbb{R}^k then a tangent vector to \mathbb{R}^k at x is denoted by (x;v) for some v \in \mathbb{R}^k. Note that (x; v) + (x; w) = (x; v + w) and if c is a scalar then c(x;v) = (x; cv)

Now, if M is a k-manifold in \mathbb{R}^n then for any p \in M, if \alpha is a coordinate patch about p such that \alpha(x) = p for some x in \mathbb{R}^k, then T_p(M) = \{ (\alpha(x); D\alpha(x) v) : v \in \mathbb{R}^k \}.

Now that that's out of the way, choose any tangent vector in T_p(M). Say we choose (\alpha(x); D\alpha(x)v') Note that v' = \sum_{i = 1}^k c_i e_i for some scalars c_i. So (\alpha(x); D\alpha(x)v') = (\alpha(x); D\alpha(x) \sum_{i = 1}^k c_i e_i) = \sum_{i=1}^k c_i (\alpha(x); D\alpha(x) e_i) = \sum_{i=1}^k c_i (\alpha(x); \frac{\partial \alpha}{\partial x_i}).

Thus we see that \{ (\alpha(x); \frac{\partial \alpha}{\partial x_i}) : 1 \le i \le k \} spans T_p(M). Linear independence of the set is guaranteed because since \alpha is a coordinate patch about p, D\alpha(x) has rank k. That's how the set is a basis.

 

[Bacle]

Pakuskar:

I think Bachman is trying to use the fact that directional derivatives are just the
derivatives along the directions of the x-y planes dotted --dot product with--the
direction of the product; you can see dx, dy respectively as the projections into
the first, second components of a vector (x,y). In this sense, (x,y)=x(1,0)+y(0,1),
so that {(1,0),(0,1)} are a basis. There is too, the correspondence between a vector,
and the directional derivative in the direction of the vector.

But the notation is confusing--welcome to Differential Geometry.

 

[paluskar]

first of all thanks a ton both of u...JG89 and Bacle...
@JG89...i know very little about patches ...i am using Barrett O'Neill...but the content of ur post is pretty clear...however can this be done without bringing in patches??...
also..by Bacle's statement...shudnt it be
dx\left\langle 1,0\right\rangle +dy\left\langle 0,1\right\rangle ;dx,dy\in\mathbb{R}
and those brackets don't denote inner product by the book...they just denote vectors in
T_{p}(P)
and yes the 2 angled bracket elements are basis of the tangent space

 

[Bacle]

Yes, Paluskar, I think it should be dx(1,0)+dy(0,1).

 

[Fredrik]

I am unable to understand as to how the basis for the tangent space is
\frac{\partial}{\partial x_{i}}. Can this be proved ,atleast intuitively?

I like the proof in Isham's book "Modern differential geometry for physicists". I think it's the same as the one in Wald's GR book, so I'm guessing that it appears in lots of books. You will have to read section 2.3.5, starting on page 79. The actual proof is on pages 82-84.