In this paper, we study the existence of fixed points for mappings defined on complete (compact) metric space (X, d) satisfying a general contractive (contraction) inequality depended on another function. These conditions are analogous to Banach conditions.
(Banach’s Contraction Principle) Let (X,d) be a complete metric space and S:X \longrightarrow X be a contraction (there exists k \in ]0,1[ such that for each x,y \in X; d(Sx,Sy) \leq kd(x,y)). Then S has a unique fixed point in X, and for each x_{0} \in X the sequence of iterates \{S^{n}x_{0}\} converges to this fixed point.
Let (X,d) be a compact metric space and S:X \longrightarrow X be a contractive (for every x,y \in X such that x \neq y; d(Sx,Sy) < d(x,y)). Then S has a unique fixed point in X, and for any x_{0} \in X the sequence of iterates \{S^{n}x_{0}\} converges to this fixed point.
Let (X,d) be a metric space and T,S:X \longrightarrow X be two functions. A mapping S is said to be a T-contraction if there exists k \in ]0,1[ such that for
By taking Tx=x (T is identity function) T-contraction and contraction are equivalent.
Let X=[1,+\infty) with metric induced by \Bbb{R}: d(x,y)=|x-y|. We consider two mappings T,S:X \longrightarrow X by Tx=\frac{1}{x}+1 and Sx=2x. Obviously S is not contraction but S is T-contraction, because:
Let (X,d) be a metric space. A mapping T:X \longrightarrow X is said sequentially convergent if we have, for every sequence \{y_{n}\}, if \{Ty_{n}\} is convergence then \{y_{n}\} also is convergence.
Let (X,d) be a metric space. A mapping T:X \longrightarrow X is said subsequentially convergent if we have, for every sequence \{y_{n}\}, if \{Ty_{n}\} is convergence then \{y_{n}\} has a convergent subsequence.
If (X,d) be a compact metric space, then every function T:X \longrightarrow X is subsequentially convergent and every continuous function T:X \longrightarrow X is sequentially convergent.
Let (X,d) be a complete metric space and T:X \longrightarrow X be a one-to-one, continuous and subsequentially convergent mapping. Then for every T-contraction continuous function S:X \longrightarrow X, S has a unique fixed point. Also if T is a sequentially convergent, then for each x_{0}\in X, the sequence of iterates \{S^{n}x_{0}\} converges to this fixed point.
For every x_{1} and x_{2} in X,
so
Now select x_{0} \in X and define the iterative sequence \{x_{n}\} by x_{n+1}=Sx_{n} (equivalently, x_{n}=S^{n}x_{0}), n=1,2,3,.... By (2.0.1) for any indices m,n \in \Bbb{N},
hence
Relation (2.0.2) and condition 0 < k < 1 show that \{TS^{n}x_{0}\} is a Cauchy sequence, and since X is complete there exists a \in X such that
Since T is subsequentially convergent \{S^{n}x_{0}\} has a convergent subsequence. So, there exist b \in X and \{n_{k}\}_{k=1}^{\infty} such that \underset{k \rightarrow \infty}\lim S^{n_{k}}x_{0}=b. Hence, \underset{k \rightarrow \infty}\lim TS^{n_{k}}x_{0}=Tb, and by (2.0.3), we conclude that
Since S is continuous and \underset{k \rightarrow \infty}\lim S^{n_{k}}x_{0}=b, then \underset{k \rightarrow \infty}\lim S^{n_{k}+1}x_{0}=Sb and so
Again by (2.0.3), \underset{k
\rightarrow \infty}\lim TS^{n_{k}+1}x_{0}=a and therefore TSb=a. Since T is one-to-one and by (2.0.4), Sb=b. So, S has a fixed point.
Since T is one-to-one and S is T-contraction, S has a unique fixed point.
By above theorem and taking Tx=x (T is identity function), we can conclude Theorem 1.1.
Let (X,d) be a metric space and T,S:X \longrightarrow X be two functions. A mapping S is said to be a T-contractive if for every x,y \in X such that Tx \neq Ty then d(TSx,TSy) < d(Tx,Ty).
Let (X,d) be a compact metric space and T:X \longrightarrow X be a one-to-one and continuous mapping. Then for every T-contractive function S:X \longrightarrow X, S has a unique fixed point. Also for any x_{0} \in X the sequence of iterates \{S^{n}x_{0}\} converges to this fixed point.
Step 1. In the first we show that S is continuous.
Let \underset{n \rightarrow \infty}\lim x_{n}=x. We prove that \underset{n \rightarrow \infty}\lim
Sx_{n}=Sx. Since S is T-contractive d(TSx_{n},TSx) \leq
d(Tx_{n},Tx) and this shows that \underset{n \rightarrow \infty}\lim TSx_{n}=TSx (because T is continuous).
Let \{Sx_{n_k}\} be an arbitary convergence subsequence of \{Sx_{n}\}. There exists a y \in X such that \underset{k \rightarrow \infty}\lim
Sx_{n_k}=y. Since T is continuous so, \underset{k \rightarrow \infty}\lim
TSx_{n_k}=Ty. By \underset{n \rightarrow \infty}\lim
TSx_{n}=TSx, we conclude that TSx=Ty. Since T is one-to-one so, Sx=y. Hence, every convergence subsequence of \{Sx_{n}\} converge to Sx. Since X is a compact metric space S is continuous.
Step 2. Since T and S are continuous, the function \varphi: X \longrightarrow [0,+\infty) defined by \varphi(y)=d(TSy,Ty) is continuous on X and hence by compactness attains its minimum, say at x \in X. If Sx \neq x then
is a contradiction. So Sx=x.
Now let x_{0} \in X and set a_{n}=d(TS^{n}x_{0},Tx). Since
then \{a_n \} is a nonincreasing sequence of nonnegative real numbers and so has a limit, say a.
By compactness, \{TS^{n}x_{0}\} has a convergent subsequence \{TS^{n_k}x_{0}\}; say
Since T is sequentially convergence (by Note 2) for a w \in X we have
By (2.0.5) and (2.0.6), Tw=z. So d(Tw,Tx)=a. Now we show that Sw=x. If Sw \neq x, then
that is contradiction. So Sw=x and hence,
Therefore, \lim TS^{n}x_{0}=Tx_{0}. Since T is sequentially convergence (by Proposition 2), then \lim S^{n}x_{0}=x.
In Theorem 2.6 (Theorem 2.9) if S^{n} is T-contraction(T-contractive), then S^{n} has a unique fixed point and we conclude that S has a unique fixed point. So, we can replace S by S^{n} in Theorem 2.6 (Theorem 2.9).
Let X=[0,1] with metric induced by \Bbb{R}: d(x,y)=|x-y|. Obviously (X,d) be a complete metric space and the function S:X \longrightarrow X by Sx=\frac{x^{2}}{\sqrt{2}} is not contractive. If T:X \longrightarrow X define by Tx=x^{2} then S is T-contractive, because:
So by Theorem 2.9 S has a unique fixed point.
Let X=[0,1] with metric induced by \Bbb{R}: d(x,y)=|x-y|. Obviously (X,d) is a compact metric space. Let T,S:X \longrightarrow X define by Tx=x^{2} and Sx=\frac{1}{2}\sqrt{1-x^{2}}. Clearly S is not contraction, but S is T-contraction and hence is T-contractive. Also T is one-to-one. So by Theorem 2.8 S has a unique fixed point.
Let X=[1,+\infty) with metric induced by \Bbb{R}: d(x,y)=|x-y|, thus, since X is a closed subset of \Bbb{R}, it is a complete metric space. We define T,S:X \longrightarrow X by Tx=\ln x+1 and Sx=2\sqrt{x}. Obviously, for every n \in \Bbb{N}, S^{n} is not contraction. But we have,
Hence, S is T-contraction.
Also T is one-to-one and subsequentially convergent. Therefore, by Theorem 2.5 S has a unique fixed point.
Let X=\{0,\frac{1}{2},1 \} with metric d(x,y)=|x-y|. For functions T_{1},S_{1}:X \longrightarrow X defined by T_{1}x= \left\lbrace \begin{array}{c l} 0 & \text{x=0,1} \\ \frac{1}{2} & \text{x=12} \end{array} \right. and S_{1}x= \left\lbrace \begin{array}{c l} 0 & \text{x=0,12} \\ 1 & \text{x=1} \end{array} \right. we have T_{1} is subsequentially convergent and since
S_{1} is T_{1}-contraction. But T_{1} is not one-to-one and S_{1} has two fixed points.
If we define the functions T_{2},S_{2}:X \longrightarrow X by T_{2}x= \left\lbrace
\begin{array}{c l}
0 & \text{x=0,1} \\
\frac{1}{2} & \text{x=12}
\end{array}
\right. and
S_{2}x= \left\lbrace
\begin{array}{c l}
1 & \text{x=0,12} \\
0 & \text{x=1}
\end{array}
\right. then we have T_{2} is subsequentially convergent and since
S_{2} is T_{2}-contraction. But T_{2} is not one-to-one and S_{2} has not a fixed point.
Let X=[0,+\infty) with metric induced by \Bbb{R}: d(x,y)=|x-y|. Obviously (X,d) be a complete metric space. For functions T,S:X \longrightarrow X defined by Sx=2x+1 and Tx=\exp(-x) we have, T is one-to-one and S is T-contraction because:
But T is not subsequentially convergent (Tn \underset{n\longrightarrow\infty}\longrightarrow 0 but \{n\}_{1}^{\infty} has not any convergence subsequence) and S has not a fixed point.
The text on this page is from arXiv:0903.1504v1 by A. Beiranvand, S. Moradi, M. Omid and H. Pazandeh, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/0903/0903.1504.jsonl.