adj. (of a topological space) having the property that every point has a neighborhood that is a subset of a compact set. Euclidean space is locally compact, as is every compact space.