物理/平面と空間のベクトル

提供: Internet Web School

(版間での差分)
(我々の住む空間の数学的モデル)
 
(間の6版分が非表示)
1 行: 1 行:
-
=平面と空間のベクトル =
+
=ベクトル積=
-
平面や空間への直観を重視し、幾何学的な説明をする。<br/>
+
*[[wikipedia_ja: ベクトル積  |ウィキペディア(ベクトル積  ) ]]
-
以下の説明では、集合についてのごく初歩的知識を使うので、<br/>
+
-
なじみのない方は、下記を参考に、<br/>
+
-
集合の素朴な定義、集合の表記法、集合の和集合や共通集合、集合の包含関係<br/>
+
-
などについて学習してほしい。
+
-
*[[wikipedia_ja:集合 |ウィキペディア(集合)]]
+
-
==平面と空間==
+
-
我々は、自分たちの暮らすこの世界は、縦、横、高さをもつ3次元の空間であると認識してきた。<br/>
+
-
また、この空間のなかの、縦、横をもち、高さのない平らな無限の拡がりを
+
-
平面として認識してきた。<br/>
+
-
この空間や平面、その中にある色々な図形の性質を厳密に理解しようとして、<br/>
+
-
平面幾何学や立体幾何学(ユークリッド幾何学)を生み出してきた。<br/>
+
-
この中で考えられた平面や空間は、2次元および3次元のユークリッド空間と呼ばれる。<br/>
+
-
下記の記事中の「序文」と「1. 直観的な説明」をお読みください。
+
-
*[[wikipedia_ja:ユークリッド空間 |ウィキペディア(ユークリッド空間)]]
+
-
 
+
-
==数空間${\bf R^3}$と3次元区間${\bf I^3}$==
+
-
 
+
-
 
+
-
 
+
-
 
+
-
== ベクトルの和と実数倍 ==
+
-
ベクトルの和や実数倍については2章力学の1節で説明してある。<br/>
+
-
==  内積とノルム==
+
-
内積とノルムは物理学で良く使われる。<br/>
+
-
本テキストで必要となる命題と証明を紹介する。<br/>
+
-
以下では、<br/>
+
-
$\vec a,\vec b,\vec c$は、すべて同じ次元(2か3)のベクトルとし、 $\alpha$は実数とする。<br/>
+
-
なお、全ての命題は、4次元以上のベクトルに対しても成り立つが省略する(注参照)。<br/>
+
-
座標成分表示が必要な命題では、直交座標系表示を用いる。<br/>
+
-
(注)n次元(>3)も含めた一般のn次元ベクトルの内積は、後述の命題2
+
-
 
