Book on Curvature wrong or am I confused

Click For Summary

Discussion Overview

The discussion revolves around a question from a differential geometry book by Lee regarding the conditions under which a vector field is tangent to an embedded submanifold. Participants explore the correctness of the question and the implications of the conditions stated.

Discussion Character

  • Debate/contested

Main Points Raised

  • One participant questions the correctness of the book's statement that a vector field X is tangent to a submanifold N if and only if Xf = 0 for all smooth functions f that vanish on N.
  • The same participant provides an example with a specific vector field and submanifold, arguing that Xf only needs to vanish at points of N, not throughout all of M.
  • Another participant agrees with the initial concern, suggesting that the book should clarify that Xf = 0 on N specifically.
  • Additional comments mention the availability of errata for the book and the author's responsiveness to queries about errors.

Areas of Agreement / Disagreement

Participants generally agree that there is a potential issue with the wording of the question in the book, but the discussion does not reach a consensus on whether the reasoning presented is entirely correct or if the question is indeed flawed.

Contextual Notes

There are limitations regarding the assumptions made about the vector field and the smooth functions, as well as the scope of the question's applicability. The discussion does not resolve these aspects.

Who May Find This Useful

Readers interested in differential geometry, particularly those studying from Lee's texts or exploring the concepts of vector fields and submanifolds.

conquest
Messages
132
Reaction score
4
Hi,

I was doing some exercises from the book on curvature by Lee to buff up my differential geometry. I came a cross the following question and it seems to me the question isn't completely correct, but I'm not so good at differential geometry that I am confident. Maybe someone else is!

the question is:
Suppose N ⊂ M is an embedded submanifold.

If X is a vector field on M , show that X is tangent to N at points
of N if and only if Xf = 0 whenever f is a smooth function on M that
vanishes on N.



What looks to be wrong is Xf only needs to vanish at points of N not all of M.

I came up with the example:

the vector field X=\partial_x + y\partial_y on M=ℝ² where the submanifold N is the real line (so set y to 0).

It seems that although at points of N X=\partial_x (so at p \in N)
which is tangent to N.
the smooth function f(x,y)=y which vanishes on the real line has Xf=y so this only vanishes on N not on all of M.

So the question is is their something wrong with this reasoning or is the question wrong?

Thanks
 
Physics news on Phys.org
You're right, of course. The book should say "[...] if and only if Xf=0 on N [...]".
 
Ok thank you, I should probably doubt myself less!
 
Lee has errata for all his books in his web site.
 
Lee's also wonderful about answering emails with questions about his books. I spotted an error in that book and sent him an email, and he had emailed me back and posted the erratum within 24 hours.
 
Oh that's awesome! so next time I should check the website first and then e-mail!
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 51 ·
2
Replies
51
Views
6K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 36 ·
2
Replies
36
Views
5K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K