三重積 (ベクトル解析)

テンプレート:参照方法 三重積（さんじゅうせき）とは3次元ユークリッド空間における3つのベクトルの積であり、ベクトル解析におけるスカラー三重積とベクトル三重積の総称である。

スカラー三重積

3つのベクトルによって定義される平行六面体

スカラー三重積（テンプレート:Lang-en-short）は三つのベクトルから擬スカラー値を返す三項演算、すなわち、2つのベクトルのクロス積から作られる擬ベクトルと残りのベクトルとのドット積

$𝒂\cdot (𝒃\times 𝒄)$

である。

幾何学的解釈

幾何学的にはスカラー三重積は三つのベクトル a, b, c によって定義される平行六面体の有向体積 (符号のついた体積) を表す。

スカラー三重積が0でないなら、三つのベクトルは線形独立である。スカラー三重積が0なら三つのベクトルは線形従属であり、共面 (一つの平面に含まれる) となる。なぜなら、体積が0とは平行六面体が潰れていることを意味するからである。

代数学的性質

代数学的にはスカラー三重積は各ベクトルを並べて作った3 × 3行列の行列式に等しい。

$\begin{array}{cc}𝒂\cdot (𝒃\times 𝒄)& =\det \left(\begin{array}{ccc}{a}_1& a_2& a_3\\ b_1& b_2& b_3\\ c_1& c_2& c_3\end{array}\right)\\ & =\sum _{i,j,k}{\epsilon }_{ijk}{a}_i{b}_j{c}_k\end{array}$

ここで ε_i,j,k はエディントンのイプシロンである。これより、a・(b×c) はどの要素の置換に対しても反対称である。

また、以下の性質が成り立つ。

$𝒂\cdot (𝒃\times 𝒄)=(𝒂\times 𝒃)\cdot 𝒄(\equiv [𝒂,𝒃,𝒄])$

$[𝒂,𝒃,𝒄]=[𝒃,𝒄,𝒂]=[𝒄,𝒂,𝒃]$

$[𝒂,𝒃,𝒄][𝒙,𝒚,𝒛]=\det \left(\begin{array}{ccc}𝒂\cdot 𝒙& 𝒂\cdot 𝒚& 𝒂\cdot 𝒛\\ 𝒃\cdot 𝒙& 𝒃\cdot 𝒚& 𝒃\cdot 𝒛\\ 𝒄\cdot 𝒙& 𝒄\cdot 𝒚& 𝒄\cdot 𝒛\end{array}\right)(\because \det A\det B=\det (A{B}^T))$

1番目の等式により順番だけが重要なので、スカラー三重積を [a, b, c] と表すのが便利である。

鏡像変換

スカラー三重積は平行六面体の有向体積を与えるが、有向体積は鏡像変換に対して符号を変える。よって、スカラー三重積の値はスカラーでなく擬スカラーである。

スカラー三重積が正となる標構 (順序付けられた基底)、もしくはそれから生成される座標系、を右手系とよび、負となる標構を左手系とよぶ。それぞれの系は鏡像変換を含まない直交変換では互いに移ることはできない。

外積

3-ベクトルは有向体積である。そのホッジ双対は大きさが体積に等しい擬スカラーである。

外積代数あるいはテンプレート:Ill2において、2つのベクトルの外積はテンプレート:Ill2であり、3つのベクトルの外積はテンプレート:Ill2である。通常のベクトルである1-ベクトルが向き付けられた線分 (線要素) であるように、2-ベクトルは向き付けられた面積要素(面要素)であり、3-ベクトルは向き付けられた体積要素 (立体要素) である。

ベクトル a, b, c に対して定義された積

$𝒂\wedge 𝒃\wedge 𝒄$

はそのホッジ双対がスカラー三重積に等しい3-ベクトルである。 幾何学的には3-ベクトル a ∧ b ∧ c は a, b, c で張られた平行六面体に対応し、2-ベクトル テンプレート:Nowrap, テンプレート:Nowrap, テンプレート:Nowrap は平行六面体の各面をなす平行四辺形に対応する。

ベクトル三重積

