Homepage › Solution manuals › John Lee › Introduction to Smooth Manifolds › Exercise 1.1 (Equivalent definitions of topological manifolds)
Exercise 1.1 (Equivalent definitions of topological manifolds)
Show that equivalent definitions of manifolds are obtained if instead of allowing to be homeomorphic to any open subset of , we require it to be homeomorphic to an open ball in , or to itself.
Answers
Proof. We use a circular chain of implications to demonstrate the equivalence of the three definitions.
-
( )
-
Suppose that is a smooth manifold, i.e., each point of has a neighborhood that is homeomorphic to an open subset of via the homeomorphism . Since is open, we can find an open ball , small enough, around such that . Then is an open subset of containing . As such, is a homeomorphism from an open neighbourhood of to the open ball . In other words, every point has a neighborhood that is homeomorphic to an open ball in
-
( )
-
Now suppose that each point in has neighbourhood that is homeomorphic to an open ball , , , in . Since all open balls are homeomorphic to the unit ball via the homeomorphism of transition and scaling
must be homeomorphic to . But the unit ball itself is homeomorphic to the Euclidean space via the bijection
Thus, by transitivity, the neighborhoods of points in are homeomorphic to all of the .
-
( )
-
Finally, suppose that every point in has a neighborhood which is homeomorphic via to the whole of . Any open subset results in the open preimage under ; thus, the restriction of under is a homeomorphism from the neighborhood of to an open subset of .