Processing math: 0%

数学物理学报, 2019, 39(2): 235-243 doi:

论文

度量空间上具有ϕ-压缩条件的映射族的重合点和公共不动点

朴勇杰,

Coincidence Points and Common Fixed Points for Mappings with ϕ-Contractive Conditions on Metric Spaces

Piao Yongjie,

收稿日期: 2017-12-14  

基金资助: 国家自然科学基金.  11361064

Received: 2017-12-14  

Fund supported: the NSFC.  11361064

作者简介 About authors

朴勇杰,E-mail:sxpyj@ybu.edu.cn , E-mail:sxpyj@ybu.edu.cn

摘要

在度量空间上得到满足ϕ-收缩条件的集值映射及单值映射的公共不动点和重合点存在性定理,同时给出若干个不动点定理.

关键词: 公共不动点 ; 重合点 ; 弱相容 ; ϕ-压缩

Abstract

We obtain the existence theorems of common fixed points and coincidence points for multi-valued mappings and single-valued mappings satisfying ϕ-contractive type conditions on metric spaces, also give several fixed point theorems.

Keywords: Common fixed point ; Coincidence point ; Weakly compatible ; ϕ-Contraction

PDF (273KB) 元数据 多维度评价 相关文章 导出 EndNote| Ris| Bibtex  收藏本文

本文引用格式

朴勇杰. 度量空间上具有ϕ-压缩条件的映射族的重合点和公共不动点. 数学物理学报[J], 2019, 39(2): 235-243 doi:

Piao Yongjie. Coincidence Points and Common Fixed Points for Mappings with ϕ-Contractive Conditions on Metric Spaces. Acta Mathematica Scientia[J], 2019, 39(2): 235-243 doi:

1 引言与基本概念

Banach压缩原理在数学的各个分支中起着一个非常重要的作用.比如,它用于解决在Banach空间上非线性积分-微分方程的解的存在性及计算数学中算法的收敛性等.由于其在数学理论中所起到的重要性, Banach压缩原理在各种不同的方面得到了推广和改进.特别是,很多作者讨论并得到了集值映射及单值映射的公共不动点存在定理和重合点存在定理,参看文献[1-12].

特别地,文献[11]的作者利用两个映射的相容概念得到了如下两个结果.

定理1.1  设(X,d)是完备的度量空间, f,T:XX是相容的两个映射且TXfX.假设对任何x,yX,有

d(Tx,Ty)hmax

其中0\leq h <1.如果fT是连续的,则fT有唯一的公共不动点.

定理1.2  设(X, d)是完备的度量空间, f: X \to XT: X \to CB(X)是相容的连续映射使得TX \subset fX.如果对任何x, y \in X,有

H(Tx, Ty)\leq h \, \max\bigl\{d(fx, fy), d(fx, Tx), d(fy, Ty), \frac{1}{2}[d(fx, Ty)+d(fy, Tx)]\bigr\},

其中0\leq h <1.则存在一个点t \in X满足ft\in Tt.

文献[12]的作者利用给定的实函数\varphi给出如下结论.

定理1.3  设(X, d)是完备度量空间, T, S: X \to CB(X)是两个集值映射使得对任何x, y \in X,有

H(Sx, Ty)\leq \varphi\bigl(\max\bigl\{d(x, y), d(x, Sx), d(y, Ty), \frac{1}{2}[d(x, Ty)+d(y, Sx)]\bigr\}\bigr).

TS有一个公共不动点,即存在一个元素p \in X使得p \in Tp\cap Sp.

本文的目的是给出定理1.1-1.3的若干个推广和改进的结果.

下面,我们给出本文中将使用的一些定义,概念和引理.

(X, d)X是度量空间. Cl(X)CB(X)分别表示X的所有非空闭子集全体和所有非空闭的有界子集全体. H(\cdot, \cdot)Cl(X) [或CB(X)]上的Hausdorff度量,即对任何A, B \in Cl(X)[或A, B \in CB(X)],有

