|
|
|
|
examples of compact spaces
|
(Example)
|
|
|
Here are some examples of compact spaces:
- The unit interval [0,1] is compact. This follows from the Heine-Borel Theorem. Proving that theorem is about as hard as proving directly that [0,1] is compact. The half-open interval (0,1] is not compact: the open cover $(1/n, 1]$ for $n=1,2,...$ does not have a finite subcover.
- Again from the Heine-Borel Theorem, we see that the closed unit ball of any finite-dimensional normed vector space is compact. This is not true for infinite dimensions; in fact, a normed vector space is finite-dimensional if and only if its closed unit ball is compact.
- Any finite topological space is compact.
- Consider the set $2^\Bbb{N}$ of all infinite sequences with entries in $\{0,1\}$ . We can turn it into a metric space by defining $d((x_n),(y_n)) = 1/k$ , where $k$ is the smallest index such that $x_k \not = y_k$ (if there is no such index, then the two sequences are the same, and we define their distance to be zero). Then $2^\Bbb{N}$ is a compact space, a consequence of Tychonoff's theorem. In fact, $2^\Bbb{N}$ is homeomorphic to the Cantor set (which is compact by Heine-Borel). This construction can be performed for any finite set, not just {0,1}.
- Consider the set $K$ of all functions $f : \Bbb{R} \rightarrow [0,1]$ and defined a topology on $K$ so that a sequence $(f_n)$ in $K$ converges towards $f\in K$ if and only if $(f_n(x))$ converges towards $f(x)$ for all $x\in\Bbb{R}$ . (There is only one such topology; it is called the topology of pointwise convergence). Then $K$ is a compact topological space, again a consequence of Tychonoff's theorem.
- Take any set $X$ , and define the cofinite topology on $X$ by declaring a subset of $X$ to be open if and only if it is empty or its complement is finite. Then $X$ is a compact topological space.
- The prime spectrum of any commutative ring with the Zariski topology is a compact space important in algebraic geometry. These prime spectra are almost never Hausdorff spaces.
- If $H$ is a Hilbert space and $A : H \rightarrow H$ is a continuous linear operator, then the spectrum of $A$ is a compact subset of $\Bbb{C}$ . If $H$ is infinite-dimensional, then any compact subset of $\Bbb{C}$ arises in this manner
from some continuous linear operator $A$ on $H$ .
- If $\cal{A}$ is a complex C*-algebra which is commutative and contains a one, then the set $X$ of all non-zero algebra homomorphisms $\phi : \cal{A} \rightarrow \Bbb{C}$ carries a natural topology (the weak-* topology) which turns it into a compact Hausdorff space. $\cal{A}$ is isomorphic to the C*-algebra of continuous complex-valued functions on $X$ with the supremum norm.
- Any profinite group is compact Hausdorff: finite discrete spaces are compact Hausdorff, therefore their product is compact Hausdorff, and a profinite group is a closed subset of such a product.
- Any locally compact Hausdorff space can be turned into a compact space by adding a single point to it (Alexandroff one-point compactification). The one-point compactification of $\Bbb{R}$ is homeomorphic to the circle $S^1$ ; the one-point compactification of $\Bbb{R}^2$ is homeomorphic to the sphere $S^2$ . Using the one-point compactification, one can also
easily construct compact spaces which are not Hausdorff, by starting with a non-Hausdorff space.
- Other non-Hausdorff compact spaces are given by the left order topology (or right order topology) on bounded totally ordered sets.
|
"examples of compact spaces" is owned by yark. [ full author list (4) | owner history (1) ]
|
|
(view preamble | get metadata)
Cross-references: totally ordered sets, bounded, right, order topology, sphere, circle, point, locally compact Hausdorff space, closed subset, product, discrete spaces, Hausdorff, profinite group, supremum norm, isomorphic, weak-* topology, homomorphisms, algebra, commutative, C*-algebra, complex, infinite-dimensional, compact subset, spectrum, linear operator, continuous, Hilbert space, Hausdorff spaces, prime, algebraic geometry, Zariski topology, commutative ring, prime spectrum, complement, open, subset, cofinite topology, pointwise convergence, converges, functions, finite set, Cantor set, homeomorphic, Tychonoff's theorem, consequence, distance, metric space, sequences, topological space, infinite, normed vector space, finite-dimensional, unit ball, closed, subcover, finite, open cover, half-open interval, theorem, Heine-Borel theorem, compact, interval
This is version 13 of examples of compact spaces, born on 2002-06-25, modified 2003-09-12.
Object id is 3133, canonical name is ExamplesOfCompactSpaces.
Accessed 14743 times total.
Classification:
| AMS MSC: | 54D30 (General topology :: Fairly general properties :: Compactness) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|