Invariance of domain

  • Thread starter Rasalhague
  • Start date
  • #1
1,384
2

Main Question or Discussion Point

In the first volume of Differential Geometry, Ch. 1, Spivak states that if [itex]U \subset \mathbb{R}^n[/itex] is homeomorphic to [itex]\mathbb{R}^n[/itex], then [itex]U[/itex] is open. This seems obvious: [itex]\mathbb{R}^n[/itex] is open in [itex]\mathbb{R}^n[/itex], so its pre-image under a homeomorphism [itex]f:U \rightarrow \mathbb{R}^n[/itex] is open. The pre-image under [itex]f[/itex] of [itex]\mathbb{R}^n[/itex] is [itex]U[/itex]. Therefore [itex]U[/itex] is open in [itex]\mathbb{R}^n[/itex].

Why does Spivak not take this obvious route? Am I mistaken about it? Instead, he says that proof of the openness of [itex]U[/itex] needs something called the Invariance of domain theorem.
 

Answers and Replies

  • #2
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
The pre-image under [itex]f[/itex] of [itex]\mathbb{R}^n[/itex] is [itex]U[/itex]. Therefore [itex]U[/itex] is open in [itex]\mathbb{R}^n[/itex].
This step is wrong. The correct conclusion from that information is
... therefore U is open in U.​
 
  • #3
1,384
2
Ah, I see! And, of course, U must be open in U anyway, being a topological space; but the issue is whether U is open in [itex]\mathbb{R}^n[/itex]. Thanks, Hurkyl.
 
  • #4
1,384
2
I still don't get it. The IOD theorem is of the form "(A&B) implies C". Since f is a homeomorphism, B and C are true (f is 1-1 and continuous, and f is a homeomorphism). But this says nothing about A (U is open in R^n). (A&B) implies C" is consistent with A being true or false.

As an aside, does the theorem assume that f is onto and hence invertible, or is this implied by the antecedents?
 
  • #5
192
0
Replace C with C&D. I believe you're correct that D is trivial, and it was strange to include it. However, C is still certainly nontrivial (the openness of V in ℝn).
 

Related Threads on Invariance of domain

Replies
10
Views
3K
Replies
19
Views
1K
Replies
3
Views
10K
Replies
1
Views
777
Replies
1
Views
2K
  • Last Post
Replies
3
Views
1K
Replies
1
Views
3K
Replies
6
Views
2K
Replies
4
Views
1K
Replies
2
Views
2K
Top