Message Board

Dear readers, authors and reviewers,you can add a message on this page. We will reply to you as soon as possible!

2021 Volume 46 Issue 3
Article Contents

XIA Shun-you, WANG Chang-chun, YANG Yan-long, et al. R-KKM Lemma with an Application in Abstract Convexity Metric Spaces[J]. Journal of Southwest China Normal University(Natural Science Edition), 2021, 46(3): 96-100. doi: 10.13718/j.cnki.xsxb.2021.03.015
Citation: XIA Shun-you, WANG Chang-chun, YANG Yan-long, et al. R-KKM Lemma with an Application in Abstract Convexity Metric Spaces[J]. Journal of Southwest China Normal University(Natural Science Edition), 2021, 46(3): 96-100. doi: 10.13718/j.cnki.xsxb.2021.03.015

R-KKM Lemma with an Application in Abstract Convexity Metric Spaces

More Information
  • Received Date: 09/09/2019
    Available Online: 20/03/2021
  • MSC: O177.91

  • We prove that each set-valued mapping between two proximity pairs subsets in abstract convexity metric spaces with condition of generalized KKM mappings and H0 has the finite intersection property. Furthermore, the infinite intersection property is derived with compact conditions. Finally, existence of best proximity points is proved for every set-valued mappings between two proximity pairs subsets in abstract convexity metric spaces with H0 condition.
  • 加载中
  • [1] KNASTER B, KURATOWSKI C, MAZURKIEWICZ S. Ein Beweis des Fixpunktsatzes Für N-dimensionale Simplexe[J]. Fundamenta Mathematicae, 1929, 14: 132-137. doi: 10.4064/fm-14-1-132-137

    CrossRef Google Scholar

    [2] FAN K. A Generalization of Tychonoff's Fixed Point Theorem[J]. Mathematische Annalen, 1961, 142(3): 305-310. doi: 10.1007/BF01353421

    CrossRef Google Scholar

    [3] PARK S. Some Coincidence Theorems on Acyclic Multifunctions and Applications to KKM Theory[M]. River Edge: World Scientific, 1992.

    Google Scholar

    [4] LASSONDE M. Fixed Points for Kakutani Factorizable Multifunctions[J]. Journal of Mathematical Analysis and Applications, 1990, 152(1): 46-60. doi: 10.1016/0022-247X(90)90092-T

    CrossRef Google Scholar

    [5] HORVATH C D. Some Results on Multi-Valued Mappings and Inequalities Without Convexity[M]//LIN B L, SIMONS S. Nonlinear and Convex Analysis. Lecture Notes in Pure and Applied Math. New York: Dekker, 1987: 99-106.

    Google Scholar

    [6] HORVATH C D. Contractibility and Generalized Convexity[J]. Journal of Mathematical Analysis and Applications, 1991, 156(2): 341-357. doi: 10.1016/0022-247X(91)90402-L

    CrossRef Google Scholar

    [7] HORVATH C D. Extension and Selection Theorems in Topological Spaces with a Generalized Convexity Structure[J]. Annales De La Faculté Des Sciences De Toulouse Mathématiques, 1993, 2(2): 253-269.

    Google Scholar

    [8] 夏顺友. 集值Sperner组合引理与抽象凸空间中的KKMS引理[J]. 西南师范大学学报(自然科学版), 2013, 38(6): 25-29.

    Google Scholar

    [9] 孟雪, 邓磊. GFC-空间中的参数型KKM定理及其应用(英文)[J]. 西南师范大学学报(自然科学版), 2011, 36(5): 52-55.

    Google Scholar

    [10] 王彤, 邓磊. G-凸空间中的广义KKM定理及极小极大定理[J]. 西南师范大学学报(自然科学版), 2005, 30(3): 397-400.

    Google Scholar

    [11] PARK S, KIM H. Foundations of the KKM Theory on Generalized Convex Spaces[J]. Journal of Mathematical Analysis and Applications, 1997, 209(2): 551-571. doi: 10.1006/jmaa.1997.5388

    CrossRef Google Scholar

    [12] 文开庭. FC-度量空间中的R-KKM定理及其对抽象经济的应用[J]. 西南师范大学学报(自然科学版), 2010, 35(01): 45-49.

    Google Scholar

    [13] DING X P. Generalized KKM Type Theorems in FC-Spaces with Applications(I)[J]. Journal of Global Optimization, 2006, 36(4): 581-596. doi: 10.1007/s10898-006-9028-x

    CrossRef Google Scholar

    [14] ZHOU L W, HUANG N J. Generalized KKM Theorems on Hadamard Manifolds with Applications[EB/OL]. (2009-08-16)[2019-01-15]. http://www.paper.edu.cn/index.php/default/releasepaper/content/200906-669.

    Google Scholar

    [15] PARK S. Riemannian Manifolds are KKM Spaces[J]. Advances in the Theory of Nonlinear Analysis and Its Application, 2019: 18-27.

    Google Scholar

    [16] PARK S. Generalizations of some KKM Type Results on Hyperbolic Spaces[J]. Nonlinear Funct Anal Appl, 2018, 23(4): 805-818.

    Google Scholar

    [17] ZHOU L W, HUANG N J. A Revision on Geodesic Pseudo-Convex Combination and Knaster-Kuratowski-Mazurkiewicz Theorem on Hadamard Manifolds[J]. Journal of Optimization Theory and Applications, 2019, 182(3): 1186-1198. doi: 10.1007/s10957-019-01511-0

    CrossRef Google Scholar

    [18] LEE W. Remarks on the Kkm Theory of Hadamard Manifolds and Hyperbolic Spaces[EB/OL]. Nonlinear Funct Anal Appl, 2015, 20(4): 579-593.

    Google Scholar

    [19] CHAIPUNYA P, KUMAM P. Nonself KKM Maps and Corresponding Theorems in Hadamard Manifolds[J]. Applied General Topology, 2015, 16(1): 37. doi: 10.4995/agt.2015.2305

    CrossRef Google Scholar

    [20] RAHIMI R, FARAJZADEH A P, VARZPOUR S M. A New Extension of Fan-KKM Theory and Equilibrium Theory on Hadamard Manifolds[J]. Azerbaijan Journal of Mathematics, 2017, 7(2): 88-112.

    Google Scholar

    [21] 郑莲. 弱FC-KKM映射与聚合不动点定理[J]. 西南师范大学学报(自然科学版), 2007, 32(5): 10-13.

    Google Scholar

    [22] 汪达成. 广义区间空间中参数型非紧KKM定理及其应用[J]. 西南师范大学学报(自然科学版), 2004, 29(5): 734-738.

    Google Scholar

    [23] 刘学文. SKKM型定理的推广及其应用[J]. 西南师范大学学报(自然科学版), 2003, 28(3): 362-366.

    Google Scholar

    [24] XIANG S W, XIA S Y. A Further Characteristic of Abstract Convexity Structures on Topological Spaces[J]. Journal of Mathematical Analysis and Applications, 2007, 335(1): 716-723. doi: 10.1016/j.jmaa.2007.01.101

    CrossRef Google Scholar

    [25] XIANG S W, XIA S Y, CHEN J. KKM Lemmas and Minimax Inequality Theorems in Abstract Convexity Spaces[J]. Fixed Point Theory and Applications, 2013, 2013: 209. doi: 10.1186/1687-1812-2013-209

    CrossRef Google Scholar

    [26] ARONSZAJN N, PANITCHPAKDI P. Extension of Uniformly Continuous Transformations and Hyperconvex Metric Spaces[J]. Pacific Journal of Mathematics, 1956, 6(3): 405-439. doi: 10.2140/pjm.1956.6.405

    CrossRef Google Scholar

    [27] ELDRED A A, KIRK W A, VEERAMANI P. Proximal Normal Structure and Relatively Nonexpansive Mappings[J]. Studia Mathematica, 2005, 171(3): 283-293. doi: 10.4064/sm171-3-5

    CrossRef Google Scholar

    [28] CHANG S S, ZHANG Y. Generalized KKM Theorem and Variational Inequalities[J]. Journal of Mathematical Analysis and Applications, 1991, 159(1): 208-223. doi: 10.1016/0022-247X(91)90231-N

    CrossRef Google Scholar

    [29] SANKAR RAJ V, SOMASUNDARAM S. KKM-type Theorems for Best Proximity Points[J]. Applied Mathematics Letters, 2012, 25(3): 496-499. doi: 10.1016/j.aml.2011.09.044

    CrossRef Google Scholar

  • 加载中
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Article Metrics

