物理/速度・加速度・ベクトル

提供: Internet Web School

(版間での差分)
(ベクトルと演算の数学的定義)
( 直交座標を用いる表示 )
 
(間の24版分が非表示)
1 行: 1 行:
[[物理]]
[[物理]]
> [[物理/速度・加速度・ベクトル|速度・加速度・ベクトル]]
> [[物理/速度・加速度・ベクトル|速度・加速度・ベクトル]]
-
 
-
=力学(ニュートン力学あるいは古典力学)とは何か(What is classical mechanics?)。=
 
-
 
-
物体の運動の基本法則を明らかにする、物理学の一分野です。<br/>
 
-
この理論の根幹は、力の法則(3章)と力と運動の関係を与える運動法則(4章)です。<br/>
 
-
次の解説も参考にして下さい。
 
-
*[[wikipedia_ja:ニュートン力学|ウィキペディア(ニュートン力学) ]]
 
-
無料で公開された力学にかんする高校程度の教科書には下記のものがあるがまだ未完成である。
 
-
*[[wikibooks_ja:高等学校理科_物理I_運動とエネルギー|ウィキブック(高等学校理科_物理I_運動とエネルギー) ]]
 
=質点の運動の表し方 =
=質点の運動の表し方 =
28 行: 19 行:
== 質点の運動を数式で表すにはどうするか? ==
== 質点の運動を数式で表すにはどうするか? ==
-
我々が住む世界は、[[wikipedia_ja:3次元|3次元]] の[[wikipedia_ja:空間|空間]] であり、縦、横、高さという3つの方向がある。この空間には距離という概念がある。 <br/>。また時間のいう時の経過が存在する。この世界の物質は運動していて、その場所を時間とともに変える。<br/>
+
我々が住む世界は、[[wikipedia_ja:3次元|3次元]] の[[wikipedia_ja:空間|空間]] であり、縦、横、高さという3つの方向がある。この空間には距離という概念がある(注参照)。 <br/>
 +
また時間という時の経過が存在する。<br/>。
 +
この世界の物質は運動していて、その場所を時間とともに変える。<br/>
1章の4節で紹介したように近代の力学は、<br/>
1章の4節で紹介したように近代の力学は、<br/>
運動を質点の位置の時間変化と考え、質点の位置や速度を正確に測定し、それらの変化の法則を明らかにして、数式で正確にあらわすという方法で発展した。 <br/>
運動を質点の位置の時間変化と考え、質点の位置や速度を正確に測定し、それらの変化の法則を明らかにして、数式で正確にあらわすという方法で発展した。 <br/>
-
まず、時間と距離の測り方から紹介する。
+
まず、時間と距離の測り方から紹介する。<br/>
 +
(注)空間について、もう少し詳しく知りたい方は、<br/>
 +
「8章、物理数学」の「平面と空間のベクトル」を御覧ください。
=== 時間と距離の測り方 ===
=== 時間と距離の測り方 ===
'''時間'''は時計で正確に測れる。 <br/>
'''時間'''は時計で正確に測れる。 <br/>
43 行: 38 行:
===空間の点の位置の表現 ===
===空間の点の位置の表現 ===
==== 位置ベクトルとベクトル ====
==== 位置ベクトルとベクトル ====
-
3次元空間の適当な点$O$をとり、原点と呼ぶ。<br/>
+
3次元空間$S^3$の適当な点$O$をとり、原点と呼ぶ。<br/>
空間の任意の点$P$に対し,原点$O$と点$P$を結ぶ線分を引き、$O$から点$P$にむけ向きをいれる。<br/>
空間の任意の点$P$に対し,原点$O$と点$P$を結ぶ線分を引き、$O$から点$P$にむけ向きをいれる。<br/>
この向きを図示するため、点$P$に向きを示す矢印を付ける。<br/>
この向きを図示するため、点$P$に向きを示す矢印を付ける。<br/>
-
この向き付きの線分を点$P$を表す位置ベクトルといい、$\overrightarrow{OP}$で表現する。図参照。<br/>
+
この向き付きの線分(有向線分)を点$P$を表す位置ベクトルといい、$\overrightarrow{OP}$で表現する。図参照。<br/>
-
位置ベクトル$\overrightarrow{OP}$の端の点$O$をベクトルの始点、端点$P$をベクトルの終点と呼ぶ。<br/>
+
これは、点Oから見た点Pの位置を、向きのついた線分[OP]の方向・向きと、線分の長さを用いて表示するものである。<br/>
-
位置ベクトル$\overrightarrow{OP}$の終点は$P$なので、この位置ベクトルを点$P$と同一視する。<br/>
+
始点が違った有向線分$\overrightarrow{QR}$でも、<br/>
 +
$\overrightarrow{OP}$と方向・向きと大きさが等しければ、<br/>
 +
点Oから、$\overrightarrow{QR}$の示す方向・向きと大きさの点は、<br/>
 +
同じく点Pとなるので、始点の違いを無視出来る。<br/>
 +
そこで、有向線分$\overrightarrow{OP}$と始点は異なるが、<br/>
 +
方向・向きと大きさの等しい有向線分の全体を纏めて、<br/>
 +
ベクトル$[\vec{OP}]$と呼ぶ。<br/>
 +
これは、有向線分を平行移動して得られる有向線分をすべて集めて出来る集合である。<br/>
 +
通常、表示を簡潔にするため、<br/>
 +
有向線分と同じ記号$\vec{OP}$を使う。<br/>
 +
ベクトル演算では、<br/>
 +
そのベクトルに属す便利な有向線分を選んで、有向線分としての演算を行い、<br/>
 +
得られた有向線分をベクトルとみなせばよい。<br/>
 +
 
 +
有向線分$\overrightarrow{OP}$の矢の根元に当たる端点$O$を有向線分の始点、
 +
矢先の端点$P$を有向線分の終点と呼ぶ。<br/>
 +
位置ベクトル$\overrightarrow{OP}$は、始点がOの有向線分と考えると、
 +
