# Locally compact Hausdorff implies completely regular

From Topospaces

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 (i.e., locally compact Hausdorff space) must also satisfy the second topological space property (i.e., completely regular space)

View all topological space property implications | View all topological space property non-implications

Get more facts about locally compact Hausdorff space|Get more facts about completely regular space

## Contents

## Statement

Any locally compact Hausdorff space is completely regular.

## Related facts

## Facts used

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

## Proof

**Given**: A locally compact Hausdorff space .

**To prove**: is a completely regular space.

**Proof**:

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