Abstract:Iterated function systems (IFSs) and their attractors have been central to the theory of fractal geometry almost from its inception. Moreover, 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. The converse question, does the existence of an attractor imply that the IFS is contractive, originates in a 1959 work by Bessaga which proves a converse to the contraction mapping theorem. Although a converse is true in that case, it is known that it does not always hold for an IFS. In general, there do exist IFSs with attractors and which are not contractive. However, in the context of IFSs in Euclidean space, this question has been open. In this paper we show that a highly non-contractive iterated function system in Euclidean space can have an attractor. In order to do that, we introduce the concept of an L -expansive map, i.e., a map that has Lipschitz constant strictly greater than one under any remetrization. This is necessitated by the absence of positively expansive maps on the interval.

When $K=[0,1]$ Weak Separation Condition coincides Finite type Condition

Equicontractive weak separation property on the line does not imply convex finite type condition

ON SEPARATION PROPERTIES FOR ITERATED FUNCTION SYSTEMS OF SIMILITUDES

Continuity Dependence of Attractors of Iterated Function Systems with Orbital Condition

A Full-Invariant Theorem and Some Applications

On symmetries of the IFS attractor

Ica over Finite Fields-Separability and Algorithms

Strongly-Fibred Iterated Function Systems and the Barnsley--Vince triangle

Parametrizability of infinitely generated attractors

Uniform perfectness of the attractor of bi-Lipschitz IFS

On cut sets of attractors of iterated function systems

Conditions on the continuity of the Hausdorff measure

Highly Non-contractive Iterated Function Systems on Euclidean Space Can Have an Attractor

General Finite Type Ifs And M-Matrix

The discrete charm of iterated function systems. A computer scientist's perspective on approximation of IFS invariant sets and measures

Remarkable results obtained when studying a question concerning the invariant set of an IFS

Algebraic dependence number and cardinality of generating iterated function systems

Dynamical Properties of Iterated Function Systems

The R-IFSs and their attractors

Inhomogeneous attractors and box dimension

A Dichotomy on the Self-Similarity of Graph-Directed Attractors