1 ベクトル積の概要

1.1 定義と基本的な幾何学的意味

1.1.1 平行四辺形の面積との関係

ベクトル積は、3次元空間で定義される2つのベクトルの演算で、結果は「その2本が張る平行四辺形の面積」に対応する大きさをもつ。面積は一般に、両ベクトルの長さと、それらのなす角により決まる。ベクトル積の大きさは、各ベクトルの大きさの積に、角度の正弦成分を掛けた値として与えられるため、平行(角が0度)なら面積が0になり、直交(角が90度)なら最大の値になるという幾何学的特徴を持つ。

1.1.2 右ねじの規則による向きの決定

ベクトル積の結果は、大きさだけでなく向きも持つ。向きは、右ねじの規則などの“向き付けの約束”によって定まる。具体的には、片方のベクトルを「ねじを進める向き」、もう片方を「回転させる向き」とみなし、右ねじの回転から定まる進行方向を、ベクトル積の向きとして採用する。これにより、順序を入れ替えると向きが反対になる(符号が反転する)性質が自然に現れる。

1.2 表記と演算の基本

1.2.1 記号「×」とベクトル積の結果

ベクトル積は通常、記号「×」で表される。たとえば2つのベクトルを \(\mathbf{a}\)、\(\mathbf{b}\) とするとき、ベクトル積は \(\mathbf{a}\times\mathbf{b}\) の形で記述される。結果は一般に、入力ベクトルと同じ種類のベクトル(ただし3次元では、回転の向きに関連する“擬似ベクトル”として扱われることがある)として扱われ、向きと大きさを同時に持つ。

1.2.2 3次元での標準的な定義

3次元では、成分による定義と幾何学的意味(面積・向き)を両立させる形でベクトル積が導入できる。標準的には、右手系に基づく座標系で、結果が入力2ベクトルに対して定まる直交方向に向くように定義される。これにより、解析や物理で頻出するトルク、角運動量法線ベクトルなどの表現が統一的に書けるようになる。

2 計算方法

2.1 成分による計算

2.1.1 行列式(デターミナント)による表現

成分からベクトル積を計算する代表的手法が、行列式(デターミナント)を用いる方法である。3次元の座標を \((x,y,z)\) とし、ベクトル \(\mathbf{a}=(a_x,a_y,a_z)\)、\(\mathbf{b}=(b_x,b_y,b_z)\) とすると、ベクトル積 \(\mathbf{a}\times\mathbf{b}\) は、基底ベクトル \(\mathbf{i},\mathbf{j},\mathbf{k}\) を含む形式の行列式として書ける。計算は展開することで、各成分がそれぞれ2成分の差の積として得られる。

2.1.1.1 典型的な成分展開の手順

行列式の展開では、たとえば第1行を \(\mathbf{i},\mathbf{j},\mathbf{k}\) とみなし、残りの2×2要素の行列式(小行列式)を順番に計算する。符号は行列式の交代性に従うため、\(\mathbf{j}\) に対応する成分だけが負になるなど、位置に応じた符号が現れる。最後に基底ベクトルを掛け合わせて加えることで、\((x,y,z)\) 方向それぞれの成分が得られる。

2.2 方向と大きさを用いる計算

成分を使わない方法として、ベクトルの大きさと角度を用いた評価がある。ベクトル積の大きさは、前述のように \(\mathbf{a}\times\mathbf{b}=\mathbf{a}\mathbf{b}\sin\theta\) の形で与えられる。ここで \(\theta\) は2ベクトルのなす角で、向きは向き付けの規則で決まる。したがって、幾何学的条件(直交・平行・鋭角と鈍角など)に基づいて素早く情報を得られる。
2.2.1 内積との関係(大きさの式)
内積 \(\mathbf{a}\cdot\mathbf{b}\) は \(\mathbf{a}\mathbf{b}\cos\theta\) に対応するため、内積とベクトル積の大きさは同じ角度 \(\theta\) を共有する。そこで \(\sin^2\theta+\cos^2\theta=1\) を用いると、ベクトル積の大きさを内積と長さから求める関係が導ける。これは“角度を直接知らなくても、2種類の積から幾何量が推定できる”という点で有用である。
2.2.2 角度に基づく評価

