三重積 (ベクトル解析)

提供: miniwiki
移動先:案内、検索

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

スカラー三重積

ファイル:Parallelepiped volume.svg
3つのベクトルによって定義される平行六面体

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

[math] \boldsymbol{a}\cdot(\boldsymbol{b}\times \boldsymbol{c}) [/math]

である。

幾何学的解釈

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

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

代数学的性質

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

[math] \begin{align} \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{align} [/math]

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

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

[math] \boldsymbol{a}\cdot(\boldsymbol{b}\times \boldsymbol{c})=(\boldsymbol{a}\times \boldsymbol{b})\cdot\boldsymbol{c} \,\,(\equiv [\boldsymbol{a},\boldsymbol{b},\boldsymbol{c}]) [/math]
[math] [\boldsymbol{a},\boldsymbol{b},\boldsymbol{c}]= [\boldsymbol{b},\boldsymbol{c},\boldsymbol{a}]= [\boldsymbol{c},\boldsymbol{a},\boldsymbol{b}] [/math]
[math] [\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 (A B^T)) [/math]

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

鏡像変換

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

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

外積

ファイル:Exterior calc triple product.png
3-ベクトルは有向体積である。そのホッジ双対は大きさが体積に等しい擬スカラーである。

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

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

[math]\boldsymbol{a} \wedge \boldsymbol{b} \wedge \boldsymbol{c}[/math]

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

ベクトル三重積

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

[math] \boldsymbol{a}\times (\boldsymbol{b}\times \boldsymbol{c}) [/math]

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

[math] \boldsymbol{a}\times (\boldsymbol{b}\times \boldsymbol{c}) = (\boldsymbol{a}\cdot\boldsymbol{c})\boldsymbol{b} - (\boldsymbol{a}\cdot\boldsymbol{b})\boldsymbol{c} [/math]
[math] (\boldsymbol{a}\times\boldsymbol{b})\times \boldsymbol{c} = (\boldsymbol{a}\cdot\boldsymbol{c})\boldsymbol{b} - (\boldsymbol{b}\cdot\boldsymbol{c})\boldsymbol{a} [/math]
[math] \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 [/math]

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

[math] \boldsymbol{a}\times (\boldsymbol{b}\times \boldsymbol{c}) \ne (\boldsymbol{a}\times \boldsymbol{b})\times \boldsymbol{c} [/math]

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

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

[math] \begin{align} \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{align} [/math]

と展開できる。これは一般化されたラプラス作用素 (ラプラス–ド・ラーム作用素（English版）) [math]\Delta = d \delta + \delta d[/math] の具体例の一つである。

証明

[math]\boldsymbol{a}\times (\boldsymbol{b}\times \boldsymbol{c})[/math] の x成分を展開する。

[math]\begin{align} \{\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_xc_y - b_yc_x) - a_z (b_zc_x-b_xc_z) \\ &= (a_yb_xc_y + a_zb_xc_z) - (a_yb_yc_x + a_zb_zc_x)\\ &= b_x (a_xc_x + a_yc_y + a_zc_z) - c_x (a_xb_x + a_yb_y + a_zb_z)\\ &= \{ \boldsymbol{b}\,(\boldsymbol{a}\cdot\boldsymbol{c}) - \boldsymbol{c}\,(\boldsymbol{a}\cdot\boldsymbol{b}) \}_x \end{align}[/math]

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

関連項目

出典

  1. ↑ Kiyoshi Itō (1993). “§C: Vector product”, Encyclopedic dictionary of mathematics, 2nd, MIT Press. ISBN 0-262-59020-4. 

参考文献

  • (1901) Vector analysis: a text-book for the use of students of mathematics. Scribner. 
  • 丸山祐一、喜多義範 『理工系 ベクトル解析』 共立出版、2003年。ISBN 4320017439。
  • 小野寺嘉孝 『なっとくするベクトル』 講談社、2001年。ISBN 4061545337。
  • 北野正雄 『マクスウェル方程式―電磁気学のよりよい理解のために』 サイエンス社、2009年。ISBN 4781912222。


「http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=三重積_(ベクトル解析)&oldid=105997」から取得