Topology Database
Login
spaces
axioms
theorems
search
space table
Locally Compact
Description: Each point is contained in a compact neighborhood.