直交

術語 orthogonal は「直立」を意味する古代ギリシア語: ὀρθός^[1] と「角度」を意味する古代ギリシア語: γωνία^[2] に由来する。古代ギリシア語の ὀρθογώνιον および古典ラテン語の orthogonium はもともとは矩形を意味する語^[3]であり、のちに直角三角形を意味する語ともなったが、12世紀にポスト古典ラテン語の orthogonalis は直角および直角に関連する概念を指すものとなっていた^[4]。

曲線や曲面の法ベクトルなど、特定の場合において「直交するもの」の意味で法 (normal) が用いられることがある。例えば、y-軸は曲線 y = x² の原点における法線である。しかし、除法における除数（あるいは合同関係による剰余代数系を与える同値関係）の意味で「法 (modulo)」が用いられたり、長さが 1 の意味で normal（正規）が用いられたりする（例えばorthonormal (orthogonal + normal)）のと混同してはならない。特に後者は（法線や法ベクトルが使われるのと）同じ文脈においてしばしば用いられるので注意すべきである。

内積空間 V における2つのベクトル x, y が直交するとは、それらの内積 ⟨x, y⟩ が零となるときに言い^[5]、x ⊥ y と書く。内積空間 V の二つの部分線型空間 A, B が互いに直交するとは、A の各ベクトルが B の任意のベクトルに直交するときに言う。V において A に直交する最大の部分線型空間 B を、V における A の直交補空間 A^⊥ という。

ベクトルの集合がどの二つも互いに直交する (pairwise orthogonal) とは、それらベクトルの任意の対が互いに直交するときに言い、どの二つも互いに直交するようなベクトルの集合はしばしば直交系 (orthogonal set, orthogonal system) と呼ばれる。内積空間における直交系は線型独立系である。

ユークリッド平面あるいは高次のユークリッド空間において、二つのベクトルが直交する必要十分条件は、それらの点乗積が零となることであり、これはそれらの成す角が直角となることに他ならない^[6]。したがって、ベクトルの直交性はベクトルが垂直であることを高次元空間へ拡張した概念である。

部分空間をユークリッド部分空間（英語版）の意味にとるならば、任意の部分空間は「直交補空間」を持ち、その部分空間の任意の元は補空間の任意の元に直交する。

• 三次元ユークリッド空間において、任意の直線の直交補空間はその直線に垂直な平面であり、任意の平面の直交補空間はその平面に垂直な直線である^[7]。しかし、互いに垂直な平面同士の場合はこれに当てはまらないことに注意すべきである。
• 四次元ユークリッド空間の場合には、直線の直交補空間は超平面であり、超平面の直交補空間は直線である。また平面の直交補空間は平面である^[7]。

たとえば、区間 (-π, π) で二乗可積分な実数値関数（f(x)², g(x)² を区間[0,2π]で積分した結果が有限値を持つ）について全体のなすベクトル空間 L²(-π, π) は f, g に対し、内積

${\displaystyle \langle f,g\rangle =\int _{-\pi }^{\pi }f(x)g(x)\,dx}$ 

をもち、L²(-π, π) の二つの関数 sin x, cos x はこの内積に関して直交する。もっと一般に、集合 {1, sin nx, cos mx | n, m ∈ N} は L²(-π, π) の直交基底になる。

 

内積空間を考える代わりに、双線型形式を備えたベクトル空間を用いても直交性を一般化して考えることができる。すなわち、与えられた双線型形式に代入したとき、値が零となるようなベクトルの対は、（その双線型形式に関して）互いに直交するという。擬ユークリッド空間（英語版）の場合には双曲直交性（英語版）などの語も用いられる。右図において、二つの軸 x', t' は任意に与えられた ϕ に対して双曲直交する。

別の一般化として、加群 M およびその双対加群 M^∗ が与えられたとき、m' ∈ M^∗ および m ∈ M が直交するとは、それらの双対性内積が零、すなわち ⟨m', m⟩ ≔ m'(m) = 0 となるときに言う。また、二つの部分集合 S′ ⊆ M^∗ および S ⊆ M が直交するとは、S' の各元が S の各元に直交するときに言う。^[9]

• 平行
• フーリエ級数
• 直交化
  • グラム・シュミットの正規直交化法
• 直交群
• 直交関数列