角度が条件として与えられる場合、ベクトル積の大きさは \(\sin\theta\) を通じて即座に評価できる。たとえば直交すれば最大化し、平行なら消える。鈍角の場合でも正弦は正なので、大きさの評価には向きの規則(符号や向きの反転)を別途考慮する必要がある。角度から向きが直接わかるわけではないため、向きは右ねじなどの約束で決めるという役割分担が重要になる。

3 性質と演算法

3.1 直交性とベクトルとしての意味

3.1.1 被積ベクトルとの直交性

ベクトル積の結果は、入力の2ベクトルそれぞれと直交する性質を持つ。すなわち \(\mathbf{a}\times\mathbf{b}\) は \(\mathbf{a}\) にも \(\mathbf{b}\) にも平行でない方向で、両者が作る平面に対して垂直方向を向く。これは成分表現からも確認でき、幾何学的には、平行四辺形の“面の向き”を表す量として理解できる。

3.1.2 法線ベクトルとしての解釈

入力2ベクトルが定める平面に垂直な方向を持つため、ベクトル積はしばしば法線ベクトルとして解釈される。複数の平面記述(例えば点と法線で表す、あるいは2つの方向ベクトルから平面を構成する)において、\(\mathbf{n}\propto\mathbf{a}\times\mathbf{b}\) の形が現れる。ここで比例関係になっているのは、大きさが面積に結びついているためで、必要なら正規化して単位法線にする。

3.2 可換性・反可換性など

3.2.1 反可換性と順序の重要性

ベクトル積は可換ではない。一般に \(\mathbf{a}\times\mathbf{b} = -(\mathbf{b}\times\mathbf{a})\) が成り立つため、順序を入れ替えると向きが反転する。これにより、同じ2本のベクトルを使っても、取り方の順序で結果が符号違いになる。物理で“回転の向き”を扱う場合は特に、この反転が意味の違いにつながる。

3.2.2 分配法則とスカラー倍の扱い

ベクトル積は、各引数に関して線形性を持つ。たとえば \(\mathbf{a}\times(\mathbf{b}+\mathbf{c})=\mathbf{a}\times\mathbf{b}+\mathbf{a}\times\mathbf{c}\) のような分配が成立する。またスカラー倍についても、\((\lambda\mathbf{a})\times\mathbf{b}=\lambda(\mathbf{a}\times\mathbf{b})\)、\(\mathbf{a}\times(\lambda\mathbf{b})=\lambda(\mathbf{a}\times\mathbf{b})\) の形でスカラーが外に出る。これらの性質により、複雑な式を段階的に整理できる。

3.3 連鎖的なベクトル積の性質

3.3.1 ベクトル三重積(基本公式)

三重積、すなわち \(\mathbf{a}\times(\mathbf{b}\times\mathbf{c})\) の形は、単純に“順に適用した結果”ではなく、内積も含む形へ書き換えられる基本公式がある。代表的には、\(\mathbf{a}\times(\mathbf{b}\times\mathbf{c})\) が \(\mathbf{b}\) と \(\mathbf{c}\) の線形結合として表されることが知られている。これにより、2回の外積計算を内積とスカラー倍・加算に置き換えられ、解析や物理の式変形で頻繁に用いられる。

3.3.2 三重積の幾何学的解釈

三重積は幾何学的にも意味を持つ。外積が“直交方向への成分”や“面の向き”を担うため、さらに外積を取ることで、平面内での射影や、ある方向に沿った成分の取り出しと結びつく。結果として、元のベクトル \(\mathbf{a}\) が \(\mathbf{b}\) と \(\mathbf{c}\) が作る部分空間に対してどのように関係するかが、内積によって定量化される形で現れる。

4 応用分野

4.1 力学

4.1.1 トルク(回転させる効果)の表現

力学では、力の作用点と回転軸の位置関係からトルクを定義する際にベクトル積が用いられる。一般に、位置ベクトル \(\mathbf{r}\) と力 \(\mathbf{F}\) の組から、トルク \(\boldsymbol{\tau}\) は \(\mathbf{r}\times\mathbf{F}\) として表される。向きは回転の向きに対応し、成分は回転を生む“ねじれ”の大きさを反映するため、回転運動の向き付けが自然に組み込まれる。

4.1.2 角運動量との関係