その終点が$P$なので点$P$と同一視する。<br/>
すると、点の位置は、その位置ベクトルで表示出来ることになる。<br/>
すると、点の位置は、その位置ベクトルで表示出来ることになる。<br/>
-
物理学では、位置ベクトル以外にも、速度や、加速度、力などの、大きさと方向、向きを持つ量が沢山登場する。
+
物理学では、位置ベクトル以外にも、<br/>
-
===== ベクトルと演算の数学的定義=====
+
速度や、加速度、力などは、大きさと方向、向きを持つ量なのでベクトルである。<br/>
-
3次元の空間の線分を考える。<br/>
+
物理学では、ある程度のベクトルの知識が必要である。<br/>
-
線分は長さと方向をもつが、この方向に向きを付けたものを'''有向線分'''という。<br/>
+
以下に、ベクトルについて、簡単に紹介する。<br/>
-
有向線分は向きを示すため、その向きの矢印を付けて表す。<br/>
+
まったくベクトルについて学習してない方は次の文献をご覧ください。
-
点$O$から$P$にむけ向きの入った有向線分では、<br/>
+
*[[wikibooks_ja:高等学校数学B ベクトル|ウィキブックス(高等学校数学B ベクトル)]
-
 
+
-
矢の根元のほうの端点$O$を始点、矢印の先のほうの端点$P$を終点と呼ぶ。<br/>
+
-
この有向線分を$\overrightarrow{OP}$と書く。<br/>
+
-
2つの有向線分が、平行移動で重ね合わせが出来るとき(すなわち、長さと方向・向きが等しい時)同一であるとみなした時、<br/>
+
-
有向線分を'''ベクトル'''あるいは3次元ベクトルという。<br/>
+
-
言い換えると、長さと方向・向きの等しい有向線分の全体が、一つのベクトルに対応する。<br/>
+
-
厳密には、有向線分$\overrightarrow{OP}$によって決まるベクトルは、<br/>
+
-
別の記号で(例えば($\overrightarrow{OP}$)などと)書くべきだが、<br/>
+
-
簡略化のため、単に$\overrightarrow{OP}$と書く。<br/>
+
-
有向線分と見るときは、有向線分$\overrightarrow{OP}$と明示する。<br/>
+
-
線分$OP$は、$O=P$ならば、長さは零で、方向も向きも持たないが、<br/>
+
-
$\overrightarrow{PP}$($\overrightarrow{OO}$と同じ)をベクトルとして認め、'''零ベクトル'''と名付け、$\vec{0}$で表す。<br/>
+
-
すなわち、任意の点$P$に対して、$\overrightarrow{PP}=\vec{0}$とみなす。<br/>
+
-
 
+
-
 
+
-
ベクトルは、始点がどこであっても良いので、<br/>
+
-
対応する有向線分のなかで、都合の良い点$P$を始点にする有向線分を選び、<br/>
+
-
その始点$P$と終点$Q$を用いて$\overrightarrow{PQ}$で表すこともある。<br/>
+
-
ベクトル$\vec{A}$の大きさとは、対応する有向線分$\overrightarrow{PQ}$の長さのことで、$|\vec{A}|$で表す。<br/>
+
-
平面上の有向線分を考えれば、2次元ベクトルも同じように定義できる。<br/>
+
====2つのベクトルの和====
-
'''2つのベクトルの和の定義'''<br/>
+
定義;2つのベクトル$\vec{A}$とベクトル$\vec{B}$の和を、次のように定義する。<br/>
-
2つのベクトル$\vec{A}$とベクトル$\vec{B}$の和を、次のように定義する。<br/>
+
・$\vec{A}$を表す有向線分$\overrightarrow{OP}$と$\vec{B}$を表す有向線分$\overrightarrow{PQ}$を用いて、<br/>
-
・$\vec{A}$を表す有向線分$\overrightarrow{OP}$と$\vec{B}$を表す有向線分$\overrightarrow{PQ}$を用いて、有向線分$\overrightarrow{OQ}$に対応するベクトルを、ベクトル$\vec{A}$とベクトル$\vec{B}$の和と定義する。<br/>
+
有向線分$\overrightarrow{OQ}$に対応するベクトルを、ベクトル$\vec{A}$とベクトル$\vec{B}$の和という。ベクトル和の図参照。<br/>
-
すなわち、$\vec{A}+\vec{B}=\overrightarrow{OP}+\overrightarrow{PQ}=\overrightarrow{OQ}$ <br/>
+
すなわち、<br/>
-
$\vec{A}$とベクトル$\vec{B}$を始点の同じ、有向ベクトル$\overrightarrow{OP}$ と有向ベクトル$\overrightarrow{OQ}$で表すと、<br/>
+
$\vec{A}+\vec{B}=\overrightarrow{OP}+\overrightarrow{PQ}=\overrightarrow{OQ}$<br/>
-
これを2辺とする平行四辺形$OPRQ$の対角線$OR$に向きを付けた$\overrightarrow{OR}$の表すベクトルは、<br/>
+
ベクトル$\vec{A}$$\vec{B}$を<br/>
-
$\vec{A}+\vec{B}$であることは容易に分かる。<br/>
+
始点の同じ有向ベクトル$\overrightarrow{OP}$ $\overrightarrow{OR}$で表すと、<br/>
-
定義をもとに考察すると、<br/>
+
これを2辺とする平行四辺形$OPQ'R$の対角線$OQ'$に向きを付けた$\overrightarrow{OQ'}$の表すベクトルは、<br/>
-
$\vec{A}+\vec{B}=\vec{B}+\vec{A}$ ; 交換法則  <br/>
+
$\vec{A}+\vec{B}$に等しいことが容易に分かる。ベクトル和の図参照のこと。<br/>
 +
ベクトル和の定義から、<br/>
 +
必要ならば適切に平行移動しユークリッド幾何の知識を使うと、<br/>
 +
$\vec{A}+\vec{B}=\vec{B}+\vec{A}$ ; 交換法則 <br/>
$(\vec{A}+\vec{B})+\vec{C}=\vec{A}+(\vec{B}+\vec{C})$ ;結合法則 <br/>
$(\vec{A}+\vec{B})+\vec{C}=\vec{A}+(\vec{B}+\vec{C})$ ;結合法則 <br/>
 +
'''零ベクトル''' <br/>
 +
$P=Q$という特殊な場合、$\overrightarrow{PQ}=\overrightarrow{PP}$は、<br/>
 +
P点から見たQ点の位置(同じ位置)であることを示すので、有向線分として認める。<br/>
 +
このように長さが0で一点に退化した有向線分は<br/>
 +
平行移動で互いに移ることが出来るので,<br/>
 +
同一とみなして、零ベクトルと呼ぶ。<br/>
 +
$\vec 0=[\overrightarrow{PP}]:=\{\vec{QQ}\mid Q\in S^3\}$;零元の存在<br/>
 +
すると<br/>
$\vec{A}+\vec{0}=\vec{A}$
$\vec{A}+\vec{0}=\vec{A}$
-
であることが分かる。<br/>
+
であることが、容易に証明できる。<br/>
-
逆ベクトルの定義 <br/>
+
'''逆ベクトル''' <br/>
ベクトル$\vec{A}$に対し、その逆ベクトル$-\vec{A}$とは、<br/>
ベクトル$\vec{A}$に対し、その逆ベクトル$-\vec{A}$とは、<br/>
$\vec{A}$を加えると$\vec{0}$になる、ベクトルのことである。<br/>
$\vec{A}$を加えると$\vec{0}$になる、ベクトルのことである。<br/>
-
どんな$\vec{A}$も、逆ベクトルを一つ、そして一つだけ持つ。<br/>
+
どんな$\vec{A}$も、逆ベクトルを一つ、そして一つだけ持つ。;逆元の存在<br/>
それは、$\vec{A}$と大きさ、方向が同じで、向きが逆のベクトルである。<br/>
それは、$\vec{A}$と大きさ、方向が同じで、向きが逆のベクトルである。<br/>
証明は容易。<br/>
証明は容易。<br/>
以後、$\vec{A}+(-\vec{B})$を、$\vec{A}-\vec{B}$で表す。<br/>
以後、$\vec{A}+(-\vec{B})$を、$\vec{A}-\vec{B}$で表す。<br/>
-
'''ベクトルの実数倍の定義'''<br/>
+
'''ベクトルの実数倍'''<br/>
$a$を任意の実数とする。 <br/>
$a$を任意の実数とする。 <br/>
$\vec{A}$が零ベクトルでない時、その$a$倍、$a\vec{A}$は次のように定義する。<br/>
$\vec{A}$が零ベクトルでない時、その$a$倍、$a\vec{A}$は次のように定義する。<br/>
103 行: 107 行:
・$a< 0$のとき;$a\vec{A}=-(-a)\vec{A}$    <br/>
・$a< 0$のとき;$a\vec{A}=-(-a)\vec{A}$    <br/>
$\vec{A}=\vec{0}$のときは、$a\vec{0}=\vec{0}$とする。<br/>
$\vec{A}=\vec{0}$のときは、$a\vec{0}=\vec{0}$とする。<br/>
-
すると次の諸規則が証明できる。<br/>
+
このように定義すると、<br/>
 +
ベクトルの実数倍がベクトルとして定まる。<br/>
 +
次の諸規則が証明できる。<br/>
$a(\vec{A}+\vec{B})=a\vec{A}+a\vec{B}$  <br/>
$a(\vec{A}+\vec{B})=a\vec{A}+a\vec{B}$  <br/>
$(a+b)\vec{A}=a\vec{A}+b\vec{A}$  <br/>
$(a+b)\vec{A}=a\vec{A}+b\vec{A}$  <br/>
-
$(ab)\vec{A}=a(b\vec{A})$
+
$(ab)\vec{A}=a(b\vec{A})$ <br/>
 +
$1\vec{A}=\vec{A}$    <br/>
==== 位置の座標とベクトルの座標成分表示 ====
==== 位置の座標とベクトルの座標成分表示 ====
141 行: 148 行:
・ベクトルは平行移動しても同じものなので、平行移動して、始点を原点とするベクトル$\vec{OP}$を考える。<br/>
・ベクトルは平行移動しても同じものなので、平行移動して、始点を原点とするベクトル$\vec{OP}$を考える。<br/>
位置ベクトルは、初めから始点が原点に固定された束縛ベクトルなので移動しなくて良い。  <br/>
位置ベクトルは、初めから始点が原点に固定された束縛ベクトルなので移動しなくて良い。  <br/>
-
・ベクトル$\vec{OP}$の終点$P$の座標$(P_{x},P_{y},P_{z})$を、ベクトル$\vec{OP}$の座標成分表示という。位置ベクトル$\vec{OP}$では、その成分表示は、点$P$の座標と同じである。<br/>
+
・ベクトル$\vec{OP}$の終点$P$の座標$(P_{x},P_{y},P_{z})$を、ベクトル$\vec{OP}$の座標成分表示という。<br/>
-
・このように、すべてのベクトルにひと組の数字の組が定まること、逆に3つの実数の組を与えると、唯一つのベクトルが決まることが分かるであろう。<br/>
+
位置ベクトル$\vec{OP}$では、その成分は、点$P$の座標成分と同じである。<br/>
 +
・このように、すべてのベクトルにひと組の数字の組が定まること、<br/>
 +
逆に3つの実数の組を与えると、唯一つのベクトルが決まることが分かるであろう。<br/>
x軸、y軸、z軸は、座標を決めるときに使われるので、座標軸と呼ばれる。<br/>
x軸、y軸、z軸は、座標を決めるときに使われるので、座標軸と呼ばれる。<br/>
153 行: 162 行:
同様に、y軸上の長さ1で正の向きの有向線分に対応するベクトルを$\vec{e_y}$,<br/>
同様に、y軸上の長さ1で正の向きの有向線分に対応するベクトルを$\vec{e_y}$,<br/>
z軸上に、長さ1で正の向きの有向線分に対応するベクトルを$\vec{e_z}$とおく。<br/>
z軸上に、長さ1で正の向きの有向線分に対応するベクトルを$\vec{e_z}$とおく。<br/>
-
すると、任意のベクトル$\vec A$は、その直交座標成分$(A_x,A_y,A_z)$を用いて、<br/>
+
すると、任意のベクトル$\vec A$は、その直交座標成分$(A_x,A_y,A_z)$を用いて、<br/>$\vec A=A_x\vec{e_x}+A_y\vec{e_y}+A_z\vec{e_z}$<br/>
-
$\vec A=A_x\vec{e_x}+A_y\vec{e_y}+A_z\vec{e_z}$
+
と表せることが、簡単に証明できる。<br/>
と表せることが、簡単に証明できる。<br/>
このように、どんなベクトルも、3つのベクトル$\vec{e_x},\vec{e_y},\vec{e_z}$を用いて表示できるので、<br/>
このように、どんなベクトルも、3つのベクトル$\vec{e_x},\vec{e_y},\vec{e_z}$を用いて表示できるので、<br/>
これらを順番に並べた<br/>
これらを順番に並べた<br/>
-
$(\vec{e_x},\vec{e_y},\vec{e_z})$を、3次元空間の基底と呼ぶ。直交していることを明示したいときは、直交基底という。<br/>
+
$(\vec{e_x},\vec{e_y},\vec{e_z})$を、3次元空間の基底と呼ぶ。<br/>
-
さらに、基底ベクトルの大きさが1にとってあるので、これを明示したいときには、[[wikipedia_ja:正規直交基底 |正規直交基底]]と呼ぶ。<br/>
+
直交していることを明示したいときは、直交基底という。<br/>
-
逆に、直交基底$\vec{e_x},\vec{e_y},\vec{e_z}$が与えられると、直交座標系が決まるので、<br/>
+
さらに、基底ベクトルの大きさが1にとってあるので、<br/>
-
任意のベクトル$\vec A$は、その座標成分$(A_x,A_y,A_z)$を用いて、$\vec A=A_x\vec{e_x}+A_y\vec{e_y}+A_z\vec{e_z}$<br/>
+
これを明示したいときには、[[wikipedia_ja:正規直交基底 |正規直交基底]]と呼ぶ。<br/>
-
と表せる。
+
逆に、<br/>
 +
直交基底$\vec{e_x},\vec{e_y},\vec{e_z}$が与えられると、<br/>
 +
直交座標系が決まる。
===== 直交座標系には右手系と左手系の2種類がある =====
===== 直交座標系には右手系と左手系の2種類がある =====
200 行: 210 行:
(注)座標系をつかい、数字の計算で図形等の性質を調べることは16世紀に[[wikipedia_ja:デカルト|デカルト]]が見つけた偉大な方法である。<br/>
(注)座標系をつかい、数字の計算で図形等の性質を調べることは16世紀に[[wikipedia_ja:デカルト|デカルト]]が見つけた偉大な方法である。<br/>
この方法が、運動を法則を解明する時に、不可欠の役割を果たしている。
この方法が、運動を法則を解明する時に、不可欠の役割を果たしている。
 +
=====座標表示の欠点 =====
 +
座標系を定めて位置を数値化すのため、当然のことながら、<br/>
 +
位置を表示する数値は座標系に依存する。<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/>
+
力は大きさと方向・向きを持つのでベクトルだが、作用する場所が変われば、その効果もまったく異なる。すなわち、ベクトルの始点がどこにあるかが、重要なベクトルである。そこで平行移動や始点の異なるベクトルの和は許さない。このようなベクトルは[http://kotobank.jp/word/%E6%9D%9F%E7%B8%9B%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB '''束縛ベクトル''']という。<br/>
-
自由ベクトルについて詳しくない方は次の文献をご覧ください。
+
物理に現れるベクトルは束縛ベクトルであることが良く起こるので、<br/>
-
*[[wikibooks_ja:高等学校数学B ベクトル|ウィキブックス(高等学校数学B ベクトル)]]
+
物理的意味を考えて、数学を利用する必要がある。<br/>
= 質点の速度と加速度 =
= 質点の速度と加速度 =
255 行: 271 行:
[[wikipedia_ja:速度|ウィキペディア(速度)]]
[[wikipedia_ja:速度|ウィキペディア(速度)]]
-
=====極限と微分について   =====
+
=====極限と微分について解説   =====
極限と微分についての基本事項をまだ学んでいない方むけに、要点のみを記載する。<br/>
極限と微分についての基本事項をまだ学んでいない方むけに、要点のみを記載する。<br/>
瞬間速度を求めるとき、$s,t$間の平均速度$\vec{r(s)}- \vec{r(t)})/(s-t)$に対して$ \lim_{s \to t}$という操作を行った。<br/>
瞬間速度を求めるとき、$s,t$間の平均速度$\vec{r(s)}- \vec{r(t)})/(s-t)$に対して$ \lim_{s \to t}$という操作を行った。<br/>
262 行: 278 行:
$\lim_{s \to t}(\vec r(s)- \vec r(t))/(s-t)$ をもとめる操作を、<br/>
$\lim_{s \to t}(\vec r(s)- \vec r(t))/(s-t)$ をもとめる操作を、<br/>
関数を微分するとか、関数の微分をとるという。<br/>
関数を微分するとか、関数の微分をとるという。<br/>
-
ここでは、極限と微分について、その基礎を紹介する。<br/>
+
ここでは、極限と微分について、その基礎を紹介する。<br/> <br/>
-
(1)変数と関数; <br/>
+
'''(1)変数と関数'''   <br/>
色々な値をとりえる文字を、変数という。<br/>
色々な値をとりえる文字を、変数という。<br/>
変数のとり得る値の範囲は、定めておく。<br/>
変数のとり得る値の範囲は、定めておく。<br/>
270 行: 286 行:
$x$の値が決まると、それに対応して$y$の値が一つ決まる時、<br/>
$x$の値が決まると、それに対応して$y$の値が一つ決まる時、<br/>
$y$は$x$の関数であるという。<br/>
$y$は$x$の関数であるという。<br/>
-
$y$が$x$の関数であっても、$x$のすべての値に対しては$y$の値が定まらない場合もある。<br/>
+
$y$が$x$の関数であっても、$x$のとり得る範囲の一部に対しては$y$の値が定まらない場合もある。<br/>
-
この場合も考慮して、$y$の値が対応している$x$の値の全体(集合)を、この関数の定義域という。<br/>
+
この場合も考慮して、$y$の値がきまる$x$の値の全体(集合)を、この関数の定義域という。<br/>
多くの関数は、その定義域は、変数$x$の取り得る範囲と一致しており、<br/>
多くの関数は、その定義域は、変数$x$の取り得る範囲と一致しており、<br/>
すべての$x$の値に対して、$y$の値が対応している。<br/>
すべての$x$の値に対して、$y$の値が対応している。<br/>
-
$x$は、この関数の定義域のなかのどの値もとることができるので、独立変数と呼ばれる。<br/>
+
$x$は、関数の定義域のなかのどの値も代入できるので、独立変数と呼ばれる。<br/>
-
$y$は、$x$の値が決まると自動的に値がきまるので従属変数と呼ぶ。<br/>
+
$y$は、$x$の値が決まると自動的に値がきまるので従属変数と呼ばれる。<br/> <br/>
-
(2)変数と関数の記号<br/>
+
'''(2)変数と関数の記号'''  <br/>
変数は$x,y$以外にも、必要に応じて色々なものが使われる。<br/>
変数は$x,y$以外にも、必要に応じて色々なものが使われる。<br/>
-
例えば、とり得る値が時間(time)である実変数は、それを表すため$t$が使われる。<br/>また、とり得る値が位置ベクトルである、ベクトル変数は$\vec r$が良く使われる。<br/>
+
例えば、とり得る値が時間(time)である実変数は、それを表すため$t$が使われる。<br/>
 +
また、とり得る値が位置ベクトルである、ベクトル変数は$\vec r$が良く使われる。<br/>
$x$の関数$y$のことを、関数記号$f$を用いて、$y=f(x)$と書く。<br/>
$x$の関数$y$のことを、関数記号$f$を用いて、$y=f(x)$と書く。<br/>
関数記号はこれ以外にも$g,F$など、必要に応じて、色々な文字が使われる。<br/>
関数記号はこれ以外にも$g,F$など、必要に応じて、色々な文字が使われる。<br/>
物理学では、従属変数が何か明示でき、記号数を減らせるという理由で、<br/>
物理学では、従属変数が何か明示でき、記号数を減らせるという理由で、<br/>
従属変数の記号を関数記号に用いる。<br/>
従属変数の記号を関数記号に用いる。<br/>
-
例えば独立変数が時間$t$で従属変数が位置ベクトル$\vec r$の関数は、$\vec r=\vec r(t)$と書く。<br/>
+
例えば独立変数が時間$t$で従属変数が位置ベクトル$\vec r$である関数は、$\vec r=\vec r(t)$と書く。<br/>  <br/>
-
(3)関数の極限<br/>
+
'''(3)関数の極限'''  <br/>
独立変数と従属変数が実数や複素数、3次元ベクトルの値をとる時のように、2つの値の間の距離が定義されているとき、極限の概念が重要な役割を果たす。<br/>
独立変数と従属変数が実数や複素数、3次元ベクトルの値をとる時のように、2つの値の間の距離が定義されているとき、極限の概念が重要な役割を果たす。<br/>
-
関数$y=f(x)$において、独立変数$x$が、ある値$a$に限りなく近づくとき、<br/>
+
定義:関数の極限 <br/>
-
それに対応する従属変数の値$f(x)$が、限りなく、ある一つの値$b$に近づくとき、<br/>$b$を、関数$y=f(x)$の、$x=a$における極限という。<br/>
+
関数$y=f(x)$において、独立変数$x$が、$a$と異なる値をとりながら$a$に限りなく近づくとき、<br/>
-
これを$\lim_{x \to a}f(x)=b$と記号で表示する。<br/>
+
それに対応する従属変数の値$f(x)$が、ある一つの値$b$に限りなく近づくとき、<br/>
-
(注)この極限の定義は直観的すぎて正確には分からない。正確にしてほしい方むけに<br/>
+
$b$を、$x$が$a$に限りなく近づくときの関数$y=f(x)$の極限(あるいは極限値)という。 <br/>
 +
 
 +
これを、$\lim_{x \to a}f(x)=b$と記号で表示する。<br/>
 +
あるいは、$x\rightarrow a$のとき  $f(x)\rightarrow b$  とも書く。<br/>
 +
 
 +
(注)この極限の定義は直観的すぎて正確には分からない。正確にしてほしいという方に<br/>
どんなに小さい正数$\epsilon$をとっても、<br/>
どんなに小さい正数$\epsilon$をとっても、<br/>
-
(十分小さい)正数$\delta$をとれば、<br/>
+
(十分小さい)適当な正数$\delta$をとれば、<br/>
-
$\|x-a\|\lt\delta$, $\quad x\neq a$ならば、常に、$\|f(x)-b\| <\epsilon$が成り立つ時、<br/>
+
$\|x-a\|\lt\delta$,$x\neq a$ならば、常に、$\|f(x)-b\| <\epsilon$が成り立つ時、<br/>
-
$b$を、関数$y=f(x)$の、$x=a$における極限という。<br/>
+
$b$を、$x$が$a$に限りなく近づくときの関数$y=f(x)$の極限(あるいは極限値)といい、<br/>
-
*[[wikibooks_ja:高等学校数学III 極限|ウィキブックス 高等学校数学III 極限]]中の関数の極限。<br/>
+
記号では、$\lim_{x \to a}f(x)=b$と表す。
-
ベクトルに値をとる関数の極限;
+
*[[wikibooks_ja:高等学校数学III 極限|ウィキブックス 高等学校数学III 極限]]
 +
の中の関数の極限を参照のこと<br/> <br/>
 +
 
 +
'''(4)関数の極限の性質'''  <br/>
 +
今後は、表現を短くするため、 <br/>
 +
$a$に限りなく近づく」ことを、<br/>
 +
単に「$a$に限りなく近づく」と書く。<br/>
 +
$\alpha,\beta$は任意の実数とする。<br/>
 +
関数$y=f(x)$と$y=g(x)$は、$x$が$a$と異なる値をとりながら$a$に限りなく近づく時、極限を持つ<br/>
 +
と仮定する。<br/>
 +
この時以下の性質が成り立つ。<br/>
 +
'''性質ⅰ)線形性'''  <br/>
 +
$y=\alpha f(x)+\beta g(x)$も、$x$が$a$と異なる値をとりながら$a$に限りなく近づく時極限を持ち<br/>
 +
$\lim_{x \to a}(\alpha f(x)+\beta b g(x)=\alpha \lim_{x \to a}f(x)+\beta \lim_{x \to a}g(x)$  <br/>
 +
性質ⅱ)<br/>
 +
$y=f(x)g(x)$は、$x$が$a$と異なる値をとりながら$a$に限りなく近づく時、極限を持ち、<br/>
 +
$\lim_{x \to a} f(x) g(x)=\lim_{x \to a} f(x)\lim_{x \to a} g(x)$ 
 +
性質ⅲ)<br/>
 +
