この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "直交"
初等幾何学における直交(ちょっこう、英: 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) と呼ばれる。内積空間における直交系は線型独立系である。 ユークリッド平面あるいは高次のユークリッド空間において、二つのベクトルが直交する必要十分条件は、それらの点乗積が零となることであり、これはそれらの成す角が直角となることに他ならない[6]。したがって、ベクトルの直交性はベクトルが垂直であることを高次元空間へ拡張した概念である。 部分空間をユークリッド部分空間
用語に関する注意
定義「正規直交系」および「正規直交基底」も参照
例
ユークリッド空間における直交性
三次元ユークリッド空間において、任意の直線の直交補空間はその直線に垂直な平面であり、任意の平面の直交補空間はその平面に垂直な直線である[7]。しかし、互いに垂直な平面同士の場合はこれに当てはまらないことに注意すべきである。
四次元ユークリッド空間の場合には、直線の直交補空間は超平面であり、超平面の直交補空間は直線である。また平面の直交補空間は平面である[7]。
直交函数系詳細は「直交函数系」を参照
たとえば、区間 (-π, π) で二乗可積分な実数値関数(f(x)2, g(x)2 を区間[0,2π]で積分した結果が有限値を持つ)について全体のなすベクトル空間 L2(-π, π) は f, g に対し、内積 ⟨ f , g ⟩ = ∫ − π π f ( x ) g ( x ) d x {\displaystyle \langle f,g\rangle =\int _{-\pi }^{\pi }f(x)g(x)\,dx}
をもち、L2(-π, π) の二つの関数 sin x, cos x はこの内積に関して直交する。もっと一般に、集合 {1, sin nx, cos mx 。n, m ∈ N} は L2(-π, π) の直交基底になる。
一般化直交性と座標系の回転に関する比較 * 左図: ユークリッド空間における円角 (circular angle) ? の回転; * 右図: ミンコフスキー時空における双曲角(英語版) ? の回転 (c が表す赤線は光信号の世界線であり、ベクトルが自己直交となるのはそれがこの直線上にあるときである)[8]
内積空間を考える代わりに、双線型形式を備えたベクトル空間を用いても直交性を一般化して考えることができる。すなわち、与えられた双線型形式に代入したとき、値が零となるようなベクトルの対は、(その双線型形式に関して)互いに直交するという。擬ユークリッド空間(英語版)の場合には双曲直交性(英語版)などの語も用いられる。右図において、二つの軸 x', t' は任意に与えられた ? に対して双曲直交する。
別の一般化として、加群 M およびその双対加群 M? が与えられたとき、m' ∈ M? および m ∈ M が直交するとは、それらの双対性内積が零、すなわち ⟨m', m⟩ ? m'(m) = 0 となるときに言う。また、二つの部分集合 S′ ⊆ 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
^ .mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}Weisstein, Eric W. "Orthogonal". mathworld.wolfram.com (英語).