 Next Article in Journal
Towards Repayment Prediction in Peer-to-Peer Social Lending Using Deep Learning
Previous Article in Journal
Comparing Direct and Indirect Transmission in a Simple Model of Veterinary Disease
Article

# Generalized F-Contractions on Product of Metric Spaces

1
Department of Mathematics and Computer Science, Faculty of Sciences, Lucian Blaga University of Sibiu, 550012 Sibiu, Romania
2
School of Science and Technology, University of Sanya, Hainan 572000, China
*
Author to whom correspondence should be addressed.
Mathematics 2019, 7(11), 1040; https://doi.org/10.3390/math7111040
Received: 16 October 2019 / Revised: 30 October 2019 / Accepted: 30 October 2019 / Published: 3 November 2019

## Abstract

Our purpose in this paper is to extend the fixed point results of a $ψ F$ -contraction introduced by Secelean N.A. and Wardowski D. ( $ψ F$ -Contractions: Not Necessarily Nonexpansive Picard Operators, Results. Math.70(3), 415–431 (2016)) defined on a metric space X into itself to the case of mapping defined on the product space $X I$ , where I is a set of positive integers (natural numbers). Some improvements to the conditions imposed on function F and space X are provided. An illustrative example is given.

## 1. Introduction

As it is well known, Banach contraction principle is of crucial importance in fixed point theory with many applications in various fields of mathematics. This initiated several authors to extend and improve the purpose of that theory either by generalizing the domain of the mapping or by extending the contractive conditions.
In  D. Wardowski introduced a new type of contractive self-map T on a metric space $( X , d )$, so called F-contraction. This is defined by the inequality $F d ( T x , T y ) + τ ≤ F d ( x , y )$ for all $x , y ∈ X$ with $T x ≠ T y$, where $τ > 0$ and $F : ( 0 , ∞ ) → R$ satisfies the conditions (F1)-(F3) (see Definition 1 below). Wardowski proved that, whenever $( X , d )$ is complete, every F-contraction has a unique fixed point which is the limit of the Picard iterations. He also showed that F-contractions are generalizations of Banach contractions.
In last decades, there is a sustained endeavor of many researchers obtain new classes of Picard mappings by extend and improve the survey of F-contractions by generalizing the function F and the spaces with metric type structures. In this respect, in  N.A. Secelean considers F-contractions defined on the product space $X I$ with values in X, where I is a set of positive integers, and proved two fixed point theorems for such mappings. N.A. Secelean and D. Wardowski  introduced a new concept $ψ F$-contraction which strictly generalized F-contraction and proved that it is also a Picard operator (i.e., it has a unique fixed point which is the limit of Picard iteration). They also given an example of $ψ F$-contraction which is neither contractive nor nonexpansive map.
In this paper we generalize the fixed point result given in  for $ψ F$-contractions defined on complete metric space X by extending this mappings on product metric space $X I$ endowed with the sup metric, where I is a set of positive integers. We also extend the results obtained in [2,4]. We highlight that the improvement provided in the present paper consists also in imposing only the condition (F1) for function F and by replacing the completeness of the space X with a less restrictive one: orbitally completeness. An illustrative example are given.

## 2. Preliminaries: F-Contractions; $ψ F$-Contractions

