直交の例 初等幾何学 における直交 （ちょっこう、英 : orthogonal 垂直 に交わる」こと、すなわちユークリッド空間 内の交わる二つの直線 や平面 のなす角が直角 であることを意味する。
このことは、直線と曲線 または曲線同士、あるいは平面と曲面または曲面同士、もしくは曲線と曲面などの場合にも、交点において曲線の接線 （または法線 ）あるいは曲面の接平面 （または法線）などを考えることにより拡張できる。すなわち接線同士（または法線同士）の直交を以って二つの曲線の直交を定義するのである。注意すべきこととして、これら対象の直交性をベクトル によって定めるならば、（ベクトルは平行移動不変であるから）直交するそれらの対象は必ずしも「交わらない」。また非標準的な内積に関する直交性を考えるならば、直交するふたつのベクトルは必ずしも直角を成さない。
解析学 や線型代数学 に属する各分野を含め、直交性の概念は数学において広範に一般化して用いられる。
術語 orthogonal 古代ギリシア語 : ὀρθός [ 1] 古代ギリシア語 : γωνία [ 2] orthogonium はもともとは矩形 を意味する語[ 3] 直角三角形 を意味する語ともなったが、12世紀にポスト古典ラテン語の orthogonalis は直角および直角に関連する概念を指すものとなっていた[ 4]
曲線や曲面の法ベクトル など、特定の場合において「直交するもの」の意味で法 (normal ) が用いられることがある。例えば、y -軸は曲線 y = x 2 法線 である。しかし、除法 における除数（あるいは合同関係 による剰余代数系を与える同値関係）の意味で「法 (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)2 , g(x)2 を区間[0,2π]で積分した結果が有限値を持つ）について全体のなすベクトル空間 L 2 (-π, π) は f , g に対し、内積
⟨ ⟨ -->
f
,
g
⟩ ⟩ -->
=
∫ ∫ -->
− − -->
π π -->
π π -->
f
(
x
)
g
(
x
)
d
x
{\displaystyle \langle f,g\rangle =\int _{-\pi }^{\pi }f(x)g(x)\,dx}
をもち、L 2 (-π, π) の二つの関数 sin x , cos x はこの内積に関して直交する。もっと一般に、集合 {1, sin nx , cos mx | n , m ∈ N } は L 2 (-π, π) の直交基底 になる。
直交性と座標系の回転に関する比較 * 左図: ユークリッド空間 における円角 (circular angle) ϕ の回転; * 右図: ミンコフスキー時空 における双曲角 （英語版 ） ϕ の回転 (c が表す赤線は光信号の世界線 であり、ベクトルが自己直交となるのはそれがこの直線上にあるときである)[ 8] 内積空間 を考える代わりに、双線型形式 を備えたベクトル空間を用いても直交性 を一般化して考えることができる。すなわち、与えられた双線型形式に代入したとき、値が零となるようなベクトルの対は、（その双線型形式に関して）互いに直交する という。擬ユークリッド空間 （英語版 ） 双曲直交性 （英語版 ） x' , t' は任意に与えられた ϕ に対して双曲直交する。
別の一般化として、加群 M およびその双対加群 M ∗ m' ∈ M ∗ m ∈ M 直交する とは、それらの双対性内積 が零、すなわち ⟨ m' , m ⟩ ≔ m' (m ) = 0S ′ ⊆ M ∗ S ⊆ M 直交する とは、S' の各元が S の各元に直交するときに言う。[ 9]
^ Liddell and Scott, A Greek–English Lexicon s.v. ὀρθός
^ Liddell and Scott, A Greek–English Lexicon s.v. γονία
^ Liddell and Scott, A Greek–English Lexicon s.v. ὀρθογώνιον
^ Oxford English Dictionary , Third Edition, September 2004, s.v. orthogonal^ Weisstein, Eric W. "Orthogonal" . mathworld.wolfram.com (英語). ^ Trefethen, Lloyd N. & Bau, David (1997). Numerical linear algebra ISBN 978-0-89871-361-9 ^ a b R. Penrose (2007). The Road to Reality ISBN 0-679-77631-1
^ J.A. Wheeler; C. Misner; K.S. Thorne (1973). Gravitation . W.H. Freeman & Co. p. 58. ISBN 0-7167-0344-0 ^ Bourbaki, Algebra I , p. 234
