APP下载

Banach空间中的逼近问题

2012-12-22

重庆三峡学院学报 2012年3期
关键词:充分性不动点结论

常 青

(重庆师范大学数学学院,重庆 400047)

1 预备知识

设E是实Banach空间,C是非空闭凸集C⊂E,F(T)是映射T的公共不动点集合.

定义1.1[2]设T:C→C是一个映象.

定义1.2[2]设E一个实Banach空间,C是E上的非空子集.

(1)映象P称为从E到C的一个收缩映象,如果P2=P.

(2)称C为E上的收缩核,如果存在一连续的收缩映象使得Px=x,∀x∈C.

(3)特别地,称C为E上的非扩张收缩核,如果存在非扩张收缩映象P:E→C使得Px=x,∀x∈ C .

定义1.3[2]设E一个实Banach空间,C为E上的非空非扩张收缩核,P为从E到C的非扩张收缩映象.设T:E→C为非自映象.

(2)称 T为非自渐近拟非扩张映象,若F(T )≠Ø ,如果存在一序列{kn} ⊂ [1,∞)且kn→ 1(n →∞)使得

(3)称T是非自渐近非扩张型映象,如果

(4)称T为非自渐近拟非扩张型映象,若F(T )≠Ø且满足

注1 在C有界的情况下,由定义1.3可知:

(1)若T:C→T是一非自渐近非扩张映象,则 T是一非自渐近非扩张型映象;

(2)若T:C→T是一非自渐近拟非扩张映象,则T是一非自渐近拟非扩张型映象;

(3)若F(T)非空且T是非自渐近非扩张型映象,则T是非自渐近拟非扩张型映象.

定义1.4 设E为实Banach空间,C为E上的非空闭凸子集且为E上的收缩核,P:E→C的保核收缩映象, T1,T2,… ,TN为C到E上的非自渐近拟非扩张型映象,∀x1∈C,具有误差的N步迭代序列{xn}定义如下:

要证明定理,需要引入如下的引理.

引理1.1[3]{an},{bn}为满足下面条件的两个非负实数列:

2 主要结果

其中 d(xn,F )为xn到F的距离.

证明(必要性)显然.

(充分性)∵ T1,T2,… ,TN为C到E上的非自渐近拟非扩张型映象,故∀ε>0,存在正整数n0使得当 n≥n0时,有

由于 {xn},{ yni}⊂ C,i = 1,2,… ,N -1,对任意n≥n0有

由(1)和(4)有

类似的我们也可证明:

由(6)和(7)我们有

由归纳法,可以证明对任意i=1,2,…,N-1

特别地,在(8)取i=N-1,有

因此,由(5)和(9)有

下证(1)所确定的序列{xn}是柯西列,事实上,对 ∀n≥ n0,∀ m ≥ 1,∀p∈ F,从(10)有

因此对n≥n0,m≥1.

由p的任意性,有

注:容易证明,若在定理2.1的 T1,T2,… ,TN:C→E是连续的,则 T1,T2,… ,TN的公共不动点集F是闭集.

(1)ani+bni≤1,∀n≥1,i=1,2,…,N;

证明:因为 T1,T2,… ,TN为C到E上的非自渐近拟非扩张映象,有上述定义可知,它们是C到E上的非自渐近拟非扩张型映象.由定理2.1的结论可知推论成立.

证明:因为 T1,T2,… ,TN为C到E上的非自渐近非扩张映象,有上述定义可知,它们是C到E上的非自渐近拟非扩张型映象.由定理2.1的结论可知推论成立.

[1]Goebel K, Kirk W A. A fixed point theorem for asymptotically nonexpansive mappings[J]. Proc Amer Math Soc, 1972(35).

[2]Y.X. Tian, S.S. Chang, J.L. Huang.On the approximation problem of common fixed points for a finite-family of non-self asymptotically quasi-nonexpansive-typemappings in Banach spaces[J]. 2007(53).

[3]N. Shahzad, A. Udomene. Approximating common fixed point of two asymptotically quasi-nonexpansive mappings in Banach spaces[J]. Fixed Point Theory and Applications,2006 (3).

[4]Ya.I.Alber,C.E.Chidume,H.Zegeye.Approxim ating of total asymptotically nonexpansive mappings[J]. Fixed Point Theory and Applications,2006 (1).

[5]郑莲.非扩张映象的一个新的迭代过程[J].长江师范学院学报,2002(5).

猜你喜欢

充分性不动点结论
Riech型Edelstein不动点定理
由一个简单结论联想到的数论题
直接有限环的新刻画
立体几何中的一个有用结论
Liénard方程存在周期正解的充分必要条件
一类抽象二元非线性算子的不动点的存在性与唯一性
解析簇上非孤立奇点的C0-Rv-V(f)-充分性
活用“不动点”解决几类数学问题
维持性血液透析患者透析充分性相关因素分析
结论