Monday, 8 October 2018

differential geometry - How can a set of components fail to make up a vector?


Many books in Physics insist to define vectors are objects with components with the property that the components transform in a proper way under a change of coordinates. Now, in mathematics, on the other hand, vectors as geometrical objects (rather than the algebraic objects from linear algebra) belong to the realm of Differential Geometry. In that case, we have a smooth manifold M and a point aM. A vector at a can be defined:




  1. As an equivalence class of smooth curves passing through a, which intuitively, at that point are going in the same direction.

  2. As a point derivation, that is, a derivation on the algebra of germs of smooth functions at a.


This defines the tangent space TaM. This is a real vector space with dimension n=dimM, and hence TaMRn. In particular this means there is a bijection between TaM and Rn so that given any tuple of components, they do form a vector on TaM. This seems to be against the physicists' definition, since there's nothing imposed on the components to form a vector.


On the other hand, we can put all tangent spaces together to form the tangent bundle TM. We define then vector fields as sections of that bundle, that is, mappings X:MTM such that πX=idM where π:TMM is the natural projection. X should also be a continuous and differentiable, and of course, it also has components given by


X=Xixi


Now, given a set of component functions X1,,Xn I can't see how they fail to make up a good vector field. If the functions are differentiable, continuous, and if they obey the property that πX=idM then we are good to go.


So my questions are:



  1. What is really the point in giving so much enphasis on the way vectors transform, coming to the point that we use this property to even define vectors?



  2. When physicists talk about defining a vector using transformation properties, are they really talking about vector fields and changes of coordinates on a manifold or vectors and changes of basis on each tangent space?




  3. How can a set of components (or component functions) can fail to make up a vector (or vector fields)?





Answer



OP wrote (v3):




Now, given a set of component functions X1,,Xn I can't see how they fail to make up a good vector field. If the functions are differentiable, continuous, and if they obey the property that πX=idM then we are good to go.



It is (implicitly) implied by OP's notation that




  1. the component functions X1,,XnC(M) are globally defined functions.




  2. the coordinate functions x1,,xnC(M) are globally defined functions.





However, there are many examples of differentiable manifolds M, that don't have a global coordinate chart, e.g. the 2-sphere S2.


The general notion of a vector field should not rely on whether there exists a global coordinate chart, or not.


No comments:

Post a Comment

Understanding Stagnation point in pitot fluid

What is stagnation point in fluid mechanics. At the open end of the pitot tube the velocity of the fluid becomes zero.But that should result...