Article views(1330) PDF downloads(99) Cited by(0)

Access History

R-KKM Lemma with an Application in Abstract Convexity Metric Spaces

Abstract: We prove that each set-valued mapping between two proximity pairs subsets in abstract convexity metric spaces with condition of generalized KKM mappings and H0 has the finite intersection property. Furthermore, the infinite intersection property is derived with compact conditions. Finally, existence of best proximity points is proved for every set-valued mappings between two proximity pairs subsets in abstract convexity metric spaces with H0 condition.

  • 非线性分析中的许多问题都可以通过一些子集族的非空交来解决,文献[1]的KKM引理给出了集合族非空交性质这一重要结论,随后得到了推广[2-23].

    空间的凸性在KKM理论中起着十分重要的作用,利用公理化方法建立凸空间理论以及非线性分析相应结果的推广成为一个热门研究领域,产生了很多重要成果[4-25]. 文献[26]引入度量空间中的超凸概念之后,在超凸度量空间中得到了KKM引理以及非线性分析中许多重要结果.

    本文将在不具线性结构的抽象凸度量空间中建立一个广义KKM定理,并进一步得到最佳邻近点存在定理,该定理作为Brouwer不动点定理和Fan-Browder不动点定理对非自映射在抽象凸度量空间中的推广.

