Article contents
Definitions of compact
Published online by Cambridge University Press: 12 March 2014
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 x0 ∈ X such that for every neighborhood U of x0, |E ∩ U| = |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
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1990
References
REFERENCES
- 7
- Cited by