orthogonal
「orthogonal」とは
「orthogonal」とは、数学や物理学の分野で頻繁に用いられる英単語である。直訳すると「直交する」や「垂直な」という意味を持つ。特に、ベクトルの世界では、2つのベクトルが直交することを「orthogonal」と表現する。また、統計学では、2つの変数が互いに独立であることを示すためにも使われる。「orthogonal」の発音・読み方
「orthogonal」の発音は、IPA表記では/ɔːrˈθɒɡənəl/となる。IPAのカタカナ読みでは「オー・スオゴナル」となる。日本人が発音するカタカナ英語では「オーソゴナル」となる。発音によって意味や品詞が変わる単語ではない。「orthogonal」の定義を英語で解説
「Orthogonal」 is a term often used in mathematics and physics. It literally means "at right angles" or "perpendicular". In the world of vectors, the term "orthogonal" is used to express that two vectors are at right angles to each other. In statistics, it is also used to indicate that two variables are independent of each other.「orthogonal」の類語
「orthogonal」の類語として、「perpendicular」や「right-angled」がある。これらも「直交する」や「垂直な」という意味を持つ英単語である。しかし、「orthogonal」はより専門的な文脈で使われることが多い。「orthogonal」に関連する用語・表現
「orthogonal」に関連する用語として、「orthogonality」がある。これは「直交性」を意味し、「orthogonal」の名詞形である。また、「orthogonal matrix」は直交行列を指し、その行列のすべての行ベクトルと列ベクトルが直交する行列を指す。「orthogonal」の例文
1. The vectors are orthogonal to each other.（ベクトルは互いに直交している。）2. In statistics, the term "orthogonal" is used to indicate that two variables are independent.（統計学では、「orthogonal」は2つの変数が独立していることを示すために使われる。）
3. The concept of orthogonality is fundamental in linear algebra.（直交性の概念は線形代数学において基本的なものである。）
4. The term "orthogonal" is often used in the field of computer graphics.（「orthogonal」はコンピュータグラフィックスの分野でよく使われる。）
5. Orthogonal functions play a crucial role in Fourier series.（直交関数はフーリエ級数において重要な役割を果たす。）
6. The orthogonal matrix is a key concept in matrix theory.（直交行列は行列理論における重要な概念である。）
7. Orthogonal polynomials are used in approximation theory.（直交多項式は近似理論に用いられる。）
8. The term "orthogonal" is also used in the field of signal processing.（「orthogonal」は信号処理の分野でも使われる。）
9. Orthogonal trajectories are curves that intersect at right angles.（直交軌道は直角に交差する曲線である。）
10. The concept of orthogonality is also important in the field of data analysis.（直交性の概念はデータ分析の分野でも重要である。）
直交
(orthogonal から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/13 14:49 UTC 版)
ナビゲーションに移動 検索に移動 | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。（2016年6月） |
初等幾何学における直交（ちょっこう、英: 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 に対し、内積
内積空間を考える代わりに、双線型形式を備えたベクトル空間を用いても直交性を一般化して考えることができる。すなわち、与えられた双線型形式に代入したとき、値が零となるようなベクトルの対は、（その双線型形式に関して）互いに直交するという。擬ユークリッド空間の場合には双曲直交性などの語も用いられる。右図において、二つの軸 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
- ^ Weisstein, Eric W. "Orthogonal". MathWorld (英語).
- ^ Trefethen, Lloyd N. & Bau, David (1997). Numerical linear algebra. SIAM. p. 13. ISBN 978-0-89871-361-9。
- ^ a b R. Penrose (2007). The Road to Reality. Vintage books. pp. 417–419. 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
関連項目
- orthogonalのページへのリンク
