设是线性赋范闭子空间,若,则一定存在,使
出自:泛涵分析