We give here a brief exposition of F-contractions defined by D. Wardowski  and some of its extensions, namely $ψ F$-contractions, introduced by N.A. Secelean and D. Wardowski in .
In this paper we denote by $R$, $R +$ and $N$ the set of all real numbers, all positive real numbers and all positive integers, respectively. We will also write $R ¯ + = R + ∪ { ∞ }$.
If $ν , λ ∈ R ¯ +$, by “$ν > λ$” we understand $ν > λ$ if $λ ∈ R +$ and $ν = ∞$ otherwise.
Throughout this section $( X , d )$ denotes a metric space.
Definition 1
( (Def.2.1)). Let denote by $F$ the set of all functions $F : ( 0 , ν ) → R$, , satisfying:
(F1)
F is strictly increasing, i.e., for every $t , s ∈ ( 0 , ν )$, $t < s$, one has $F ( t ) < F ( s )$,
(F2)
for every sequence $( t n ) ⊂ ( 0 , ν )$, $lim n t n = 0$ if and only if $lim n F ( t n ) = − ∞$,
(F3)
there exists $λ ∈ ( 0 , 1 )$ such that $lim t ↘ 0 t λ F ( t ) = 0$,
where diam means the diameter.
A mapping $T : X → X$ is called F-contraction if there are $F ∈ F$ and $τ > 0$ such that
For each $μ ∈ R ¯ +$, we denote by $Ψ μ *$ the class of all increasing functions $ψ : ( − ∞ , μ ) → ( − ∞ , μ )$ such that $ψ n ( t ) ⟶ − ∞$, for every $t ∈ ( − ∞ , μ )$, where $ψ n$ denotes the n-th composition of $ψ$.
If F satisfies (F1) and (F2), $ψ ∈ Ψ μ *$, $μ = sup 0 < t < ν$, , a mapping $T : X → X$ is said to be $ψ F$-contraction whenever
$T x ≠ T y ⇒ F d ( T x , T y ) ≤ ψ F d ( x , y ) .$
The following results are easy to be verified:
Remark 1.
(1) All F-contractions are contractive maps and every Banach contraction with ratio $r ∈ ( 0 , 1 )$ is an F-contraction with $F ( t ) = ln t$ and $τ = − ln r$.
(2) Every $ψ F$-contraction is an F-contraction if we take $ψ ( t ) = t − τ$.
In the next theorems similar results as the Banach contraction principle for F-contractions and $ψ F$-contractions are established.
Theorem 1
((Th. 2.1)). Assume that $( X , d )$ is a complete metric space, $F ∈ F$ and $T : X → X$ is an F-contraction. Then T has a unique fixed point ξ and, for each $x ∈ X$, the sequence $( T n x ) n$ converges to ξ.
Theorem 2
( (Th. 3.3)). Let $T : X → X$ be a $ψ F$-contraction, where $F : ( 0 , ν ) → R$ satisfies (F1), (F2), , and $ψ ∈ Ψ μ *$ be continuous, $μ > sup F$. If $( X , d )$ is complete, then T has a unique fixed point ξ and, for every $x ∈ X$, the sequence $( T n x ) n$ converges to ξ.

## 3. The Results

Inspired by [3,2], we will generalize the concept of F-contraction.
Let $( X , d )$ be a metric space.
Let I be a nonempty set of positive integers I and denote
There is no loss of generality in assuming that $I = { 1 , 2 , ⋯ , m }$, $m ∈ N$, if I is finite and $I = N$ otherwise. In this circumstance, , where $m = card I$ and, respectively, $X I$ is the $l ∞ ( X )$ space of all bounded sequences in X.
We say that $ξ ∈ X$ is a fixed point of an operator $T : X I → X$ if $T ( ξ , ξ , ⋯ ) = ξ$.
Set $ν > sup x , y ∈ X d ( x , y )$. Throughout the paper, we denote by $F$ the class of nondecreasing functions $F : ( 0 , ν ) → R$ and, for $μ = sup 0 < t < ν F ( t ) ∈ R ¯ +$, by $Ψ μ$ the family of all increasing and upper semi-continuous mappings $ψ : ( − ∞ , μ ) → ( − ∞ , μ )$ such that $ψ ( t ) < t$ for all $t ∈ ( − ∞ , μ )$ (several examples of such mappings $ψ$ can be found in ).
Definition 2.
Let us consider $F ∈ F$ and $ψ ∈ Ψ μ$.
A mapping $T : X I → X$ is said to be a generalized $ψ F$-contraction if, for every ,
$T x ≠ T y ⇒ F d ( T x , T y ) ≤ ψ F sup i ∈ I d ( x i , y i ) .$
We provide first the fixed point result for the case when I is a finite set and, next, we prove a theorem for the general case.

#### 3.1. Generalized $ψ F$-Contractions on $X m$