+
-
===ノルムと内積の定義===
+
-
ベクトル$\vec a$のノルムとは、<br/>
+
-
$\|\vec a\|:=\sqrt{\sum_{i}a_{i}^2}$のことで、<br/>
+
-
ベクトルの長さ(大きさ)を表す。<br/>
+
-
ベクトル$\vec a,\vec b$の内積とは<br/>
+
-
$ \vec a \cdot \vec b:=\|\vec{a}\|\|\vec{b}\|\cos\theta$<br/>
+
-
ここで、$\theta$は、ベクトル$\vec a,\vec b$のなす角($0\le \theta \le \pi$ )である。<br/>
+
-
この定義から、<br/>
+
-
$\vec a \cdot \vec a=\|\vec{a}\|^2 $<br/>
+
-
であることが分かる。
+
-
===内積とノルムの性質===
+
-
命題1<br/>
+
-
$\vec a \cdot \vec b =\vec b \cdot \vec a$<br/>
+
-
証明;内積の定義から明らか。 <br/><br/>
+
-
命題2<br/>
+
-
$\vec a \cdot \vec b =\sum_{i}a_ib_i$
+
-
ここで$a_1,b_1$はそれぞれ$\vec a,\vec b$のx座標成分、同様に、添え字2はy座標成分、3はz座標成分<br/>
+
-
直交座標系はどんなものでも良い。しかしすべてのベクトルは同じ座標系で座標成分表示しなければならない。<br/>
+
-
証明<br/>
+
-
次の三角形の余弦定理を利用する。<br/>
+
-
三角形の[[wikipedia_ja:余弦定理|第2余弦定理]];<br/>
+
-
図のような$\triangle {ABC}$を考える。<br/>
+
-
頂点A,B,Cの対辺の長さをそれぞれ$a,b,c$とし、$\angle{ACB}=\theta$とする。<br/>
+
-
すると、$c^2=a^2+b^2-2ab\cos\theta$<br/>
+
-
余弦定理の証明;頂点$A$から対辺$BC$におろした垂線の足を$H$とする。<br/>
+
-
[[wikipedia_ja:ピタゴラスの定理 |ピタゴラスの定理]]により、<br/>
+
-
$c^2=\overline{BH}^2+\overline{AH}^2$。$\qquad$ 右辺の第2項に、再び、ピタゴラスの定理を適用して、<br/>
+
-
$=\overline{BH}^2+(b^2-\overline{CH}^2)$ $\qquad$ $\overline{BH}=a-\overline{CH}$を代入すると、<br/>
+
-
$=(a-\overline{CH})^2+(b^2-\overline{CH}^2)=a^2+b^2-2a\overline{CH}$,$\quad$ $\overline{CH}=b\cos\theta$なので、代入すると<br/>
+
-
$=a^2+b^2-2ab\cos\theta$  <br/>
+
-
余弦定理の証明終わり。<br/>
+
-
命題2の証明  <br/>
+
-
ベクトル$\vec a $と$\vec b $を、<br/>
+
-
始点が点$C$である有向線分で表現し、その終点を$B$,$C$で表す。<br/>
+
-
すると$\vec a=\vec{CB}$, $\vec b=\vec{CA}$である。<br/>
+
-
ベクトル$\vec c=\vec a-\vec b$を導入すると、<br/>
+
-
$\vec c=\vec a-\vec b=\vec{CB}-\vec{CA}=\vec{CB}+\vec{AC}=\vec{AB}$<br/>
+
-
3角形$\triangle {ABC}$を考え、第2余弦定理を適用しよう。<br/>
+
-
$\angle{ACB}=\theta$とおく。すると、<br/>
+
-
$\|\vec c\|^2=\|\vec a\|^2+\|\vec b\|^2-2\|\vec a\|\|\vec b\|\cos{\theta}$<br/>
+
-
$=\|\vec a\|^2+\|\vec b\|^2-2\vec a \cdot \vec b$が得られる。<br/>
+
-
この式を変形して$\vec a \cdot \vec b$だけを左辺に置くと、<br/>
+
-
$\vec a \cdot \vec b=(\|\vec a\|^2+\|\vec b\|^2-\|\vec c\|^2)/2$ 。<br/>
+
-
$\vec c=\vec{AB}=\vec{AC}+\vec{CB}=-\vec b+\vec a$なので、<br/>
+
-
 
+
-
$\vec a \cdot \vec b=(\|\vec a\|^2+\|\vec b\|^2-\|\vec a-\vec b\|^2)/2 $  <br/>
+
-
この右辺を、ベクトルの直交座標成分で表すと、次式が得られる。 <br/>
+
-
$\vec a \cdot \vec b=(\sum_{i}a_i^2+\sum_{i}b_i^2-\sum_{i}(a_i-b_i)^2 )/2 $<br/>$=\sum_{i}a_i b_i$ <br/>
+
-
命題2の証明終わり。 <br/><br/>
+
-
命題3<br/>
+
-
$(\vec a +\vec b) \cdot \vec c =\vec a \cdot \vec c+\vec b \cdot \vec c$   <br/>
+
-
証明<br/>
+
-
ある一つの直交座標系をさだめ、両辺を、命題(2)を利用して、座標成分であらわす。両辺が等しいことが分かる。<br/><br/>
+
-
系; $\vec a \cdot (\vec b+\vec c) =\vec a \cdot \vec b+\vec a \cdot \vec c$   <br/>
+
-
証明;命題1を利用して、左辺の項の順番を入れ替え、命題3を適用し、再び命題1を用いればよい。<br/><br/>
+
-
命題4<br/>
+
-
$(\alpha \vec a)\cdot \vec b =\vec a \cdot (\alpha \vec b)=\alpha (\vec a \cdot \vec b)$ <br/>
+
-
が成り立つ。 <br/>
+
-
証明<br/>
+
-
同様に、3つの式を、座標成分表示すれば、みな等しいことが、簡単に分かる。 <br/> <br/>
+
-
命題5 <br/>
+
-
$\|\vec a \cdot \vec b\| \leq \|\vec a\|\|\vec b\|$<br/>
+
-
$0\leq |\cos\theta|\leq 1$なので内積の定義から、ただちに分かる。 <br/> <br/>
+
-
命題6 ノルムの三角不等式 <br/>
+
-
$\|\vec a + \vec b\| \leq \|\vec a\| + \|\vec b\|$<br/>
+
-
証明 <br/>
+
-
$\|\vec a + \vec b\|^2=(\vec a + \vec b)\cdot (\vec a + \vec b)$<br/>
+
-
命題3を使って計算すると、<br/>
+
-
$=\vec a \cdot \vec a +\vec b \cdot \vec b +2\vec a \cdot \vec b$<br/>
+
-
命題5より、<br/>
+
-
$\leq \vec a \cdot \vec a +\vec b \cdot \vec b +2\|\vec a\|\|\vec b\|
+
-
=\|\vec a\|^2+\|\vec b\|^2+2\|\vec a\|\|\vec b\|=(\|\vec a\|+\|\vec b\|)^2$<br/>故に$\|\vec a + \vec b\|^2 \leq (\|\vec a\|+\|\vec b\|)^2$<br/>
+
-
両辺の平方根をとれば所要の不等式を得る。<br/>
+
-
 
