Attractors for iterated function systems (Q294292)

From MaRDI portal





scientific article; zbMATH DE number 6593686
Language Label Description Also known as
default for all languages
No label defined
    English
    Attractors for iterated function systems
    scientific article; zbMATH DE number 6593686

      Statements

      Attractors for iterated function systems (English)
      0 references
      0 references
      0 references
      16 June 2016
      0 references
      iterated function system
      0 references
      attractor
      0 references
      self-similar set
      0 references
      typical (according to Baire) element
      0 references
      Let \(X:=[0,1]\) and let \(\mathcal{S} := \{S_1, \ldots, S_N\}\) be a collection of contractions on the compact metric space \((X, |\cdot|)\). Denote by \((\mathcal{K}(X), \mathcal{H})\) the hyperspace of all nonempty compact subsets of \(X\) endowed with the Hausdorff metric \(\mathcal{H}\). An \(A\in \mathcal{K}\) is called an attractor for the iterated function system \(\mathcal{S}\) if NEWLINE\[NEWLINE A = \bigcup_{i=1}^N S_i(A). NEWLINE\]NEWLINE The authors establish the following results: {\parindent=6mm \begin{itemize}\item[(1)] A typical -- in the sense of Baire -- closed subset of \(X\) is not an attractor of an IFS. The closed sets that comprise the \(F_\sigma\) set of attractors is described. \item[(2)] The set of attractors and its complement are both dense subsets of \((\mathcal{K}(X), \mathcal{H})\). \item[(3)] The set of attractors is path-connected. \item[(4)] Every countable compact subset of \(X\) of finite Cantor-Bendixon rank is homeomorphic to an attractor. \item[(5)] Every nowhere dense uncountable compact subset of \(X\) is homeomorphic to an attractor. NEWLINENEWLINE\end{itemize}}
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references