In this subsection, the product metric space $X I$, where I is finite, is considered.
Let $T : X m → X$ be a function and, for a given $α = ( x 0 , x 1 , ⋯ , x m − 1 ) ∈ X m$, we define the orbit of T at $α$ by , where $x k + 1 = T ( x k , x k − 1 , ⋯ , x k − m + 1 )$ for all $k ≥ m − 1$.
We say that the map T is orbitally continuous at a point $ξ ∈ X$ if, for every $α ∈ X m$ such that $x n ⟶ n ξ$ and every subsequences $( x n k 1 ) , ⋯ , ( x n k m )$, one has $lim k T ( x n k 1 , ⋯ , x n k m ) = T ( ξ , ⋯ , ξ )$, where ${ x n } = O ( α )$. If T is orbitally continuous at every $ξ ∈ X$, we say that it is orbitally continuous.
The space X is T-orbitally complete if, for each $α ∈ X m$ and every Cauchy subsequence $( x n k )$ of $( x n )$, where ${ x n } = O ( α )$, is convergent.
Definition 3.
Let us consider $F ∈ F$ and $ψ ∈ Ψ μ$.
A mapping $T : X m → X$ is called strong orbitally generalized $ψ F$-contraction (SOG $ψ F$-contraction for short) if, for every $α ∈ X m$, one has
$F d T ( x k , ⋯ , x k − m + 1 ) , T ( y k , ⋯ , y k − m + 1 ) ≤ ψ F max 0 ≤ i ≤ m − 1 d ( x k − i , y k − i ) ,$
for all and all $k ≥ m − 1$ with $T ( x k , ⋯ , x k − m + 1 ) ≠ T ( y k , ⋯ , y k − m + 1 )$, where the bar means the closure.
T is an weak orbitally generalized $ψ F$-contraction (WOG $ψ F$-contraction for short) if, for every $α ∈ X m$, one has
$F d T ( x k , ⋯ , x k − m + 1 ) , T ( x l , ⋯ , x l − m + 1 ) ≤ ψ F max 0 ≤ i ≤ m − 1 d ( x k − i , x l − i ) ,$
for all $k , l ≥ 1$ such that $T ( x k + 1 , ⋯ , x k − m + 2 ) ≠ T ( x k , ⋯ , x k − m + 1 )$, where ${ x n } = O ( α )$.
It is obvious that every generalized $ψ F$-contraction is a SOG $ψ F$-contraction and every SOG $ψ F$-contraction is an WOG $ψ F$-contraction.
In the following, we provide some generalizations of Theorems 1 and 2. We need first the following three results.
Lemma 1
( (L. 2.1)). If $ψ ∈ Ψ μ$, $μ ∈ R ¯ +$, then $lim n ψ n ( t ) = − ∞$, for all $t < μ$.
Lemma 2
( (L.3.2(a))). Let $F : R + → R$ be a nondecreasing map and $( t k ) k$ a sequence of positive real numbers. Then
Proposition 1
( (Prop.3)). Let $( x n )$ be a sequence of elements from X and $Δ$ be a subset of $( 0 , ν )$, $ν ∈ R ¯ +$, such that $( 0 , ν ) ∖ Δ$ is dense in $( 0 , ν )$. If $d ( x n , x n + 1 ) ⟶ n 0$ and $( x n )$ is not Cauchy, then there exist $η ∈ ( 0 , ν ) ∖ Δ$, $n 0 ∈ N$ and the sequences of natural numbers $( m k ) , ( n k )$ such that
• $d ( x m k , x n k ) ↘ η$, $k ⟶ ∞ ,$
• $d ( x m k + p , x n k + q ) ⟶ η$, $k ⟶ ∞$, $p , q ∈ { 0 , 1 }$.
Our first new result is the next.
Theorem 3.
Let $m ∈ N$, $F ∈ F$, $ψ ∈ Ψ μ$ and $T : X m → X$ be an WOG $ψ F$-contraction which is orbitally continuous. If the space $( X , d )$ is T-orbitally complete, then there is $ξ ∈ X$ such that $T ( ξ , ⋯ , ξ ) = ξ$. If, further,
then ξ is unique and, for every $α ∈ X m$, $x n ⟶ n ξ$, where ${ x n } = O ( α )$.
Proof.
There is no loss of generality in assuming $m = 2$, for the cases $m = 1$ and $m ≥ 3$ one can proceed analogously.
Assume that T is an WOG $ψ F$-contraction.
Set $x 0 , x 1 ∈ X$ and, for each $k ≥ 1$, $x k + 1 : = T ( x k , x k − 1 )$. We also define $γ k : = max { d ( x k + 1 , x k ) , d ( x k , x k − 1 ) }$, $k = 1 , 2 , ⋯$
If there is $k 0 ∈ N$ such that $γ k 0 = 0$, then $x k − 1 = x k = x k + 1$ and, taking $ξ = x k − 1$, one obtains $T ( ξ , ξ ) = ξ$.
Now suppose that $γ k > 0$ for all $k ≥ 1$ and fix $k ≥ 3$.
If $γ k = d ( x k + 1 , x k )$, then
$F d ( x k + 1 , x k ) = F d ( T ( x k , x k − 1 ) , T ( x k − 1 , x k − 2 ) ) ≤ ψ F max { d ( x k , x k − 1 ) , d ( x k − 1 , x k − 2 ) } = ψ F ( γ k − 1 ) .$
In the other case, we have
$F d ( x k , x k − 1 ) = F d ( T ( x k − 1 , x k − 2 ) , T ( x k − 2 , x k − 3 ) ) ≤ ψ F ( γ k − 2 ) .$
Consequently,
$F ( γ k ) = F max { d ( x k + 1 , x k ) , d ( x k , x k − 1 ) } ≤ max ψ F ( γ k − 1 ) , ψ F ( γ k − 2 )$
$= ψ max { F ( γ k − 1 ) , F ( γ k − 2 ) } ,$
where, in the last equality, we used the monotonicity of $ψ$.
By (6), we have for $k ≥ 4$,
$F ( γ k − 1 ) ≤ ψ max { F ( γ k − 2 ) , F ( γ k − 3 ) } < max { F ( γ k − 2 ) , F ( γ k − 3 ) }$
so
$ψ 2 F ( γ k − 1 ) < ψ 2 max { F ( γ k − 2 ) , F ( γ k − 3 ) } = max ψ 2 F ( γ k − 2 ) , ψ 2 F ( γ k − 3 ) .$
From (6) and (8), we obtain
$ψ F ( γ k ) ≤ ψ 2 max { F ( γ k − 1 ) , F ( γ k − 2 ) } = max ψ 2 F ( γ k − 1 ) , ψ 2 F ( γ k − 2 )$
$< max ψ 2 F ( γ k − 2 ) , ψ 2 F ( γ k − 3 ) .$
From (7), one has
$ψ F ( γ k − 1 ) ≤ ψ 2 max { F ( γ k − 2 ) , F ( γ k − 3 ) } = max ψ 2 F ( γ k − 2 ) , ψ 2 F ( γ k − 3 ) .$
Now, by (6), (9) and (10), it follows
$F ( γ k + 1 ) ≤ ψ 2 max { F ( γ k − 2 ) , F ( γ k − 3 ) } .$
Inductively, we obtain
Thus, if k is an even number,
$F ( γ k + 1 ) ≤ ψ k 2 − 1 max { F ( γ 2 ) , F ( γ 1 ) } ,$
and, if k is odd,
$F ( γ k + 1 ) ≤ ψ k − 3 2 max { F ( γ 3 ) , F ( γ 2 ) } .$
From Lemma 1, we deduce that $F ( γ k ) ⟶ k − ∞$ and, from Lemma 2, that
$d ( x k + 1 , x k ) ⟶ k 0 .$
Now, assume that the sequence $( x n )$ is not Cauchy and let $Δ$ be the set of discontinuities of F. Since F is monotonic, it follows that $Δ$ is at most countable, and so $( 0 , ν ) ∖ Δ$ is dense in $( 0 , ν )$. According to Proposition 1, one can find $η ∈ ( 0 , ν ) ∖ Δ$ and sequences $( m k )$, $( n k )$ such that
Since $η > 0$, there exists $K ∈ N$ such that $d ( x m k + 1 , x n k + 1 ) > 0$ for all $k ≥ K$. Therefore, we get
$F d ( x m k + 1 , x n k + 1 ) = F d ( T ( x m k , x m k − 1 ) , T ( x n k , x n k − 1 ) )$
$≤ ψ F max { d ( x m k , x n k ) , d ( x m k − 1 , x n k − 1 ) }$
Letting $k ⟶ ∞$, using (11), the continuity of F at $η$, and the fact that $ψ$ is upper semi-continuous, one obtains
$F ( η ) ≤ lim sup t ⟶ F ( η ) ψ ( t ) ≤ ψ ( F ( η ) ) < F ( η ) ,$
a contradiction. Therefore, $( x n )$ is Cauchy, hence, X being T-orbitally complete, is convergent. Let $ξ ∈ X$ be its limit.
Now, using the orbitally continuity of T at $ξ$, one has
$ξ = lim k x k = lim k T ( x k − 1 , ⋯ , x k − m ) = T ( ξ , ⋯ , ξ ) .$
Finally, the uniqueness of $ξ$ follows obviously from (5). □
Corollary 1.
Let $m ∈ N$, $F ∈ F$, $ψ ∈ Ψ μ$ and $T : X m → X$ be an SOG $ψ F$-contraction. If the space $( X , d )$ is T-orbitally complete and (5) holds, then there is a unique $ξ ∈ X$ such that $T ( ξ , ⋯ , ξ ) = ξ$ and, for every $α ∈ X m$, $x n ⟶ n ξ$, where ${ x n } = O ( α )$.
Proof.
Choose $ξ ∈ X$ and $α ∈ X m$ such that $x n ⟶ n ξ$, where ${ x n } = O ( α )$. If $( x n k 1 )$,...,$( x n k m )$ are subsequences of $( x n )$, then, by (3),
$F d T ( x n k 1 , ⋯ , x n k m ) , T ( ξ , ⋯ , ξ ) ≤ ψ F max 1 ≤ j ≤ m { d ( x n k j , ξ ) } < F max 1 ≤ j ≤ m { d ( x n k j , ξ ) }$
hence
$d T ( x n k 1 , ⋯ , x n k m ) , T ( ξ , ⋯ , ξ ) ≤ max 1 ≤ j ≤ m { d ( x n k j , ξ ) } ⟶ k 0 ,$
so T is orbitally continuous at $ξ$.
The conclusion now follows from Theorem 3. □
Corollary 2.
Let $m ∈ N$, $F ∈ F$, $ψ ∈ Ψ μ$ and $T : X m → X$ be a generalized $ψ F$-contraction. If the space $( X , d )$ is T-orbitally complete, then there is a unique $ξ ∈ X$ such that $T ( ξ , ⋯ , ξ ) = ξ$ and, for every $α ∈ X m$, $x n ⟶ n ξ$, where ${ x n } = O ( α )$.
Proof.
Firstly, we prove that T satisfies the condition (5). Let $u , v ∈ X$, $u ≠ v$. One has
$F d T ( u , ⋯ , u ) , T ( v ⋯ , v ) ≤ ψ F d ( u , v ) < F d ( u , v ) ,$
hence $d T ( u , ⋯ , u ) , T ( v ⋯ , v ) < d ( u , v ) .$
Next, we apply Corollary 1. □
Remark 2.
In the particular case $m = 1$, several results concerning F-contractions in the literature can be obtained. The improvement of these results also consists in the fact that the requirement for F is just to satisfy (F1) and that we consider an arbitrary mapping $t ↦ ψ ( t )$ satisfying some minimal properties instead of $t − τ$.
Corollary 2 generalized (, Th. 2.2).
Example 1.
Let us consider $X = ( 1 , 2 ]$ endowed with the standard metric and $T : X × X → X$ given by $T ( x , y ) = x + y$. Then
1. X is uncomplete while it is orbitally complete because, for every $x 0 , x 1 ∈ X$, the sequence $x n = T ( x n − 1 , x n − 2 )$, $n ≥ 2$, converges to 2.
2. T is a generalized $ψ F$-contraction, where $F : ( 0 , ν ) → R$, $F ( t ) = − 1 / t$, $ν > 1$, and $ψ : ( − ∞ , − 1 / ν ) → ( − ∞ , − 1 / ν )$, $ψ ( t ) = t 3 − 1 3$.
3. T has a unique fixed point $ξ = 2$ and for every $α ∈ X m$, $x n ⟶ n ξ$, where ${ x n } = O ( α )$.
Proof.
1. It is obvious that $x n ≤ 2$ for every $n ≥ 0$.
Let $λ = min { x 0 , x 1 }$ and define $y n = y n − 1 + y n − 2$ for all $n ≥ 2$, where $y 0 = y 1 = λ$. Then $y n ≤ x n$ for every $n ≥ 0$. One can easily prove, by induction, that $( y n ) n$ is nondecreasing so, being upper bounded, is convergent and its limit is 2. Consequently, from the sandwich rule, $lim n x n = 2$.
2. We fix $x , y , z , t ∈ X$ with $x + y ≠ z + t$ and denote $a = x + y$, $b = z + t$, $M = max | z − x | , | t − y |$. Hence $a , b ∈ ( 2 , 4 ]$, so $2 2 < a + b$. Thus
Consequently
$≤ | z − x | + | t − y | ≤ 2 max | z − x | , | t − y | .$
In order to obtain (2), we need prove the inequality
$− 1 | x + y − z + t | ≤ − M 3 + 1 3 M ,$
that is
$| x + y − z + t | ≤ M M 3 + 1 3 .$
This follows from (12) and $M 3 + 1 3 < 2$.
3. The assertion follows from Corollary 2. □

