「3次元の内積の幾何学的な性質」の版間の差分

提供: tknotebook
移動: 案内、 検索
(→‎2次元の回転と2次元の内積)
 
(1人の利用者による、間の27版が非表示)
1行: 1行:
 
[[Category:数学]][[Category:線形代数]][[category:回転]]
 
[[Category:数学]][[Category:線形代数]][[category:回転]]
−
[[メインページ]]>[[数学の部屋]]>[[回転]]
+
[[メインページ]]>[[数学の部屋#回転]]
  
 
==3次元の内積==
 
==3次元の内積==
16行: 16行:
 
3次元の内積は、2次元の内積の自然の拡張で、2つのベクトル <math>{\boldsymbol a}, {\boldsymbol b}</math> のデカルト座標での成分表示を  
 
3次元の内積は、2次元の内積の自然の拡張で、2つのベクトル <math>{\boldsymbol a}, {\boldsymbol b}</math> のデカルト座標での成分表示を  
 
<math>{\boldsymbol a} = (a_1, a_2, a_3), {\boldsymbol b} = (b_1, b_2, b_3)</math> とすると
 
<math>{\boldsymbol a} = (a_1, a_2, a_3), {\boldsymbol b} = (b_1, b_2, b_3)</math> とすると
 +
  
 
{{eqn|<math>
 
{{eqn|<math>
 
   {\boldsymbol a}\cdot{\boldsymbol b} = a_1b_1+a_2b_2+a_3b_3
 
   {\boldsymbol a}\cdot{\boldsymbol b} = a_1b_1+a_2b_2+a_3b_3
 
</math>|1}}
 
</math>|1}}
 +
  
 
と定義されますが、
 
と定義されますが、
 
ベクトル <math>{\boldsymbol a}</math>、 <math>{\boldsymbol b}</math>それぞれ長さを　<math>r_a</math>、<math>r_b</math> 、２つのベクトルのなす角度を <math>\beta </math> とすると、2次元の内積の結果をそのまま拡張すれば
 
ベクトル <math>{\boldsymbol a}</math>、 <math>{\boldsymbol b}</math>それぞれ長さを　<math>r_a</math>、<math>r_b</math> 、２つのベクトルのなす角度を <math>\beta </math> とすると、2次元の内積の結果をそのまま拡張すれば
 +
  
 
{{eqn|<math>
 
{{eqn|<math>
 
   {\boldsymbol a}\cdot{\boldsymbol b} = a_1b_1+a_2b_2+a_3b_3 = r_ar_b\cos\beta
 
   {\boldsymbol a}\cdot{\boldsymbol b} = a_1b_1+a_2b_2+a_3b_3 = r_ar_b\cos\beta
 
</math>|2}}
 
</math>|2}}
 +
  
 
となりそうです。事実そうなるのですが、本当でしょうか？　証明してみましょう。
 
となりそうです。事実そうなるのですが、本当でしょうか？　証明してみましょう。
61行: 65行:
  
  
−
{{eqn|<math>  
+
{{eqn|<math>\begin{align}
−
\begin{align}
+
{\boldsymbol a'}\cdot{\boldsymbol b'} &=  
−
{\boldsymbol a'}\cdot{\boldsymbol b'}  
+
(a_1\cos\beta-a_2\sin\beta)(b_1\cos\beta-b_2\sin\beta)+ \\
−
& = (a_1\cos\beta-a_2\sin\beta)
+
&(a_1\sin\beta+a_2\cos\beta)(b_1\sin\beta+b_2\cos\beta) \\ &=
−
(b_1\cos\beta-b_2\sin\beta)+  
+
a_1b_1+a_2b_2\end{align}</math>|6}}
−
¥¥
+
−
(a_1\sin\beta+a_2\cos\beta)
+
−
( b_1\sin\beta+b_2\cos\beta) \\
+
−
&=a_1b_1+a_2b_2
+
−
\end{align}</math>|6}}
+
  
  
89行: 88行:
  
  
−
{{eqn|<math>\begin{align}{\boldsymbol a'} - {\boldsymbol b'}|^2 &= ({\boldsymbol a'}-{\boldsymbol b'})({\boldsymbol a'}-{\boldsymbol b'}) = {\boldsymbol a'}^2 + {\boldsymbol b'}^2 - 2{\boldsymbol a'}\cdot{\boldsymbol b'} \\ &= {\boldsymbol a}^2 + {\boldsymbol b}^2 - 2{\boldsymbol a}\cdot{\boldsymbol b}\end{align}</math>|8}}
+
{{eqn|<math>\begin{align}|{\boldsymbol a'} - {\boldsymbol b'}|^2 &= ({\boldsymbol a'}-{\boldsymbol b'})({\boldsymbol a'}-{\boldsymbol b'}) = {\boldsymbol a'}^2 + {\boldsymbol b'}^2 - 2{\boldsymbol a'}\cdot{\boldsymbol b'} \\ &= {\boldsymbol a}^2 + {\boldsymbol b}^2 - 2{\boldsymbol a}\cdot{\boldsymbol b}\end{align}</math>|8}}
  
  
167行: 166行:
 
\right)</math> の内積は  
 
\right)</math> の内積は  
  
