If $A$ is a Hausdorff space such that $A = \bigcup\limits_{i = 1}^\infty {{K_i}} $ where $K_i$ are its compact subsets, is $A$ a paracompact space? If not, what additional conditions should we add? (e.g. locally compact)
|
|
The answer to the first question is no. Every paracompact Hausdorff space is regular.
A space that is the union of countably many compact subsets is said to be $\sigma$-compact. Clearly every countable Hausdorff space is $\sigma$-compact, and there are countable Hausdorff spaces that are not regular and hence not paracompact, e.g., the irrational slope topology, originally described by R.H. Bing in this paper. A Hausdorff $\sigma$-compact space is paracompact iff it is regular; the necessity follows from the regularity of paracompact Hausdorff spaces, and as Arturo pointed out, regularity is sufficient because a $\sigma$-compact space is Lindelöf, and a regular Lindelöf space is paracompact. |
||||
|
|