×

On first and second countable spaces and the axiom of choice. (English) Zbl 1065.54015

This paper discusses the role of the axiom of countable choice for families of sets of real numbers in first and second countable spaces. All spaces are considered in ZF. Denote by \(\text{CC}(\mathbb{R})\) the axiom of countable choice for families of sets of real numbers. The following concept is introduced: A topological space is called super second countable (SSC) if each base has a countable subfamily which is a base. The author proves that the following propositions are equivalent:
(1) \(\text{CC}(\mathbb{R})\),
(2) the axiom of countable choice is true for families of dense subspaces of \(\mathbb{R}\),
(3) every subspace of \(\mathbb{R}\) is separable,
(4) every dense subspace of \(\mathbb{R}\) is separable,
(5) every base of a second countable space has a countable subfamily which is a base,
(6) every base of open sets of \(\mathbb{R}\) has a countable subfamily which is a base,
(7) \(\mathbb{R}\) is SSC,
(8) every separable metric space is SSC.
Some questions are mentioned: (1) Is SSC hereditary? (2) Are there non-separable SSC-spaces? (3) Are there uncountable SSC \(T_0\)-spaces? For the first countable case, two conditions are stated: one of them classical, namely CUT: the countable union of countable sets is countable. Another is a recent statement: \(\omega\)-MC: for each family \((X_i)_{i\in I}\) of non-empty sets, there is a family \((A_i)_{i\in I}\) such that each \(A_i\) is non-empty, finite or countable infinite and \(A_i\subset X_i\) for all \(i\in I\).
Then the following are equivalent: (1) \(\omega\)-MC and CC, (2) \(\omega\)-MC and CUT, (3) In a first countable space, for each local base \(({\mathfrak B}(x))_{x\in X}\), there is a local base \(({\mathfrak V}(x))_{x\in X}\), where for each \(x\in X\), \({\mathfrak V}(x)\) is countable, and \({\mathfrak V}(x)\subset{\mathfrak B}(x)\).
Moreover, some results are mentioned. If the countable product of second countable spaces is second countable, CUT holds. CC holds for families of sets with at most \(2^{\aleph_0}\), the countable product of second countable spaces is second countable, \(\text{CC}(\text{CC}\mathbb{R}))\Leftrightarrow\) a first (second) countable space is Hausdorff if and only if each sequence has at \(n\)-most one limit.

MSC:

54D70 Base properties of topological spaces
54A35 Consistency and independence results in general topology
03E25 Axiom of choice and related propositions
54D10 Lower separation axioms (\(T_0\)–\(T_3\), etc.)
54B10 Product spaces in general topology
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] Bentley, H. L.; Herrlich, H., Countable choice and pseudometric spaces, Topology Appl., 85, 153-164 (1997) · Zbl 0922.03068
[2] Császár, Á., General Topology (1978), Adam Hilger: Adam Hilger Bristol
[3] De la Cruz, O.; Hall, E.; Howard, P.; Rubin, J. E.; Stanley, A., Definitions of compactness and the axiom of choice, J. Symbolic Logic, 67, 143-161 (2002) · Zbl 1002.03041
[4] Engelking, R., General Topology (1987), Heldermann: Heldermann Berlin
[5] Felscher, W., Naive Mengen und abstrakte Zahlen III—Transfinite Methoden (1979), Bibliographisches Institut · Zbl 0409.04002
[6] Fraenkel, A. A.; Bar-Hillel, Y.; Levy, A., Foundations of Set Theory (1973), North-Holland: North-Holland Amsterdam · Zbl 0248.02071
[7] Good, C.; Tree, I. J., Continuing horrors in topology without choice, Topology Appl., 63, 79-90 (1995) · Zbl 0822.54001
[8] Herrlich, H., Topologie I: Topologische Räume (1986), Heldermann: Heldermann Berlin · Zbl 0628.54002
[9] Herrlich, H., Compactness and the axiom of choice, Appl. Categ. Struct., 4, 1-14 (1996) · Zbl 0881.54027
[10] Herrlich, H., Products of Lindelöf \(T_2\)-spaces are Lindelöf—In some models of ZF, Comment. Math. Univ. Carolin., 43, 319-333 (2002) · Zbl 1072.03029
[11] Herrlich, H.; Steprāns, J., Maximal filters, continuity and choice principles, Quaestiones Math., 20, 697-705 (1997) · Zbl 0905.03033
[12] Herrlich, H.; Strecker, G. E., When \(N\) is Lindelöf?, Comment. Math. Univ. Carolin., 38, 553-556 (1997) · Zbl 0938.54008
[13] Howard, P.; Keremedis, K.; Rubin, H.; Rubin, J. E., Disjoint unions of topological spaces and choice, Math. Logic Quart., 44, 493-508 (1998) · Zbl 0922.03069
[14] Howard, P.; Rubin, J. E., Consequences of the Axiom of Choice, Amer. Math. Soc. Math. Surveys Monographs, vol. 59 (1998), American Mathematical Society: American Mathematical Society Providence, RI · Zbl 0947.03001
[15] Jech, T. J., The Axiom of Choice (1973), North-Holland: North-Holland Amsterdam · Zbl 0259.02051
[16] Keremedis, K., Disasters in topology without the axiom of choice, Arch. Math. Logic, 40, 569-580 (2001) · Zbl 1027.03040
[17] K. Keremedis, Countable disjoint unions in topology and some weak forms of the axiom of choice, Preprint, 1998; K. Keremedis, Countable disjoint unions in topology and some weak forms of the axiom of choice, Preprint, 1998
[18] Keremedis, K.; Tachtsis, E., On Lindelöf metric spaces and weak forms of the axiom of choice, Math. Logic Quart., 46, 35-44 (2000) · Zbl 0952.03060
[19] Willard, S., General Topology (1968), Addison-Wesley: Addison-Wesley Reading, MA · Zbl 0205.26601
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.