A topological space in which every point has a neighborhood whose closure (taken in the space) is compact.

Principle

Local compactness organizes topology by ensuring compactness properties hold in small neighborhoods, enabling local-to-global constructions and compactness arguments applied pointwise.

Demonstration

Euclidean space R^n and any finite-dimensional manifold are locally compact: for each point one can choose a small open ball whose closure is a compact closed ball. An infinite-dimensional Hilbert space with the norm topology is typically not locally compact.

Misapplication

Mistaking local compactness for global compactness or requiring that the neighborhood itself be compact instead of its closure; attempting a one-point compactification without checking Hausdorff and local compactness hypotheses.

Consequence

When present (often together with Hausdorff), local compactness permits constructions such as one-point compactification, existence of locally finite partitions of unity in manifolds, and well-behaved local measures.

Reversal

The opposite situation is a space having at least one point that admits no neighborhood with compact closure; globally compact spaces satisfy the stronger property that the whole space is compact.

Boundary

This property is defined for topological spaces and depends on the chosen topology; it does not imply separability, second countability, metrizability, or global compactness, and it must be distinguished from σ-compactness.

Semantic Tension

Tension exists between local compactness and global invariants (compactness, σ-compactness, metrizability) and between the intuitive 'compact neighborhoods' and the precise requirement involving closures.

Synthesis

Local compactness means each point has a small surrounding whose closure behaves like a compact space, allowing compactness-based techniques to be applied locally without demanding the whole space be compact.