Tangent bundle

  • Thread starter math6
  • Start date
  • #1
67
0
The triplet \left ( TM,M,\pi \right ) is a vector bundle called the tangent bundle TM such that M is its manifold basis, \pi : TM \rightarrow M the canonical projection. \left ( x^{i},y^{i} \right ) is a local coordinate system on a map \left ( \pi^{-1}(U),\varphi_{U} \right ).
x^{i} is the system of map coordinates \left ( U,\varphi \right ) of M and y^{i} are as
y= y^{i}\frac{\partial }{\partial x^{i}} , y \in T_{x}M .
Now if we take a new system of coordinates \left ( \tilde{x}^{i}, \tilde{y}^{i} \right )
on a map ( \pi^{-1}(V),\phi _{U} \right ) . \tilde{x}^{i} is the system of map coordinates \left ( V,\psi \right ) of M.
Then after the change of coordinates we have the following results :
( 1) \frac{\partial }{\partial \tilde{x}^{i}} = \frac{\partial x^{k}}{\partial \tilde{x}^{i}}\frac{\partial }{\partial x^{k}} .
(2) \tilde{y}^{j}= \frac{\partial x^{j}}{\partial \tilde{x}^{l}}y^{l}.

My question is this: It is clear from (1) that {x}^{i} depends \tilde{x}^{j} (and vice versa)
also {y}^{i} depends \tilde{y}^{j}. So \tilde{y}^{j} does it depend of {x}^{i} ?
What is the value then of \frac{\partial \tilde{y}^{j}}{\partial x^{i}} ?

In short, I seek the independence of variables \left ( x^{i},y^{i} \right ) and \left ( \tilde{x}^{i}, \tilde{y}^{i} \right ).
 

Answers and Replies

  • #2
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,851
413
Please put itex or tex tags around the LaTeX expressions. Use the preview feature to verify that they images look the way you intended. You need to refresh and resend after each preview (due to a bug).
 
  • #3
1,444
4
Yes, use the features. Now, the whole point is that coordinates [itex]x^i[/itex] in a natural way coordinates on the tangent bundle. And normally this is how the tangent bundle is described. I am not sure from your post whether [itex]y^i[/tex] are the induced coordinates in this way, or "any coordinates", for instance referring to some selected "moving frame".
 
  • #4
901
2
The triplet [tex]\left ( TM,M,\pi \right )[/tex] is a vector bundle called the tangent bundle [tex]TM[/tex] such that [tex]M[/tex] is its manifold basis, [tex]\pi : TM \rightarrow M[/tex] the canonical projection. [tex]\left ( x^{i},y^{i} \right )[/tex] is a local coordinate system on a map [tex]\left ( \pi^{-1}(U),\varphi_{U} \right )[/tex].
[tex]x^{i}[/tex] is the system of map coordinates [tex]\left ( U,\varphi \right )[/tex] of [tex]M[/tex] and [tex]y^{i}[/tex] are as
[tex]y= y^{i}\frac{\partial }{\partial x^{i}} , y \in T_{x}M[/tex] .
Now if we take a new system of coordinates [tex]\left ( \tilde{x}^{i}, \tilde{y}^{i} \right )[/tex]
on a map [tex]( \pi^{-1}(V),\phi _{U} \right ),\tilde{x}^{i})[/tex] is the system of map coordinates [tex]\left ( V,\psi \right )[/tex] of [tex]M[/tex].
Then after the change of coordinates we have the following results :
(1) [tex]\frac{\partial }{\partial \tilde{x}^{i}} = \frac{\partial x^{k}}{\partial \tilde{x}^{i}}\frac{\partial }{\partial x^{k}}[/tex] .
(2) [tex]\tilde{y}^{j}= \frac{\partial x^{j}}{\partial \tilde{x}^{l}}y^{l}[/tex].

My question is this: It is clear from (1) that [tex]{x}^{i}[/tex] depends [tex]\tilde{x}^{j}[/tex] (and vice versa)
also [tex]{y}^{i}[/tex] depends [tex]\tilde{y}^{j}[/tex] So [tex]\tilde{y}^{j}[/tex] does it depend of [tex]{x}^{i}[/tex] ?
What is the value then of [tex]\frac{\partial \tilde{y}^{j}}{\partial x^{i}}[/tex] ?

In short, I seek the independence of variables [tex]\left ( x^{i},y^{i} \right )[/tex] and [tex]\left ( \tilde{x}^{i}, \tilde{y}^{i} \right )[/tex]

Although I don't have an answer to your question, this might help you get more responses by those that are more knowledgeable.

Kevin
 
Last edited:

Related Threads on Tangent bundle

  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
8
Views
11K
Replies
5
Views
7K
Replies
7
Views
4K
  • Last Post
Replies
2
Views
2K
Replies
11
Views
2K
Replies
4
Views
4K
  • Last Post
Replies
3
Views
4K
Replies
55
Views
5K
Top