×

Total boundedness and the axiom of choice. (English) Zbl 1432.03092

Summary: A metric space is Totally Bounded (also called preCompact) if it has a finite \(\varepsilon\)-net for every \(\varepsilon>0\) and it is preLindelöf if it has a countable \(\varepsilon\)-net for every \(\varepsilon>0\). Using the Axiom of Countable Choice (CC), one can prove that a metric space is topologically equivalent to a Totally Bounded metric space if and only if it is a preLindelöf space if and only if it is a Lindelöf space. In the absence of CC, it is not clear anymore what should the definition of preLindelöfness be. There are two distinguished options. One says that a metric space \(X\) is:
(a)
preLindelöf if, for every \(\varepsilon>0\), there is a countable cover of \(X\) by open balls of radius \(\varepsilon\) [K. Keremedis, Math. Log. Q. 49, No. 2, 179–186 (2003; Zbl 1016.03051)];
(b)
Quasi Totally Bounded if, for every \(\varepsilon>0\), there is a countable subset \(A\) of \(X\) such that the open balls with centers in \(A\) and radius \(\varepsilon\) cover \(X\).
As we will see these two notions are distinct and both can be seen as a good generalization of Total Boundedness. In this paper we investigate the choice-free relations between the classes of preLindelöf spaces and Quasi Totally Bounded spaces, and other related classes, namely the Lindelöf spaces. Although it follows directly from the definitions that every pseudometric Lindelöf space is preLindelöf, the same is not true for Quasi Totally Bounded spaces. Generalizing results and techniques used by H. Herrlich in [Commentat. Math. Univ. Carol. 43, No. 2, 319–333 (2002; Zbl 1072.03029)], it is proven that every pseudometric Lindelöf space is Quasi Totally Bounded iff Countable Choice holds in general or fails even for families of subsets of \(\mathbb R\) (Theorem 3.5).

MSC:

03E25 Axiom of choice and related propositions
54D20 Noncompact covering properties (paracompact, Lindelöf, etc.)
54E35 Metric spaces, metrizability
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] Bentley, H.L., Herrlich, H.: Countable choice and pseudometric spaces. Topol. Appl. 85, 153-164 (1997) · Zbl 0922.03068 · doi:10.1016/S0166-8641(97)00138-7
[2] Engelking, R., General topology, revised and completed edition (1989), Berlin · Zbl 0684.54001
[3] Fraenkel, A.A., Bar-Hillel, Y., Levy, A.: Foundations of Set Theory, Second Revised Edition. North-Holland Publ. Co., Amsterdam-London (1973) · Zbl 0248.02071
[4] Good, C., Tree, I.J.: Continuing horrors in topology without choice. Topol. Appl. 63, 79-90 (1995) · Zbl 0822.54001 · doi:10.1016/0166-8641(95)90010-1
[5] Gutierres, G.: Sequential topological conditions in R \(\mathbb{R}\) in the absence of the axiom of choice. Math. Log. Quart. 49, 293-298 (2003) · Zbl 1032.03041 · doi:10.1002/malq.200310029
[6] Gutierres, G.: O Axioma da Escolha Numerável em Topologia, Ph.D. thesis. Universidade de Coimbra. www.mat.uc.pt/ ggutc (2004) · Zbl 0881.54027
[7] Herrlich, H.: Compactness and the axiom of choice. Appl. Categ. Struc. 4, 1-14 (1996) · Zbl 0881.54026
[8] Herrlich, H.: Products of Lindelöf T2-spaces are Lindelöf - in some models of ZF. Comment. Math. Univ. Carolinae 43, 319-333 (2002) · Zbl 1072.03029
[9] Herrlich, H.: Axiom of Choice. Lecture Notes in Mathematics, vol. 1876. Springer, Heidelberg (2007) · Zbl 1102.03049
[10] Herrlich, H., Strecker, G.E.: When is \(N\mathbb{N}\) Lindelöf? Comment. Math. Univ. Carolinae 38, 553-556 (1997) · Zbl 0938.54008
[11] Keremedis, K.: The failure of the axiom of choice implies unrest in the theory of Lindelöf metric spaces. Math. Log. Quart. 49, 179-186 (2003) · Zbl 1016.03051 · doi:10.1002/malq.200310017
[12] Keremedis, K., Tachtsis, E.: On sequentially compact subspaces of R \(\mathbb{R}\) without the axiom of choice. Notre Dame J. Formal Logic 44, 175-184 (2003) · Zbl 1071.03035 · doi:10.1305/ndjfl/1091030855
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.