ソースを表示

=質点の運動の表し方　=
高校では主に'''質点  '''（大きさがなく重さだけがある点状の物体）の運動を学び、　<br/>
その法則を明らかにします。
==なぜ質点の運動から、学ぶのか ==
大きさのある物体は、物体の箇所によって位置がことなる。また大きさのある物体は変形する。 <br/>
このため、その位置を表すのが難しい。 <br/>
さらに運動も平行移動だけでなく回転などを行い複雑となる。 <br/>
質点は、大きさのない点なので位置は明確で、その場所を簡単に表示できる。しかも変形も回転もない。 <br/>
このため、その取り扱いは、大きさのある物体に比べて、格段に、易しくなる。 <br/>
しかし、重さがあって大きさのない、仮想の物質である質点の運動法則など何の役にも立たないと思う人もいるでしょう。  <br/>
ところが、応用範囲は結構広いのです。 <br/> 
例えば、地球の公転運動(太陽の周りの回転）は、地球を質点とみなして解析してもほぼ正しい。 <br/>
さらに、大きさを考慮して解析しなければならない物体の運動も、質点の運動法則を利用して解明できる。 <br/>
これには高校数学より高度な数学を必要とする。<br/>
そこで、大きさのある物体の運動は主に、大学で学ぶ。

== 質点の運動を数式で表すにはどうするか？ ==
我々が住む世界は、[[wikipedia_ja:3次元|３次元]] の[[wikipedia_ja:空間|空間]] であり、縦、横、高さという3つの方向がある。この空間には距離という概念がある(注参照）。 <br/>
また時間という時の経過が存在する。<br/>。
この世界の物質は運動していて、その場所を時間とともに変える。<br/>
１章の４節で紹介したように近代の力学は、<br/>
運動を質点の位置の時間変化と考え、<br/>
質点の位置や速度を正確に測定し、それらの変化の法則を明らかにして、<br/>
数式で正確にあらわすという方法で発展した。 <br/>
まず、時間と距離の測り方から紹介する。<br/>
（注）空間について、もう少し詳しく知りたい方は、<br/>
「８章、物理数学」の「平面と空間のベクトル」を御覧ください。
=== 時間と距離の測り方 ===
'''時間'''は時計で正確に測れる。 <br/>
詳しくは[[wikipedia_ja:時間|ウィキペディア（時間）]] の4.1 ニュートン力学での時間  <br/>
を参照のこと。<br/>

また'''距離'''（あるいは長さ）は、距離の原器を使って正確に測れる。 <br/>
詳しくは、
*[[wikipedia_ja:距離|ウィキペディア（距離）]] <br/>

===空間の点の位置の表現　===
====　有向線分====
空間中の任意の点$P,Q$をとると、その2点を結ぶ線分が引ける。<br/>
この点$P$から点$Q$にむけた向きを入れる。これを有向線分$\vec{PQ}$という。<br/>
点$P$をこの有向ベクトルの始点、点$Q$を終点という。
====位置の特定には基準点が必要====
空間中の点の位置は、どの場所から観測するかで、距離も方向も異なってしまう。<br/>
位置を指定するには基準点が必要である。<br/>
そこで$S^3$の適当な点$O$を基準点に選び、原点と呼ぶ。<br/>
====有向線分を用いた位置の表示====
空間の任意の点$P$に対し,有向線分$\vec{OP}$を考えると、その終点が点Ｐを表す。<br/>
空間の点Ｏとこれを始点とする有向線分$\vec{OP}$との和を<br/>
$O+\vec{OP}:=P$で定義すると便利である。<br/>
====有向線分からベクトルへ====
有向線分のままだと、<br/>
始点のことなるすべての有向線分を考えないと、位置の指定は出来ない。<br/>
非常に不便である。<br/>
原点Ｏからみた点Ｐの位置の指定で必須のものを抜き出すと、<br/>
　①線分$OP$の長さ。<br/>
　②2点$O,P$を通る直線が示す方向<br/>
　③Ｏからみて、点Ｐは直線$OP$のどちら側にあるか(向き）<br/>
の3要素である。<br/>
従って、有向線分$\vec{OP}$と<br/>
①長さ(大きさ、距離）が等しく、②方向が等しく　③向きが等しい<br/>
任意の有向線分$\vec{O'P'}$を用いても、<br/>
点Ｐの位置は正確に指定できる。<br/><br/>
①長さについて；長さを測れば判断出来る。<br/>
②空間の方向について；<br/>
空間の方向は直線を用いて記述出来る。<br/>
平行な2直線は等しい方向を持つという。<br/>
そこで、直線$OP$と直線$O'P'$が平行ならば、有向線分$\vec{OP}$と有向線分$\vec{O'P'}$は方向が等しい。<br/>
平行な直線をすべて同じものだとみなせば、
空間中のすべての直線を使えば、あらゆる方向を表せる。<br/><br/>
③大きさが等しく、方向・向きが等しいか否かは、次のようにして簡単に判断できる。<br/>
線分$OP$と線分$O'P'$が、ある一つの平面上にあり、<br/>
この平面上の四角形$OAA'O'$が平行四辺形ならば、<br/>
2つの有向線分$\vec{OP}$と$\vec{O'P'}$は、大きさが等しく、方向・向きが等しい。<br/>
有向線分$\vec{OP}$を向きと方向が変わらないように、始点の位置を移動することを、
平行移動という。<br/>
2つの有向線分$\vec{OP}$と$\vec{O'P'}$が、大きさと方向・向きが等しい、<br/>
必要十分条件は<br/>
有向線分$\vec{OP}$を平行移動して始点を$O'$に移すと$\vec{O'P'}$になることである。<br/>
定義；ベクトル<br/>
空間中のあらゆる有向線分を考える。<br/>
この中で、大きさ、方向・向きの等しいものは同じものとみなして、<br/>
一つの量とみなしたものをベクトルという。<br/>
例えば、<br/>
有向線分$\vec{OP}$と大きさ、方向・向きの等しい有向線分をすべて集めた<br/>
有向線分からなる集合を、<br/>
(これ等の有向線分と同じ)大きさ、方向・向きだけを持ち、始点はない量とみなして
ベクトルとよび、$[\vec{OP}]$などと書く。<br/>
もし$\vec{OP}$と$\vec{O'P'}$が、大きさが等しく、方向・向きが等しいならば<br/>
$[\vec{OP}]=[\vec{O'P'}]$となることは明らかであろう。<br/>
逆に$[\vec{OP}]=[\vec{O'P'}]$ならば、<br/>
有向線分$\vec{OP}$と$\vec{O'P'}$は<br/>
大きさが等しく、方向・向きも等しい。<br/>
(注）多くの本ではベクトル$[\vec{OP}]$を、単に$\vec{OP}$とかくので、<br/>
有向線分とベクトルの区別が、記号だけでは、出来ないので、注意が必要である。


====ベクトルを用いた位置の表示====
どの点を原点(Ｐと書く）としても、<br/>
ベクトルを用いると、空間の任意の点の位置を記述できる。<br/>
今、原点Ｐから見て、ベクトル$\vec a$の大きさ、方向・向きにある点は<br/>
どのようにして見つけることができるのか？<br/>
それには、ベクトル$\vec a$の名前の付いた有向線分の集合の中から、<br/>
始点がＰであるもの、$\vec{PQ}$をとりだせばよい。<br/>
このような有向線分をベクトル$\vec a$に属す有向線分と呼ぼう。<br/>
この有向ベクトル$\vec{PQ}$は$\vec a$と同じ大きさ、方向・向きをもち、<br/>
始点が原点なので、点Ｑが求める点になる。<br/>
これを数学記号でかくと<br/>
$P+\vec a=P+[\vec{PQ}]:=P+\vec{PQ}=Q$<br/><br/>
逆に点$Q$の位置を表すベクトルは、$[\vec{PQ}]$である。<br/>
これを数学記号でかくと<br/>
$P+[\vec{PQ}]:=P+\vec{PQ}=Q$<br/><br/>

定義：位置ベクトル<br/>
本テキストでは、ベクトルを位置の表示に用いるとき、位置ベクトルと呼ぶ。<br/>

====他のベクトル====
物理学では、位置ベクトル以外にも、<br/>
速度や、加速度、力などは、大きさと方向、向きを持つ量なのでベクトルである。<br/>
物理学では、ある程度のベクトルの知識が必要である。<br/>
以下に、ベクトルについて、簡単に紹介する。<br/>
まったくベクトルについて学習してない方は次の文献をご覧ください。
*[[wikibooks_ja:高等学校数学B ベクトル|ウィキブックス（高等学校数学B ベクトル）]

====２つのベクトルの和とベクトルの実数倍====
定義；２つのベクトル$\vec{A}$とベクトル$\vec{B}$の和を、次のように定義する。<br/>
・$\vec{A}$に属す有向線分$\vec{OP}$と$\vec{B}$に属す有向線分$\vec{PQ}$を用いて、<br/>
有向線分$\vec{OQ}$を求める。これに対応するベクトル$[\vec{OQ}]$を、<br/>
ベクトル$\vec{A}$とベクトル$\vec{B}$の和という。ベクトル和の図参照。<br/>
すなわち、<br/>
$\vec{A}+\vec{B}=\vec{OP}+\vec{PQ}=\vec{OQ}$；<br/> <br/>
(注）もし$\vec{A}$に属す、別の有向線分$\vec{O'P'}$をとり、$\vec{B}$に属す有向線分$\vec{P'Q'}$を用い、和のベクトル$[\vec{O'Q'}]$を作ったら、
$[\vec{OQ}]$とは別のベクトルになってしまった、この定義は破たんする。
幸い$[\vec{O'Q'}]=[\vec{OQ}]$であることが、<br/>
ユークリッド幾何学で明らかにされた平行四辺形の性質を使って<br/>
容易に証明できる。図参照。<br/>


ベクトル$\vec{A}$と$\vec{B}$を<br/>
始点の同じ有向ベクトル$\vec{OP}$ と$\vec{OR}$で表すと、<br/>
これを２辺とする平行四辺形$OPQ'R$の対角線$OQ'$に向きを付けた$\vec{OQ'}$の表すベクトル$[\vec{OQ'}]$は、<br/>
$\vec{A}+\vec{B}$に等しいことが容易に分かる。ベクトル和の図参照のこと。<br/>
ベクトル和の定義から、<br/>
必要ならば適切に平行移動しユークリッド幾何の知識を使うと、<br/>
$\vec{A}+\vec{B}=\vec{B}+\vec{A}\quad \quad (1)$　;　交換法則　<br/>
$(\vec{A}+\vec{B})+\vec{C}=\vec{A}+(\vec{B}+\vec{C})\quad \quad (2)$　；結合法則　<br/>
が成立する。証明は各自試みてください。<br/>
'''零ベクトル'''　<br/>
$P=Q$という特殊な場合、$\vec{PQ}=\vec{PP}$は、<br/>
Ｐ点から見たＱ点の位置(同じ位置)であることを示すので、
有向線分として認める。<br/>
このように長さが零で一点に退化したすべての有向線分は<br/>
大きさが等しく、方向・向きを持たないので、<br/>
同一とみなして、零ベクトルと呼ぶ。<br/>
$\vec 0=[\vec{PP}]:=\{\vec{QQ}\mid Q\in S^3\}$<br/>
すると<br/>
$\vec{A}+\vec{0}=\vec{A}\quad \quad (3)$　；零元の存在；　　<br/>
であることが、容易に証明できる。<br/>
$\vec{0}$は、数の加法において、零が果たしている役割を<br/>
ベクトルの加法で果たすので、零ベクトル、あるいは零元という。<br/>
'''逆ベクトル'''　<br/>
ベクトル$\vec{A}$に対し、その逆ベクトル$-\vec{A}$とは、<br/>
$\vec{A}$を加えると$\vec{0}$になる、ベクトルのことである。<br/>
式で書くと<br/>
$\vec{A}+(-\vec{A})=\vec 0\quad \quad (4)$<br/>
どんな$\vec{A}$も、逆ベクトルを一つ、そして一つだけ持つ。；逆元の存在<br/>
それは、$\vec{A}$と大きさ、方向が同じで、向きが逆のベクトルである。<br/>
証明は容易。<br/>
以後、$\vec{A}+(-\vec{B})$を、$\vec{A}-\vec{B}$で表す。<br/>
'''ベクトルの実数倍'''<br/>
$a$を任意の実数とする。 <br/>
$\vec{A}$が零ベクトルでない時、その$a$倍、$a\vec{A}$は次のように定義する。<br/>
・$a$が正数のとき；$a\vec{A}$は、$\vec{A}$と方向・向きは同じで、大きさが$a$倍であるベクトルである(注参照）。<br/>
・$a=0$のとき；$0\vec{A}:=\vec{0}$<br/>
・$a< 0$のとき；$a\vec{A}:=-(-a)\vec{A}$    <br/>
$\vec{A}=\vec{0}$のときは、$a\vec{0}:=\vec{0}$とする。<br/>
このように定義すると、<br/>
ベクトルの実数倍がベクトルとして定まる。<br/>
次の諸規則が証明できる。<br/>
$a(\vec{A}+\vec{B})=a\vec{A}+a\vec{B}\quad \quad (5)$  <br/>
$(a+b)\vec{A}=a\vec{A}+b\vec{A}\quad \quad (6)$  <br/>
$(ab)\vec{A}=a(b\vec{A})\quad \quad (7)$  <br/>
$1\vec{A}=\vec{A}\quad \quad (8)$    <br/>
（注）この定義は直観的なもので、正確ではない。<br/>
ベクトルは、それに属す有向線分の集まりとして定義したので、<br/>
任意の有向線分の実数倍をまず定義し、<br/>
それを用いてベクトルの実数($\alpha$)倍を決めないといけない。<br/>
一点に退化した有向線分$\vec{PP}$の場合、$\alpha \vec{PP}=\vec{PP}$と決める。<br/>
退化していない有向線分$\vec{PQ}$の$\alpha$倍<br/>
$\alpha \vec{PQ}$とは、<br/>
始点と方向を変えず向きと長さをを次のように変えたものをいう。<br/>
①$\alpha>0$のとき；向きもかえず、長さを$\alpha$倍する。<br/>
②$\alpha=0$のとき；$0\vec{PQ}=\vec 0$と決める。<br/>
③$\alpha<0$のとき；方向を逆にして長さを$\alpha$倍する。<br/>
これをもとに,ベクトル$\vec a$の$\alpha$倍$\alpha \vec a$は次のように決める。<br/>
まずベクトル$\vec a$に属す(i.e.$\vec a=[\vec{PQ}]$)任意の有向線分$\vec{PQ}$をとりだし、<br/>
$\alpha \vec a:=[\alpha \vec{PQ}]$<br/>
$\vec a$に属す他の有向線分を使っても、得られるベクトルは、同一になることは、<br/>
容易に示せる。

====　位置の座標とベクトルの座標成分表示　====

ベクトルの記号（例えば$\vec{A}$）を用いた力学の法則の表示や演算は、ベクトル記号のまま扱うと、大変簡潔で、見通しが良い。<br/>
しかし、ベクトル記号のままでは、具体的な問題で、質点がどこにいるか、その速度は、どの方向で、いくらか、などを求めたいときには、大変である。<br/>
ベクトルを図示し、図を使って、ベクトル演算をしなければならなくなるからである。<br/>
平面の場合でさえ、ベクトルを正確に図示することはできず、手間も大変である。<br/>
3次元空間では、平面である紙の上には、正確に書くことは出来ない。<br/>

そこで点$P$の位置、位置ベクトル$\vec{OP}$やその他のベクトルを、いくつかの数字が順番に並んだ、数字の組で表わす方法が考えだされた。<br/>
図ではなく数字を使って位置やベクトルを表せるなら、数学で知られた色々な計算方法が利用でき、具体的な計算は飛躍的に進化する。<br/>
点の位置をいくつかの数字の組で表示するのは座標表示と呼ばれ、<br/>
ベクトルをいくつかの数字の組で表現することはベクトルの座標成分表示と呼ばれる。<br/>
色々な座標を使った表示法がみつかっている。<br/>
最も広く利用されている方法を説明しよう。<br/>
=====　直交座標を用いる表示　=====
空間に定めた原点$O$をとおる、縦と横と高さ方向の互いに直交する３つの[[wikipedia_ja:直線|直線]]を引く。<br/>
各直線上の原点$O$から単位の距離にある点(原点の両側にある）の一方に＋１を、他方にー１を振る。<br/>
他の点にも、原点からの距離に＋－符合(原点に関して、＋１と同じ側の点には＋）をつけた数字(実数）を割り振る。<br/>
このように、各点に数字が割り振られた直線に、数字が増大する向きに矢印をつける。<br/>
この直線を数直線と呼び、各点に割り振られた数字をこの点の座標と呼ぶ。図＿数直線参照。<br/>
縦(手前と奥)方向の数直線をｘ軸、横(左右)方向の数直線をy軸、高さ(上下)方向の数直線をz軸と呼ぶ。<br/>
数式表記に便利なようにしばしば、<br/>
ｘ軸を$x_1$軸、ｙ軸を$x_2$軸、ｚ軸を$x_3$軸と呼ぶ。<br/>

任意の点$P$の位置や３次元ベクトルは、これ等の数直線を利用して、以下のようにして、３つの実数の組で表示できる。<br/>
（１）点の位置の座標表示　<br/>

任意の点$P$から、x軸に下ろした垂線の足の座標$P_{x}$,
y軸に下ろした垂線の足の座標$P_{y}$,z軸に下ろした垂線の足の座標$P_{z}$を求める。<br/>
$P_{x}$、$P_{y}$、$P_{z}$をそれぞれ、点Pのx座標、y座標、ｚ座標と呼ぶ。
点$P$にたいして３つの数字の組$(P_{x},P_{y}, P_{z})$が、唯一つ定まる。これを点$P$の座標と呼ぶ。<br/>
ここで、数字は、x座標、ｙ座標、ｚ座標の順序で並べなければならない。<br/>
逆に３つの実数の組$(a_{x},a_{y}, a_{z})$に対して、それを座標にもつ点$P$が、唯一つ決まる。図＿座標表示を参照のこと。<br/>
*[[wikipedia_ja:直交座標系|ウィキペディア(直交座標系)]]

（２）ベクトルの座標成分表示　　<br/>
・ベクトルに属す、原点を始点とする有向線分$\vec{OP}$を考える。<br/>
・ベクトル$\vec{OP}$の終点$P$の座標$(P_{x},P_{y},P_{z})$を、ベクトル$\vec{OP}$の座標成分表示という。<br/>
・すべてのベクトルにひと組の数字の組が定まる。<br/>
・逆に３つの実数の組$(p_1,p_2,p_3)$を与えると、<br/>
これを座標成分とする、ベクトルが一つ（そして一つだけ）決まる。<br/>
何故なら、座標が$(p_1,p_2,p_3)$である点Ｐを用いて<br/>
ベクトル$[\vec{OP}]$を作れば、<br/>
この座標成分は$(p_1,p_2,p_3)$であるから。<br/><br/>

・ｘ軸、y軸、z軸は、座標を決めるときに使われるので、座標軸と呼ばれる。<br/>

紹介した座標表示法では、3本の軸は直交するようにとってあるので、それを明示したいときは直交という形容をつけて、直交座標成分、直交座標軸などと呼ぶ。<br/>

(3)ベクトルと、その直交座標成分表示の関係について　　<br/>
ｘ軸上に、長さが１で、正の向き（座標の増加する向き）の有向線分をとり、
これによって決まるベクトルを$\vec{e_x}$と書く。<br/>
同様に、ｙ軸上の長さ１で正の向きの有向線分に対応するベクトルを$\vec{e_y}$,<br/>
ｚ軸上に、長さ１で正の向きの有向線分に対応するベクトルを$\vec{e_z}$とおく。<br/>今後、数式表示を簡単にするため、ｘ成分、ｙ成分、ｚ成分を下添え字の１，２，３でそれぞれ表示する。
すると、任意のベクトル$\vec A$は、その直交座標成分$(A_1,A_2,A_3)$を用いて、<br/>$\vec A=A_1\vec{e_1}+A_2\vec{e_2}+A_3\vec{e_3}$<br/>
と表せることが、簡単に証明できる。（注参照）<br/>
このように、どんなベクトルも、3つのベクトル$\vec{e_1},\vec{e_2},\vec{e_3}$を用いて表示できるので、<br/>
これらを順番に並べた<br/>
$(\vec{e_1},\vec{e_2},\vec{e_3})$を、3次元空間の基底と呼ぶ。<br/>
直交していることを明示したいときは、直交基底という。<br/>
さらに、基底ベクトルの大きさが１にとってあるので、<br/>
これを明示したいときには、[[wikipedia_ja:正規直交基底 |正規直交基底]]と呼ぶ。<br/>
逆に、<br/>
直交基底$\vec{e_1},\vec{e_2},\vec{e_3}$が与えられると、<br/>
直交座標系が決まる。
(注）この表示は一通りしか存在しない。
=====座標成分を用いた、ベクトルの演算　　=====
ベクトルの和や実数倍する演算を数の演算で行う、準備は整った。<br/>
これ以降座標系が分かっているときは<br/>
ベクトルはその座標成分と合わせて$\vec{a}(a_1,a_2,a_3)$などと記すことにする。<br/>
前項で説明したように、ベクトルとその座標成分は次の関係で結ばれている。<br/>
$\vec{a}=\sum_{i=1}^{3}a_i \vec{e_i}\quad$（x,y,z座標成分を下添え字の1，2，3で表示）<br/>
（１）ベクトル和の計算<br/>
$\vec{a}(a_1,a_2,a_3)+\vec{b}(b_1,b_2,b_3)=\vec{c}(a_1+b_1,a_2+b_2,a_3+b_3)$<br/>
（２）零元と逆元
零元の座標成分表示は$(0,0,0)$
$\vec{a}(a_1,a_2,a_3)$の逆元$-\vec{a}$は、$-\vec{a}(-a_1,-a_2,-a_3)$<br/>
（３）ベクトルの実数倍<br/>
$\alpha \vec{a}(a_1,a_2,a_3)=\vec{d}((\alpha a_1,\alpha a_2,\alpha a_3)$<br/>
(1)の証明；<br/>
ベクトルとその座標成分の関係から、<br/>
$\vec{a}=\sum_{i=1}^{3}a_i \vec{e_i}\quad $ 
$\vec{b}=\sum_{i=1}^{3}b_i \vec{e_i}$<br/>
$\vec{c}=\sum_{i=1}^{3}(a_i+b_i) \vec{e_i}\quad$ 
$\vec{d}=\sum_{i=1}^{3}(\alpha a_i)\vec{e_i}$<br/>
これらを用いると、<br/>
$\vec{a}+\vec{b}=(\sum_{i=1}^{3}a_i \vec{e_i})+(\sum_{i=1}^{3}b_i \vec{e_i})$
ベクトルの加法は、結合則と交換則をみたすので、<br/>
これらを利用して、和の順序や計算順を変えると<br/>
$=\sum_{i=1}^{3}(a_i \vec{e_i}+b_i \vec{e_i})$<br/>
前述「２つのベクトルの和とベクトルの実数倍」の式（６）から、<br/>
$=\sum_{i=1}^{3}(a_i +b_i) \vec{e_i}=\vec c$<br/>
（３）の証明<br/>
$\alpha \vec{a}=\alpha (\sum_{i=1}^{3}a_i \vec{e_i})$<br/>
「２つのベクトルの和とベクトルの実数倍」の式（５）と和の結合則から、<br/>
$=\sum_{i=1}^{3}\alpha ( a_i \vec{e_i})$<br/>
「２つのベクトルの和とベクトルの実数倍」の式（７）から<br/>
$=\sum_{i=1}^{3}(\alpha  a_i) \vec{e_i}$<br/>
$=\vec{d}$<br/>
便宜的に、座標成分表示だけでベクトルを表して、<br/>
上記の演算規則を纏めて表示しておく。
ベクトル和；$(a_1,a_2,a_3)+(b_1,b_2,b_3)=(a_1+b_1,a_2+b_2,a_3+b_3)$<br/>
零元の存在；$(0,0,0)$<br/>
逆元の存在；$-(a_1,a_2,a_3)=(-a_1,-a_2,-a_3)$<br/>
ベクトルの実数倍；$\alpha (a_1,a_2,a_3)=(\alpha a_1,\alpha a_2,\alpha a_3)$<br/>
====== 3次元数空間======
3つの実数の組をすべて集めて作った集合を$R^3$と書く。<br/>
この集合の任意の２つの要素$(a_1,a_2,a_3)$、$(b_1,b_2,b_3)$に加法を<br/>
$(a_1,a_2,a_3)+(b_1,b_2,b_3):=(a_1+b_1,a_2+b_2,a_3+b_3)$<br/>
で定義する。<br/>
実数倍も<br/>
$\alpha \circ (a_1,a_2,a_3)=(\alpha a_1,\alpha a_2,\alpha a_3)$<br/>
で定義する。<br/>
すると、<br/>
加法の交換則、結合則、零元と逆元の存在など<br/>
「２つのベクトルの和とベクトルの実数倍」の項で示したすべての性質が成り立つ。<br/>
そこで$R^3$とそこで定義された加法(＋）と実数倍($\circ$) とを組にした
$(R^3,+,\circ)$を3次元数空間と呼ぶ。
証明は、実数の加法、乗法の性質を使えば簡単にできる。

=====　直交座標系には右手系と左手系の2種類がある　=====

（１）3次元空間の場合；<br/>
空間に一つの直交座標系をとる。<br/>
3つの座標軸のうち、一つの座標軸の正負を逆にした座標系をつくる。たとえばz軸の正負を逆にしてみよう。<br/>
右手の親指、人差し指、中指をそれぞれ直角になるように延ばし、親指をx軸の正部分に、人差し指をｙ軸の正部分に重ねる。<br/>
すると中指はz軸と重なるが、<br/>
片方の座標系では、向きまで一致する。<br/>
もう一方の座標系では、向きは逆になってしまう。<br/>
一致するほうの座標系を右手系、逆向きの座標系を左手系とよぶ。図参照。<br/>
x軸やy軸の向きを変える場合でも全く同じことが起こることを確かめてほしい。<br/>

（２）平面の場合；<br/>
平面内で、ｘ軸を原点を中心に90度だけ反時計回りに回転してx軸とy軸を重ねたとき、<br/>
向きまで一致する座標系を右手系といい、逆向きになる時左手系という。<br/>

（３）物理では右手系を用いる。<br/>
どちらの座標系を使っても、あらゆることが、同じように議論できる。<br/>
しかし法則によっては、右手系で表現した法則式と左手系で表現したものが異なることもある。<br/>
このような法則を、２種の座標系を混在させて使うと得られた結果は過ちになる。<br/>
物理の世界では、右手系を使うことにして、この種の過ちが起こらないようにしている。<br/>
直交座標系については、
*[[wikipedia_ja:直交座標系|ウィキペディア（直交座標系）]]<br/>
を参照のこと。<br/>

=====色々な座標 =====
ベクトルを実数の組で表示する、座標表示の方法は、色々考案されている。<br/>
それは、運動の種類に応じて、使いやすい座標と使いにくい座標があるからである。
直交座標は最も多く使われるが、円運度や楕円運動では極座標が便利である。<br/>


極座標については、[[wikipedia_ja:極座標系|ウィキペディア（極座標系）]]<br/>
その他の座標系も含む色々な座標系については[[wikipedia_ja:座標|ウィキペディア（座標）]] <br/>
を参照のこと。<br/>
（注）座標系をつかい、数字の計算で図形等の性質を調べることは１６世紀に[[wikipedia_ja:デカルト|デカルト]]が見つけた偉大な方法である。<br/>
この方法が、運動を法則を解明する時に、不可欠の役割を果たしている。
=====座標表示の欠点 =====
座標系を定めて位置を数値化すのため、当然のことながら、<br/>
位置を表示する数値は座標系に依存する。<br/>
このため、異なる座標系で表現したいときには、正しい数値にするため、<br/>
場合によってはかなり複雑な変換をする必要が起こる。<br/>
ベクトル表示は、座標を用いないので、この種の煩わしさは無い。<br/>

====物理で利用するベクトルの演算についての注意====
数学で扱うベクトルは、文字通り、大きさと方向・向きの等しいベクトルは皆同じものとみなし、平行移動したり、ベクトル同士の演算も自由にできる。自由ベクトルと呼ばれる。<br/>
ところが<br/>
力は大きさと方向・向きを持つのでベクトルだが、作用する場所が変われば、その効果もまったく異なる。すなわち、ベクトルの始点がどこにあるかが、重要なベクトルである。そこで平行移動や始点の異なるベクトルの和は許さない。このようなベクトルは[http://kotobank.jp/word/%E6%9D%9F%E7%B8%9B%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB '''束縛ベクトル''']という。<br/>
物理に現れるベクトルは束縛ベクトルであることが良く起こるので、<br/>
物理的意味を考えて、数学を利用する必要がある。<br/>