H(A, B)=\max\bigl\{\sup\limits_{a \in A}d(a, B), \sup\limits_{b\inB}d(A, b)\bigr\},

其中d(a, B)=\inf_{b \in B}d(a, b)表示点a到子集B的距离.

f, g : X\to X是两个映射.如果存在w, x\in X使得w=fx=gx,则称xfg的重合点, wfg的重合的点,参看文献[13].称fg是相容的[4, 11]是指当X中的序列\{x_n\}满足fx_n \to tgx_n \to t(某个t \in X)d(fgx_n, gfx_n) \to 0.fg是弱相容的[9, 13]是指x \in Xfx=gxfgx=gfx.

我们已经知道两个映射的相容性强于弱相容性.事实上,假若fg是相容的且存在w \in X满足fw=gw.x_n=w且令t=fw=gw,则fx_n \to tgx_n \to t,因此d(fgw, gfw)=d(fgx_n, gfx_n) \to 0, i.e., fgw=gfw.这说明fg是弱相容的.

f : X \to X是单值映射, F: X \to CB(X)是集值映射.称fF是相容的[11]是指X中的序列\{x_n\}满足Fx_n \to M \in CB(X)fx_n \to t \in M时, H(Ffx_n, fFx_n) \to 0.

下面,将引进四个新的定义.

定义1.1  设X是非空集合, f: X\to XF: X \to 2^{X}是两个映射.如果存在w, x \in X,使得w=fx \in Fx,则称xfF的重合点, wfF的重合的点.

定义1.2  设X是非空集合, f: X\to XF: X \to 2^{X}是两个映射.称fF是弱相容的是指当w \in Xfw \in Fw时, fFw=Ffw.

定义1.3  设X是非空集合, f: X\to XF: X \to 2^{X}是两个映射.称fF具有性质(C)当且仅当x \in Xfx \in Fx时, f^{2}x=fx.

定义1.4   \phi \in \Phi当且仅当\phi: [0, \infty) \to [0, \infty)是严格递增的实函数,使其满足如下条件

(\phi_1):\ \ \ \, \sum\limits_{n=1}^{\infty}{\phi}^{n}(t)<\infty, \, \forall \, t>0.

引理1.1[8]  如果(X, d)是度量空间且A \in Cl(X),则d(\cdot, A)是连续的且A=\{x \in X|d(x, A)=0\}.

引理1.2[13]  设(X, d)是度量空间, f, g: X\to X是弱相容的两个单值映射.如果fg有唯一的重合的点w=fx=gx,则wfg的唯一的公共不动点.

引理1.3[11]  设(X, d)是度量空间, f: X\to XF: X \to CB(X)是相容的.如果存在w \in X满足fw \in Fw,则fFw=Ffw.

引理1.4  如果f: X\to XF: X \to 2^{X}是弱相容的且w=fx \in FxfF的唯一的重合的点,则wfF的唯一公共不动点, i.e., w=fw \in Fw.

  因为w =fx \in FxfF是为弱相容的,因此fFx=Ffx=Fw.于是v:=fw \in fFx=Ffx=Fw,这说明v也是fF的重合的点,根据fF的重合的点的唯一性得到v=w.因此w=v=fw \in Fw,即wfF的公共不动点.唯一性是显然的.

注1.1  引理1.3说明定义1.2中的弱相容的概念就是度量空间(X, d)上的单值映射f和满足Fx \in CB(X) (\forall \, x \in X)的集值映射F的相容性概念.

注1.2  引理1.4是引理1.2的推广结果.

引理1.5  如果\phi \in \Phi是定义1.4中的函数,则\phi具有如下性质

(\phi_2)对任何t>0, 0<\phi(t)<t;

(\phi_3) \phi(0)=0;

(\phi_4) \lim\limits_{t\to +\infty}(t-\phi(t))=+\infty.

  由(\phi_1)可得

\begin{equation}\lim\limits_{n \to \infty}\phi^{n}(t)=0, \, \forall \, t>0, \end{equation}
(1.1)

因此可得

