arXiv subjects
Publications and source records attributed to Filip Strobin.
We prove that the Hutchinson operators of a wide class of Iterated Function Systems are equicontinuous. In particular, every Iterated Function System with an attractor has equicontinuous Hutchinson operator.
The aim of this paper is to provide a different perspective in the study of the rate of convergence of the chaos game algorithm to the attractor of an iterated function system. We prove that for any function $\psi$ with $\lim\limits_{\ve\to 0}\psi(\ve)=\infty$, a typical (in the sense of the Baire category) driver yields a rate of recovery comparable to $\psi$. This result extends the main theorem from Le\'sniak et al. (Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 118, 157, 2024). Moreover, thanks to the change of perspective, we are able to prove that a typical driver gives arbitrarily slow rate of recovery.
In the paper we unify two extensions of the classical Hutchinson--Barnsley theory - the topological and the fuzzy-set approaches. We show that a fuzzy iterated function system (fuzzy IFS) on a Tychonoff space $X$ which is contracting w.r.t. some admissible multimetric, generates a natural fuzzy attractor in the hyperspace $\mathcal{K}_{\mathcal{F}}(X)$ of all compact fuzzy sets. As a consequence, we prove that a fuzzy IFS on a Hausdorff topological space which is topologically contracting admits a fuzzy attractor in a bit weaker sense. Our discussion involves investigations on topologies on the hyperspace $\mathcal{K}_{\mathcal{F}}(X)$ which are suitable for establishing convergence of sequences of iterations of a fuzzy Hutchinson operator.
For a metric Peano continuum $X$, let $S_X$ be a Sierpi\'nski function assigning to each $\varepsilon>0$ the smallest cardinality of a cover of $X$ by connected subsets of diameter $\le \varepsilon$. We prove that for any increasing function $\Omega:\mathbb R_+\to\mathbb R_+$ with $(0,1]\subseteq\Omega[\mathbb R_+]$ and $s:=\sum_{n=1}^\infty S_X(2^{-n})\sum_{m=n}^\infty S_X(2^{-m})\,\Omega^{-1}(\min\{1,2^{6-m}\})<\infty$ there exists a continuous surjective function $f:[0,s]\to X$ with continuity modulus $\omega_f\le\Omega$. This controlled version of the classical Hahn-Mazurkiewicz Theorem implies that $SDim(X)\le HDim(X)\le 2{\cdot}SDim(X)$, where $SDim(X)=\limsup_{\varepsilon\to 0}\frac{\ln(S_X(\varepsilon))}{\ln(1/\varepsilon)}$ is the $S$-dimension of $X$, and $HDim(X)=\inf\{\alpha\in (0,\infty]:$ there is a~surjective $\frac1\alpha$-H\"older map $f:[0,1]\to X\}$ is the $H\ddot older$ $dimension$ of $X$.
We review the theory of semiattractors associated with non-contractive Iterated Function Systems (IFSs) and demonstrate its applications on a concrete example. In particular, we present criteria for the existence of semiattractors due to Lasota and Myjak. We also discuss the Kieninger criterion which allows us to characterise when a semiattractor is strongly-fibred. Finally, we consider a specific example of a non-contractive IFS introduced by Barnsley and Vince. We find an invariant measure for this system which allows us to describe its semiattractor. The difficulty in analysing this IFS stems from the fact that it is neither eventually contractive nor contractive on average.
Iterated function systems (IFSs) and their attractors have been central to the theory of fractal geometry almost from its inception. And contractivity of the functions in the IFS has been central to the theory of iterated functions systems. If the functions in the IFS are contractions, then the IFS is guaranteed to have a unique attractor. Recently, however, there has been an interest in what occurs to the attractor at the boundary between contractvity and expansion of the IFS. That is the subject of this paper. For a family $F_t$ of IFSs depending on a real parameter $t>0$, the existence and properties of two types of transition attractors, called the lower transition attractor $A_{\bullet}$ and the upper transition attractor $A^{\bullet}$, are investigated. A main theorem states that, for a wide class of IFS families, there is a threshold $t_0$ such that the IFS $F_t$ has a unique attractor $A_t$ for $t t_0$. At the threshold $t_0$, there is an $F_{t_0}$-invariant set $A^{\bullet}$ such that $A^{\bullet} = \lim_{t\rightarrow t_0} A_t$.
We provide a new approach to the Hutchinson-Barnsley theory for idempotent measures first presented in N. Mazurenko, M. Zarichnyi, Invariant idempotent measures, Carpathian Math. Publ., 10 (2018), 1, 172--178. The main feature developed here is a metrization of the space of idempotent measures using the embedding of the space of idempotent measures to the space of fuzzy sets. The metric obtained induces a topology stronger than the canonical pointwise convergence topology. A key result is the existence of a bijection between idempotent measures and fuzzy sets and a conjugation between the Markov operator of an IFS on idempotent measures and the fuzzy fractal operator of the associated Fuzzy IFS. This allows to prove that the Markov operator for idempotent measures is a contraction w.r.t. the induced metric and, from this, to obtain a convergence theorem and algorithms that draw pictures of invariant measures as greyscale images.
We prove that the idempotent Markov operator generated by contractive max plus normalized iterated function system (IFS) is also a contractive map w.r.t. natural metrics on the space of idempotent measures. This gives alternative proofs of the existence of invariant idempotent measures for such IFSs.
We give a systematic account of iterated function systems (IFS) of weak contractions of different types (Browder, Rakotch, topological). We show that the existence of attractors and asymptotically stable invariant measures, and the validity of the random iteration algorithm ("chaos game"), can be obtained rather easily for weakly contractive systems. We show that the class of attractors of weakly contractive IFSs is essentially wider than the class of classical IFSs' fractals. On the other hand, we show that, in reasonable spaces, a typical compact set is not an attractor of any weakly contractive IFS. We explore the possibilities and restrictions to break the contractivity barrier by employing several tools from fixed point theory: geometry of balls, average contractions, remetrization technique, ordered sets, and measures of noncompactness. From these considerations it follows that while the existence of invariant sets and invariant measures can be assured rather easily for general iterated function systems under mild conditions, to establish the existence of attractors and unique invariant measures is a substantially more difficult problem. This explains the central role of contractive systems in the theory of IFSs.
We introduce the discrete version of the Hutchinson--Barnsley theory providing algorithms to approximate the Hutchinson measure for iterated function systems (IFS) and generalized iterated function systems (GIFS) complementing the discrete version of the deterministic algorithm considered in our previous work DOS to generate attractors of both classical and fuzzy IFS and GIFS.
We provide a new algorithm to generate images of the generalized fuzzy fractal attractors described in Oliveira-2017. We also provide some important results on the approximation of fractal operators to discrete subspaces with application to discrete versions of the deterministic algorithm for fractal image generation in the cases of IFS recovering the classical images from Barnsley et al., Fuzzy IFS from Cabrelli-1992 and GIFS's from Jaros-2016.
Miculescu and Mihail in 2008 introduced the concept of a \emph{generalized iterated function system} (GIFS in~short), a particular extension of the classical IFS. The idea is that, instead of families of selfmaps of a metric space~$X$, GIFSs consist of maps defined on a finite Cartesian {$m$-th power} $X^m$ with values in $X$ (in such a case we say that a GIFS is \emph{of order} $m$). It turned out that a great part of the classical {Hutchinson theory} has natural counterpart in this GIFSs' framework. On the other hand, there are known only few examples of~fractal sets which are generated by GIFSs, but which are not IFSs' {attractors}. In the paper we study $0$-dimensional compact metrizable spaces from the perspective of GIFSs' theory. We prove that each such space $X$ (in particular, countable with limit {scattered} height) is homeomorphic to the~attractor of some GIFS on the real line. Moreover, we prove that $X$ can be embedded into the real line $\R$ as {the attractor of some} GIFS of order $m$ and (in the same time) {a nonattractor} of any GIFS of order $m-1$, as well as it can be embedded as {a nonattractor of any GIFS}. {Then} we show that a relatively simple modifications of $X$ deliver spaces whose each connected component is "big" and which are GIFS's { attractors} not homeomorphic with IFS's {attractors}. Finally, we use obtained results to show that a generic compact subset of a Hilbert space is not {the} attractor of any Banach GIFS.
Let $X$ be a Banach space and $f,g:X\rightarrow X$ be contractions. We investigate the set $$ C_{f,g}:=\{w\in X:\m{ the attractor of IFS }\F_w=\{f,g+w\}\m{ is connected}\}. $$ The motivation for our research comes from papers of Mihail and Miculescu, where it was shown that $C_{f,g}$ is a countable union of compact sets, provided $f,g$ are linear bounded operators with $\pa f\pa,\pa g\pa<1$ and such that $f$ is compact. Moreover, in the case when $X$ is finitely dimensional, such sets have been intensively investigated in the last years, especially when $f$ and $g$ are affine maps. As we will be mostly interested in infinite dimensional spaces, our results can be also viewed as a next step into extending of such studies into infinite dimensional setting. In particular, unlike in the finitely dimensional case, if $X$ has infinite dimension then $C_{f,g}$ is very small set (at least nowhere dense) provided $f,g$ satisfy some natural conditions.
By a metric fractal we understand a compact metric space $K$ endowed with a finite family $\mathcal F$ of contracting self-maps of $K$ such that $K=\bigcup_{f\in\mathcal F}f(K)$. If $K$ is a subset of a metric space $X$ and each $f\in\mathcal F$ extends to a contracting self-map of $X$, then we say that $(K,\mathcal F)$ is a fractal in $X$. We prove that each metric fractal $(K,\mathcal F)$ is $\bullet$ isometrically equivalent to a fractal in the Banach spaces $C[0,1]$ and $\ell_\infty$; $\bullet$ bi-Lipschitz equivalent to a fractal in the Banach space $c_0$; $\bullet$ isometrically equivalent to a fractal in the Hilbert space $\ell_2$ if $K$ is an ultrametric space. We prove that for a metric fractal $(K,\mathcal F)$ with the doubling property there exists $k\in\mathbb N$ such that the metric fractal $(K,\mathcal F^{\circ k})$ endowed with the fractal structure $\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 $\mathbb R^d$. This result is used to prove our main result saying that each finite-dimensional compact metrizable space $K$ containing an open uncountable zero-dimensional space $Z$ is homeomorphic to a fractal in a Euclidean space $\mathbb R^d$. For $Z$, being a copy of the Cantor set, this embedding result was proved by Duvall and Husch in 1992.
A countable poset is ultrahomogeneous if every isomorphism between its finite subposets can be extended to an automorphism. The groups $\operatorname{Aut}(A)$ of such posets $A$ have a natural topology in which $\operatorname{Aut}(A)$ are Polish topological groups. We consider the problem whether $\operatorname{Aut}(A)$ contains a dense free subgroup of two generators. We show that if $A$ is ultrahomogeneous, then $\operatorname{Aut}(A)$ contains such subgroup. Moreover, we characterize whose countable ultrahomogeneous posets $A$ such that for each natural $m$, the set of all cyclically dense elements $\bar{g}\in\operatorname{Aut}(A)^m$ for the diagonal action is comeager in $\operatorname{Aut}(A)^m$. In our considerations we strongly use the result of Schmerl which says that there are essentially four types of countably infinite ultrahomogeneous posets.
The aim of this paper is to prove a counterpart of the Banach fixed point principle for mappings $f: \ell_\infty(X) \to X$, where $X$ is a metric space and $\ell_\infty(X)$ is the space of all bounded sequences of elements from~$X$. Our result generalizes the theorem obtained by Miculescu and Mihail in 2008, who proved a~counterpart of the Banach principle for mappings $f:X^m\to X$, where $X^m$ is the Cartesian product of $m$ copies of $X$. We also compare our result with a recent one due to Secelean, who obtained a weaker assertion under less restrictive assumptions. We illustrate our result with several examples and give an application.
Miculescu and Mihail in 2008 introduced a concept of a generalized iterated function system (GIFS in short), a particular extension of classical IFS. Instead of families of selfmaps of a metric space $X$, they considered families of mappings defined on finite Cartesian product $X^m$. It turned out that a great part of the classical Hutchinson--Barnsley theory has natural counterpart in this GIFSs' case. Recently, Secelean extended these considerations to mappings defined on the space $\ell_\infty(X)$ of all bounded sequences of elements of $X$ and obtained versions of the Hutchinson--Barnsley theorem for appropriate families of such functions. In the paper we study some further aspects of Secelean's setting. In particular, we introduce and investigate a bit more restrictive framework and we show that some problems of the theory have more natural solutions within such a case. Finally, we present an example which shows that this extended theory of GIFSs gives us fractal sets that cannot be obtained by any IFSs or even by any GIFSs.%In a recent paper of the authors and Jachymski we itroduced fixed point theory for mappings defined on $\ell_\infty(X)$ product of a metric space $X$. In this note we use this approach to study a version of Hutchinson--Barnsley theory of fractals for function systems consisting of such mappings. In particular, we generalize the earlier concept of generalized generated function systems introduced by Mihail and Miculescu in 2008, in which mappings defined on finite Cartesian product are considered, and compare our approach with the one introduced recently by Secelean.
Cabrelli, Forte, Molter and Vrscay in 1992 considered a {fuzzy} version of the theory of iterated function systems (IFSs in short) and their fractals%The idea was to extend the classical Hutchinson-Barnsley operator to selfmaps of a metric space to appropriate selfmaps of space of fuzzy , which now is quite rich and important part of the fractals theory. On the other hand, Miculescu and Mihail in 2008 introduced another generalization of the IFSs' theory - instead of selfmaps of a metric space $X$, they considered mappings defined on the finite Cartesian product $X^m$. %It turns out that many parts of the classical Hutchinson-Barnsley fractals theory have natural counterparts in this generalized setting. In particular, if $X$ is complete, then appropriately contractive systems of such maps generate unique fractal sets. In this paper we show that the \emph{fuzzyfication} ideas of Cabrelli et al. can be naturally adjusted to the case of mappings defined on finite Cartesian product. In particular, we define the notion of a generalized iterated fuzzy function system (GIFZS in short) and prove that it generates a unique fuzzy fractal set. We also study some basic properties of GIFZSs and their fractals, and consider the question whether our setting gives us some new fuzzy fractal sets.