最佳逼近的强唯一性

摘要

设E是赋范线性空间,G是E的子集,x∈E,若g_0∈G,满足 则称g_0是x在G中的最佳逼近元。所有佳逼元的全体记作P_G(x)。据文[4],称g_0是x在G中的强唯一最佳逼近元,苦存在正常数r和严格递增的连续函数φ:[0,+∞)=R_+→R_+,满足:φ(0)=0,