ソースを表示

提供: Internet Web School

以下に示された理由により、このページの編集を行うことができません:

このページのソースを閲覧し、コピーすることができます:

=質点の運動の表し方　= 高校では主に'''質点 '''（大きさがなく重さだけがある点状の物体）の運動を学び、　<br/> その法則を明らかにします。 ==なぜ質点の運動から、学ぶのか == 大きさのある物体は、物体の箇所によって位置がことなる。また大きさのある物体は変形する。 <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/> <div id="in_progress">★★★手動アンカーのテスト★★★</div> '''ベクトルの実数倍'''<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/> 力は大きさと方向・向きを持つのでベクトルだが、作用する場所が変われば、その効果もまったく異なる。すなわち、ベクトルの始点がどこにあるかが、重要なベクトルである。そこで平行移動や始点の異なるベクトルの和は許さない。このようなベクトルは '''束縛ベクトル''']という。<br/> 物理に現れるベクトルは束縛ベクトルであることが良く起こるので、<br/> 物理的意味を考えて、数学を利用する必要がある。<br/> ===質点の位置ベクトルの時間関数表示=== 質点の時刻$t$の位置を位置ベクトル$\vec{r(t)} $であらわす。<br/> 必要に応じて、適切な座標系を用いて座標表示する。例えば直交座標系xyzでは、$(x(t),y(t),z(t)) $とあらわす。<br/> 運動が分かっているときは、$\vec{r(t)} $や$x(t)$,$y(t)$,$z(t))$の具体的形を定められる。<br/> 運動が未知で、運動方程式を解いて求めねばならない時は、未知関数$x(t)$,$y(t)$,$z(t))$を変数とする運動方程式をといて、$x(t)$,$y(t)$,$z(t))$を具体的に求めることができる。 === 質点の速度と加速度 === 空間に原点を決め、質点の位置Pを時間の関数として$\vec{OP}=\vec{r(t)} $と表わせば、質点の動き方がわかるので、その速度や加速度（速度の増加の仕方）も計算できる。 <br/> 位置ベクトルは必要ならば座標系を定め座標成分表示しておく。 <br/> 例えば、xyz直交座標系ならば、$\vec{OP}=(x(t),y(t),z(t))$,<br/> [[wikipedia_ja:極座標系|極座標系]]ならば$\vec{OP}=(r(t),\theta(t),\phi(t))$という形で表せる。 ==== 速度　==== 質点の速度は、質点の位置が単位時間あたり幾ら変化するかを表わす。大きさと方向・向きを持つのでベクトルである。<br/> =====平均速度===== 任意の時刻$t$における質点の位置が$\vec{r(t)} $で表される時、　<br/> 時刻$t$と時刻$s$の間の平均の速度は、　$(\vec{r(s)}- \vec{r(t)})/(s-t)$　で定義する。平均速度はベクトルである。（注意）$s$は$t$の前後どちらでもよい。　<br/> ベクトル$\vec{r(t)} $　を[[wikipedia_ja:直交座標系|直交座標系xyz]]にかんして座標表示し、$(x(t),\,y(t),\,z(t)) $ と表すと、<br/> 平均の速度は、$((x(s)-x(t))/(s-t),\,(y(s)-y(t))/(s-t),\,(z(s)-z(t))/(s-t)) $　となる。 ===== 瞬間速度(略して速度)とベクトル値関数の微分===== 落下する物体は時々刻々速さを増し、一定の速さに留まることはない。<br/> そのような運動の速度を正確にとらえようとして、<br/> ガリレオは、平均速度をとる時間間隔t-sを無限に小さくした時の、平均速度を考えた。<br/> これを瞬間速度という。この概念の発見が微分学の始まりである。<br/> 物理学では、単に速度と言えば、瞬間速度のことをいう。<br/> 高校の数学で学ぶ微分を、ベクトルに値をとる関数に拡張すると、時刻$ｔ$の速度$\vec{v}(t)$は、<br/> $\vec{v}(t)=\frac{d\vec{r}(t)}{dt}=\lim_{s \to t}\frac{\vec{r}(s)- \vec{r}(t)}{s-t} $ <br/> で表せる。 <br/> ベクトル$\vec{r}(t) $　をxyz直交座標の成分で表示（$\vec{r}(t)=(x(t),y(t),z(t)) $）すると、<br/> 上記の速度は、<br/> $\vec{r}(t)=\lim_{s \to t}\frac{\vec{r}(s)- \vec{r}(t)}{s-t}$ <br/> $= \lim_{s \to t}(\frac{x(s)-x(t)}{s-t},\frac{y(s)-y(t)}{s-t},\frac{z(s)-z(t)}{s-t})$　<br/> $=(\lim_{s \to t}\frac{x(s)-x(t)}{s-t},\lim_{s \to t}\frac{y(s)-y(t)}{s-t},\lim_{s \to t}\frac{z(s)-z(t)}{s-t})$<br/> $=(\frac{dx(t)}{dt},\frac{dy(t)}{dt},\frac{dz(t)}{dt}) $ <br/> と表せる(注参照）。<br/> 速度については、下記の記事も参考のこと。 <br/> [[wikipedia_ja:速度|ウィキペディア(速度)]]　　 <br/> （注）ベクトル値関数の極限の定義　<br/> ベクトル値関数$\vec y=\vec{f}(x)$において、実数変数$x$が、$a$と異なる値をとりながら$a$に限りなく近づくとき、<br/> それに対応する従属変数の値$\vec{f}(x)$が、ある一つの値$\vec b$に限りなく近づくとき、<br/> $\vec b$を、$x$が$a$に限りなく近づくときのベクトル値関数$\vec y=\vec{f(x)}$の極限(あるいは極限値）という。　 <br/> これを、$\lim_{x\to a,x \neq 0}\vec{f(x)}=\vec b$と書く。<br/> 今後は、簡略化のため、単に$\lim_{x\to a}\vec{f(x)}=\vec b$と書くたり、<br/> $x\rightarrow a$のとき $\vec{f}(x)\rightarrow \vec{b}$ と書く。<br/> 極限の定義から、 $\lim_{s \to t}\left(\frac{x(s)-x(t)}{s-t},\frac{y(s)-y(t)}{s-t},\frac{z(s)-z(t)}{s-t}\right)$　が存在すれば、<br/> $=\left(\lim_{s \to t}\frac{x(s)-x(t)}{s-t},\lim_{s \to t}\frac{y(s)-y(t)}{s-t},\lim_{s \to t}\frac{z(s)-z(t)}{s-t}\right)$<br/> が証明できる。 =====微分の性質===== 本テキストで用いる<br/> 実変数で実数値の関数の微分については、すべて下記の教科書に記載されている。<br/> 適宜参照されたい。 *[[wikibooks_ja:高等学校数学III_微分法 |ウィキブックス(高等学校数学III_微分法 )]] ===== 等速円運動の速度 ===== 質点が$xy$ 平面上の原点 O を中心とする半径 $r$の円上を等速$v$(ラジアン/s)で運動するとする。<br/> 質点の角速度$\omega$は、$\omega=v/r$（ラジアン／s）である。<br/> 時刻$ｔ$の質点の位置ベクトル$\vec{r(t)} $の<br/> $x,y$座標を$(x(t),\ y(t))$、極座標を(ｒ、$\theta(t))$と書くと、 <br/> $x(t)=r\cos(\theta(t)),\qquad y(t)=r\sin(\theta(t))$<br/> $\theta(t)=\omega t + \theta_0$<br/>　ここで$ \theta_0$　は、時刻0における質点の位相角である。<br/> これらを時間ｔで微分する。<br/> 合成関数の微分の性質と三角関数の微分の公式を用いて計算すると、<br/> 速度のx成分とy成分<br/> $\dot{x(t)}=-r\sin(\theta(t))\dot{\theta(t)}$<br/> $\dot{y(t)}=r\cos(\theta(t))\dot{\theta(t)}$<br/> が得られる。<br/> 但し、$\dot{x(t)}$ は、関数$x(t)$　を時間変数$ｔ$で微分したことを意味する記法で、<br/> $\dot{x(t)}=\frac{dx(t)}{dt}$　ということである。<br/> $\dot{\theta(t)}=\omega $なので　<br/> 速度ベクトルは<br/> $\vec{v(t)}=(\dot{x(t)},\dot{y(t)})=(-r\sin(\theta(t))\omega ,r\cos(\theta(t))\omega)$,<br/> このベクトルは、質点の位置ベクトル<br/> $\vec{r(t)}=(x(t),y(t))=(r\cos(\theta(t)),r\sin(\theta(t)))$<br/> と直交している。<br/> 何故なら、<br/> $\vec{r(t)}$の[[wikipedia_ja:傾き (数学)|傾き]]は$\tan(\theta(t))$、<br/> $\vec{v(t)}$の傾きは$-\frac{1}{\tan(\theta(t))}$なので、<br/> 傾きの積が－1となるからである。<br/> そこで、等速円運動する質点は、その軌道の接線方向の速度を持つことが分かる。<br/> 関連事項については次の記事を参照のこと。<br/> [[wikipedia_ja:円運動|ウィキペディア(円運動)]] ==== 加速度 ==== 質点の加速度は、速度が単位時間あたり幾ら変化するかを表わす、ベクトルである。　　　<br/> 速度と同じように平均加速度と瞬間加速度が考えられるが、単に加速度といえば瞬間加速度のことである。<br/> ===== 平均加速度 ===== 任意の時刻$ｔ$における質点の速度が$\vec{v(t)}= \dot{\vec{r(t)}}$で表される時、<br/> 時刻$t$と時刻$s$の間の平均の加速度は、<br/> $\frac{\vec{v(s)}- \vec{v(t)}}{s-t}=\frac{\dot{\vec{r(s)}}- \dot{\vec{r(t)}}}{s-t}$<br/> で定義する。平均加速度はベクトルである。 ===== 瞬間加速度、略して加速度 ===== 落下する物体は、速度を増すが、その増し方も絶えず増加する。<br/> そのような運動の速度の増加の仕方を正確にとらえるためには、<br/> 平均加速度をとる時間間隔s-tを無限に小さくした時の、平均加速度を考える必要がある。<br/> これを時刻$t$における瞬間加速度という。<br/> 物理学では、単に'''加速度'''と言えば、瞬間加速度のことをいう。<br/> 数式を用いると、時刻$t$の加速度$\vec{\alpha(t)} $は、<br/> $\vec{\alpha(t)}=\frac{d\vec{v(t)}}{dt}$ である。 <br/> $\vec{v(t)}= \frac{d\vec{r(t)}}{dt}$なので、<br/> $\vec{\alpha(t)}=\frac{d^2\vec{r(t)}}{dt^2}$ と書ける。 加速度については、下記の記事も参照のこと。 <br/> [[wikipedia_ja:加速度|ウィキペディア(加速度)]] ===== 等速円運動の加速度 ===== 質点が xy 平面上で<br/> 原点 O を中心とする半径 r の円上を等速$v$で運動するとき、加速度はどうなるか？<br/> 速度ベクトルは$\vec{v(t)}=(\dot{x(t)},\dot{y(t)})=(-r\sin(\theta(t))\omega ,r\cos(\theta(t))\omega)$ であった。<br/> すると加速度は<br/> $\vec{\alpha(t)}=\frac{d\vec{v(t)}}{dt}=-r\omega^2(\cos(\theta(t)),\sin(\theta(t)))=\frac{v^2}{r}(-\frac{\vec{r(t)}}{r})$ <br/>となる。<br/> すなわち大きさが$\frac{v^2}{r}$で<br/> 向きは、質点の位置から運動の中心である原点Oに向いた、ベクトルである。<br/> 以下の記事も参考にしてください。<br/> [[wikipedia_ja:円運動|ウィキペディア(円運動)]] === 時間、長さ、速度、加速度の単位 === 色々な単位系があるが、通常はSI国際単位系が用いられる。<br/> この単位系では時間や長さ等、基本的なものを基本単位として定める。<br/> その他の速度や加速度、力等の単位は、それぞれの定義や物理法則を利用して、基本単位を用いて組み立てる。<br/> これらはSI組み立て単位と呼ばれる。<br/> *[[wikipedia_ja:SI基本単位|SI基本単位（ウィキペディア)]] <br/> *[[wikipedia_ja:SI組立単位|組立単位（ウィキペディア)]] <br/> 例えば、速度の定義は、<br/> $\vec{v(t)}=\frac{d\vec{r(t)}}{dt}=\lim_{s \to t}(\vec{r(s)}- \vec{r(t)})/(s-t)$ <br/> なので、単位は距離の単位$m$（メートル）を時間の単位$s$（秒）で割った、$m/s$ である。<br/> 加速度の単位は、その定義が<br/> $\vec{\alpha(t)}=d\vec{v(t)}/{dt}$ <br/> なので、$m/s^2$　である。 == 時間、長さ、速度、加速度の単位== 色々な単位系があるが、通常はSI国際単位系が用いられる。<br/> この単位系では時間や長さ等、基本的なものを基本単位として定める。<br/> 時間の単位は、呼称は秒、記号は$s$（秒の英語secondの頭文字)であり、秒sと略気する。 長さの単位はメートルｍである。 その他の速度や加速度の単位は、それぞれの定義や物理法則を利用して、基本単位を用いて組み立てる。SI組み立て単位と呼ばれる。<br/> *[[wikipedia_ja:SI基本単位 |ウィキペディア(SI基本単位)]] *[[wikipedia_ja:SI組立単位 |ウィキペディア(SI組立単位)]] 例えば、速度の定義は、<br/> $\vec{v(t)}=\frac{d\vec{r(t)}}{dt}=\lim_{s \to t}(\vec{r(s)}- \vec{r(t)})/(s-t)$ <br/> なので、速度の単位は距離の単位$m$を時間の単位$s$　で割った、$m/s$ である。<br/> 加速度の単位は、その定義が<br/> $\vec{\alpha(t)}=d\vec{v(t)}/{dt}$ <br/> なので、$m/s^2$　である。<br/> なおこのテキストでは、物理量の単位を表示するときは、 物理量の後ろに括弧[ ]をつけ、その中に単位の記号表示を入れる。<br/> 例えば、時刻ｔの単位が秒であることは、ｔ[s]とかく。

物理/質点の運動の表し方 に戻る。