\begin{equation} \phi(t)<t, \, \forall \, t>0. \end{equation}
(1.2)

事实上,如果存在t_0>,使得\phi(t_0)\geq t_0,则根据\phi的单调递增性可得

\begin{equation}\label{eq:a3}\phi^{n}(t_0)\geq t_0, \, \forall \, t>0. \end{equation}
(1.3)

对(1.3)式的两边同时取极限并根据(1.1)式得到

0=\lim\limits_{n \to \infty}\phi^{n}(t_0)\geq t_0,

这与t_0>0矛盾.于是(1.2)式成立.

\phi的单调递增性及(1.2)式可得0\leq \phi(0)\leq \phi(t)<t, \forall \, t>0,因此由t>0的任意性得到\phi(0)=0,进而也有0<\phi(t)<t, \forall \, t>0.故(\phi_2)-(\phi_3)成立.

\phi的单调递增性及(1.2)式,得到

\sum\limits_{n=1}^{\infty}\phi^{n}(t)>\phi(t) >\phi^{n}(t), \forall \, t>0, \, n=1, 2, \cdots,

于是

\begin{equation}\label{eq:a4}t- \sum\limits_{n=1}^{\infty}\phi^{n}(t)<t-\phi(t)<t-\phi^{n}(t), \forall \, t>0, \, n=1, 2, \cdots. \end{equation}
(1.4)

由(1.1)式可知\{\phi^{n}(t)\}(\forall \, t>0)n足够大时,它是一个有界量,即有M>0使得|\phi^{n}(t)|<M\, (\forall \, t>0).由(\phi_1)\sum\limits_{n=1}^{\infty}\phi^{n}(t)也是有界量.于是对(1.4)式的两边同时让t \to \infty,则根据两边夹定理得到

\lim\limits_{t\to +\infty}(t-\phi(t))=+\infty,

即(\phi_4)成立.

2 公共不动点和重合点

定理2.1  设(X, d)是度量空间, S, T: X \to Cl(X)是两个集值映射, f, g: X\to X是两个单值映射使得SX \subset gXTX\subset fX.假设对任何x, y \in X,有

\begin{equation}\label{eq:a1}H(Sx, Ty)\leq \phi\bigl(\max\bigl\{d(fx, gy), d(fx, Sx), d(gy, Ty), \frac{1}{2}[d(fx, Ty)+d(gy, Sx)]\bigr\}\bigr), \end{equation}
(2.1)

其中\phi \in \Phi是定义1.4中的函数.如果(ⅰ) fX, gX, SXTX中的任何一个是完备的, (ⅱ) \{f, S\}\{g, T\}分别是弱相容的, (ⅲ) \{f, S\}\{g, T\}分别具有性质(C).则f, g, S, T有一个公共不动点w \in X,即w=fw=gw \in Sw \cap Tw.

  任取一个元x_0 \in X,则根据SX \subset gX,选取一个元x_1 \in X,使其满足gx_1 \in Sx_0.y_0=gx_1.取一个实数c>0使其满足d(fx_0, gx_1)<c,则根据\phi的严格递增性,得到

\phi\bigl(d(fx_0, gx_1)\bigr)<\phi(c).

根据(2.1)式得到

\begin{eqnarray*} d(gx_1, Tx_1)&\leq & H(Sx_0, Tx_1)\\&\leq & \phi\bigl(\max\bigl\{d(fx_0, gx_1), d(fx_0, Sx_0), d(gx_1, Tx_1), \frac{1}{2}[d(fx_0, Tx_1)+d(gx_1, Sx_0)]\bigr\}\bigr)\\&=& \phi\bigl(\max\bigl\{d(fx_0, gx_1), d(gx_1, Tx_1), \frac{1}{2}[d(fx_0, Tx_1)]\bigr\}\bigr)\\&\leq& \phi\bigl(\max\bigl\{d(fx_0, gx_1), d(gx_1, Tx_1), \frac{1}{2}[d(fx_0, gx_1)+d(gx_1, Tx_1)]\bigr\}\bigr).\end{eqnarray*}

