English

All iterated function systems are Lipschitz up to an equivalent metric

General Topology 2024-05-28 v1 Dynamical Systems

Abstract

A finite family F={f1,,fn}\mathcal{F}=\{f_1,\ldots,f_n\} of continuous selfmaps of a given metric space XX is called an iterated function system (shortly IFS). In a case of contractive selfmaps of a complete metric space is well-known that IFS has an unique attractor \cite{Hu}. However, in \cite{LS} authors studied highly non-contractive IFSs, i.e. such families F={f1,,fn}\mathcal{F}=\{f_1,\ldots,f_n\} of continuous selfmaps that for any remetrization of XX each function fif_i has Lipschitz constant >1,i=1,,n.>1, i=1,\ldots,n. They asked when one can remetrize XX that F\mathcal{F} is Lipschitz IFS, i.e. all fisf_i's are Lipschitz (not necessarily contractive), i=1,,n i=1,\ldots,n. We give a general positive answer for this problem by constructing respective new metric (equivalent to the original one) on XX, determined by a given family F={f1,,fn}\mathcal{F}=\{f_1,\ldots,f_n\} of continuous selfmaps of XX. However, our construction is valid even for some specific infinite families of continuous functions.

Keywords

Cite

@article{arxiv.2405.16977,
  title  = {All iterated function systems are Lipschitz up to an equivalent metric},
  author = {Michał Popławski},
  journal= {arXiv preprint arXiv:2405.16977},
  year   = {2024}
}
R2 v1 2026-06-28T16:41:38.647Z