Cech-Stone compactification of omega

The Stone space of the Boolean algebra . It is denoted by . Here, is the power set algebra of and denotes its ideal of finite sets. The points in can be identified with ultrafilters (cf. Ultrafilter) on . There are two types of ultrafilters: fixed ultrafilters, which correspond to the points in , and free ultrafilters, which correspond to the points in . The space has attracted quite a lot of attention the last decades (1998). See e.g. [a10], [a4], and the survey paper [a15].

The Parovichenko theorem from 1963 (see [a16] and Parovichenko algebra) asserts that under the continuum hypothesis (abbreviated CH), is topologically the unique zero-dimensional compact -space of weight (the cardinality of the continuum, cf. also Continuum, cardinality of the) in which non-empty sets have infinite interior (for short, a Parovichenko space). This theorem had wide applications both in topology as well as in the theory of Boolean algebras. The method of proof of this result goes back to W. Rudin [a18]. In 1978, E.K. van Douwen and J. van Mill proved the converse to the Parovichenko theorem [a6]: If all Parovichenko spaces are homeomorphic, then the continuum hypothesis holds.

The Parovichenko theorem implies that every compact space of weight at most the continuum is a continuous image of under CH. This result cannot be proved in ZFC alone (cf. also Set theory). In 1968, K. Kunen [a12] proved that in a model formed by adding Cohen reals to a model of the continuum hypothesis, there is no sequence of subsets of which is strictly decreasing (modulo ). This implies that the ordinal space is not a continuous image of . In 1978, E.K. van Douwen and T.C. Przymusiński [a7] used results of F. Rothberger [a17] to prove that there is a counterexample under the hypothesis

This is interesting since it only involves a hypothesis on cardinal numbers.

W. Rudin [a18] proved that is not topologically homogeneous under CH, by establishing two different types of points with obvious distinct topological behaviour: the so-called -points and the non--points. A -point in a topological space is a point having the property that the intersection of any countable family of its neighbourhoods is again a neighbourhood. It was shown later by S. Shelah in [a22] that -points in need not exist in ZFC alone. That is not homogeneous is a theorem of ZFC, however; it was shown by Z. Frolik [a9]. Rudin [a18] also proved that under CH there is only one type of -point in , in the sense that if are -points, then there is an auto-homeomorphism such that . The method of this proof was used later by I.I. Parovichenko (see above).

Frolik's proof of the inhomogeneity of does not produce two points with obvious distinct topological behaviour. Call a point in a topological space a weak -point if is not in the closure of any countable subset of . The last and final word on the inhomogeneity of came from K. Kunen [a14]: contains weak -points.

B. Balcar and P. Vojtáš [a1] proved that every point in is simultaneously in the closure of -many pairwise disjoint non-empty open subsets of .

S. Shelah [a19] proved it to be consistent that all auto-homeomorphism of are induced by a partial permutation of . By a partial permutation one understands a bijective function , where both and are co-finite subsets of . So, consequently, has only -many auto-homeomorphisms (it is easy to see that under CH, has precisely -many auto-homeomorphisms). Shelah's result was used later by E.K. van Douwen [a5] to show that the auto-homeomorphism group of need not be algebraically simple. So, is a homogeneous Boolean algebra whose automorphism group need not be algebraically simple.

There are various interesting partial orders on . The most well-known and the most useful is the so-called Rudin–Keisler order, which is defined as follows: If , then if there exists a function which sends to . Kunen [a13] proved that there exist such that and . This result implies that no infinite compact -space is homogeneous, as well as various other interesting and non-trivial facts. See [a3] for more details. In fact, Kunen [a13] proved that there is a subset of size which consists of pairwise Rudin–Keisler-incomparable points. This result was subsequently strengthened by Shelah [a20]: there even exists such a set of size . A more general theorem, with a simpler proof, was later proved by A. Dow [a8].

