f和g是区间 I上的可积函数：
∫[ I]f(x)g(x)dx=0
则f和g为正交函数