如果d(fx_0, gx_1)<d(gx_1, Tx_1),则由上式和(\phi_2)得到

d(gx_1, Tx_1)\leq \phi(d(gx_1, Tx_1))<d(gx_1, Tx_1),

这是一个矛盾,于是必成立

d(gx_1, Tx_1) \leq \phi(d(fx_0, gx_1))<\phi(c),

因此可选取一个元y_1 \in Tx_1,使其满足d(gx_1, y_1) <\phi(c).

根据TX \subset fX,选取x_2 \in X,使其满足y_1=fx_2 \in Tx_1,因此d(gx_1, fx_2) <\phi(c).

又根据(2.1)式得到

\begin{eqnarray*} d(fx_2, Sx_2)&\leq & H(Tx_1, Sx_2)=H(Sx_2, Tx_1)\\&\leq & \phi\bigl(\max\bigl\{d(fx_2, gx_1), d(fx_2, Sx_2), d(gx_1, Tx_1), \frac{1}{2}[d(fx_2, Tx_1)+d(gx_1, Sx_2)]\bigr\}\bigr)\\&\leq & \phi\bigl(\max\bigl\{d(fx_2, gx_1), d(fx_2, Sx_2), \frac{1}{2}[d(gx_1, fx_2)+d(fx_2, Sx_2)]\bigr\}\bigr), \end{eqnarray*}

因此得到

d(fx_2, Sx_2) \leq \phi(d(gx_1, fx_2))< {\phi}^{2}(c).

类似地,选取y_2 \in Sx_2使其满足d(fx_2, y_2)<{\phi}^{2}(c).根据SX \subset gX,选取x_3 \in X,使得y_2=gx_3 \in Sx_2且满足d(fx_2, gx_3)<{\phi}^{2}(c).连续上述过程可以构造两个序列\{x_n\}\{y_n\}使得

y_{2n}=gx_{2n+1}\in Sx_{2n}, \ \ y_{2n+1}=fx_{2n+2}\inTx_{2n+1},

d(fx_{2n}, gx_{2n+1})<{\phi}^{2n}(c), \ \d(gx_{2n+1}, fx_{2n+2})<{\phi}^{2n+1}(c).

因此

d(y_n, y_{n+1}) < {\phi}^{n+1}(c), \forall \, n\geq 0.

于是根据(\phi_1)得到

\sum\limits_{n=0}^{+\infty}d(y_n, y_{n+1}) \leq\sum\limits_{n=0}^{+\infty}{\phi}^{n+1}(c)<+\infty.

这说明\{y_n\}X中的柯西序列.

假设fX是完备的.因为\{y_{2n+1}\}是柯西序列且y_{2n+1}=fx_{2n+2} \in fX,因此存在p \in X,满足y_{2n+1}=fx_{2n+2} \to fp (当n \to \infty时) [如果TX是完备的,则存在v \in TX \subset fXp \in X,满足y_{2n+1}=fx_{2n+2} \to v=fp (当n \to \infty时),于是结论是相同].由d(y_{2n}, fp)\leq d(y_{2n}, y_{2n+1})+d(y_{2n+1}, fp),可知y_{2n} \to fp (当n \to \infty时)

根据(2.1)式得到

\begin{eqnarray*} d(y_{2n+1}, Sp)&\leq & H(Tx_{2n+1}, Sp)=H(Sp, Tx_{2n+1})\\&\leq & \phi\bigl(\max\bigl\{d(fp, gx_{2n+1}), d(fp, Sp), d(gx_{2n+1}, Tx_{2n+1}), \\&&\frac{1}{2}[d(fp, Tx_{2n+1})+d(gx_{2n+1}, Sp)]\bigr\}\bigr)\\&\leq& \phi\bigl(\max\bigl\{d(fp, y_{2n}), d(fp, Sp), d(y_{2n}, y_{2n+1}), \frac{1}{2}[d(fp, y_{2n+1})+d(y_{2n}, Sp)]\bigr\}\bigr).\end{eqnarray*}