There is also an interesting semi-group structure on . S. Glazer (see [a3]) used the existence of idempotents in the semi-group to give a particularly simple topological proof of Hindman's theorem from [a11]: If the set of natural numbers is divided into two sets, then there is a sequence drawn from one of these sets such that all finite sums of distinct numbers of this sequence remain in the same set.

Several other results from classical number theory can be proved as well by similar methods. In [a2], V. Bergelson, H. Furstenberg, N. Hindman, and Y. Katznelson again used the semi-group to present an elementary proof of van der Waerden's theorem from [a21]: If the natural numbers are partitioned into finitely many classes in any way whatever, one of these classes contains arbitrarily long arithmetic progressions.

References

[a1]	B. Balcar, P. Vojtáš, "Almost disjoint refinement of families of subsets of " Proc. Amer. Math. Soc. , 79 (1980) pp. 465–470
[a2]	V. Bergelson, H. Furstenberg, N. Hindman, Y. Katznelson, "An algebraic proof of van der Waerden's theorem" Enseign. Math. , 35 (1989) pp. 209–215
[a3]	W.W. Comfort, "Ultrafilters: some old and some new results" Bull. Amer. Math. Soc. , 83 (1977) pp. 417–455
[a4]	W.W. Comfort, S. Negrepontis, "The theory of ultrafilters" , Grundl. Math. Wissenschaft. , 211 , Springer (1974)
[a5]	E.K. van Douwen, "The automorphism group of need not be simple" Topol. Appl. , 34 (1990) pp. 97–103
[a6]	E.K. van Douwen, J. van Mill, "Parovičenko's characterization of implies CH" Proc. Amer. Math. Soc. , 72 (1978) pp. 539–541
[a7]	E.K. van Douwen, T.C. Przymusiński, "Separable extensions of first countable spaces" Fund. Math. , 105 (1980) pp. 147–158
[a8]	Alan Dow, ": The work of Mary Ellen Rudin" Ann. New York Acad. Sci. , 705 (1993) pp. 47–66
[a9]	Z. Frolik, "Sums of ultrafilters" Bull. Amer. Math. Soc. , 73 (1967) pp. 87–91
[a10]	L. Gillman, M. Jerison, "Rings of continuous functions" , v. Nostrand (1960)
[a11]	N. Hindman, "Finite sums from sequences within cells of a partition of " J. Combin. Th. A , 17 (1974) pp. 1–11
[a12]	K. Kunen, "Inaccessibility properties of cardinals" PhD Thesis Stanford Univ. (1968)
[a13]	K. Kunen, "Ultrafilters and independent sets" Trans. Amer. Math. Soc. , 172 (1972) pp. 299–306
[a14]	K. Kunen, "Weak P-points in " , Topology, Colloq. Math. Soc. János Bolyai , 23 (1980) pp. 741–749
[a15]	J. van Mill, "An introduction to " K. Kunen (ed.) J.E. Vaughan (ed.) , Handbook of Set–Theoretic Topology , North-Holland (1984) pp. 503–567
[a16]	I.I. Parovičenko, "A universal bicompact of weight " Soviet Math. Dokl. , 4 (1963) pp. 592–592
[a17]	F. Rothberger, "A remark on the existence of a denumberable base for a family of functions" Canad. J. Math. , 4 (1952) pp. 117–119
[a18]	W. Rudin, "Homogeneity problems in the theory of Čech compactifications" Duke Math. J. , 23 (1956) pp. 409–419
[a19]	S. Shelah, "Proper forcing" , Lecture Notes Math. , 940 , Springer (1982)
[a20]	S. Shelah, M.E. Rudin, "Unordered types of ultrafilters" Topol. Proc. , 3 (1978) pp. 199–204
[a21]	B. van der Waerden, "Beweis einer Baudetschen Vermutung" Nieuw Arch. Wiskunde , 19 (1927) pp. 212–216
[a22]	E. Wimmers, "The Shelah -point independence theorem" Israel J. Math. , 43 (1982) pp. 28–48