完备就范直交系理论的一点应用

首先证明,L~20,2π]中(f,g)=1/πintegral from n=0 to2πf(x)(?)dx,||f||=(1/πintegral from n=0 to2π|f(x)|~2)dx~(1/2),三角函数系F_1={1/2~(1/2),cosX,SinX,…,CosnX,SinnX,…}是完全就范直交系。证:设SpanF_1为形如sum from k=0 to n(a_kcoskx+b_ksinkx)的三角多项式的全体。C_(2π)为以2π为周期的连续函数的全体,则据Weiestrass逼近定理,对(?)ε>0,f∈2π,(?)T(x)=sum from k=0 to N(a_kcoskx+b_ksinkx)使(?)|f(x)-T(x)|<ε