Invariance of Domain: Showing U Open in Differential Geometry | Spivak Ch.1

[Rasalhague]

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.

 

[Hurkyl]

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.​

 

[Rasalhague]

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.

 

[Rasalhague]

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?

 

[alexfloo]

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 ℝⁿ).