n \to \infty,则得到d(fp, Sp)\leq \phi\bigl(d(fp, Sp)\bigr), 因此d(fp, Sp)=0,根据引理1.1得知fp \in Sp,即pfS的重合点.因此根据(ii)和(iii)得到ffp=fpfSp=Sfp.w=fp,则w=fp=ffp=fww =ffp \in fSp=Sfp=Sw,因此wfS的公共不动点.

另一方面,因为w=fp \in Sp \subset SX \subset gX,存在q \in X使其满足w=fp=gq.类似地,根据(2.1)式,有

\begin{eqnarray*} d(y_{2n}, Tq)&\leq & H(Sx_{2n}, Tq)\\&\leq & \phi\bigl(\max\bigl\{d(fx_{2n}, gq), d(fx_{2n}, Sx_{2n}), d(gq, Tq), \frac{1}{2}[d(fx_{2n}, Tq)+d(gq, Sx_{2n})]\bigr\}\bigr)\\&\leq & \phi\bigl(\max\bigl\{d(y_{2n-1}, gq), d(y_{2n-1}, y_{2n}), d(gq, Tq), \frac{1}{2}[d(y_{2n-1}, Tq)+d(gq, y_{2n})]\bigr\}\bigr).\end{eqnarray*}

n \to \infty,则得到d(gq, Tq)\leq \phi\bigl(d(gq, Tq)\bigr), 因此d(gq, Tq)=0,于是根据引理1.1得到gq \in Tq.再次根据(ⅱ)和(ⅲ)得到gq=ggqgTq=Tgq,因此w=gq=ggq=gww=ggq \in gTq=Tgq=Tw,这表明w也是gT的公共不动点.于是可知w\{f, g, S, T\}的公共不动点.

类似地,可以证明当gXSX是完备时具有相同的结果,在此省略.

注2.1  1)定理2.1的条件完全不同于定理1.2的条件.在定理2.1中,不需要四个映射\{f, g, S, T\}的连续性,同时,用弱相容性代替了定理1.2中相容性条件.

2)如果f=g=1_X,则显然fS以及gT都具有性质(C)且都是弱相容的,因此定理2.1推广和改进了定理1.3.

3)定理2.1中的条件Sx, Tx \in Cl(X) (\forall \, x \in X)明显弱于定理1.2和定理1.3中的相应条件.

下面,将讨论具有\phi -压缩条件的两个单值映射的唯一公共不动点存在性问题.

定理2.2  设(X, d)是度量空间, f, T: X\to X是两个单值映射使得TX \subset fX.假设对任何x, y \in X,有

\begin{equation}\label{eq:a2} d(Tx, Ty)\leq \phi\bigl(\max\bigl\{d(fx, fy), d(fx, Tx), d(fy, Ty), d(fx, Ty), d(fy, Tx)\bigr\}\bigr), \end{equation}
(2.2)

其中\phi \in \Phi是定义1.4中的函数.如果fXTX是完备的,则fT有唯一重合的点.进一步,如果fT是弱相容的,则fT有唯一的公共不动点.

  任取x_0 \in X.根据TX \subset fX,构造两个序列\{x_n\}\{y_n\}满足如下条件

y_n=Tx_n=fx_{n+1}, \ n=0, 1, 2, \cdots.

O(y_k; n)表示点集\{y_k, y_{k+1}, \cdots, y_{k+n}\}, \delta(O(y_k;n))表示O(y_k, n)的直径.

如果存在kn使得\delta(O(y_k;n))=0\, (n \geq 1),则y_k=y_{k+1},因此fx_{k+1}=y_k=y_{k+1}=Tx_{k+1}.p=x_{k+1},则pfT的重合点, y_kfT的重合的点.于是可假设对任何k \geq 0n \in {\Bbb N}, \delta(O(y_k; n))>0.首先,如下两个结果成立

(ⅰ)存在j使得k<j \leq k+n\delta(O(y_k; n))=d(y_k, y_j);

(ⅱ)对任何k \geq 1, \delta(O(y_k, n)) \leq \phi\bigl(\delta(O(y_{k-1}; n+1))\bigr).

