# Show that a locally compact Hausdorff space is regular.

Show that a locally compact Hausdorff space $(X,\tau)$ is regular.

I have already shown that a compact Hausdorff space is regular.

My textbook proposes 2 methodes, but I get stuck at both. The first method looks the most elegant, but how can I continue?

### Compactification method.

Consider the compactification $(X_\infty, \tau_\infty)$ where $X_\infty = X\sqcup \infty$ and $\tau_\infty = \tau \cup \{ X_\infty \setminus K: K \text{ is a compact subset of } X\}$

Then $(X_\infty, \tau_\infty)$ is regular.

Let $x\in X\setminus F, F\subseteq X$ closed in $\tau$. Then $x\in X_\infty$ and $F\sqcup \{ \infty\}$ is closed in $\tau_\infty$. By regularity:

$$(\exists U_\infty, V_\infty \in \tau_\infty)(x\in U_\infty, (F\sqcup \{ \infty\} ) \subseteq V_\infty, U_\infty\cap V\infty = \varnothing)$$

Since $\infty \in V_\infty$ then $U_\infty \in \tau$.

How can I prove $V_\infty \setminus \{ \infty\} \in \tau?$ Any pointers?

### Direct method:

Consider $x\in X\setminus F, F\subseteq X$ closed in $\tau$.

We are on the lookout for $(U, V\in \tau)$ such that $U\cap V = \varnothing, x\in U, F\subseteq V$.

Since $x\in X$ there (exists $K\subseteq X$ compact)($K$ is a neighbourhood of $x$)

Consider the compact subspace $(K, \tau_K)$ of $(X,\tau)$ which is Hausdorff. Then $K\cap F$ is closed in $\tau_K$ which makes $(K,\tau_K)$ regular. And then $(\exists U_K, V_K \in \tau_K)(x\in U_K, (K\cap F)\subseteq V_K, U_K\cap V_K = \varnothing)$.

But how can I expand this $V_K$, such that $F\subseteq V$?

• Do you know that a compact subspace of a Hausdorff space is closed? And do you know that a closed subspace of a compact space is compact? – Stefan Hamcke Jun 5 '15 at 19:50
• @StefanHamcke Yes I do, I which of the methods could that be used? – dietervdf Jun 5 '15 at 19:52
• Okay, then you know that $X\setminus K$ is open. So you can take $V=V_K\cup X\setminus K$ – Stefan Hamcke Jun 5 '15 at 19:53
• That $V_\infty\setminus\{\infty\}\in\tau$ follows immediately from the fact that $X\in\tau_\infty$. – Brian M. Scott Jun 5 '15 at 19:58
• Note that $\tilde U\cap K$ is a neighborhood of $x$ as it contains the open set $int K\cap\tilde U$. So you can assume that $\tilde U=U_K$. – Stefan Hamcke Jun 5 '15 at 20:10

## 4 Answers

For the first approach, note that $X\in\tau_\infty$, which immediately yields $V_\infty\setminus\{\infty\}\in\tau$.

The second approach can be made clearer (for my tastes, which do not have to agree with yours) by using the English language more.

A simple reformulation is that you are looking for a closed neighbourhood of $x$ that does not meet $F$. Now $x$ has a compact neighbourhood $K$ and a closed neighbourhood $W_K$ in $K$ that does not meet $F$. Since $K$ is a neighbourhood of $x$, $W_K$ is also a neighbourhood of $x$ in $X$, and since $K$ is closed, $W_K$ is also closed in $X$.

(The closed neighbourhood $W_K$ can be chosen as the closure of $U_K$ in your formulation of the proof.)

Suppose $X$ is a Hausdorff space which is locally compact, meaning that every point has a compact neighborhood. Consider a closed set $F\subseteq X$ and a point $x\in X\setminus F.$ Let $K$ be a compact neighborhood of $x.$

Since $X$ is Hausdorff, and since $F\cap K$ is compact and $x\notin F\cap K,$ there are disjoint open sets $U,V$ such that $x\in U$ and $F\cap K\subseteq V.$

Now $x\in\operatorname{int}K$ (since $K$ is a neighborhood of $x$), and $K$ is closed (since $K$ is compact and $X$ is Hausdorff).

Thus we have disjoint open sets $U_0=U\cap\operatorname{int}K$ and $V_0=V\cup(X\setminus K)$ with $x\in U_0$ and $F\subseteq V_0.$

• Why $F\subseteq V_0$? Do we have $F\subseteq V$? – Sigur Jun 2 '16 at 12:11
• @Sigur: Denote $A=F\cap K$, then $F=(F-A)\cup A$, notice $A$ contained in $V$, and $F-A$=$F-K$ contained entirely in $X-K$, hence: $F=(F-A)\cup A\subseteq V\cup (X-K) = V_0$ – Daniel Jun 3 '17 at 10:23

In the compactification method, just use that every subspace $Y$ of a regular space $Z$ is regular, since the intersections of the respective neighborhoods of $x$ and $A$ with $Y$ give the desired neighborhoods of $x$ and $A\cap Y$ in $Y$.

In the second method, having found disjoint neighborhoods $U_K, V_K$ of $x$ and $F\cap K$ in $K$, you can take $U=U_K$ and $V=V_K\cup X\setminus K$, which are then disjoint neighborhoods of $x$ and $F$ in $X$.

Note that a locally compact Hausdorff space $X$ is not only regular, but even completely regular. Using the one-point compactification $\hat X$, the proof is easy. You can simply use the fact that $\hat X$ is normal and regular, and thus completely regular, and that this property is hereditary.
A direct proof without compactifications is possible, but a bit more cumbersome.