$\lim_{x \to a} g(x) \neq 0$ならば、<br/>
 +
$y=f(x)/g(x)$は、$x$が$a$と異なる値をとりながら$a$に限りなく近づく時、極限を持ち、<br/>
 +
$\lim_{x \to a} f(x)/g(x)=\lim_{x \to a} f(x)/\lim_{x \to a} g(x)$ <br/> <br/>
 +
'''(5)ベクトルに値をとる関数の極限''';<br/>
 +
$x$を実変数とする。実変数のベクトル値関数  $\vec y=\vec f(x)$において、独立変数$x$が、$a$と異なる値をとりながら$a$に限りなく近づくとき、<br/>
 +
それに対応する従属変数の値$\vec f(x)$が、限りなく、ある一つのベクトル$\vec b$に近づくとき、<br/>
 +
$\vec b$を、$x$が限りなく$a$に近づく時の関数$\vec f(x)$の極限といい、<br/>
 +
$\lim_{x \to a}\vec f(x)=\vec b$と記号で表示する。<br/>  <br/>
 +
 
 +
'''(6)ベクトル値関数の極限の性質''' <br/>
 +
ⅰ)線形性  <br/>
 +
$\alpha,\beta$は任意の実数で、<br/>
 +
関数$\vec y=\vec f(x)$と$\vec y=\vec g(x)$は、$x$が$a$と異なる値をとりながら$a$に限りなく近づく時、極限を持つ<br/>
 +
