物理/平面と空間,ベクトル
提供: Internet Web School
8.1 平面と空間のベクトル
目次 |
平面と空間,ベクトル
平面や空間への直観を重視し、幾何学的な説明をする。
以後、物理数学の説明では、集合についての初歩的知識を使う。
また定理等の証明では、(数理的)論理とくに一階述語論理の初等的知識が必要になる。
集合と論理の導入部については
を読んでください。
この本では、不十分なので、以下に若干補足する。
(数理的)論理
数学的な議論は、(幾つかの）真の命題から他の真の命題を導く推論の連続である。
ここで、命題(proposition)というのは、内容の真偽が客観的に確定する文（叙述、言明)あるいは式のこと。
これらの推論に共通に用いられる論理的推論法を、
記号を用いて表現し数学的に研究するのが、数理的論理学である。
命題論理
述語論理
集合について
以下の説明では、集合についてのごく初歩的知識を使うので、なじみのない方は、
集合の素朴な定義と集合の表記法、
集合Ａの補集合 UNIQ3d43c55a2078e43-MathJax-404-QINU、
2つの集合Ａ，Ｂの包含関係すなわち,
ＡとＢが等しい Ａ＝Ｂ， ＡはＢの部分集合 UNIQ3d43c55a2078e43-MathJax-405-QINUあるいはUNIQ3d43c55a2078e43-MathJax-406-QINU、
AはＢの真の部分集合 UNIQ3d43c55a2078e43-MathJax-407-QINU
および、
２つ以上の集合の演算（ＡとＢの和集合UNIQ3d43c55a2078e43-MathJax-408-QINU、共通集合UNIQ3d43c55a2078e43-MathJax-409-QINU、差集合UNIQ3d43c55a2078e43-MathJax-410-QINU、対称差集合UNIQ3d43c55a2078e43-MathJax-411-QINU、直積UNIQ3d43c55a2078e43-MathJax-412-QINU）
などについて、以下の記事で学習してほしい。
集合の演算規則
Ａ，Ｂ，Ｃ，Ｄ等は集合とする。
命題１ (交換法則） 集合の和、共通部分、対称差 という演算は交換可能である。
UNIQ3d43c55a2078e43-MathJax-413-QINU数式で書けば UNIQ3d43c55a2078e43-MathJax-414-QINU
命題２ （結合法則）UNIQ3d43c55a2078e43-MathJax-415-QINU（注参照）
命題３（分配法則） UNIQ3d43c55a2078e43-MathJax-416-QINU
命題４ UNIQ3d43c55a2078e43-MathJax-417-QINU
命題５ UNIQ3d43c55a2078e43-MathJax-418-QINU
命題６ UNIQ3d43c55a2078e43-MathJax-419-QINU
（注）対称差についても結合法則 UNIQ3d43c55a2078e43-MathJax-420-QINUは成立する。
興味ある方は証明して下さい。
平面と空間
我々は、太古の昔から自分たちの暮らすこの世界は、縦、横、高さをもつ３次元の空間であり、
この空間なかの、縦、横をもち、高さのない平らな無限の拡がりを平面として認識してきた。
この空間や平面、その中にある色々な図形の性質を厳密に理解しようとして、
平面幾何学や立体幾何学(ユークリッド幾何学)を生み出してきた。
この中で考えられた平面や空間は、２次元および３次元のユークリッド空間と呼ばれる。
下記の記事中の「序文」と「1. 直観的な説明」をお読みください。
また、この章の「2. 我々の住む空間の数学的モデル(1)」も御覧ください。
ベクトルの和と実数倍
空間の異なる2点、Ｐ，Ｑを通る直線は必ず一本あり、一本に限られる。
これを直線UNIQ3d43c55a2078e43-MathJax-421-QINUという。
この直線で、ＰとＱの間にある部分だけを考えるとき、線分UNIQ3d43c55a2078e43-MathJax-422-QINUという。
この線分に向き(矢印で表示）をつけたものを有向線分UNIQ3d43c55a2078e43-MathJax-423-QINUという。
この有向線分と長さと方向・向きの等しい有向線分を全て同一なものとみなすと
ベクトルUNIQ3d43c55a2078e43-MathJax-424-QINUが得られる。
詳しくは、
２章力学の「有向線分からベクトルへ」を参照のこと。
ベクトルの和や実数倍については２章力学の１節で説明したが、重要なので
証明は除いて、定義と性質だけを再度記載する。
２つのベクトルの和
和の定義
定義；２つのベクトルUNIQ3d43c55a2078e43-MathJax-425-QINUとベクトルUNIQ3d43c55a2078e43-MathJax-426-QINUの和を、次のように定義する。
・UNIQ3d43c55a2078e43-MathJax-427-QINU,UNIQ3d43c55a2078e43-MathJax-428-QINUと表現して、
UNIQ3d43c55a2078e43-MathJax-429-QINU；
・和の別の定義；
UNIQ3d43c55a2078e43-MathJax-430-QINU,UNIQ3d43c55a2078e43-MathJax-431-QINUと表現する。
有向線分UNIQ3d43c55a2078e43-MathJax-432-QINUと有向線分UNIQ3d43c55a2078e43-MathJax-433-QINUを２辺とする平行四辺形UNIQ3d43c55a2078e43-MathJax-434-QINUを作る。
すると、
UNIQ3d43c55a2078e43-MathJax-435-QINU;
が成り立つ。
この両者は同値である。
和の性質
UNIQ3d43c55a2078e43-MathJax-436-QINU ; 交換法則
UNIQ3d43c55a2078e43-MathJax-437-QINU ；結合法則
零ベクトルの存在
零ベクトルUNIQ3d43c55a2078e43-MathJax-438-QINUが存在し、
すべてのベクトルUNIQ3d43c55a2078e43-MathJax-439-QINUに対して、
UNIQ3d43c55a2078e43-MathJax-440-QINU
が成り立つ。
逆元の存在
任意のベクトルUNIQ3d43c55a2078e43-MathJax-441-QINUは、UNIQ3d43c55a2078e43-MathJax-442-QINUを満たすベクトルを
一つ、そして一つだけ持つ。
これをUNIQ3d43c55a2078e43-MathJax-443-QINUの逆元(逆ベクトル)と言い、UNIQ3d43c55a2078e43-MathJax-444-QINUで表す。
それは、UNIQ3d43c55a2078e43-MathJax-445-QINUと大きさ、方向が同じで、向きが逆のベクトルである。
定義から、UNIQ3d43c55a2078e43-MathJax-446-QINU
UNIQ3d43c55a2078e43-MathJax-447-QINU と表現しておくと、UNIQ3d43c55a2078e43-MathJax-448-QINU と表現できる。
ベクトルの引算
任意のベクトルUNIQ3d43c55a2078e43-MathJax-449-QINU から、任意のベクトルUNIQ3d43c55a2078e43-MathJax-450-QINU を引いたベクトルUNIQ3d43c55a2078e43-MathJax-451-QINUを、
UNIQ3d43c55a2078e43-MathJax-452-QINU
で定義する。
ベクトルの実数倍
UNIQ3d43c55a2078e43-MathJax-453-QINUを任意の実数とする。
UNIQ3d43c55a2078e43-MathJax-454-QINUが零ベクトルでない時、そのUNIQ3d43c55a2078e43-MathJax-455-QINU倍、UNIQ3d43c55a2078e43-MathJax-456-QINUは次のように定義する。
・UNIQ3d43c55a2078e43-MathJax-457-QINUが正数のとき；UNIQ3d43c55a2078e43-MathJax-458-QINUは、UNIQ3d43c55a2078e43-MathJax-459-QINUと方向・向きは同じで、大きさがUNIQ3d43c55a2078e43-MathJax-460-QINU倍であるベクトルで定義する。
・UNIQ3d43c55a2078e43-MathJax-461-QINUのとき；UNIQ3d43c55a2078e43-MathJax-462-QINUで定義する。
・UNIQ3d43c55a2078e43-MathJax-463-QINUのとき；UNIQ3d43c55a2078e43-MathJax-464-QINU
UNIQ3d43c55a2078e43-MathJax-465-QINUのときは、UNIQ3d43c55a2078e43-MathJax-466-QINUとする。
このように定義すると、
ベクトルの実数倍がベクトルとして定まる。
次の諸法則が成り立つ。
UNIQ3d43c55a2078e43-MathJax-467-QINU
UNIQ3d43c55a2078e43-MathJax-468-QINU
UNIQ3d43c55a2078e43-MathJax-469-QINU
UNIQ3d43c55a2078e43-MathJax-470-QINU
内積とノルム
内積とノルムは物理学で良く使われる。
本テキストで必要となる命題と証明を紹介する。
以下では、
UNIQ3d43c55a2078e43-MathJax-471-QINUは、すべて同じ次元（２か３）のベクトルとし、 UNIQ3d43c55a2078e43-MathJax-472-QINUは実数とする。
なお、全ての命題は、4次元以上のベクトルに対しても成り立つが省略する(注参照）。
座標成分表示が必要な命題では、直交座標系表示を用いる。
（注）ｎ次元(＞３）も含めた一般のｎ次元ベクトルの内積は、後述の命題２
2-ノルムと内積の定義
ベクトルUNIQ3d43c55a2078e43-MathJax-473-QINUの2-ノルム（あるいはユークリッドノルム）とは、
UNIQ3d43c55a2078e43-MathJax-474-QINUのことで、
ベクトルの長さ(大きさ）を表す。
ベクトルUNIQ3d43c55a2078e43-MathJax-475-QINUの内積とは
UNIQ3d43c55a2078e43-MathJax-476-QINU
ここで、UNIQ3d43c55a2078e43-MathJax-477-QINUは、ベクトルUNIQ3d43c55a2078e43-MathJax-478-QINUのなす角(UNIQ3d43c55a2078e43-MathJax-479-QINU )である。
この定義から、
UNIQ3d43c55a2078e43-MathJax-480-QINU
であることが分かる。
以後、単にノルム、UNIQ3d43c55a2078e43-MathJax-481-QINU とかけば、２－ノルムであるとする。
内積とノルムの性質
命題１
UNIQ3d43c55a2078e43-MathJax-482-QINU
証明；内積の定義から明らか。
命題２
UNIQ3d43c55a2078e43-MathJax-483-QINU
ここでUNIQ3d43c55a2078e43-MathJax-484-QINUはそれぞれUNIQ3d43c55a2078e43-MathJax-485-QINUのx座標成分、同様に、添え字２はy座標成分、３はz座標成分
直交座標系はどんなものでも良い。しかしすべてのベクトルは同じ座標系で座標成分表示しなければならない。
証明
次の三角形の余弦定理を利用する。
三角形の第２余弦定理;
図のようなUNIQ3d43c55a2078e43-MathJax-486-QINUを考える。
頂点A,B,Cの対辺の長さをそれぞれUNIQ3d43c55a2078e43-MathJax-487-QINUとし、UNIQ3d43c55a2078e43-MathJax-488-QINUとする。
すると、UNIQ3d43c55a2078e43-MathJax-489-QINU
余弦定理の証明；頂点UNIQ3d43c55a2078e43-MathJax-490-QINUから対辺UNIQ3d43c55a2078e43-MathJax-491-QINUにおろした垂線の足をUNIQ3d43c55a2078e43-MathJax-492-QINUとする。
ピタゴラスの定理により、
UNIQ3d43c55a2078e43-MathJax-493-QINU。UNIQ3d43c55a2078e43-MathJax-494-QINU 右辺の第2項に、再び、ピタゴラスの定理を適用して、
UNIQ3d43c55a2078e43-MathJax-495-QINU UNIQ3d43c55a2078e43-MathJax-496-QINU UNIQ3d43c55a2078e43-MathJax-497-QINUを代入すると、
UNIQ3d43c55a2078e43-MathJax-498-QINU,UNIQ3d43c55a2078e43-MathJax-499-QINU UNIQ3d43c55a2078e43-MathJax-500-QINUなので、代入すると
UNIQ3d43c55a2078e43-MathJax-501-QINU
余弦定理の証明終わり。
命題２の証明
ベクトルUNIQ3d43c55a2078e43-MathJax-502-QINUとUNIQ3d43c55a2078e43-MathJax-503-QINUを、
始点が点UNIQ3d43c55a2078e43-MathJax-504-QINUである有向線分で表現し、その終点をUNIQ3d43c55a2078e43-MathJax-505-QINU,UNIQ3d43c55a2078e43-MathJax-506-QINUで表す。
するとUNIQ3d43c55a2078e43-MathJax-507-QINU, UNIQ3d43c55a2078e43-MathJax-508-QINUである。
ベクトルUNIQ3d43c55a2078e43-MathJax-509-QINUを導入すると、
UNIQ3d43c55a2078e43-MathJax-510-QINU
３角形UNIQ3d43c55a2078e43-MathJax-511-QINUを考え、第２余弦定理を適用しよう。
UNIQ3d43c55a2078e43-MathJax-512-QINUとおく。すると、
UNIQ3d43c55a2078e43-MathJax-513-QINU
UNIQ3d43c55a2078e43-MathJax-514-QINUが得られる。
この式を変形してUNIQ3d43c55a2078e43-MathJax-515-QINUだけを左辺に置くと、
UNIQ3d43c55a2078e43-MathJax-516-QINU 。
UNIQ3d43c55a2078e43-MathJax-517-QINUなので、
UNIQ3d43c55a2078e43-MathJax-518-QINU
この右辺を、ベクトルの直交座標成分で表すと、次式が得られる。
UNIQ3d43c55a2078e43-MathJax-519-QINU
UNIQ3d43c55a2078e43-MathJax-520-QINU
命題２の証明終わり。
命題３
UNIQ3d43c55a2078e43-MathJax-521-QINU
証明
ある一つの直交座標系をさだめ、両辺を、命題(２)を利用して、座標成分であらわす。両辺が等しいことが分かる。
系； UNIQ3d43c55a2078e43-MathJax-522-QINU
証明；命題１を利用して、左辺の項の順番を入れ替え、命題３を適用し、再び命題１を用いればよい。
命題４
UNIQ3d43c55a2078e43-MathJax-523-QINU
が成り立つ。
証明
同様に、３つの式を、座標成分表示すれば、みな等しいことが、簡単に分かる。
命題５（シュワルツの不等式）
UNIQ3d43c55a2078e43-MathJax-524-QINU
証明；UNIQ3d43c55a2078e43-MathJax-525-QINUなので内積の定義から、ただちに分かる。
命題６ ノルムの三角不等式
UNIQ3d43c55a2078e43-MathJax-526-QINU
証明
UNIQ3d43c55a2078e43-MathJax-527-QINU
命題３を使って計算すると、
UNIQ3d43c55a2078e43-MathJax-528-QINU
命題５より、
UNIQ3d43c55a2078e43-MathJax-529-QINU
故にUNIQ3d43c55a2078e43-MathJax-530-QINU
両辺の平方根をとれば所要の不等式を得る。
一般のノルムの定義とノルムの同等性
定義
ｎ次元ベクトルUNIQ3d43c55a2078e43-MathJax-531-QINU に対し、実数値 UNIQ3d43c55a2078e43-MathJax-532-QINU を対応させる関数は、次の3つの条件を満たすならばノルムと呼ばれる。
１）UNIQ3d43c55a2078e43-MathJax-533-QINU
２）UNIQ3d43c55a2078e43-MathJax-534-QINU
３）任意の実数UNIQ3d43c55a2078e43-MathJax-535-QINUに対し、UNIQ3d43c55a2078e43-MathJax-536-QINU
ノルム条件を満たし、ノルムと呼ばれるものには、
p‐ノルム(UNIQ3d43c55a2078e43-MathJax-537-QINU)； UNIQ3d43c55a2078e43-MathJax-538-QINU
UNIQ3d43c55a2078e43-MathJax-539-QINU；UNIQ3d43c55a2078e43-MathJax-540-QINU
などがある。
2‐ノルムは、ｐ＝２の場合である。
これ等のノルムの間には次の順序関係が成り立つ。
定理
UNIQ3d43c55a2078e43-MathJax-541-QINU
系；
p をⅠより大きい実数、あるいは UNIQ3d43c55a2078e43-MathJax-542-QINU とする。
ベクトル列 (UNIQ3d43c55a2078e43-MathJax-543-QINU が、ｐ－ノルムでベクトル UNIQ3d43c55a2078e43-MathJax-544-QINU に収束する
必要十分条件は
１－ノルムで収束することである。式でかくと
UNIQ3d43c55a2078e43-MathJax-545-QINU
次の定理は2-ノルムの場合のシュワルツの不等式の一般化である。
定理
UNIQ3d43c55a2078e43-MathJax-546-QINU とする。qを UNIQ3d43c55a2078e43-MathJax-547-QINU を満たす実数とすると、
UNIQ3d43c55a2078e43-MathJax-548-QINU
である。
但し、UNIQ3d43c55a2078e43-MathJax-549-QINU とする。
ベクトル積
本節での全ての命題で、
UNIQ3d43c55a2078e43-MathJax-550-QINUは3次元ベクトル
UNIQ3d43c55a2078e43-MathJax-551-QINUを実数とする。
命題７
UNIQ3d43c55a2078e43-MathJax-552-QINU を, UNIQ3d43c55a2078e43-MathJax-553-QINUと垂直な成分UNIQ3d43c55a2078e43-MathJax-554-QINU と,平行な成分UNIQ3d43c55a2078e43-MathJax-555-QINU の和に分解するとき、
UNIQ3d43c55a2078e43-MathJax-556-QINU
UNIQ3d43c55a2078e43-MathJax-557-QINU
証明；ベクトル積の定義から、容易に示せる。
２つのベクトルの作る平行四辺形の面積と方向・向きを考えれば良い。
命題８
UNIQ3d43c55a2078e43-MathJax-558-QINU
証明；２つのベクトルを入れ替えても、それらが作る平行四辺形の面積は変わらず、この四辺形に直交する直線の方向も変わらない。
しかし、ベクトル積の向きは、逆向きになる。
ベクトル積の定義から、UNIQ3d43c55a2078e43-MathJax-559-QINU が示せた。
命題９
UNIQ3d43c55a2078e43-MathJax-560-QINU
証明；実数UNIQ3d43c55a2078e43-MathJax-561-QINU が正、零、負の場合に分けて考える。
いずれの場合にも,
ベクトル積の定義とベクトルと実数の積の命題から、容易に証明できる。
命題１０
UNIQ3d43c55a2078e43-MathJax-562-QINU
証明；
この証明には少し工夫が必要である。
ベクトル積の命題の中でも、もっとも大切なものなので、詳しく説明しよう。
① UNIQ3d43c55a2078e43-MathJax-563-QINU とUNIQ3d43c55a2078e43-MathJax-564-QINU が直交する場合。図参照のこと
・議論をやさしくするため、ベクトルを、空間の原点UNIQ3d43c55a2078e43-MathJax-565-QINU を始点とする有向線分で代表させる。
・UNIQ3d43c55a2078e43-MathJax-566-QINU と直交しUNIQ3d43c55a2078e43-MathJax-567-QINU を通る平面をUNIQ3d43c55a2078e43-MathJax-568-QINUとする。
・仮定よりUNIQ3d43c55a2078e43-MathJax-569-QINUは、ともに平面UNIQ3d43c55a2078e43-MathJax-570-QINU上のベクトルである。
・UNIQ3d43c55a2078e43-MathJax-571-QINUも、
ベクトル積の定義により、共にUNIQ3d43c55a2078e43-MathJax-572-QINU と直交するので、UNIQ3d43c55a2078e43-MathJax-573-QINU上のベクトルである。
これら四つのベクトルはすべて平面UNIQ3d43c55a2078e43-MathJax-574-QINU上にあるので、今後の議論はこの平面上で進める。
ⅰ）UNIQ3d43c55a2078e43-MathJax-575-QINU の張る平行四辺形は,
UNIQ3d43c55a2078e43-MathJax-576-QINUの張る平行四辺形を、UNIQ3d43c55a2078e43-MathJax-577-QINU倍し,原点周りに９０度回転したものになることを、示そう。
・UNIQ3d43c55a2078e43-MathJax-578-QINUは、ベクトル積の定義から、UNIQ3d43c55a2078e43-MathJax-579-QINU と直交する。
そのため、UNIQ3d43c55a2078e43-MathJax-580-QINU を平面UNIQ3d43c55a2078e43-MathJax-581-QINU上で、原点まわりに、９０度右回りか、左回りすれば、方向と向きが一致する。
・UNIQ3d43c55a2078e43-MathJax-582-QINUも、同様に考え、UNIQ3d43c55a2078e43-MathJax-583-QINU を平面UNIQ3d43c55a2078e43-MathJax-584-QINU上で、原点まわりに、９０度右回りか、左回りすれば、方向と向きが一致することが分かる。
・どちら周りの回転になるかは、ベクトル積の定義によって決まるが、
後者の回転の向きが、前者の回転の向きと一致することが分かる。
・UNIQ3d43c55a2078e43-MathJax-585-QINU の大きさは、
UNIQ3d43c55a2078e43-MathJax-586-QINU なので、UNIQ3d43c55a2078e43-MathJax-587-QINU の大きさのUNIQ3d43c55a2078e43-MathJax-588-QINU倍になる。
同様に、UNIQ3d43c55a2078e43-MathJax-589-QINU の大きさは、UNIQ3d43c55a2078e43-MathJax-590-QINU の大きさのUNIQ3d43c55a2078e43-MathJax-591-QINU倍になる。
・以上の結果より、所望の結果は示された。
ⅱ）UNIQ3d43c55a2078e43-MathJax-592-QINUを示そう。
・ ⅰ)と同じ議論により、
UNIQ3d43c55a2078e43-MathJax-593-QINUはUNIQ3d43c55a2078e43-MathJax-594-QINUの張る平行四辺形の対角線を、原点周りに９０度、同じ向きに回転させ、UNIQ3d43c55a2078e43-MathJax-595-QINU倍させたものであることが分かる。
・すると、ⅰ)で示したことから、UNIQ3d43c55a2078e43-MathJax-596-QINUは
UNIQ3d43c55a2078e43-MathJax-597-QINU の張る平行四辺形の対角線UNIQ3d43c55a2078e43-MathJax-598-QINU に等しいことが分かる。
・以上で①が示せた。
② 一般の場合。
命題1より、UNIQ3d43c55a2078e43-MathJax-599-QINU をUNIQ3d43c55a2078e43-MathJax-600-QINUと垂直な成分を表すとすると、 UNIQ3d43c55a2078e43-MathJax-601-QINU(1)
UNIQ3d43c55a2078e43-MathJax-602-QINUなので、(1)式は、
UNIQ3d43c55a2078e43-MathJax-603-QINU
①より、
UNIQ3d43c55a2078e43-MathJax-604-QINU UNIQ3d43c55a2078e43-MathJax-605-QINU 命題４の証明終わり。
命題１０の系
UNIQ3d43c55a2078e43-MathJax-606-QINU
UNIQ3d43c55a2078e43-MathJax-607-QINU
証明；
命題８より、
UNIQ3d43c55a2078e43-MathJax-608-QINU 命題９から
UNIQ3d43c55a2078e43-MathJax-609-QINU
命題４より、
UNIQ3d43c55a2078e43-MathJax-610-QINU
再び命題８より、
UNIQ3d43c55a2078e43-MathJax-611-QINU前半の証明終わり
命題８より、
UNIQ3d43c55a2078e43-MathJax-612-QINU
再び命題８より、
UNIQ3d43c55a2078e43-MathJax-613-QINU
UNIQ3d43c55a2078e43-MathJax-614-QINU証明終わり。
命題１１
UNIQ3d43c55a2078e43-MathJax-615-QINU を
それぞれ大きさ(長さ)１で互いに直交し、右手系をなす、ベクトル(右手系をなす正規直交基底)とする。
この時、
UNIQ3d43c55a2078e43-MathJax-616-QINU
証明；ベクトル積とUNIQ3d43c55a2078e43-MathJax-617-QINU の定義から明らかである。
命題１２
ベクトルUNIQ3d43c55a2078e43-MathJax-618-QINUを,命題５で用いた基底UNIQ3d43c55a2078e43-MathJax-619-QINUで決まる座標を用いて
UNIQ3d43c55a2078e43-MathJax-620-QINU と表示しておく。
するとUNIQ3d43c55a2078e43-MathJax-621-QINU
証明；UNIQ3d43c55a2078e43-MathJax-622-QINU,
UNIQ3d43c55a2078e43-MathJax-623-QINUと表せるので、
UNIQ3d43c55a2078e43-MathJax-624-QINU
命題３の系から
UNIQ3d43c55a2078e43-MathJax-625-QINU UNIQ3d43c55a2078e43-MathJax-626-QINU (1)
式(1)の第１項
UNIQ3d43c55a2078e43-MathJax-627-QINU
に
UNIQ3d43c55a2078e43-MathJax-628-QINU
を代入して、命題３の系を使って変形すると、
UNIQ3d43c55a2078e43-MathJax-629-QINU UNIQ3d43c55a2078e43-MathJax-630-QINU (2)
命題１０と命題１１を使うと、
UNIQ3d43c55a2078e43-MathJax-631-QINU 。
同様の計算を行うと、
UNIQ3d43c55a2078e43-MathJax-632-QINU
UNIQ3d43c55a2078e43-MathJax-633-QINU
式(2)にこれらを代入して、
UNIQ3d43c55a2078e43-MathJax-634-QINU UNIQ3d43c55a2078e43-MathJax-635-QINU (3)
式(1)の第２項、第３項も同様に計算すると、
UNIQ3d43c55a2078e43-MathJax-636-QINU UNIQ3d43c55a2078e43-MathJax-637-QINU (4)
UNIQ3d43c55a2078e43-MathJax-638-QINU UNIQ3d43c55a2078e43-MathJax-639-QINU (5)
式(3),(4),(5) を、式 (1)に代入すると、
UNIQ3d43c55a2078e43-MathJax-640-QINU
UNIQ3d43c55a2078e43-MathJax-641-QINU
命題１２の証明終わり。
命題１３
UNIQ3d43c55a2078e43-MathJax-642-QINU
証明
UNIQ3d43c55a2078e43-MathJax-643-QINUを証明しよう。
残りも、同様に証明出来るので各自試みてください。
右手系をなす一つの直交座標系を決める。
３つのベクトルを、この座標系で成分表示して、
UNIQ3d43c55a2078e43-MathJax-644-QINU とする。
命題１２から、
UNIQ3d43c55a2078e43-MathJax-645-QINU
内積の定義から
UNIQ3d43c55a2078e43-MathJax-646-QINU
これを整頓すると
UNIQ3d43c55a2078e43-MathJax-647-QINU
UNIQ3d43c55a2078e43-MathJax-648-QINUも、これと同じように計算すると同じ式になる。
命題１３の証明終わり。
定義
UNIQ3d43c55a2078e43-MathJax-649-QINU を３つのベクトルUNIQ3d43c55a2078e43-MathJax-650-QINU の行列式(determinant)という。
この３つのベクトルの張る平行４面体の、符号付の体積である(図参照）。
命題１3の系１
UNIQ3d43c55a2078e43-MathJax-651-QINU
UNIQ3d43c55a2078e43-MathJax-652-QINU
命題１3の系２
3つの空間ベクトルを、ある右手系をなす直交座標系の成分で表示して
UNIQ3d43c55a2078e43-MathJax-653-QINU とする。
この時、UNIQ3d43c55a2078e43-MathJax-654-QINU の行列式は
UNIQ3d43c55a2078e43-MathJax-655-QINU
この式は、命題１３の証明のなかで導出されている。
命題１3の系３
行列式UNIQ3d43c55a2078e43-MathJax-656-QINU は、３つのベクトルUNIQ3d43c55a2078e43-MathJax-657-QINUの双線形関数である。すなわち
UNIQ3d43c55a2078e43-MathJax-658-QINU
UNIQ3d43c55a2078e43-MathJax-659-QINU
UNIQ3d43c55a2078e43-MathJax-660-QINU
ここで、UNIQ3d43c55a2078e43-MathJax-661-QINU は任意の実数、UNIQ3d43c55a2078e43-MathJax-662-QINUは任意の３次元ベクトルである。
命題１４
UNIQ3d43c55a2078e43-MathJax-663-QINU
証明
ベクトル積の定義を用いると、
UNIQ3d43c55a2078e43-MathJax-664-QINU
UNIQ3d43c55a2078e43-MathJax-665-QINU
UNIQ3d43c55a2078e43-MathJax-666-QINU
UNIQ3d43c55a2078e43-MathJax-667-QINU
UNIQ3d43c55a2078e43-MathJax-668-QINU
UNIQ3d43c55a2078e43-MathJax-669-QINU
UNIQ3d43c55a2078e43-MathJax-670-QINU
証明終わり
（注) この公式の覚え方。
UNIQ3d43c55a2078e43-MathJax-671-QINU は UNIQ3d43c55a2078e43-MathJax-672-QINU、UNIQ3d43c55a2078e43-MathJax-673-QINUの両方に直交、
UNIQ3d43c55a2078e43-MathJax-674-QINU は UNIQ3d43c55a2078e43-MathJax-675-QINU と直交。
これから、UNIQ3d43c55a2078e43-MathJax-676-QINU は UNIQ3d43c55a2078e43-MathJax-677-QINU と UNIQ3d43c55a2078e43-MathJax-678-QINUが張る(一次結合)ベクトルであることが分かる。
この係数が他の２つのベクトルの内積であることだけを記憶しておくと、
UNIQ3d43c55a2078e43-MathJax-679-QINU
各項の符号は、
命題１４の系１
UNIQ3d43c55a2078e43-MathJax-680-QINU
従って、一般に外積は結合法則を満たさない。
UNIQ3d43c55a2078e43-MathJax-681-QINU
証明
命題８から
UNIQ3d43c55a2078e43-MathJax-682-QINU
この右辺に命題１４を適用すると、
UNIQ3d43c55a2078e43-MathJax-683-QINU
証明終わり
命題１４の系２
１）UNIQ3d43c55a2078e43-MathJax-684-QINU
２）UNIQ3d43c55a2078e43-MathJax-685-QINU
証明
１） UNIQ3d43c55a2078e43-MathJax-686-QINU とおくと、
UNIQ3d43c55a2078e43-MathJax-687-QINU
命題１４から
UNIQ3d43c55a2078e43-MathJax-688-QINU
行列式の定義から、
UNIQ3d43c55a2078e43-MathJax-689-QINU
故に、
UNIQ3d43c55a2078e43-MathJax-690-QINU
２）は、UNIQ3d43c55a2078e43-MathJax-691-QINU とおくと,
命題１４の系１を用いて、同様にして証明できる。
命題１４の系３
１）UNIQ3d43c55a2078e43-MathJax-692-QINU
２）UNIQ3d43c55a2078e43-MathJax-693-QINU
証明
１） UNIQ3d43c55a2078e43-MathJax-694-QINU とおくと、
UNIQ3d43c55a2078e43-MathJax-695-QINU
行列式の性質から、
UNIQ3d43c55a2078e43-MathJax-696-QINU
UNIQ3d43c55a2078e43-MathJax-697-QINU の定義式を代入して
UNIQ3d43c55a2078e43-MathJax-698-QINU
命題１４の系１を適用して、
UNIQ3d43c55a2078e43-MathJax-699-QINU
内積の性質から
UNIQ3d43c55a2078e43-MathJax-700-QINU
１）が示せた。
２）も、UNIQ3d43c55a2078e43-MathJax-701-QINU とおけば、同様にして証明できる。
行列
行列Aとは,
mn個の数 UNIQ3d43c55a2078e43-MathJax-702-QINU を m 行、n 列に並べた
UNIQ3d43c55a2078e43-MathJax-703-QINU
のことをいう。行と列の数を明示したいときは、ｍ×ｎ行列という。
UNIQ3d43c55a2078e43-MathJax-704-QINUは、行列Ａの第i行、第j列の要素という。
ベクトルの各座標成分を横に並べて表示した
ｎ次元の横ベクトルUNIQ3d43c55a2078e43-MathJax-705-QINUは1行ｎ列の行列とみなす。
同じく、ベクトルの各座標成分を縦に表示した,ｎ次元縦ベクトル
UNIQ3d43c55a2078e43-MathJax-706-QINU
は、ｎ行１列行列とみなす。
転置行列
行列の行と列を入れ替える操作を転置といい、記号Ｔで表す。
上記の行列Ａの行と列を入れ替えた行列をＡの転置行列といい、UNIQ3d43c55a2078e43-MathJax-707-QINU で表す。
UNIQ3d43c55a2078e43-MathJax-708-QINU
UNIQ3d43c55a2078e43-MathJax-709-QINU である。
行列の教科書の紹介
行列を用いると連立一次方程式は、
一変数の一次方程式UNIQ3d43c55a2078e43-MathJax-710-QINUと同じ形式UNIQ3d43c55a2078e43-MathJax-711-QINUで表現され、
その解も一変数の一次方程式の解UNIQ3d43c55a2078e43-MathJax-712-QINUと同じ形式の UNIQ3d43c55a2078e43-MathJax-713-QINU で与えられる。
(注）|A| は行列Ａの行列式（determinant)である。
下記の教科書や行列式（ウィキペディア）を参照のこと。
このほかにも行列は、多くの数理的な分野で欠かせない武器となり、独自の重要な分野となっている。
以下の文献で学習のこと。
さらに深く学びたい方は、次節の線形代数学をどうぞ。
我々の住む空間の数学的モデル（１）
この節では概要だけを記述するので、イメージをつかめれば良い。
詳しくは次節で説明する。
（１）私たちの住む（宇宙)空間UNIQ3d43c55a2078e43-MathJax-714-QINUを無限に点(場所)が集まってできる集合と考える。
この空間では、経験によると、以下の諸事実が成り立つ。
①この空間のどのような2点UNIQ3d43c55a2078e43-MathJax-715-QINUをとっても、
その2点を通る直線は必ず一本あり、一本に限る（直線の公理。注参照)。
直線UNIQ3d43c55a2078e43-MathJax-716-QINUと書く。
２点UNIQ3d43c55a2078e43-MathJax-717-QINUは、この直線上にあるので、その長さ(距離)は物差しなどで測れる。
(注）公理とは、経験上自明と思われるが、それ以上簡単な事実から証明出来ないため、
正しいと認めた命題のこと。
「点」や「直線」、「通る」などの言葉は
意味が分かっているという前提に立ち、その意味を定義しないで用いる。
点や直線、通るなどの表現がでてくる公理をすべて満たすものとして、
その性質が正確に規定される。無定義語という。
②直線UNIQ3d43c55a2078e43-MathJax-718-QINUは空間全体を覆わないので、直線外の空間の点UNIQ3d43c55a2078e43-MathJax-719-QINUをとれる。
３点UNIQ3d43c55a2078e43-MathJax-720-QINUを通る平面が常に唯一つ存在する(平面の公理１)。
これを平面UNIQ3d43c55a2078e43-MathJax-721-QINUと書こう。
平面は、この面上にある２点を通る直線を含む(平面の公理２)。
空間の中のどの平面上でもユークリッドの平面幾何学は成り立つ（空間UNIQ3d43c55a2078e43-MathJax-722-QINUの性質）。
直線UNIQ3d43c55a2078e43-MathJax-723-QINUと直線UNIQ3d43c55a2078e43-MathJax-724-QINUは、平面UNIQ3d43c55a2078e43-MathJax-725-QINU上の直線であり、角度UNIQ3d43c55a2078e43-MathJax-726-QINUがきまる。
③空間の中の異なる２直線UNIQ3d43c55a2078e43-MathJax-727-QINUとUNIQ3d43c55a2078e43-MathJax-728-QINUの間には次の３つの関係のうちのいずれか一つ（しかも一つだけ）が成り立つ。
ⅰ）交わる（この時は２直線は同一平面上にあることが、
直線と平面の公理から簡単に証明出来る。
ⅱ）同一平面上にあるが交わらない（平行という）。
ⅲ）同一平面上にない。
平行な２直線は、同じ方向であるという。
④平面UNIQ3d43c55a2078e43-MathJax-729-QINUも空間全体を覆わないので、空間にはこの平面外の点UNIQ3d43c55a2078e43-MathJax-730-QINUが存在する。
⑤空間の２点UNIQ3d43c55a2078e43-MathJax-731-QINUを結ぶ線分UNIQ3d43c55a2078e43-MathJax-732-QINU(直線UNIQ3d43c55a2078e43-MathJax-733-QINUの、点ＰとＱの間の部分)に
PからＱに向けた向きを付けた有向線分UNIQ3d43c55a2078e43-MathJax-734-QINUを考える。
これはＰ点からみたＱ点の位置を、
Ｐ点からＱ点を見たときの方向・向きと距離で表したもの。
Ｑ点が、Ｐ点から見て、UNIQ3d43c55a2078e43-MathJax-735-QINUの方向・向きおよび距離の点であることを
UNIQ3d43c55a2078e43-MathJax-736-QINUと表す。
次にＱ点からUNIQ3d43c55a2078e43-MathJax-737-QINUの方向・向きおよび距離にある点UNIQ3d43c55a2078e43-MathJax-738-QINUを考える
。
点Ｒは元の点ＰからUNIQ3d43c55a2078e43-MathJax-739-QINUの方向・向きおよび距離の位置にある。
UNIQ3d43c55a2078e43-MathJax-740-QINUで、２つの有向線分の和を定義すると
UNIQ3d43c55a2078e43-MathJax-741-QINU
UNIQ3d43c55a2078e43-MathJax-742-QINUそこでUNIQ3d43c55a2078e43-MathJax-743-QINUと決めておけば
UNIQ3d43c55a2078e43-MathJax-744-QINU
となり、３点の位置関係が正しく表現出来ることが分かる。
⑥Ｐ点を始点とするすべての有向線分を要素とする集合を
UNIQ3d43c55a2078e43-MathJax-745-QINU
と記す。するとUNIQ3d43c55a2078e43-MathJax-746-QINU
UNIQ3d43c55a2078e43-MathJax-747-QINUとUNIQ3d43c55a2078e43-MathJax-748-QINUはどのような関係にあるだろうか。
UNIQ3d43c55a2078e43-MathJax-749-QINUの任意の要素UNIQ3d43c55a2078e43-MathJax-750-QINUと
方向・向きと大きさが等しく、始点がＱである有向線分を作ってみよう。
異なる３点UNIQ3d43c55a2078e43-MathJax-751-QINUを通る平面は常に唯一つ存在する。
この平面上で、ユークリッド幾何学を使い、
平行四辺形UNIQ3d43c55a2078e43-MathJax-752-QINUを作ることが出来る。
するとUNIQ3d43c55a2078e43-MathJax-753-QINUであり、
UNIQ3d43c55a2078e43-MathJax-754-QINUはUNIQ3d43c55a2078e43-MathJax-755-QINUと方向・向きは同じで、大きさ(長さ、距離)も等しい。
２つの有向線分が、方向・向きと大きさが同じならば、
ある点からみた他の点の位置を、有向線分の方向・向きと大きさで指定するかぎり、
２つの有向線分は同じ点を指定する。そこで方向・向きと大きさが等しい２つの有向ベクトルは同一視して、
UNIQ3d43c55a2078e43-MathJax-756-QINUと書く。
すると経験上、空間UNIQ3d43c55a2078e43-MathJax-757-QINUはつぎの性質を持つことが分かっている。
空間UNIQ3d43c55a2078e43-MathJax-758-QINUの公理；
空間UNIQ3d43c55a2078e43-MathJax-759-QINUの任意の２点Ｐ，Ｑを考える。
UNIQ3d43c55a2078e43-MathJax-760-QINUの任意の要素には、
それとUNIQ3d43c55a2078e43-MathJax-761-QINUの関係にある、UNIQ3d43c55a2078e43-MathJax-762-QINUの要素が一つ対応する。
逆に
UNIQ3d43c55a2078e43-MathJax-763-QINUの任意の要素には、
それとUNIQ3d43c55a2078e43-MathJax-764-QINUの関係にある、UNIQ3d43c55a2078e43-MathJax-765-QINUの要素が一つ対応する。
そこで、UNIQ3d43c55a2078e43-MathJax-766-QINU関係のある有向線分を、おなじものと考えると
UNIQ3d43c55a2078e43-MathJax-767-QINUとUNIQ3d43c55a2078e43-MathJax-768-QINUは同じ集合になる。
すなわちUNIQ3d43c55a2078e43-MathJax-769-QINU関係のある有向線分を、おなじものと考えると
どの点から空間を見た時も、
空間のすべての点を表すのに必要な、有向線分（方向・向きと距離の集まり）は、
皆同じである。
定義：
方向・向きと長さの等しい有向線分を（始点は異なっても、）
同じものとみなした時、有向線分をベクトルと呼ぶ。
記号で書くと、
有向線分UNIQ3d43c55a2078e43-MathJax-770-QINU 有向線分UNIQ3d43c55a2078e43-MathJax-771-QINU
<==>
ベクトルUNIQ3d43c55a2078e43-MathJax-772-QINU ベクトルUNIQ3d43c55a2078e43-MathJax-773-QINU
今後はUNIQ3d43c55a2078e43-MathJax-774-QINUを有向線分とみなすときは、有向線分UNIQ3d43c55a2078e43-MathJax-775-QINU と書き、
ベクトルとみなす時は単にUNIQ3d43c55a2078e43-MathJax-776-QINUと書いて区別する。
空間の性質から、ベクトルの集合とみたUNIQ3d43c55a2078e43-MathJax-777-QINUは皆等しくなる。
これをベクトル集合UNIQ3d43c55a2078e43-MathJax-778-QINUで表す。
⑦空間の性質１
UNIQ3d43c55a2078e43-MathJax-779-QINUの２つのベクトルUNIQ3d43c55a2078e43-MathJax-780-QINUを、
UNIQ3d43c55a2078e43-MathJax-781-QINUと表現すると、
ベクトルUNIQ3d43c55a2078e43-MathJax-782-QINUの和は
UNIQ3d43c55a2078e43-MathJax-783-QINUで定義する。
この和はＰ点に関係なく、唯一つのベクトルを定めることが証明できる。
和の交換則と結合則が成り立つ。
ベクトルの実数倍も定義出来る。
UNIQ3d43c55a2078e43-MathJax-784-QINUは線形空間(ベクトル空間ともいう）になる。
これ等はユークリッド幾何学を用いて証明出来る。
⑧ 線形空間UNIQ3d43c55a2078e43-MathJax-785-QINUは３次元空間
Ｐ点から空間を眺めると、②で述べたように
Ｐを通る平面UNIQ3d43c55a2078e43-MathJax-786-QINUが存在する。
この平面上には、Ｐ点で交わる２本の直線UNIQ3d43c55a2078e43-MathJax-787-QINUとUNIQ3d43c55a2078e43-MathJax-788-QINUが存在する。
そこで２つのベクトルUNIQ3d43c55a2078e43-MathJax-789-QINUとUNIQ3d43c55a2078e43-MathJax-790-QINUを考える。
すると,平面上の任意の点ＲをＰ点から見たときの方向・向き、距離UNIQ3d43c55a2078e43-MathJax-791-QINUは、
UNIQ3d43c55a2078e43-MathJax-792-QINUとUNIQ3d43c55a2078e43-MathJax-793-QINUの線形結合UNIQ3d43c55a2078e43-MathJax-794-QINU
で表せる。ここで、UNIQ3d43c55a2078e43-MathJax-795-QINUは、適当な実数である。
逆に、任意の線形結合UNIQ3d43c55a2078e43-MathJax-796-QINUに対し、
平面上に点Ｒが定まり、
UNIQ3d43c55a2078e43-MathJax-797-QINU
この事実はユークリッド幾何学を用いて容易に示すことができる。
平面は、このように２つのベクトルで表せるので２次元と呼ぶ。
空間は、平面UNIQ3d43c55a2078e43-MathJax-798-QINUで覆われないので、平面外の点Ｓがとれる。
UNIQ3d43c55a2078e43-MathJax-799-QINUは線形結合UNIQ3d43c55a2078e43-MathJax-800-QINUでは表せない。
我々の住む空間の公理２
UNIQ3d43c55a2078e43-MathJax-801-QINUは実数UNIQ3d43c55a2078e43-MathJax-802-QINU
空間UNIQ3d43c55a2078e43-MathJax-803-QINUを点をすべて記述するには
３つの独立なベクトルを用いなければならないので
UNIQ3d43c55a2078e43-MathJax-804-QINUは３次元空間とも呼ばれる。
⑩３次元空間の座標と座標表示
この空間には座標系を考えるができる。
ベクトルの座標表示をすると、ベクトル演算を数の計算に帰着でき便利である。
ベクトルを直交座標表示して、数の計算に帰着すると、
座標の直交性が役立ち、計算が大変簡単になる。
