Definition: Local Compactness A topological space (X,τ) is locally compact iff each point x∈X has a compact neighbourhood.