三重積 (ベクトル解析)

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 記事の信頼性向上にご協力をお願いいたします。（2018年7月）

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

スカラー三重積（英: scalar triple product）は三つのベクトルから擬スカラー値を返す三項演算、すなわち、2つのベクトルのクロス積から作られる擬ベクトルと残りのベクトルとのドット積

${\displaystyle {\boldsymbol {a}}\cdot ({\boldsymbol {b}}\times {\boldsymbol {c}})}$

である。

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

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

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

${\displaystyle {\begin{aligned}{\boldsymbol {a}}\cdot ({\boldsymbol {b}}\times {\boldsymbol {c}})&=\det {\begin{pmatrix}a_{1}&a_{2}&a_{3}\\b_{1}&b_{2}&b_{3}\\c_{1}&c_{2}&c_{3}\end{pmatrix}}\\&=\sum _{i,j,k}\varepsilon _{ijk}a_{i}b_{j}c_{k}\end{aligned}}}$

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

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

${\displaystyle {\boldsymbol {a}}\cdot ({\boldsymbol {b}}\times {\boldsymbol {c}})=({\boldsymbol {a}}\times {\boldsymbol {b}})\cdot {\boldsymbol {c}}\,\,(\equiv [{\boldsymbol {a}},{\boldsymbol {b}},{\boldsymbol {c}}])}$

${\displaystyle [{\boldsymbol {a}},{\boldsymbol {b}},{\boldsymbol {c}}]=[{\boldsymbol {b}},{\boldsymbol {c}},{\boldsymbol {a}}]=[{\boldsymbol {c}},{\boldsymbol {a}},{\boldsymbol {b}}]}$

${\displaystyle [{\boldsymbol {a}},{\boldsymbol {b}},{\boldsymbol {c}}][{\boldsymbol {x}},{\boldsymbol {y}},{\boldsymbol {z}}]=\det {\begin{pmatrix}{\boldsymbol {a}}\cdot {\boldsymbol {x}}&{\boldsymbol {a}}\cdot {\boldsymbol {y}}&{\boldsymbol {a}}\cdot {\boldsymbol {z}}\\{\boldsymbol {b}}\cdot {\boldsymbol {x}}&{\boldsymbol {b}}\cdot {\boldsymbol {y}}&{\boldsymbol {b}}\cdot {\boldsymbol {z}}\\{\boldsymbol {c}}\cdot {\boldsymbol {x}}&{\boldsymbol {c}}\cdot {\boldsymbol {y}}&{\boldsymbol {c}}\cdot {\boldsymbol {z}}\end{pmatrix}}\qquad (\because \det A\det B=\det(AB^{T}))}$

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

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

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

外積代数あるいは幾何代数（英語版）において、2つのベクトルの外積は2-ベクトル（英語版）であり、3つのベクトルの外積は3-ベクトル（英語版）である。通常のベクトルである1-ベクトルが向き付けられた線分 (線要素) であるように、2-ベクトルは向き付けられた面積要素(面要素)であり、3-ベクトルは向き付けられた体積要素 (立体要素) である。

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

${\displaystyle {\boldsymbol {a}}\wedge {\boldsymbol {b}}\wedge {\boldsymbol {c}}}$

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

ベクトル三重積（英: vector triple product）は三つのベクトルからベクトル値を返す三項演算、すなわち、2つのベクトルのクロス積から作られる擬ベクトルと残りのベクトルとのクロス積

${\displaystyle {\boldsymbol {a}}\times ({\boldsymbol {b}}\times {\boldsymbol {c}})}$

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

${\displaystyle {\boldsymbol {a}}\times ({\boldsymbol {b}}\times {\boldsymbol {c}})=({\boldsymbol {a}}\cdot {\boldsymbol {c}}){\boldsymbol {b}}-({\boldsymbol {a}}\cdot {\boldsymbol {b}}){\boldsymbol {c}}}$