事实上,对任何满足1 \leq i \leq ji, j,有

\begin{eqnarray*} d(y_i, y_j)&=&d(Tx_i, Tx_j)\\&\leq & \phi\bigl(\max \bigl\{d(fx_i, fx_j), d(fx_i, Tx_i), d(fx_j, Tx_j), d(fx_i, Tx_j), d(fx_j, Tx_i)\bigr\}\bigr)\\&=& \phi\bigl(\max \bigl\{d(y_{i-1}, y_{j-1}), d(y_{i-1}, y_{i}), d(y_{j-1}, y_j), d(y_{i-1}, y_j), d(y_{j-1}, y_i)\bigr\}\bigr)\\&\leq & \phi\bigl(\delta(O(y_{i-1}; j-i+1))\bigr).\end{eqnarray*}

\delta(O(y_k;n))=d(y_i, y_j),其中i, j满足k \leq i <j \leq k+n.如果i>k,则i-1 \geq k且成立

\delta(O(y_k;n))=d(y_i, y_j)\leq \phi\bigl(\delta(O(y_{i-1}; j-i+1))\bigr).

因为i-1 \geq kj-i+1 \leq k+n-i+1 \leq n,因此\delta(O(y_{i-1}; j-i+1)) \leq \delta(O(y_k;n)),于是

\delta(O(y_k;n)) \leq \phi\bigl(\delta(O(y_{i-1};j-i+1))\bigr)\leq \phi\bigl(\delta(O(y_k;n)) \bigr),

所以根据(\phi_2)-(\phi_3)得到\delta(O(y_k;n))=0,这是一个矛盾,因此必成立i=k.于是\delta(O(y_k; n))=d(y_k, y_j),其中j满足k<j \leq k+n.这证明了(ⅰ).对k \geq 1,根据(ⅰ)

\begin{eqnarray*}\delta(O(y_k;n))=d(y_k, y_j)\leq \phi\bigl(\delta(O(y_{k-1};j-k+1))\bigr)\leq \phi\bigl(\delta(O(y_{k-1}; n+1))\bigr), \end{eqnarray*}

这证明了(ⅱ).

根据事实(ⅱ)得到对任何k \geq 1,有

\begin{eqnarray*}\delta(O(y_k;n))&\leq &\phi\bigl(\delta(O(y_{k-1}; n+1))\bigr)\\& \leq&{\phi}^{2}\bigl(\delta(O(y_{k-2}; n+2))\bigr)\\&\leq& \cdots \cdots\\&\leq &{\phi}^{k}\bigl(\delta(O(y_{0}; n+k))\bigr).\end{eqnarray*}

根据事实(ⅰ),对任何n \in {\Bbb N},存在满足1 \leq j \leq nj使得\delta(O(y_0;n))=d(y_0, y_j),于是得到

