English

Embedding fractals in Banach, Hilbert or Euclidean spaces

Metric Geometry 2021-11-01 v2 General Topology

Abstract

By a metric fractal we understand a compact metric space KK endowed with a finite family F\mathcal F of contracting self-maps of KK such that K=fFf(K)K=\bigcup_{f\in\mathcal F}f(K). If KK is a subset of a metric space XX and each fFf\in\mathcal F extends to a contracting self-map of XX, then we say that (K,F)(K,\mathcal F) is a fractal in XX. We prove that each metric fractal (K,F)(K,\mathcal F) is \bullet isometrically equivalent to a fractal in the Banach spaces C[0,1]C[0,1] and \ell_\infty; \bullet bi-Lipschitz equivalent to a fractal in the Banach space c0c_0; \bullet isometrically equivalent to a fractal in the Hilbert space 2\ell_2 if KK is an ultrametric space. We prove that for a metric fractal (K,F)(K,\mathcal F) with the doubling property there exists kNk\in\mathbb N such that the metric fractal (K,Fk)(K,\mathcal F^{\circ k}) endowed with the fractal structure Fk={f1fk:f1,,fkF}\mathcal F^{\circ k}=\{f_1\circ\dots\circ f_k:f_1,\dots,f_k\in\mathcal F\} is equi-H\"older equivalent to a fractal in a Euclidean space Rd\mathbb R^d. This result is used to prove our main result saying that each finite-dimensional compact metrizable space KK containing an open uncountable zero-dimensional space ZZ is homeomorphic to a fractal in a Euclidean space Rd\mathbb R^d. For ZZ, being a copy of the Cantor set, this embedding result was proved by Duvall and Husch in 1992.

Keywords

Cite

@article{arxiv.1806.08075,
  title  = {Embedding fractals in Banach, Hilbert or Euclidean spaces},
  author = {Taras Banakh and Magdalena Nowak and Filip Strobin},
  journal= {arXiv preprint arXiv:1806.08075},
  year   = {2021}
}

Comments

20 pages

R2 v1 2026-06-23T02:36:54.128Z