对函数系的完全性的感悟

今天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-定理的角色多项式函数系可以推广为具有某些性质的一类函数

我会持续关注此问题，直至我能理解整个定理的所有知识