直交性
関数系においては「自身以外との内積が0になる」こと
自身を$ f(x)と置いた時、別の関数$ g(x)との内積$ \int_{-\pi}^{\pi}f(x)g(x)dxが0になる