3つのベクトルの積の演算のうち,
![$ \boldsymbol{A}\cdot(\boldsymbol{B}\times\boldsymbol{C})$](img109.png)
と
![$ \boldsymbol{A}\times(\boldsymbol{B}\times\boldsymbol{C})$](img110.png)
は,電磁気学でしばしばあらわれる.前者をスカラー
3重積,後者はベクトル3重積と呼ぶ.ここではこれらのベクトルの演算について述べる.
![$ \boldsymbol{A}\cdot(\boldsymbol{B}\times\boldsymbol{C})$](img111.png)
の演算結果はスカラーになる.まず括弧内の
外積
![$ \boldsymbol{B}\times\boldsymbol{C}$](img112.png)
はベクトルになり,それとベクトル
![$ \boldsymbol{A}$](img113.png)
との内積はスカラーにな
るからである.そのため,スカラー3重積と呼ばれる.
スカラー3重積
は,括弧を省いて,
と書かれることもある.この場合でも,ベクトル積
の演算を優先する.
の演算を先にすると,こ
れがスカラーになり演算を続行することが不可能となるからである.
スカラー3重積の性質をカーテシアン座標系で確かめる.成分で表したスカラー3重積は,
となる.これは対称性の良い式である.各項はそれぞれのベクトルの成分を一つ含む.そ
れを
![$ A,B,C$](img121.png)
の順序で並べると,
![$ (x,y,z)$](img122.png)
のサイクリックに並んだとき正に,その逆の
![$ (z,y,x)$](img123.png)
のサイクリックに並んだとき負になる.このことから,元の式
![$ \boldsymbol{A}\cdot(\boldsymbol{B}\times\boldsymbol{C})$](img124.png)
のベクトルはサイクリックに入れ替えても値は変わらない
といえる.そして,逆に巡回させると符号が逆になることも分かる.すなわち,
である.もっとも,負になる場合はベクトル積の入れ替えは負になることからも分かる.
これがスカラー3重積の最初の重要な性質である.
つぎにこのスカラー3重積の幾何学的な意味を考える.図
6に示す
ようにスカラー3重積の値は,3つのベクトルが作る並行6面体の体積になる.ベクトル
![$ \boldsymbol{B}$](img128.png)
と
![$ \boldsymbol{C}$](img129.png)
が作る平行四辺形の面積
![$ S$](img130.png)
は
![$\displaystyle S=\vert\boldsymbol{B}\times\boldsymbol{C}\vert$](img131.png) |
(26) |
となる.そして,この
![$ \boldsymbol{B}$](img132.png)
と
![$ \boldsymbol{C}$](img133.png)
が作る平行四辺形の対面との高さ
![$ h$](img134.png)
は
![$\displaystyle h=\frac{\boldsymbol{B}\times\boldsymbol{C}}{\vert\boldsymbol{B}\times\boldsymbol{C}\vert}\cdot\boldsymbol{A}$](img135.png) |
(27) |
である.したがって,並行6面体の体積
![$ V$](img136.png)
は
となる.この式からわかるようにスカラー3重積は,それぞれのベクトルが作る並行6面体
の体積になっている.ただし,スカラー3重積が負にもなるので注意が必要である.負の
場合は,その絶対値が体積になる.
図 6:
スカラー3重積の幾何学的意味.3つのベクトルが作る並行6面体の体積になる.
|
もっと興味深いのは,行列式との関係である.式(
24)から,ス
カラー3重積は行列式を用いて,
![$\displaystyle \boldsymbol{A}\cdot(\boldsymbol{B}\times\boldsymbol{C})= \begin{vmatrix}A_x & A_y & A_z \\ B_x & B_y & B_z \\ C_x & C_y & C_z \end{vmatrix}$](img142.png) |
(29) |
と書くことができる.これで,極めて見通しのよい式になった.これで,
![$ \boldsymbol{A},\boldsymbol{B},\boldsymbol{C}$](img143.png)
をサイクリックに入れ替えても値が変わらないし,逆順だと負の
符号がつくこともわかる.
一方,3つのベクトルの体積になっていることも分かる.行列式のイメージは体積だ! こ
れは線形代数の基本である.これは3次元のみならず,2次元--この場合は面積--でも,
4次元でも
次元でも同じイメージである.
おそらく,電磁気学ではスカラー3重積よりもベクトル3重積の方が重要であろう.いろい
ろな場面でこのベクトル3重積
が表れる.スカラー3重積の場合と異なり,括弧を省略してはならない.なぜならば,
![$\displaystyle \boldsymbol{A}\times(\boldsymbol{B}\times\boldsymbol{C})\ne(\boldsymbol{A}\times\boldsymbol{B})\times\boldsymbol{C}$](img146.png) |
(31) |
となるからである.これは単純な例を考えれば分かる.例えば,
![$ \boldsymbol{A}=\boldsymbol{i}$](img147.png)
,
![$ \boldsymbol{B}=\boldsymbol{i}$](img148.png)
,
![$ \boldsymbol{C}=\boldsymbol{j}$](img149.png)
と
|
![$\displaystyle \boldsymbol{A}\times(\boldsymbol{B}\times\boldsymbol{C})=\boldsymbol{i}\times(\boldsymbol{i}\times\boldsymbol{j})=-\boldsymbol{j}$](img150.png) |
(32) |
|
![$\displaystyle (\boldsymbol{A}\times\boldsymbol{B})\times\boldsymbol{C}=(\boldsymbol{i}\times\boldsymbol{i})\times\boldsymbol{j}=0$](img151.png) |
(33) |
が得られる.明らかに,括弧の位置で演算結果が異なる.
ベクトル3重積の証明は,諸君の課題とする.カーテシアン座標系で右辺と左辺の成分を
計算して,等しいことを示せばよい.カーテシアン座標系で成り立てば,他の座標系でも
同じように成り立つ.なぜならば,式(30)は,ベクトルなので
座標系に依存しない量になっているはずであるからである.
ベクトル3重積について,簡単に幾何学的な考察を行う.ベクトル積
の演算結果は,ベクトル
にも
にも垂直の方向を
向いている.それと
とのベクトル積もまた垂直になる.これから,ベクトル3重
積の
の方向について,て次のことが言える.
- ベクトル
と
が作る平面内にある.
- ベクトル
と垂直である.
このうち,最初の結論は重要である.ベクトルの3重積は
![$ \boldsymbol{B}$](img160.png)
と
![$ \boldsymbol{C}$](img161.png)
の一時結合
で表すことができると言っている! 式(
30)は
![$ \boldsymbol{B}$](img162.png)
と
![$ \boldsymbol{C}$](img163.png)
の一時結合になっている.
ホームページ:
Yamamoto's laboratory著者:
山本昌志
Yamamoto Masashi
平成19年5月9日