Abstract
In this paper, we prove some fixed point theorems for ψF-contractions in the framework of quasi-metric spaces generalizing and improving several similar results in metric spaces. At the same time, we consider iterated function systems consisting of ψF-contractions on quasi-metric spaces, and we give some sufficient conditions for the existence and uniqueness of their attractor which is, generally, a fractal. Some illustrative examples are provided.
Similar content being viewed by others
1 Introduction
In the literature known by the authors, the quasi-metric (asymmetric) space notion can be traced back to W.A. Wilson [1]. This is defined as metric space \((X,\mathrm{d})\) but without the symmetry requirement for d.
Quasi-metric spaces have numerous recent applications both in pure and applied mathematics, for example, in the questions of existence and uniqueness of Hamilton–Jacobi equations [2], in rate-independent models for plasticity [3], shape-memory alloys [4], models for material failure [5], automated taxonomy construction [6], and so on.
In quasi-metric spaces some concepts, such as convergence, continuity, compactness, and completeness, are different from those in metric case. There are two notions for each of them, namely forward and backward ones, since we have two topologies which are the forward topology and the backward topology in quasi-metric spaces (see [7]). In the last decades many authors studied these notions and properties in the settings of quasi-metric spaces (see, e.g., [8,9,10,11,12,13,14,15,16] and the references therein).
Starting from the Banach contraction principle, which is a pivotal result of analysis, many authors have provided several extensions of this result by considering more general spaces and various types of contractions. Wardowski defined in [17] F-contraction as a mapping T on a metric space \((X,\mathrm{d})\) into itself such that \(\tau +F (\mathrm{d}(Tx,Ty) )\leq F (\mathrm{d}(x,y) )\) for all \(x,y\in X\) with \(Tx\neq Ty\), where \(\tau >0\) and \(F:(0,\infty ) \to \mathbb{R}\) satisfies the following axioms: (F1) F is increasing, (F2) \(F(t)\to -\infty \) if and only if \(t \searrow 0\), and (F3) \(\lim_{t\to 0}t^{\lambda }F(t)= 0\) for some \(\lambda \in (0,1)\). For such contractions, he obtained a classical fixed point result concerning the existence and uniqueness of fixed point which is the limit of the Picard iterations. Putting certain concrete forms of F, Wardowski obtained other known types of contractions, including Banach contraction for \(F(t)=\ln t\), and proved that F-contractions are really their generalizations.
Next, some other generalizations of F-contractions have been studied by many authors. In this respect, Secelean and Wardowski [18] introduced ψF-contractions as being self-mappings T satisfying the inequality \(F (\mathrm{d}(Tx,Ty) )\leq \psi (F (\mathrm{d}(x,y) ) )\) for all \(x,y\in X\), \(Tx\neq Ty\), where \(\psi :(-\infty ,\mu )\to (-\infty ,\mu )\) is increasing and \(\psi ^{n}(t)\to -\infty \) for all \(t\in (-\infty , \mu )\), \(\mu =\sup F\). In the above mentioned paper, some fixed point results are given even if F does not satisfy all conditions (F1)–(F3). Very recently, Nazama, Arshada, and Postolache [19] gave some interesting results concerning coincidence and common fixed points for four mappings satisfying certain F-contraction type conditions. For other generalizations and applications of F-contractions, one can also see [20] and [21].
Our first purpose in the present paper is to extend and improve the theory of ψF-contractions in the settings of quasi-metric spaces (Sect. 3.1). Furthermore, we prove some fixed point results (Theorems 3.1, 3.2, 3.3 and their corollaries) which generalize and improve those from [17, 18, 22] and from many others in two directions: the first one is the space where the contraction is defined, and in the second one the function F must satisfy only condition (F1).
In order to do this, in Sect. 2 we define the quasi-metric space and next we state the main concepts and properties in this space that will be used in the sequel, such as forward topology, forward convergence, forward compactness, forward completeness, forward boundedness, and so on, and analogs for backward.
The second goal of this paper is to survey, as an application, some fractals generated in quasi-metric spaces. As it is well known, fractals theory is one of the modern and dynamic fields in mathematics with a spectacular development in recent decades due to their applicability in various areas of science and technology.
In his famous paper [23] Hutchinson called Iterated Function Systems (for short IFS) a finite family of Banach contractions \((\omega _{k})_{k=1}^{N}\) on a metric space X and defined a set value function \({\mathcal{S}}\) on the class of all non-empty compact subsets of X into itself by \({\mathcal{S}}(B)=\bigcup_{k=1} ^{N}\omega _{k}(B)\); he also proved that, if the metric space is complete, then \({\mathcal{S}}\) has a unique set fixed point A. The set A is generally a fractal set called the attractor of the respective IFS. The IFSs are the main generators of fractals. There is a current effort to extend Hutchinson’s classical framework for fractals to more general spaces and infinite IFSs or, more generally, to multifunction systems.
For our purpose, we need some preliminary results concerning the Hausdorff–Pompeiu metric in the framework of quasi-metric space (Sect. 3.2). Some sufficient completeness conditions for the spaces of fractals are provided in Theorem 3.4.
Existence and uniqueness of the attractors of IFSs composed of ψF-contractions are given in Sect. 4 where Theorems 4.1, 4.2, 4.3, and 4.4 generalize and improve the analogous results in metric spaces.
Some illustrative examples are given.
2 Preliminaries
Throughout this paper the symbols \(\mathbb{R}\), \(\mathbb{R}_{+}\), and \(\mathbb{N}\) denote the sets of all real numbers, positive real numbers, and positive integers, respectively. We also write \(\overline{ \mathbb{R}}_{+}=\mathbb{R}_{+}\cup \{\infty \}\).
If \(\nu ,\lambda \in \overline{\mathbb{R}}_{+}\), by “\(\nu \geq \lambda \)” we understand \(\nu \geq \lambda \) if \(\lambda \in \mathbb{R}_{+}\) and \(\nu =\infty \) otherwise.
For a mapping \(T:E\to E\), by \(T^{n}\) we denote the n-times composition of T, \(T^{n+1}=T\circ T^{n}\), \(n\in \mathbb{N}\).
2.1 Quasi-metric spaces
We consider \(X\neq \emptyset \).
Definition 2.1
Let d be a non-negative real-valued function on the product \(X\times X\) and consider the following axioms:
-
(M1)
\(\mathrm{d}(x,x)=0\), \(\forall x\in X\);
-
(M2)
\(\mathrm{d}(x,y)=0\Rightarrow x=y\);
-
(M3)
\(\mathrm{d}(x,y)=\mathrm{d}(y,x)\), \(\forall x,y\in X\);
-
(M4)
\(\mathrm{d}(x,z)\leq \mathrm{d}(x,y)+\mathrm{d}(y,z)\), \(\forall x,y,z\in X\).
We call d pseudo-metric if it satisfies (M1), (M3), (M4); quasi-metric or asymmetric metric if it satisfies (M1), (M2), (M4); quasi-pseudo-metric if it satisfies (M1) and (M4); and, respectively, metric if all axioms (M1)–(M4) are satisfied.
Accordingly, the pair \((X,\mathrm{d})\) is called a pseudo-metric, quasi-metric (asymmetric metric), quasi-pseudo-metric, and metric space, respectively.
Throughout the paper we denote by \((X,\mathrm{d})\) a quasi-metric space unless otherwise stated.
Definition 2.2
The forward topology \({\mathcal{T}}_{\mathrm{f}}\) induced by d is the topology generated by the forward open balls \(\mathrm{B}_{\mathrm{f}}(x,\varepsilon )=\{y\in X; \mathrm{d}(x,y)<\varepsilon \}\) for \(x\in X\), \(\varepsilon >0\).
Likewise, the backward topology \({\mathcal{T}}_{ \mathrm{b}}\) induced by d is the topology generated by the backward open balls \(\mathrm{B}_{\mathrm{b}}(y,\varepsilon )=\{x\in X; \mathrm{d}(x,y)<\varepsilon \}\) for \(y\in X\), \(\varepsilon >0\).
A set \(F\subset X\) is called f-closed (resp. b-closed) if \(\complement F\in {\mathcal{T}}_{\mathrm{f}}\) (resp. \(\complement F\in {\mathcal{T}}_{\mathrm{b}}\)).
Remark 2.1
If \((X,\mathrm{d})\) is a quasi-metric space, then both \({\mathcal{T}}_{\mathrm{f}}\) and \({\mathcal{T}}_{\mathrm{b}}\) are T1-topologies; hence, in the topological spaces \((X,{\mathcal{T}} _{\mathrm{f}})\) and \((X,{\mathcal{T}}_{\mathrm{b}})\), the finite sets are closed.
In the following we present some usual examples of quasi-metric space.
Example 2.1
Let \(\alpha >0\) and \(\mathrm{d}:\mathbb{R}\times \mathbb{R} \to \mathbb{R}_{+} \cup \{0\}\) be defined by
Then \((\mathbb{R},\mathrm{d})\) is a quasi-metric space and both \({\mathcal{T}}_{\mathrm{f}}\) and \({\mathcal{T}}_{\mathrm{b}}\) are the usual topology on \(\mathbb{R}\).
More generally, if we consider an increasing function \(f:\mathbb{R} \to \mathbb{R}\) and \(\alpha >0\) and take
we obtain also a quasi-metric on \(\mathbb{R}\). If f is continuous, both \({\mathcal{T}}_{\mathrm{f}}\) and \({\mathcal{T}}_{\mathrm{b}}\) are the usual topology on \(\mathbb{R}\).
Example 2.2
The function \(\mathrm{d}:\mathbb{R}\times \mathbb{R}\to \mathbb{R}_{+} \cup \{0\}\) defined by
is a quasi-metric. Both \({\mathcal{T}}_{\mathrm{f}}\) and \({\mathcal{T}}_{\mathrm{b}}\) are the usual topology on \(\mathbb{R}\).
Example 2.3
Let \((X,\mathrm{d})\) be a quasi-metric space and \(f:X\to X\) be a mapping. Then the function \(\delta :X\times X\to \mathbb{R}_{+} \cup \{0\}\) defined by
is a quasi-pseudo-metric. Further, δ is a quasi-metric if and only if f is injective.
Example 2.4
The function \(\mathrm{d}:\mathbb{R}\times \mathbb{R}\to \mathbb{R}_{+} \cup \{0\}\) defined by
is a quasi-metric named Sorgenfrey quasi-metric. Here, \({\mathcal{T}}_{\mathrm{f}}\) is the lower limit topology on \(\mathbb{R}\) and it is well known that \({\mathcal{T}}_{\mathrm{f}}\) is not metrizable (see, e.g., [24]). At the same time \({\mathcal{T}}_{\mathrm{b}}\) is the upper limit topology.
Definition 2.3
A sequence \((x_{n})\) forward converges (shortly f-converges) to \(x_{0}\in X\) (resp. backward converges (b-converges) to \(x_{0}\in X\)) if it converges with respect to the topology \({\mathcal{T}}_{\mathrm{f}}\) (resp. \({\mathcal{T}}_{\mathrm{b}}\)). Accordingly, \((x_{n})\) f-converges (resp. b-converges) to \(x_{0}\) iff
For f-convergence and b-convergence, we shall use the notations: \(x_{n}\overset{f}{\longrightarrow }x_{0}\) and \(x_{n} \overset{b}{\longrightarrow }x_{0}\), respectively.
Notice that the topology associated with a quasi-metric space is not generally Hausdorff (see, e.g., [7, Ex. 5.7]). A sufficient condition under which this property holds is given in the following proposition.
Proposition 2.1
If in the quasi-metric space \((X,\mathrm{d})\) f-convergence implies b-convergence, then the topological space \((X,{\mathcal{T}}_{ \mathrm{f}})\) is Hausdorff.
Proof
Let us consider \(x\neq y\in X\). We claim that there is \(N\in \mathbb{N}\) such that
Indeed, on the contrary, for each \(n\in \mathbb{N}\), one can find \(z_{n}\in X\) such that \(\mathrm{d}(x,z_{n})<\frac{1}{n}\) and \(\mathrm{d}(y,z_{n})<\frac{1}{n}\). Hence \(z_{n} \overset{f}{\longrightarrow }x\), \(z_{n}\overset{f}{\longrightarrow }y\) and, by hypothesis, \(z_{n}\overset{b}{\longrightarrow }y\). Consequently,
which is a contradiction. □
Definition 2.4
We say that the sequence \((x_{n})\subset X\) is forward Cauchy (resp. backward Cauchy) if, for each \(\varepsilon >0\), there exists \(N\in \mathbb{N}\) such that, for every \(m\geq n \geq N\), one has
The quasi-metric space \((X,\mathrm{d})\) is forward complete (resp. backward complete) if every forward (resp. backward) Cauchy sequence is f-convergent (resp. b-convergent).
Definition 2.5
A set \(A\subset X\) is forward bounded (f-bounded), respectively backward bounded (b-bounded), if there exists \(x\in X\) such that \(\sup_{y \in A}\mathrm{d}(x,y)<\infty \), resp. there is \(y\in A\) such that \(\sup_{x\in A}\mathrm{d}(x,y)<\infty \). A is called bounded (fb-bounded) if it is both forward and backward bounded, i.e., \(\operatorname{diam} A=\sup_{x,y\in A}\mathrm{d}(x,y)<\infty \).
A is f-totally bounded if, for every \(\varepsilon >0\), there are \(x_{1},x_{2},\ldots,x_{n}\in A\) such that \(A\subset \bigcup_{k=1} ^{n}\mathrm{B_{f}}(x_{k},\varepsilon )\). Analogously we define b-totally bounded set.
It is easy to verify that a set \(A\subset X\) is f-bounded if and only if, for every \(x\in X\), \(\sup_{y\in A}\mathrm{d}(x,y)<\infty \). An analogous property holds for a b-bounded set.
It is also obvious that every f-totally (b-totally) bounded set is f-bounded (b-bounded).
Definition 2.6
A compact set in the topological space \((X,{\mathcal{T}}_{ \mathrm{f}})\), respectively in \((X,{\mathcal{T}}_{\mathrm{b}})\), is called f-compact, resp. b-compact. We say \(K\subset X\) is f-sequentially (resp. b-sequentially) compact if every sequence has a forward (resp. backward) convergent subsequence with limit in K.
Theorem 2.1
([11, Th. 4.8])
A quasi-metric space is f-compact (resp. b-compact) if and only if it is f-complete (resp. b-complete) and f-totally (resp. b-totally) bounded.
Proposition 2.2
([14])
A sequentially f-compact quasi-pseudo-metric space X is f-compact if and only if f-closure of \(\{x\}\) is f-compact for every \(x\in X\). A similar assertion holds if we consider “backward” instead of “forward”.
The proof of the following lemma is very similar to that in the metric case and hence it will be omitted.
Lemma 2.1
An f-compact (b-compact) set in a quasi-metric space is f-sequentially (b-sequentially) compact.
By Lemma 2.1, Remark 2.1, and Proposition 2.2, we obtain the following obvious result.
Corollary 2.1
In a quasi-metric space a set is f-compact (resp. b-compact) if and only if it is f-sequentially (resp. b-sequentially) compact.
Proposition 2.3
If in the quasi-metric space \((X,\mathrm{d})\) f-convergence implies b-convergence, every f-compact set is b-totally bounded, so it is b-bounded.
Proof
Let \(\emptyset \neq K\subset X\) be f-compact and assume by contradiction that there exists \(\varepsilon >0\) such that K cannot be covered by a finite number of backward open balls \(\mathrm{B_{b}}(y,\varepsilon )\), \(y\in K\). Choose \(y_{1}\in K\). Since \(K\not \subset \mathrm{B_{b}}(y_{1},\varepsilon )\), one can find \(y_{2}\in K\setminus \mathrm{B_{b}}(y_{1},\varepsilon )\). Inductively, as \(K\not \subset \bigcup_{i=1}^{n}\mathrm{B_{b}}(y_{i},\varepsilon )\), we can take \(y_{n+1}\in K\setminus \bigcup_{i=1}^{n}\mathrm{B_{b}}(y_{i},\varepsilon )\), and so on. In this way we obtain a sequence \((y_{n})\subset K\) such that
According to Lemma 2.1, there exists a subsequence \((y_{n_{k}}) \subset (y_{n})\) such that \(y_{n_{k}} \overset{f}{\underset{k}{\longrightarrow }}y\in K\). By hypothesis, one has also \(y_{n_{k}}\overset{b}{\longrightarrow }y\). Hence, there exists \(k_{0}\in \mathbb{N}\) such that \(\mathrm{d}(y,y_{n_{k}})<\frac{\varepsilon }{2}\) and \(\mathrm{d}(y_{n_{k}},y)<\frac{\varepsilon }{2}\) for every \(k\geq k_{0}\). Consequently, using (2.1), we get
which is a contradiction. □
Definition 2.7
Let \((X,\mathrm{d})\), \((Y,\rho )\) be two quasi-metric spaces. A mapping \(f:X\to Y\) is said to be ff-continuous at \(x\in X\) if and only if whenever \(x_{n}\overset{f}{\longrightarrow }x\) in \((X,\mathrm{d})\) one has \(f(x_{n})\overset{f}{\longrightarrow }f(x)\) in \((Y,\rho )\). If \(Y=\mathbb{R}\) we say that f is f-continuous at \(x\in X\) if \(\mathbb{R}\) is endowed with the Euclidean metric. We say that f is ff-continuous (f-continuous) if it is ff-continuous (f-continuous) at every \(x\in X\). Analogous statements hold for the other continuity concepts: fb-continuous, bf-continuous, bb-continuous, b-continuous.
Proposition 2.4
If in the quasi-metric space \((X,\mathrm{d})\) f-convergence implies b-convergence, then the mapping \((x,y)\mapsto \mathrm{d}(x,y)\) is f-continuous.
Proof
Let us consider two sequences \((x_{n})\), \((y_{n})\), \(x_{n} \overset{f}{\longrightarrow }x\), \(y_{n}\overset{f}{\longrightarrow }y\), and \(\varepsilon >0\). Then, by hypothesis, we have \(x_{n} \overset{b}{\longrightarrow }x\) and \(y_{n} \overset{b}{\longrightarrow }y\). Thus one can find \(N\in \mathbb{N}\) such that
Hence, for every \(n\geq N\),
and
Therefore
□
3 The results
3.1 ψF-Contractions in quasi-metric spaces
In this section we give some fixed point results in the setting of quasi-metric space which generalize and improve some ones proved in metric spaces.
According to Ćirić [25], we will adapt some concepts to quasi-metric settings.
Definition 3.1
A self-map T on a quasi-metric space \((X,\mathrm{d})\) is said to be fb-orbitally continuous at a point \(x_{0}\in X\) if, for every increasing sequence \((n_{k})_{k}\subset \mathbb{N}\), \(T^{n_{k}}x _{0}\overset{f}{\longrightarrow }u\in X\) implies \(T^{n_{k}+1}x_{0} \overset{b}{\longrightarrow }Tu\). We say that T is fb-orbitally continuous if it is fb-orbitally continuous at every \(x\in X\). In a similar way we can define ff-orbital continuity, bf-orbital continuity, bb-orbital continuity, respectively. The space X is f-T-orbitally complete if every f-Cauchy sequence of the form \((T^{n_{k}}x)_{k}\) f-converges in X.
It is obvious that if T is ff-continuous (resp. bb-continuous), then it is ff-orbitally (bb-orbitally) continuous, and if the space is f-complete, then it is f-T-orbitally complete.
Lemma 3.1
([26, L.3.2.a)])
Let \(F:\mathbb{R}_{+}\to \mathbb{R}\) be an increasing map and \((t_{n})_{n}\) be a sequence of positive real numbers such that \(F(t_{n})\underset{n}{\longrightarrow }-\infty \). Then \(t_{n}\underset{n}{\longrightarrow }0\).
In order to prove the next theorem, we need to adapt to our setting the following result given in [27, Prop. 3].
Proposition 3.1
Let \((x_{n})\) be a sequence of elements from the quasi-metric space \((X,\mathrm{d})\) and Δ be a subset of \(\mathbb{R}_{+}\) such that \(\mathbb{R}_{+} \setminus \Delta \) is dense in \(\mathbb{R}_{+}\). If \(\mathrm{d}(x_{n},x_{n+1})\underset{n}{\longrightarrow }0\) and \((x_{n})\) is not f-Cauchy, then there exist \(\varepsilon \in \mathbb{R}_{+} \setminus \Delta \), \(n_{0} \in \mathbb{N}\), and sequences of positive integers \((m_{k})\), \((n_{k})\) such that
-
(i)
\(\forall {k \in \mathbb{N}}\), \(k \leq m_{k} < n_{k}\), \(\mathrm{d}(x_{m_{k}},x_{n_{k}}) \geq \varepsilon \),
-
(ii)
\(\forall {k \geq n_{0}}\), \(n_{k}\geq m_{k} +2\), \(\mathrm{d}(x_{m_{k}},x_{{n_{k}}-1}) < \varepsilon \),
-
(iii)
\(\mathrm{d}(x_{m_{k}},x_{n_{k}}) \underset{k}{ \longrightarrow } \varepsilon \).
Proof
Since \(\mathbb{R}_{+} \setminus \Delta \) is dense in \(\mathbb{R}_{+}\) and \((x_{n})\) is not f-Cauchy, it follows that there exists \(\varepsilon >0\) such that, for every \(k=1,2,\ldots \) , one can find \(m,n\in \mathbb{N}\), \(k\leq m< n\), such that \(\mathrm{d}(x_{m},x_{n}) \geq \varepsilon \).
For each \(k\in \mathbb{N}\), we set
Hence (i) is satisfied.
As \(\mathrm{d}(x_{n},x_{n+1})\to 0\), there is \(n_{0}\in \mathbb{N}\) such that \(\mathrm{d}(x_{n_{k}},x_{n_{k}+1})<\varepsilon \) for all \(k\geq n_{0}\). So, by the choice of \(m_{k}\) and \(n_{k}\), for \(k\geq n_{0}\) and \(n_{k}\geq m_{k}+2\), one has \(\mathrm{d}(x_{m_{k}},x _{n_{k}-1})<\varepsilon \), hence (ii).
Next,
for all \(k\geq n_{0}\). Passing to the limit, we get \(\lim_{k} \mathrm{d}(x_{m_{k}},x_{n_{k}})=\varepsilon \). □
Definition 3.2
Let \((X,\mathrm{d})\) be a quasi-metric space and \(F:\mathbb{R} _{+}\to \mathbb{R}\) be a function. A mapping \(T:X\to X\) is said to be a forward F-contraction (resp. backward F-contraction) if there exists \(\tau >0\) such that
(resp.
We denote by \({\mathcal{F}}\) the class of all increasing mappings \(F:\mathbb{R}_{+}\to \mathbb{R}\) and, for some \(\mu \in \overline{ \mathbb{R}}_{+}\), by \(\varPsi _{\mu }\) the family of all increasing and continuous functions \(\psi :(-\infty ,\mu )\to \mathbb{R}\) such that \(\psi (t)< t\) for every \(t\in (-\infty ,\mu )\) (various examples of such functions ψ can be found in [18]).
Notice that every mapping \(\psi \in \varPsi _{\mu }\) takes values in \((-\infty ,\mu )\).
Lemma 3.2
If \(\psi \in \varPsi _{\mu }\), then \(\psi ^{n}(t)\to -\infty \) for all \(t\in (-\infty ,\mu )\).
Proof
Choose \(t\in \mathbb{R}\). From \(\psi (t)< t\), one obtains \(\psi ^{2}(t)< \psi (t)\), and hence the sequence \((\psi ^{n}(t) )\) is decreasing. Let \(l\in \mathbb{R}\cup \{-\infty \}\) be its limit. If \(l\in \mathbb{R}\), by the continuity of ψ at l, it follows \(l=\lim_{n}\psi ^{n}(t)=\psi (l)< l\), which is a contradiction. Therefore \(l=-\infty \). □
For a given function \(F\in \mathcal{F}\) and \(\mu \geq \sup F\), we will write Ψ instead of \(\varPsi _{\mu }\).
Inspired by [18], we will generalize the concept F-contraction.
Definition 3.3
Let us consider a quasi-metric space \((X,\mathrm{d})\) and two functions \(F\in {\mathcal{F}}\) and \(\psi \in \varPsi \). A mapping \(T:X \to X\) is said to be a forward ψF-contraction (resp. backward ψF-contraction) if
(resp.
Remark 3.1
If T is a backward ψF-contraction, then \(T^{2}\) is a forward \(\psi ^{2} F\)-contraction.
Proof
The assertion comes obviously from the following inequalities:
for all \(x,y\in X\) such that \(T^{2}x\neq T^{2}y\). □
It is obvious that every forward F-contraction (resp. backward F-contraction) is a forward ψF-contraction (resp. backward ψF-contraction) by taking \(\psi (t)=t-\tau \).
Remark 3.2
If \(T:X\to X\) is a forward (resp. backward) ψF-contraction, where \(F\in {\mathcal{F}}\), \(\psi \in \varPsi \), then
hence T is ff (resp. bf)-continuous.
Proof
Choose \(x,y\in X\). If \(Tx=Ty\), inequalities (3.3) are obvious. If \(Tx\neq Ty\), by (3.1) and the property of ψ, one has
So, F being increasing, the first inequality of (3.3) follows. For the second one, we proceed analogously. □
Definition 3.4
A self-mapping T on a quasi-metric space \((X,\mathrm{d})\) is said to be a forward Picard operator, abbreviated f-P.O. if it has a unique fixed point \(\xi \in X\) and \(T^{n}x \overset{f}{\longrightarrow }\xi \) for every \(x\in X\). In a similar way one can define backward Picard operator.
Theorem 3.1
Let us consider \(F\in {\mathcal{F}}\) and \(\psi \in \varPsi \). If \(T:X\to X\) is a backward ψF-contraction and the space is f-T-orbitally complete, then T is an f-P.O.
Proof
Let \(x_{0}\in X\) and \(x_{n}=T^{n}x_{0}\), \(n=1,2,\ldots \) . If there exists \(n\in \mathbb{N}\) such that \(Tx_{n}=x_{n}\), then \(\xi =x_{n}\) is a fixed point of T. Assume that \(x_{n+1}\neq x_{n}\). Hence, by (M2), \(\mathrm{d}(x_{n+1},x_{n})>0\) and \(\mathrm{d}(x_{n},x_{n+1})>0\) for all \(n\geq 1\). Then, from (3.2), one has
where \(\gamma =\max \{\mathrm{d}(x_{1},x_{0}),\mathrm{d}(x_{0},x_{1}) \}\). Consequently, according to Lemma 3.2, \(\lim_{n} F ( \mathrm{d}(x_{n}, x_{n+1}) )=-\infty \) and so, by Lemma 3.1,
Analogously one can prove that
Arguing by contradiction, we assume that \((x_{n})\) is not f-Cauchy. Let us denote by Δ the set of discontinuities of F. Taking into account the monotonicity of F, the set Δ is at most countable, so, as \(\mathbb{R}_{+}\setminus \Delta \) is dense in \(\mathbb{R}_{+}\), we can apply Proposition 3.1. Thus, we obtain \(\varepsilon \in \mathbb{R}_{+} \setminus \Delta \) and sequences of positive integers \((m_{k})\), \((n_{k})\) such that
We have
and
Since by (3.4), (3.5), and (3.6) one has
one can find \(K\in \mathbb{N}\) such that
for all \(k\geq K\).
Using now (3.9), (3.7), (3.2), (3.8) and since F is increasing, it follows
By letting \(k\to \infty \) in the above relations and using the continuity of F at ε, the continuity of ψ, and relations (3.4), (3.5), and (3.6), one obtains
which is a contradiction.
Consequently, \((x_{n})\) is f-Cauchy so, by hypothesis, there exists \(\xi \in X\) such that \(x_{n}\overset{f}{\longrightarrow }\xi \), that is, \(\mathrm{d}(\xi ,x_{n})\to 0\). We will show that ξ is a fixed point for T.
From (3.2) and since F and ψ are increasing, clearly
Hence we get
By letting \(n\to \infty \) in the previous relations, it follows \(\mathrm{d}(\xi ,T\xi )=0\) so, from (M2), \(T\xi =\xi \).
In order to prove the uniqueness, assume by contradiction that there is \(\eta \in X\), \(\eta \neq \xi \) such that \(T\eta =\eta \). Then \(T\eta \neq T\xi \) and
which is a contradiction.
The proof is complete. □
Corollary 3.1
Assume that the quasi-metric space \((X,\mathrm{d})\) is f-complete, \(F\in {\mathcal{F}}\) and \(\psi \in \varPsi \). If \(T:X\to X\) is a backward ψF-contraction, then T is an f-P.O.
Remark 3.3
The above corollary generalizes and improves [13, Th. 2.2], where \(F(t)=\ln t\) and \(\psi (t)=t-\tau \), \(\tau >0\).
Example 3.1
Let us consider \(X=[1,\infty )\) and the mapping \(\mathrm{d}:X \times X\to \mathbb{R}_{+} \cup \{0\}\) given as
We also define \(F:\mathbb{R}_{+}\to \mathbb{R}\), \(F(t)=\frac{1}{1-e ^{t}}\), and \(\psi :(-\infty ,0)\to \mathbb{R}\), \(\psi (t)=t-\frac{ \lambda }{\pi }\operatorname{arccot} t+\lambda -1\), where \(0\leq \lambda <1\). Then d is a quasi-metric on X, \(F\in {\mathcal{F}}\), \(\psi \in \varPsi \) and the mapping \(T:X\to X\), \(Tx=\frac{x+1}{x}\) is a backward ψF-contraction on \((X,\mathrm{d})\), whereas it is not forward ψF-contraction. Moreover, T is an f-P.O.
Proof
It is easy to check that d is a quasi-metric on X. One can also simply see that F and ψ are increasing and \(\sup F=0\).
We first show (3.2). Since \(\psi (t)\geq t-1\), for all \(t<0\), it is enough to prove that
For this purpose, choose \(x,y\in X\), \(x\neq y\).
If \(x< y\), one has \(Tx>Ty\) so
Hence
Some elementary computations lead to
Thus we obtain (3.10).
Assume that \(x>y\). Then \(Tx< Ty\) and
Consequently,
so (3.10) is verified.
We now prove that T is not forward ψF-contraction. Assume by contradiction that (3.1) holds. Then
that is,
Set \(y=1\). Then, for each \(x>y\),
Since \(\lim_{x\searrow 1}\frac{\sqrt{x}}{\sqrt{x}+1}=\frac{1}{2}\) and, by hypothesis, \(1-\frac{\lambda }{2}>\frac{1}{2}\), one can find \(x>1\) such that \(\frac{\sqrt{x}}{\sqrt{x}+1}<1-\frac{\lambda }{2}\). This contradicts (3.11).
Therefore T is not forward ψF-contraction.
In order to prove the forward completeness of X, let \((x_{n})\) be a forward Cauchy sequence and fix \(\varepsilon >0\). Then there exists \(N\in \mathbb{N}\) such that \(\mathrm{d}(x_{n},x_{m})<\frac{\varepsilon }{2}\) for every \(m\geq n\geq N\). It is easy to see that this sequence is forward bounded. Since the topology induced by d is the Euclidean one, this implies forward convergence of a subsequence \((x_{n_{k}})\) to some \(x\in X\). Choose \(k\in \mathbb{N}\) so that \(n_{k}\geq N\) and \(\mathrm{d}(x,x_{n_{k}})<\frac{\varepsilon }{2}\). Then, for \(n\geq n_{k}\geq N\), one has
so \(x_{n}\overset{f}{\longrightarrow }x\). Consequently \((X,\mathrm{d})\) is forward complete.
The final conclusion now follows from Corollary 3.1. □
Notice that some examples of forward ψF-contractions can be found in Example 4.1.
Corollary 3.2
If \((X,\mathrm{d})\) is f-complete and f-convergence implies b-convergence, then every forward ψF-contraction \(T:X\to X\) is an f-P.O., where \(F\in {\mathcal{F}}\), \(\psi \in \varPsi \).
Proof
Obvious. □
Remark 3.4
The above corollary generalizes and improves [13, Th. 2.1], where \(F(t)=\ln t\) and \(\psi (t)=t-\tau \), \(\tau >0\).
Theorem 3.2
Let us consider \(F\in {\mathcal{F}}\), \(\psi \in \varPsi \) and a backward ψF-contraction \(T:X\to X\). If there exists \(x_{0}\in X\) such that the sequence \((T^{n}x_{0})\) is f-convergent, then T is an f-P.O.
Proof
Let \(\xi \in X\) be such that \(\lim_{n}\mathrm{d}(\xi ,T^{n}x_{0})=0\). Then
and so \(T\xi =\xi \).
Choose \(y_{0}\in X\). If there is \(n\in \mathbb{N}\) such that \(T^{n}y_{0}=T^{n}x_{0}\), then \(T^{n}y_{0} \overset{f}{\longrightarrow }\xi \). Otherwise one has
where \(\gamma =\max \{\mathrm{d}(x_{0},y_{0}),\mathrm{d}(y_{0},x _{0}) \}\). So, by Lemma 3.1, \(\mathrm{d}(T^{n}x_{0},T^{n}y _{0})\to 0\). Thus
Consequently, \(T^{n}y_{0}\overset{f}{\longrightarrow }\xi \).
For the uniqueness of the fixed point of T, we proceed as in Theorem 3.1. □
Theorem 3.3
Take any \(F\in {\mathcal{F}}\) and \(\psi \in \varPsi \). Assume that \(T:X\to X\) is a forward ψF-contraction and the space is forward T-orbitally complete. If one of the following sentences holds:
-
(a)
T is fb-orbitally continuous;
-
(b)
the space \((X,\mathrm{d})\) is Hausdorff;
-
(c)
in the space \((X,\mathrm{d})\) f-convergence implies b-convergence;
then T is an f-P.O.
Proof
Set \(x_{0}\in X\) and \(x_{n}=T^{n}x_{0}\), \(n=1,2,\ldots \) . For the Cauchyness and uniqueness, we can proceed in the same manner as in the proof of Theorem 3.1.
In case (a), as \(x_{n}=T^{n}x_{0}\overset{f}{\longrightarrow }\xi \) one has \(Tx_{n}=T^{n+1}x_{0}\overset{b}{\longrightarrow } T\xi \), that is, \(\mathrm{d}(Tx_{n},T\xi )\to 0\). Hence,
so \(T\xi =\xi \).
In case (b), using (3.1), we have \(\mathrm{d}(T\xi ,x_{n})= \mathrm{d}(T\xi ,Tx_{n-1})\leq \mathrm{d}(\xi ,x_{n-1})\) for all \(n\geq 1\), therefore \(x_{n}\overset{f}{\longrightarrow }T\xi \). The space being Hausdorff, we get \(T\xi =\xi \).
In case (c) the conclusion follows from (b) and Proposition 2.1. □
3.2 Space of fractals
The concept “space of fractals” was introduced by Barnsley in his famous book [28] to denote the class of all non-empty compact subsets of a metric space endowed with the Hausdorff–Pompeiu metric. For completeness we will describe some basic concepts and results in the settings of quasi-metric spaces even though some of proofs are similar to those in metric spaces.
Let us denote by \({\mathcal{P}}_{\mathrm{f}}(X)\), respectively \({\mathcal{P}}_{\mathrm{b}}(X)\), \({\mathcal{P}}_{\mathrm{fb}}(X)\), the family of all non-empty and f-bounded, respectively b-bounded, fb-bounded, subsets of the quasi-metric space \((X,\mathrm{d})\). We also denote, for every \(A,B\in {\mathcal{P}}_{\mathrm{b}}(X)\),
Remark 3.5
The condition \(A,B\) b-bounded in definition of D is necessary to have \(\mathrm{D}(A,B)<\infty \). This inequality is not true if we suppose that \(A,B\) are f-bounded.
Proof
Indeed, assume that \(A\neq \emptyset \) is b-bounded and \(\emptyset \neq B\subset X\). Arguing by contradiction, assume that
Hence, for each \(n=1,2,\ldots \) , one can find \(x_{n}\in A\) such that \(\inf_{y\in B}\mathrm{d}(x_{n},y)\geq n\). So \(\mathrm{d}(x_{n},y) \geq n\) for all \(n\in \mathbb{N}\) and all \(y\in B\). Therefore, for some \(y\in B\), we have \(\sup_{x\in A}\mathrm{d}(x,y)=\infty \) contradicting the b-boundedness of A.
In order to prove the second part of the statement, we give a contra-example. In the quasi-metric space \((\mathbb{R},\mathrm{d})\) from Example 2.4, the sets \(A=(-\infty ,a]\) and \(B=\{b\}\), \(a,b\in \mathbb{R}\), are f-closed and f-bounded. However \(\mathrm{D}(A,B)= \infty \).
Indeed, it is clear that A and B are f-closed and B is f-bounded. Since \(\sup_{y\in A}\mathrm{d}(a,y)=1\), it follows that A is f-bounded. Next,
□
In the following some basic properties of the functions D and h are highlighted.
Proposition 3.2
The following assertions hold:
-
(a)
\(A\subset B\Rightarrow D(A,B)=0\); in particular \(\mathrm{D}(A,A)=0\) for all \(A\in {\mathcal{P}}_{\mathrm{b}}(X)\);
-
(b)
\(\mathrm{D}(A,B)=0\Rightarrow A\subset \overline{B}\), where the bar means the closure in the topological space \((X,{\mathcal{T}}_{f})\);
-
(c)
\(\mathrm{D}(A,C)\leq \mathrm{D}(A,B)+\mathrm{D}(B,C)\) for all \(A,B,C\in {\mathcal{P}}_{\mathrm{b}}(X)\);
-
(d)
\(\mathrm{D}(A,B)=\mathrm{D}(\overline{A},\overline{B})\) for all \(A,B\in {\mathcal{P}}_{\mathrm{b}}(X)\);
-
(e)
\(\mathrm{D} (\bigcup_{i\in \Im }A_{i},\bigcup_{i\in \Im }B_{i} )\leq \sup_{i\in \Im }\mathrm{D}(A_{i},B_{i})\) for every family of sets \((A_{i})\), \((B_{i})\) such that \(\bigcup_{i\in \Im }A _{i}\) and \(\bigcup_{i\in \Im }B_{i}\) are b-bounded.
Proof
(a) If \(A\subset B\) and \(x\in A\), then \(\inf_{y\in B}\mathrm{d}(x,y)=0\) because \(x\in B\) and \(\mathrm{d}(x,x)=0\). Hence \(\sup_{x\in A} \inf_{y\in A}\mathrm{d}(x,y)=0\).
(b) Assume that \(A,B\in {\mathcal{P}}_{\mathrm{b}}(X)\), \(\sup_{x \in A}\inf_{y\in B}\mathrm{d}(x,y)=0\). Choose \(x\in A\). Then \(\inf_{y\in B}\mathrm{d}(x,y)=0\), so, for each \(n\in \mathbb{N}\), there is \(y_{n}\in B\) such that \(\mathrm{d}(x,y_{n})<\frac{1}{n}\). Thus \(y_{n}\overset{f}{\longrightarrow }x\), that is, \(x\in \overline{B}\).
(c) For \(x\in A\), \(z\in C\), one has
So
Since x is arbitrarily chosen, we get the inequality from the statement.
(d) Let us consider \(A,B\in {\mathcal{P}}_{\mathrm{b}}(X)\). From (a) it follows \(\mathrm{D}(A,\overline{A})=0\) and \(\mathrm{D}(B, \overline{B})=0\) because \(A\subset \overline{A}\) and \(B\subset \overline{B}\). We will show that \(\mathrm{D}(\overline{A},A)=0\). Indeed, on the contrary, one can find \(\lambda >0\) such that \(\mathrm{D}( \overline{A},A)=\sup_{x\in \overline{A}}\inf_{y\in A}\mathrm{d}(x,y)> \lambda \). Then there exists \(x\in \overline{A}\) such that \(\inf_{y \in A}\mathrm{d}(x,y)>\lambda \), so
Next, there is a sequence \((x_{n})\subset A\) such that \(x_{n} \overset{f}{\longrightarrow }x\), that is, \(\mathrm{d}(x,x_{n})\to 0\) which contradicts (3.13). Thus \(\mathrm{D}(\overline{A},A)=0\). Analogously we can prove that \(\mathrm{D}(\overline{B},B)=0\).
Using now (c) and the previous equalities, one has
consequently \(\mathrm{D}(A,B)=\mathrm{D}(\overline{A},\overline{B})\).
(e) Choose \(x\in \bigcup_{i\in \Im }A_{i}\). There is \(i_{x}\in \Im \) such that \(x\in A_{i_{x}}\). We have
Thus, \(\sup_{x\in \bigcup _{i\in \Im } A_{i}}\inf_{y\in \bigcup _{i\in \Im } B_{i}} \leq \sup_{i\in \Im }\mathrm{D}(A_{i},B_{i})\). □
According to the previous proposition, we can easily obtain the following properties for h.
Corollary 3.3
The following assertions hold:
-
(a)
\(h(A,B)=0 \Leftrightarrow \overline{A}=\overline{B}\);
-
(b)
\(h(A,C)\leq h(A,B)+h(B,C)\) for all \(A,B,C\in {\mathcal{P}}(X)\);
-
(c)
\(h(A,B)=h(\overline{A},\overline{B})\) for all \(A,B\in {\mathcal{P}}_{\mathrm{b}}(X)\);
-
(d)
\(h (\overline{\bigcup_{i\in \Im }A_{i}},\overline{ \bigcup_{i\in \Im }B_{i}} )= h (\bigcup_{i\in \Im }A_{i}, \bigcup_{i\in \Im }B_{i} )\leq \sup_{i\in \Im }h(A_{i},B_{i})\) for every family of sets \((A_{i})\), \((B_{i})\) such that \(\bigcup_{i\in \Im }A_{i}\) and \(\bigcup_{i\in \Im }B_{i}\) are b-bounded.
In view of the aforesaid, the function h is a pseudo-metric on \({\mathcal{P}}_{\mathrm{b}}(X)\). Furthermore, if we denote by \({\mathcal{C}}_{\mathrm{f}}(X)\) the class of all non-empty, b-bounded, and f-closed subsets of X, then the mapping h is a metric on \({\mathcal{C}}_{\mathrm{f}}(X)\) called f-Hausdorff–Pompeiu metric.
For \(A,B\in {\mathcal{P}}_{\mathrm{f}}(X)\), let us denote \(\overline{\mathrm{D}}(A,B)=\sup_{x\in A}\inf_{y\in B}\mathrm{d}(y,x)\) and
In a similar manner as in Proposition 3.2 one can prove analogous properties for D̅. Denoting by \({\mathcal{C}} _{\mathrm{b}}(X)\) the class of all non-empty, f-bounded, and b-closed subsets of X, it follows that \(h_{1}\) and \(h_{2}\) are quasi-metrics on \({\mathcal{C}}_{\mathrm{f}}(X)\cap {\mathcal{C}}_{\mathrm{b}}(X)\) called fb-Hausdorff–Pompeiu and bf-Hausdorff–Pompeiu quasi-metric, respectively. Likewise \(h_{3}\) is a metric on \({\mathcal{C}}_{\mathrm{b}}(X)\), named b-Hausdorff–Pompeiu metric (for a some approach in this setting, see also [9]).
For simplicity, we will work in the sequel only with h.
We denote by \({\mathcal{K}}_{\mathrm{f}}(X)\) the family of all non-empty f-compact subsets of X.
If in the quasi-metric space \((X,\mathrm{d})\) f-convergence implies b-convergence, we have seen (Proposition 2.1) that \((X,{\mathcal{ T}}_{\mathrm{f}})\) is Hausdorff. Hence it is well known that in this space every compact set is f-closed. Thus, according to Proposition 2.3, we conclude that \({\mathcal{K}}_{\mathrm{f}}(X)\subset {\mathcal{C}}_{\mathrm{f}}(X)\).
Definition 3.5
In the above settings, the metric space \(({\mathcal{K}}_{ \mathrm{f}}(X),h)\) is called fractals space.
Lemma 3.3
Assume that the quasi-metric space \((X,\mathrm{d})\) is f-complete and \((F_{n})\) is a decreasing sequence of non-empty f-closed subsets of X. Then \(\bigcap_{n=1}^{\infty }F_{n}\neq \emptyset \).
Proof
For each \(n=1,2,\ldots \) , set \(\lambda _{n}:=\operatorname{diam}(F_{n})= \sup_{x,y\in F}\mathrm{d}(x,y)\in \mathbb{R}_{+}\cup \{\infty \}\). Since \((F_{n})\) is decreasing, it follows that \((\lambda _{n})\) decreases to a limit \(\lambda \in \mathbb{R}_{+}\cup \{\infty \}\).
If \(\lambda >0\), then clearly \(\bigcap_{n=1}^{\infty }F_{n}\neq \emptyset \).
Assume that \(\lambda =0\) and, for each \(n\in \mathbb{N}\), choose \(x_{n}\in F_{n}\). Then, for \(\varepsilon >0\), one can find \(N\in \mathbb{N}\) such that \(\operatorname{diam}(F_{N})<\varepsilon \). Since \((F_{n})\) is decreasing, \(x_{n}\in F_{N}\) for all \(n\geq N\). Hence, for every \(m>n\geq N\), we have \(\mathrm{d}(x_{n},x_{m})\leq \operatorname{diam}(F _{N})<\varepsilon \). Consequently the sequence \((x_{n})\) is f-Cauchy so, the space being f-complete, it is convergent. Let \(x\in X\) be its limit. Now, since, for every \(n\in \mathbb{N}\), \((x_{k})_{k\geq n}\subset F _{n}\) and \(F_{n}\) is f-closed, it follows that \(x\in F_{n}\). Accordingly, \(x\in \bigcap_{n=1}^{\infty }F_{n}\) completing the proof. □
Notice that a Cantor type theorem for characterization of completeness in quasi-metric spaces can be found in [16, Th. 10]. The above result is appropriate to our purpose.
Lemma 3.4
Let \((A_{n})\) be a Cauchy sequence in the metric space \(({\mathcal{C}}_{\mathrm{f}}(X),h)\) and \(A:=\bigcap_{k=1}^{\infty }\overline{ \bigcup_{n\geq k}A_{n}}\). Then \(A\in {\mathcal{C}}_{\mathrm{f}}(X)\).
If, in addition, f-convergence is equivalent to b-convergence and \((A_{n})\subset {\mathcal{K}}_{\mathrm{f}}(X)\), then \(A\in {\mathcal{K}}_{\mathrm{f}}(X)\).
Proof
According to Lemma 3.3, we have \(A\neq \emptyset \). Clearly A is f-closed.
In order to prove the b-boundedness of A, fix \(\varepsilon >0\). There exists \(N\in \mathbb{N}\) such that
We claim that \(\mathrm{D}(A,A_{N})\leq \varepsilon \). Indeed, by (3.14) and Proposition 3.2(d), (e), one has
That is, \(\sup_{x\in A}\inf_{y\in A_{N}}\mathrm{d}(x,y)\leq \varepsilon \) so, for each \(x\in A\), there is \(y\in A_{N}\) such that \(\mathrm{d}(x,y) \leq \varepsilon \).
As \(A_{N}\) is b-bounded, for some \(z\in X\), one has \(\sup_{y\in A_{N}} \mathrm{d}(y,z)<\infty \). Hence, for every \(x\in A\), there exists \(y\in A_{N}\) such that
Therefore \(\sup_{x\in A}\mathrm{d}(x,z)\leq \varepsilon +\sup_{y \in A_{N}}\mathrm{d}(y,z)<\infty \), so A is b-bounded.
For the second assertion of the statement, assume that f-convergence is equivalent to b-convergence and \((A_{n})\) is a Cauchy sequence in \(({\mathcal{K}}_{\mathrm{f}}(X),h )\). Proceeding as above, for some \(\varepsilon >0\), there exists \(N\in \mathbb{N}\) such that, for each \(x\in A\), one can find \(y\in A_{N}\) such that \(\mathrm{d}(x,y)<\frac{ \varepsilon }{2}\). We will prove that A is f-sequentially compact. For this purpose, let \((x_{n})\subset A\). Then, as before, for \(n=1,2,\ldots \) , there exists \(y_{n}\in A_{N}\) such that
Since, by Lemma 2.1, \(A_{N}\) is f-sequentially compact, there exists a subsequence \((y_{n_{k}})_{k}\) and \(y\in A_{N}\) such that \(y_{n_{k}}\overset{f}{\longrightarrow }y\) so, from hypothesis, \(y_{n_{k}}\overset{b}{\longrightarrow }y\). Therefore one can find \(K\in \mathbb{N}\) such that
We conclude from (3.15) and (3.16) that
for every \(k\geq K\) for which \(n_{k}\geq N\). Thus \(x_{n_{k}} \overset{b}{\longrightarrow }y\). By hypothesis, one has \(x_{n_{k}} \overset{f}{\longrightarrow }y\), which proves that A is f-sequentially compact. The conclusion now follows from Corollary 2.1. □
Theorem 3.4
If \((X,\mathrm{d})\) is f-complete and f-convergence implies b-convergence, then \(({\mathcal{C}}_{\mathrm{f}}(X), h )\) is complete. If, in addition, b-convergence implies f-convergence, then \(({\mathcal{K}}_{\mathrm{f}}(X),h )\) is complete.
Proof
Let \((A_{n})\subset {\mathcal{C}}_{\mathrm{f}}(X)\), respectively \((A_{n})\subset {\mathcal{K}}_{\mathrm{f}}(X)\), be a Cauchy sequence in the space \(({\mathcal{C}}_{\mathrm{f}}(X),h )\), respectively \(({\mathcal{K}}_{\mathrm{f}}(X),h )\), and set \(A:=\bigcap_{k=1}^{\infty }\overline{\bigcup_{n\geq k}A_{n}}\).
By Lemma 3.4 \(A\in {\mathcal{C}}_{\mathrm{f}}(X)\), respectively \(A\in {\mathcal{K}}_{\mathrm{f}}(X)\).
We intend to prove that \(A_{n}\to A\) with respect to the f-Hausdorff–Pompeiu metric.
Fix \(\varepsilon >0\). There exists \(N(\varepsilon )\in \mathbb{N}\) such that
We proceed to show that
The proof of this fact will be divided into two steps.
Step I \(\mathrm{D}(A,A_{m})\leq \frac{\varepsilon }{3}\) for all \(m\geq N(\varepsilon )\).
According to Proposition 3.2(d), (e), and (3.17), we have
Step II \(\mathrm{D}(A_{m},A)\leq \varepsilon \) for all \(m\geq N(\varepsilon )\).
Choose \(m\geq N(\varepsilon )\) and \(y\in A_{m}\). For each \(k=0,1,2,\ldots \) , let \(n_{k}:=N (\frac{\varepsilon }{2^{k}} )\). We construct the sequence \((y_{n_{k}})_{k}\) as follows: \(y_{n_{0}}:=y\). Assume that we have \(y_{n_{i}}\in A_{n_{i}}\), \(i=1,\ldots,k-1\). Next, taking \(\frac{\varepsilon }{2^{k-1}}\) instead of ε, relation (3.17) becomes
As \(y_{n_{k-1}}\in A_{n_{k-1}}\), one can find \(y_{n_{k}}\in A_{n_{k}}\) such that
Notice that \((y_{n_{k}})\) is f-Cauchy because, for every \(m>k\), one has using (3.19)
The space \((X,\mathrm{d})\) being f-complete, it follows that there exists \(x\in X\) such that \(y_{n_{k}}\overset{f}{\longrightarrow }x\). Now, since \(y_{n_{k}}\in A_{n_{k}}\subset \overline{\bigcup_{n\geq k}A _{n}}\), one deduces that \(x\in \overline{\bigcup_{n\geq k}A_{n}}\) for all \(k\geq 1\), thus \(x\in A\).
As, by hypothesis, \(y_{n_{k}}\overset{b}{\longrightarrow }x\), we get \(K\in \mathbb{N}\) such that \(\mathrm{d}(y_{n_{k}},x)<\frac{\varepsilon }{3}\) for all \(k\geq K\). Consequently,
From this, y being arbitrarily chosen, we conclude that
Inequality (3.18) now follows from Step I and Step II. The proof is complete. □
4 Application. Iterated function systems
In the following we adapt [26, Lemma 4.1] to our setting.
Lemma 4.1
Assume that in the quasi-metric space \((X,\mathrm{d})\) f-convergence implies b-convergence, and let \(F\in {\mathcal{F}}\), \(\psi \in \varPsi \) and \(\omega :X\to X\) be a forward ψF-contraction. Then the mapping \(A\mapsto \omega (A)\) is a ψF-contraction from \(({\mathcal{K}}_{\mathrm{f}}(X),h )\) into itself. If, in addition, F is continuous, then the mapping \(A\mapsto \overline{ \omega (A)}\) is a ψF-contraction from \(({\mathcal{C}}_{ \mathrm{f}}(X),h )\) into itself.
Proof
Choose \(A,B\in {\mathcal{K}}_{\mathrm{f}}(X)\) such that \(h ( \omega (A),\omega (B) )>0\). Assume that
By hypothesis,
According to Proposition 2.4 and Remark 3.2, the mappings d and ψ are continuous. So, since the set A is compact, one can find \(a\in A\) such that
hence \(\mathrm{d} (\omega (a),\omega (y) )>0\) for all \(y\in B\). Therefore, for every \(y\in B\),
that is,
Let \(b\in B\) be such that \(\mathrm{d}(a,b)=\inf_{y\in B} \mathrm{d}(a,y)\). Then, by (4.2) and since F and ψ are increasing, one obtains
Consequently, \(F (h (\omega (A),\omega (B) ) )\leq \psi (F (h(A,B) ) )\).
For the second part of the statement, we first notice that from the definition of ψ we have \(\psi (t)< t\) for all \(t\in (-\infty , \mu )\), \(\mu =\sup F\); hence \(\psi (M)\) is b-bounded for every b-bounded set \(B\subset X\). Next, assume that \(A,B\in {\mathcal{C}}_{ \mathrm{f}}(X)\) are such that \(h (\overline{\omega (A)},\overline{ \omega (B)} )=\mathrm{D} (\overline{\omega (A)},\overline{ \omega (B)} )>0\). Then, by the continuity of F, ψ, and d, taking into account that F and ψ are increasing, we get, using Corollary 3.3(c),
□
Definition 4.1
A family of self-mappings \((\omega _{k})_{k=1}^{N}\) on a quasi-metric space \((X,\mathrm{d})\) is called Iterated Function System (IFS for short). We say that the set map \({\mathcal{S}}: {\mathcal{C}}_{\mathrm{f}}(X)\to {\mathcal{C}}_{\mathrm{f}}(X)\) defined by \({\mathcal{S}}(B):=\bigcup_{k=1}^{N} \overline{\omega _{n}(B)}\) is the Hutchinson or the fractal operator associated with the respective IFS. If there exists a unique set \(A\in {\mathcal{C}}_{\mathrm{f}}(X)\) such that \({\mathcal{S}}(A)=A\), then A is called the attractor of the IFS.
Remark 4.1
If \((\omega _{k})_{k=1}^{N}\) is an IFS consisting of ψF-contractions on the Hausdorff quasi-metric space \((X, \mathrm{d})\) (in particular f-convergence implies b-convergence, see Proposition 2.1), then \({\mathcal{S}}(B)=\bigcup_{k=1}^{N} \omega _{k}(B)\) for every \(B\in {\mathcal{K}}_{\mathrm{f}}(X)\). Indeed, B being f-compact and \(\omega _{k}\) continuous, it follows that \(\omega _{k}(B)\) is f-compact, hence f-closed.
Theorem 4.1
Assume that in the quasi-metric space \((X,\mathrm{d})\) f-convergence implies b-convergence and consider the IFS \((\omega _{k})_{k=1}^{N}\), where, for each \(k=1,\ldots,N\), \(\omega _{k}:X\to X\) is a forward \(\psi _{k} F\)-contraction, \(\psi _{k}\in \varPsi \), \(F\in {\mathcal{F}}\). If F is continuous, then \({\mathcal{S}}\) is a ψF-contraction in \({\mathcal{C}}_{\mathrm{f}}(X)\) for some \(\psi \in \varPsi \). If \((X,\mathrm{d})\) is f-complete, then the IFS \((\omega _{k})_{k=1}^{N}\) has a unique attractor \(A\in {\mathcal{C}}_{\mathrm{f}}(X)\) which is approximated in the f-Hausdorff–Pompeiu metric by the sequence \(({\mathcal{S}}^{n}(B))\) for every \(B\in {\mathcal{C}}_{ \mathrm{f}}(X)\).
Proof
Set \(\mu =\sup F\) and \(\psi :(-\infty ,\mu )\to \mathbb{R}\), \(\psi =\max_{1\leq k\leq N}\psi _{k}\). Clearly \(\psi \in \varPsi \).
Choose \(A,B\in {\mathcal{K}}_{\mathrm{f}}(X)\) such that \(h ( {\mathcal{S}}(A),{\mathcal{S}}(B) )>0\). By Corollary 3.3(d), we get
for some \(k_{0}\in \{1,\ldots,N\}\). Next, according to Lemma 4.1, one obtains
so \({\mathcal{S}}\) is a ψF-contraction.
The last assertion follows from Theorem 3.4 and Corollary 3.2. □
Theorem 4.2
We consider an IFS \((\omega _{k})_{k=1}^{N}\) composed by forward \(F_{k}\)-contractions, \(F_{k}\in {\mathcal{F}}\), \(F_{k}\) continuous, \(k=1,\ldots,N\), on the quasi-metric space \((X,\mathrm{d})\) where f-convergence implies b-convergence. Then there is \(F\in {\mathcal{F}}\) such that \({\mathcal{S}}\) is an F-contraction on \({\mathcal{C}}_{\mathrm{f}}(X)\). Furthermore, if the space is f-complete, then the IFS has a unique attractor in \({\mathcal{C}} _{\mathrm{f}}(X)\) approximated by \(({\mathcal{S}}^{n}(B))\) for every \(B\in {\mathcal{C}}_{\mathrm{f}}(X)\).
Proof
By hypothesis, for each \(k=1,\ldots,N\), there is \(\tau _{k}>0\) such that
We set \(F:=F_{1}+\cdots +F_{N}\) and \(\tau :=\min_{1\leq k\leq N}\tau _{k}\). Clearly \(F\in {\mathcal{F}}\).
Let \(A,B\in {\mathcal{C}}_{\mathrm{f}}(X)\) be such that \(h ( {\mathcal{S}}(A),{\mathcal{S}}(B) )>0\). One can find \(k_{0}\in \{1,\ldots,N\}\) such that
Now, using Lemma 4.1 and (3.3), we get
By Theorem 3.4 and Corollary 3.2 the rest of assertions follow. □
Analogous theorems to Theorems 4.1 and 4.2 can be formulated by replacing the space \({\mathcal{C}}_{\mathrm{f}}(X)\) with \({\mathcal{K}}_{\mathrm{f}}(X)\), the proofs being similar.
Theorem 4.3
Let \((X,\mathrm{d})\) be a quasi-metric space where f-convergence is equivalent to b-convergence and consider the IFS \((\omega _{k})_{k=1} ^{N}\) composed by forward \(\psi _{k} F\)-contractions, \(\psi _{k}\in \varPsi \), \(F\in {\mathcal{F}}\). Then \({\mathcal{S}}\) is a ψF-contraction in \({\mathcal{K}}_{\mathrm{f}}(X)\) for some \(\psi \in \varPsi \). If \((X,\mathrm{d})\) is f-complete, then the IFS \((\omega _{k})_{k=1}^{N}\) has a unique attractor in \({\mathcal{K}} _{\mathrm{f}}(X)\) which is approximated in the f-Hausdorff–Pompeiu metric by the sequence \(({\mathcal{S}}^{n}(B))\) for every \(B\in {\mathcal{K}}_{\mathrm{f}}(X)\).
The following example is an application of each of Theorems 4.1 and 4.3.
Example 4.1
Let us consider \(X=[1,\infty )\), the quasi-metric \(\mathrm{d}:X \times X\to \mathbb{R}_{+} \cup \{0\}\) given by
and the mapping \(F:\mathbb{R}_{+}\to \mathbb{R}\), \(F(t)=\frac{1}{1-e ^{t}}\). For \(N\in \mathbb{N}\) and each \(k=1,2,\ldots,N\), let us also define \(\omega _{k}:X\to X\) and \(\psi _{k}:(-\infty ,0)\to \mathbb{R}\) by
Then \(\omega _{k}\) is a forward \(\psi _{k} F\)-contraction for all \(k=1,\ldots,N\). Furthermore, the IFS \((\omega _{k})_{k=1}^{N}\) has a unique attractor \(A\in {\mathcal{K}}_{\mathrm{f}}(X)\subset {\mathcal{C}}_{\mathrm{f}}(X)\) which is approximated with respect to the f-Hausdorff–Pompeiu metric by the sequence \(({\mathcal{S}}(B))\) for every \(B\in {\mathcal{C}}_{\mathrm{f}}(X)\).
Proof
It is easy to check the following properties: in the space \((X, \mathrm{d})\) f-convergence is equivalent to b-convergence, \({\mathcal{K}}_{\mathrm{f}}(X)\subset {\mathcal{C}}_{\mathrm{f}}(X)\), \(F\in {\mathcal{F}}\), F is continuous, \(\sup F=0\) and \(\psi _{k} \in \varPsi \) for every \(k=1,\ldots,N\). In the same manner as in Example 3.1 we can prove that \((X,\mathrm{d})\) is f-complete; hence, by Theorem 3.4, the spaces \(({\mathcal{K}}_{\mathrm{f}}(X),h )\), \(({\mathcal{C}}_{\mathrm{f}}(X),h )\) are complete.
In order to apply Theorem 4.1, respectively Theorem 4.3, it remains to prove that \(\omega _{k}\) is a forward \(\psi _{k} F\)-contraction for each \(k=1,\ldots,N\).
For this purpose, choose \(k\in \{1,\ldots,N\}\) and \(x,y\in X\), \(x \neq y\). Notice that \(\omega _{k}\) is an increasing map. Two cases can occur.
Case I: \(x< y\). In this case
Then
where we omitted some elementary computations.
Case II: \(x>y\). Then
Hence
The above inequality will result obviously from the following two relations:
and
Indeed, inequality (4.3) is equivalent to
which is obvious.
Now, we multiply inequality (4.4) by \(\frac{1}{\sqrt[3]{xy}}\) and next we use the substitutions \(a=\frac{1}{\sqrt[3]{x}}\), \(b=\frac{1}{ \sqrt[3]{y}}\). Then \(a< b\) and one has
which is clear because the mapping \(t\mapsto \sqrt[3]{k+t^{3}}-t\) is decreasing. □
Theorem 4.4
We consider an IFS \((\omega _{k})_{k=1}^{N}\) composed by forward \(F_{k}\)-contractions, \(F_{k}\in {\mathcal{F}}\), \(k=1,\ldots,N\), on the quasi-metric space \((X,\mathrm{d})\) where f-convergence is equivalent to b-convergence. Then there is \(F\in {\mathcal{F}}\) such that \({\mathcal{S}}\) is an F-contraction on \({\mathcal{K}}_{ \mathrm{f}}(X)\). Furthermore, if the space is f-complete, then the IFS has a unique attractor approximated by \(({\mathcal{S}}^{n}(B))\) for every \(B\in {\mathcal{K}}_{\mathrm{f}}(X)\).
Remark 4.2
The previous theorem improves [26, Th. 4.1] where the supplementary condition that the functions \(g_{k}:=\max_{j}F_{j}-F _{k}\) must be increasing for all \(k=1,\ldots,N\) is imposed.
References
Wilson, W.A.: On quasi-metric spaces. Am. J. Math. 53, 675–684 (1931)
Mennucci, A.: On asymmetric distances. Technical report, Scuola Normale Superiore, Pisa (2004)
Mainik, A., Mielke, A.: Existence results for energetic models for rate-independent systems. Calc. Var. Partial Differ. Equ. 22, 73–99 (2005)
Mielke, A., Roubcek, T.: A rate-independent model for inelastic behavior of shape-memory alloys. Multiscale Model. Simul. 1, 571–597 (2003) (electronic)
Rieger, R.Z., Zimmer, J.: Young measure flow as a model for damage. Preprint 11/05, Bath Institute for Complex Systems, Bath, UK (2005)
Woon, W.L., Madnick, S.: Asymmetric information distances for automated taxonomy construction. Knowl. Inf. Syst. 21(1), 91–111 (2009)
Kelly, J.C.: Bitopological spaces. Proc. Lond. Math. Soc. s3-13(1), 71–89 (1963)
Aminpour, A.M.: Some results in asymmetric metric spaces. Math. Æterna 2(6), 533–540 (2012)
Brattka, V.: Generated quasi-metric hyper and function spaces. Topol. Appl. 127, 355–373 (2003)
Cobzaş, S.: Completeness in quasi-metric spaces and Ekeland variational principle. Topol. Appl. 158, 1073–1084 (2011)
Collins, J., Zimmer, J.: An asymmetric Arzelà–Ascoli theorem. Topol. Appl. 154, 2312–2322 (2007)
Gaba, Y.U.: Startpoints and \(\alpha,\gamma \)-contractions in quasi-pseudometric spaces. J. Math. 2014, Article ID 709253 (2014)
Khorshidvandpour, S., Mosaffa, M., Mousavi, S.M.: Some fixed point theorems in asymmetric metric spaces. Sci. Magna 9(2), 13–17 (2013)
Künzi, H.P.A.: A note on sequentially compact quasi-pseudo-metric spaces. Monatshefte Math. 95(3), 219–220 (1983)
Piri, H., Kumam, K.: Some fixed point theorems concerning F-contraction in complete metric spaces. Fixed Point Theory Appl. 2014, 210 (2014)
Reilly, I.L., Subrahmanyam, P.V., Vamanamurthy, M.K.: Cauchy sequences in quasi-pseudo-metric spaces. Monatshefte Math. 93, 127–140 (1982)
Wardowski, D.: Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, 94 (2012)
Secelean, N.A., Wardowski, D.: ψF-Contractions: not necessarily nonexpansive Picard operators. Results Math. 70(3), 415–431 (2016)
Nazama, M., Arshada, M., Postolache, M.: Coincidence and common fixed point theorems for four mappings satisfying \((\alpha_{s},F)\)-contraction. Nonlinear Anal., Model. Control 23(5), 664–690 (2018)
Ali, M.U., Kamran, T., Postolache, M.: Solution of Volterra integral inclusion in b-metric spaces via new fixed point theorem. Nonlinear Anal., Model. Control 22(1), 17–30 (2017)
Kamran, T., Postolache, M., Ali, M.U., Kiran, Q.: Feng and Liu type F-contraction in b-metric spaces with application to integral equations. J. Math. Anal. 7(5), 18–27 (2016)
Secelean, N.A.: Weak F-contractions and some fixed point results. Bull. Iran. Math. Soc. 42(3), 779–798 (2016)
Hutchinson, J.: Fractals and self-similarity. Indiana Univ. Math. J. 30, 713–747 (1981)
Engelking, R.: General Topology. Heldermann, Berlin (1989)
Ćirić, L.B.: On contraction type mappings. Math. Balk. 1, 52–57 (1971)
Secelean, N.A.: Iterated function systems consisting of F-contractions. Fixed Point Theory Appl. 2013, 277 (2013)
Turinici, M.: Wardowski implicit contractions in metric spaces. arXiv:1212.3164v2 [Math.GN]
Barnsley, M.F.: Fractals Everywhere. Academic Press, San Diego (1988)
Acknowledgements
The authors would like to thank the reviewers and the editors for their valuable suggestions and comments.
Availability of data and materials
Not applicable.
Funding
This work was supported by the project financed by Lucian Blaga University of Sibiu research grant LBUS-IRG-2018-04.
Author information
Authors and Affiliations
Contributions
The three authors have equal share of contribution to the results. All three authors read and approved the final version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have 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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Secelean, N.A., Mathew, S. & Wardowski, D. New fixed point results in quasi-metric spaces and applications in fractals theory. Adv Differ Equ 2019, 177 (2019). https://doi.org/10.1186/s13662-019-2119-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2119-z