+
-
==  ベクトル積 ==
+
-
本節での全ての命題で、<br/>
+
-
$ \vec{a}, \vec{b}, \vec{c}$は3次元ベクトル<br/>
+
-
$\alpha$を実数とする。<br/><br/>
+
-
 
+
-
命題1. $ \quad \vec{a} $ を, $\vec{c} $と垂直な成分$ \vec{a_\perp}$ と,平行な成分$\vec{a_\parallel}$ の和に分解するとき、 <br/>
+
-
$\quad \vec{a} \times \vec{c}= \vec{a_\perp} \times \vec{c}$  <br/>
+
-
$\quad \vec{a_\parallel} \times \vec{c}= 0$  <br/>
+
-
証明;ベクトル積の定義から、容易に示せる。<br/>
+
-
2つのベクトルの作る平行四辺形の面積と方向・向きを考えれば良い。<br/>
+
-
 
+
-
命題2.$ \quad \vec{a} \times \vec{b}= -\vec{b} \times \vec{a}$  <br/>
+
-
証明;2つのベクトルを入れ替えても、それらが作る平行四辺形の面積は変わらず、この四辺形に直交する直線の方向も変わらない。<br/>
+
-
しかし、ベクトル積の向きは、逆向きになる。<br/>
+
-
ベクトル積の定義から、$\quad \vec{a} \times \vec{b}= -\vec{b} \times \vec{a}$ が示せた。<br/><br/>
+
-
命題3 <br/>
+
-
$(\alpha\vec{a})\times \vec{b}= \alpha(\vec{a} \times \vec{b})= \vec{a}\times (\alpha\vec{b})$ <br/>
+
-
証明;実数$\alpha$ が正、零、負の場合に分けて考える。<br/>
+
-
いずれの場合にも,
+
-
ベクトル積の定義とベクトルと実数の積の命題から、容易に証明できる。<br/>
+
-
 
+
-
命題4.$ \quad (\vec{a}+ \vec{b})\times \vec{c}= \vec{a} \times \vec{c} + \vec{b} \times \vec{c}$ <br/>
+
-
証明;<br/>
+
-
この証明には少し工夫が必要である。<br/>
+
-
ベクトル積の命題の中でも、もっとも大切なものなので、詳しく説明しよう。<br/>
+
-
① $ \vec{a}, \vec{b}$ と$\quad \vec{c}\quad$  が直交する場合。図参照のこと<br/>
+
-
・議論をやさしくするため、ベクトルを、空間の原点$O$ を始点とする有向線分で代表させる。<br/>
+
-
・$ \vec{c}$ と直交し$O$ を通る平面を$H$とする。<br/>
+
-
・仮定より$ \vec{a},\quad  \vec{b}$は、ともに平面$H$上のベクトルである。<br/>
+
-
・$\vec{a} \times \vec{c} ,\quad \vec{b} \times \vec{c}$も、<br/>
+
-
ベクトル積の定義により、共に$ \vec{c}$ と直交するので、$H$上のベクトルである。<br/>
+
-
これら四つのベクトルはすべて平面$H$上にあるので、今後の議論はこの平面上で進める。<br/>
+
-
 ⅰ)$\vec{a} \times \vec{c}, \vec{b} \times \vec{c}$ の張る平行四辺形は, <br/>$\vec{a}, \vec{b}$の張る平行四辺形を、$\| \vec{c}\|$倍し,原点周りに90度回転したものになることを、示そう。<br/><br/>
