𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On countable choice and sequential spaces

✍ Scribed by Gonçalo Gutierres

Publisher
John Wiley and Sons
Year
2008
Tongue
English
Weight
121 KB
Volume
54
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

Under the axiom of choice, every first countable space is a Fréchet‐Urysohn space. Although, in its absence even ℝ may fail to be a sequential space.

Our goal in this paper is to discuss under which set‐theoretic conditions some topological classes, such as the first countable spaces, the metric spaces, or the subspaces of ℝ, are classes of Fréchet‐Urysohn or sequential spaces.

In this context, it is seen that there are metric spaces which are not sequential spaces. This fact raises the question of knowing if the completion of a metric space exists and it is unique. The answer depends on the definition of completion.

Among other results it is shown that: every first countable space is a sequential space if and only if the axiom of countable choice holds, the sequential closure is idempotent in ℝ if and only if the axiom of countable choice holds for families of subsets of ℝ, and every metric space has a unique $ \hat \sigma $‐completion. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

Countable choice and pseudometric spaces
Countable choice and pseudometric spaces
✍ H.L. Bentley; H. Herrlich 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 672 KB

In the realm of pseudometric spaces the role of choice principles is investigated. In particular it is shown that in ZF (i.e., Zermelo-Fraenkel set theory without the axiom of choice) the axiom of countable choice is not only sufficient but also necessary to establish each of the following results:

CH and first countable, countably compac
CH and first countable, countably compact spaces
✍ Todd Eisworth 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 157 KB

We show that it is consistent with the Continuum Hypothesis that first countable, countably compact spaces with no uncountable free sequences are compact. As a consequence, we get that CH does not imply the existence of a perfectly normal, countably compact, non-compact space, answering a question o

On spaces with point-countable cs-networ
On spaces with point-countable cs-networks
✍ Shou Lin; Chuan Liu 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 473 KB

In this paper we discuss three questions about the quotient s-images of metric spaces. The main results are: (1) X is a sequential space with a point-countable cs-network if and only if X is a compactcovering, sequence-covering, quotient and s-image of a metric space. (2) Let X and Y be sequential