Abstract
We introduce and study the concept of φ-metric modular space and, then define φ-α-Meir-Keeler contraction on it and explore its fixed point. Further, we define the Hausdorff distance between two non-empty compact subsets of the considered space. Some topological properties of φ-metric modular space are also explored. Additionally, we prove the existence of the attractor (fractal) of the IFS consisting of φ-α-Meir-Keeler contractions.
Similar content being viewed by others
1 Introduction
Hutchinson [1] introduced the term iterated function system (IFS) and was extensively explored by Barnsley [2]. The IFS is an effective tool for generating fractals. The IFS is used to construct various fractal interpolation functions. Hutchinson’s IFS theory has been extended in numerous aspects, for instance, to more general space, infinite IFS, and generalized contractions. IFS based on condition ϕ-function was constructed by Hata [3], and Fernau [4] introduced the concept of infinite IFS.
In various forms of IFS, the existence of the attractor is fundamentally assured by the fixed point theory. In wide areas of mathematics, for the existence of a solution, we generally look for a fixed point for an appropriate map. It is found that the fixed points are indispensable in wide branches of mathematics. One of the most significant, useful, and well-celebrated findings in the fixed point theory is the Banach fixed point theorem [5]. Extensive research has been done to extend the Banach fixed point theorem in various aspects. One of the techniques used to extend the Banach fixed point theorem is generalizing the underlying space. Chistyakov [6] defined and studied the concept of modular metric space. Many researchers proved fixed point results by generalizing the modular metric spaces. Some of the recent works can be found in [7–9].
In this paper, we define a generalization of modular metric space by relaxing the triangle inequality, namely φ-metric modular space. We also assume that φ-metric modular takes on real values, unlike metric modular. In the defined space, we study the φ-α-Meir-Keeler contraction by invoking the concepts of Meir-Keeler [10] and explore its fixed point. Further, we define the Hausdorff distance on the compact subsets of the φ-metric modular space. Moreover, we consider the IFS consisting of φ-α-Meir-Keeler contractions and prove that the attractor exists uniquely.
1.1 Delineation
We note all the necessary preludes required throughout the study in Sect. 2. We define the φ-metric modular space and provide examples. We also show that a large class of φ-metric modular space can be generated from the given metric modular space. In Sect. 3, we study the φ-α-Meir Keeler contraction and prove our main result regarding fixed point. To validate our result, we provide an example. In Sect. 4, we observe that, in general, φ-metric modular v need not be continuous on \(\mathbb{R}_{+} \times \mathcal{X} \times \mathcal{X}\) and give an example to support this. We define the Hausdorff distance between two non-empty compact subsets of \(\mathcal{X}\) and show that the defined Hausdorff distance is also a φ-metric modular. Moreover, we explore some topological properties of φ-metric modular space. In Sect. 5, we define an iterated function system on a φ-metric modular space and prove that the attractor exists uniquely. Finally, Sect. 6 is dedicated to the conclusions of our findings and possible future works.
2 Preliminaries
The following notations are used in this paper:
-
\(\mathcal{X}:=\) non-empty set,
-
\(\mathbb{R}_{+} := (0,\infty )\),
-
\(\mathbb{R}^{0}_{+} := [0,\infty )\),
-
\(\overline{\mathbb{R}}_{+} := [0,\infty ]\),
-
\(\mathbb{N}_{N}:=\) set of first N natural numbers,
-
\(\mathbb{N}^{*}:= \mathbb{N} \cup \{0\}\),
-
\(\operatorname{Fix}(g) :=\) collection of all fixed points of g.
Here, v will denote a function from \(\mathbb{R}_{+} \times \mathcal{X} \times \mathcal{X}\) to \(\overline{\mathbb{R}}_{+}\). With the abuse of notation, we will denote each function \(v \colon \mathbb{R}_{+} \times \mathcal{X} \times \mathcal{X} \to \overline{\mathbb{R}}_{+}\) as \(v_{\lambda}(x,y)\), \(\forall \lambda \in \mathbb{R}_{+}\) and \(x,y \in \mathcal{X}\). We will abbreviate the value of a function g at x as gx rather than \(g(x)\) for the purpose of our own convenience.
The notion of metric modular on a non-empty set \(\mathcal{X}\) can be found in [6]. Consider the following simple example:
Define \(v \colon \mathbb{R}_{+} \times \mathbb{R} \times \mathbb{R} \to \overline{\mathbb{R}}_{+}\) by
Then, it is easy to verify that v is not a metric modular space. To be precise, \(\forall x,y,z \in \mathbb{R}\) and \(\lambda ,\mu \in \mathbb{R}_{+}\)
Motivated by this example, we define φ-metric modular on \(\mathcal{X}\), which is a generalization of metric modular, by relaxing the triangle inequality as follows:
Definition 2.1
The function v is called a φ-metric modular on a non-empty set \(\mathcal{X}\) if \(\forall a,b,c \in \mathcal{X}\) and \(\lambda , \mu >0\) we have:
-
1.
\(a=b\) ⇔ \(v_{\lambda}(a,b)=0\);
-
2.
\(v_{\lambda}(a,b)=v_{\lambda}(b,a)\);
-
3.
\(v_{\lambda +\mu}(a,b) \leq \varphi (\lambda +\mu ) [v_{\lambda}(a,c)+v_{ \mu}(c,b)]\),
where \(\varphi \colon \mathbb{R}_{+} \to [1,\infty )\).
\((\mathcal{X},v)\) is then called a φ-metric modular space.
Remark 2.2
For our own convenience, we abbreviate φ-metric modular as φ-MM.
Next, we define a regular φ-MM by having a weaker assumption on the first condition of Definition 2.1 as follows:
Definition 2.3
The function v is called a regular φ-MM if \(\forall a,b,c \in \mathcal{X}\) we have:
-
1.
\(a=b \iff v_{\lambda}(a,b)=0\) for some \(\lambda >0\);
-
2.
\(\forall \lambda >0\), \(v_{\lambda}(a,b)=v_{\lambda}(b,a)\);
-
3.
\(\forall \lambda , \mu >0\), \(v_{\lambda +\mu}(a,b) \leq \varphi (\lambda +\mu ) [v_{\lambda}(a,c)+v_{ \mu}(c,b)]\),
where \(\varphi \colon \mathbb{R}_{+} \to [1,\infty )\).
\((\mathcal{X},v)\) is then called a regular φ-MM space.
Example
Consider \(v \colon \mathbb{R}_{+} \times \mathbb{R} \times \mathbb{R} \to \overline{\mathbb{R}}_{+}\) defined by
The function v is a regular φ-MM but not a φ-MM.
Remark 2.4
It is worth noting that compared to the class of metric modular spaces, the class of φ-MM spaces is significantly larger. Clearly, every metric modular is a φ-MM on \(\mathcal{X}\) for \(\varphi (\lambda )=1\), \(\forall \lambda \in \mathbb{R}_{+}\).
A large class of φ-MM spaces can be generated from a metric modular space, as evident from the following proposition:
Proposition 2.5
Let \((\mathcal{X},v^{*})\) be a metric modular and define \(v \colon \mathbb{R}_{+} \times \mathcal{X} \times \mathcal{X} \to \overline{\mathbb{R}}_{+}\) by
where \(\varphi \colon \mathbb{R}_{+} \to [1,\infty )\) is an arbitrary function. Then, \((\mathcal{X},v)\) is a φ-MM space.
Proof
Since \(v^{*}\) is a metric modular, so \(\forall a,b \in \mathcal{X}\) and \(\lambda \in \mathbb{R}_{+}\), \(v_{\lambda}(a,b) \geq 0\) and \(v_{\lambda}(a,b)=0 \iff a=b\). Also, \(v_{\lambda}(a,b)=v_{\lambda}(b,a)\). For \(a,b,c \in \mathcal{X}\) and \(\lambda ,\mu \in \mathbb{R}_{+}\), we have
Thus, v is a φ-MM, and hence \((\mathcal{X},v)\) is a φ-MM space. □
Example
Consider \(v \colon \mathbb{R}_{+} \times \mathbb{R} \times \mathbb{R} \to \overline{\mathbb{R}}_{+}\), where
Then, v is a φ-MM with \(\varphi (\lambda )=1+|\cos{\lambda}|\).
At this stage, it would be worth introducing an example that is a φ-Metric Modular Space but fails to be a Metric Modular Space.
Example
Consider \(v \colon \mathbb{R}_{+} \times \mathbb{R} \times \mathbb{R} \to \overline{\mathbb{R}}_{+}\), where
Then, v is a φ-MM with \(\varphi (\lambda )=\exp (\lambda )\). However, it fails to be a Metric Modular. To be precise, triangular inequality fails here. For instance, \(v_{1+1}(0,2) = 2 \exp (2)\) but \(v_{1}(0,1)+v_{1}(1,2)=2 \exp (1)\).
Definition 2.6
A sequence \(\{a_{n}\}\) in a φ-MM space \((\mathcal{X},v)\) is called
-
1.
v-Cauchy, or simply Cauchy, if for a given \(\epsilon >0\), \(\exists N \in \mathbb{N}\) such that \(\forall n,m>N\) and \(\lambda \in \mathbb{R}_{+}\) we have \(v_{\lambda}(a_{n},a_{m})<\epsilon \).
-
2.
v-convergent, or simply convergent to \(a \in \mathcal{X}\), if \(v_{\lambda}(a_{n},a) \to 0\) as \(n \to \infty \) \(\forall \lambda \in \mathbb{R}_{+}\).
Definition 2.7
Let \((\mathcal{X},v)\) be a φ-MM space. Then,
-
1.
\(\mathcal{X}\) is v-complete, or simply complete, if every Cauchy sequence converges in \(\mathcal{X}\).
-
2.
\(U \subseteq \mathcal{X}\) is compact if every sequence in U has a convergent subsequence.
Definition 2.8
A self map f on a φ-MM space \((\mathcal{X},v)\) is called v-continuous, or simply continuous, if for every sequence \(\{a_{n}\}\) in \(\mathcal{X}\) converging to a, we get \(\{f(a_{n})\}\) is convergent to \(f(a)\).
Definition 2.9
[11] Let \(\alpha \colon \mathcal{X} \times \mathcal{X} \to [0,\infty )\) be a function. We say that a self-mapping \(T \colon \mathcal{X} \to \mathcal{X}\) is triangular α-admissible if
-
1.
\(x,y \in X\), \(\alpha (x,y)\geq 1\) implies \(\alpha (Tx,Ty)\geq 1\).
-
2.
\(x,y,z \in X\), \(\alpha (x,z)\geq 1\) and \(\alpha (z,y)\geq 1\) implies \(\alpha (x,y)\geq 1\).
Lemma 2.10
[11] Let f be a triangular α-admissible mapping. Assume that there exists \(x_{0} \in \mathcal{X}\) such that \(\alpha (x_{0},fx_{0}) \geq 1\). Define the sequence \(\{x_{n}\}\) by \(x_{n}=f^{n}x_{0}\). Then,
3 Main result
We define the φ-α-Meir-Keeler contraction on the φ-MM space as follows:
Definition 3.1
Let \(\alpha \colon \mathcal{X} \times \mathcal{X} \to \mathbb{R}^{0}_{+}\) and \(g \colon \mathcal{X} \to \mathcal{X}\) be a self map on a φ-MM space \((\mathcal{X},v)\). Then, g is called a φ-α-Meir-Keeler contraction if for a given \(\epsilon >0\), \(\exists \delta >0\) such that \(\forall a,b \in \mathcal{X}\) and \(\lambda \in \mathbb{R}_{+}\),
If \(\alpha (a,b)=1\) \(\forall a,b \in \mathcal{X}\), then g is called a φ-Meir-Keeler contraction.
Remark 3.2
For our own sake of convenience, we shall use φ-α-MK contraction for φ-α-Meir Keeler contraction and φ-MK contraction for φ-Meir-Keeler contraction.
Proposition 3.3
Let \(g \colon \mathcal{X} \to \mathcal{X}\) be a φ-α-MK contraction on a regular φ-MM space \((\mathcal{X},v)\) with \(v_{\lambda}(x,y)< \infty \), \(\forall x,y \in \mathcal{X}\) and \(\lambda \in \mathbb{R}_{+}\). Then, for every \(a \neq b \in \mathcal{X}\), \(\lambda \in \mathbb{R}_{+}\) and \(\alpha (a,b) \geq 1\),
Proof
By regularity of v, \(\forall \lambda \in \mathbb{R}_{+}\) we have \(v_{\lambda}(a,b)>0\), since \(a \neq b\). For a given \(\epsilon >0\), \(\exists \delta >0\) such that (3.1) holds. Choose \(\epsilon = v_{\lambda}(a,b)\). Then, \(\epsilon \leq v_{\lambda}(a,b) < \varphi (\lambda )(\epsilon + \delta )\), and hence by (3.1) we get
Thus, \(v_{\lambda}(ga,gb) < v_{\lambda}(a,b)\). □
Theorem 3.4
Let \(g \colon \mathcal{X} \to \mathcal{X}\) be a self map on a complete regular φ-MM space \((\mathcal{X},v)\). Let \(\alpha \colon \mathcal{X} \times \mathcal{X} \to \mathbb{R}^{0}_{+}\) be such that g is a:
-
1.
φ-α-MK contraction;
-
2.
triangular α-admissible mapping.
Also, let \(v_{\lambda}(x,y)< \infty \), \(\forall x,y \in \mathcal{X}\) and \(\lambda \in \mathbb{R}_{+}\). If \(\alpha (a_{0},ga_{0})\geq 1\) for some \(a_{0} \in \mathcal{X}\), then g has a fixed point.
Proof
Let \(a_{0} \in \mathcal{X}\) with \(\alpha (a_{0},ga_{0})\geq 1\). Consider the sequence \(\{a_{n}\}\) in \(\mathcal{X}\) defined by \(a_{n}=g^{n}a_{0}\). Using Lemma 2.10, we get
Clearly a fixed point exists if for some \(k \in \mathbb{N^{*}}\), \(a_{k}=a_{k+1}\).
Now let \(a_{n} \neq a_{n+1}\) \(\forall n \in \mathbb{N}^{*}\). By regularity of \((\mathcal{X},v)\), we have
By Proposition 3.3,
Define \(\sigma _{n}=v_{\lambda}(a_{n},a_{n+1})\) \(\forall n \in \mathbb{N^{*}}\). Then, \(\{\sigma _{n}\}\) is a strictly decreasing sequence with \(\sigma _{n}>0\). Clearly \(\sigma _{n} \to \sigma \geq 0\) for some \(\sigma \in \mathbb{R}\). Let, if possible, \(\sigma >0\), then \(0<\sigma <\sigma _{n}\) \(\forall n \in \mathbb{N^{*}}\).
For \(\epsilon =\sigma >0\), \(\exists \delta >0\) such that (3.1) holds. Also, \(\exists n_{0} \in \mathbb{N}\) such that
Using (3.1), we have
which is a contradiction. Therefore, \(\sigma =0\) and hence \(\lim_{n \to \infty}v_{\lambda}(a_{n},a_{n+1})=0\), \(\forall \lambda >0\). Let \(\epsilon >0\) be given and \(\delta < \epsilon \) be such that (3.1) holds. Since \(\sigma =0\), \(\exists N \in \mathbb{N}\) such that
Claim: For arbitrary fixed \(m \geq N+1\)
For \(l=1\), (3.3) holds by using (3.2).
Let (3.3) hold for \(l=p\). Then, \(v_{\lambda}(a_{m},a_{m+p})\leq \epsilon \).
Now for \(l=p+1\), we have
If \(v_{\lambda}(a_{m-1},a_{m+p}) \geq \epsilon \), then by (3.1), we have
If \(v_{\lambda}(a_{m-1},a_{m+p}) < \epsilon \), then
Thus, in any case, (3.3) holds. Hence \(\{a_{n}\}\) is a v-cauchy sequence. By completeness of \(\mathcal{X}\), \(\exists a^{*} \in \mathcal{X}\) such that \(v_{1}(a_{n},a^{*}) \to 0\) as \(n \to \infty \).
Now,
Therefore, \(v_{2}(a^{*},ga^{*})=0\). By regularity of \(\mathcal{X}\), we have \(a^{*}=ga^{*}\). □
Remark 3.5
The above theorem ensures that the fixed point of the function exists. The following result ensures the uniqueness.
Proposition 3.6
Let \(g \colon \mathcal{X} \to \mathcal{X}\) be a self map on a complete regular φ-MM space \((\mathcal{X},v)\). Let \(\alpha \colon \mathcal{X} \times \mathcal{X} \to \mathbb{R}^{0}_{+}\) be such that g is a:
-
1.
φ-α-MK contraction;
-
2.
triangular α-admissible mapping.
Also, let \(v_{\lambda}(x,y)< \infty \), \(\forall x,y \in \mathcal{X}\) and \(\lambda \in \mathbb{R}_{+}\). If \(\alpha (x,y)\geq 1\), \(\forall x,y \in \mathcal{X}\), then g has a unique fixed point.
Proof
By Theorem 3.4, g has a fixed point. Let \(x_{1}\) and \(x_{2}\) be two fixed points of g. If \(x_{1} \neq x_{2}\), using Proposition 3.3, we get,
which is a contradiction. Thus, the fixed point of g is unique. □
Corollary 3.7
Let \(g \colon \mathcal{X} \to \mathcal{X}\) be a φ-MK contraction map on a complete regular φ-MM space \((\mathcal{X},v)\) with \(v_{\lambda}(x,y)< \infty\), \(\forall x,y \in \mathcal{X}\) and \(\lambda \in \mathbb{R}_{+}\). Then, the fixed point of g is unique.
Remark 3.8
It is a special case of Theorem 3.4, where \(\alpha (x_{1},x_{2})=1\), \(\forall x_{1},x_{2} \in \mathcal{X}\).
Example
Endow \(\mathbb{R}\) with the φ-MM defined by
Define \(g\colon \mathbb{R} \to \mathbb{R}\) and \(\alpha \colon \mathbb{R} \times \mathbb{R} \to \mathbb{R}^{0}_{+}\) by
and
Clearly g is a triangular α-admissible mapping. Also, \(\mathbb{R}\) is v-complete. Further, there exists \(z_{0} \in \mathbb{R}\) such that \(\alpha (z_{0},gz_{0})\geq 1\). Next we shall show that g is φ-α-MK contraction.
Let \(\epsilon >0\) be given. Choose any \(\delta >0\) with \(\delta <\epsilon \).
Let also \(\epsilon \leq v_{\lambda}(a,b)<\varphi (\lambda )(\epsilon +\delta )\).
If \(a \text{ or }b \notin [0,1]\), then obviously \(\alpha (a,b)v_{\lambda}(ga,gb)<\epsilon \).
Let \(0 \leq a,b \leq 1\). Then by definition \(\alpha (a,b)=1\) and
Hence for any given \(\epsilon >0\), \(\exists \delta >0\) such that whenever \(\epsilon \leq v_{\lambda}(a,b)<\varphi (\lambda )(\epsilon +\delta )\), then \(\alpha (a,b)v_{\lambda}(ga,gb)<\epsilon \). Therefore, g is a φ-α-MK contraction. By Theorem 3.4, g has a fixed point. In fact, 0 is the fixed point of g.
4 Hausdorff distance on \({K}(\mathcal{X})\)
In general, the φ-MM v need not be continuous on \(\mathbb{R}_{+} \times \mathcal{X} \times \mathcal{X}\). For instance,
Example
Let \(\mathcal{X}=\mathbb{N} \cup \{\infty \}\) and define \(v\colon \mathbb{R}_{+} \times \mathcal{X} \times \mathcal{X} \to \mathbb{R}^{0}_{+}\) by
Then, \(v_{\lambda}\) is a φ-MM with \(\varphi (\lambda )=3\).
Let \(x_{n}=2n+1\). Then, \(v_{\lambda}(x_{n},\infty )=v_{\lambda}(2n+1,\infty )= \vert \frac{1}{2n+1}-\frac{1}{\infty} \vert \to 0\) as \(n \to \infty \). So, \(x_{n} \to \infty \).
Now, \(v_{\lambda}(x_{n},2)=v_{\lambda}(2n+1,2)=2\) and \(v_{\lambda}(\infty ,2)=5\).
Thus, \(v_{\lambda}(x_{n},2) \not \to v_{\lambda}(\infty ,2)\) as \(n \to \infty \), and hence \(v_{\lambda}\) is not continuous on \(\mathbb{R}_{+} \times \mathcal{X} \times \mathcal{X}\).
For the rest of the sections, we will assume that v is a continuous mapping. From here on, \((\mathcal{X},v)\) will denote φ-MM space, where v is a continuous mapping and \(v_{\lambda}(x,y)< \infty \), \(\forall x,y \in \mathcal{X}\) and \(\lambda \in \mathbb{R}_{+}\).
Some more notations:
-
\(K(\mathcal{X}):=\{ U \subseteq \mathcal{X}: U\text{ is non-empty and compact}\}\).
-
\(v_{\lambda}(x,U):=\inf \{v_{\lambda}(x,u) \colon u \in U\}\) for \(x \in \mathcal{X}\) and \(U \subseteq \mathcal{X}\).
-
\(v_{\lambda}(U,W):=\inf \{v_{\lambda}(u,w): u \in U, w \in W\}\) for \(U,W \in K(\mathcal{X})\).
-
\(B_{\lambda}(x, \epsilon ):= \{y \in \mathcal{X}: v_{\lambda}(x,y)< \epsilon \}\).
Definition 4.1
Let \((\mathcal{X},v)\) be a φ-MM space. A set \(U \subseteq \mathcal{X}\) is said to be totally bounded if for any given \(\epsilon >0\), ∃ finite collection \(\{u_{i}; 1 \leq i \leq k\} \subseteq U\) for some \(k \in \mathbb{N}\) such that \(U \subseteq \bigcup_{i=1}^{n} B_{\lambda }(u_{i}, \epsilon )\), \(\forall \lambda \in \mathbb{R}_{+}\).
Proposition 4.2
Let \((\mathcal{X},v)\) be a (regular) φ-MM space. Then, for each \(x \in \mathcal{X}\), \(U \in K(\mathcal{X})\) and \(\lambda \in \mathbb{R}_{+}\),
Proof
Since \(u \mapsto v_{\lambda}(x,u)\) is a continuous function, so by compactness of U, \(\exists u_{0} \in U\) such that \(\inf \{v_{\lambda}(x,u) \colon u \in T\}=v_{\lambda}(x,u_{0})\). Thus, \(v_{\lambda}(x,U)=v_{\lambda}(x,u_{0})\). □
Proposition 4.3
Let \((\mathcal{X},v)\) be a (regular) φ-MM space. Then, for every \(U,W \in K(\mathcal{X})\) and \(\lambda \in \mathbb{R}_{+}\), \(\exists u_{0} \in U\) such that \(\sup_{u \in U}\{v_{\lambda}(u,W)\}=v_{\lambda}(u_{0},W)\).
Proof
Let \(\epsilon =\sup_{u \in U}v_{\lambda}(u,W)\). Then, \(\exists u_{n} \in U\) such that \(\epsilon - \frac{1}{n}< v_{\lambda}(u_{n},W)\). Since \(U \in K(\mathcal{X})\), ∃ subsequence \(\{u_{n_{k}}\}\) of \(\{u_{n}\}\) and \(u_{0} \in U\) such that \(u_{n_{k}} \to u_{0}\). Let \(w \in W\) be such that \(v_{\lambda}(u_{0},w)=v_{\lambda}(u_{0},W)\). Then, \(\lim_{k \to \infty}v_{\lambda}(u_{n_{k}},w)=v_{ \lambda}(u_{0},w)\).
Since for each \(k \in \mathbb{N}\), \(\epsilon - \frac{1}{n_{k}}< v_{\lambda}(u_{n_{k}},W)\).
We have, \(\epsilon \leq v_{\lambda}(u_{0},w) = v_{\lambda}(u_{0},W)\) and obviously \(\epsilon \geq v_{\lambda}(u_{0},W)\).
Therefore, \(\sup_{u \in U}\{v_{\lambda}(U,W)\}=v_{\lambda}(u_{0},W)\). □
Consider a (regular) φ-MM space \((\mathcal{X},v)\). We define a function \(H_{v} \colon \mathbb{R}_{+} \times K(\mathcal{X}) \times K( \mathcal{X}) \to \mathbb{R}^{0}_{+}\) by
or, equivalently,
where \(U+\epsilon =\{x \in \mathcal{X} \colon v_{\lambda}(x,u)<\epsilon \text{ for some } u \in U\}\).
Proposition 4.4
Let \((\mathcal{X},v)\) be a (regular) φ-MM space. Let \(U,W \in K(\mathcal{X})\) and \(\lambda , \mu \in (0,\infty )\). Then
where \(w_{s} \in W\) such that \(v_{\lambda}(s,w_{s})=v_{\lambda}(s,W)\) and \(s \in \mathcal{X}\).
Proof
By Proposition 4.2, \(\exists w_{s} \in W\) such that \(v_{\lambda}(s,W)=v_{\lambda}(s,w_{s})\).
For each \(u \in U\), we have
Hence,
which completes the proof. □
Theorem 4.5
Consider the (regular) φ-MM space \((\mathcal{X},v)\). Then, \((K(\mathcal{X}),H_{v})\) is also a (regular) φ-MM space with the same φ.
Proof
Let \(S,U,W \in K(\mathcal{X})\) and \(\lambda , \mu \in \mathbb{R}_{+}\).
Then, \(H_{v}(\lambda ,S,U) \geq 0\) and \(S=U\) if and only if \(H_{v}(\lambda ,S,U)=0\).
Now, we shall show the triangle inequality. By Proposition 4.4, for \(s \in S\), we have
where \(w_{s} \in W\) such that \(v_{\lambda}(s,w_{s})=v_{\lambda}(s,W)\).
Similarly,
Now,
Hence \((K(\mathcal{X}),H_{v})\) is a φ-MM space with the same φ. □
Proposition 4.6
Let \(U,W \in K(\mathcal{X})\). For each \(u \in U\), \(\exists w \in W\) such that \(v_{\lambda}(u,w) \leq H_{v}(\lambda ,U,W)\).
Proof
Let \(u \in U\). Then, by Proposition 4.2, \(\exists w \in W\) such that \(v_{\lambda}(u,w)=v_{\lambda}(u,W) \leq \sup_{u \in U}v_{ \lambda}(u,W) \leq H_{v}(\lambda ,U,W)\). □
Proposition 4.7
Consider a complete (regular) φ-MM space \((\mathcal{X},v)\). Every closed subset W of \(\mathcal{X}\) is complete.
Proof
It is straightforward. □
Proposition 4.8
A (regular) φ-MM space \((\mathcal{X},v)\), with \(\varphi (\lambda ) \leq \Lambda \) for some \(\Lambda \geq 1\), is compact iff it is totally bounded and complete.
Proof
We omit the proof as it is analogous to the case where \((\mathcal{X},d)\) is a metric space. □
Proposition 4.9
Consider a (regular) φ-MM space \((\mathcal{X},v)\) such that \(\varphi (\lambda ) \leq \Lambda \) for some \(\Lambda \geq 1\). If \(\{a_{n}\}\) is a sequence in \(\mathcal{X}\) such that
then \(\{a_{n}\}\) is a Cauchy sequence.
Proof
Let \(\epsilon >0\) be given. Choose \(N \in \mathbb{N}\) such that \(\{\frac{\Lambda}{\Lambda +1} \}^{N-1}<\frac{\epsilon}{2}\).
For \(n>m \geq N\), we have
Hence, \(\{a_{n}\}\) is a Cauchy sequence. □
Proposition 4.10
Let \((\mathcal{X},v)\) be a (regular) φ-MM space. For each \(U \in K(\mathcal{X})\), the set \(U+\epsilon \) is a closed set.
Proof
Let \(U \in K(\mathcal{X})\) and u be any limit point of \(U+\epsilon \). Then, \(\exists \{u_{n}\}\) such that \(u_{n} \to u\) as \(n \to \infty \), where \(u_{n} \in U+\epsilon \), \(\forall n \in \mathbb{N}\).
Clearly, \(v_{\lambda}(u_{n},U)\leq \epsilon \), \(\forall n \in \mathbb{N}\). By Proposition 4.2, \(\exists x_{n} \in U\) such that \(v_{\lambda}(u_{n},U)=v_{\lambda}(u_{n},x_{n})\) and hence \(v_{\lambda}(u_{n},x_{n})\leq \epsilon \), \(\forall n \in \mathbb{N}\). U being a compact subset, ∃ a subsequence \(\{x_{n_{k}}\}\) of \(\{x_{n}\}\) converging to some point of U, say, x. By continuity of v, we have \(v_{\lambda}(u_{n_{k}},x_{n_{k}}) \to v_{\lambda}(u,x)\) as \(k \to \infty \). So, \(v_{\lambda}(u,x)\leq \epsilon \). Therefore, \(u \in U+\epsilon \) and hence \(U+\epsilon \) is a closed set. □
Proposition 4.11
Consider a (regular) φ-MM space \((\mathcal{X},v)\) such that \(\varphi (\lambda ) \leq \Lambda \) for some \(\Lambda \geq 1\). For a Cauchy sequence \(\{U_{n}\}\) in \(K(\mathcal{X})\), let \(\{u_{n_{k}}\}\) be a Cauchy sequence in \(\mathcal{X}\) such that \(u_{n_{k}} \in U_{n_{k}}\), \(\forall k \in \mathbb{N}\), for some increasing sequence of natural numbers. Then, ∃ a Cauchy sequence \(\{x_{n}\}\) such that \(x_{n} \in U_{n}\) and \(x_{n_{k}}=u_{n_{k}}\), \(\forall k \in \mathbb{N}\).
Proof
Let \(\{u_{n_{k}}\}\) be a Cauchy sequence in \(\mathcal{X}\) such that \(u_{n_{k}} \in U_{n_{k}}\), \(\forall k \in \mathbb{N}\). For \(n_{k-1}< n \leq n_{k}\), where \(n_{0}=0\), using Proposition 4.2, choose \(x_{n} \in U_{n}\) such that \(v_{\lambda}(u_{n_{k}},U_{n})=v_{\lambda}(u_{n_{k}},x_{n})\). Then,
Clearly, \(u_{n_{k}}=x_{n_{k}}\), \(\forall k \in \mathbb{N}\). Let \(\epsilon >0\) be given. Since \(\{U_{n}\}\) is a Cauchy sequence in \(K(\mathcal{X})\), \(\exists N_{1} \in \mathbb{N}\) such that \(H_{v}(\lambda ,U_{n},U_{m})<\frac{\epsilon}{\Lambda +2\Lambda ^{2}}\), \(\forall n,m \geq N_{1}\) and \(\lambda \in \mathbb{R}_{+}\). Also, since \(\{u_{n_{k}}\}\) is a Cauchy sequence in \(\mathcal{X}\), \(\exists N_{2} \in \mathbb{N}\) such that \(v_{\lambda}(u_{n_{k}},u_{n_{j}})< \frac{\epsilon}{\Lambda +2\Lambda ^{2}}\), \(\forall n_{k},n_{j} \geq N_{2}\) and \(\lambda \in \mathbb{R}_{+}\). Now for \(n,m \geq N=\max \{N_{1},N_{2}\}\),
Hence, \(\{x_{n}\}\) is a Cauchy sequence such that \(x_{n} \in U_{n}\) and \(x_{n_{k}}=u_{n_{k}}\), \(\forall k \in \mathbb{N}\). □
Proposition 4.12
Consider a complete (regular) φ-MM space \((\mathcal{X},v)\) such that \(\varphi (\lambda ) \leq \Lambda \) for some \(\Lambda \geq 1\), and let \(\{U_{n}\}\in K(\mathcal{X})\) be a Cauchy sequence. Define \(U=\{u \in \mathcal{X}: u_{n} \to u, \textit{where } u_{n} \in U_{n}\}\). Then, the set U is non-empty and closed.
Proof
Given that \(\{U_{n}\}\) is a Cauchy sequence in \(K(\mathcal{X})\), choose \(n_{1} \in \mathbb{N}\) such that \(H_{v}(\lambda , U_{m},U_{n})<\frac{1}{\Lambda +1}\), \(\forall n,m \geq n_{1}\) and \(\lambda \in \mathbb{R}_{+}\). Again choose \(n_{2}>n_{1}\) such that \(H_{v}(\lambda ,U_{m},U_{n})<\frac{1}{(\Lambda +1)^{2}}\), \(\forall n,m \geq n_{2}\) and \(\lambda \in \mathbb{R}_{+}\). Continuing the process, we get an increasing sequence \(\{n_{k}\}\) such that \(H_{v}(\lambda ,U_{m},U_{n})<\frac{1}{(\Lambda +1)^{k}}\), \(\forall n,m \geq n_{k}\) and \(\lambda \in \mathbb{R}_{+}\). Let us fix an element \(u_{n_{1}} \in U_{n_{1}}\). Using Proposition 4.2, \(\exists u_{n_{2}} \in U_{n_{2}}\) such that \(v_{\lambda}(u_{n_{1}},u_{n_{2}})=v_{\lambda}(u_{n_{1}},U_{n_{2}})\). Now,
\(v_{\lambda}(u_{n_{1}},u_{n_{2}})=v_{\lambda}(u_{n_{1}},U_{n_{2}}) \leq \sup_{u \in U_{n_{1}}}\{v_{\lambda}(u,U_{n_{2}}) \} \leq H_{v}(\lambda ,U_{n_{1}},U_{n_{2}})<\frac{1}{(\Lambda +1)}\). Similarly, we choose \(u_{n_{3}} \in U_{n_{3}}\) such that \(v_{\lambda}(u_{n_{2}},u_{n_{3}})=v_{\lambda}(u_{n_{2}},U_{n_{3}}) \leq H_{v}(\lambda ,U_{n_{2}},U_{n_{3}})<\frac{1}{(\Lambda +1)^{2}}\). Continuing the process, we get a sequence \(\{u_{n_{k}}\}\), where \(u_{n_{k}}\in U_{n_{k}}\), \(\forall k \in \mathbb{N}\) such that
Using Proposition 4.9, we get \(\{u_{n_{k}}\}\) is a Cauchy sequence. Again, by Proposition 4.11, ∃ a Cauchy sequence \(\{x_{n}\}\) in \(\mathcal{X}\) such that \(x_{n} \in U_{n}\) and \(x_{n_{k}}=u_{n_{k}}\), \(\forall k \in \mathbb{N}\). \(\mathcal{X}\) being complete, \(\{x_{n}\}\) converges to \(x\text{ (say)} \in \mathcal{X}\). Thus, U is a non-empty set.
Let z be any limit point of U. Then, ∃ a sequence \(\{z_{k}\} \in U\setminus \{z\}\) such that \(z_{k} \to z\) as \(k \to \infty \). Since each \(z_{k} \in U\), ∃ a sequence \(\{a_{n}^{k}\}\) such that \(a_{n}^{k} \to z_{k}\) as \(n \to \infty \) and \(a_{n}^{k} \in U_{n}\) for each \(n \in \mathbb{N}\). It follows that \(\exists n_{1}\) such that \(a_{n_{1}}^{1} \in U_{n_{1}}\) and \(v_{\lambda}(a_{n_{1}}^{1},z_{1})<1\). Similarly, \(\exists n_{2} > n_{1}\) such that \(a_{n_{2}}^{2} \in U_{n_{2}}\) and \(v_{\lambda}(a_{n_{2}}^{2},z_{2})<\frac{1}{2}\). Continuing the process, we get an increasing sequence \(\{n_{k}\}\) such that \(v_{\lambda}(a_{n_{k}}^{k},z_{k})<\frac{1}{k}\), \(\forall k \in \mathbb{N}\) and \(\lambda \in \mathbb{R}_{+}\). Now, \(v_{\lambda}(a_{n_{k}}^{k},z) \leq \varphi (\lambda )\{v_{ \frac{\lambda}{2}}(a_{n_{k}}^{k},z_{k})+v_{\frac{\lambda}{2}}(z_{k},z) \}\). So, \(a_{n_{k}}^{k} \to z\) as \(k \to \infty \). Thus, \(\{a_{n_{k}}\}\) is a Cauchy sequence such that \(a_{n_{k}}^{k} \in U_{n_{k}}\), \(\forall k \in \mathbb{N}\). Using Proposition 4.11, ∃ a Cauchy sequence \(\{y_{n}\}\) in \(\mathcal{X}\) such that \(y_{n} \in U_{n}\) and \(y_{n_{k}}=a_{n_{k}}^{k}\). Thus, \(z \in U\), and, hence, U is a closed set. □
Proposition 4.13
Consider a complete (regular) φ-MM space \((\mathcal{X},v)\) such that \(\varphi (\lambda ) \leq \Lambda \) for some \(\Lambda \geq 1\), and let \(\{U_{n}\}\) be a sequence of totally bounded subsets of \(\mathcal{X}\). Also, let \(U \subseteq \mathcal{X}\) be such that for each \(\epsilon >0\), \(U \subseteq U_{N}+\epsilon \) for some \(N \in \mathbb{N}\). Then, U is also a totally bounded set.
Proof
Let \(\epsilon >0\) be given. Choose \(N \in \mathbb{N}\) such that \(U \subseteq U_{N}+\frac{\epsilon}{4\Lambda ^{2}}\). Since \(U_{N}\) is a totally bounded set, there exists a finite set \(\{u_{i} \in U_{N}; 1\leq i \leq k\}\) such that \(U_{N} \subseteq \bigcup_{i=1}^{k}B_{\lambda}(u_{i}, \frac{\epsilon}{4\Lambda ^{2}})\), \(\forall \lambda \in \mathbb{R}_{+}\). For each \(u \in U\), \(\exists x \in U_{N}\) such that \(v_{\lambda}(x,u) \leq \frac{\epsilon}{4\Lambda ^{2}}\), \(\forall \lambda \in \mathbb{R}_{+}\). Moreover, \(\exists u_{i} \in U_{N}\) such that \(v_{\lambda}(x,u_{i})\leq \frac{\epsilon}{4\Lambda ^{2}}\), \(\forall \lambda \in \mathbb{R}_{+}\). Now,
Therefore, for some \(1\leq i \leq k\), \(B_{\lambda}(u_{i},\frac{\epsilon}{2\Lambda}) \cap U \neq \emptyset \), \(\forall \lambda \in \mathbb{R}_{+}\). By reordering \(u_{i}\text{'}s\), if required, we may assume that
\(B_{\lambda}(u_{i},\frac{\epsilon}{2\Lambda}) \cap U \neq \emptyset \) for \(1\leq i \leq p\) and \(B_{\lambda}(u_{i},\frac{\epsilon}{2\Lambda}) \cap U = \emptyset \) for \(p < i \leq k\).
Now, for each \(1 \leq i \leq p\), let \(y_{i} \in B_{\lambda}(u_{i},\frac{\epsilon}{2\Lambda}) \cap U\). Let \(u \in U\). Then,
Thus, for each \(u \in U\), \(\exists y_{i}, 1 \leq i \leq p\) such that \(u \in B_{\lambda}(y_{i},\epsilon )\), \(\forall \lambda \in \mathbb{R}_{+}\). Hence, U is totally bounded. □
Proposition 4.14
Consider a complete (regular) φ-MM space \((\mathcal{X},v)\) such that \(\varphi (\lambda ) \leq \Lambda \) for some \(\Lambda \geq 1\). Then, \((K(\mathcal{X}),H_{v})\) is also a complete (regular) φ-MM space.
Proof
Since \((\mathcal{X},v)\) is a φ-MM space, by Theorem 4.5, \((K(\mathcal{X}),H_{v})\) is also a φ-MM space. Let \(\{U_{n}\}\) be a Cauchy sequence in \(K(\mathcal{X})\). Then, each \(U_{n}\) is totally bounded and complete. Define \(U=\{x \in \mathcal{X}: x_{n} \to x, \text{where } x_{n} \in U_{n}\}\). We shall show that \(U \in K(\mathcal{X})\) and \(\{U_{n}\}\) converges to U. By Proposition 4.12, U is non-empty and closed. Let \(\epsilon >0\) be given. Since \(\{U_{n}\}\) is a Cauchy sequence \(\exists N \in \mathbb{N}\) such that \(H_{v}(\lambda ,U_{m},U_{n}) < \epsilon \), \(\forall m,n \geq N\) and \(\lambda \in \mathbb{R}_{+}\). Then, \(U_{m} \subseteq U_{n}+\epsilon \), \(\forall m,n \geq N\). Let \(u \in U\) and fix \(n \geq N\). Then, ∃ a sequence \(\{u_{i}\}\) such that \(\{u_{i}\}\) converges to u and \(u_{i} \in U_{i}\), \(\forall i \in \mathbb{N}\). By Proposition 4.10, \(U_{n}+\epsilon \) is closed, and since \(u_{i} \in U_{n}+\epsilon \), \(\forall i \geq N\), we get that \(u \in U_{n}+\epsilon \). Hence \(U \subseteq U_{n}+\epsilon \). By Proposition 4.13, U is totally bounded. Also, the set U is complete. Since U is totally bounded and complete, U is compact. Thus, \(U \in K(\mathcal{X})\).
Let \(\epsilon >0\) be given. We shall prove that \(\exists N_{1} \in \mathbb{N}\) such that \(H_{v}(\lambda ,U_{n},U)<\epsilon \), \(\forall n \geq N_{1}\) and \(\lambda \in \mathbb{R}_{+}\). It is sufficient to show that \(U \subseteq U_{n}+\epsilon \) and \(U_{n} \subseteq U+\epsilon \). From the first part of the proof, it is already known that \(\exists N_{1}\) such that \(U \subseteq U_{n}+\epsilon \) \(\forall n \geq N_{1}\). Now, we shall show that \(U_{n} \subseteq U+\epsilon \). Let \(y \in U_{n}\). Since \(\{U_{n}\}\) is a Cauchy sequence, \(\exists N_{2} \in \mathbb{N}\) such that \(H_{v}(\lambda ,U_{n},U_{m})< \frac{\epsilon}{2(\Lambda +1)}= \epsilon _{1}\), \(\forall n \geq N_{2}\). Moreover, ∃ a strictly increasing sequence of natural numbers \(\{n_{k}\}\) such that \(H_{v}(\lambda ,U_{m},U_{n}) < \frac{\epsilon _{1}}{(1+\Lambda )^{k+1}}\), \(\forall m,n \geq n_{k}\) and \(n_{1} > N_{2}\). Since \(U_{n} \subseteq U_{n_{1}}+\frac{\epsilon _{1}}{(1+\Lambda )}\), \(\exists x_{n_{1}} \in U_{n_{1}}\) such that \(v_{\lambda}(y,x_{n_{1}})< \frac{\epsilon _{1}}{(1+\Lambda )}\). Again, since \(U_{n_{1}} \subseteq U_{n_{2}}+\frac{\epsilon _{1}}{(1+\Lambda )^{2}}\), \(\exists x_{n_{2}} \in U_{n_{2}}\) such that \(v_{\lambda}(x_{n_{1}},x_{n_{2}})< \frac{\epsilon _{1}}{(1+\Lambda )^{2}}\). Continuing the process, we get a sequence \(\{x_{n_{i}}\}\) such that \(v_{\lambda}(x_{n_{i}},x_{n_{i+1}})< \frac{\epsilon _{1}}{(1+\Lambda )^{i+1}}\) for \(i \in \mathbb{N^{*}}\), where \(y=x_{n_{0}}\). Since \(\{x_{n_{i}}\}\) is a Cauchy sequence, by Proposition 4.11, ∃ a Cauchy sequence \(\{a_{n}\}\) such that \(a_{n} \in U_{n}\), \(\forall n \in \mathbb{N}\) and \(a_{n_{i}}=x_{n_{i}}\), \(\forall i \in \mathbb{N}\). Let \(\{a_{n}\}\) converges to a. Then,
Since v is a continuous function, we have \(v_{\lambda}(y,a)< \epsilon \) and hence \(U_{n} \subseteq U+\epsilon \). Thus, \(\exists N_{1} \in \mathbb{N}\) such that \(U_{n} \subseteq U+\epsilon \), \(\forall n \geq N_{1}\). Therefore, \(H_{v}(\lambda ,U_{n},U)<\epsilon \) \(\forall n \geq N_{1}\) and \(\lambda \in \mathbb{R}_{+}\). Thus, \(\{U_{n}\}\) converges to \(U \in K(\mathcal{X})\). This completes the proof. □
5 Iterated function system
Definition 5.1
A mapping \(g\colon Y \to Y\) on a complete metric space \((Y,d)\) is called a contraction mapping if
The constant r is said to be the contractivity factor for g.
Definition 5.2
A complete metric space \((Y,d)\) together with a finite collection of contraction mappings \(g_{n} \colon Y \to Y\); \(n \in \mathbb{N}_{m}\) is called an iterated function system (IFS).
Define \(F\colon K(Y) \to K(Y)\), known as the Hutchinson operator, by \(F(A)=\bigcup_{n=1}^{m}g_{n}(A)\) for each \(A \in K(Y)\), where \(g_{n}(A)=\{g_{n}(x) \colon x \in A\}\). Any set \(G \in K(Y)\) such that \(F(G)=G\) is called an attractor of the IFS.
Similarly, we define the iterated function system (IFS) on the φ-MM space consisting of φ-α-MK contractions as follows:
Definition 5.3
A complete (regular) φ-MM space, \((\mathcal{X},v)\), together with a finite collection \(g_{n} \colon \mathcal{X} \to \mathcal{X}\); \(n \in \mathbb{N}_{N}\) of φ-α-MK contractions is called φ-α-MK contractive iterated function system in \((\mathcal{X},v)\) and will be denoted as \(\{\mathcal{X};g_{n},n \in \mathbb{N}_{N}\}\).
Define \(F\colon K(\mathcal{X}) \to K(\mathcal{X})\) by \(F(A)=\bigcup_{n=1}^{N}g_{n}(A)\) for each \(A \in K(\mathcal{X})\), where \(g_{n}(A)=\{g_{n}(x) \colon x \in A\}\). Any set \(G \in K(\mathcal{X})\) such that \(F(G)=G\) is called an attractor for the IFS.
Remark 5.4
We call the set valued map F on \(K(\mathcal{X})\) as the Hutchinson operator.
Let \(\{\mathcal{X};g_{k},k \in \mathbb{N}_{N}\}\) be a φ-α-MK contractive IFS on a (regular) φ-MM space \((\mathcal{X},v)\). We associate a multivalued function on \(K(\mathcal{X})\) using \(g_{k}\); \(k \in \mathbb{N}_{N}\) as follows:
Then, the operator \(F\colon K(\mathcal{X}) \to K(\mathcal{X})\) can also be written as
Proposition 5.5
Let ψ be defined as above. Then, ψ is a continuous map.
Proof
Let \(\epsilon >0\) be given. Also, let \(x_{n} \to x\) in \(\mathcal{X}\). Define,
As each \(g_{k}\); \(k \in \mathbb{N}_{N}\) is a continuous map, so \(g_{k}(x_{n}) \to g_{k}(x)\) for each \(k \in \mathbb{N}_{N}\).
So, for \(\frac{\epsilon}{2}>0\), \(\exists m \in \mathbb{N}\) such that for all \(\lambda \in \mathbb{R}_{+}\),
Then, \(B_{n} \subseteq B+{\frac{\epsilon}{2}}\) and \(B \subseteq B_{n}+{\frac{\epsilon}{2}}\) for all \(n \geq m\).
So, \(H_{v}(\lambda ,B_{n},B)=\inf \{\delta \geq 0; B_{n} \subseteq B+{ \delta}, B \subseteq B_{n}+{\delta}\}< \epsilon \).
Therefore, \(\psi (x_{n}) \to \psi (x)\), and hence ψ is a continuous map. □
Proposition 5.6
The Hutchinson operator for \(\{\mathcal{X};g_{n},n \in \mathbb{N}_{N}\}\) is a continuous map on \(K(\mathcal{X})\).
Proof
Let \(S_{n},S \in K(\mathcal{X})\) such that \(S_{n} \to S\) with respect to \(H_{v}\).
Setting \(S^{*}=\bigcup_{n=1}^{\infty }\{S_{n}\}\cup S\) we get \(S^{*} \in K(\mathcal{X})\). By Proposition 5.5, ψ is a continuous map and \(S^{*}\) being compact, it is uniformly continuous on \(S^{*}\). Let \(\epsilon >0\) be given. Then, for \(\frac{\epsilon}{2}>0\), we find \(\delta >0\) such that for every pair \(z_{1},z_{2} \in S^{*}\), \(v_{\lambda}(z_{1},z_{2})<\delta \) implies \(H_{v}(\lambda ,\psi (z_{1}), \psi (z_{2}))<\frac{\epsilon}{2}\).
Now let \(S_{1},S_{2} \in K(S^{*})\) be such that \(H_{v}(\lambda ,S_{1},S_{2})<\delta \). Then,
As, \(S_{2} \subseteq S_{1}+\delta \) and using the uniform continuity of ψ on \(S^{*}\), we have
By symmetry, \(\psi (S_{1}) \subseteq (\psi (S_{2}))+\epsilon \). Hence, \(H_{v}(\lambda ,\psi (S_{1}),\psi (S_{2}))<\epsilon \). So, F is uniformly continuous on \(K(S^{*})\), and consequently, \(F(S_{n}) \to F(S)\) as \(n \to \infty \). Therefore, F is continuous on \(K(\mathcal{X})\). □
Theorem 5.7
Let \((\mathcal{X},v)\) be a (regular) φ-MM space. Let \(g_{n} \colon \mathcal{X} \to \mathcal{X}\) be φ-α-MK contraction for \(n \in \mathbb{N}_{N}\). Then, the function \(F \colon K(\mathcal{X}) \to K(\mathcal{X})\) defined by \(F(A)= \bigcup_{n=1}^{N}g_{n}(A)\), where \(g_{n}(A)=\{g_{n}(a) : a \in A\}\) for every \(A \in K(\mathcal{X})\) is a φ-MK contraction map with respect to the induced (regular) φ-metric modular \(H_{v}\).
Proof
Let \(\epsilon >0\) be given. Then, \(\exists \delta _{n}>0\); \(n \in \mathbb{N}_{N}\) such that
Let \(A,B \in K(\mathcal{X})\) be such that \(\epsilon \leq H_{v}(\lambda ,A,B)<\varphi (\lambda )(\epsilon + \delta )\), where \(\delta =\min \{\delta _{n}: n\in \mathbb{N}_{N}\}\). We shall show that \(H_{v}(\lambda ,F(A),F(B))<\epsilon \).
Let \(z \in F(A)\) be arbitrary. Then, \(\exists j \in \mathbb{N}_{N}\) and \(x \in A\) such that \(z=g_{j}(x)\). By Proposition 4.6, \(\exists y \in B\) such that
If \(v_{\lambda}(x,y)\geq \epsilon \), then \(\epsilon \leq v_{\lambda}(x,y)< \varphi (\lambda )(\epsilon +\delta )\) and hence \(\alpha (x,y)v_{\lambda}(g_{j}(x),g_{j}(y))<\epsilon \). Otherwise, \(v_{\lambda}(x,y)<\epsilon \) then \(v_{\lambda}(g_{j}(x),g_{j}(y))< v_{\lambda}(x,y)<\epsilon \).
Therefore, \(v_{\lambda}(z,F(B))<\epsilon \). Since \(F(A)\) is compact, \(\sup_{a \in A}\{v_{\lambda}(F\{a\},F(B))\}<\epsilon \). Similarly, we have, \(\sup_{b \in B}\{v_{\lambda}(F(A),F\{b\})\}<\epsilon \).
Consequently, we obtain \(H_{v}(\lambda ,F(A),F(B))<\epsilon \). Hence, the function F is φ-MK contraction. □
As an application of our main result, we have the following result.
Theorem 5.8
Let \((\mathcal{X},v)\) be a regular φ-MM space such that \((K(\mathcal{X}),H_{v})\) is a complete regular φ-MM space. Let \(g_{n} \colon \mathcal{X} \to \mathcal{X}\) be a φ-α-MK contraction for \(n \in \mathbb{N}_{N}\). Define \(F \colon K(\mathcal{X}) \to K(\mathcal{X})\) by \(F(A)= \bigcup_{n=1}^{N}g_{n}(A)\), where \(g_{n}(A)=\{g_{n}(a) : a \in A\}\) for every \(A \in K(\mathcal{X})\). Then, F has a unique fixed point G satisfying the following equation
Further, the attractor G can be described as \(G=\lim_{n \to \infty}F^{n}(A)\) for any \(A \in K(\mathcal{X})\).
Proof
By Theorem 5.7, we conclude that F is a φ-MK contraction map on \(K(\mathcal{X})\). By invoking Corollary 3.7, we get that F has a unique fixed point G and \(G=\lim_{n \to \infty}F^{n}(A)\) for any \(A \in K(\mathcal{X})\). □
Remark 5.9
Note that in the above theorem, we have assumed \((K(\mathcal{X}),H_{v})\) to be complete. Without this assumption, using Proposition 4.14, we have the following result:
Corollary 5.10
Let \((\mathcal{X},v)\) be a complete regular φ-MM space such that \(\varphi (\lambda ) \leq \Lambda \) for some \(\Lambda \geq 1\). Let \(g_{n} \colon \mathcal{X} \to \mathcal{X}\) be φ-α-MK contraction for \(n \in \mathbb{N}_{N}\). Define \(F \colon K(\mathcal{X}) \to K(\mathcal{X})\) by \(F(A)= \bigcup_{n=1}^{N}g_{n}(A)\), where \(g_{n}(A)=\{g_{n}(a) : a \in A\}\) for every \(A \in K(\mathcal{X})\). Then, F has a unique fixed point G satisfying the following equation
Further, the attractor G can be described as \(G=\lim_{n \to \infty}F^{n}(A)\) for any \(A \in K(\mathcal{X})\).
Proof
It immediately follows from Proposition 4.14 and Theorem 5.8. □
6 Conclusions and future works
In this paper, we studied the notion of φ-MM spaces and φ-α-MK contraction. Based on this contraction, we proved a fixed point result. Also, we provided an example to support our findings. We also explored some topological properties of φ-metric modular space. Moreover, we proved that the space \(K(\mathcal{X})\) is complete, which will be required in proving the existence of attractor of an IFS on φ-metric modular space. Further, we defined an IFS structure on the above defined space and proved the existence and uniqueness of the attractor using our main result.
It may be further possible to investigate several other contractive conditions on these spaces to construct fixed point results. Moreover, its related IFS and attractor can also be explored. Common fixed points for single and family of mappings can also be explored. One can also investigate multi-valued mappings for fixed points in these spaces.
Data availability
Not applicable.
References
Hutchinson, J.E.: Fractals and self-similarity. Indiana Univ. Math. J. 30, 713–747 (1981)
Barnsley, M.: Fractals Everywhere. Academic Press, Boston (1988)
Hata, M.: On some properties of set-dynamical systems. Proc. Jpn. Acad., Ser. A, Math. Sci. 61, 99–102 (1985)
Fernau, H.: Infinite iterated function systems. Math. Nachr. 170, 79–91 (1994)
Banach, S.: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3, 133–181 (1922)
Chistyakov, V.V.: Modular metric spaces. I. Basic concepts. Nonlinear Anal. 72, 1–14 (2010)
Sanatee, A.G., Rathour, L., Mishra, V.N.,, Dewangan, V.: Some fixed point theorems in regular modular metric spaces and application to Caratheodory’s type anti-periodic boundary value problem. J. Anal. 31, 619–632 (2023)
Kaplan, E., Kutukcu, S.: A common fixed point theorem for new type compatible maps on modular metric spaces. Asian-Eur. J. Math. 16, Paper No. 2250229 (2023)
Karapinar, E., Aksoy, Ü., Fulga, A., Erhan, İ.M.: Fixed point theorems for mappings with a contractive iterate at a point in modular metric spaces. Fixed Point Theory 23, 519–531 (2022)
Meir, A., Keeler, E.: A theorem on contraction mappings. J. Math. Anal. Appl. 28, 326–329 (1969)
Karapınar, E., Kumam, P., Salimi, P.: On α-ψ-Meir-Keeler contractive mappings. Fixed Point Theory Appl. 2013, 94 (2013)
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
Both the authors contributed equally.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Acharjee, B., M, G.P.P. Fixed point theorem and iterated function system in φ-metric modular space. Fixed Point Theory Algorithms Sci Eng 2024, 5 (2024). https://doi.org/10.1186/s13663-024-00761-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-024-00761-6