+
-
・$\vec{a} \times \vec{c} $は、ベクトル積の定義から、$ \vec{a}$ と直交する。<br/>
+
-
そのため、$\vec{a}$ を平面$H$上で、原点まわりに、90度右回りか、左回りすれば、方向と向きが一致する。<br/>
+
-
・$\vec{b} \times \vec{c} $も、同様に考え、$\vec{b}$ を平面$H$上で、原点まわりに、90度右回りか、左回りすれば、方向と向きが一致することが分かる。<br/>
+
-
・どちら周りの回転になるかは、ベクトル積の定義によって決まるが、<br/>
+
-
後者の回転の向きが、前者の回転の向きと一致することが分かる。<br/>
+
-
・$\vec{a}\times \vec{c}$ の大きさは、<br/>
+
-
$\|\vec{a}\times \vec{c}\|=\|\vec{a}\|\|\vec{c}\|\cos(\pi/2)=\|\vec{a}\|\|\vec{c}\|$ なので、$\vec{a}$ の大きさの$\|\vec{c}\|$倍になる。<br/>
+
-
同様に、$\vec{b}\times \vec{c}$ の大きさは、$\vec{a}$ の大きさの$\|\vec{c}\|$倍になる。<br/>
+
-
・以上の結果より、所望の結果は示された。<br/><br/>
+
-
 ⅱ)$ \qquad (\vec{a}+ \vec{b})\times \vec{c}= \vec{a} \times \vec{c} + \vec{b} \times \vec{c}$を示そう。<br/>
+
-
・ ⅰ)と同じ議論により、<br/>
+
-
$(\vec{a}+ \vec{b}) \times \vec{c}$は$\vec{a}, \vec{b}$の張る平行四辺形の対角線を、原点周りに90度、同じ向きに回転させ、$\|\vec{c}\|$倍させたものであることが分かる。<br/>
+
-
・すると、ⅰ)で示したことから、$(\vec{a}+ \vec{b}) \times \vec{c}$は<br/>
+
-
$\vec{a} \times \vec{c}, \vec{b} \times \vec{c}$ の張る平行四辺形の対角線$\vec{a} \times \vec{c}+\vec{b} \times \vec{c}$ に等しいことが分かる。<br/>
+
-
・以上で①が示せた。<br/>
+
-
 
+
-
② 一般の場合。<br/>
+
-
命題1より、$\perp$ を$\vec{c}$と垂直な成分を表すとすると、 $ (\vec{a}+ \vec{b})\times \vec{c}= (\vec{a}+ \vec{b})_\perp \times \vec{c} \qquad \qquad \qquad $(1)<br/>
+
-
$(\vec{a}+ \vec{b})_\perp =\vec{a}_\perp +\vec{b}_\perp$なので、(1)式は、<br/>
+
-
$ = (\vec{a}_\perp +\vec{b}_\perp) \times \vec{c}$ <br/>
+
-
①より、<br/>
+
-
$ = \vec{a}_\perp \times \vec{c}+\vec{b}_\perp\times \vec{c}=\vec{a} \times \vec{c}+\vec{b} \vec{c}$  $ \qquad $ 命題4の証明終わり。<br/>
+
-
 
+
-
 
