The weakest contractive conditions for Edelstein's mappings to have a fixed point in complete metric spaces (Q1684849)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The weakest contractive conditions for Edelstein's mappings to have a fixed point in complete metric spaces |
scientific article |
Statements
The weakest contractive conditions for Edelstein's mappings to have a fixed point in complete metric spaces (English)
0 references
12 December 2017
0 references
Let \(T\) be a self-mapping of a complete (not compact) metric space \((X,d)\). The author investigates under which (as weak as possible) additional conditions Edelstein's condition (B):~``\(x\neq y\) implies \(d(Tx,Ty)<d(x,y)\) for any \(x,y\in X\)'' implies the conclusion (A):~``\(T\) has a unique fixed point \(z\) and \(\{T^nx\}\) converges to \(z\) for any \(x\in X\)'' of the Banach Contraction Principle. It is proved that for a mapping satisfying condition (B), (A) is equivalent to condition (D):~``For \(x\in X\) and \(\varepsilon>0\), there exists \(\delta>0\) such that \(d(T^ix,T^jx)<\varepsilon+\delta\) implies \(d(T^{i+1}x,T^{j+1}x)\leq\varepsilon\) for any \(i,j\in N\cup\{0\}\).'' It is shown by an example that condition (D) is strictly weaker than the known CMJ condition (C):~``For any \(\varepsilon>0\), there exists \(\delta>0\) such that \(d(x,y)<\varepsilon+\delta\) implies \(d(Tx,Ty)\leq\varepsilon\) for any \(x,y\in X\).'' Finally, it is shown that, assuming condition (B), condition (D) is strictly weaker than condition (F):~``\(\{T^nx\}\) is a Cauchy sequence for any \(x\in X\).''
0 references
contraction
0 references
CJM contraction
0 references
fixed point
0 references
Edelstein's condition
0 references