Homepage › Solution manuals › John Lee › Introduction to Smooth Manifolds › Problem 1.3 (Topological manifolds are \(\sigma\)-compact)
Problem 1.3 (Topological manifolds are \(\sigma\)-compact)
A topological space is said to be -compact if it can be expressed as a union of countably many compact subspaces. Show that a locally Euclidean Hausdorff space is a topological manifold if and only if it is compact.
Answers
Proof.
- Suppose that is a topological manifold. By Lemma 1.10, we can find a countable basis of precompact balls for . Then the closures of these precompact balls constitute a countable compact basis for .
-
Suppose that is Hausdorff, locally Euclidean and -compact.
Since is -compact, we can find a countable cover of consisting of compact sets. Since is locally Euclidean, for each point in each compact set , there is a local chart . This results in a (possibly uncountable) open cover via the coordinate charts of . Since ’s are compact, we can reduce the open cover to a countable subcover . This results in an open cover of .
For each coordinate chart , the set is an open set in . Since is second countable, we can find a countable basis of . Since is a homeomorphism, the preimages , , constitute a countable basis for . Since the union of local bases is a basis, the collectionis a countable basis for .