Hostname: page-component-586b7cd67f-t8hqh Total loading time: 0 Render date: 2024-11-22T06:01:31.990Z Has data issue: false hasContentIssue false

Definitions of compact

Published online by Cambridge University Press:  12 March 2014

Paul E. Howard*
Affiliation:
Department of Mathematics, Eastern Michigan University, Ypsilanti, Michigan 48197

Extract

Several definitions of “compact” for topological spaces have appeared in the literature (see [5]). We will consider the following:

Definition. A topological space X is

1. Compact(1) if every open cover of X has a finite subcover.

2. Compact(2) if every infinite subset E of X has a complete accumulation point (i.e., a point x0X such that for every neighborhood U of x0, |EU| = |E|).

3. Compact(3) if there is a subbase S for the topology on X such that every cover of X by members of S has a finite subcover.

4. Compact(4) if each nest of closed, nonempty sets has a nonempty intersection.

5. Compact(5) if every family of closed sets in X which has the finite intersection property (every finite subfamily has a nonempty intersection) has a nonempty intersection.

6. Compact(6) if each net in X has a cluster point.

7. Compact(7) if each net in X has a convergent subnet.

This work was motivated primarily by consideration of various proofs that the Tychonoff theorem, T (“the product of compact topological spaces is compact”) is equivalent to the Axiom of Choice, AC. Tychonoff's original proof that AC implies T used Definition 2 [13]. Other proofs have used Definitions 3 and 5; see [5]. The proof by Kelley that T implies AC uses Definition 5 [6].

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1990

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Comfort, W. W., A theorem of Stone-Čech type and a theorem of Tychonoff type, without the axiom of choice; and their real compact analogues, Fundamenta Mathematicae, vol. 63 (1968), pp. 97110.CrossRefGoogle Scholar
[2] Halpern, J. D., The independence of the axiom of choice from the Boolean prime ideal theorem, Fundamenta Mathematicae, vol. 55 (1964), pp. 5766.CrossRefGoogle Scholar
[3] Halpern, J. D. and Levy, A., The Boolean prime ideal theorem does not imply the axiom of choice, Axiomatic set theory (Scott, D., editor), Proceedings of Symposia in Pure Mathematics, vol. 13, part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 83134.CrossRefGoogle Scholar
[4] Jech, T., The axiom of choice, North-Holland, Amsterdam, 1973.Google Scholar
[5] Kelley, J. L., General topology, Van Nostrand, Princeton, New Jersey, 1955.Google Scholar
[6] Kelley, J. L., The Tychonoff product theorem implies the axiom of choice, Fundamenta Mathematicae, vol. 37(1950), pp. 7576.CrossRefGoogle Scholar
[7] Loeb, Peter A., A new proof of the Tychonoff theorem, American Mathematical Monthly, vol. 72 (1965), pp. 711717.CrossRefGoogle Scholar
[8] Łoś, J. and Ryll-Nardzewski, C., Effectiveness of the representation theory for Boolean algebras, Fundamenta Mathematicae, vol. 41 (1954), pp. 4956.CrossRefGoogle Scholar
[9] Łoś, J. and Ryll-Nardzewski, C., On the application of Tychonoff's theorem in mathematical proofs, Fundamenta Mathematicae, vol. 38 (1951), pp. 233237.CrossRefGoogle Scholar
[10] Parovičenko, I.I., Topological equivalents of the Tihonov theorem, Soviet Mathematics Doklady, vol. 10 (1969), pp. 3334.Google Scholar
[11] Rubin, H. and Rubin, J., Equivalents of the axiom of choice. II, North-Holland, Amsterdam, 1985.Google Scholar
[12] Salbany, S., On compact* spaces and compactifications, Proceedings of the American Mathematical Society, vol. 45 (1974), pp. 274280.Google Scholar
[13] Tychonoff, A., Über die topologische Erweiterung von Raumen, Mathematische Annalen, vol. 102 (1929), pp. 544561.CrossRefGoogle Scholar
[14] Ward, L. E., A weak Tychonoff theorem and the axiom of choice, Proceedings of the American Mathematical Society, vol. 13 (1962), pp. 757758.CrossRefGoogle Scholar