Category:Strongly Locally Compact Spaces

From ProofWiki
Jump to navigation Jump to search

This category contains results about Strongly Locally Compact Spaces.

Let $T = \left({S, \tau}\right)$ be a topological space.


Definition 1

The space $T$ is strongly locally compact if and only if:

every point of $S$ is contained in an open set whose closure is compact.


Definition 2

The space $T$ is strongly locally compact if and only if:

every point has a closed compact neighborhood.

That is:

every point of $S$ is contained in an open set which is contained in a closed compact subspace.