今天Fourier级数的时候讲到了函数系的完全性。
称一个函数系S={f1,f2,f3...}是完全的,如果对于任意的连续函数g,都能通过∫g·fk=0(k=1,2,3...)推出g是零函数。
举一个直观的例子来类比:函数系是一个医疗团,连续函数g是一个患者,每个fk∈S都是一个医生,但是每个医生只会把一条脉。
医生把脉的方式是和患者相乘再积分,如果积出来是0,那么医生fk就会下断言:“就我把的这条脉来看,患者是个零函数!”。
但是每个医生只会把一条脉,所以一个医生的检查结果显然不具有说服力,起码所有医生齐上阵,把所有的脉都把到,才能去尝试断言患者的完整情况。
那么一个函数系是完全的,即能从∫g·fk=0(k=1,2,3...)推出g是零函数,就相当于“每个医生鉴定患者是0的时患者就真的是0函数”。这不就是医疗团诊断水平过关的表现吗?
如果我们的患者函数g不连续,那么相当于是一个外星人,他有可能会得地球医生从未见过的外星病,所以大部分的医疗团都诊断不出来——也即大多数完全的函数系面对不连续函数g时都无能为力。所以干脆只给地球人看病——也就是只对于连续函数g定义完全的函数系的概念。
以上文字写完许久之后,偶又看到李伟固老师的考题:
这个结论成立,相当于告诉我们{x^3n}是一个完全的函数系。由于证明{x^n}是完全函数系时用到了Weierstrass的逼近定理,所以不仅联想:Weierstrass定理中是不是只用x^3n项也可以完成逼近呢?是不是在{x^k}中只取一部分特定幂次也可以完成逼近呢?
经过查阅发现了Stone-Weierstrass定理
这个定理的严谨描述超出了我的知识范畴,暂时只能做一些浅显的展望
W-定理的舞台[a,b]可以推广到紧Hausdorff空间
W-定理的角色多项式函数系可以推广为具有某些性质的一类函数
我会持续关注此问题,直至我能理解整个定理的所有知识