English

On densely complete metric spaces and extensions of uniformly continuous functions in $\mathbf{ZF}$

General Topology 2019-01-28 v1

Abstract

A metric space X\mathbf{X} is called densely complete if there exists a dense set DD in X\mathbf{X} such that every Cauchy sequence of points of DD converges in X\mathbf{X}. One of the main aims of this work is to prove that the countable axiom of choice, CAC\mathbf{CAC} for abbreviation, is equivalent with the following statements:\smallskip (i) Every densely complete (connected) metric space X\mathbf{X} is complete.\smallskip\ (ii) For every pair of metric spaces X\mathbf{X} and Y\mathbf{Y}, if % \mathbf{Y} is complete and S\mathbf{S} is a dense subspace of X\mathbf{X}% , while f:SYf:\mathbf{S}\rightarrow \mathbf{Y} is a uniformly continuous function, then there exists a uniformly continuous extension F:XF:\mathbf{X}\to% \mathbf{Y} of ff.\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 CAC(R)\mathbf{CAC}(\mathbb{R}) of CAC\mathbf{CAC} to subsets of R\mathbb{R}. However, the restriction of (ii) to subsets of % \mathbb{R} is strictly weaker than CAC(R)\mathbf{CAC}(\mathbb{R}) because it is equivalent with the statement that R\mathbb{R} is sequential. Moreover, among other relevant results, it is proved that, for every positive integer % n, the space Rn\mathbb{R}^n is sequential if and only if R\mathbb{R} is sequential. It is also shown that R×Q\mathbb{R}\times\mathbb{Q} is not densely complete if and only if CAC(R)\mathbf{CAC}(\mathbb{R}) holds.

Keywords

Cite

@article{arxiv.1901.08709,
  title  = {On densely complete metric spaces and extensions of uniformly continuous functions in $\mathbf{ZF}$},
  author = {Kyriakos Keremedis and Eliza Wajch},
  journal= {arXiv preprint arXiv:1901.08709},
  year   = {2019}
}