\begin{eqnarray*} \delta(O(y_0;n))&=&d(y_0, y_j)\\&\leq & d(y_0, y_1)+d(y_1, y_j)\\&\leq & d(y_0, y_1)+\delta(O(y_1; n-1)) \\&\leq& d(y_0, y_1)+\phi\bigl(\delta((O(y_0;n))\bigr), \end{eqnarray*}

因此成立

\delta(O(y_0;n)) -\phi\bigl(\delta(O(y_0;n))\bigr) \leqd(y_0, y_1), \forall \, n \in {\Bbb N}.

因为\{\delta(O(y_0;n))\}_{n \in {\Bbb N}}是递增实序列且\delta(O(y_0;n))>0 (\forall \, n \in {\Bbb N}),因此\lim\limits_{n \to +\infty}\delta(O(y_0;n))存在.如果\lim\limits_{n \to +\infty}\delta(O(y_0;n))=+\infty, 则根据(\phi_4)得到

+\infty=\lim\limits_{n\to +\infty}[\delta(O(y_0;n))-\phi\bigl(\delta(O(y_0;n))\bigr)]\leq d(y_0, y_1),

这是一个矛盾.因此\lim\limits_{n \to +\infty}\delta(O(y_0;n))<+ \infty.于是存在M>0使得对任何n \geq 1, \delta(O(y_0;n))<M.所以对任何k, n \in {\Bbb N},有

\delta(O(y_k;n))\leq {\phi}^{k}(M),

这导出对任何k \geq 0, d(y_k, y_{k+1}) \leq {\phi}^{k}(M),于是根据(\phi_1)得到

\sum\limits_{k=0}^{+\infty}d(y_k, y_{k+1}) \leq\sum\limits_{k=0}^{+\infty}{\phi}^{k}(M)<+\infty,

因此\{y_k\}X中的柯西序列.

假设fX是完备的.因为y_k=fx_{k+1} \in fX, \, \forall \, k,存在u\in fXp \in X使得y_k=fx_{k+1} \to u=fp.

根据(2.2)式得到

\begin{eqnarray*} d(y_k, Tp)&=&d(Tx_k, Tp)\\&\leq & \phi\bigl(\max \bigl\{d(fx_k, fp), d(fx_k, Tx_k), d(fp, Tp), d(fx_k, Tp), d(fp, Tx_k)\bigr\}\bigr)\\&=& \phi\bigl(\max \bigl\{d(y_{k-1}, fp), d(y_{k-1}, y_k), d(fp, Tp), d(y_{k-1}, Tp), d(fp, y_k)\bigr\}\bigr).\end{eqnarray*}

k \to \infty,则得到

d(fp, Tp)\leq \phi(d(fp, Tp)),

因此d(fp, Tp)=0,即fp=u=Tp.如果v也是fT的重合的点,则存在q \in X满足fq=v=Tq.又一次根据(2.2)式得到

\begin{eqnarray*} d(u, v)&=&d(fp, Tq)\\&\leq & \phi\bigl(\max\bigl\{d(fp, fq), d(fp, Tp), d(fq, Tq), d(fp, Tq), d(fq, Tp)\bigr\}\bigr)\\&=& \phi(d(u, v)), \end{eqnarray*}

因此d(u, v)=0,即得u=v.于是fT有唯一的重合的点u.进一步,如果fT是弱相容的,则根据引理1.2可知ufT的唯一公共不动点.

假设TX是完备的.因为y_k=Tx_k \in TX \subset fX,因此存在 u \in TXp \in X使得y_k=Tx_k \to u=fp.于是余下证明类似与fX是完备时的证明,在此省略.

注2.2  定理2.2在以下几个方面很好地推广和改进了定理1.1.

1)函数\psi(t)=ht, \forall \, t \in [0, \infty),其中h \in [0, 1),满足定义1.4中的条件,因此定理1.1中的压缩条件可表示为d(Tx, Ty) \leq \psi(M(x, y));

2)相容性可用弱相容性代替;

3)可以去掉fT的连续性.

利用定理2.2可给出如下唯一不动点定理.

定理2.3  设(X, d)是度量空间, T: X\to X是单值映射使得对任何x, y \in X,有

\begin{equation} d(Tx, Ty)\leq \phi\bigl(\max\bigl\{d(x, y), d(x, Tx), d(y, Ty), d(x, Ty), d(y, Tx)\bigr\}\bigr), \end{equation}
(2.3)

其中\phi \in \Phi是定义1.4中的函数.如果TX是完备的,则T有唯一不动点.

  令f=I_X,则显然fT是弱相容的.于是本结论根据定理2.2得到.

定理2.4  设(X, d)是完备的度量空间, f: X\to X是满的单值映射使得对任何x, y \in X,有

\begin{equation} d(x, y)\leq \phi\bigl(\max\bigl\{d(fx, fy), d(fx, x), d(fy, y), d(fx, y), d(fy, x)\bigr\}\bigr), \end{equation}
(2.4)

其中\phi \in \Phi是定义1.4中的函数.则f有唯一不动点.

  取T=I_X,则该结论根据定理2.2得到.

