Abstract
A metric space is Totally Bounded (also called preCompact) if it has a finite ε-net for every ε > 0 and it is preLindelöf if it has a countable ε-net for every ε > 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 ε > 0, there is a countable cover of X by open balls of radius ?? (Keremedis, Math. Log. Quart. 49, 179–186 2003);
-
(b)
Quasi Totally Bounded if, for every ε > 0, there is a countable subset A of X such that the open balls with centers in A and radius ε 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 Horst Herrlich in [8], 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).
Similar content being viewed by others
References
Bentley, H.L., Herrlich, H.: Countable choice and pseudometric spaces. Topol. Appl. 85, 153–164 (1997)
Engelking, R.: General topology, revised and completed edition. In: Sigma Series in Pure Mathematics, vol. 6. Heldermann Verlag, Berlin (1989)
Fraenkel, A.A., Bar-Hillel, Y., Levy, A.: Foundations of Set Theory, Second Revised Edition. North-Holland Publ. Co., Amsterdam-London (1973)
Good, C., Tree, I.J.: Continuing horrors in topology without choice. Topol. Appl. 63, 79–90 (1995)
Gutierres, G.: Sequential topological conditions in \(\mathbb {R}\) in the absence of the axiom of choice. Math. Log. Quart. 49, 293–298 (2003)
Gutierres, G.: O Axioma da Escolha Numerável em Topologia, Ph.D. thesis. Universidade de Coimbra. www.mat.uc.pt/~ggutc (2004)
Herrlich, H.: Compactness and the axiom of choice. Appl. Categ. Struc. 4, 1–14 (1996)
Herrlich, H.: Products of Lindelöf T 2-spaces are Lindelöf – in some models of ZF. Comment. Math. Univ. Carolinae 43, 319–333 (2002)
Herrlich, H.: Axiom of Choice. Lecture Notes in Mathematics, vol. 1876. Springer, Heidelberg (2007)
Herrlich, H., Strecker, G.E.: When is \(\mathbb {N}\) Lindelöf? Comment. Math. Univ. Carolinae 38, 553–556 (1997)
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)
Keremedis, K., Tachtsis, E.: On sequentially compact subspaces of \(\mathbb {R}\) without the axiom of choice. Notre Dame J. Formal Logic 44, 175–184 (2003)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of Horst Herrlich
Rights and permissions
About this article
Cite this article
Gutierres, G. Total Boundedness and the Axiom of Choice. Appl Categor Struct 24, 457–469 (2016). https://doi.org/10.1007/s10485-016-9443-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-016-9443-1