−
<math>{\boldsymbol a'}\cdot {\boldsymbol b'}=a'_1b'_1+a'_2b'_2+a'_3b'_3 \label{3DCrossProduct2} </math>
+
{{eqn|<math>{\boldsymbol a'}\cdot {\boldsymbol b'}=a'_1b'_1+a'_2b'_2+a'_3b'_3</math>|11}}
  
  
176行: 175行:
 
同様に、<math>x</math>軸を回転軸とし、<math>x</math>軸の正方向に対して右回転する回転変換は
 
同様に、<math>x</math>軸を回転軸とし、<math>x</math>軸の正方向に対して右回転する回転変換は
  
−
<math>
+
{{eqn|<math>
 
\left(\begin{array}{ccc}
 
\left(\begin{array}{ccc}
 
x' \\
 
x' \\
197行: 196行:
 
z
 
z
 
\end{array} \right)
 
\end{array} \right)
−
\label{xrotation}
+
</math>|12}}
−
 
+
−
</math>
+
  
 
<math>y</math>軸を回転軸とし、<math>y</math>軸の正方向に対して右回転する回転変換は
 
<math>y</math>軸を回転軸とし、<math>y</math>軸の正方向に対して右回転する回転変換は
  
−
<math>
+
{{eqn|<math>
 
\left(\begin{array}{ccc}
 
\left(\begin{array}{ccc}
 
x' \\
 
x' \\
224行: 221行:
 
z
 
z
 
\end{array} \right)
 
\end{array} \right)
−
\label{yrotation}
+
</math>|13}}
−
 
+
−
 
+
−
</math>
+
  
 
となります。いずれの回転も内積を変化させないのはいうまでもないでしょう。
 
となります。いずれの回転も内積を変化させないのはいうまでもないでしょう。
253行: 247行:
 
*3次元の3軸による回転は内積を変更しない。つまり、２次元回転の場合と同様、図形を合同に変換し、辺の長さや辺のなす角度を変更しない。
 
*3次元の3軸による回転は内積を変更しない。つまり、２次元回転の場合と同様、図形を合同に変換し、辺の長さや辺のなす角度を変更しない。
  
−
従って、２次元の内積の幾何学的な性質はそのまま３次元の内積でも成り立ち、ベクトル<math>{\boldsymbol a}、{\boldsymbol b}</math>の長さを <math>r_a</math>、<math>r_b</math>、ベクトル<math>{\boldsymbol a}、{\boldsymbol b}</math> 同士のなす角度を <math>\beta</math> とすると
+
従って、２次元の内積の幾何学的な性質はそのまま３次元の内積でも成り立ち、ベクトル<math>{\boldsymbol a},{\boldsymbol b}</math>の長さを <math>r_a</math>、<math>r_b</math>、ベクトル<math>{\boldsymbol a},{\boldsymbol b}</math> 同士のなす角度を <math>\beta</math> とすると
  
−
<math>{\boldsymbol a}\cdot{\boldsymbol b} = r_ar_b\cos\beta\label{lastCrossProduct} </math>
+
{{eqn|<math>{\boldsymbol a}\cdot{\boldsymbol b} = r_ar_b\cos\beta</math>|14}}
  
 
が成立します。以上で２次元の内積は３次元へ自然な形で拡張できることを示しました。
 
が成立します。以上で２次元の内積は３次元へ自然な形で拡張できることを示しました。

2015年8月5日 (水) 05:24時点における最新版

メインページ>数学の部屋#回転

3次元の内積

2次元の内積の幾何学的な性質では内積と2つのベクトルがなす角度との関係を紹介しました。この性質は実は3次元でもまったく同じなのですが、 3次元になるとこのことを説明するのが格段に難しくなります。

そもそも3次元で二つのベクトルのなす角度とはなんなのでしょうか？

3次元の内積の幾何学的な性質-1.png

図のように2つのベクトルの始点を同じ点として重ねると、2つのベクトルが同じ向きではなければ、2つのベクトルを含む 平面が決まります。2つのベクトルなす角度とは、この平面上での、つまり2次元での角度と同じものと考えることができます。

3次元の内積は、2次元の内積の自然の拡張で、2つのベクトル {\boldsymbol a}, {\boldsymbol b} のデカルト座標での成分表示を {\boldsymbol a} = (a_1, a_2, a_3), {\boldsymbol b} = (b_1, b_2, b_3) とすると


