On densely complete metric spaces and extensions of uniformly continuous functions in ZF

MaRDI QIDQ5131658zbMATH OpenFDO

Authors Kyriakos Keremedis, Eliza Wajch

Publication date 9 November 2020

Full work available at URL https://arxiv.org/abs/1901.08709, http://www.heldermann.de/JCA/JCA27/JCA274/jca27058.htm#jca271

zbMATH Keywords

complete metric spacesconnected metric spacescountable axiom of choicesequential spacesZF

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Metric spaces, metrizability (54E35) Complete metric spaces (54E50)

Abstract: A metric space $mathbfX$ is called densely complete if there exists a dense set $D$ in $mathbfX$ such that every Cauchy sequence of points of $D$ converges in $mathbfX$. One of the main aims of this work is to prove that the countable axiom of choice, $mathbfCAC$ for abbreviation, is equivalent with the following statements:smallskip (i) Every densely complete (connected) metric space $mathbfX$ is complete.smallskip (ii) For every pair of metric spaces $mathbfX$ and $mathbfY$, if $\mathrm{\%}mathbfY$ is complete and $mathbfS$ is a dense subspace of $mathbfX$% , while $f:mathbfSightarrowmathbfY$ is a uniformly continuous function, then there exists a uniformly continuous extension $F:mathbfXo\mathrm{\%}mathbfY$ of $f$.smallskip (iii) Complete subspaces of metric spaces have complete closures.smallskip (iv) Complete subspaces of metric spaces are closed.smallskip It is also shown that the restriction of (i) to subsets of the real line is equivalent to the restriction $mathbfCAC(mathbbR)$ of $mathbfCAC$ to subsets of $mathbbR$. However, the restriction of (ii) to subsets of $\mathrm{\%}mathbbR$ is strictly weaker than $mathbfCAC(mathbbR)$ because it is equivalent with the statement that $mathbbR$ is sequential. Moreover, among other relevant results, it is proved that, for every positive integer $\mathrm{\%}n$, the space $mathbb{R}^n$ is sequential if and only if $mathbbR$ is sequential. It is also shown that $mathbbRimesmathbbQ$ is not densely complete if and only if $mathbfCAC(mathbbR)$ holds.

Recommendations

• Uniform continuity and normality of metric spaces in \(\mathbf{ZF}\)
• On uniformly continuous functions between pseudometric spaces and the axiom of countable choice
• On countable choice and sequential spaces
• On sequentially closed subsets of the real line in
• On sequential compactness and related notions of compactness of metric spaces in ZF

Cites work

• A New Proof of the Tychonoff Theorem
• Axiom of choice
• Compact Metric Spaces and Weak Forms of the Axiom of Choice
• scientific article; zbMATH DE number 3839946 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 1201510 (Why is no real title available?)
• scientific article; zbMATH DE number 3800525 (Why is no real title available?)
• Non-constructive properties of the real numbers
• On countable choice and sequential spaces
• On sequential compactness and related notions of compactness of metric spaces in ZF
• On sequentially closed subsets of the real line in
• On the relative strength of forms of compactness of metric spaces and their countable productivity in \(\mathbf {\text{ZF}}\)
• Sequential topological conditions in ℝ in the absence of the axiom of choice
• The minimizing vector theorem in symmetrized max-plus algebra
• Uniform continuity and normality of metric spaces in \(\mathbf{ZF}\)

Cited in

(6)

• Denumerable cellular families in \(\mathbf{ZF}\)
• \(k\)-spaces, sequential spaces and related topics in the absence of the axiom of choice
• On metric spaces where continuous real valued functions are uniformly continuous in \(\mathbf{ZF}\)
• Uniform continuity and normality of metric spaces in \(\mathbf{ZF}\)
• On \(P\)-spaces and \(G_{\delta}\)-sets in the absence of the axiom of choice
• On Loeb and sequential spaces in \textbf{ZF}

This page was built for publication: On densely complete metric spaces and extensions of uniformly continuous functions in ZF

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