定理2.5  设(X, d)是度量空间, f: X\to X是单值映射使得对任何x, y \in X,有

\begin{equation} d(f^{2}x, f^{2}y)\leq \phi\bigl(\max\bigl\{d(fx, fy), d(fx, f^{2}x), d(fy, f^{2}y), d(fx, f^{2}y), d(fy, f^{2}x)\bigr\}\bigr), \end{equation}
(2.5)

其中\phi \in \Phi是定义1.4中的函数.如果fX是完备的,则f有唯一不动点.

  令T=f^{2},则显然fT是弱相容的,因此根据定理2.2知fT有唯一公共不动点u,即u=fu=Tu=f^{2}u.如果v也是f的不动点,即v=fv,则v=fv=f^{2}v=Tv,因此v也是fT的公共不动点,于是由唯一性得到u=v.这说明uf的唯一不动点.证毕.

定理2.6  设(X, d)是度量空间, f: X\to X是单值映射使得fX = f^{2}X且对任何x, y \in X,有

\begin{equation} d(fx, fy)\leq \phi\bigl(\max\bigl\{d(f^{2}x, f^{2}y), d(f^{2}x, fx), d(f^{2}y, fy), d(f^{2}x, fy), d(f^{2}y, fx)\bigr\}\bigr), \end{equation}
(2.6)

其中\phi \in \Phi是定义1.4中的函数.如果fX是完备的,则f有唯一不动点.

  令F=f, G=f^2,则FG满足定理2.2所有条件,于是f=F有唯一不动点.

参考文献

Ćirić L B .

Generalization of Banach' contraction principle

Proc Am Math Soc, 1974, 45 (2): 267- 273

URL     [本文引用: 1]

Nadler S B .

Multi-valued contraction mappings

Pacific J Math, 1969, 30: 475- 488

DOI:10.2140/pjm.1969.30.475     

Das K M , Viswanatha Naik K .

Common fixed point theorems for commuting maps on a metric space

Proc Am Math Soc, 1979, 77 (3): 369- 373

URL    

Jungck G .

Compatible mappings and common fixed points(2)

Internat J Math & Math Sci, 1998, 11 (2): 285- 288

URL     [本文引用: 1]

Mizoguchi N , Takahashi W .

Fixed point theorems for multi-mappings on complete metric spaces

J Math Anal Appl, 1989, 141: 177- 188

DOI:10.1016/0022-247X(89)90214-X     

Amini-Harandi A .

Fixed point theory for set-valued quasi-contraction maps in metric spaces

Appl Math Lett, 2011, 141: 1791- 1794

URL    

Assad N A , Kirk W A .

Fixed point theorems for set-valued mappings of contractive type

Pacific J Math, 1972, 43: 533- 562

URL    

Wu J R , Liu H Y .

Common fixed point theorems for sequences of Φ-type contraction set-valued mappings

Chin Quart J Math, 2009, 24 (4): 504- 510

[本文引用: 1]

Altun I , Türkoğlu .

Some fixed point theorems for weakly compatible mappings satisfying an implicit relation

Taiwanese J Math, 2009, 13: 1291- 1304

DOI:10.11650/twjm/1500405509      [本文引用: 1]

Liu Z Q, Li X, Cho S Y. Fixed point theoems for mappings satisfying contractive conditions of integral type and applications. Fixed Point Theory Appl, 2011, 2011:64, 18pages, doi:10.1186/1687-1812-2011-64

Kaneko H , Sessa S .

Fixed point theorems for compatible multi-valued and single-valued mappings

Internat J Math & Math Sci, 1989, 12 (2): 257- 262

URL     [本文引用: 4]

Cho S H , Kim M S .

Fixed point theorems for general contractive multi-valued mappings

J Appl Math & Informatics, 2009, 27 (1): 343- 350

URL     [本文引用: 2]

Piao Y J , Jin Y F .

New unique common fixed point results for four mappings with Φ-contractive type in metric spaces

Appl Math, 2012, 3: 734- 737

DOI:10.4236/am.2012.37108      [本文引用: 3]

/