nLab locally compact topological space

Contents

Context

Topology

topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Contents

Idea

A topological space is called locally compact if every point has a compact neighbourhood.

Or rather, if one does not at the same time assume that the space is Hausdorff topological space, then one needs to require that these compact neighbourhoods exist in a controlled way, e.g. such that one may find them inside every prescribed open neighbourhood (def. below) and possibily such that they are topological closures of smaller open neighbourhoods (def. below).

There are various definitions in use, which all coincide if the space is also Hausdorff (prop. below).

A locally compact Hausdorff space may also be called a local compactum; compare at compactum.

Local compactness is one of the conditions that are often required by default for working with topological spaces: locally compact spaces are a class of “nice topological spaces”.

Definition

Definition

(local compactness via compact neighbourhood base)

A topological space is locally compact if every point has a neighborhood base consisting of compact subspaces. This means that for every point xXx \in X every open neighbourhood U x{x}U_x \supset \{x\} contains a compact neighbourhood K xU xK_x \subset U_x.

Alternatively:

Definition

(local compactness via compact closures inside neighbourhoods)

A topological space XX is called locally compact if for every point xXx \in X and every open neighbourhood U x{x}U_x \supset \{x\} there exists a smaller open neighbourhood V xU xV_x \subset U_x whose topological closure is compact and still contained in UU:

{x}V xCl(V x)compactU x. \{x\} \subset V_x \subset \underset{\text{compact}}{Cl(V_x)} \subset U_x \,.
Proposition

If XX is a Hausdorff topological space then definition is equivalent to definition .

Proof

Generally definition implies definition . We need to show that Hausdorffness implies the converse.

Hence assume that for every point xXx \in X then every open neighbourhood U x{x}U_x \supset \{x\} contains a compact neighbourhood. We need to show that it then also contains the closure Cl(V x)Cl(V_x) of a smaller open neighbourhood and such that this closure is compact.

So let K xU xK_x \subset U_x be a compact neighbourhood. Being a neighbourhood, it has a non-trivial interior which is an open neighbourhood

{x}Int(K x)K xU xX. \{x\} \subset Int(K_x) \subset K_x \subset U_x \subset X \,.

Since compact subspaces of Hausdorff spaces are closed, it follows that K xXK_x \subset X is a closed subset. This implies that the topological closure of its interior as a subset of XX is still contained in K xK_x (since the topological closure is the smallest closed subset containing the given subset): Cl(Int(K x))K xCl(Int(K_x)) \subset K_x. Since subsets are closed in a closed subspace precisely if they are closed in the ambient space, Cl(Int(K x))Cl(Int(K_x)) is also closed as a subset of the compact subspace K xK_x. Now since closed subsets of compact spaces are compact, it follows that this closure is also compact as a subspace of K xK_x, and since continuous images of compact spaces are compact, it finally follows that it is also compact as a subspace of XX:

{x}Int(K x)Cl(Int(K x))compactK xU xX. \{x\} \subset Int(K_x) \subset \underset{\text{compact}}{Cl(Int(K_x))} \subset \underset{}{K_x} \subset U_x \subset X \,.
Remark

(remark on terminology)

As for compact spaces (this remark), some 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.

Note, however, that a topological space XX satisfying Definition is regular, because, as is immediate from the definition, closed neighbourhoods then form a neighbourhood basis of XX, which is equivalent to regularity. Thus we only need that XX be T 0T_{0} for it to in fact be Hausdorff.

Examples

Example

Every discrete space is locally compact.

Example

(open subspaces of compact Hausdorff spaces are locally compact)

Every open topological subspace XopenKX \underset{\text{open}}{\subset} K of a compact Hausdorff space KK is a locally compact topological space.

In particular every compact Hausdorff space itself is locally compact.

Conversely, every locally compact Hausdorff space XX arises in this way, since it can be considered an open subspace in its one-point compactification X{}X \sqcup \{\infty\}. See there this example.

Example

The real numbers, complex numbers, and 𝔭\mathfrak{p}-adic completions of algebraic number fields (with respect to a prime ideal 𝔭\mathfrak{p} in the ring of integers) are locally compact. In positive characteristic pp, the field of Laurent series 𝔽 q((t))\mathbb{F}_q((t)) over a finite field with qq 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.

Example

Finite product topological spaces of locally compact spaces are locally compact.

Example

Closed subspaces of locally compact spaces are locally compact. (Hence locally compact spaces form a finitely complete category.)

Example

(topological manifolds are locally compact topological spaces)

Topological manifolds, being locally homeomorphic to the Euclidean metric spaces n\mathbb{R}^n, are locally compact, via examples and .

This applies also to locally Euclidean spaces which are not necessarily paracompact Hausdorff topological spaces, such as the long line.

Example

(countably infinite products of non-compact spaces are NOT locally compact)
Let XX be a topological space which is not compact. Then the product topological space of a countably infinite set of copies of XX

nX \underset{n \in \mathbb{N}}{\prod} X

is not locally compact.

