異なる二つの関数を掛合せそれらが定義されている領域について積分したとき積分値が０となる関数群が存在する．これら関数についての本性質を直交性という．例えば弾性はりのm次振動形とn次振動系の直交性などがある．