We show that the property of sequential compactness for subspaces of.

In the realm of Lindelöf metric spaces the following results are obtained in : (i) If is a Lindelöf metric space then it is both densely Lindelöf and almost Lindelöf. In addition, under the countable axiom of choice, the three notions coincide. (ii) The statement “every separable metric space is almost Lindelöf” implies that every infinite subset of has a countably infinite subset). (iii) The statement “every almost Lindelöf metric space is quasi totally bounded implies. (iv) The proposition “every quasi (...) totally bounded metric space is separable” lies, in the deductive hierarchy of choice principles, strictly between the countable union theorem and. Likewise, the statement “every pre‐Lindelöf (or Lindelöf) metric space is separable” lies strictly between and. (shrink)

We study within the framework of Zermelo-Fraenkel set theory ZF the role that the axiom of choice plays in the theory of Lindelöf metric spaces. We show that in ZF the weak choice principles: Every Lindelöf metric space is separable and Every Lindelöf metric space is second countable are equivalent. We also prove that a Lindelöf metric space is hereditarily separable iff it is hereditarily Lindelöf iff it hold as well the axiom of choice restricted to countable sets and to (...) topologies of Lindelöf metric spaces as the countable union theorem restricted to Lindelöf metric spaces. (shrink)