二つのベクトル および
のスカラー積またはドット積は
であり,
ならばそれらのベクトルは垂直または直交します.行列の観点からこれらのベクトルは列ベクトルと考えることができます.
これらは という性質があります.
これにより 実数の列ベクトル および
と定義し,
なら
および
は 直交 するとの定義に至ります.
これらを複素数を要素に持つ場合に一般化し,次の定義を採用するのは便利です.
定義 1. 二つの列ベクトル および
は
なら 直交 と呼び,
は
および
の スカラー積 と呼びます.
仮に がユニタリ行列なら
であることに注意が必要です.それは
とそれ自身とのスカラー積が 1 であり,
が 単位ベクトル であることすなわち長さが 1 であることと等価です.ゆえにユニタリ列ベクトルは単位ベクトルです.これらの特徴から以下を得ます.
定義 2. ベクトルの集合 について
を unitary set or system of vectors と呼び,あるいはベクトルが実数の場合には 正規直交の集合 または 単位ベクトルの直交の集合 と呼びます.