1.   预备知识
  • 设(X, d)是度量空间,X的一切子集构成的集族记为2X, X的一切非空有限子集构成的集族记为〈X〉, 对任意A∈〈X〉的元素个数记为|A|. 下面介绍最佳邻近点问题[29].

    设A是度量空间(X, d)的非空子集,映射f: $A \longrightarrow X$有不动点xA, 即满足f(x)=x, 等价地,可描述为d(x, f(x))=0. 所以若fA上有不动点,则f(A)∩A≠Ø. 但是反之未必成立. 显然如果不动点方程f(x)=x无解,则对任意xA, 都有d(x, f(x)) > 0. 此时求解使得d(x, f(x))最小的点xA的问题称为最佳邻近点问题,也就是一个极小化优化问题,即求解 $\min\limits_{x \in A} d(x, f(x))$. 一般地,设A, B是度量空间(X, d)的两个非空子集,映射f: $A \longrightarrow B$决定了一个最佳邻近点问题是求x*A, 使得d(x*, f(x*))= $\min\limits_{x \in A} d(x, f(x))$, 等价地,可以描述为d(x*, f(x*))=d(A, B). 特别地,当d(A, B)=0时,x*AfA上的不动点. 本文将研究抽象凸度量空间(X, d)的两个非空邻近对子集A, B之间的集值映射F: $A \longrightarrow 2^{B}$ 决定的最佳邻近点问题:求x*A, 使得d(x*, F(x*))=d(A, B).

    下面回顾抽象凸空间的相关概念[6, 7, 24-25].

    定义1  若度量空间(X, d)的子集族C⊂2X满足条件:

    ① Ø, XC;

    ② 对任意子集族DC, 都有∩ADAC;

    ③ 对任意AC, ε > 0, 都有{xX: d(x, A) < ε}∈C, 则称度量空间(X, d)为抽象凸度量空间,记为(X, d, C); 则C称为度量空间(X, d)上的一个抽象凸结构,C中的元称为抽象凸集.

    注1  对可缩集代替线性凸集的情形,文献[6-7]将抽象凸度量空间称之为l.c.空间. 当且仅当coCA=A时,任意AX为抽象凸集,其中coCA=∩AB{B: BC} 表示集合AX的抽象凸包.

    定义2  如果对任意A={x0, x1, …, xn}∈〈X〉, 存在连续映射f: ΔNcoCA(其中N={0, 1, …, n}), 使得对任意JN, 都有f(ΔJ)⊂coC{xj: jJ}成立. 其中ΔN表示n+1维欧氏空间中的标准n单纯形. 此时称抽象凸度量空间(X, d, C)满足H0条件,或称(X, d, C)为满足H0条件的抽象凸度量空间.

