One of the most useful concepts for analysis that arise from topology and metric spaces is the concept of compactness; recall that a space {X} is compact if every open cover of {X} has a finite subcover, or equivalently if any collection of closed sets with the finite intersection property (i.e. every finite subcollection of these sets has non-empty intersection) has non-empty intersection. In these notes, we explore how compactness interacts with other key topological concepts: the Hausdorff property, bases and sub-bases, product spaces, and equicontinuity, in particular establishing the useful Tychonoff and Arzelá-Ascoli theorems that give criteria for compactness (or precompactness).

Exercise 1 (Basic properties of compact sets)

  • Show that any finite set is compact.
  • Show that any finite union of compact subsets of a topological space is still compact.
  • Show that any image of a compact space under a continuous map is still compact.

Show that these three statements continue to hold if “compact” is replaced by “sequentially compact”.

— 1. Compactness and the Hausdorff property —

Recall from Notes 8 that a topological space is Hausdorff if every distinct pair {x, y} of points can be separated by two disjoint open neighbourhoods {U, V} of {x, y} respectively; every metric space is Hausdorff, but not every topological space is.

At first glance, the Hausdorff property bears no resemblance to the compactness property. However, they are in some sense “dual” to each other, as the following two exercises show:

Exercise 2 Let {X = (X,{\mathcal F})} be a compact topological space.

  • Show that every closed subset in {X} is compact.
  • Show that any weaker topology {{\mathcal F}' \subset {\mathcal F}} on {X} also yields a compact topological space {(X, {\mathcal F}')}.
  • Show that the trivial topology on {X} is always compact.

Exercise 3 Let {X} be a Hausdorff topological space.

  • Show that every compact subset of {X} is closed.
  • Show that any stronger topology {{\mathcal F}' \supset {\mathcal F}} on {X} also yields a Hausdorff topological space {(X, {\mathcal F}')}.
  • Show that the discrete topology on {X} is always Hausdorff.

The first exercise asserts that compact topologies tend to be weak, while the second exercise asserts that Hausdorff topologies tend to be strong. The next lemma asserts that the two concepts only barely overlap:

