4.1 正交函数集的概念