Tangent spaces at different points on a manifold

Click For Summary
Tangent spaces on a manifold are associated with individual points because the local coordinate systems are generally curvilinear, making operations like addition or subtraction of points non-trivial and dependent on the coordinate patch. In Euclidean space, the identity coordinate map allows for straightforward addition of points and comparison of tangent vectors, as the tangent spaces at different points are naturally isomorphic. However, on manifolds like spheres, tangent spaces at different points are distinct vector spaces that cannot be directly compared or manipulated, as they correspond to different planes that do not align. The concept of tangent spaces being defined by equivalence classes of curves through specific points further emphasizes their uniqueness. Thus, while operations in Euclidean space are straightforward, they become complex in general manifolds due to the lack of global coordinates and the inherent geometric structure.
  • #61
lavinia said:
The tangent bundle is never a vector space because fibers at different points can not be added. In the case of trivial bundles, adding vectors from different fibers forgets the bundle structure. It is no longer a bundle.

If the manifold is not homeomorphic to ##R^n## then it cannot be a vector space, even if its tangent bundle is trivial For instance, the tangent bundle of every orientable compact 3 manifold is trivial. But no compact space can be a vector space.
I understand, but the OP wanted to know how to add tangent vectors at different points, not points themselves. Tangent vectors live in the tangent bundle. And Isn't the tangent bundle of ##\mathbb R^n ## equal to ## \mathbb R^{2n} ##?
 
Physics news on Phys.org
  • #62
WWGD said:
And Isn't the tangent bundle of ##\mathbb R^n ## equal to ## \mathbb R^{2n} ##?
It is homeomorphic to ##R^{2n}## but not isomorphic as a bundle. By itself ##R^{2n}## is not a bundle.
 
  • #63
lavinia said:
It is homeomorphic to ##R^{2n}## but not isomorphic as a bundle. By itself ##R^{2n}## is not a bundle.
And that was the argument I was presenting for why one cannot add tangent vectors at different points: the tangent bundle is not a vector space.
 
  • #64
Maybe a new thread should be started that discusses the theory of vector bundles - with structure group the general linear group - for manifolds. this is a highly researched area with many difficult Theorems but we could
WWGD said:
And that was the argument I was presenting for why one cannot add tangent vectors at different points: the tangent bundle is not a vector space.
yes.
 
  • Like
Likes fresh_42

Similar threads

  • · Replies 21 ·
Replies
21
Views
3K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 8 ·
Replies
8
Views
996
  • · Replies 73 ·
3
Replies
73
Views
7K
  • · Replies 44 ·
2
Replies
44
Views
5K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 7 ·
Replies
7
Views
3K