と仮定する。すると<br/>
 +
$\vec y=\alpha \vec f(x)+\beta \vec g(x)$も、$x$が$a$と異なる値をとりながら$a$に限りなく近づく時極限を持ち<br/>
 +
$\lim_{x \to a}(\alpha f(x)+\beta b g(x)=\alpha \lim_{x \to a}f(x)+\beta \lim_{x \to a}g(x)$ <br/>
 +
ⅱ)ある直交座標系を定め、ベクトルを第一成分(x軸成分)、第2成分(y軸成分)、第3成分(z軸成分)で表示する。この時、<br/>
 +
$\lim_{x \to a}\vec f(x)=\vec b$であることの必要十分条件は<br/>
 +
すべてのi=1,2,3に対して$\lim_{x \to a}f_i(x)= b_i$ <br/>  <br/> <br/>
 +
 
 +
これ等の性質は、実数値関数の場合にも成り立つ。<br/>
 +
証明は各自試みてください。 <br/>
 +
ベクトル値関数の場合も、全く同じように証明できる。 <br/> <br/>
 +
 
 +
'''(7)微分可能と導関数'''  <br/>
 +
実変数ベクトル値関数$\vec y=\vec f(x)$が  <br/>
 +
$x=a$において'''微分可能'''とは、 <br/>
 +
$x$が$a$と異なる値をとりながら$a$に限りなく近づく時、 <br/>
 +
実変数ベクトル値関数$\frac{f(x)-f(a)}{x-a}$が、極限を持つこと。 <br/>
 +
この極限$\lim_{x \to a} \frac{f(x)-f(a)}{x-a}$を  <br/>
 +
関数 $\vec y=\vec f(x)$の$x=a$における'''微分係数'''といい、 <br/>
 +