+
-
命題4の系  <br/>  
+
-
$ \quad \vec{a} \times (\vec{b}+ \vec{c})= \vec{a} \times \vec{b} + \vec{a} \times \vec{c}$<br/>
+
-
$ \quad (\vec{a}+ \vec{b}+\vec{c})\times \vec{d}=\vec{a}\times \vec{d}+\vec{b}\times \vec{d}+\vec{c}\times \vec{d}$<br/>
+
-
証明;<br/>
+
-
命題2より、<br/>
+
-
$\vec{a} \times (\vec{b}+ \vec{c})= -\left((\vec{b}+ \vec{c})\times \vec{a}\right) $  命題3から      <br/>
+
-
$=\left(-(\vec{b}+ \vec{c})\right)\times \vec{a}$
+
-
命題4より、<br/>
+
-
$= -(\vec{b} \times \vec{a}+ \vec{c} \times \vec{a})$  <br/>
+
-
再び命題2より、<br/>
+
-
$=\vec{a} \times \vec{b} + \vec{a} \times \vec{c} \quad $前半の証明終わり <br/>
+
-
命題2より、<br/>
+
-
$ (\vec{a}+ \vec{b}+\vec{c})\times \vec{d}=(\vec{a}+ \vec{b})\times \vec{d}+\vec{c})\times \vec{d}$  <br/>
+
-
再び命題2より、<br/>
+
-
$ =\vec{a}\times \vec{d}+\vec{b}\times \vec{d}+\vec{c}\times \vec{d}$
+
-
$\quad$証明終わり。<br/> 
+
-
命題5.$\quad (\vec{e_1},\vec{e_2}, \vec{e_3})$ を<br/>
+
-
それぞれ大きさ(長さ)1で互いに直交し、[[wikipedia_ja:右手系|右手系]]をなす、ベクトル(右手系をなす正規直交基底)とする。<br/>
+
-
 
+
-
この時、<br/>
+
-
$ \quad  \vec{e_1} \times \vec{e_2} = \vec{e_3}, \quad
+
-
\vec{e_2} \times \vec{e_3} = \vec{e_1}, \quad
+
-
\vec{e_3} \times \vec{e_1} = \vec{e_2}$<br/>
+
-
証明;ベクトル積と$(e_1,e_2,e_3)$ の定義から明らかである。<br/>
+
-
 
+
-
命題6.ベクトル$\vec a, \vec b$を,命題5で用いた基底$ (\vec{e_1},\vec{e_2}, \vec{e_3})$ で決まる座標の座標成分で表示しておく。<br/>
+
-
すると$\vec a \times \vec b=(a_yb_z-a_zb_y,a_zb_x-a_xb_z,a_xb_y-a_yb_x)$ <br/>
+
-
証明;$\vec a=a_x\vec{e_x}+a_y\vec{e_y}+a_z\vec{e_z}$, <br/>
+
-
$\vec b=b_x\vec{e_x}+b_y\vec{e_y}+b_z\vec{e_z}$と表せるので、<br/>
+
-
$\vec a \times \vec b=(a_x\vec{e_x}+a_y\vec{e_y}+a_z\vec{e_z})\times \vec b$
+
-
命題3の系から<br/>
+
-
$=a_x\vec{e_x}\times \vec b
+
-
+a_y\vec{e_y}\times \vec b
+
-
+a_z\vec{e_z}\times \vec b$  $\qquad$          (1)<br/>
+
-
式(1)の第1項
+
-
$a_x\vec{e_x}\times \vec b$
+
-
+
-
$\vec b=b_x\vec{e_x}+b_y\vec{e_y}+b_z\vec{e_z}$
+
-
を代入して、命題3の系を使って変形すると、<br/>
+
-
$a_x\vec{e_x}\times \vec b
+
-
=a_x\vec{e_x}\times b_x\vec{e_x}
+
-
+a_x\vec{e_x}\times b_y\vec{e_y}
+
-
+a_x\vec{e_x}\times b_z\vec{e_z}$  $\qquad$      (2) <br/>
+
-
命題4と命題5を使うと、<br/>
+
-
$a_x\vec{e_x}\times b_x\vec{e_x}
+
-
=a_x b_x\vec{e_x}\times \vec{e_x}
+
-
=\vec 0$  。<br/>
+
-
同様の計算を行うと、<br/>
+
-
$a_x\vec{e_x}\times b_y\vec{e_y}
+
-
=a_x b_y\vec{e_x}\times \vec{e_y}
+
-
=a_x b_y\vec{e_z}$ <br/>
+
-
 