ベクトル三重積（テンプレート:Lang-en-short）は三つのベクトルからベクトル値を返す三項演算、すなわち、2つのベクトルのクロス積から作られる擬ベクトルと残りのベクトルとのクロス積

$𝒂\times (𝒃\times 𝒄)$

であり、以下の性質が成り立つ:

$𝒂\times (𝒃\times 𝒄)=(𝒂\cdot 𝒄)𝒃-(𝒂\cdot 𝒃)𝒄$

$(𝒂\times 𝒃)\times 𝒄=(𝒂\cdot 𝒄)𝒃-(𝒃\cdot 𝒄)𝒂$

$𝒂\times (𝒃\times 𝒄)+𝒃\times (𝒄\times 𝒂)+𝒄\times (𝒂\times 𝒃)=0$

1番目および2番目の公式はラグランジュの公式と呼ばれることもあるが、単に「ベクトル三重積の公式」と呼ばれることが多い。2番目の公式は1番目の公式とクロス積の反対称性から導き出せる。1番目および2番目の公式により

$𝒂\times (𝒃\times 𝒄)\ne (𝒂\times 𝒃)\times 𝒄$

すなわち、クロス積は結合則が成り立たないことが導かれる。3番目の公式はヤコビ恒等式 (テンプレート:Lang-en-short) であり、1番目の公式より明らかである。

ベクトル三重積の公式をつかってベクトルラプラシアンを

$\begin{array}{cc}{▽}^2𝒇& =\mathrm{grad}(\mathrm{div}𝒇)-\mathrm{rot}(\mathrm{rot}𝒇)\\ \because \mathrm{\nabla }\times (\mathrm{\nabla }\times 𝒇)& =\mathrm{\nabla }(\mathrm{\nabla }\cdot 𝒇)-(\mathrm{\nabla }\cdot \mathrm{\nabla })𝒇\end{array}$

と展開できる。これは一般化されたラプラス作用素 (テンプレート:Ill2) $\mathrm{\Delta }=d\delta +\delta d$ の具体例の一つである。

証明

$𝒂\times (𝒃\times 𝒄)$ の x成分を展開する。

$\begin{array}{cc}\{𝒂\times (𝒃\times 𝒄){\}}_x& =a_y(𝒃\times 𝒄{)}_z-a_z(𝒃\times 𝒄{)}_y\\ & =a_y(b_x{c}_y-b_y{c}_x)-a_z(b_z{c}_x-b_x{c}_z)\\ & =(a_y{b}_x{c}_y+a_z{b}_x{c}_z)-(a_y{b}_y{c}_x+a_z{b}_z{c}_x)\\ & =b_x(a_x{c}_x+a_y{c}_y+a_z{c}_z)-c_x(a_x{b}_x+a_y{b}_y+a_z{b}_z)\\ & =\{𝒃(𝒂\cdot 𝒄)-𝒄(𝒂\cdot 𝒃){\}}_x\end{array}$

y 成分、z 成分も同様なので、これより証明された。 テンプレート:Math proof テンプレート:Math proof テンプレート:Math proof

テンソル記法

アインシュタインの縮約記法を使えば ベクトル三重積は jij -jji と覚えることができる。

$\begin{array}{cc}(𝒂\times (𝒃\times 𝒄){)}_i& ={\epsilon }_{ijk}{\epsilon }_{k\ell m}{a}_j{b}_{\ell }{c}_m\\ & =({\delta }_{i\ell }{\delta }_{jm}-{\delta }_{im}{\delta }_{j\ell })a_j{b}_{\ell }{c}_m\\ & =a_j{b}_i{c}_j-a_j{b}_j{c}_i\\ & =(𝒂\cdot 𝒄)b_i-(𝒂\cdot 𝒃)c_i\end{array}$

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Citation

関連項目

• 四重積 (ベクトル解析)
• 体積形式
• ヤコビの三重積

外部リンク

• テンプレート:Kotobank
• テンプレート:Kotobank
• テンプレート:高校数学の美しい物語
• テンプレート:MathWorld
• テンプレート:MathWorld