Locally Compact

A locally compact topological space is one in which every point has a neighborhood which is itself contained in a compact set. Many familiar topological spaces are locally compact, including the Euclidean space. Of course, any compact set is locally compact. Some common spaces are not locally compact, such as infinite-dimensional Banach spaces. For instance, an infinite-dimensional L²-space of square integrable functions is not locally compact.