Attractors for iterated function systems (Q294292)

From MaRDI portal
Revision as of 00:56, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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