Weakly Locally Compact Hausdorff Space is Strongly Locally Compact

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $T = \struct {S, \tau}$ be a $T_2$ (Hausdorff) space.

Let $T$ be weakly locally compact.


Then $T$ is strongly locally compact.


Proof

Let $x \in S$.

As $T$ is weakly locally compact, $x$ is contained in a compact neighborhood $N_x$.

As $T$ is a $T_2$ (Hausdorff) space, we can use the result Compact Subspace of Hausdorff Space is Closed.

Thus the interior of $N_x$ has a closure which is compact.

Hence the result, from definition of strongly locally compact space.

$\blacksquare$


Also see


Sources