{\boldsymbol a}\cdot{\boldsymbol b} = a_1b_1+a_2b_2+a_3b_3 ( 1 )


と定義されますが、 ベクトル {\boldsymbol a}、 {\boldsymbol b}それぞれ長さを　r_a、r_b 、２つのベクトルのなす角度を \beta とすると、2次元の内積の結果をそのまま拡張すれば


{\boldsymbol a}\cdot{\boldsymbol b} = a_1b_1+a_2b_2+a_3b_3 = r_ar_b\cos\beta ( 2 )


となりそうです。事実そうなるのですが、本当でしょうか？　証明してみましょう。

基本的には流れは以下の通り

  1. ２次元３次元の回転で内積が変化しないことを示す。
  2. 回転で２つベクトルを含む平面を x-y 平面に変換できることを示す。
  3. 内積が変化しないことの意味を示し、２次元の内積の性質がそのまま３次元でも成り立つことを示す。

2次元の回転と2次元の内積

まず、2次元に限定して、回転で内積が変化しないことを示しましょう。

ふたつの位置ベクトルを {\boldsymbol a}=\left( \begin{array}{cc} a_1 \\ a_2 \end{array} \right), {\boldsymbol b}=\left( \begin{array}{cc} b_1 \\ b_2 \end{array} \right) とすると、内積は


{\boldsymbol a}\cdot {\boldsymbol b} = a_1b_1+a_2b_2 ( 3 )


回転行列と複素数の積で示しましたように、位置ベクトルは回転行列をかけることで回転させることができます。 回転行列 \left( \begin{array} {cc} \cos\beta & -sin\beta \\ \sin\beta& \ cos\beta \end{array}\right) で、ベクトル {\boldsymbol a} と {\boldsymbol b} を回転させると、回転後のベクトル {\boldsymbol a'} と {\boldsymbol b'} は


