Topological properties of manifolds

We now proceed to the constructions that are directly related to what we shall later use

Theorem A smooth manifold has a compact exhaustion and is paracompact

A compact exhaustion is an increasing countable collection of compact sets K_1\subset K_2\subset\dots such that M=\bigcup K_i and K_i\subset\mathrm{int}K_{i+1} for all i.

The fundamental lemma we need is a smooth version of Urysohn’s lemma

Theorem (Smooth Urysohn Lemma) If M is a smooth manifold and A,B\subset M are disjoint closed sets, then there exist a smooth function f:M\to [0,1] such that A=f^{-1}(0 and B=f^{-1}(1).



Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / 更改 )

Twitter picture

You are commenting using your Twitter account. Log Out / 更改 )

Facebook photo

You are commenting using your Facebook account. Log Out / 更改 )

Google+ photo

You are commenting using your Google+ account. Log Out / 更改 )

Connecting to %s