Proof

Since the continuous image of a compact space is compact, and since the projection maps p i:XXp_i \;\colon\; \underset{\mathbb{N}}{\prod} X \longrightarrow X are continuous, it follows that every compact subspace of the product space is contained in one of the form

iK i \underset{i \in \mathbb{N}}{\prod} K_i

for K iXK_i \subset X compact.

But by the nature of the Tychonoff topology, a base for the topology on X\underset{\mathbb{N}}{\prod} X is given by subsets of the form

(i{1,,n}U i)×(j >nX) \left( \underset{i \in \{1,\cdots,n\}}{\prod} U_{i} \right) \times \left( \underset{j \in \mathbb{N}_{\gt n}}{\prod} X \right)

with U iXU_i \subset X open. Hence every compact neighbourhood in X\underset{\mathbb{N}}{\prod} X contains a subset of this kind, but if XX itself is non-compact, then none of these is contained in a product of compact subsets.

Example

(non-example) The space of rational numbers as a subspace of the real numbers with the Euclidean topology is not locally compact since its compact subsets all have empty interior.

Properties

General

Proposition

(proper maps to locally compact spaces are closed)

Let

  1. (X,τ X)(X,\tau_X) be a topological space,

  2. (Y,τ Y)(Y,\tau_Y) a locally compact topological space according to def. ,

  3. f:XYf \colon X \to Y a continuous function.

Then:

If ff is a proper map, then it is a closed map.

Category-theoretic properties

Perhaps the most important consequence of local compactness (as defined above) for categorical topology is that locally compact spaces are exponentiable, i.e., if YY is locally compact, then Y×:TopTopY \times -: Top \to Top has a right adjoint () Y:TopTop(-)^Y: Top \to Top. In fact, this is almost an abstract definition of local compactness: for sober spaces, local compactness is equivalent to being exponentiable. Cf. the situation for locales: a result of Hyland is that locale is locally compact if and only if it is exponentiable. (See exponential law for spaces and compact-open topology for more details.)

As noted above, locally compact spaces form a finitely complete full subcategory of TopTop. 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 (X p,K p) pP(X_p, K_p)_{p \in P} be a collection of pairs of spaces where each X pX_p is locally compact and K pX pK_p \subseteq X_p is a compact open subspace. The restricted direct product of the collection is the colimit of the filtered diagram consisting of spaces

D F= pFX p× pFK pD_F = \prod_{p \in F} X_p \times \prod_{p \notin F} K_p

where FF ranges over all finite subsets of PP, together with inclusions D FD FD_F \subseteq D_{F'} where FFF \subseteq F'. We observe that each of the D FD_F 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 rings and idele groups. In the case of adele rings, the collection of pairs is (K 𝔭,O 𝔭)(K_{\mathfrak{p}}, O_{\mathfrak{p}}) where K 𝔭K_{\mathfrak{p}} is the 𝔭\mathfrak{p}-adic completion of a number field KK and O 𝔭O_{\mathfrak{p}} is the 𝔭\mathfrak{p}-adic completion of the ring of integers OKO \subseteq K.

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 LCHAbLCHAb, 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 TopTop. They do not admit many types of colimits generally; in some sense this is a raison d'être for compactly generated topological spaces: they are precisely the colimits in TopTop of diagrams of locally compact spaces (see also Prop. below).

Relation to compactly generated spaces

(e.g. Dugundji 1966, XI Thm. 9.3; Strickland 09, Prop. 1.7)

Proposition

The product topological space of a locally compact Hausdorff space with a k-space is already a k-space (i.e. without need of k-ification).

(e.g. Piccinini 1992, Thm. B.6, Strickland 2009, Prop. 2.6)

This is proven in Dugundji 1966, XI Thm. 9.4 (also Piccinini 92, Thm. B.4) assuming Hausdorffness, and without that assumption in Escardo, Lawson & Simpson 2004, Cor. 3.4 (iii). Moreover:
Proposition

(k-spaces are the colimits in Top of compact Hausdorff spaces)
A topological space is a k-space iff it is a colimit as formed in Top (according to this Prop.) of a diagram of compact Hausdorff spaces.

(Escardo, Lawson & Simpson 2004, Lem. 3.2 (v))

Gelfand duality

Under Gelfand duality the category of compact Hausdorff topological spaces is equivalent to the opposite category of commutative C-star algebras. With some care there are generalizations of this also to locally compact topological spaces. See at Gelfand duality for more.

Further properties

Proposition

Locally compact Hausdorff spaces are paracompact whenever they are also second-countable.

Example

Locally compact Hausdorff spaces are completely regular topological spaces.

(e.g. Dugundji 1966, XI Thm. 6.4; Engelking 1989, Thm. 3.3.1)
Remark

Example plays a key role in discussion of slice theorems, see there for more.

References

Textbook accounts:

Further discussion in relation to compactly generated topological spaces:

Last revised on June 1, 2024 at 04:00:32. See the history of this page for a list of all contributions to it.