記号では$\vec {f'}(a)$あるいは$\frac{d\vec f}{dx}(a)$などと書く。 <br/> 
 +
性質     <br/>
 +
実変数ベクトル値関数$\vec y=\vec f(x)$を、直交座標系XYZの成分で、<br/>
 +
$\vec f(x)=(f_1(x),f_2(x),f_3(x))$と表示しておく。<br/>
 +
関数$\vec y=\vec f(x)$が  <br/>
 +
$x=a$において'''微分可能'''のとき、<br/>
 +
$x=a$における微分係数$\vec {f'}(a)$を、直交座標系XYZの成分で表示すると、<br/>
 +
$\vec {f'}(a)=(f_1'(x),f_2'(x),f_3'(x))$  <br/>
 +
'''(8)微分係数の幾何学的意味''' <br/>
 +
'''接線'''の傾き。<br/>
 +
'''接点'''<br/>
 +
関数の接線は、接点の近くで、この関数を近似する。<br/>
 +
 
 +
'''(9)導関数と微分'''  <br/>
 +
今後は、関数$\vec y=\vec f(x)$を、単に$\vec f(x)$と書くこともある。<br/>
 +
この記法では、$x$が独立変数、$\vec f(x)$が、対応する従属変数の値を表す。<br/>
 +
実変数ベクトル値関数$\vec f(x)$において、<br/>
 +
$x$の任意の値$x=a$に対して、微分係数$\vec {f'}(a)$が存在するならば、<br/>
 +
$a$に$\vec {f'}(a)$を対応させると、実変数ベクトル値関数が得られる。<br/>
 +
この関数を関数$\vec y=\vec f(x)$の'''導関数'''といい、<br/>
 +
$\vec y'$、$\vec f'(x)$、$\frac{d\vec f}{dx}$などと書く。<br/>
 +
関数$\vec f(x)$の導関数$\vec {f'}(x)$を求めることを、
 +
$\vec f(x)$を$x$について'''微分する'''という。<br/>
 +
 
 +
'''(10)微分の性質'''<br/>
 +
1) 線形性、<br/>
 +
実数値関数の場合;<br/>
 +
ベクトル値関数に場合;<br/>
 +
2)2つの実数値関数の積の微分  <br/>
 +
3)2つのベクトル値関数の内積の微分  <br/>
 +
4)2つの実数値関数の合成関数の微分  <br/>
 +
5)ベクトル値関数と実数値関数の合成関数の微分  <br/>
 +
6)2つの実数値関数の商の微分    <br/>
 +
 
-
実変数ベクトル値関数の極限 ;自然言語で直観的な説明、その後厳密な定義を与える。<br/>
+
'''初等関数の導関数'''   <br/> 
-
極限の性質;  数列の場合、実変数ベクトル値関数の場合   <br/>
+
物理学で良く使う関数の導関数だけ紹介する。  <br/> 
-
微分可能と導関数の定義;実変数ベクトル値関数が点xにおいて微分可能の定義。微分係数の定義と記法。   <br/> 
+
・$y=x^n$      <br/> 
-
            実変数ベクトル値関数が区間において微分可能の定義。導関数の定義  。<br/> 
+
・$y=sin x$      <br/> 
-
微分の性質;線形性、2つの関数の積の微分、2つの関数の商の微分、合成関数の微分、逆関数の微分  <br/> 
+
・$y=cos x$    <br/>
-
      具体的関数の導関数   <br/> 
+
・$y=x^a$ $(a\neq 0)$      <br/>
-
      接線の定義<br/> 
+
・$y=log_a x$ $(a>0,a\neq 1)$  <br/>
-
      微分可能関数を任意の点の近くで接線で近似できること。<br/>
+
・自然数$e$と自然対数  <br/>
 +
'''接線'''<br/> 
 +
