f(ax+by)=af(x)+bf(y)
2つの関数 f(x),g(x) が直交するとは、 ∫∞−∞f(x)g(x)dx=0 が成り立つことである。
関数の集合 f1(x),f2(x),⋯ が直交関数系であるとは、 任意の fi(x),fj(x) (i≠j) が直交することである。