View source for Compactum

{{TEX|done}}
A metrizable [[Compact space|compact space]]. Examples of compacta are: a segment, a circle, an $n$-dimensional cube, ball or sphere, the [[Cantor set|Cantor set]], the [[Hilbert cube|Hilbert cube]]; an $n$-dimensional Euclidean space is not a compactum, but a subset of it is a compactum if and only if it is closed and bounded. A closed subset of a compactum is a compactum and every compactum is homeomorphic to a closed subset of the Hilbert cube (Urysohn's theorem). In order that there exist a homeomorphism of a compactum into a Euclidean space, it is necessary and sufficient that the compactum be finite-dimensional (the Pontryagin–Nöbeling theorem). A continuous image of a compactum that is a $T_2$-space is a compactum, and every compactum is the continuous image of the Cantor set (Aleksandrov's theorem). The product of a finite or countable set of compacta is a compactum. Every compactum is separable; among the Hausdorff compact spaces, the compacta are characterized by the property that they possess a finite or countable basis. A compactum is also characterized by the fact that it is totally bounded with respect to any metric compatible with its topology (Hausdorff's theorem).

The compacta form one of the most important classes of topological spaces. The property that a metrizable space $X$ be a compactum is equivalent to each of the following properties.

1) From any countable open covering of the space $X$ one can select a finite subcovering (an analogue of the Heine–Borel–Lebesgue covering theorem on covering a line segment by intervals; cf. also [[Borel–Lebesgue covering theorem|Borel–Lebesgue covering theorem]]).

2) Any countable system of non-empty closed subsets $F_i$ of $X$ such that $F_{i+1}\subset F_i$, $i=1,2,\ldots,$ has a non-empty intersection (a generalization of Cantor's principle of nested intervals).

3) Any sequence of points in $X$ has a convergent subsequence in $X$ (a generalization of the Bolzano–Weierstrass theorem).

4) Any infinite subset of $X$ has at least one limit point in $X$ (a generalization of the Bolzano–Weierstrass theorem).

5) Any continuous function on $X$ is bounded (a generalization of Weierstrass' theorem).

6) Any continuous function on $X$ attains its maximum (minimum) value at some point (a generalization of Weierstrass' theorem).

7) $X$ is totally bounded and complete with respect to any metric compatible with its topology.

Any continuous function on a compactum $X$ is uniformly continuous with respect to any metric compatible with the topology of $X$ (a generalization of the Heine–Cantor theorem).

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P.S. Aleksandrov,   "Einführung in die Mengenlehre und die Theorie der reellen Funktionen" , Deutsch. Verlag Wissenschaft.  (1956)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.N. Kolmogorov,   S.V. Fomin,   "Elements of the theory of functions and functional analysis" , '''1–2''' , Graylock  (1957–1961)  pp. Chapt. 2  (Translated from Russian)</TD></TR></table>