Attractors for iterated function systems (Q294292)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Attractors for iterated function systems
scientific article

    Statements

    Attractors for iterated function systems (English)
    0 references
    0 references
    0 references
    0 references
    16 June 2016
    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 \[ A = \bigcup_{i=1}^N S_i(A). \] 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. \end{itemize}}
    0 references
    0 references
    0 references
    0 references
    0 references
    iterated function system
    0 references
    attractor
    0 references
    self-similar set
    0 references
    typical (according to Baire) element
    0 references