+
-
$a_x\vec{e_x}\times b_z\vec{e_z}
+
-
=a_x b_z\vec{e_x}\times \vec{e_z}
+
-
=-a_x b_z\vec{e_y}$ <br/>
+
-
式(2)にこれらを代入して、<br/>
+
-
$a_x\vec{e_x}\times \vec b
+
-
=a_x b_y\vec{e_z}  - a_x b_z\vec{e_y} $  $\qquad$ (3)<br/>
+
-
 
+
-
式(1)の第2項、第3項も同様に計算すると、<br/>
+
-
$a_y\vec{e_y}\times \vec b
+
-
=a_y b_z\vec{e_x}  - a_y b_x\vec{e_z} $    $\qquad$ (4)<br/>
+
-
 
+
-
$a_z\vec{e_z}\times \vec b
+
-
=a_z b_x\vec{e_y}  - a_z b_y\vec{e_x} $    $\qquad$ (5)<br/>
+
-
 
+
-
式(3),(4),(5) を、式 (1)に代入すると、<br/>
+
-
$\vec a \times \vec b
+
-
=a_x b_y\vec{e_z}  - a_x b_z\vec{e_y}
+
-
+a_y b_z\vec{e_x}  - a_y b_x\vec{e_z}
+
-
+a_z b_x\vec{e_y}  - a_z b_y\vec{e_x}$ <br/>
+
-
$ =(a_y b_z - a_z b_y)\vec{e_x}
+
-
+(a_z b_x - a_x b_z)\vec{e_y}
+
-
+(a_x b_y - a_y b_x)\vec{e_z}$ <br/>
+
-
命題6の証明終わり。<br/>
+
-
命題7の証明;<br/>
+
-
$ \quad (\vec{a} \times \vec{b})\cdot \vec{c}= (\vec{c} \times \vec{a})\cdot\vec{b}$を証明しよう。<br/>
+
-
残りも、同様に証明出来るので各自試みてください。<br/>
+
-
右手系をなす一つの直交座標を決める。<br/>
+
-
3つのベクトルを、この座標の成分で表示して、命題6と内積の命題を使えば、左右が等しいことが証明できる。<br/>
+
-
概略をスケッチしよう。<br/>
+
-
$ \quad (\vec{a} \times \vec{b})\cdot \vec{c}
+
-
=(a_yb_z-a_zb_y,a_zb_x-a_xb_z,a_xb_y-a_yb_x)
+
-
\cdot (c_x,c_y,c_z)
+
-
=(a_yb_z-a_zb_y)c_x+(a_zb_x-a_xb_z)c_y+(a_xb_y-a_yb_x)c_z$ <br/>
+
-
$ \quad (\vec{c} \times \vec{a})\cdot\vec{b}$も、これと同じように計算する。<br/>これら両式を整頓すると、同じものであることが分かる。<br/>
+
-
命題7.<br/>
+
-
$(\vec{a} \times \vec{b})\cdot \vec{c}= (\vec{c} \times \vec{a})\cdot\vec{b} =(\vec{b} \times \vec{c})\cdot\vec{a}$  <br/>
+
-
証明<br/>
+
-
$(\vec{a} \times \vec{b})\cdot \vec{c}= (\vec{c} \times \vec{a})\cdot\vec{b}$を証明しよう。<br/>
+
-
残りも、同様に証明出来るので各自試みてください。<br/>
+
-
右手系をなす一つの直交座標を決める。<br/>
+
-
3つのベクトルを、この座標の成分で表示して、命題6と内積の命題を使えば、左右が等しいことが証明できる。<br/>
+
-
概略をスケッチしよう。<br/>
+
-
$(\vec{a} \times \vec{b})\cdot \vec{c}
+
-
=(a_yb_z-a_zb_y,a_zb_x-a_xb_z,a_xb_y-a_yb_x)
+
-
\cdot (c_x,c_y,c_z)
+
-
=(a_yb_z-a_zb_y)c_x+(a_zb_x-a_xb_z)c_y+(a_xb_y-a_yb_x)c_z$ <br/>
+
-
$ \quad (\vec{c} \times \vec{a})\cdot\vec{b}$も、これと同じように計算する。<br/>これら両式を整頓すると、同じものであることが分かる。<br/>
+
-
命題7の証明終わり。<br/>
+

2021年6月7日 (月) 11:50 時点における最新版

ベクトル積

個人用ツール