物理/物理数学(1) ベクトル・ベクトル空間と解析学
提供: Internet Web School
(ページの作成: == 内積とノルム== 内積とノルムは物理学では良くつかわれるので 本テキストで必要となる命題と証明を紹介する。<br/> 以下では、<b…)
次の差分→
2015年2月13日 (金) 10:52時点における版
目次[非表示] |
内積とノルム
内積とノルムは物理学では良くつかわれるので
本テキストで必要となる命題と証明を紹介する。
以下では、
→a,→b,→cは、すべて同じ次元（２か３）のベクトルとし、 αは実数とする。
座標成分表示が必要な命題では、直交座標系表示を用いる。
内積とノルムの定義
命題１
→a⋅→b=→b⋅→a
命題２
→a⋅→b=∑iaibi
ここでa1,b1はそれぞれ→a,→bのx座標成分、同様に、添え字２はy座標成分、３はz座標成分
直交座標系はどんなものでも良い。しかしすべてのベクトルは同じ座標系で座標成分表示しなければならない。
===命題３===（
(→a+→b)⋅→c=→a⋅→c+→b⋅→c
命題４
(α→a)⋅→b=→a⋅(α→b)=α(→a⋅→b)
が成り立つ。
命題５
→a⋅→a=‖→a‖2=∑ia2i
命題６
‖→a⋅→b‖≤‖→a‖‖→b‖
命題７
ノルムの性質；‖→a+→b‖≤‖→a‖+‖→b‖
(証明)
(1)は、内積の定義から明らか。
(2)；次の三角形の余弦定理を利用する。
三角形の第２余弦定理;
図のような△ABCを考える。
頂点A,B,Cの対辺の長さをそれぞれa,b,cとし、∠ACB=θとする。
すると、c2=a2+b2−2abcosθ
余弦定理の証明；頂点Aから対辺BCにおろした垂線の足をHとする。
ピタゴラスの定理により、
c2=¯BH2+¯AH2。 右辺の第2項に、再び、ピタゴラスの定理を適用して、
=¯BH2+(b2−¯CH2) ¯BH=a−¯CHを代入すると、
=(a−¯CH)2+(b2−¯CH2)=a2+b2−2a¯CH, ¯CH=bcosθなので、代入すると
=a2+b2−2abcosθ
証明終わり。
(2)の証明
ベクトル→aと→bを、
始点が点Cである有向線分で表現し、その終点をB,Cで表す。
すると→a=→CB, →b=→CAである。
ベクトル→c=→a−→bを導入すると、
→c=→a−→b=→CB−→CA=→CB+→AC=→AB
３角形△ABCを考え、第２余弦定理を適用しよう。
∠ACB=θとおく。すると、
‖→c‖2=‖→a‖2+‖→b‖2−2‖→a‖‖→b‖cosθ
=‖→a‖2+‖→b‖2−2→a⋅→bが得られる。
この式を変形して→a⋅→bだけを左辺に置くと、
→a⋅→b=(‖→a‖2+‖→b‖2−‖→c‖2)/2 。
→c=→AB=→AC+→CB=−→b+→aなので、
→a⋅→b=(‖→a‖2+‖→b‖2−‖→a−→b‖2)/2
この右辺を、ベクトルの直交座標成分で表すと、次式が得られる。
→a⋅→b=(∑ia2i+∑ib2i−∑i(ai−bi)2)/2
=∑iaibi
（２）の証明終わり。
（性質３）の証明；ある一つの直交座標系をさだめ、両辺を、性質(２)を利用して、座標成分であらわす。両辺が等しいことが分かる。
（性質４）の証明；同様に、３つの式を、座標成分表示すれば、みな等しいことが、簡単に分かる。