{\boldsymbol a'} = \left( \begin{array}{cc} a_1\cos\beta-a_2\sin\beta \\ a_1\sin\beta+a_2\cos\beta \end{array} \right) ( 4 )


{\boldsymbol b'} = \left( \begin{array}{cc} b_1\cos\beta-b_2\sin\beta \\ b_1\sin\beta+b_2\cos\beta \end{array} \right) ( 5 )


回転後の内積を計算すると


\begin{align} {\boldsymbol a'}\cdot{\boldsymbol b'} &= (a_1\cos\beta-a_2\sin\beta)(b_1\cos\beta-b_2\sin\beta)+ \\ &(a_1\sin\beta+a_2\cos\beta)(b_1\sin\beta+b_2\cos\beta) \\ &= a_1b_1+a_2b_2\end{align} ( 6 )


以上から、回転変換によって、内積が変化しないことがわかります。


内積が変化しないとはどういうことでしょうか?

ベクトルの大きさの2乗は |{\boldsymbol a}|^2={\boldsymbol a}\cdot{\boldsymbol a} ですから、回転によって、ベクトルの大きさは変わりません。

2個の位置ベクトル間の終点間距離の2乗は


|{\boldsymbol a} - {\boldsymbol b}|^2 = ({\boldsymbol a}-{\boldsymbol b})({\boldsymbol a}-{\boldsymbol b}) = {\boldsymbol a}^2 + {\boldsymbol b}^2 - 2{\boldsymbol a}\cdot{\boldsymbol b} ( 7 )


回転後の2個の位置ベクトル間の終点間距離の2乗は


\begin{align}|{\boldsymbol a'} - {\boldsymbol b'}|^2 &= ({\boldsymbol a'}-{\boldsymbol b'})({\boldsymbol a'}-{\boldsymbol b'}) = {\boldsymbol a'}^2 + {\boldsymbol b'}^2 - 2{\boldsymbol a'}\cdot{\boldsymbol b'} \\ &= {\boldsymbol a}^2 + {\boldsymbol b}^2 - 2{\boldsymbol a}\cdot{\boldsymbol b}\end{align} ( 8 )


つまり、ベクトルの長さは回転によって変わりません。つまり、回転はベクトルが作る三角形を合同な三角形に変換します。従って、回転変換はベクトルがなす角度を変更しません。

3次元の回転

3次元の回転は意外と奥が深いので、ここでは x軸、y軸、z軸 を回転軸にした回転のみを扱います。

まず、z軸を回転軸にした3次元回転を考えてみましょう。

3次元の内積の幾何学的な性質-2.png

ここで z軸を回転軸とした回転とは、z軸の正方向に対して、図のように右回転する方向を正の角度の回転とします。 この回転は、x, y に関しては2次元の回転と同じになり、回転変換によって z は変化しないので、変換行列は


\left(\begin{array}{ccc} x' \\ y' \\ z' \end{array} \right) = \left( \begin{array}{ccc} \cos\theta_z & -\sin\theta_z & 0 \\ \sin\theta_z & \cos\theta_z & 0 \\ 0 & 0 & 1 \end{array} \right) \left(\begin{array}{ccc} x \\ y \\ z \end{array} \right) ( 9 )

になります。 　 {\boldsymbol a} = \left( \begin{array}{ccc} a_1 \\ a_2 \\ a_3 \end{array} \right) と {\boldsymbol b} = \left( \begin{array}{ccc} b_1 \\ b_2 \\ b_3 \end{array} \right) の3次元の内積は、2次元からの自然な拡張から

{\boldsymbol a}\cdot {\boldsymbol b}=a_1b_1+a_2b_2+a_3b_3 ( 10 )

と定義しますが、

{\boldsymbol a} と {\boldsymbol b}　の回転後のベクトル　{\boldsymbol a'} = \left( \begin{array}{ccc} a'_1 \\ a'_2 \\ a'_3 \end{array} \right)と {\boldsymbol b'}= \left( \begin{array}{ccc} b'_1 \\ b'_2 \\ b'_3 \end{array} \right) の内積は

{\boldsymbol a'}\cdot {\boldsymbol b'}=a'_1b'_1+a'_2b'_2+a'_3b'_3 ( 11 )


となります。このうち a_1b_1+a_2b_2 と a'_1b'_1+a'_2b'_2 の部分は2次元の回転と同じなので同じになります。a_3 と a'_3、b_3 と b'_3 は同じなので、a_3b_3=a'_3b'_3 となります。

結局 a_1b_1+a_2b_2+a_3b_3 = a'_1b'_1+a'_2b'_2+a'_3b'_3 なので、z軸を回転軸とする回転変換で、内積は変化しないことになります。

同様に、x軸を回転軸とし、x軸の正方向に対して右回転する回転変換は

\left(\begin{array}{ccc} x' \\ y' \\ z' \end{array} \right) = \left( \begin{array}{ccc} 1 & 0 & 0 \\ 0 & \cos\theta_x & -\sin\theta_x \\ 0 & \sin\theta_x & \cos\theta_x \\ \end{array} \right) \left(\begin{array}{ccc} x \\ y \\ z \end{array} \right) ( 12 )

y軸を回転軸とし、y軸の正方向に対して右回転する回転変換は

\left(\begin{array}{ccc} x' \\ y' \\ z' \end{array} \right) = \left( \begin{array}{ccc} \cos\theta_y & 0 & \sin\theta_y \\ 0 & 1 & 0 \\ -\sin\theta_y & 0 & \cos\theta_y \\ \end{array} \right) \left(\begin{array}{ccc} x \\ y \\ z \end{array} \right) ( 13 )

となります。いずれの回転も内積を変化させないのはいうまでもないでしょう。

３次元の内積

ここで、任意の２ベクトルを、内積を保ったまま、x-y平面内に回転変換できることを示します。まず下図のように、ベクトル{\boldsymbol a}, {\boldsymbol b} をy軸で回転させます。ベクトル{\boldsymbol a} が x-y 平面上にくるように回転させます。これを ベクトル{\boldsymbol a'}, {\boldsymbol b'} とします。

3次元の内積の幾何学的な性質-3.png

次に、ベクトル{\boldsymbol a'}, {\boldsymbol b'} z軸で回転させて、ベクトル{\boldsymbol a'} の方向を x 軸と一致させます。これを ベクトル{\boldsymbol a''}, {\boldsymbol b''} とします。


3次元の内積の幾何学的な性質-4.png

最後に, x軸で回転変換を行って、{\boldsymbol b''} も x-y平面上に持ってきます。


3次元の内積の幾何学的な性質-5.png

以上から

  • 上のように３軸の回転変換で、任意の２ベクトルを x-y平面上に３次元の内積を変化させずにもってくることが出来る。
  • x-y平面に移動したベクトルはz座標が０なので、３次元の内積は２次元の内積と一致する。
  • 3次元の3軸による回転は内積を変更しない。つまり、２次元回転の場合と同様、図形を合同に変換し、辺の長さや辺のなす角度を変更しない。

従って、２次元の内積の幾何学的な性質はそのまま３次元の内積でも成り立ち、ベクトル{\boldsymbol a},{\boldsymbol b}の長さを r_a、r_b、ベクトル{\boldsymbol a},{\boldsymbol b} 同士のなす角度を \beta とすると

{\boldsymbol a}\cdot{\boldsymbol b} = r_ar_b\cos\beta ( 14 )

が成立します。以上で２次元の内積は３次元へ自然な形で拡張できることを示しました。

「http://www.nakamuri.info/mw/index.php?title=3次元の内積の幾何学的な性質&oldid=1232」から取得