Premium
Consequences of the failure of the axiom of choice in the theory of Lindelöf metric spaces
Author(s) -
Keremedis Kyriakos
Publication year - 2004
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200310084
Subject(s) - mathematics , countable set , metric space , axiom of choice , separable space , zermelo–fraenkel set theory , axiom , metric (unit) , space (punctuation) , discrete mathematics , second countable space , pure mathematics , set (abstract data type) , set theory , mathematical analysis , computer science , geometry , operations management , economics , programming language , operating system
Abstract 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: (i) Every Lindelöf metric space is separable and (ii) Every Lindelöf metric space is second countable (Forms 340 and 341, respectively, in [10]) 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. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)