Solution: First we assume that is a homeomorphic to an open subset of a compact Hausdorff space . Identifying with that subset, we may assume that and an open subset. Since is Hausdorff, is also Hausdorff. Let . Since is an open neighbourhood of in such that . Since is compact and is open in (as it is open in ), we have verified that is locally compact.
Now, conversely, suppose that is locally compact Hausdorff. Then imbeds in the 1-point compactification , which is compact Hausdorff. By definition of topology on , is an open subset of
Answer: A space X is homeomorphic to an open subspace of a compact Hausdorff space if and only if X is locally compact.
Comments
Leave a comment