Does \(\tilde{y}^{j}\) depend on \(x^{i}\) in the tangent bundle framework?

  • Context: Graduate 
  • Thread starter Thread starter math6
  • Start date Start date
  • Tags Tags
    Variables
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
3 replies · 3K views
math6
Messages
66
Reaction score
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 ).
 
Physics news on Phys.org
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".[/itex]
 
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: