local compactness

1. REDIRECT Locally_compact_space

{{Redirect category shell|

{{R from move}}

{{R from related word}}

}}