## 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,
Countable choice and pseudometric spaces
β Scribed by H.L. Bentley; H. Herrlich
- Publisher
- Elsevier Science
- Year
- 1998
- Tongue
- English
- Weight
- 672 KB
- Volume
- 85
- Category
- Article
- ISSN
- 0166-8641
No coin nor oath required. For personal study only.
β¦ Synopsis
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:
- separable -countable base, 2. separable -LindelGf, 3. separable ti topologically totally bounded, 4. compact + separable, 5. separability is hereditary, 6. the Baire Category Theorem for complete spaces with countable base, 7. the Baire Category Theorem for complete, totally bounded spaces, 8. compact -sequentially compact, 9. compact -(totally bounded and complete), IO. sequentially compact -(totally bounded and complete), 1 1. WeierstraD compact -(totally bounded and complete).
π SIMILAR VOLUMES
We show that the countable multiple choice axiom CMC is equivalent to the assertion: Weierstrass compact pseudometric spaces are compact.
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
Let (XJF-1 be a sequence of infinite-dimensional BANACH spaces. We prove that 00 @ X, has a non-locally complete quotient if XI is not quasi-reflexive.