1 定義
外積は、二つのベクトルから第三のベクトルを定める演算である。主として三次元ユークリッド空間で扱われ、結果の向きと大きさが、元の二ベクトルの配置を反映する点に特色がある。線形代数では座標計算の道具として、物理では回転や力学量の記述として重要である。
1.1 三次元ベクトルにおける外積
三次元での外積は、二つのベクトルが作る平面に対して垂直なベクトルを返す。これにより、平面内の二量から、その平面の向きと広がりを同時に表現できる。なお、二つのベクトルが平行であれば、結果は零ベクトルになる。
1.2 記号と表記
外積は一般に「×」で表される。たとえば、ベクトルaとbの外積はa×bと書く。文献や分野によっては、成分表示や行列式風の書き方を補助的に用いることもあるが、意味は同じである。
1.3 成分表示
座標を用いると、外積は各成分から機械的に計算できる。三次元では、基底ベクトルに関する成分を並べて求める方法が標準的であり、理論と実務の双方で広く使われる。
1.3.1 行列式を用いた表現
外積はしばしば形式的な行列式の形で記される。第1行に基底ベクトル、第2行と第3行に二つのベクトルの成分を置くと、展開によって結果の成分をまとめて得られる。この表現は、符号の規則を見通しよく示す利点がある。
1.3.2 座標成分による計算
a=(a1,a2,a3)、b=(b1,b2,b3)のとき、a×bは各成分の組合せから定まる。第1成分はa2b3−a3b2、第2成分はa3b1−a1b3、第3成分はa1b2−a2b1である。実際の計算では、順序を誤らないことが肝要である。
2 幾何学的性質
外積の本質は、向きと面積を同時に扱う点にある。代数的な式で与えられていても、その背後には二つのベクトルが張る平面の幾何がある。
2.1 垂直性
a×bはaにもbにも直交する。したがって、外積は平面の法線を与える。三次元空間では、平面を記述する際にこの性質がしばしば利用される。
2.2 大きさと面積
外積の長さは、二つのベクトルのなす角に応じて変化する。角度が広がるほど大きくなり、同一直線上に近づくほど小さくなる。
2.2.1 平行四辺形の面積
| a×b | は、aとbが作る平行四辺形の面積に等しい。これは、底辺の長さと高さの積に対応する幾何学的量として理解できる。三角形の面積を求める場合は、その半分をとればよい。 |
|---|
2.2.2 平行性との関係
二つのベクトルが平行または反平行なら、外積の大きさは0になる。これは、張る図形の面積が消えることと一致する。逆に、平行でないほど非零成分が現れ、平面の広がりが明瞭になる。
2.3 向きと右手系
外積の向きは右手系に依存する。右手の指を第1のベクトルから第2のベクトルへ回すと、親指の方向がa×bに対応する。この規則により、符号の一貫性が保たれる。
3 代数的性質
外積は双線形演算であり、加法やスカラー倍に対して整った振る舞いを示す。ただし、通常の積とは異なり、可換ではない。
3.1 交換法則との関係
一般にa×bとb×aは等しくない。むしろ、b×a=−(a×b)が成り立つ。したがって、順序の入れ替えは向きを反転させる。
3.2 分配法則
外積は加法に関して分配的である。a×(b+c)=a×b+a×c、および(a+b)×c=a×c+b×cが成立する。この性質により、式の展開や整理がしやすくなる。
3.3 スカラー倍との関係
実数kに対して、(ka)×b=k(a×b)、a×(kb)=k(a×b)が成り立つ。つまり、外積は各因子の拡大縮小に対して比例的に変化する。
3.4 零ベクトルとの関係
a×0=0×a=0である。どちらか一方が零ベクトルなら、面積的な広がりが失われるため、結果も零になる。これは計算の簡約にも役立つ。
3.5 直交基底での計算
標準直交基底e1、e2、e3では、e1×e2=e3、e2×e3=e1、e3×e1=e2となる。順序を逆にすると符号が変わる。これらの関係は、三次元空間の向き付けを理解するうえで基本となる。
4 応用
外積は抽象的な定義にとどまらず、力学、図形処理、空間設計などで実用的に使われる。特に、回転軸や面の向きを扱う場面で有効である。
4.1 物理学での利用
物理では、ベクトル量の向きと大きさを同時に表す手段として外積が頻繁に登場する。運動の記述や力の作用点の扱いにおいて、簡潔な表現を与える。
4.1.1 力のモーメント
力のモーメントは、位置ベクトルと力の外積で表される。これは、物体を回転させようとする働きを示す量で、作用線から回転中心までの距離を反映する。
4.1.2 角運動量
角運動量は、位置ベクトルと運動量の外積で定義される。回転運動の状態を表す基本量であり、保存則とも深く関わる。軌道運動や剛体運動の解析に欠かせない。
4.2 幾何学での利用
幾何学では、外積は面の法線や図形の大きさを求める手段として用いられる。座標平面を越えて、空間内の図形を扱う際に特に便利である。
4.2.1 法線ベクトルの計算
三点が定める平面では、二つの辺ベクトルの外積をとることで法線ベクトルが得られる。これは平面方程式の構成や、面の向きの判定に利用される。
4.2.2 面積の算出
二ベクトルの外積の大きさを用いると、平行四辺形や三角形の面積が求められる。座標から直接面積を計算できるため、図形問題や数値処理で重宝する。
4.3 工学での利用
工学では、外積は回転、姿勢、空間配置の分析に使われる。機械、ロボット、構造解析など、多様な場面で基本的な計算手段となる。
4.3.1 回転の記述
角速度ベクトルと位置ベクトルの外積は、剛体内の各点の速度を表す際に現れる。回転軸の方向と回転の強さをまとめて扱えるため、運動学の整理に有効である。
4.3.2 空間解析
外積は、部材の向き、面の傾き、視点に対する向きの判定などに使われる。三次元形状の処理では、法線推定や姿勢計算の基礎として機能する。
5 一般化と関連概念
外積は三次元に特有の演算として知られるが、その背後にはより一般的な代数構造がある。これを理解すると、他の次元や記法との関係が明確になる。
5.1 高次元への一般化
高次元では、二つのベクトルから同様の「ベクトル」を直接得る外積は一般には存在しない。その代わり、面や体積に対応する多重ベクトルを用いて拡張するのが自然である。
5.1.1 外積代数との関係
外積代数は、ベクトルを交代的に結合する構造を与える。ここでは、向き付きの面積要素や体積要素を抽象的に扱える。三次元の外積は、この枠組みの一部として理解できる。
5.1.2 楔積との比較
楔積は、外積代数で用いられる基本演算である。記号は∧で、順序を入れ替えると符号が反転する点が外積と似ている。ただし、楔積の結果は通常ベクトルではなく、多重ベクトルである。
5.2 内積との対比
内積が二ベクトルの「同方向成分」を数値として与えるのに対し、外積は「垂直方向のベクトル」を返す。前者は長さや角度の測定に、後者は法線や回転の表現に向く。両者は補完的な関係にある。
5.3 スカラー三重積との関係
スカラー三重積は、a・(b×c)の形で表される。これは三つのベクトルが作る平行六面体の有向体積に対応する。外積の結果をさらに内積にかけることで、体積と向きの情報を抽出できる。
5.4 ベクトル三重積
ベクトル三重積は、a×(b×c)の形をとる。一般に、これを展開すると内積を含む組合せに書き換えられる。力学や幾何の変形計算で現れやすく、式変形の代表例となっている。
6 計算方法
外積の計算では、成分の並びと符号を正確に追うことが重要である。公式を覚えるだけでなく、基底の順序や右手系の規則を確認すると誤りが減る。
6.1 公式による計算
三次元ベクトルの外積は、成分公式に従って求める。式の形を一定に保てば、複雑なベクトルでも同じ手順で処理できる。実務では、この直接計算が最も一般的である。
6.2 成分の順序確認
計算時には、どの成分がどの位置に来るかを慎重に確認する必要がある。特に、循環的な並びを誤ると結果が変わる。定義に沿って機械的に進めることが、安定した方法である。
6.3 符号の取り扱い
外積は反交換的であるため、順序を変えると符号が反転する。成分公式でも、マイナスが付く場所を見落としやすい。したがって、各項の符号を独立に点検するのが望ましい。
6.4 計算例
たとえばa=(1,2,3)、b=(4,5,6)なら、a×bは(−3,6,−3)となる。実際に公式へ代入すると、各成分が順に求められる。このような例は、理論の確認と学習の定着に有効である。
7 歴史
外積の考え方は、空間幾何と物理の発展の中で整備されてきた。記法や解釈は時代とともに洗練され、現在の標準的な形式に至っている。
7.1 数学における導入
三次元の向きと面積を扱う必要から、外積は線形代数とベクトル解析の中で定式化された。座標計算の体系化が進むにつれ、幾何的意味を持つ演算として位置づけられた。
7.2 物理学への定着
力学や電磁気学では、回転を表す量を簡潔に表現する道具として外積が定着した。特にモーメントや角運動量の記述に適していたため、教育と応用の両面で広まった。
7.3 記法の発展
現在の「×」記号は、広く受け入れられた標準的表記である。これにより、計算規則が直感的に示されるようになった。さらに、外積代数や楔積の研究を通じて、より抽象的な理解も進展した。