Definition:Strongly Locally Compact Space/Definition 2

From ProofWiki
Jump to navigation Jump to search

Definition

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


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.


Also see