Definition 2.3 (Locally compact spaces):

A (Hausdorff) space $ X$ is said to be locally compact if each point of $ X$ has a neighborhood whose closure is compact.

It is an exercise for the student to check that under this hypothesis each point of $ X$ has a local base of consisting of compact neighborhoods.


nisha 2012-03-20