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 U to be homeomorphic to any open subset of n, we require it to be homeomorphic to an open ball in n, or to n itself.

Answers

Proof. We use a circular chain of implications to demonstrate the equivalence of the three definitions.

( 1 2 )

Suppose that M is a smooth manifold, i.e., each point p of M has a neighborhood U that is homeomorphic to an open subset Û of n via the homeomorphism ϕ : U Û . Since Û is open, we can find an open ball B ( f ( p ) , r ) , r > 0 small enough, around f ( p ) such that B ( f ( p ) , r ) Û . Then U : = ϕ 1 B ( f ( p ) , r ) is an open subset of U containing p . As such, ϕ B ( f ( p ) , r ) is a homeomorphism from an open neighbourhood U of p to the open ball B ( f ( p ) , r ) . In other words, every point p M has a neighborhood that is homeomorphic to an open ball in n .

( 2 3 )

Now suppose that each point in M has neighbourhood U that is homeomorphic to an open ball B ( x 0 , r ) , x n , r > 0 , in n . Since all open balls are homeomorphic to the unit ball B ( 0 , 1 ) via the homeomorphism of transition and scaling

ϕ ( x 0 , r ) : B ( x 0 , r ) B ( 0 , 1 ) , x x x 0 r ,

U must be homeomorphic to B ( 0 , 1 ) . But the unit ball B ( 0 , 1 ) itself is homeomorphic to the Euclidean space via the bijection

ϕ : B ( 0 , 1 ) n , x x 1 x .

Thus, by transitivity, the neighborhoods of points in M are homeomorphic to all of the n .

( 3 1 )

Finally, suppose that every point p in M has a neighborhood U which is homeomorphic via ϕ : U n to the whole of n . Any open subset Û n results in the open preimage U : = ϕ 1 ( Û ) under ϕ ; thus, the restriction ϕ : = ϕ U of ϕ under U is a homeomorphism from the neighborhood U U of p to an open subset Û of n .

User profile picture
2023-05-29 09:39
Comments