Finishing a Supposedly Simple Proof

  • #1
612
23

Main Question or Discussion Point

I started to reread Spivak's A Comprehensive Introduction to Differential Geometry last night, for the sake of attempting to improve my ability to do differential geometry. I noticed that I had skipped what Spivak calls an "easy exercise" after he introduces Invariance of Domain.

Embarrassingly, I did not find it quite as easy as I'd have hoped. Flustered, I tried looking on the internet. I found various proofs of the statement that "the neighborhood U in our definition [of a manifold] must be open." I found one that was particularly easy to follow (All the proofs I saw certainly weren't what I'd call "easy exercises."), but I didn't understand the last step. The proof-writer explains his or her last step as "We have proved that any point x in U has an open neighborhood W contained in U, therefore U is open."

Can someone explain why this is true? I'm probably just missing something really simple here.

Additionally, would you consider the proof that "the neighborhood U in our definition [of a manifold] must be open" to be trivial? I certainly don't see the "easy exercise" Spivak must have envisioned.

Thank you.
 
Last edited:

Answers and Replies

  • #2
UltrafastPED
Science Advisor
Gold Member
1,912
216
If the set is closed there will be points (on the boundary) which are not in open sets ... because they don't have any neighbors beyond the boundary.

Think in terms of topology here.
 
  • #3
612
23
If the set is closed there will be points (on the boundary) which are not in open sets ... because they don't have any neighbors beyond the boundary.
I...don't follow how this shows ##U## is open. :uhh:
 
  • #4
UltrafastPED
Science Advisor
Gold Member
1,912
216
Perhaps I did not understand your specific question. Please quote the actual exercise, including the definitions which have been provided.
 
  • #5
612
23
Perhaps I did not understand your specific question. Please quote the actual exercise, including the definitions which have been provided.
The quoted part of the text is attached.

I consider a manifold to be a second countable Hausdorff space such that every point in the space has a neighborhood homeomorphic to ##\mathbb{R}^n##.

I'm trying to understand a proof by someone else, who finishes their proof with the phrase "We have proved that any point x in U has an open neighborhood W contained in U, therefore U is open."

Edit: Never mind. I figured it out. I read it as "a point x" rather than "any point x."
 

Attachments

  • #6
UltrafastPED
Science Advisor
Gold Member
1,912
216
Glad you were able to figure it out!
 

Related Threads on Finishing a Supposedly Simple Proof

  • Last Post
Replies
1
Views
2K
Replies
0
Views
1K
Top