关于一致凸Banach空间中的非扩张收缩核

设C是Banach空间X的非空闭凸子集。映象T:C→C称为非扩张的,如果||T_x—T_y||≤||x—y||,(?)_x,y∈C。T在C中的不动点集记作F(T)。Baillon在1975年证明了如下结果:若C是Hilbert空间H中的闭凸集,T:C→C是非扩张映象且F(T)≠φ。则对每一x∈C。