${\displaystyle ({\boldsymbol {a}}\times {\boldsymbol {b}})\times {\boldsymbol {c}}=({\boldsymbol {a}}\cdot {\boldsymbol {c}}){\boldsymbol {b}}-({\boldsymbol {b}}\cdot {\boldsymbol {c}}){\boldsymbol {a}}}$

${\displaystyle {\boldsymbol {a}}\times ({\boldsymbol {b}}\times {\boldsymbol {c}})+{\boldsymbol {b}}\times ({\boldsymbol {c}}\times {\boldsymbol {a}})+{\boldsymbol {c}}\times ({\boldsymbol {a}}\times {\boldsymbol {b}})=0}$

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

${\displaystyle {\boldsymbol {a}}\times ({\boldsymbol {b}}\times {\boldsymbol {c}})\neq ({\boldsymbol {a}}\times {\boldsymbol {b}})\times {\boldsymbol {c}}}$

すなわち、クロス積は結合則が成り立たないことが導かれる。3番目の公式はヤコビ恒等式 (英: Jacobi Identity) であり、1番目の公式より明らかである。

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

${\displaystyle {\begin{aligned}\bigtriangledown ^{2}{\boldsymbol {f}}&=\operatorname {grad} (\operatorname {div} {\boldsymbol {f}})-\operatorname {rot} (\operatorname {rot} {\boldsymbol {f}})\\\because \nabla \times (\nabla \times {\boldsymbol {f}})&=\nabla (\nabla \cdot {\boldsymbol {f}})-(\nabla \cdot \nabla ){\boldsymbol {f}}\end{aligned}}}$

と展開できる。これは一般化されたラプラス作用素 (ラプラス–ド・ラーム作用素（英語版）) ${\displaystyle \Delta =d\delta +\delta d}$ の具体例の一つである。

${\displaystyle {\boldsymbol {a}}\times ({\boldsymbol {b}}\times {\boldsymbol {c}})}$ の x成分を展開する。

${\displaystyle {\begin{aligned}\{{\boldsymbol {a}}\times ({\boldsymbol {b}}\times {\boldsymbol {c}})\}_{x}&=a_{y}({\boldsymbol {b}}\times {\boldsymbol {c}})_{z}-a_{z}({\boldsymbol {b}}\times {\boldsymbol {c}})_{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})\\&=\{{\boldsymbol {b}}\,({\boldsymbol {a}}\cdot {\boldsymbol {c}})-{\boldsymbol {c}}\,({\boldsymbol {a}}\cdot {\boldsymbol {b}})\}_{x}\end{aligned}}}$

y 成分、z 成分も同様なので、これより証明された。

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

${\displaystyle {\begin{aligned}({\boldsymbol {a}}\times ({\boldsymbol {b}}\times {\boldsymbol {c}}))_{i}&=\varepsilon _{ijk}\varepsilon _{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}\\&=({\boldsymbol {a}}\cdot {\boldsymbol {c}})b_{i}-({\boldsymbol {a}}\cdot {\boldsymbol {b}})c_{i}\end{aligned}}}$

• 小野寺嘉孝『なっとくするベクトル』講談社、2001年4月。ISBN 978-4-06-154533-5。 
• 北野正雄『マクスウェル方程式　電磁気学のよりよい理解のために』サイエンス社、2009年2月。ISBN 978-4-7819-1222-6。 
• 丸山祐一、喜多義範『理工系 ベクトル解析』共立出版、2003年9月。ISBN 978-4-320-01743-6。 
• Gibbs, Josiah Willard; Wilson, Edwin Bidwell (1901), Vector analysis: a text-book for the use of students of mathematics, Scribner, https://archive.org/details/vectoranalysiste00gibbiala 

• 『スカラー三重積』 - コトバンク
• 『ベクトル三重積』 - コトバンク
• 『スカラー三重積とベクトル三重積』 - 高校数学の美しい物語
• Weisstein, Eric W. "Scalar Triple Product". mathworld.wolfram.com (英語).
• Weisstein, Eric W. "Vector Triple Product". mathworld.wolfram.com (英語).