微分可能関数は任意の点の近くで接線で近似できること。<br/>
==== 等速円運動の速度 ====
==== 等速円運動の速度 ====
359 行: 465 行:
*[[wikipedia_ja:SI基本単位|SI基本単位(ウィキペディア)]]  <br/>
*[[wikipedia_ja:SI基本単位|SI基本単位(ウィキペディア)]]  <br/>
*[[wikipedia_ja: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/>
+
例えば、速度の定義は、<br/>
-
なので、速度の単位は距離の単位$m$(メートル)を時間の単位$s$(秒)で割った、$m/s$ である。<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/>
加速度の単位は、その定義が<br/>
$\vec{\alpha(t)}=d\vec{v(t)}/{dt}$    <br/>
$\vec{\alpha(t)}=d\vec{v(t)}/{dt}$    <br/>

2015年3月14日 (土) 16:14 時点における最新版

物理 > 速度・加速度・ベクトル

目次

質点の運動の表し方 

高校では主に質点 (大きさがなく重さだけがある点状の物体)の運動を学び、 
その法則を明らかにします。

なぜ質点の運動から、学ぶのか

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

質点の運動を数式で表すにはどうするか?

我々が住む世界は、3次元空間 であり、縦、横、高さという3つの方向がある。この空間には距離という概念がある(注参照)。
また時間という時の経過が存在する。
。 この世界の物質は運動していて、その場所を時間とともに変える。
1章の4節で紹介したように近代の力学は、
運動を質点の位置の時間変化と考え、質点の位置や速度を正確に測定し、それらの変化の法則を明らかにして、数式で正確にあらわすという方法で発展した。
まず、時間と距離の測り方から紹介する。
(注)空間について、もう少し詳しく知りたい方は、
「8章、物理数学」の「平面と空間のベクトル」を御覧ください。

時間と距離の測り方

時間は時計で正確に測れる。
詳しくはウィキペディア(時間) の4.1 ニュートン力学での時間
を参照のこと。

また距離(あるいは長さ)は、距離の原器を使って正確に測れる。
詳しくは、

空間の点の位置の表現 

 位置ベクトルとベクトル 

3次元空間$S^3$の適当な点$O$をとり、原点と呼ぶ。
空間の任意の点$P$に対し,原点$O$と点$P$を結ぶ線分を引き、$O$から点$P$にむけ向きをいれる。
この向きを図示するため、点$P$に向きを示す矢印を付ける。
この向き付きの線分(有向線分)を点$P$を表す位置ベクトルといい、$\overrightarrow{OP}$で表現する。図参照。
これは、点Oから見た点Pの位置を、向きのついた線分[OP]の方向・向きと、線分の長さを用いて表示するものである。
始点が違った有向線分$\overrightarrow{QR}$でも、
$\overrightarrow{OP}$と方向・向きと大きさが等しければ、
点Oから、$\overrightarrow{QR}$の示す方向・向きと大きさの点は、
同じく点Pとなるので、始点の違いを無視出来る。
そこで、有向線分$\overrightarrow{OP}$と始点は異なるが、
方向・向きと大きさの等しい有向線分の全体を纏めて、
ベクトル$[\vec{OP}]$と呼ぶ。
これは、有向線分を平行移動して得られる有向線分をすべて集めて出来る集合である。
通常、表示を簡潔にするため、
有向線分と同じ記号$\vec{OP}$を使う。
ベクトル演算では、
そのベクトルに属す便利な有向線分を選んで、有向線分としての演算を行い、
得られた有向線分をベクトルとみなせばよい。

有向線分$\overrightarrow{OP}$の矢の根元に当たる端点$O$を有向線分の始点、 矢先の端点$P$を有向線分の終点と呼ぶ。
位置ベクトル$\overrightarrow{OP}$は、始点がOの有向線分と考えると、 その終点が$P$なので点$P$と同一視する。
すると、点の位置は、その位置ベクトルで表示出来ることになる。
物理学では、位置ベクトル以外にも、
速度や、加速度、力などは、大きさと方向、向きを持つ量なのでベクトルである。
物理学では、ある程度のベクトルの知識が必要である。
以下に、ベクトルについて、簡単に紹介する。
まったくベクトルについて学習してない方は次の文献をご覧ください。

  • [[wikibooks_ja:高等学校数学B ベクトル|ウィキブックス(高等学校数学B ベクトル)]

2つのベクトルの和

定義;2つのベクトル$\vec{A}$とベクトル$\vec{B}$の和を、次のように定義する。
・$\vec{A}$を表す有向線分$\overrightarrow{OP}$と$\vec{B}$を表す有向線分$\overrightarrow{PQ}$を用いて、
有向線分$\overrightarrow{OQ}$に対応するベクトルを、ベクトル$\vec{A}$とベクトル$\vec{B}$の和という。ベクトル和の図参照。
すなわち、
$\vec{A}+\vec{B}=\overrightarrow{OP}+\overrightarrow{PQ}=\overrightarrow{OQ}$;
ベクトル$\vec{A}$と$\vec{B}$を
始点の同じ有向ベクトル$\overrightarrow{OP}$ と$\overrightarrow{OR}$で表すと、
これを2辺とする平行四辺形$OPQ'R$の対角線$OQ'$に向きを付けた$\overrightarrow{OQ'}$の表すベクトルは、
$\vec{A}+\vec{B}$に等しいことが容易に分かる。ベクトル和の図参照のこと。
ベクトル和の定義から、
必要ならば適切に平行移動しユークリッド幾何の知識を使うと、
$\vec{A}+\vec{B}=\vec{B}+\vec{A}$ ; 交換法則 
$(\vec{A}+\vec{B})+\vec{C}=\vec{A}+(\vec{B}+\vec{C})$ ;結合法則 
零ベクトル 
$P=Q$という特殊な場合、$\overrightarrow{PQ}=\overrightarrow{PP}$は、
P点から見たQ点の位置(同じ位置)であることを示すので、有向線分として認める。
このように長さが0で一点に退化した有向線分は
平行移動で互いに移ることが出来るので,
同一とみなして、零ベクトルと呼ぶ。
$\vec 0=[\overrightarrow{PP}]:=\{\vec{QQ}\mid Q\in S^3\}$;零元の存在
すると
$\vec{A}+\vec{0}=\vec{A}$ であることが、容易に証明できる。
逆ベクトル 
ベクトル$\vec{A}$に対し、その逆ベクトル$-\vec{A}$とは、
$\vec{A}$を加えると$\vec{0}$になる、ベクトルのことである。
どんな$\vec{A}$も、逆ベクトルを一つ、そして一つだけ持つ。;逆元の存在
それは、$\vec{A}$と大きさ、方向が同じで、向きが逆のベクトルである。
証明は容易。
以後、$\vec{A}+(-\vec{B})$を、$\vec{A}-\vec{B}$で表す。
ベクトルの実数倍
$a$を任意の実数とする。
$\vec{A}$が零ベクトルでない時、その$a$倍、$a\vec{A}$は次のように定義する。
・$a$が正数のとき;$a\vec{A}$は、$\vec{A}$と方向・向きは同じで、大きさが$a$倍であるベクトルで定義する。
・$a=0$のとき;$0\vec{A}=\vec{0}$で定義する。
・$a< 0$のとき;$a\vec{A}=-(-a)\vec{A}$
$\vec{A}=\vec{0}$のときは、$a\vec{0}=\vec{0}$とする。
このように定義すると、
ベクトルの実数倍がベクトルとして定まる。
次の諸規則が証明できる。
$a(\vec{A}+\vec{B})=a\vec{A}+a\vec{B}$
$(a+b)\vec{A}=a\vec{A}+b\vec{A}$
$(ab)\vec{A}=a(b\vec{A})$
$1\vec{A}=\vec{A}$

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

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

そこで点$P$の位置、位置ベクトル$\overrightarrow{OP}$やその他のベクトルを、いくつかの数字が順番に並んだ、数字の組で表わす方法が考えだされた。
図ではなく数字を使って位置やベクトルを表せるなら、数学で知られた色々な計算方法が利用でき、具体的な計算は飛躍的に進化する。
点の位置をいくつかの数字の組で表示するのは座標表示と呼ばれ、
ベクトルをいくつかの数字の組で表現することはベクトルの座標成分表示と呼ばれる。
色々な座標を使った表示法がみつかっている。
最も広く利用されている方法を説明しよう。

 直交座標を用いる表示 

空間に定めた原点$O$をとおる、縦と横と高さ方向の直交する3つの直線を引く。
各直線上の原点から単位の距離にある点(原点の両側にある)の一方に+1を、他方にー1を振る。
他の点にも、原点からの距離に+-符合(原点に関して、+1と同じ側の点には+)をつけた数字(実数)を割り振る。
このように、各点に数字が割り振られた直線に、数字が増大する向きに矢印をつける。
この直線を数直線と呼び、各点に割り振られた数字をこの点の座標と呼ぶ。図_数直線参照。
縦(手前と奥)方向の数直線をx軸、横(左右)方向の数直線をy軸、高さ(上下)方向の数直線をz軸と呼ぶ。
任意の点$P$の位置や3次元ベクトルは、これ等の数直線を利用して、以下のようにして、3つの実数の組で表示できる。
(1)点の位置の座標表示 
任意の点$P$から、x軸に下ろした垂線の足の座標$P_{x}$, y軸に下ろした垂線の足の座標$P_{y}$,z軸に下ろした垂線の足の座標$P_{z}$を求める。
$P_{x}$、$P_{y}$、$P_{z}$をそれぞれ、点Pのx座標、y座標、z座標と呼ぶ。 点$P$にたいして3つの数字の組$(P_{x},P_{y}, P_{z})$が、唯一つ定まる。これを点$P$の座標と呼ぶ。
ここで、数字は、x座標、y座標、z座標の順序で並べなければならない。
逆に3つの実数の組$(a_{x},a_{y}, a_{z})$に対して、それを座標にもつ点$P$が、唯一つ決まる。図_座標表示を参照のこと。

(2)ベクトルの座標成分表示  
・ベクトルは平行移動しても同じものなので、平行移動して、始点を原点とするベクトル$\vec{OP}$を考える。
位置ベクトルは、初めから始点が原点に固定された束縛ベクトルなので移動しなくて良い。  
・ベクトル$\vec{OP}$の終点$P$の座標$(P_{x},P_{y},P_{z})$を、ベクトル$\vec{OP}$の座標成分表示という。
位置ベクトル$\vec{OP}$では、その成分は、点$P$の座標成分と同じである。
・このように、すべてのベクトルにひと組の数字の組が定まること、
逆に3つの実数の組を与えると、唯一つのベクトルが決まることが分かるであろう。

x軸、y軸、z軸は、座標を決めるときに使われるので、座標軸と呼ばれる。


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

(3)ベクトルと、その直交座標成分表示の関係について  
x軸上に、長さが1で、正の向き(座標の増加する向きのこと)の有向線分をとり、これによって決まるベクトルを$\vec{e_x}$とおく。
同様に、y軸上の長さ1で正の向きの有向線分に対応するベクトルを$\vec{e_y}$,
z軸上に、長さ1で正の向きの有向線分に対応するベクトルを$\vec{e_z}$とおく。
すると、任意のベクトル$\vec A$は、その直交座標成分$(A_x,A_y,A_z)$を用いて、
$\vec A=A_x\vec{e_x}+A_y\vec{e_y}+A_z\vec{e_z}$
と表せることが、簡単に証明できる。
このように、どんなベクトルも、3つのベクトル$\vec{e_x},\vec{e_y},\vec{e_z}$を用いて表示できるので、
これらを順番に並べた
$(\vec{e_x},\vec{e_y},\vec{e_z})$を、3次元空間の基底と呼ぶ。
直交していることを明示したいときは、直交基底という。
さらに、基底ベクトルの大きさが1にとってあるので、
これを明示したいときには、正規直交基底と呼ぶ。
逆に、
直交基底$\vec{e_x},\vec{e_y},\vec{e_z}$が与えられると、
直交座標系が決まる。

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

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

(2)平面の場合;
x軸を原点を中心に90度だけ反時計回りに回転してx軸とy軸を重ねたときb、向きまで一致する座標系を右手系といい、逆向きになる時左手系という。

(3)物理では右手系を用いる。
どちらの座標系を使っても、あらゆることが、同じように議論できるが、
どちらの座標系を使っているかで法則の表現が違ったり、
2種の座標系を混在させて使うと過ちになるなど、
不具合が生じてしまうので、
物理の世界では、右手系を使うことにしている。
直交座標系については、 ウィキペディア(直交座標系)
を参照のこと。

色々な座標

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


極座標については、ウィキペディア(極座標系)
その他の座標系も含む色々な座標系についてはウィキペディア(座標)
を参照のこと。
(注)座標系をつかい、数字の計算で図形等の性質を調べることは16世紀にデカルトが見つけた偉大な方法である。
この方法が、運動を法則を解明する時に、不可欠の役割を果たしている。

座標表示の欠点

座標系を定めて位置を数値化すのため、当然のことながら、
位置を表示する数値は座標系に依存する。
このため、異なる座標系で表現したいときには、正しい数値にするため、
場合によってはかなり複雑な変換をする必要が起こる。
ベクトル表示は、座標を用いないので、この種の煩わしさは無い。

物理で利用するベクトルの演算についての注意

数学で扱うベクトルは、文字通り、大きさと方向・向きの等しいベクトルは皆同じものとみなし、平行移動したり、ベクトル同士の演算も自由にできる。自由ベクトルと呼ばれる。
ところが
力は大きさと方向・向きを持つのでベクトルだが、作用する場所が変われば、その効果もまったく異なる。すなわち、ベクトルの始点がどこにあるかが、重要なベクトルである。そこで平行移動や始点の異なるベクトルの和は許さない。このようなベクトルは束縛ベクトルという。
物理に現れるベクトルは束縛ベクトルであることが良く起こるので、
物理的意味を考えて、数学を利用する必要がある。

質点の速度と加速度

空間に原点を決め、質点の位置Pを時間の関数として$\vec{OP}=\vec{r(t)} $と表わせば、質点の動き方がわかるので、その速度や加速度(速度の増加の仕方)も計算できる。
位置ベクトルは必要ならば座標系を定め座標成分表示しておく。
例えば、xyz直交座標系ならば、$\vec{OP}=(x(t),y(t),z(t))$,
極座標系ならば$\vec{OP}=(r(t),\theta(t),\phi(t))$という形で表せる。

速度 

質点の速度は、質点の位置が単位時間あたり幾ら変化するかを表わす。大きさと方向・向きを持つのでベクトルである。

平均速度

任意の時刻$t$における質点の位置が$\vec{r(t)} $で表される時、 
時刻$t$と時刻$s$の間の平均の速度は、 $(\vec{r(s)}- \vec{r(t)})/(s-t)$ で定義する。平均速度はベクトルである。(注意)$s$は$t$の前後どちらでもよい。 
ベクトル$\vec{r(t)} $ を直交座標系xyzにかんして座標表示し、$(x(t),\,y(t),\,z(t)) $ と表すと、
平均の速度は、$((x(s)-x(t))/(s-t),\,(y(s)-y(t))/(s-t),\,(z(s)-z(t))/(s-t)) $ となる。

瞬間速度(略して速度)とベクトル値関数の微分

落下する物体は時々刻々速さを増し、一定の速さに留まることはない。
そのような運動の速度を正確にとらえようとして、ガリレオは、平均速度をとる時間間隔t-sを無限に小さくした時の、平均速度を考えた(微分学の始まり)。
これを瞬間速度という。物理学では、単に速度と言えば、瞬間速度のことをいう。
高校の数学で学ぶ微分を、ベクトルに値をとる関数に拡張すると、時刻$t$の速度$\vec{v(t)} $は、
$\vec{v(t)}=\frac{d\vec{r(t)}}{dt}=\lim_{s \to t}(\vec{r(s)}- \vec{r(t)})/(s-t)$
で表せる。
ベクトル$\vec{r(t)} $ をxyz直交座標の成分で表示($\vec{r(t)}=(x(t),y(t),z(t)) $)すると、上記の速度は、
$\vec{v(t)}=\lim_{s \to t}(\vec{r(s)}- \vec{r(t)})/(s-t)$
$= \lim_{s \to t}(x(s)-x(t))/(s-t),\,(y(s)-y(t))/(s-t),\,(z(s)-z(t))/(s-t))$ 
$=(\lim_{s \to t}(x(s)-x(t))/(s-t),\,\lim_{s \to t}(y(s)-y(t))/(s-t),\,\lim_{s \to t}(z(s)-z(t))/(s-t))$
$=(\frac{dx(t)}{dt},\,\frac{dy(t)}{dt},\,\frac{dz(t)}{dt}) $
と表せる。
速度については、下記の記事も参考のこと。
ウィキペディア(速度)

瞬間速度(略して速度)とベクトル値関数の微分

落下する物体は時々刻々速さを増し、一定の速さに留まることはない。
そのような運動の速度を正確にとらえようとして、ガリレオは、平均速度をとる時間間隔$s-t$を無限に小さくした時の、平均速度を考えた(微分学の始まり)。
これを瞬間速度という。物理学では、単に速度と言えば、瞬間速度のことをいう。
高校の数学で学ぶ微分を、ベクトルに値をとる関数に拡張すると、時刻$t$の速度$\vec v(t) $は、
$\vec v(t)=\frac{d\vec r(t)}{dt}=\lim_{s \to t}(\vec r(s)- \vec r(t))/(s-t)$
で表せる。
ベクトル$\vec r(t) $ をxyz直交座標の成分で表示($\vec r(t)=(x(t),y(t),z(t)) $)すると、上記の速度は、
$\vec v(t)=\lim_{s \to t}(\vec r(s)- \vec r(t))/(s-t)$
$= \lim_{s \to t}(x(s)-x(t))/(s-t),\,(y(s)-y(t))/(s-t),\,(z(s)-z(t))/(s-t))$ 
$=(\lim_{s \to t}(x(s)-x(t))/(s-t),\,\lim_{s \to t}(y(s)-y(t))/(s-t),\,\lim_{s \to t}(z(s)-z(t))/(s-t))$
$=(\frac{dx(t)}{dt},\,\frac{dy(t)}{dt},\,\frac{dz(t)}{dt}) $
と表せる。
速度については、下記の記事も参考のこと。
ウィキペディア(速度)

極限と微分について解説

極限と微分についての基本事項をまだ学んでいない方むけに、要点のみを記載する。
瞬間速度を求めるとき、$s,t$間の平均速度$\vec{r(s)}- \vec{r(t)})/(s-t)$に対して$ \lim_{s \to t}$という操作を行った。
この操作を極限をとるという。
また、ベクトルに値をとる関数$\vec r=\vec r(t)$に対して
$\lim_{s \to t}(\vec r(s)- \vec r(t))/(s-t)$ をもとめる操作を、
関数を微分するとか、関数の微分をとるという。
ここでは、極限と微分について、その基礎を紹介する。
 
(1)変数と関数  
色々な値をとりえる文字を、変数という。
変数のとり得る値の範囲は、定めておく。
この範囲が、実数のときは実変数、複素数のときは複素変数、ベクトルのときはベクトル変数などと、明示することがある。
2つの変数$x,y$のあいだに、
$x$の値が決まると、それに対応して$y$の値が一つ決まる時、
$y$は$x$の関数であるという。
$y$が$x$の関数であっても、$x$のとり得る範囲の一部に対しては$y$の値が定まらない場合もある。
この場合も考慮して、$y$の値がきまる$x$の値の全体(集合)を、この関数の定義域という。
多くの関数は、その定義域は、変数$x$の取り得る範囲と一致しており、
すべての$x$の値に対して、$y$の値が対応している。

$x$は、関数の定義域のなかのどの値も代入できるので、独立変数と呼ばれる。
$y$は、$x$の値が決まると自動的に値がきまるので従属変数と呼ばれる。
 

(2)変数と関数の記号
変数は$x,y$以外にも、必要に応じて色々なものが使われる。
例えば、とり得る値が時間(time)である実変数は、それを表すため$t$が使われる。
また、とり得る値が位置ベクトルである、ベクトル変数は$\vec r$が良く使われる。
$x$の関数$y$のことを、関数記号$f$を用いて、$y=f(x)$と書く。
関数記号はこれ以外にも$g,F$など、必要に応じて、色々な文字が使われる。
物理学では、従属変数が何か明示でき、記号数を減らせるという理由で、
従属変数の記号を関数記号に用いる。
例えば独立変数が時間$t$で従属変数が位置ベクトル$\vec r$である関数は、$\vec r=\vec r(t)$と書く。
  
(3)関数の極限
独立変数と従属変数が実数や複素数、3次元ベクトルの値をとる時のように、2つの値の間の距離が定義されているとき、極限の概念が重要な役割を果たす。
定義:関数の極限 
関数$y=f(x)$において、独立変数$x$が、$a$と異なる値をとりながら$a$に限りなく近づくとき、
それに対応する従属変数の値$f(x)$が、ある一つの値$b$に限りなく近づくとき、
$b$を、$x$が$a$に限りなく近づくときの関数$y=f(x)$の極限(あるいは極限値)という。 

これを、$\lim_{x \to a}f(x)=b$と記号で表示する。
あるいは、$x\rightarrow a$のとき $f(x)\rightarrow b$ とも書く。

(注)この極限の定義は直観的すぎて正確には分からない。正確にしてほしいという方に
どんなに小さい正数$\epsilon$をとっても、
(十分小さい)適当な正数$\delta$をとれば、
$\|x-a\|\lt\delta$,$x\neq a$ならば、常に、$\|f(x)-b\| <\epsilon$が成り立つ時、
$b$を、$x$が$a$に限りなく近づくときの関数$y=f(x)$の極限(あるいは極限値)といい、
記号では、$\lim_{x \to a}f(x)=b$と表す。

の中の関数の極限を参照のこと
 

(4)関数の極限の性質
今後は、表現を短くするため、 
$a$に限りなく近づく」ことを、
単に「$a$に限りなく近づく」と書く。
$\alpha,\beta$は任意の実数とする。
関数$y=f(x)$と$y=g(x)$は、$x$が$a$と異なる値をとりながら$a$に限りなく近づく時、極限を持つ
と仮定する。
この時以下の性質が成り立つ。
性質ⅰ)線形性
$y=\alpha f(x)+\beta g(x)$も、$x$が$a$と異なる値をとりながら$a$に限りなく近づく時極限を持ち
$\lim_{x \to a}(\alpha f(x)+\beta b g(x)=\alpha \lim_{x \to a}f(x)+\beta \lim_{x \to a}g(x)$  
性質ⅱ)
$y=f(x)g(x)$は、$x$が$a$と異なる値をとりながら$a$に限りなく近づく時、極限を持ち、
$\lim_{x \to a} f(x) g(x)=\lim_{x \to a} f(x)\lim_{x \to a} g(x)$  性質ⅲ)
$\lim_{x \to a} g(x) \neq 0$ならば、
$y=f(x)/g(x)$は、$x$が$a$と異なる値をとりながら$a$に限りなく近づく時、極限を持ち、
$\lim_{x \to a} f(x)/g(x)=\lim_{x \to a} f(x)/\lim_{x \to a} g(x)$ 
 
