在空间L(X,∑,μ)中的最佳逼近的特征

设(X,∑,μ)是σ-有穷测度空间,L≡L(X,∑,μ)表示在空间(X,∑,μ)上所有可积复值函数的全体组成的线性赋范空间(4],41)。其范数定义为这样,若K?L,对任何f∈L,就可以提出它在K中的最佳L逼近问题。称p_0∈K为f