Intrinsic definition on a manifold

  • #1
66
1
I'm reading "The Geometry of Physics" by Frankel. Exercise 1.3(1) asks what would be wrong in defining ##||X||## in an ##M^n## by
$$||X||^2 = \sum_j (X_U^j)^2$$ The only problem I can see is that that definition is not independent of the chosen coordinate systems and thus not intrinsic to ##M^n##. Is there anything else I'm missing?

BTW, I'm not sure this is Differential Geometry... Is this Topology?
 

Answers and Replies

  • #2
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
16,829
6,643
The only problem I can see is that that definition is not independent of the chosen coordinate systems and thus not intrinsic to MnMnM^n. Is there anything else I'm missing?
Is that not enough?
 
  • Like
Likes kiuhnm
  • #3
66
1
Is that not enough?
Don't get mad. I just wanted to be sure. I'm learning this stuff on my own so I can have doubts from time to time :)
 
  • #4
13,457
10,516
I'm reading "The Geometry of Physics" by Frankel. Exercise 1.3(1) asks what would be wrong in defining ##||X||## in an ##M^n## by
$$||X||^2 = \sum_j (X_U^j)^2$$ The only problem I can see is that that definition is not independent of the chosen coordinate systems and thus not intrinsic to ##M^n##. Is there anything else I'm missing?

BTW, I'm not sure this is Differential Geometry... Is this Topology?
It's always a bit of both, but as we measure lengths, it is more geometric than topological.

And, yes, as there is no natural way to choose a chart, we want to have a definition which is independent of the chart. This is always the basic principle: Pull it down into the reals (or complex), do what has to be done, and lift it up again. This way we stay as general as possible on the choices of manifolds, but are still able to do calculus and geometry. The costs are: it can only locally be done and the difficulties will start, if we want to compare two different local events, e.g. tangents.
 
  • Like
Likes kiuhnm
  • #5
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
16,829
6,643
Don't get mad.
I'm not mad, it was an honest question.
 
  • #6
66
1
I'm not mad, it was an honest question.
I was joking. I interpreted your reply as "That's more than enough".
 
  • #7
66
1
It's always a bit of both, but as we measure lengths, it is more geometric than topological.

And, yes, as there is no natural way to choose a chart, we want to have a definition which is independent of the chart. This is always the basic principle: Pull it down into the reals (or complex), do what has to be done, and lift it up again. This way we stay as general as possible on the choices of manifolds, but are still able to do calculus and geometry. The costs are: it can only locally be done and the difficulties will start, if we want to compare two different local events, e.g. tangents.
I'm still reading chapter 1 of that book. For now I know that the (tangent) vectors are all the vectors that transform as $$X = \frac{\partial x}{\partial y} Y,$$ where ##X## and ##Y## are the same vector expressed in the ##(x_i)## and ##(y_i)## coordinate systems, respectively. That's only required (and makes sense) when two patches ##(U,x)## and ##(V,y)## overlap, of course. That's what I understood.
 
  • #8
13,457
10,516
I'm still reading chapter 1 of that book. For now I know that the (tangent) vectors are all the vectors that transform as $$X = \frac{\partial x}{\partial y} Y,$$ where ##X## and ##Y## are the same vector expressed in the ##(x_i)## and ##(y_i)## coordinate systems, respectively. That's only required (and makes sense) when two patches ##(U,x)## and ##(V,y)## overlap, of course. That's what I understood.
Yes, but there is a difference between
$$X = \frac{\partial x}{\partial y} Y \text{ and }X_p = \left.\frac{\partial x}{\partial y}\right|_p Y$$
The first is a vector field ##\{\,(p,X_p)\,|\,p\in M\,\}## and the second a tangent space ##X_p##. Now if we have two tangents ##X_p## and ##X_q## we cannot compare them automatically, as ##p## and ##q## might not be covered by the same charts. That's were the consequences of "locally Euclidean" comes into play. There is no "global" anymore. Imagine our manifold is the surface of Mars. Then all we have are the charts given by some orbiters. We cannot simply walk from one point to the next - we have to attach our charts.
 
  • Like
Likes kiuhnm
  • #9
WWGD
Science Advisor
Gold Member
2019 Award
5,341
3,295
Yes, but there is a difference between
$$X = \frac{\partial x}{\partial y} Y \text{ and }X_p = \left.\frac{\partial x}{\partial y}\right|_p Y$$
The first is a vector field ##\{\,(p,X_p)\,|\,p\in M\,\}## and the second a tangent space ##X_p##. Now if we have two tangents ##X_p## and ##X_q## .
Tangent vectors ## X_p, X_q ##?
 
  • #10
66
1
Yes, but there is a difference between
$$X = \frac{\partial x}{\partial y} Y \text{ and }X_p = \left.\frac{\partial x}{\partial y}\right|_p Y$$
The first is a vector field ##\{\,(p,X_p)\,|\,p\in M\,\}## and the second a tangent space ##X_p##. Now if we have two tangents ##X_p## and ##X_q## we cannot compare them automatically, as ##p## and ##q## might not be covered by the same charts. That's were the consequences of "locally Euclidean" comes into play. There is no "global" anymore. Imagine our manifold is the surface of Mars. Then all we have are the charts given by some orbiters. We cannot simply walk from one point to the next - we have to attach our charts.
I was being sloppy (just like the book) and fixing ##p##, so my ##X## was really a ##X_p##. In my notation, ##X_p## is a (tangent) vector and ##M^n_p## is the tangent space, if ##M^n## is the ##n##-dimensional manifold.
 

Related Threads on Intrinsic definition on a manifold

  • Last Post
Replies
5
Views
2K
Replies
15
Views
4K
  • Last Post
2
Replies
42
Views
8K
  • Last Post
Replies
24
Views
6K
  • Last Post
Replies
4
Views
2K
Replies
2
Views
740
  • Last Post
2
Replies
27
Views
6K
Replies
5
Views
3K
Replies
0
Views
2K
Replies
36
Views
12K
Top