Invariance of domain and dimension of manifolds
[6/100%]Suppose is an open set about and is an open set in . Show that is not homeomorphic to .
Note that there is an interval contained in which is path connected after is removed.
Theorem (Invariance of domain): Suppose is an open subset of and is -- and continuous. Then is an open map; that is, it maps open sets to open sets.
Apply this theorem to prove the following version for -manifolds: if are -manifolds and is -- and continuous, then is an open map. Show that if we also assume that is compact, connected and is connected, then must be a homeomorphism.
Deduce the fact that the dimension of an -manifold is well defined from the invariance of domain.
Prove that the invariance of domain holds when .
Show that a compact -manifold has only a finite number of path components, each of which is a compact, connected -manifold. Conclude that a compact -manifold is the disjoint union of a finite number of circles.
Show that a -sphere cannot be embedded in the plane.
Use invariance of domain.