(5)ベクトルに値をとる関数の極限
$x$を実変数とする。実変数のベクトル値関数 $\vec y=\vec f(x)$において、独立変数$x$が、$a$と異なる値をとりながら$a$に限りなく近づくとき、
それに対応する従属変数の値$\vec f(x)$が、限りなく、ある一つのベクトル$\vec b$に近づくとき、
$\vec b$を、$x$が限りなく$a$に近づく時の関数$\vec f(x)$の極限といい、
$\lim_{x \to a}\vec f(x)=\vec b$と記号で表示する。
  

(6)ベクトル値関数の極限の性質 
ⅰ)線形性  
$\alpha,\beta$は任意の実数で、
関数$\vec y=\vec f(x)$と$\vec y=\vec g(x)$は、$x$が$a$と異なる値をとりながら$a$に限りなく近づく時、極限を持つ
と仮定する。すると
$\vec y=\alpha \vec f(x)+\beta \vec g(x)$も、$x$が$a$と異なる値をとりながら$a$に限りなく近づく時極限を持ち
$\lim_{x \to a}(\alpha f(x)+\beta b g(x)=\alpha \lim_{x \to a}f(x)+\beta \lim_{x \to a}g(x)$ 
ⅱ)ある直交座標系を定め、ベクトルを第一成分(x軸成分)、第2成分(y軸成分)、第3成分(z軸成分)で表示する。この時、
$\lim_{x \to a}\vec f(x)=\vec b$であることの必要十分条件は
すべてのi=1,2,3に対して$\lim_{x \to a}f_i(x)= b_i$

 

