直交

初等幾何学における直交（ちょっこう、）は、「垂直に交わる」こと、すなわちユークリッド空間内の交わる二つの直線や平面のなす角が直角であることを意味する。

このことは、直線と曲線または曲線同士、あるいは平面と曲面または曲面同士、もしくは曲線と曲面などの場合にも、交点において曲線の接線（または法線）あるいは曲面の接平面（または法線）などを考えることにより拡張できる。すなわち接線同士（または法線同士）の直交を以って二つの曲線の直交を定義するのである。注意すべきこととして、これら対象の直交性をベクトルによって定めるならば、（ベクトルは平行移動不変であるから）直交するそれらの対象は必ずしも「交わらない」。また非標準的な内積に関する直交性を考えるならば、直交するふたつのベクトルは必ずしも直角を成さない。

解析学や線型代数学に属する各分野を含め、直交性の概念は数学において広範に一般化して用いられる。

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

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

定義 

内積空間  における2つのベクトル  が直交するとは、それらの内積  が零となるときに言い、 と書く。内積空間  の二つの部分線型空間  が互いに直交するとは、 の各ベクトルが  の任意のベクトルに直交するときに言う。 において  に直交する最大の部分線型空間  を、 における  の直交補空間  という。

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

例

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

部分空間をの意味にとるならば、任意の部分空間は「直交補空間」を持ち、その部分空間の任意の元は補空間の任意の元に直交する。
 三次元ユークリッド空間において、任意の直線の直交補空間はその直線に垂直な平面であり、任意の平面の直交補空間はその平面に垂直な直線である。しかし、互いに垂直な平面同士の場合はこれに当てはまらないことに注意すべきである。
 四次元ユークリッド空間の場合には、直線の直交補空間は超平面であり、超平面の直交補空間は直線である。また平面の直交補空間は平面である。

直交函数系 

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

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

一般化 

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

別の一般化として、加群  およびその双対加群  が与えられたとき、 および  が直交するとは、それらの双対性内積が零、すなわち  となるときに言う。また、二つの部分集合  および  が直交するとは、 の各元が  の各元に直交するときに言う。

注

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

線型代数学
数学に関する記事