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].(adsbygoogle = window.adsbygoogle || []).push({});

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.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Invariance of domain

**Physics Forums | Science Articles, Homework Help, Discussion**