English

Metric spaces admitting only trivial weak contractions

Classical Analysis and ODEs 2014-10-01 v3

Abstract

If (X,d)(X,d) is a metric space then the map f ⁣:XXf\colon X\to X is defined to be a weak contraction if d(f(x),f(y))<d(x,y)d(f(x),f(y))<d(x,y) for all x,yXx,y\in X, xyx\neq y. We determine the simplest non-closed sets XRnX\subseteq \mathbb{R}^n in the sense of descriptive set theoretic complexity such that every weak contraction f ⁣:XXf\colon X\to X is constant. In order to do so, we prove that there exists a non-closed FσF_{\sigma} set FRF\subseteq \mathbb{R} such that every weak contraction f ⁣:FFf\colon F\to F is constant. Similarly, there exists a non-closed GδG_{\delta} set GRG\subseteq \mathbb{R} such that every weak contraction f ⁣:GGf\colon G\to G is constant. These answer questions of M. Elekes. We use measure theoretic methods, first of all the concept of generalized Hausdorff measure.

Keywords

Cite

@article{arxiv.1202.1539,
  title  = {Metric spaces admitting only trivial weak contractions},
  author = {Richárd Balka},
  journal= {arXiv preprint arXiv:1202.1539},
  year   = {2014}
}

Comments

10 pages

R2 v1 2026-06-21T20:16:12.170Z