2.   关于两抽象凸度量空间上非自映射的KKM定理
  • 下面两个定义在文献[27-29]的基础上改进得来.

    定义3  设P, Q是抽象凸度量空间(X, d, C)的两非空子集,如果对任意(x, y)∈P×Q, 都存在(x, y)∈P×Q, 使得d(x, y)=d(x, y)=d(P, Q)成立,则称(P, Q)为邻近对. 进而若P, Q还是抽象凸集,则称(P, Q)为抽象凸邻近对.

    定义4  设P, Q是抽象凸度量空间(X, d, C)的两非空子集,且(P, Q)为邻近对,称非自映射F: $P \longrightarrow 2^{Q}$是R-KKM映射,如果对任意{x0, x1, …, xn}∈〈P〉, 都存在{y0, y1, …, yn}∈〈Q〉满足条件:

    使得对任意非空子集JN都有:coC{yj: jJ}⊂F({xj: jJ}).

    注2  R-KKM映射的名称沿用自文献[29]. 显然当映射F: $P \longrightarrow 2^{Q}$是R-KKM映射时,对任意xP, 都有d(x, F(x))=d(P, Q), 而且当P=Q时,R-KKM映射就是KKM映射.

    定理1  设P, Q是满足H0条件的抽象凸度量空间(X, d, C)的两非空子集,且(P, Q)为邻近对,非自映射F: $P \longrightarrow 2^{Q}$是非空闭值R-KKM映射,则{F(x): xP}有有限交性质.

      用反证法. 假设{F(x): xP}没有有限交性质,则存在{x0, x1, …, xn}∈〈P〉, 使得 $\bigcap\limits_{i=0}^{n} F\left(x_{i}\right)=\varnothing$.

    因为F是R-KKM映射,对{x0, x1, …, xn}∈〈P〉, 存在{y0, y1, …, yn}∈〈Q〉满足条件:

    使得对任意非空子集JN, 都有coC{yj: jJ}⊂F({xj: jJ}).

    Y=coC{y0, y1, …yn}, 定义函数β: $Y \longrightarrow[0, 1]$ $\beta_{i}(y)=\frac{d\left(y, F\left(x_{i}\right) \cap Y\right)}{\sum\limits_{i=0}^{n} d\left(y, F\left(x_{i}\right) \cap Y\right)} i=0, 1, \cdots , n $, ∀yY.

    由于 $\bigcap_{i=0}^{n} F\left(x_{i}\right)=\emptyset$, 所以有 $\sum\limits_{i=0}^{n} d\left(y, F\left(x_{i}\right) \bigcap Y\right)>0$, ∀yY, 且βi(y)≥0, i=0, 1, …, n, ∀yY, 以及 $\sum\limits_{i=0}^{n} \beta_{i}(y)=1$. 于是定义映射g: $Y \longrightarrow \Delta_{n}$ $g(y)=\sum\limits_{i=0}^{n} \beta_{i}(y) \boldsymbol{e}^{i}$, ∀yY, 其中ei表示第i个坐标分量为1而其它坐标分量为0的n+1维单位向量.

    由H0条件知存在连续映射h: $\Delta_{n} \longrightarrow Y$, 使得对任意JN, 都有hJ)⊂coC{yj: jJ}.

    于是连续复合映射 $g \circ h: \Delta_{n} \longrightarrow \Delta_{n}$存在不动点,即存在e∈Δn, 使得 $\boldsymbol{e}=g \circ h(\boldsymbol{e})$. 也即存在点y*=h(e), 使得 $\boldsymbol{e}=g\left(y^{*}\right)=\sum\limits_{i=0}^{n} \beta_{i}\left(y^{*}\right) \boldsymbol{e}^{i}$.

    I(y*)={i: βi(y*) > 0, i=0, 1, …, n}={i: d(y, F(xi)∩Y) > 0, i=0, 1, …, n}. 从而对任意iI(y*), 都有d(y, F(xi)∩Y) > 0, 因此对任意iI(y*), 都有y*F(xi)∩Y, 即y*∉ ∪iI(y*)(F(xi)∩Y).

    另一方面有 $y^{*}=h(\boldsymbol{e})=h\left(g\left(y^{*}\right)\right)=h\left(\sum\limits_{i=0}^{n} \beta_{i}\left(y^{*}\right) \boldsymbol{e}^{i}\right)=h\left(\sum\limits_{i \in I\left(y^{*}\right)} \beta_{i}\left(y^{*}\right) \boldsymbol{e}^{i}\right) \subset c o_{C}\left\{y_{i}: i \in I\left(y^{*}\right)\right\}$.

    因此y*=h(e)⊂coC{yi: iI(y*)}⊂∪iI(y*)(F(xi)∩Y). 这就导致了矛盾. 定理得证.

    定理2  设P, Q是满足H0条件的抽象凸度量空间(X, d, C)的两非空子集,且(P, Q)为邻近对,非自映射F: $P \longrightarrow 2^{Q}$是非空闭值R-KKM映射,且存在xP, 使得F(x)是紧集(或者存在某些xP, 使得F(x)的交是紧集), 则{F(x): xP}有任意交性质.