#### 3.2. Generalized $ψ F$-Contractions on $X I$

In this subsection I is an arbitrary subset of $N$.
For a function $f : X I → X$ we define $f ˜ : X → X$ to be $f ˜ ( t ) : = f ( t ˜ )$, where $t ˜ = ( x i ) i ∈ I$, $x i = t$, for all $i ∈ I$ (the constant sequence).
We will follows the construction from .
Let us consider a mapping $T : X I → X$. For a given $x = ( x i ) i ∈ I ∈ X I$, the iterative sequence$( y k ) k ≥ 0$ associated with T at x is defined by $y 0 = T x$, $y k = T T ˜ k ( x 1 ) , T ˜ k ( x 2 ) , ⋯$, for every $k ≥ 1$.
In order to prove the next theorem, we need the following elementary result.
Lemma 3.
Let $f : R → R$ be a function and $A ⊂ R$ a bounded set. Then
$( a )$ if f is nondecreasing, then $sup f ( A ) ≤ f ( sup A )$;
$( b )$ if f is continuous, then $sup f ( A ) ≥ f ( sup A )$;
$( c )$ if A is finite and f is nodecreasing, then $sup f ( A ) = f ( sup A )$.
In the following, we provide a version of Corollary 2 by using another successive approximation of the fixed point and, also, a fixed point theorem, in the case when I is infinite.
Theorem 4.
Let $F ∈ F$, $ψ ∈ Ψ μ$ and $T : X I → X$ be a generalized $ψ F$-contraction and assume that the space $( X , d )$ is $T ˜$-orbitally complete. If I is finite or F is continuous, then there exists a unique $ξ ∈ X$ such that $T ( ξ , ξ , ⋯ ) = ξ$ and $T ˜ p ( t ) ⟶ p ξ$ for every $t ∈ X$. Furthermore, ξ is the limit of the iterative sequence $( y k ) k ≥ 0$ associated with T at any $x = ( x i ) i ∈ I ∈ X$.
Proof.
Taking $m = 1$ in Corollary 2, it follows that $T ˜$ is a (generalized) $ψ F$-contraction and there is a unique $ξ ∈ X$ such that $T ˜ ( ξ ) = ξ$ and $T ˜ p ( t ) ⟶ p ξ$ for all $t ∈ X$.
Choose $x = ( x i ) ∈ X I$. We will prove that the iterative sequence $( y k ) k ≥ 0$ associated with T at x converges to $ξ$.
First, we observe that, for each $k ≥ 1$,
$F d ( ξ , T ˜ k ( t ) ) = F d T ˜ ( ξ ) , T ˜ ( T ˜ k − 1 ( t ) ) ≤ ψ F d ( ξ , T ˜ k − 1 ( t ) )$
$≤ ⋯ ≤ ψ k F d ( ξ , t ) ,$
for all $t ∈ X$ satisfying $ξ ≠ T ˜ k ( t )$.
Set . If K is finite, then, clearly, $y k ⟶ ξ$. Assume that K is infinite. For each $k ∈ K$, set . Then $I k ≠ ∅$ and, by (13), $T ˜ j ( x i ) ≠ ξ$ for all $j ≤ k$ and $i ∈ I k$. Then, from hypothesis (continuity of F or boundedness of I), Lemma 3 and (13), one has
$F d ( ξ , y k ) ≤ ψ F sup i ∈ I d ( ξ , T ˜ k ( x i ) ) = ψ F sup i ∈ I k d ( ξ , T ˜ k ( x i ) )$
$≤ ψ sup i ∈ I k F d ( ξ , T ˜ k ( x i ) ) ≤ ψ ( sup i ∈ I k ψ k F d ( ξ , x i ) < sup i ∈ I k ψ k ( F d ( ξ , x i )$
$≤ ψ k F sup i ∈ I k d ( ξ , x i ) ≤ ψ k ( M )$
for every $k ∈ K$, $k ≥ 1$, where $M = F sup i ∈ I d ( ξ , x i ) < ∞$ because the sequence $( x i )$ is bounded.
From the previous inequalities and Lemma 1, we deduce that $F d ( ξ , y k ) ⟶ k ∈ K − ∞$, hence, according to Lemma 2, we get $d ( ξ , y k ) ⟶ k ∈ K 0$. Thus, since $y k = ξ$ for all $k ∉ K$, $y k ⟶ ξ$. □
In (, Ex. 2.2), one can find a particular example of $ψ F$-contraction on a product metric space $X I$, $I ⊂ N$, which is not generalized Banach contraction, where $ψ ( t ) = t − τ$, $τ > 0$, $( X , d )$ is complete, F continuous.

## Author Contributions

conceptualization, N.A.S. and M.Z.; methodology, N.A.S. and M.Z.; validation, N.A.S. and M.Z.; writing–original draft preparation, N.A.S. and M.Z.; writing–review and editing, N.A.S.; supervision, M.Z.

## Funding

The first author is financed by Lucian Blaga University of Sibiu & Hasso Plattner Foundation research grants LBUS-IRG-2019-05.

## Conflicts of Interest

The authors declare no conflict of interest.

## References

1. Wardowski, D. Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, 87, 94. [Google Scholar] [CrossRef]
2. Secelean, N.A. Generalized F-iterated function systems on product of metric spaces. J. Fixed Point Theory Appl. 2015, 17, 575–595. [Google Scholar] [CrossRef]
3. Secelean, N.A.; Wardowski, D. ψF-Contractions: Not Necessarily Nonexpansive Picard Operators. Results Math. 2016, 70, 415–431. [Google Scholar] [CrossRef]
4. Secelean, N.A. Generalized Iterated Function Systems on the space l(X). J. Math. Anal. Appl. 2014, 410, 847–858. [Google Scholar] [CrossRef]
5. Secelean, N.A.; Wardowski, D. New Fixed Point Tools in Non-metrizable Spaces. Results Math. 2017, 72, 919–935. [Google Scholar] [CrossRef]
6. Secelean, N.A. Iterated function systems consisting of F-contractions. Fixed Point Theory Appl. 2013, 2013, 277. [Google Scholar] [CrossRef]
7. Turinici, M. Wardowski implicit contractions in metric spaces. arXiv 2012, arXiv:1211.3164. [Google Scholar]