Lemma 1 Let {{\mathcal F} \subset {\mathcal F}'} be a weak and strong topology respectively on a space {X}. If {{\mathcal F}'} is compact and {{\mathcal F}} is Hausdorff, then {{\mathcal F} = {\mathcal F}'}. (In other words, a compact topology cannot be strictly stronger than a Hausdorff one, and a Hausdorff topology cannot be strictly weaker than a compact one.)

Proof: Since {{\mathcal F} \subset {\mathcal F}'}, every set which is closed in {(X,{\mathcal F})} is closed in {(X,{\mathcal F}')}, and every set which is compact in {(X,{\mathcal F}')} is compact in {(X,{\mathcal F})}. But from Exercises 2, 3, every set which is closed in {(X,{\mathcal F}')} is compact in {(X,{\mathcal F}')}, and every set which is compact in {(X,{\mathcal F})} is closed in {(X,{\mathcal F})}. Putting all this together, we see that {(X,{\mathcal F})} and {(X,{\mathcal F}')} have exactly the same closed sets, and thus have exactly the same open sets; in other words, {{\mathcal F} = {\mathcal F}'}. \Box

Corollary 2 Any continuous bijection {f: X \rightarrow Y} from a compact topological space {(X,{\mathcal F}_X)} to a Hausdorff topological space {(Y,{\mathcal F}_Y)} is a homeomorphism.

Proof: Consider the pullback {f^\#({\mathcal F}_Y) := \{ f^{-1}(U): U \in {\mathcal F}_Y \}} of the topology on {Y} by {f}; this is a topology on {X}. As {f} is continuous, this topology is weaker than {{\mathcal F}_X}, and thus by Lemma 1 is equal to {{\mathcal F}_X}. As {f} is a bijection, this implies that {f^{-1}} is continuous, and the claim follows. \Box

One may wish to compare this corollary with Corollary 2 from Notes 9.

Remark 1 Spaces which are both compact and Hausdorff (e.g. the unit interval {[0,1]} with the usual topology) have many nice properties and are moderately common, so much so that the two properties are often concatenated as CH. Spaces that are locally compact and Hausdorff (e.g. manifolds) are much more common and have nearly as many nice properties, and so these two properties are often concatenated as LCH. One should caution that (somewhat confusingly) in some older literature (particularly those in the French tradition), “compact” is used for “compact Hausdorff”.

(Optional) Another way to contrast compactness and the Hausdorff property is via the machinery of ultrafilters. Define an filter on a space {X} to be a collection {p} of sets of {2^X} which is closed under finite intersection, is also monotone (i.e. if {E \in p} and {E \subset F \subset X}, then {F \in p}), and does not contain the empty set. Define an ultrafilter to be a filter with the additional property that for any {E \in X}, exactly one of {E} and {X \backslash E} lies in {p}. (See also this blog post of mine for more discussion of ultrafilters.)

Exercise 4 (Ultrafilter lemma) Show that every filter is contained in at least one ultrafilter. (Hint: use Zorn’s lemma, see Notes 7.)

Exercise 5 A collection of subsets of {X} has the finite intersection property if every finite intersection of sets in the collection has non-empty intersection. Show that every filter has the finite intersection property, and that every collection of sets with the finite intersection property is contained in a filter (and hence contained in an ultrafilter, by the ultrafilter lemma).

Given a point {x \in X} and an ultrafilter {p} on {X}, we say that {p} converges to {x} if every neighbourhood of {x} belongs to {p}.

Exercise 6 Show that a space {X} is Hausdorff if and only if every ultrafilter has at most one limit. (Hint: For the “if” part, observe that if {x, y} cannot be separated by disjoint neighbourhoods, then the neighbourhoods of {x} and {y} together enjoy the finite intersection property.)

Exercise 7 Show that a space {X} is compact if and only if every ultrafilter has at least one limit. (Hint: use the finite intersection property formulation of compactness and Exercise 5.)

— 2. Compactness and bases —

Compactness is the property that every open cover has a finite subcover. This property can be difficult to verify in practice, in part because the class of open sets is very large. However, in many cases one can replace the class of open sets with a much smaller class of sets. For instance, in metric spaces, a set is open if and only if it is the union of open balls (note that the union may be infinite or even uncountable). We can generalise this notion as follows:

Definition 3 (Base) Let {(X,{\mathcal F})} be a topological space. A base for this space is a collection {{\mathcal B}} of open sets such that every open set in {X} can be expressed as the union of sets in the base. The elements of {{\mathcal B}} are referred to as basic open sets.

Example 1 The collection of open balls {B(x,r)} in a metric space forms a base for the topology of that space. As another (rather trivial) example of a base: any topology {{\mathcal F}} is a base for itself.

This concept should be compared with that of a basis of a vector space: every vector in that space can be expressed as a linear combination of vectors in a basis. However, one difference between a base and a basis is that the representation of an open set as the union of basic open sets is almost certainly not unique.

Given a base {{\mathcal B}}, define a basic open neighbourhood of a point {x \in X} to be a basic open set that contains {x}. Observe that a set {U} is open if and only if every point in {U} has a basic open neighbourhood contained in {U}.

Exercise 8 Let {{\mathcal B}} be a collection of subsets of a set {X}. Show that {{\mathcal B}} is a basis for some topology {{\mathcal F}} if and only if it it covers {X} and has the following additional property: given any {x \in X} and any two basic open neighbourhoods {U, V} of {x}, there exists another basic open neighbourhood {W} of {x} that is contained in {U \cap V}. Furthermore, the topology {{\mathcal F}} is uniquely determined by {{\mathcal B}}.

To verify the compactness property, it suffices to do so for basic open covers (i.e. coverings of the whole space by basic open sets):

Exercise 9 Let {(X,{\mathcal F})} be a topological space with a base {{\mathcal B}}. Then the following are equivalent:

  • Every open cover has a finite subcover (i.e. {X} is compact);
  • Every basic open cover has a finite subcover.

A useful fact about compact metric spaces is that they are in some sense “countably generated”.

Lemma 4 Let {X = (X,d_X)} be a compact metric space.

  • (i) {X} is separable (i.e. it has an at most countably infinite dense subset).
  • (ii) {X} is second-countable (i.e. it has an at most countably infinite base).

Proof: By Theorem 1 of Notes 8, {X} is totally bounded. In particular, for every {n \geq 1}, one can cover {X} by a finite number of balls {B(x_{n,1},\frac{1}{n}),\ldots,B(x_{n,k_n},\frac{1}{n})} of radius {\frac{1}{n}}. The set of points {\{ x_{n,i}: n \geq 1; 1 \leq i \leq k_n \}} is then easily verified to be dense and at most countable, giving (i). Similarly, the set of balls {\{ B( x_{n,i}, \frac{1}{n} ): n \geq 1; 1 \leq i \leq k_n \}} can be easily verified to be a base which is at most countable, giving (ii). \Box

Remark 2 One can easily generalise compactness here to {\sigma}-compactness; thus for instance finite-dimensional vector spaces {{\mathbb R}^n} are separable and second-countable. The properties of separability and second-countability are much weaker than {\sigma}-compactness in general, but can still serve to provide some constraint as to the “size” or “complexity” of a metric space or topological space in many situations.

We now weaken the notion of a base to that of a sub-base.

Definition 5 (Sub-base) Let {(X,{\mathcal F})} be a topological space. A sub-base for this space is a collection {{\mathcal B}} of subsets of {X} such that {{\mathcal F}} is the weakest topology that makes {{\mathcal B}} open (i.e. {{\mathcal F}} is generated by {{\mathcal B}}). Elements of {{\mathcal B}} are referred to as sub-basic open sets.

Observe for instance that every base is a sub-base. The converse is not true: for instance, the half-open intervals {(-\infty,a), (a,+\infty)} for {a \in {\mathbb R}} form a sub-base for the standard topology on {{\mathbb R}}, but not a base. In contrast to bases, which need to obey the property in Exercise 8, no property is required on a collection {{\mathcal B}} in order for it to be a sub-base; every collection of sets generates a unique topology with respect to which it is a sub-base.

The precise relationship between sub-bases and bases is given by the following exercise.

Exercise 10 Let {(X,{\mathcal F})} be a topological space, and let {{\mathcal B}} be a collection of subsets of {X}. Then the following are equivalent:

  • {{\mathcal B}} is a sub-base for {(X,{\mathcal F})}.
  • The space {{\mathcal B}^* := \{ B_1 \cap \ldots \cap B_k: B_1,\ldots,B_k \in {\mathcal B} \}} of finite intersections of {{\mathcal B}} (including the whole space {X}, which corresponds to the case {k=0}) is a base for {(X,{\mathcal F})}.

Thus a set is open iff it is the union of finite intersections of sub-basic open sets.

Many topological facts involving open sets can often be reduced to verifications on basic or sub-basic open sets, as the following exercise illustrates:

Exercise 11 Let {(X, {\mathcal F})} be a topological space, and {{\mathcal B}} be a sub-base of {X}, and let {{\mathcal B}^*} be a base of {X}.

  • Show that a sequence {x_n \in X} converges to a limit {x \in X} if and only if every sub-basic open neighbourhood of {x} contains {x_n} for all sufficiently large {x_n}. (Optional: show that an analogous statement is also true for nets.)
  • Show that a point {x \in X} is adherent to a set {E} if and only if every basic open neighbourhood of {x} intersects {E}. Give an example to show that the claim fails for sub-basic open sets.
  • Show that a point {x \in X} is in the interior of a set {U} if and only if {U} contains a basic open neighbourhood of {x}. Give an example to show that the claim fails for sub-basic open sets.
  • If {Y} is another topological space, show that a map {f: Y \rightarrow X} is continuous if and only if the inverse image of every sub-basic open set is open.

There is a useful strengthening of Exercise 9 in the spirit of the above exercise, namely the Alexander sub-base theorem:

Theorem 6 (Alexander sub-base theorem) Let {(X,{\mathcal F})} be a topological space with a sub-base {{\mathcal B}}. Then the following are equivalent:

  • Every open cover has a finite subcover (i.e. {X} is compact);
  • Every sub-basic open cover has a finite subcover.

Proof: Call an open cover bad if it had no finite subcover, and good otherwise. In view of Exercise 9, it suffices to show that if every sub-basic open cover is good, then every basic open cover is good also, where we use the basis {{\mathcal B}^*} coming from Exercise 10.

Suppose for contradiction that every sub-basic open cover was good, but at least one basic open cover was bad. If we order the bad basic open covers by set inclusion, observe that every chain of bad basic open covers has an upper bound that is also a bad basic open cover, namely the union of all the covers in the chain. Thus, by Zorn’s lemma, there exists a maximal bad basic open cover {{\mathcal C} = (U_\alpha)_{\alpha \in A}}. Thus this cover has no finite subcover, but if one adds any new basic open set to this cover, then there must now be a finite subcover.

Pick a basic open set {U_\alpha} in this cover {{\mathcal C}}. Then we can write {U_{\alpha} = B_1 \cap \ldots \cap B_k} for some sub-basic open sets {B_1,\ldots,B_k}. We claim that at least one of the {B_1,\ldots,B_k} also lie in the cover {{\mathcal C}}. To see this, suppose for contradiction that none of the {B_1,\ldots,B_k} was in {{\mathcal C}}. Then adding any of the {B_i} to {{\mathcal C}} enlarges the basic open cover and thus creates a finite subcover; thus {B_i} together with finitely many sets from {{\mathcal C}} cover {X}, or equivalently that one can cover {X \backslash B_i} with finitely many sets from {{\mathcal C}}. Thus one can also cover {X \backslash U_\alpha = \bigcup_{i=1}^k (X \backslash B_i)} with finitely many sets from {{\mathcal C}}, and thus {X} itself can be covered by finitely many sets from {{\mathcal C}}, a contradiction.

From the above discussion and the axiom of choice, we see that for each basic set {U_\alpha} in {{\mathcal C}} there exists a sub-basic set {B_\alpha} containing {U_\alpha} that also lies in {{\mathcal C}}. (Two different basic sets {U_\alpha, U_\beta} could lead to the same sub-basic set {B_\alpha=B_\beta}, but this will not concern us.) Since the {U_\alpha} cover {X}, the {B_\alpha} do also. By hypothesis, a finite number of {B_\alpha} can cover {X}, and so {{\mathcal C}} is good, which gives the desired a contradiction. \Box

Exercise 12 (Optional) Use Exercise 7 to give another proof of the Alexander sub-base theorem.

Exercise 13 Use the Alexander sub-base theorem to show that the unit interval {[0,1]} (with the usual topology) is compact, without recourse to the Heine-Borel or Bolzano-Weierstrass theorems.

Exercise 14 Let {X} be a well-ordered set, endowed with the order topology (Exercise 9 of Notes 8); such a space is known as an ordinal space. Show that {X} is Hausdorff, and that {X} is compact if and only if {X} has a maximal element.

One of the major applications of the sub-base theorem is to prove Tychonoff’s theorem, which we turn to next.

— 3. Compactness and product spaces —

Given two topological spaces {X = (X, {\mathcal F}_X)} and {Y = (Y, {\mathcal F}_Y)}, we can form the product space {X \times Y}, using the cylinder sets {\{ U \times Y: U \in {\mathcal F}_X \} \cup \{ X \times V: V \in {\mathcal F}_Y\}} as a sub-base, or equivalently using the open boxes {\{ U \times V: U \in {\mathcal F}_X, V \in {\mathcal F}_Y \}} as a base (cf. Example 15 from Notes 8). One easily verifies that the obvious projection maps {\pi_X: X \times Y \rightarrow X}, {\pi_Y: X \times Y \rightarrow Y} are continuous, and that these maps also provide homeomorphisms between {X \times \{y\}} and {X}, or between {\{x\} \times Y} and {Y}, for every {x \in X, y \in Y}. Also observe that a sequence {(x_n,y_n)_{n=1}^\infty} (or net {(x_\alpha,y_\alpha)_{\alpha \in A}}) converges to a limit {(x,y)} in {X} if and only if {(x_n)_{n=1}^\infty} and {(y_n)_{n=1}^\infty} (or {(x_\alpha)_{\alpha \in A}} and {(y_\alpha)_{\alpha \in A}}) converge in {X} and {Y} to {x} and {y} respectively.

This operation preserves a number of useful topological properties, for instance

Exercise 15 Prove that the product of two Hausdorff spaces is still Hausdorff.

Exercise 16 Prove that the product of two sequentially compact spaces is still sequentially compact.

Proposition 7 The product of two compact spaces is compact.

Proof: By Exercise 9 it suffices to show that any basic open cover of {X \times Y} by boxes {(U_\alpha \times V_\alpha)_{\alpha \in A}} has a finite subcover. For any {x \in X}, this open cover covers {\{x\} \times Y}; by the compactness of {Y \equiv \{x\} \times Y}, we can thus cover {\{x\} \times Y} by a finite number of open boxes {U_\alpha \times V_\alpha}. Intersecting the {U_\alpha} together, we obtain a neighbourhood {U_x} of {x} such that {U_x \times Y} is covered by a finite number of these boxes. But by compactness of {X}, we can cover {X} by a finite number of {U_x}. Thus all of {X \times Y} can be covered by a finite number of boxes in the cover, and the claim follows. \Box

Exercise 17 (Optional) Obtain an alternate proof of this proposition using Exercise 14 from Notes 8.

The above theory for products of two spaces extends without difficulty to products of finitely many spaces. Now we consider infinite products.

Definition 8 (Product spaces) Given a family {(X_\alpha,{\mathcal F}_\alpha)_{\alpha \in A}} of topological spaces, let {X := \prod_{\alpha \in A} X_\alpha} be the Cartesian product, i.e. the space of tuples {(x_\alpha)_{\alpha \in A}} with {x_\alpha \in X_\alpha} for all {\alpha \in A}. For each {\alpha \in A}, we have the obvious projection map {\pi_\alpha: X \rightarrow X_\alpha} that maps {(x_\beta)_{\beta \in A}} to {x_\alpha}.

  • We define the product topology on {X} to be the topology generated by the cylinder sets {\pi_\alpha^{-1}(U_\alpha)} for {\alpha \in A} and {U_\alpha \in {\mathcal F}_\alpha} as a sub-base, or equivalently the weakest topology that makes all of the {\pi_\alpha} continuous.
  • We define the box topology on {X} to be the topology generated by all the boxes {\prod_{\alpha \in A} U_\alpha}, where {U_\alpha \in {\mathcal F}_\alpha} for all {\alpha \in A}.

Unless otherwise specified, we assume the product space to be endowed with the product topology rather than the box topology.

When {A} is finite, the product topology and the box topology coincide. When {A} is infinite, the two topologies are usually different (as we shall see), but the box topology is always at least as strong as the product topology. Actually, in practice the box topology is too strong to be of much use – there are not enough convergent sequences in it. For instance, in the space {{}{\mathbb R}^{{\mathbb N}}} of real-valued sequences {(x_n)_{n=1}^\infty}, even sequences such as {(\frac{1}{m!} e^{-nm})_{n=1}^\infty} do not converge to the zero sequence as {m \rightarrow \infty} (why?), despite converging in just about every other sense.

Exercise 18 Show that the arbitrary product of Hausdorff spaces remains Hausdorff in either the product or the box topology.

Exercise 19 Let {(X_n,d_n)} be a sequence of metric spaces. Show that the the function {d: X \times X \rightarrow {\mathbb R}^+} on the product space {X := \prod_n X_n} defined by

\displaystyle d( (x_n)_{n=1}^\infty, (y_n)_{n=1}^\infty ) := \sum_{n=1}^\infty 2^{-n} \frac{d_n(x_n,y_n)}{1+d_n(x_n,y_n)}

is a metric on {X} which generates the product topology on {X}.

Exercise 20 Let {X = \prod_{\alpha \in A} X_\alpha} be a product space with the product topology. Show that a sequence {x_n} in that space converges to a limit {x \in X} if and only if {\pi_\alpha(x_n)} converges in {X_\alpha} to {\pi_\alpha(x)} for every {\alpha \in A}. (The same statement also holds for nets.) Thus convergence in the product topology is essentially the same concept as pointwise convergence (cf. Example 14 of Notes 8).

The box topology usually does not preserve compactness. For instance, one easily checks that the product of any number of discrete spaces is still discrete in the box topology. On the other hand, a discrete space is compact (or sequentially compact) if and only if it is finite. Thus the infinite product of any number of non-trivial (i.e. having at least two elements) compact discrete spaces will be non-compact, and similarly for sequential compactness.

The situation improves significantly with the product topology, however (which is weaker, and thus more likely to be compact). We begin with the situation for sequential compactness.

Proposition 9 (Sequential Tychonoff theorem) Any at most countable product of sequentially compact topological spaces is sequentially compact.

Proof: We will use the “Arzelá-Ascoli diagonalisation argument”. The finite case is already handled by Exercise 16 (and can in any event be easily deduced from the countable case), so suppose we have a countably infinite sequence {(X_n, {\mathcal F}_n)_{n=1}^\infty} of sequentially compact spaces, and consider the product space {X = \prod_{n=1}^\infty X_n} with the product topology. Let {x^{(1)}, x^{(2)}, \ldots} be a sequence in {X}, thus each {x^{(m)}} is itself a sequence {x^{(m)} = (x^{(m)}_n)_{n=1}^\infty} with {x^{(m)}_n \in X_n} for all {n}. Our objective is to find a subsequence {x^{(m_j)}} which converges to some limit {x = (x_n)_{n=1}^\infty} in the product topology, which by Exercise 20 is the same as pointwise convergence (i.e. {x^{(m_j)}_n \rightarrow x_n} as {j \rightarrow \infty} for each {n}).

Consider the first coordinates {x^{(m)}_1 \in X_1} of the sequence {x^{(m)}}. As {X_1} is sequentially compact, we can find a subsequence {(x^{(m_{1,j})})_{j=1}^\infty} in {X} such that {x^{(m_{1,j})}_1} converges in {X_1} to some limit {x_1 \in X_1}.

Now, in this subsequence, consider the second coordinates {x^{(m_{1,j})}_2 \in X_2}. As {X_2} is sequentially compact, we can find a further subsequence {(x^{(m_{2,j})})_{j=1}^\infty} in {X} such that {x^{(m_{2,j})}_2} converges in {X_2} to some limit {x_2 \in X_1}. Also, we inherit from the preceding subsequence that {x^{(m_{2,j})}_1} converges in {X_1} to {x_1}.

We continue in this vein, creating nested subsequences {(x^{(m_{i,j})})_{j=1}^\infty} for {i=1,2,3,\ldots} whose first {i} components {x^{(m_{i,j})}_1, \ldots, x^{(m_{i,j})}_i} converge to {x_1 \in X_1, \ldots, x_i \in X_i} respectively.

None of these subsequences, by themselves are sufficient to finish the problem. But now we use the diagonalisation trick: we consider the diagonal sequence {(x^{(m_{j,j})})_{j=1}^\infty}. One easily verifies that {x^{(m_{j,j})}_n} converges in {X_n} to {x_n} as {j \rightarrow \infty} for every {n}, and so we have extracted a sequence that is convergent in the product topology. \Box

Remark 3 In the converse direction, if a product of spaces is sequentially compact, then each of the factor spaces must also be sequentially compact, since they are continuous images of the product space and one can apply Exercise 1.

The sequential Tychonoff theorem breaks down for uncountable products. Consider for instance the product space {X := \{0,1\}^{\{0,1\}^{\mathbb N}}} of functions {f: \{0,1\}^{\mathbb N} \rightarrow \{0,1\}}. As {\{0,1\}} (with the discrete topology) is sequentially compact, this is an (uncountable) product of sequentially compact spaces. On the other hand, for each {n \in {\mathbb N}} we can define the evaluation function {f_n: \{0,1\}^{\mathbb N} \rightarrow \{0,1\}} by {f_n: (a_m)_{m=1}^\infty \mapsto a_n}. This is a sequence in {X}; we claim that it has no convergent subsequence. Indeed, given any {n_j \rightarrow \infty}, we can find {x = (x_m)_{m=1}^\infty \in \{0,1\}^\infty} such that {x_{n_j} = f_{n_j}(x)} does not converge to a limit as {j \rightarrow \infty}, and so {f_{n_j}} does not converge pointwise (i.e. does not converge in the product topology).

However, we can recover the result for uncountable products as long as we work with topological compactness rather than sequential compactness, leading to Tychonoff’s theorem:

Theorem 10 (Tychonoff theorem) Any product of compact topological spaces is compact.

Proof: Write {X = \prod_{\alpha \in A} X_\alpha} for this product of compact topological spaces. By Theorem 6, it suffices to show that any open cover of {X} by sub-basic open sets {(\pi_{\alpha_\beta}^{-1}(U_{\beta}))_{\beta \in B}} has a finite sub-cover, where {B} is some index set, and for each {\beta \in B}, {\alpha_\beta \in A} and {U_{\beta}} is open in {X_{\alpha_\beta}}.

For each {\alpha \in A}, consider the sub-basic open sets {\pi_{\alpha}^{-1}(U_{\beta})} that are associated to those {\beta \in B} with {\alpha_\beta = \alpha}. If the open sets {U_\beta} here cover {X_\alpha}, then by compactness of {X_\alpha}, a finite number of the {U_\beta} already suffice to cover {X_\alpha}, and so a finite number of the {\pi_{\alpha}^{-1}(U_{\beta})} cover {X}, and we are done. So we may assume that the {U_\beta} do not cover {X_\alpha}, thus there exists {x_\alpha \in X_\alpha} that avoids all the {U_\beta} with {\alpha_\beta = \alpha}. One then sees that the point {(x_\alpha)_{\alpha \in A}} in {X} avoids all of the {\pi_{\alpha}^{-1}(U_{\beta})}, a contradiction. The claim follows. \Box

Remark 4 The axiom of choice was used in several places in the proof (in particular, via the Alexander sub-base theorem). This turns out to be necessary, because one can use Tychonoff’s theorem to establish the axiom of choice. This was first observed by Kelley, and can be sketched as follows. It suffices to show that the product {\prod_{\alpha \in A} X_\alpha} of non-empty sets is again non-empty. We can make each {X_\alpha} compact (e.g. by using the trivial topology). We then adjoin an isolated element {\infty} to each {X_\alpha} to obtain another compact space {X_\alpha \cup \{\infty\}}, with {X_\alpha} closed in {X_\alpha \cup \{\infty\}}. By Tychonoff’s theorem, the product {X := \prod_{\alpha \in A} (X_\alpha \cup \{\infty\})} is compact, and thus every collection of closed sets with finite intersection property has non-empty intersection. But observe that the sets {\pi_\alpha^{-1}(X_\alpha)} in {X}, where {\pi_\alpha: X \rightarrow X_\alpha \cup \{\infty\}} is the obvious projection, are closed and has the finite intersection property; thus the intersection of all of these sets is non-empty, and the claim follows.

Remark 5 From the above discussion, we see that the space {\{0,1\}^{\{0,1\}^{{\mathbb{Z}}}}} is compact but not sequentially compact; thus compactness does not necessarily imply sequential compactness.

Exercise 21 Let us call a topological space {(X,{\mathcal F})} first-countable if, for every {x \in X}, there exists a countable family {B_{x,1}, B_{x,2}, \ldots} of open neighbourhoods of {x} such that every neighbourhood of {x} contains at least one of the {B_{x,j}}.

  • Show that every metric space is first-countable.
  • Show that every second-countable space is first-countable (see Lemma 4).
  • Show that every separable metric space is second-countable.
  • Show that every space which is second-countable, is separable.
  • (Optional) Show that every net {(x_\alpha)_{\alpha \in A}} which converges in {X} to {x}, has a convergent subsequence {(x_{\phi(n)})_{n=1}^\infty} (i.e. a subnet whose index set is {{\mathbb N}}).
  • Show that any compact space which is first-countable, is also sequentially compact. (The converse is not true: Exercise 9 from Notes 8 provides a counterexample.)

(Optional) There is an alternate proof of the Tychonoff theorem that uses the machinery of universal nets. We sketch this approach in a series of exercises.

Definition 11 A net {(x_\alpha)_{\alpha \in A}} in a set {X} is universal if for every function {f: X \rightarrow \{0,1\}}, the net {(f(x_\alpha))_{\alpha \in A}} converges to either {0} or {1}.

Exercise 22 Show that a universal net {(x_\alpha)_{\alpha \in A}} in a compact topological space is necessarily convergent. (Hint: show that the collection of closed sets which contain {x_\alpha} for sufficiently large {\alpha} enjoys the finite intersection property.)

Exercise 23 (Kelley’s theorem) Every net {(x_\alpha)_{\alpha \in A}} in a set {X} has a universal subnet {(x_{\phi(\beta)})_{\beta \in B}}. (Hint: First use Exercise 5 to find an ultrafilter {p} on {A} that contains the upsets {\{ \beta \in A: \beta \geq \alpha\}} for all {\alpha \in A}. Now let {B} be the space of all pairs {(U,\alpha)}, where {\alpha \in U \in p}, ordered by requiring {(U,\alpha) \leq (U',\alpha')} when {U \supset U'} and {\alpha \leq \alpha'}, and let {\phi: B \rightarrow A} be the map {\phi: (U,\alpha) \mapsto \alpha}.)

Exercise 24 Use the previous two exercises, together with Exercise 20, to establish an alternate proof of Tychonoff’s theorem.

Exercise 25 Establish yet another proof of Tychonoff’s theorem using Exercise 7 directly (rather than proceeding via Exercise 12).

— 4. Compactness and equicontinuity —

We now pause to give an important application of the (sequential) Tychonoff theorem. We begin with some definitions. If {X = (X, {\mathcal F}_X)} is a topological space and {Y = (Y, d_Y)} is a metric space, let {BC(X \rightarrow Y)} be the space of bounded continuous functions from {X} to {Y}. (If {X} is compact, this is the same space as {C(X \rightarrow Y)}, the space of continuous functions from {X} to {Y}.) We can give this space the uniform metric

\displaystyle  d(f,g) := \sup_{x \in X} d_Y( f(x), g(x) ).

Exercise 26 If {Y} is complete, show that {BC(X \rightarrow Y)} is a complete metric space. (Note that this implies Exercise 2 from Notes 6.)

Note that if {f: X \rightarrow Y} is continuous if and only if, for every {x \in X} and {\epsilon > 0}, there exists a neighbourhood {U} of {x} such that {d_Y(f(x'),f(x)) \leq \epsilon} for all {x' \in U}. We now generalise this concept to families.

Definition 12 Let {X} be a topological space, let {Y} be a metric space, and Let {(f_\alpha)_{\alpha \in A}} be a family of functions {f_\alpha \in BC(X \rightarrow Y)}.

  • We say that this family {f_\alpha} is pointwise bounded if for every {x \in X}, the set {\{ f_\alpha(x): \alpha \in A \}} is bounded in {Y}.
  • We say that this family {f_\alpha} is pointwise precompact if for every {x \in X}, the set {\{ f_\alpha(x): \alpha \in A \}} is precompact in {Y}.
  • We say that this family {f_\alpha} is equicontinuous if for every {x \in X} and {\epsilon > 0}, there exists a neighbourhood {U} of {x} such that {d_Y(f_\alpha(x'), f_\alpha(x)) \leq \epsilon} for all {\alpha \in A} and {x' \in U}.
  • If {X = (X,d_X)} is also a metric space, we say that the family {f_\alpha} is uniformly equicontinuous if for every {\epsilon > 0} there exists a {\delta > 0} such that {d_Y(f_\alpha(x'), f_\alpha(x)) \leq \epsilon} for all {\alpha \in A} and {x', x \in x} with {d_X(x,x') \leq \delta}.

Remark 6 From the Heine-Borel theorem, the pointwise boundedness and pointwise precompactness properties are equivalent if {Y} is a subset of {{\mathbb R}^n} for some {n}. Any finite collection of continuous functions is automatically an equicontinuous family (why?), and any finite collection of uniformly continuous functions is automatically a uniformly equicontinuous family; the concept only acquires additional meaning once one considers infinite families of continuous functions.

Example 2 With {X = [0,1]} and {Y = {\mathbb R}}, the family of functions {f_n(x) := x^n} for {n=1,2,3,\ldots} are pointwise bounded (and thus pointwise precompact), but not equicontinuous. The family of functions {g_n(x) := n} for {n=1,2,3,\ldots}, on the other hand, are equicontinuous, but not pointwise bounded or pointwise precompact. The family of functions {h_n(x) := \sin nx} for {n=1,2,3,\ldots} are pointwise bounded (even uniformly bounded), but not equicontinuous.

Example 3 With {X = {\mathbb R} \backslash \{0\}} and {Y = {\mathbb R}}, the functions {f_n(x) = \arctan nx} are pointwise bounded (even uniformly bounded), are equicontinuous, and are each individually uniformly continuous, but are not uniformly equicontinuous.

Exercise 27 Show that the uniform boundedness principle (Theorem 2 from Notes 9) can be restated as the assertion that any family of bounded linear operators from the unit ball of a Banach space to a normed vector space is pointwise bounded if and only if it is equicontinuous.

Example 4 A function {f: X \rightarrow Y} between two metric spaces is said to be Lipschitz (or Lipschitz continuous) if there exists a constant {C} such that {d_Y(f(x),f(x')) \leq C d_X(x,x')} for all {x,x' \in X}; the smallest constant {C} one can take here is known as the Lipschitz constant of {f}. Observe that Lipschitz functions are automatically continuous, hence the name. Also observe that a family {(f_\alpha)_{\alpha \in A}} of Lipschitz functions with uniformly bounded Lipschitz constant is equicontinuous.

One nice consequence of equicontinuity is that it equates uniform convergence with pointwise convergence, or even pointwise convergence on a dense subset.

Exercise 28 Let {X} be a topological space, let {Y} be a complete metric space, let {f_1, f_2, \ldots \in BC(X \rightarrow Y)} be an equicontinuous family of functions. Show that the following are equivalent:

  • The sequence {f_n} is pointwise convergent.
  • The sequence {f_n} is pointwise convergent on some dense subset of {X}.

If {X} is compact, show that the above two statements are also equivalent to

  • The sequence {f_n} is uniformly convergent.

(Compare with Corollary 1 from Notes 9.) Show that no two of the three statements remain equivalent if the hypothesis of equicontinuity is dropped.

We can now use Proposition 9 to give a useful characterisation of precompactness in {C(X \rightarrow Y)} when {X} is compact, known as the Arzelá-Ascoli theorem:

Theorem 13 (Arzelá-Ascoli theorem) Let {Y} be a metric space, {X} be a compact metric space, and let {(f_\alpha)_{\alpha \in A}} be a family of functions {f_\alpha \in BC(X \rightarrow Y)}. Then the following are equivalent:

  • (i) {\{ f_\alpha: \alpha \in A \}} is a precompact subset of {BC(X \rightarrow Y)}.
  • (ii) {(f_\alpha)_{\alpha \in A}} is pointwise precompact and equicontinuous.
  • (iii) {(f_\alpha)_{\alpha \in A}} is pointwise precompact and uniformly equicontinuous.

Proof: We first show that (i) implies (ii). For any {x \in X}, the evaluation map {f \mapsto f(x)} is a continuous map from {C(X \rightarrow Y)} to {Y}, and thus maps precompact sets to precompact sets. As a consequence, any precompact family in {C(X \rightarrow Y)} is pointwise precompact. To show equicontinuity, suppose for contradiction that equicontinuity failed at some point {x}, thus there exists {\epsilon > 0}, a sequence {\alpha_n \in A}, and points {x_n \rightarrow x} such that {d_Y( f_{\alpha_n}(x_n), f_{\alpha_n}(x) ) > \epsilon} for every {n}. One then verifies that no subsequence of {f_{\alpha_n}} can converge uniformly to a continuous limit, contradicting precompactness. (Note that in the metric space {C(X \rightarrow Y)}, precompactness is equivalent to sequential precompactness.)

Now we show that (ii) implies (iii). It suffices to show that equicontinuity implies uniform equicontinuity. This is a straightforward generalisation of the more familiar argument that continuity implies uniform continuity on a compact domain, and we repeat it here. Namely, fix {\epsilon > 0}. For every {x \in X}, equicontinuity provides a {\delta_x > 0} such that {d_Y(f_\alpha(x), f_\alpha(x')) \leq \epsilon} whenever {x' \in B(x, \delta_x)} and {\alpha \in A}. The balls {B(x,\delta_x/2)} cover {X}, thus by compactness some finite subcollection {B(x_i,\delta_{x_i}/2)}, {i=1,\ldots,n} of these balls cover {X}. One then easily verifies that {d_Y(f_\alpha(x), f_\alpha(x')) \leq \epsilon} whenever {x, x' \in X} with {d_X(x,x') \leq \min_{1 \leq i \leq n} \delta_{x_i}/2}.

Finally, we show that (iii) implies (i). It suffices to show that any sequence {f_n \in BC(X \rightarrow Y)}, {n=1,2,\ldots}, which is pointwise precompact and uniformly equicontinuous, has a convergent subsequence. By embedding {Y} in its metric completion {\overline{Y}}, we may assume without loss of generality that {Y} is complete. (Note that for every {x \in X}, the set {\{ f_n(x): n=1,2,\ldots\}} is precompact in {Y}, hence the closure in {Y} is complete and thus closed in {\overline{Y}} also. Thus any pointwise limit of the {f_n} in {\overline{Y}} will take values in {Y}.) By Lemma 4, we can find a countable dense subset {x_1, x_2, \ldots} of {X}. For each {x_m}, we can use pointwise precompactness to find a compact set {K_m \subset Y} such that {f_\alpha(x_m)} takes values in {K_m}. For each {n}, the tuple {F_n := (f_n(x_m))_{m=1}^\infty} can then be viewed as a point in the product space {\prod_{n=1}^\infty K_n}. By Proposition 9, this product space is sequentially compact, hence we may find a subsequence {n_j \rightarrow \infty} such that {F_n} is convergent in the product topology, or equivalently that {f_n} pointwise converges on the countable dense set {\{ x_1, x_2, \ldots\}}. The claim now follows from Exercise 28. \Box

Remark 7 The above theorem characterises precompact subsets of {BC(X \rightarrow Y)} when {X} is a compact metric space. One can also characterise compact subsets by observing that a subset of a metric space is compact if and only if it is both precompact and closed.

There are many variants of the Arzelá-Ascoli theorem with stronger or weaker hypotheses or conclusions; for instance, we have

Corollary 14 (Arzelá-Ascoli theorem, special case) Let {f_n: X \rightarrow {\mathbb R}^m} be a sequence of functions from a compact metric space {X} to a finite-dimensional vector space {{\mathbb R}^m} which are equicontinuous and pointwise bounded. Then there is a subsequence {f_{n_j}} of {f_n} which converges uniformly to a limit (which is necessarily bounded and continuous).

Thus, for instance, any sequence of uniformly bounded and uniformly Lipschitz functions {f_n: [0,1] \rightarrow {\mathbb R}} will have a uniformly convergent subsequence. This claim fails without the uniform Lipschitz assumption (consider, for instance, the functions {f_n(x) := \sin(nx)}). Thus one needs a “little bit extra” uniform regularity in addition to uniform boundedness in order to force the existence of uniformly convergent subsequences. This is a general phenomenon in infinite-dimensional function spaces: compactness in a strong topology tends to require some sort of uniform control on regularity or decay in addition to uniform bounds on the norm.

Exercise 29 Show that the equivalence of (i) and (ii) continues to hold if {X} is assumed to be just a compact Hausdorff space rather than a compact metric space (the statement (iii) no longer makes sense in this setting). Hint: {X} need not be separable any more, however one can still adapt the diagonalisation argument used to prove Proposition 9. The starting point is the observation that for every {\epsilon > 0} and every {x \in X}, one can find a neighbourhood {U} of {x} and some subsequence {f_{n_j}} which only oscillates by at most {\epsilon} (or maybe {2\epsilon}) on {U}.

Exercise 30 (Locally compact Hausdorff version of Arzelá-Ascoli) Let {X} be a locally compact Hausdorff space which is also {\sigma}-compact, and let {f_n \in C(X \rightarrow {\mathbb R})} be an equicontinuous, pointwise bounded sequence of functions. Then there exists a subsequence {f_{n_j} \in C(X \rightarrow {\mathbb R})} which converges uniformly on compact subsets of {X} to a limit {f \in C(X \rightarrow {\mathbb R})}. (Hint: Express {X} as a countable union of compact sets {K_n}, each one contained in the interior of the next. Apply the compact Hausdorff Arzelá-Ascoli theorem on each compact set (Exercise 29). Then apply the Arzelá-Ascoli argument one last time.)

Remark 8 The Arzelá-Ascoli theorem (and other compactness theorems of this type) are often used in partial differential equations, to demonstrate existence of solutions to various equations or variational problems. For instance, one may wish to solve some equation {F(u) = f}, for some function {u: X \rightarrow {\mathbb R}^m}. One way to do this is to first construct a sequence {u_n} of approximate solutions, so that {F(u_n) \rightarrow f} as {n \rightarrow \infty} in some suitable sense. If one can also arrange these {u_n} to be equicontinuous and pointwise bounded, then the Arzelá-Ascoli theorem allows one to pass to a subsequence that converges to a limit {u}. Given enough continuity (or semi-continuity) properties on {F}, one can then show that {F(u)=f} as required.

More generally, the use of compactness theorems to demonstrate existence of solutions in PDE is known as the compactness method. It is applicable in a remarkably broad range of PDE problems, but often has the drawback that it is difficult to establish uniqueness of the solutions created by this method (compactness guarantees existence of a limit point, but not uniqueness). Also, in many cases one can only hope for compactness in rather weak topologies, and as a consequence it is often difficult to establish regularity of the solutions obtained via compactness methods.

[Update, Feb 20: some corrections, new exercise added (note renumbering).]