3.   最佳邻近点存在性的应用
  • 定义5  设(P, Q)是抽象凸度量空间(X, d, C)的两非空抽象凸邻近对,若

    其中xiP, yiQ, N={0, 1, …, n}则有(coC{x0, x1, …, xn}, coC{y0, y1, …, yn})也是邻近对. 那么称该性质为抽象凸邻近对性质,简记为CPP性质.

    注3  由CPP性质,显然有d(coC{x0, x1, …, xn}, coC{y0, y1, …, yn})=d(P, Q).

    定理3  设P, Q是满足H0条件的抽象凸度量空间(X, d, C)的两非空紧抽象凸子集,且(P, Q)为满足CPP性质的邻近对,非自映射F: $P \longrightarrow 2^{Q}$是非空抽象凸值、非空开逆值R-KKM映射,则一定存在x*P, 使得d(x*, F(x*))=d(P, Q)成立.

      定义集值映射G: $Q \longrightarrow 2^{P}$G(y)=P\F-1(y), ∀yQ.

    若存在y0Q0, 使得G(y0)=Ø, 则F-1(y0)⊃P, 于是对任意xP, 都有y0F(x). 由y0Q及邻近对条件可知存在x0P, 使得d(x0, y0)=d(P, Q).

    特殊地,当y0F(x0)时,d(P, Q)≤d(x0, F(x0))≤d(x0, y0)=d(P, Q), 即x0P上的最佳邻近点.

    若对任意yQ, 都有G(y)≠Ø, 则由F满足的条件有G为非空闭值集值映射.

    又因为∪yQF-1(y)是P的开覆盖,所以有

    由定理2知G不是R-KKM映射,则存在{x0, x1, …, xn}∈〈P〉, 对任意{y0, y1, …, yn}∈〈Q〉, 满足条件d(xj, yj)=d(P, Q), ∀jN={0, 1, …, n}, 都存在非空子集JN, 使得

    为了叙述方便,不妨设J=N, 使得 $c o_{C}\left\{x_{j}: j \in N\right\} \not \subset G\left(\left\{y_{j}: j \in N\right\}\right)=\bigcup\limits_{i=0}^{n} G\left(y_{i}\right)$.

    于是存在x*coC{xi: iN}, 但是x*∉∪iNG(yi), 从而x*∈∩iNF-1(yi). 所以对任意iN, 都有yiF(x*). 由F(x*)是抽象凸,有coC{yi: iN}⊂F(x*). 由CPP性质可知,存在点y*coC{yi: iN}使得d(x*, y*)=d(P, Q).

    因此d(P, Q)≤d(x*, F(x*))≤d(x*, y*)=d(P, Q), 即d(x*, F(x*))=d(P, Q). 得证.

    定理4  设P是满足H0条件的抽象凸度量空间(X, d, C)的两个非空紧抽象凸子集,且(P, Q)为满足CPP性质的邻近对,映射F: $P \longrightarrow 2^{P}$是非空抽象凸值、开逆值的,则一定存在x*P, 使得d(x*, F(x*))=0成立,即F存在不动点x*P.

    注4  本文在满足H0条件的抽象凸度量空间中建立了邻近对上的非自映射的KKM引理,作为应用证明了最佳邻近点的存在性. 该文将文献[29] 的结论推广到了抽象凸度量空间.

Reference (29)

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return