Separable connected metric spaces need not have continuum size in ZF

DOI10.1016/J.TOPOL.2013.11.002MaRDI QIDQ386227zbMATH OpenOpenAlexFDO

Authors Kyriakos Keremedis, Horst Herrlich

Publication date 9 December 2013

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2013.11.002

zbMATH Keywords

axiom of choiceconnected separable metric spaceMenger-Moore-Mazurkiewicz theorempunctiformtotally imperfect

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Connected and locally connected spaces (general aspects) (54D05) Metric spaces, metrizability (54E35) Compact (locally compact) metric spaces (54E45) Continua and generalizations (54F15) Counterexamples in general topology (54G20)

Review text

Many theorems in (General) Topology and Analysis rely on some (weak) form of the axiom of choice. The authors show that some results on connectedness and dimension need some choice as well. Examples include: non-trivial connected separable metric spaces have size continuum; every locally connected metric continuum is separable; every connected subspace of the plane is separable, and many more.

Recommendations

• Some notions of separability of metric spaces in \(\mathbf {ZF}\) and their relation to compactness
• On sequential compactness and related notions of compactness of metric spaces in ZF
• Several results on compact metrizable spaces in \(\mathbf{ZF} \)
• On Lindelöf Metric Spaces and Weak Forms of the Axiom of Choice
• Striking differences between ZF and ZF+weak choice in view of metric spaces

Cites work

• A New Proof of the Tychonoff Theorem
• Axiom of choice
• Compact Metric Spaces and Weak Forms of the Axiom of Choice
• Connected and disconnected plane sets and the functional equation 𝑓(𝑥)+𝑓(𝑦)=𝑓(𝑥+𝑦)
• Continuing horrors of topology without choice
• Decomposable cardinals.
• scientific article; zbMATH DE number 1201510 (Why is no real title available?)
• scientific article; zbMATH DE number 3326329 (Why is no real title available?)
• The axiom of choice

Cited in

(4)

• Continuing horrors of topology without choice
• Stranger things about the cardinality of compact metric spaces without AC
• Non-discrete metrics in and some notions of finiteness
• The existence of a connected meager in itself $\mathsf {CDH}$ space is independent of $\mathsf {ZFC}$

This page was built for publication: Separable connected metric spaces need not have continuum size in \(\mathbf{ZF}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q386227)