この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "直交"
初等幾何学における直交(ちょっこう、英: orthogonal)は、「垂直に交わる」こと、すなわちユークリッド空間内の交わる二つの直線や平面のなす角が直角であることを意味する。
このことは、直線と曲線または曲線同士、あるいは平面と曲面または曲面同士、もしくは曲線と曲面などの場合にも、交点において曲線の接線(または法線)あるいは曲面の接平面(または法線)などを考えることにより拡張できる。すなわち接線同士(または法線同士)の直交を以って二つの曲線の直交を定義するのである。注意すべきこととして、これら対象の直交性をベクトルによって定めるならば、(ベクトルは平行移動不変であるから)直交するそれらの対象は必ずしも「交わらない」。また非標準的な内積に関する直交性を考えるならば、直交するふたつのベクトルは必ずしも直角を成さない。
解析学や線型代数学に属する各分野を含め、直交性の概念は数学において広範に一般化して用いられる。 術語 orthogonal は「直立」を意味する古代ギリシア語: ?ρθ??[1] と「角度」を意味する古代ギリシア語: γων?α[2] に由来する。古代ギリシア語の ?ρθογ?νιον および古典ラテン語の orthogonium はもともとは矩形を意味する語[3]であり、のちに直角三角形を意味する語ともなったが、12世紀にポスト古典ラテン語の orthogonalis は直角および直角に関連する概念を指すものとなっていた[4]。 曲線や曲面の法ベクトルなど、特定の場合において「直交するもの」の意味で法 (normal) が用いられることがある。例えば、y-軸は曲線 y = x2 の原点における法線である。しかし、除法における除数(あるいは合同関係による剰余代数系を与える同値関係)の意味で「法 (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) と呼ばれる。内積空間における直交系は線型独立系である。
用語に関する注意
定義「正規直交系」および「正規直交基底」も参照
例
ユークリッド空間における直交性