Note: as observed in the discussion at compact space, many authors choose to include the Hausdorff condition as a matter of course, calling locally compact not-necessarily-Hausdorff spaces ‘locally quasi-compact’. We will not follow that convention here, but the reader should be warned that without the Hausdorff hypothesis, there are several inequivalent notions of local compactness in the literature; see the English Wikipedia for a survey and counterexamples.
Clearly, any discrete space is locally compact.
An open subspace of a compact Hausdorff space is locally compact. In fact, every locally compact Haudorff space arises in this way, since it can be considered an open subspace in its one-point compactification (where the open neighborhoods of the adjoined point are precisely those of the form , where is the complement of a compact subset ).
The reals, complexes, and -adic completions of algebraic number fields (with respect to a prime ideal in the ring of integers) are locally compact. In characteristic , the field of Laurent series over a finite field with elements, topologized with respect to a discrete valuation, is locally compact. In fact, any non-discrete locally compact field must be of one of these types; they are called local fields.
The only Hausdorff topological vector spaces that are locally compact are finite-dimensional Euclidean spaces. More generally, a TVS is locally compact if and only if its Hausdorff quotient has finite dimension.
Perhaps the most important consequence of local compactness for categorical topology is that locally compact Hausdorff spaces are exponentiable, i.e., if is locally compact Hausdorff, then has a right adjoint . In fact, this is almost an abstract definition of local compactness: for spaces, local compactness is equivalent to being exponentiable. This situation generalises to locales: a result of Hyland is that locale is locally compact if and only if it is exponentiable. (See exponential law for spaces for more details.)
As noted above, locally compact spaces form a finitely complete full subcategory of . It is not true that arbitrary products of locally compact spaces are locally compact. However, some important examples of locally compact spaces are constructed as restricted direct products, as follows.
Let be a collection of pairs of spaces where each is locally compact and is a compact open subspace. The restricted direct product of the collection is the colimit of the filtered diagram consisting of spaces
where ranges over all finite subsets of , together with inclusions where . We observe that each of the is locally compact, and that a filtered colimit or union of a system of open inclusions of locally compact spaces is again locally compact. Therefore, restricted direct products are locally compact, under the hypotheses stated above.
These hypotheses are of course pretty severe; important examples of such restricted direct products include topologized adele ring?s and idele group?s. In the case of adele rings, the collection of pairs is where is the -adic completion of a number field and is the -adic completion of the ring of integers .
In any event, the category of locally compact spaces does not admit general infinite products. If it did, then so would the category of locally compact Hausdorff spaces, and so would the category of locally compact Hausdorff abelian groups. However, there is no product of countably many copies of the real numbers in , for if there were, then by utilizing the universal property of the product, it would become a Hausdorff TVS over the real numbers, in contradiction to the fact that the only locally compact Hausdorff TVS are finite-dimensional.
Locally compact spaces are closed under coproducts in . They do not admit many types of colimits generally; in some sense this is a raison d'être for compactly generated spaces: they are precisely the colimits in of diagrams of locally compact spaces.