Binary operations in metric spaces satisfying side inequalities

The theory of metric spaces is a convenient and very powerful way of examining the behavior of numerous mathematical models. In a previous paper, a new operation between functions on a compact real interval called fractal convolution has been introduced. The construction was done in the framework of iterated function systems and fractal theory. In this article we extract the main features of this association, and consider binary operations in metric spaces satisfying properties as idempotency and inequalities related to the distance between operated elements with the same right or left factor (side inequalities). Important examples are the logical disjunction and conjunction in the set of integers modulo 2 and the union of compact sets, besides the aforementioned fractal convolution. The operations described are called in the present paper convolutions of two elements of a metric space E. We deduce several properties of these associations, coming from the considered initial conditions. Thereafter, we define self-operators (maps) on E by using the convolution with a fixed component. When E is a Banach or Hilbert space, we add some hypotheses inspired in the fractal convolution of maps, and construct in this way convolved Schauder and Riesz bases, Bessel sequences and frames for the space

Iterated Function Systems composed of generalized theta-contractions

The theory of iterated function systems (IFSs) has been an active area of research on fractals and various types of self-similarity in nature. The basic theoretical work on IFSs has been proposed by Hutchinson. In this paper, we introduce a new generalization of Hutchinson IFS, namely generalized θ-contraction IFS, which is a finite collection of generalized θ-contraction functions T1, . . . , TN from finite Cartesian product space X × · · · × X into X, where (X, d) is a complete metric space. We prove the existence of attractor for this generalized IFS. We show that the Hutchinson operators for countable and multivalued θ-contraction IFSs are Picard. Finally, when the map θ is continuous, we show the relation between the code space and the attractor of θ-contraction IFS