Locally compact Hausdorff implies completely regular

This article gives the statement and possibly, proof, of an implication relation between two topological space properties. That is, it states that every topological space satisfying the first topological space property must also satisfy the second topological space property
View all topological space property implications | View all topological space property non-implications
|

Property "Page" (as page type) with input value "{{{stronger}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.Property "Page" (as page type) with input value "{{{weaker}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.

Statement

Any locally compact Hausdorff space is completely regular.

Related facts

• Compact Hausdorff implies normal
• Paracompact Hausdorff implies normal

Facts used

1. Any locally compact Hausdorff space possesses a one-point compactificatoin; hence, it is a subset (with the subspace topology) of a compact Hausdorff space.
2. Compact Hausdorff implies normal
3. Normal implies completely regular
4. Complete regularity is hereditary

Proof

Given: A locally compact Hausdorff space $X$.

To prove: $X$ is a completely regular space.

Proof:

1. $X$ is a subspace of a compact Hausdorff space $Y$: This follows from fact (1); we can take $Y$ to be the one-point compactification of $X$.
2. $Y$ is a normal space: This follows from fact (2).
3. $Y$ is a completely regular space: This follows from the previous step and fact (3).
4. $X$ is a completely regular space: This follows from the previous step and fact (4).