角運動量も、回転の中心からの位置と運動量の関係として記述され、ベクトル積が登場する。位置ベクトルと運動量の外積によって角運動量が定まり、保存則の議論において重要な役割を果たす。ベクトル積によって角運動量の向きが“回る向き”として決まるため、力学の運動方程式が幾何学的な理解と結びつく。

4.2 幾何・解析

4.2.1 法線ベクトルと平面の記述

解析的な幾何では、平面を定めるための法線ベクトルを求める場面でベクトル積が利用される。たとえば平面上の2つの方向成分が与えられていれば、その外積が法線方向を与える。これにより、方程式化された平面の表現や、交点計算の前処理が整理される。法線を単位化すれば、距離や射影などの評価にも接続しやすい。

4.2.2 交差する直線・面の条件

直線や面の交差条件は、空間内の向きの関係として定式化されることが多い。平面同士の交線は両平面の法線の直交関係に基づくため、法線ベクトルの扱いとベクトル積が関係する。さらに、2面がなす角や、交線の方向ベクトルの算出にも外積が利用される。こうした手順により、幾何学的な条件が連立計算へ落とし込まれる。

4.3 電磁気学・工学での登場

4.3.1 力や流れの向きを含む表現

電磁気学では、電場・磁場・速度などのベクトル量が相互に作用する式でベクトル積が現れる。とくに、あるベクトルに垂直な方向へ向かう成分や、回転的な効果を表す際に有効である。工学の領域でも、流れの向き、回転、配向など“方向性を含む現象”を表す書き方として用いられ、結果が向きと大きさを同時に持つ点が利点になる。

4.3.2 物理量の次元・単位の確認方法

ベクトル積は、数学的に定義された演算である一方、物理量を扱う場面では次元整合性が重要になる。計算結果の単位がどのように組み合わされるべきかを、入力ベクトルの単位から点検できる。さらに内積や外積の組み合わせが登場する場合は、角度が無次元であることを前提として、スカラー化されるか、ベクトルとして残るかの区別も確認することで、符号だけでなく次元ミスの発見にもつながる。

5 ベクトル積の拡張と注意

5.1 2次元での扱いと擬似スカラー化

5.1.1 2次元での定義の工夫

2次元では、外積の結果を“3次元の外積と同じ形”でそのままベクトルとして定義すると、向きの表現が不足しやすい。そのため、2次元では結果を擬似スカラーとして扱う工夫がよく用いられる。たとえば、2本のベクトルが張る面積の大きさに、上下(平面に垂直な方向)のどちらに向くかを符号で表して表現する。これにより、回転の向きの情報が失われず、計算も簡潔になる。

5.2 4次元以上での位置づけ

5.2.1 外積と同様の考え方(抽象化

4次元以上では、3次元の外積のように“2つのベクトルから1つのベクトル”へ一直線に写す操作は一般には同じ形で成立しない。代わりに、多重線形な構造や、交代テンソル、ウェッジ積(外積に相当する抽象操作)といった考え方で“面・体積要素の向き”を扱う。さらに次元が偶数の場合などには、状況に応じてホッジ作用素を用いてベクトル的な形へ対応づける枠組みが利用される。要点は、幾何学的意味(向き付けと反交換性)を、より一般的な数学に移して保持する点にある。

5.3 計算上の注意

5.3.1 反順序で符号が変わる点

計算では、入力ベクトルの順序を誤ると結果の向きが反転し、符号付きの物理量が全く別の意味になる場合がある。とくに反対向きは回転の向きやトルクの向きに直接対応するため、式変形の途中で \(\mathbf{a}\times\mathbf{b}\) と \(\mathbf{b}\times\mathbf{a}\) を取り違えないことが重要になる。行列式展開でも、並べ替えによる符号変化を意識する必要がある。

5.3.2 単位系と角度の単位の整合性

ベクトル積の大きさは正弦関数を含むため、角度の取り扱いが重要になる。角度が度法かラジアンかで正弦の入力が変わり、計算結果が大きくずれる。したがって、解析環境での角度の単位を確認し、必要に応じて変換する。また物理量の場合は、ベクトルの単位だけでなく、角度が無次元として扱われることを踏まえ、無理のない次元関係が保たれているかをチェックするのが望ましい。