これ等の性質は、実数値関数の場合にも成り立つ。
証明は各自試みてください。 
ベクトル値関数の場合も、全く同じように証明できる。 
 

(7)微分可能と導関数
実変数ベクトル値関数$\vec y=\vec f(x)$が  
$x=a$において微分可能とは、 
$x$が$a$と異なる値をとりながら$a$に限りなく近づく時、 
実変数ベクトル値関数$\frac{f(x)-f(a)}{x-a}$が、極限を持つこと。 
この極限$\lim_{x \to a} \frac{f(x)-f(a)}{x-a}$を  
関数 $\vec y=\vec f(x)$の$x=a$における微分係数といい、 
記号では$\vec {f'}(a)$あるいは$\frac{d\vec f}{dx}(a)$などと書く。 
  性質     
実変数ベクトル値関数$\vec y=\vec f(x)$を、直交座標系XYZの成分で、
$\vec f(x)=(f_1(x),f_2(x),f_3(x))$と表示しておく。
関数$\vec y=\vec f(x)$が  
$x=a$において微分可能のとき、
$x=a$における微分係数$\vec {f'}(a)$を、直交座標系XYZの成分で表示すると、
$\vec {f'}(a)=(f_1'(x),f_2'(x),f_3'(x))$
(8)微分係数の幾何学的意味 
接線の傾き。
接点
関数の接線は、接点の近くで、この関数を近似する。

(9)導関数と微分  
今後は、関数$\vec y=\vec f(x)$を、単に$\vec f(x)$と書くこともある。
この記法では、$x$が独立変数、$\vec f(x)$が、対応する従属変数の値を表す。
実変数ベクトル値関数$\vec f(x)$において、
$x$の任意の値$x=a$に対して、微分係数$\vec {f'}(a)$が存在するならば、
$a$に$\vec {f'}(a)$を対応させると、実変数ベクトル値関数が得られる。
この関数を関数$\vec y=\vec f(x)$の導関数といい、
$\vec y'$、$\vec f'(x)$、$\frac{d\vec f}{dx}$などと書く。
関数$\vec f(x)$の導関数$\vec {f'}(x)$を求めることを、 $\vec f(x)$を$x$について微分するという。

(10)微分の性質
1) 線形性、
実数値関数の場合;
ベクトル値関数に場合;
2)2つの実数値関数の積の微分
3)2つのベクトル値関数の内積の微分
4)2つの実数値関数の合成関数の微分
5)ベクトル値関数と実数値関数の合成関数の微分
6)2つの実数値関数の商の微分


初等関数の導関数   
  物理学で良く使う関数の導関数だけ紹介する。  
  ・$y=x^n$
  ・$y=sin x$
  ・$y=cos x$
・$y=x^a$ $(a\neq 0)$
・$y=log_a x$ $(a>0,a\neq 1)$
・自然数$e$と自然対数  
接線
  微分可能関数は任意の点の近くで接線で近似できること。

等速円運動の速度

質点が$xy$ 平面上の原点 O を中心とする半径 $r$の円上を等速$v$で運動するとする。
質点の角速度$\omega$は、$\omega=v/r$(ラジアン/単位時間)である。
時刻$t$の質点の位置ベクトル$\vec{r(t)} $の$x,y$座標を$(x(t),\ y(t))$、極座標を(r、$\theta(t))$と書くと、
$x(t)=r\cos(\theta(t)),\qquad y(t)=r\sin(\theta(t))$
$\theta(t)=\omega t + \theta_0$
 ここで$ \theta_0$ は、時刻0における質点の位相角である。
これらを時間tで微分すると、速度のx成分とy成分
$\dot{x(t)}=-r\sin(\theta(t))\dot{\theta(t)}$
$\dot{y(t)}=r\cos(\theta(t))\dot{\theta(t)}$
が得られる。
但し、$\dot{x(t)}$ は、関数$x(t)$ を時間変数$t$で微分したことを意味する記法で、
$\dot{x(t)}=\frac{dx(t)}{dt}$ ということである。
$\dot{\theta(t)}=\omega $なので 
速度ベクトルは$\vec{v(t)}=(\dot{x(t)},\dot{y(t)})=(-r\sin(\theta(t))\omega ,r\cos(\theta(t))\omega)$,
このベクトルは、質点の位置ベクトル$\vec{r(t)}=(x(t),y(t))=(r\cos(\theta(t)),r\sin(\theta(t)))$
と直交している。
何故なら、$\vec{r(t)}$の傾きは$\tan(\theta(t))$、$\vec{v(t)}$の傾きは$-\frac{1}{\tan(\theta(t))}$なので、傾きの積が-1となるからである。
関連事項については次の記事を参照のこと。
ウィキペディア(円運動)

加速度

質点の加速度は、速度が単位時間あたり幾ら変化するかを表わす、ベクトルである。   
速度と同じように平均加速度と瞬間加速度が考えられるが、単に加速度といえば瞬間加速度のことである。

平均加速度

任意の時刻$t$における質点の速度が$\vec{v(t)}= \dot{\vec{r(t)}}$で表される時、
時刻$t$と時刻$s$の間の平均の加速度は、
$(\vec{v(s)}- \vec{v(t)})/(s-t)=(\dot{\vec{r(s)}}- \dot{\vec{r(t)}})/(s-t)$
で定義する。平均加速度はベクトルである。

瞬間加速度、略して加速度

落下する物体は、速度を増すが、その増し方も絶えず増加する。
そのような運動の速度の増加の仕方を正確にとらえるためには、平均加速度をとる時間間隔s-tを無限に小さくした時の、平均加速度を考える必要がある。
これを時刻$t$における瞬間加速度というが、物理学では、単に加速度と言えば、瞬間加速度のことをいう。
数式を用いると、時刻$t$の加速度$\vec{\alpha(t)} $は、
$\vec{\alpha(t)}=d\vec{v(t)}/{dt}$
$\vec{v(t)}= d\vec{r(t)}/dt$なので、
$\vec{\alpha(t)}=d^2\vec{r(t)}/dt^2$ と書ける。 加速度については、下記の記事も参照のこと。
ウィキペディア(加速度)

等速円運動の加速度

質点が xy 平面上で原点 O を中心とする半径 r の円上を等速で運動するとき、加速度はどうなるか?
速度ベクトルは$\vec{v(t)}=(\dot{x(t)},\dot{y(t)})=(-r\sin(\theta(t))\omega ,r\cos(\theta(t))\omega)$ であった。すると加速度は$\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})$ となる。すなわち大きさが$\frac{v^2}{r}$で向きは、質点の位置から運動の中心である原点Oに向いた、ベクトルである。
以下の記事も参考にしてください。
ウィキペディア(円運動)

時間、長さ、速度、加速度の単位

色々な単位系があるが、通常はSI国際単位系が用いられる。
この単位系では時間や長さ等、基本的なものを基本単位として定める。
その他の速度や加速度、力等の単位は、それぞれの定義や物理法則を利用して、基本単位を用いて組み立てる。
これらはSI組み立て単位と呼ばれる。

例えば、速度の定義は、
$\vec{v(t)}=\frac{d\vec{r(t)}}{dt}=\lim_{s \to t}(\vec{r(s)}- \vec{r(t)})/(s-t)$
なので、単位は距離の単位$m$(メートル)を時間の単位$s$(秒)で割った、$m/s$ である。
加速度の単位は、その定義が
$\vec{\alpha(t)}=d\vec{v(t)}/{dt}$
なので、$m/s^2$ である。

CAIテスト

個人用ツール