Locally Compact

A topological space is locally compact if 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, the L2-space of square integrable functions is not locally compact.