右可逆半群上渐近殆非扩张曲线的遍历定理
度量凸函数和渐近非扩张算子半群的公共不动点
度量凸函数和渐近非扩张算子半群的公共不动点林国琛;张文【摘要】证明了度量凸函数的一个类似凸分析中Brondsted-Rockafellar定理的结论,并刻画了下半连续度量凸函数的结构;证明了完备一致凸双曲度量空间上渐近非扩张算子半群公共不动点的存在性和该半群的弱星紧性.【期刊名称】《厦门大学学报（自然科学版）》【年(卷),期】2019(058)002【总页数】5页(P292-296)【关键词】度量凸函数;不动点;渐近非扩张算子半群【作者】林国琛;张文【作者单位】厦门理工学院应用数学学院,福建厦门361024;厦门大学数学科学学院,福建厦门361005【正文语种】中文【中图分类】O177.2众所周知, 凸性在Banach空间上的凸分析和不动点理论中扮演重要角色. 把这些经典结果推广到度量空间, 是自然的问题.一方面, Soltan等[1-7]在20世纪80年代的图论领域引入度量凸函数概念. Krynski[8]在1993年给出赋范空间上度量凸函数的代数结构. 但是较少人关注度量凸函数的拓扑性质. 这类函数在非离散型空间上的连续性和可微性是本文中研究内容的一部分.定义1[9] 度量空间(D,d)是度量凸的, 当且仅当对∀x,y∈D,0<β<1,存在z∈D使得d(x,z)=βd(x,y),d(z,y)=(1-β)d(x,y).当z唯一时(记为(1-β)x⊕βy),D称为凸度量空间.定义2[10] (D,d)是双曲度量空间, 当且仅当(D,d)度量凸且∀p,x,y∈D.显然赋范空间是双曲度量空间. 另外存在一些非线性的例子, 如Hadamard流形[11]、赋予双曲度量的Hilbert开单位球[12]以及CAT(0)空间[13-15].双曲度量空间D的子集C是凸的, 当且仅当∀x,y∈C,0<β<1,有(1-β)x⊕βy∈C.定义3[16-19] 设D是双曲度量空间.D一致凸, 当且仅当任意a∈D,r>0,>0,有δ(r,)⊕r定义4 F是度量空间(D,d)上的度量凸函数, 当且仅当∀x,y,z∈D,d(x,z)+d(z,y)=d(x,y).当D是完备双曲一致凸度量空间, 给定y∈D时, 映射d(·,y):D→R是度量凸函数[19].另一方面,凸性也应用于不动点问题.20世纪60年代初,压缩映射族和非扩张映射族公共不动点的存在性成为研究热点[20-25].人们也利用渐近方法寻求公共不动点[26-31].本文中证明出: 完备一致凸双曲度量空间上渐近非扩张算子半群公共不动点的存在性，并证明该半群是弱星紧集.定义5 设C是度量空间D的有界闭凸子集，则一族从C到C的算子={T(t):t≥0}是Lipschitz半群, 当且仅当满足如下条件：(i) 任意x∈C,T(0)x=x;(ii) 任意x∈C,任意t,s≥0,T(t+s)x=T(t)T(S)x;(iii) 任意x∈C,T(t)x在t∈[0,∞)上连续;(iv) 任意t≥0,存在kt>0,使得d(T(t)x,T(t)y)≤ktd(x,y),∀x,y∈C.Lipschitz算子半群是非扩张的,当且仅当任意t≥0,kt=1.是渐近非扩张的, 当且仅当limt→∞kt=1.1 度量凸函数度量凸函数是凸函数概念的推广. 二者是否具有类似的拓扑性质, 是一个自然的问题. 答案是肯定的. 定理1和定理2是本节的主要结果.首先, 正如次微分在凸分析中扮演重要角色, 在本文中为度量凸函数引入一种新的次微分.定义6 设F是度量凸空间D上的度量凸函数,x∈D.若存在λ>0使得F(y)-F(x)≥-λd(y,x),∀y∈D,本文中定义-λd(·,x)为F在x的d-次微分.下面的引理1和引理2有助于我们证明定理1.引理1[32] 度量空间等距同构于某个Banach空间的子集.引理1说明: 在等距嵌入意义下, 每个度量空间可视为某个Banach空间的子集, 且度量凸性是不变的. 这为非线性问题提供一种新方法.引理2[33] 设F是定义在Banach空间X上的真, 下半连续, 有下界函数. 任意>0,F(x0)<inf{F(x):x∈X}+，则任意λ且0<λ<1, 存在有效定义域dom F上的z, 使得(i) λ‖z-x0‖≤F(x0)-F(z),(ii) ‖z-x0‖</λ,(iii) λ‖x-z‖+F(x)>F(z),x≠z.引理2在非线性分析中有广泛应用, 也被应用于定理1的证明.定理1 设D是完备度量凸空间,F是D上的下半连续度量凸函数, 则d-次微分存在的点在有效定义域dom F中稠密.证明根据引理1, 在等距映射下, 存在Banach空间X使得(D,d)⊂(X,‖·‖),其中的度量d由范数‖·‖诱导.定义显然下半连续. 对于任意>0和x0∈dom F, 令H:X→R∪{+∞},易知H下半连续, 有下界且≤inf H+.因F下半连续, 所以存在0<δ<,{x∈D,d(x,x0)<δ}⊂{x∈D,F(x)>根据引理2, 对于存在z∈dom H=dom F⊂D满足；2) λ‖x-z‖+H(x)>H(z),∀x≠z.因为存在r>0使得{x∈D:d(x,z)<r}⊂{x∈D:d(x,x0)<δ},则∀x∈{x∈D:d(x,z)<r},所以则λ‖x-z‖+F(x)>F(z),∀x∈{x∈D:d(x,z)<r}\{z}.对于y∈D,y≠z且x∈{x∈D:d(x,z)<r,x≠z,d(z,x)+d(x,y)=d(z,y)},有F(y)+λd(y,z)≥{d(z,y)[F(x)+λd(x,z)]-d(x,y)F(z)}/d(x,z)>{d(z,y)F(z)-d(x,y)F(z)}/d(x,z)=F(z)，即F(y)-F(z)>-λd(y,z).则F在z有d-次微分. 证毕.定理1类似Banach空间凸分析[33]的Brondsted-Rockafellar定理. 现在我们在定理1的基础上, 刻画该函数的结构, 这是本文第2个主要结论.定理2 D是完备度量凸空间,F是D上下半连续度量凸函数, 则(i) F(x)=sup{F(z)-λd(x,z):λ>0,z∈dom F,y∈D,F(y)-F(z)≥-λd(y,z)},(ii) 上确界能够达到, 当且仅当F在x存在d-次微分.证明 (i) 设z∈dom F,λ>0满足F(z)-λd(y,z)<F(y),∀y∈D.根据定理1, 这样的z在dom F中稠密. 则对于任意x0∈dom F,有F(x0)≥sup{F(z)-λd(x0,z):λ>0,z∈dom F,y∈D,F(y)-F(z)≥-λd(y,z)}.根据定理1的证明, 对于任意>0,存在δ且0<δ<,有∀z∈D,d(z,x0)<δ.对于存在z∈dom F且,使得F(z)-λd(y,z)≤F(y),y∈D，因此，则于是令→0,则F(x0)≤sup{F(z)-λd(x0,z):λ>0,z∈dom F,y∈D,F(y)-F(z)≥-λd(y,z)}.综上所述,F(x0)=sup{F(z)-λd(x0,z):λ>0,z∈dom F,y∈D,F(y)-F(z)≥-λd(y,z)}.(ii) 因为存在λ>0,z∈dom F,F(y)-F(z)>-λd(y,z),F(x)=F(z)-λd(x,z),∀y∈D,y≠z,则x=z.则对于任意y∈D且y≠x,有F(y)-F(x)>-λd(y,x).则F在x存在d-次微分.又因为存在λ>0使得F(y)-F(x)>-λd(y,x),y∈D,y≠x,且F(x)=F(x)-λd(x,x),所以上确界能够达到.2 渐近非扩张算子半群的公共不动点Tan等[26]应用凸性证明出Banach空间渐近非扩张算子半群的遍历定理. 本文中借助度量凸函数, 利用类似方法研究渐近非扩张算子半群的公共不动点.引理3[34] 设D是完备、一致凸、双曲度量空间, 则任意单调不增、非空、凸、有界、闭子集族有非空的交集.下面给出本文第3个主要结论, 其类似于一致凸Banach空间的相关定理[35].定理3 设D是完备、一致凸、双曲度量空间,C是D的有界闭凸子集,={T(t):t≥0}是C上渐近非扩张算子半群，则存在公共不动点, 且公共不动点集是闭凸集.证明首先证明F()非空. 取C中一点x,令因d(T(t)x,·)的连续性和凸性[19], 则r是C上连续度量凸函数. 对于任意t,{y∈C:r(y)≤t}是闭凸集，根据引理3, 存在C中的点z, 使得r(z)=inf{r(y):y∈C}=∶r.现在证明z是的公共不动点. 即: 任意t≥0有T(t)z=z.这需要如下说明:T(t)z→z,t→∞.若不然, 则存在子列{T(tn)z},且存在0>0, 使得d(T(tn)z,z)≥0,n=1,2,….可以设r>0，选取>0, 使得(r+)(1-δ(r+,其中δ是D的凸性模. 令η>0充分小, 使得η<且(1+η)(r+η)<r+.本文中选取充分大的t0,使得当t≥t0时,kt<1+η且d(T(t)x,z)<r+η.最后选取N使得s∶=tN>t0.现在得到：对于所有的t≥t0,d(T(t+s)x,T(s)z)≤ksd(T(t)x,z)≤(1+η)(r+η)<r+且d(T(t+s)x,z)≤r+η<r+，则⊕)(1-δ(r+,矛盾！说明成立.现在证明: 对于每个t,T(t)z=z.若不然, 则存在t0使得T(t0)z≠z.由T(t0)的连续性推出T(t+t0)z=T(t0)[T(t)z]→T(t0)z,t→∞.另一方面,T(t+t0)z→z,t→∞.这又是一个矛盾.每个F(T(t))是闭凸集, 则F()=∩t≥0F(T(t))也是闭凸集. 证毕.3 渐近非扩张算子半群的弱星紧性彭济根等[36]引入Banach空间的一种新的对偶空间，即Lipschitz对偶空间. Banach空间的Lipschitz对偶空间是某个包含E的Banach空间的线性对偶空间. 任何非线性 Lipschitz算子的Lipschitz对偶算子是有界线性算子. 所获结果为推广线性算子理论到非线性情形开辟一条新途径. 本文中利用这些理论, 得到渐近非扩张算子半群是弱星紧集(定理4).定义7[36] 设E,X为Banach空间,E*是E的对偶空间.C,B分别为E,X的闭子集(不一定有界).T:C→B是Lipschitz算子, 当且仅当存在L>0,使得‖Tx-Ty‖≤L‖x-y‖,x,y∈C.对于每个Lipschitz算子T, 定义其最小Lipschitz常数为若记Lip{C,B}={T:C→B|T为Lipschitz算子},则易验证L(·)为Lip{C,B}上的半范数. 明显地, 若T为E到X的有界线性算子, 则T在C上的限制TC∈Lip{C,B},且L(TC)≤‖T‖(特别地, 当C包含E的单位球时,L(TC)=‖T‖).证明定理4需要一些引理[35].引理4[36] 设0∈C,Lip0{C,B}={T∈Lip{C,B}|T(0)=0},则L(·)是Lip0{C,B}上的范数, 且{Lip0{C,B},L(·)}为Banach空间.注1 设C是完备一致凸双曲度量空间D的有界闭凸子集, 可视为Banach空间l∞(D)的子集,={T(t):t≥0}是C上渐近非扩张算子半群. 则根据定理3,存在一个公共不动点x.不失一般性,令不动点x=0.因此⊂Lip0{C,C}.即:是Banach空间{L ip0{C,C},L(·)}的子集.引理5[36] 设J={j(x,y)∈(Lip0{C,X*})*|x∈C,y∈X},其中j(x,y):Lip0{C,X*}→R,T→(Tx,y).则Lip0{C,X*}等距同构于G的线性对偶空间G*.注2 因为度量空间D等距嵌入l∞(D),同时l∞(D)=(l1(D))*, 令X=l1(D),X*=(l1(D))*=l∞(D),则⊂Li0{C,C}等距嵌入G*.引理6[36] 设{Tσ}⊂Lip0{C,X*}有界网,T∈Lip0{C,X*},则{Tσ}弱星收敛于T, 当且仅当∀x∈C,{Tσx}弱星收敛于Tx.下面给出本文中第4个主要结论.定理4 设D是完备、一致凸、双曲度量空间,C是D的有界闭凸子集,C上渐近非扩张算子半群={T(t):t≥0}(⊂Lip0{C,[l1(D)]*})是对偶空间的有界子集, 从而是弱星紧集.证明因为当t→∞.时,L(T(t))→1,所以={T(t):t≥0}(⊂Lip0{C,[l1(D)]*})是对偶空间的有界子集, 从而是弱星紧集. 证毕.【相关文献】[1] SOLTAN V,CEPOI V.Solution of W eber’s problem for discrete median metricspaces[J].Trans Inst Math,1987,85:52-76.[2] SOLTAN V.Some properties of d-convex functions Ⅰ[J].Bull Acad Sci Moldova Ser Phis Techn Math Sci,1980(1):27-31.[3] SOLTAN V.Some properties of d-convex functions Ⅱ[J].Bull Acad Sci Moldova Ser Phis Techn Math Sci,1981(2):21-26.[4] SOLTAN V.D-convexity in graphs[J].Dokl Akad Nauk SSSR,1983,272:535-537.[5] SOLTAN V.Metric convexity in graphs[J].Studia Univ Babes-BolyaiMathematica,1991,36(4):3-43.[6] SOLTAN V,CEPOI V.Some classes of d-convex functions in graphs[J].Dokl Akad Nauk SSSR,1980,273:1314-1317.[7] SOLTAN V,CEPOI V.D-convexity and steiner functions on a graph[J].Dokl Akad Nauk BSSR,1985,29:407-408.[8] KRYNSKI S.Metrically convex functions in normed spaces[J].Studia Math,1993,105:1-11.[9] MENGER K.Untersuchungen über allgemeine metrik[J].Math Ann,1928,100:75-163.[10] REICH S,SHAFRIR I.Nonexpansive iterations in hyperbolic spaces[J].Nonlinear Analysis,1990,15:537-558.[11] BUSEMANN H.Spaces with non-positive curvature[J].Acta Math,1948,80:259-310.[12] GOEBEL K,REICH S.Uniform convexity,hyperbolic geometry,and nonexpansive mappings[M]∥Series of monographs and textbooks in pure and applied mathematics.New York:Marcel Dekker,1984:148-152.[13] KIRK W.Fixed point t heory for nonexpansive mappings,Ⅰ and Ⅱ[J].Lecture Notes in Mathematics,1981,886:485-505.[14] KIRK W.A fixed point theorem in CAT(0) spaces and R-trees[J].Fixed Point Theory Appl,2004(4):309-316.[15] LEUSTEAN L.A quadratic rate of asymptotic regularity for CAT(0)-spaces[J].J Math Anal Appl,2007,325:386-399.[16] CLARKSON J.Uniformly convex spaces[J].Trans Am Math Soc,1936,40(3):396-414.[17] GOEBEL K,SEKOWSKI T,STACHURA A.Uniform convexity of the hyperbolic metric and fixed points of holomorphic mappings in the Hilbert ball[J].Nonlinear Anal,1980(4):1011-1021.[18] KHAMSI M,KHAN A.Inequalities in metric spaces with applications[J].Nonlinear Anal,2011,74:4036-4045.[19] OPPENHEIM I.Fixed point theorem for reflexive Banach spaces and uniformly convex non positively curved metric spaces[J].Math Z,2014,278:649-661.[20] BELLUCE L,KIRK W.Fixed-point theorems for families of contraction mappings[J].Pac J Math,1966,18:213-217.[21] BELLUCE L,KIRK W.Nonexpansive mappings and fixed-points in Banach spaces[J].Ill J Math,1967,11:474-479.[22] BROWDER F.Nonexpansive nonlinear operators in a Banach space[J].Proc Natl Acad Sci,1965,54:1041-1044.[23] BRUCK R.Properties of fixed-point sets of nonexpansive mappings in Banachspaces[J].Trans Am Math Soc,1973,179:251-262.[24] DEMARR mon fixed-points for commuting contraction mappings[J].Pac J Math,1963,13:1139-1141.[25] LIM T.A fixed point theorem for families of nonexpansive mappings[J].Pac JMath,1974,53:487-493.[26] TAN K K,XU H K.An ergodic theorem for nonlinear semigroups of Lipschitzian mappings in Banach spaces[J].Nonlinear Anal,1992,19(9):805-813.[27] KIRK W,XU H.Asymptotic pointwise contractions[J].Nonlinear Anal,2008,69:4706-4712.[28] HUSSAIN N,KHAMSI M.On asymptotic pointwise contractions in metricspaces[J].Nonlinear Anal,2009,71(10):4423-4429.[29] KHAMSI M,KOZLOWSKI W.On asymptotic pointwise contractions in modular function spaces[J].Nonlinear Anal,2010,73:2957-2967.[30] KHAMSI M,KOZLOWSKI W.On asymptotic pointwise nonexpansive mappings in modular function spaces[J].J Math Anal Appl,2011,380:697-708.[31] KHAMSI M.Nonlinear semigroups in modular function spaces[J].Math,1992,379:1-9.[32] BENYAMINI Y,LINDENSTRAUSS J.Geometric nonlinear functionalanalysis[M].Providence RI:American Mathematical Society,2000:11-12.[33] PHELPS R.Convex functions,monotone operators and differentiability[M].2ed.New York：Springer-Verlag,1989:45-47.[34] KHAMSI M.On metric spaces with uniform normal structure[J].Proc Am MathSoc,1989,106:723-726.[35] KOZLOWSKI mon fixed points for semigroups of pointwise Lipschitzianmappings in Banach spaces[J].Bull Aust Math Soc,2011,84:353-361.[36] 彭济根,徐宗本.Banach空间的Lipschitz对偶及其应用[J].数学学报,1999,42(1):61-70.。
【国家自然科学基金】_γ-凸子集_基金支持热词逐年推荐_【万方软件创新助手】_20140802
2009年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
科研热词 不动点 黏性逼近 非扩张非自映象 非扩展映射 零点 赋范线性空间 纯量型变分不等式 渐近非扩张映象 收敛率估计 强收敛 弱向量变分不等式 带误差的ishikawa迭代序列 对偶锥 增生算子 半闭原理 公共不动点 修正的粘性迭代序列 保核收缩映射 任意实banach空间 φ -强拟增生映象 φ -半压缩映象 lipschitz严格伪压缩映象 ishikawa迭代序列 c-弱次连续 c-单调
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12
科研热词 非扩张映射 迭代逼近 连续选择定理 边缘修补 粗糙集 泛函方程 最大肯定凸子集 图像边缘 动态规划 一般化凸空间 φ 映射 γ -凸子集
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1
2013年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
科研热词 γ -凸子集 非扩张映射 迭代序列 范数 紧局一致凸 粘滞逼近 渐近非扩张映射 最优值函数 数值域 抽象凸空间 截口定理 强收敛 广义渐近拟非扩张映射 完全渐近非扩张映象 奇异值 变分不等式 半紧 初等算子 具误差的隐迭代序列 公共不动点 修正的w-映射 一致凸banach空间 γ -拟凹 γ -拟凸 kkm映射 kadec-klee性质 jc-逼近紧 jc-极小化序列 ishikawa迭代 g-凸空间 banach空间
推荐指数 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2011年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
Banach空间中渐近非扩张型半群殆轨道的遍历定理
足 。 ｏａ ，∈Ａ（ Ａ是一定向集） ｌ Ｉ ， ｅ ｌ 。Ｉ 时有 １ ≤旦 ｅ Ｉ ＋ ｌ 则称 ，Ｉ Ｉ 旦 Ｉ ｌ ≥ｃ 。 ≥１ ＋ｒ 。 ｌ Ｉ ， 具 一 致 ｒＯ ｉｌ 件．显 然 ， 致 ｒＯ ｉ 条 件 满 足 ｒＯｐ ｌ 件．记 ｒ ｆ 一 ｉｆ ｛ｒ。＾ｌ ＋ — ｐａ 条 一 — ｐａ ｌ — ｉ 条 ａ ｘ（ ） ｎ ｌ ∈ Ｉ ｉ ａ
条件 下 给出 了该 问题 的部 分答 案．
１ 引 理
下 面总假 设 Ｃ是 中的 序列 紧 凸集 ， 是 Ｃ上 的 ｒ类 渐 近非 扩 张型半 群 、 ，“是 的殆 轨 道．
令 ｙ ￡：ｍａ ｛ ￡ ， （） ，￣ ｌ ∈ ｙ ￡ ＝０ 其 中 ， 分 别 来 自渐 近 非扩 张 型 和 ． 的定义 ．首 （） ｘ （） ￡ ） Ｊｍ 。 （） ， ｉ ｒ类
收 稿 日期 ； ０ ７一Ｏ 一Ｏ ２０ ４ ６
基 金 项 目 ：ｌ０ １５１５）
上 的 一族 自映射 ．如 果 ｌ ｔｘ Ｔ（） ≤ ｌ — ｌ＋ （） ｌ ，Ｇ （） ０ Ｖ ， ＥＣ成立 ， 称 Ｉ ） － ｔｙ ｌ Ｉ Ｔ（ Ｉ Ｉ ￡ ，ｒ ∈ ￡ 一 ， Ｙ ｉ ａ 则 是 Ｃ上 的渐近 非扩 张型半 群． 若存 在 严格 增 连续 凸 函数 ｇ：Ｏ ＋ｏ ） ［ ， 。 ） 得 ｇ（ ） ［ ， ｏ 一 Ｏ ＋ ｏ ，使 Ｏ 一０且
Ｖ ｏ ．１ ｏ １ ０ Ｎ ．３ Ａｕ ｇ．２ ０７ ０
Ｂ ｎｅ ａ ａ ｈ空 间 中 渐 近 非 扩 张 型
半 群 殆 轨 道 的遍 历 定 理
凡 震 彬 ，嵇 绍 春ｈ ，李 刚卜
（．扬 州 大 学 数 学 科 学 学 院 ，江 苏 扬 州 ２ ５０ ；２ １ ２ ０ ２ ．淮 阴 工学 院 计 算 科 学 系 ，江 苏 淮 安 ２ ３０ ） ２０ １
随机过程的遍历性理论
随机过程的遍历性理论随机过程是在时间和状态上都具有随机性的数学模型。
遍历性理论是研究随机过程中的一个重要部分，它关注的是一个随机过程从一个状态到另一个状态的过程。
随机过程的概念随机过程是一个随时间推移某种状态按照某种规律不断变化的过程。
它可以用来描述诸如随机游走、股票价格波动等具有随机性的现象。
在随机过程中，时间是连续的，状态空间是离散的或连续的。
随机过程有很多种类，常见的有马尔可夫链、泊松过程、布朗运动等。
遍历性理论的基本概念遍历性理论是研究随机过程中从一个状态到另一个状态的过程的理论。
当一个随机过程具有遍历性，意味着从任意一个状态开始，最终都可以达到所有可能的状态。
在遍历性理论中，关键的概念是遍历链和遍历时间。
1.遍历链：一个随机过程称为遍历链，如果从任意一个状态出发，最终可以达到所有可能的状态。
遍历链在实际应用中具有很重要的意义，因为它表示了一个过程的完备性和全面性。
2.遍历时间：遍历时间是指从一个状态到达另一个状态所需要的时间。
在遍历性理论中，研究遍历时间的分布和性质是非常重要的，它可以帮助我们更深入地理解随机过程的演化规律。
遍历性理论的应用遍历性理论在实际中有着广泛的应用，其中一些重要的应用包括：1.通信网络：在分布式系统和通信网络中，遍历性理论可以帮助我们分析数据包的传输和交换过程，提高网络的性能和可靠性。
2.金融市场：在金融领域中，随机过程和遍历性理论可以帮助我们分析股票价格的波动、风险管理等问题，预测市场走势，制定投资策略。
3.生物学：生物学中许多现象也可以用随机过程来描述，比如基因变异、生物进化等。
通过遍历性理论，我们可以更好地理解生物系统的演化规律。
总结遍历性理论是研究随机过程中从一个状态到另一个状态的过程的一门重要理论。
它在通信网络、金融市场、生物学等领域都有着广泛的应用，有助于我们更好地理解和利用随机过程的特性。
通过深入研究和应用遍历性理论，我们可以更好地探索和理解自然和人造系统中的复杂性和随机性。
【国家自然科学基金】_扩张型_基金支持热词逐年推荐_【万方软件创新助手】_20140801
推荐指数 4 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
53 54
2011年 科研热词 扩张型心肌病 鼠 骨骼肌细胞 非线性遍历定理 非平行壁面 雾化特性 问质成纤维细胞 锥度量空间 钙网蛋白 返流 辅激活因子 转基因小鼠 超声心动描记术 能量代谢 组喷孔 线粒体 粒子网格 离心压缩机 离子发动机 碰撞模型 疗效 渐近非扩张型映射 渐近非扩张型半群 殆轨道 曲美他嗪 无叶扩压器 扩张映射 心肌细胞 心肌纤维化 心肌病,扩张型 心室功能,左 心力衰竭 微小核糖核酸 安全性 失速 多巴胺d5受体 基质金属蛋白酶 基因单核苷酸多态性 图形处理器 半群 几何结构 内皮细胞 交换电荷离子 不动点 三维模型 三维斑点追踪显像 tgfβ 2 pgc-1α opial条件 meta分析 kk性质 h9c2细胞 推荐指数 4 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2009年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
【国家自然科学基金】_遍历定理_基金支持热词逐年推荐_【万方软件创新助手】_20140803
推荐指数 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2010年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
科研热词 推荐指数 鞅收敛定理 1 非线性算子半群 1 随机环境中随机游动 1 随机环境中的随机徘徊 1 随机环境中的分枝链 1 遍历定理 1 遍历 1 转移矩阵 1 计算机应用 1 算法理论 1 稳定婚姻匹配 1 相关 1 状态频率 1 渐近殆非扩张曲线 1 森林 1 枚举 1 暂留性 1 强大数定律 1 常返性 1 容量 1 右可逆半群 1 先序遍历 1 信道 1 依时随机环境中的马尔可夫链 1 依时随机环境中的马尔可夫过程 1 依时依空的随机环境中的马尔可夫链 1 三重循环马氏链 1 mimo 1
推荐指数 3 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2014年 序号 1 2 3 4 5 6 7 8 9
2014年 科研热词 推荐指数 遍历性 2 生成元 2 cesàro遍历 2 迭代函数系统:markov-feller算子1 局部凸拓扑 1 双连续余弦函数 1 双连续c半群 1 双连续c余弦函数 1 不变概率测度 1
2009年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
科研热词 随机抽取 标签路径的目标集 标签路径的支持度 标签路径 唯一遍历 半结构化数据 保测变换 乘法遍历定理 一致τ -opial条件 τ -遍历收敛定理 oem模型 lyapunov指数
2013年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
右(左)π-正则半群的等价条件
右(左)π-正则半群的等价条件田振际;李小路【摘要】半群S称为右(左)π-正则半群,若S是π-正则的,且对任意的e,f∈Es,有efe=fe(efe=ef).给出右(左)π-正规半群的等价条件,并定义右(左)正规半群,右(左)完全正规半群的定义,给出它们的等价条件.%Semigroup S is called right(left) π-regular if S is πt-regular and,for arbitrary e,f∈Es,efe=fe(efe=ef) is available.The equivalent conditions of the right(left) π-normal semigroup are given out,right(left) normal semigroup and right(left) completely normal semigroup are defined,and their equivalent conditions are given out.【期刊名称】《兰州理工大学学报》【年(卷),期】2017(043)005【总页数】3页(P150-152)【关键词】右(左)π-正半群;正则半群;π-正则半群【作者】田振际;李小路【作者单位】兰州理工大学理学院,甘肃兰州730050;兰州理工大学理学院,甘肃兰州730050【正文语种】中文【中图分类】O152.7定义1[2] 半群S称为右(左)π-正则的, 若S是π-正则的, 且对任意的e,f∈ES,有引理1[4] 若S为半群, 则下列条件等价:1) a是π-正则元;2) 存在n∈Z+使得L(an)(R(an))有一个幂等元作为生成元;3) 存在n∈Z+使得L(an)(R(an))有一个右(左)单位元.定义2 半群S称为π-弱纯正半群, 如果S是π-正则的, 且任意两个幂等元的乘积是正则的.定义3[1] 半群S称为纯正半群, 如果S是正则的, 且ES构成半群.文中未加说明的术语及符号见文献[3-8].定理1 若S为半群, 则下列条件等价:1) S为右(左)π-正则半群;2) S为π-弱纯正半群,且对任意的a,x,y∈S,若a=axa=aya蕴涵xa=ya (ax=ay);3) S为π-正则半群,且对任意的e,f∈ES有efRfe(efLfe);4) 对任意的a∈S,存在n∈Z+使得L(an)(R(an))有唯一的幂等元作为生成元,且ES 构成半群;5) 对任意的a∈S,存在n∈Z+使得L(an)(R(an))有唯一的右(左)单位元,且ES构成半群.证明 1)⟹2)设对任意的a,x,y∈S,若a=axa=aya,由于xa,ya为幂等元,那么由已知条件可得(xa)(ya)=(ya)(xa)(ya),进而可得xa=ya.再由efe=fe可得ES构成半群,则S 是π-弱纯正半群.2)⟹1)设e,f∈ES且(ef)′∈V(ef),则有ef=(e f)(ef)′(ef)=(ef)f(ef)′(ef),由已知条件得(ef)′(ef)=f(ef)′(ef),因此有(ef)′(ef)(ef)′=f(ef)′(ef)(ef)′,进而得现在有由式 (1) 和式 (2) 得由已知条件可得即进而由式(2)得再由式 (1) 可得由式 (2) 和式 (3) 得同理可得(fe)2=fe,因此有fe=fefefe=feefefe,进而有efe=fe.所以,ef=efefef=effef,即ef=fef.1)⟹3)设对任意的e,f∈ES,由已知条件得即3)⟹1)设对任意的e,f∈ES,且(ef)R(fe)则存在u∈S使得(fe)u=(ef).因此2)⟹4)设存在n∈Z+,x∈S使得an=anxan.则由引理1得L(an)有一个幂等元e作为生成元.假设f∈ES使得L(an)=Sf,则Se=Sf.因此,存在x,y∈S使得e=yf,f=xe.进而有即e=efe=e(efe)e.由已知条件可得进而有fe=e.再由fe=f,因此有e=f.另外根据2)⟹1)的证明可知ES封闭,结论显然成立.4)⟹5)设L(an)有唯一的幂等元作为生成元.则由引理1得L(an)有唯一右单位元.5)⟹2)设L(an)有唯一右单位元.通过引理1知,a是π-正则的.假设a=axa=aya,则由右单位唯一得xa=ya,结论得证.半群S称为右(左)正规半群,若S是正则半群,且对任意的e,f∈ES,有efe=fe (efe=ef).根据引理1和定理1则有下面结论.推论1 若S为半群,则下列条件等价:1) S为右(左)正则半群;2) S为纯正半群,且对任意的a,x,y∈S,若a=axa=aya蕴涵xa=ya (ax=ay);3) 对任意的a∈S,则L(a)(R(a))有唯一的幂等元作为生成元,且ES构成半群;4) 对任意的a∈S,则L(a) (R(a))有唯一的右(左)单位元,且ES构成半群.半群S称为右(左)完全正规半群,若S是完全正则半群,且对任意的e,f∈ES,有推论2 若S是半群,下列条件等价:1) S是右(左)完全正规半群;2) S是正则半群,且对任意的a∈S,f∈ES,有fa=faf(af=faf).证明1)⟹2)假设a∈S,f∈ES,则由已知条件可得,存在g,h∈ES,使得af∈Gg,faf∈Gh,因此有同样,可证明h=hf=fh.又由于因此有即,fg=hg,因此g(fg)=g(hg).又由于gf=g则g=ghg,再根据已知条件可得hg=g,进而有同样有再根据式 (4) 可得g=h.因此af,faf属于S的同一个子群Gg,再由fg=g则2)⟹1)首先证S是完全正则的,根据已知条件知存在x∈S,使得a=axa.再根据ax,xa 是幂等元及对任意的a∈S,f∈ES满足:因此可得并且进而存在s,t∈S,使得a=sa2=a2t.因此,sa=sa2t=at.现设e=sa=at.由于则有a∈eS∩Se,因此S是完全正则半群.对于任意的e,f∈ES,根据已知条件显然有efe=fe,因此S是右完全正规半群.推论3 若S是右(左)完全正规半群,则1) 对于任意的a,b∈S及a′∈V(a),b′∈V(b),有b′a′是ab的逆元;2) 对于任意的a∈S,e∈ES及a′∈V(a),有aea′e,a′eae,eaea′,ea′ea是幂等元;3) 对于任意的a∈S,e,f∈ES,若a=aea=afa则有ea=fa.证明 1) 对于任意的a,b∈S,有因此b′a′是ab的逆元.2) 根据推论2,对于任意的a∈S,e∈ES,有同理可得aea′e,a′eae,eaea′,ea′ea是幂等元.设对于任意的a∈S,e,f∈ES满足a=aea=afa,则有eaea=eafa.再根据推论2可得aea=e(afa),进而有a=ea.同理可证a=fa,因此有ea=fa.【相关文献】[1] 汪宏梅.关于π-正则半群的若干研究 [D].曲阜:曲阜师范大学,2006.[2] 刘淑林.严格π-正则半群的研究 [D].兰州:兰州理工大学学报,2011.[3] 田振际.π-逆子半群的子半群格 [M].北京:科学出版社,2007.[4] HOWIE J M.Fundamentals of Semigroup Theory [M].Oxford:Claredon Press,1995.[5] 田振际,王宇,金颖勤.几类特殊半群与理想 [J].兰州理工大学学报,2007,33(1):146-147.[6] 田振际,金颖勤,王宇.GV-半群的结构 [J].兰州理工大学学报,2007,33(5):156-157.[7] 韩广国,庞新琴.完全π-正则半群的若干性质 [J].浙江大学学报,2003(30):241-243.[8] 陈忠,宋杰.一类正则半群上的若干研究 [J].贵州大学学报,2014(3):5-7.。
【国家自然科学基金】_hilbert曲线_基金支持热词逐年推荐_【万方软件创新助手】_20140801
科研热词 推荐指数 遍历定理 2 空间数据划分 2 空间分布模式 2 殆轨道 2 数据分解 2 并行计算 2 地图叠加分析 2 hilbert空间填充曲线 2 hilbert填充曲线 2 频率直方图 1 长周期地震动 1 重构 1 趋势面 1 计算点离散化模型 1 能量时频分布 1 能量时间分布系数 1 码元相同短重码统计 1 相邻码元相关性 1 盲隐写检测 1 独立性 1 渐进非扩张型半群 1 渐近非扩张型半群 1 测井曲线标准化 1 强频段 1 希尔伯特变换 1 局部区域码元相关性 1 基因调控网络 1 图像重建 1 右可逆半群 1 受试者工作特征曲线面积 1 分形校正单元 1 再生核希尔伯特空间 1 代数迭代 1 hilbert曲线扫描 1 hilbert曲线 1 hilbert-huang变换 1
2008年 序号 1 2 3 4 5 6 7 8 9 10 11 12
科研热词 推荐指数 频率 1 非线性算子半群 1 遍历定理 1 稳定性 1 电能质量 1 电力系统 1 渐近殆非扩张 1 极限环 1 曲线拟合 1 暂态振荡 1 平面二次多项式微分系统 1 分岔 1
2009年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
2012年 序号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43
科研热词 复合左右手传输线 高阶累积量 高分辨率处理 零阶谐振天线 连续近邻链 负阶谐振天线 谱曲线 谱 薄层 缝隙天线 纯态 空间数据挖掘 空间数据库 瞬时频率 瞬时相位 瞬时振幅 特征曲线 特征值 混合态 测井 本质谱 最近邻查询 曲线逼近 故障诊断 开口弧段 希尔伯特扫描 希尔伯特变换 希尔伯特-黄变换 复合边值问题 基片集成波导 图像压缩 分段逼近 分形 几何相位 共面波导 二次有理bézier曲线 三能级开放系统 r树 riemann边值问题 k解析函数 hilbert边值问题 hilbert曲线 hilbert分形曲线
【国家自然科学基金】_非线性泛函分析_基金支持热词逐年推荐_【万方软件创新助手】_20140801
科研热词 无穷区间 非线性脉冲方程 非线性算子半群 非线性滤波 非紧性测度 随机积分解 随机发展方程 遍历定理 边值问题 自适应控制 脉冲积分-微分方程 终值问题 神经网络 电子光谱 滑模控制 渐近殆非扩张 最大值原理 时间最优控制 时变时滞 效用最大化 投资-消费策略 对苯二甲酸二苯酯 密度泛函理论 压缩算子 初值问题 人口动力学 交界面 二阶非线性光学性质 两种流体 两个同心旋转圆柱 不连续 navier-stokes方程 m增生算子 monch不动点定理 malliavin导数 carleman不等式 banach空间 banach不动点定理
53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88
局部共轭定理 密度泛函理论 奇摄动 太赫兹波 图灵机 噻唑生色团 周期正解 同伦法 各向异性初始模糊随机损伤 可计算性 变时滞系统 变时滞lotka-vo1tem系统 反馈神经网络 参数反演 卸载模型 动力响应 凸集 全局稳定性 偶数阶 位移变分法 二阶非线性光学性质 临界分析 中立型方程 一致终结有界 一致消失 一致变差耗尽 z-p-s空间 y-型有机分子 sis模型 nlo性质 m矩阵 m-pn空间 gap晶体 fredhokn算子 cauchy问题 a-proper映射
科研热词 推荐指数 密度泛函理论 3Байду номын сангаас整体解 2 不动点 2 黏-弹-塑性模糊随机损伤变化率 1 预测控制系统 1 非线性算子 1 非线性波动方程 1 非线性参数扰动 1 非线性光学系数 1 非线性schr(o)dinger方程 1 集值映射 1 随机指数稳定 1 金属配合物 1 金化合物 1 遗传算法 1 逆散射 1 近空间飞行器 1 调和势 1 色散介质 1 自适应控制系统 1 自由基成分 1 线性矩阵不等式 1 积分等式 1 种群模型 1 电子结构 1 电子光谱 1 涡度方程 1 泛函连接网络 1 泛函网络 1 正则化 1 模糊衰减模型 1 格理论 1 杂交应力 1 最优收获 1 时滞 1 时域有限差分 1 指数衰减 1 强概率收缩对 1 序压缩映射 1 年龄结构 1 实壳单元 1 学习过程 1 基态 1 基函数拟合 1 四硫富瓦烯schiff碱 1 各向异性初始模糊随机损伤 1 双自由基 1 压电结构 1 卸载模型 1 半序 1 加性噪声 1 副热带高压 1
第十一章群、环、域
第十一章群、环、域11.1半群内容提要11.1.1半群及独异点定义11.1 称代数结构<S，*>为半群（semigroups），如果*运算满足结合律．当半群<S，*>含有关于*运算的么元，则称它为独异点（monoid），或含么半群．定理11.1设<S，*>为一半群,那么（1）<S，*>的任一子代数都是半群，称为<S，*>的子半群．（2）若独异点<S,*，e>的子代数含有么元e,那么它必为一独异点,称为<S，* , e>的子独异点．定理11.2设<S，*>,<S’，*’>是半群,h为S到S’的同态,这时称h为半群同态．对半群同态有（1）同态象<h(S)，*’>为一半群．（2）当<S，*>为独异点时，则<h(S)，*’>为一独异点.定理11.3设<S，*>为一半群,那麽（1）<S S，○ >为一半群，这里S S为S上所有一元函数的集合，○为函数的合成运算．（2）存在S到S S的半群同态．11.1.2自由独异点定义11.2称独异点<S,*,e>为自由独异点（free monoid）,如果有A⊆S使得（1）e∉A．（2）对任意u∈S，x∈A,u*x≠ e .自由独异点（free monoid）,如果有A⊆S使得（3）对任意u,v∈S，x,y∈A,若u*x = v*y,那么u = v,x = y．（4）S由A生成,即S中元素或者为e,或者为A的成员，或者为A的成员的“积”:a i1*a i2*…*a ik (a i1,a i2,…,a ik∈A)集合A称为S的生成集．顺便指出，当半群<S，* >有生成集A＝｛a｝时，称<S，* >为循环半群（cyclic semigroups）。
<N，+，0＞是循环半群。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
Ｈｉ ｅｔ ｌ ｒ 空间 右可逆 半群 中引入渐 近殆 非扩 张 曲线 ， ｂ 并证 明具等距 的渐 近殆 非扩 张 曲线 的强遍 历 收敛
定理 ．
１ 预 备 知 识
设 Ｈ 是一 个 Ｈｉ ｅｔ ｌ ｒ 空间 ， ｂ Ｇ是 一个 含单 位元 的拓 扑半 群 ， Ｇ是 一 个 半群 ， 有 Ｈａ ｓｏ ｆ 拓 即 具 ｕｄ ｒ ｆ
献 Ｅ Ｏ 中引入 渐近 殆非 扩张 曲线 的概念 ， ｌＪ 其包 含 了所有 渐近 非扩 张半 群 的殆 轨 道 ， 得到 相应 的遍历 并
定理 ．最 近 ，董 琪 翔 等Ｌ ］ 给 出 了 Ｈｉ ｅｔ 间 中 可 交 换 半 群 的 强 遍 历 收 敛 定 理．本 文 主 要 在 妇又 ｌ ｒ空 ｂ
ＮＯ Ｖ．２ Ｏ Ｏ１
右 可 逆 半 群 上 渐 近 殆 非 扩 张 曲线 的 遍 历 定 理
张 基 益 ，李 刚ｈ
（．扬 州 大 学 数 学 科 学 学 院 ，江苏 扬 州 ２ ５ ０ ；２ １ ２ ０ ２ ．连 云港 师 范 高 等 专 科 学 校 初 等教 育 系 ，江 苏 连 云 港 ２２ ０ ） ２０ ６
第 １ ３卷 第 ４ 期
２ Ｏ年 １ Ｏ１ １月
扬州大学学报（ 自然 科 学 版 ）
Ｊ ｕ ｎａ ｆＹａ ｚ ｏ ｉｅ ｓｔ （ ｔ ｒ ｌ ｉｎ ｅＥｄｔｏ ） ｏ ｒ ｌｏ ｎｇ ｈ ｕ Ｕｎｖ ｒｉｙ Ｎａ ｕ ａ ｅ ｃ ｉｉｎ Ｓｃ
Ｖｏ Ｉ ３ ＮＯ ４ Ｉ１ ．
｛｝ ａ ｂ ｂ ＵＧ ， ， ＥＧ，Ｇ， ） （ ≤ 是一 个定 向集 ． 可逆半 群包 含 了所有 交换 半群 ． 右
设 Ｃ是 Ｈｉ ｅｔ 间 Ｈ 的 非 空 子 集 ， 是 右 可 逆 半 群 ， 一 ｛ ￡ ：ＥＧ｝ Ｃ上 的 半 群 ， ｛ ￡ ） ｌ ｒ空 ｂ Ｇ Ｓ Ｔ（）ｔ 是 则 Ｔ（）
扑 ， 满足 对所 有 的 ｔ 且 ＥＧ， 映照 ｓ 一￡・ 及 Ｓ ｓ —ｓ・ 是 Ｇ 到 自身 的连 续 映照．如果 Ｇ 中任 何两 个左 闭 ｔ 理想 具有非 空 交集 ， 则称 Ｇ是 右可 逆 的． 时 ， Ｇ 中可 以定义 半序 “ ” 口 ， 此 在 ≤ 为 ≤ｂ 当且 仅 当 ｛ ） ａＵ
３ ）如 果对 ｚ∈Ｃ， 在 函数 ｒ 存 （・， ： ） Ｇ— Ｒ 满 足 ｔ ｓ ｐ 。 （ ， ） ， ｉ ｕ ｒ ｔｚ 一０ ｍ ∈ ，使 得对 所 有 Ｙ Ｅ Ｃ及
ｔ ∈Ｇ， 都有 【 ￡ｚ Ｔ（） ≤ ｌ — Ｉ＋ｒ ￡ ， 称 ｓ是 渐近非 扩 张型 的． 】 ） — ｔｙＩ Ｉ Ｔ（ Ｉ ｚ Ｉ （， 则 ）
摘 要 ： Ｈ 是 一 个 Ｈｉ ｅｔ 间 ，Ｇ是 一 个 右 可 逆 拓 扑 半 群 ， Ｇ上 引入 渐 近 殆 非 扩 张 曲线 Ｕ ） 证 设 ｌ ｒ空 ｂ 在 （・ ， 明 了具 有 等距 的渐 近 殆 非 扩 张 曲线 的强 遍 历 收 敛定 理． 由上 述 结 论 不 仅 得 到 当 Ｇ是 可 交 换 半 群 时 的 强 遍 历 定 理 ， 且 推 广 了 已有 的 非 扩 张 半 群 、 近 非 扩 张 半 群 、 近 型 非 扩 张 型 半 群 及 殆 轨 道 的 相 关 结 论 ． 而 渐 渐 关键 词 ：遍 历 定 理 ； 近 殆 非 扩 张 曲线 ；非 线性 算 子 半 群 ； 可 逆 半 群 渐 右
显 然 １ ２ ３ ， 反之 不然 ．一丁（ ） （）｝一０ ， 函数 “ ）Ｇ ｃ称 为 ｓ 的殆 轨道 ． ｉ ∈ （ｕ ｝ ｈ） ａ ｒ ｕ ＾ “ Ｉ ）则 （・ ：—
设 ｍ（ 是 Ｇ 中所 有 界 函数 构 成 的 集 合 ， 上 确 界 为 范 数 成 为 Ｂ ｎ ｃ Ｇ） 以 ａ ａ ｈ空 间．对 ｓ 及 ，∈ Ｇ Ｅ ｅ Ｇ） ｒ（ ，定义 ｍ（ 中右平移算 子 ｒ Ｇ） ，及左 平移 算子 ｚ 厂为 （ ） ￡ 一ｆ（ｓ ，（ 厂 （） ｒ （） 厂 ｔ） ｚ ） ￡ 一ｆ（ｔ． ｓ）
中 图分 类 号 ： ７ ． Ｏ １７９ 文献 标 志码 ： Ａ 文 章 编 号 ： ０ ７ ２ ｘ（ Ｏ Ｏ ０ ０ ２ —０ １ ０ —８ ４ ２ １ ） ４— ０ ５ ４
１７ ９ ５年 ，Ｂ Ｌ Ｏ ￣ ＡＩ Ｌ Ｎｃ 首先 在 Ｈｉ ｅｔ 间 中证 明 了非 空 凸 闭 紧 子集 中非 扩 张 映照 的遍 历 收敛 ｌ ｒ空 ｂ
２ ）如 果存 在 函数 ｋ （・） — Ｒ 满 足 ｌ ｓ ｐ Ｇ 一 ｌ 使 得 对 所 有 ｚ， ：Ｇ ， ｉ ｕ 忌（） ｍ ∈ ， Ｙ∈Ｃ及 ｔ ∈Ｇ， 有 都
ｌ ￡ｚ ｌ ） —Ｔ（） ≤愚 ￡ ｌ —ＹＩ， 称 Ｓ是 渐近非 扩 张 的 ； Ｔ（ ｔｙＩ （）ｌ Ｉ ｚ 则 ｌ
是 一族 Ｃ到 自身 的映照 ， 且对 所有 ｔｓ ，ｆＧ及 ｚＥ Ｃ， Ｔ ｔ） 有 （ｓｘ—Ｔ Ｔ（） ． （） ｓｘ
１ ）如 果对 ｚ， ＥＣ及 ｔ Ｙ ＥＧ， ＩＴ（） 有 Ｉ ｆ —Ｔ（） ≤ Ｉ — ｌ， ｔｙＩ Ｉ ｌ 则称 ｓ是 非扩 张 的 ； Ｉ
定 理 ， 一定 理被 推广 到具有 Ｆ 可 微 范数 的一 致 凸 Ｂ ｎ ｃ 这 ＿ ａ ａｈ空 间［ ］ ９ ２年 ，ＭＩ ２ ．１ ８ ＹＡＤ Ｒ 等 提 Ｅ Ａ
出算子 半群 的殆轨 道概 念 ， 明 了非扩 张 半群 的殆轨 道 的遍 历 收敛 定 理．１ ９ 证 ９ ７年 ，李 刚和 马 吉溥 ＿ ９ ］ 给 出 了当 Ｃ失去 凸性 及 Ｔ 是 非 Ｌ ｐ ｃ ｉ ｉ ｉｓｈｔ ａ ｚ ｎ半 群 时 的遍 历 收 敛 定 理 ； 一 步 地 ， 刚 和 ＫＩ 在 文 进 李 Ｍ