C[a,b]在L1下到其子空间的最佳逼近

$\newcommand{\nj}[1]{{\left\langle#1\right\rangle}} \newcommand{\kh}[1]{{\left(#1\right)}} \newcommand{\zkh}[1]{{\left[#1\right]}} \newcommand{\dkh}[1]{{\left {{#1}\right }}} \newcommand{\norm}[1]{\left|#1\right|} \newcommand{\normm}[1]{\left\Vert#1\right\Vert} \newcommand{\calA}{{\mathcal{A}}} \newcommand{\calC}{{\mathcal{C}}} \newcommand{\calH}{{\mathcal{H}}} \newcommand{\calN}{{\mathcal{N}}} \newcommand{\calP}{{\mathcal{P}}} \newcommand{\calR}{{\mathcal{R}}} \newcommand{\calW}{{\mathcal{W}}} \newcommand{\calX}{{\mathcal{X}}} \newcommand{\calZ}{{\mathcal{Z}}} \newcommand{\bbC}{\mathbb{C}} \newcommand{\bbN}{\mathbb{N}} \newcommand{\bbR}{\mathbb{R}}$

特征定理

特征定理.　若$\calA$为$\calC\zkh{a,b}$一子空间，$f\in\calC\zkh{a,b}$，$p\in\calA$满足

$$\calX:=\left\{x\in\zkh{a,b}:f\kh{x}=p\kh{x}\right\}$$

由有限个区间和点构成，则$p$为$f$在$\calA$上最佳$L^1$逼近当且仅当对任意$q\in\calA$有

$$\norm{\int_a^b{\rm sgn}\left\{f\kh{x}-p\kh{x}\right\}q\kh{x}dx}\leq\int_\calX\norm{q\kh{x}}dx.$$

直观证明.　当$\calX$为零测集时，$p$为$f$在$\calA$上最佳$L^r$逼近（r>1）当仅当对任意$q\in\calA$和$\theta\in\bbR$有

$$\int_a^b\norm{f\kh{x}-p\kh{x}-\theta q\kh{x}}^rdx\geq\int_a^b\norm{f\kh{x}-p\kh{x}}^rdx.$$

　　对$\theta=0$处求导得充要条件（必要性由上左为关于$\theta$的凸函数显然）

∫