古典力学/イントロダクションのソースを表示

{{Pathnav|自然科学|物理学|古典力学|frame=1|small=1}}
__TOC__
== はじめに ==
'''古典力学''' (classical mechanics) とは、[[量子力学]]と対をなす用語で、量子論から見て古典的 (classical) な、非量子論的な力学一般を指す言葉です。古典力学に含まれる理論は、大きく分けて[[w:ニュートン力学|ニュートン力学]] (Newtonian mechanics) と[[w:相対性理論|相対性理論]] (relativity theory) の 2 つがあります。ニュートン力学は、この理論を創始した自然哲学者の[[w:アイザック・ニュートン|アイザック・ニュートン]]に因むもので、相対論と区別して、非相対論的 (non-relativistic) な力学 (mechanics) と呼ばれることがあります。
相対論は[[特殊相対論]] (special relativity theory) と[[一般相対性理論|一般相対論]] (general relativity theory) の 2 つに分けられます。特殊相対論と一般相対論の大きな違いは、特殊相対論では[[w:重力|重力]] (gravitation) が扱われないことにあります。

ニュートン力学と相対論の違いは、一つは[[w:時間|時間]]に対する取り扱いにあります。ニュートン力学では、私達が日常的にそうしているように、時間は普遍的なものとして扱われ、誰にとっても時間の進み方は同じであることを仮定しています。相対論では、誰にとっても時間は同じではなく、それぞれが固有の時間を刻むことが結論されます。
逆に、2 つの理論に共通する事柄として、[[w:因果律|因果律]] (causality) の成立があります。因果律とは、原因となる事象 (event) が結果として生じる事象より先に必ず現れること、あるいは未来の出来事が現在の出来事に影響を及ぼさないことを言います。この「未来」や「現在」の取り扱いはニュートン力学と相対論で大きく異なりますが、いずれの理論においても因果律が生じるのです。
因果律の成立は、離れた場所を結ぶ情報伝達や力の影響の仕方について大きな制約を与えます。ニュートン力学においては時間がすべての物にとって共通していたため、因果律はまだ大きな役割を演じることはありませんが、相対論においては、情報が伝播する最大速度に対する制限として現れることになります。この最大速度は、[[w:電気|電気]]や[[w:磁気|磁気]]に関する研究（[[電磁気学]]）から、何もない空間を光が進む速さに一致することが知られています。
この[[w:光速|光速]]を中心に据えてニュートン力学について述べるなら、光速が無限に大きいと見なせるような世界の力学がニュートン力学であると言うことができるでしょう。

さて、はじめに述べた通り、古典力学は相対論とニュートン力学の総称と言ってよいものですが、相対論とニュートン力学では、そこで取り扱われる原理やそれを支える物理学的な思想に大きな隔たりがあり、単に技術的な部分にのみ注目しても、相対論で扱われる問題とニュートン力学で扱われる問題とでは要求される知識が質的に異なっています。したがって、多くの書籍や講義などと同じように、本書においてはニュートン力学だけを紹介することとします。

この章ではニュートン力学の大まかな紹介と、ニュートン力学を学ぶための予備知識として多少の数学と物体の運動に関する概念の導入を行います。

また、この分野は高等教育の[[高等学校_物理#力学|力学]]に当たります。初学者は該当教科書が理解の助けとなりますので学習に行き詰まったら参照してください。

== ニュートン力学の特徴 ==

ニュートンは、りんごが木から落ちるのを見て[[w:万有引力|万有引力]] (universal gravitation) を発見したという有名な逸話があります。この逸話は後世の創作であると見なされていますが、ともあれ、地上でりんごに及ぼされる[[w:重力|重力]]と、天上にある[[w:太陽|太陽]]と[[w:惑星|惑星]]の間に働く引力とが同じ万有引力の法則によって記述されるという不思議さを鮮やかに示したものだと言えるでしょう。ニュートン力学の強力さは、扱う事象や概念が私達にとって非常に馴染み深いものであるにもかかわらず、ときに日常の感覚を超えて様々な現象を説明する普遍性にあります。実際、私達の日常にある地上での現象のみならず、[[w:月|月]]などの[[w:天体|天体]]の運動のような非常にスケールの大きなものに至るまで、ニュートン力学の知識によって説明を与えることができます。私達の身のまわりで起こる現象のほとんどは、'''巨視的''' (macroscopic) な現象ですが、生物を構成する[[w:タンパク質|タンパク質]]のような'''[[w:微視的|微視的]]''' (microscopic) な対象についても、ニュートン力学からその機能を理解することができ、理論の適用範囲は非常に広範です。ニュートン力学の及ばない現象については、[[w:相対性理論|相対性理論]]や[[w:量子力学|量子力学]]のような理論が必要となるのですが、これらについては別の機会に述べることとしましょう。

力学は、物体の運動を支配するメカニズムに関する理論です。ニュートン力学においては、物体の運動は[[w:力|力]] (force) と呼ばれる量を中心として説明されます。この力は、物の重さや物に触れたときに感じる手応えのような、私達の日常の感覚を反映したものです。その意味でニュートン力学は、力と物体の運動という日常に存在する現象の関係性についてを述べる理論だと言うことができます。
有名な[[w:ニュートンの運動方程式|ニュートンの運動方程式]] (Newton's equation of motion) は、
:<math>m\boldsymbol{a} = \boldsymbol{F}</math>
と書くことができます。これは、[[w:慣性系|慣性系]] (inertial frame of reference) において[[w:質量|質量]] <math>m</math> が一定の物体に働く合力 <math>\boldsymbol{F}</math> が物体に加わる[[w:加速度|加速度]] <math>\boldsymbol{a}</math> と質量 <math>m</math> の積に等しい、ということを表していて、物体に働く力はその物体に加わる加速度の原因となることを示しています。'''慣性系'''という用語が出ましたが、一先ずは上に挙げた方程式が成り立つような場所と理解しておきましょう。

また上記の関係は、質量 <math>m</math> が大きい物体ほど同じ加速度を得るには大きな力が必要であることを示しています。では質量の大きな物体とはどのようなものでしょうか。その答えは物体に働く重力の法則によって示されます。[[w:ガリレオ・ガリレイ|ガリレオ・ガリレイ]]の逸話でも有名なように、物体が落下する際の運動の仕方は物体の重さによらず同じであることが知られています。この[[w:落体の法則|落体の法則]]によって、様々な物体に加わる重力加速度はすべて等しいことが導かれ、しかし物体に加わる力の大きさは物体の重さそのものを示しているため、結局物体の質量と物体の重さは比例することが示されます。つまり、重い物体ほど質量が大きいのです。

先に述べた通り、ニュートン力学では物体の加速度と物体に働く力の関係を中心に物体の運動を調べるのですが、物体の加速度は物体の速度の時間に対する変化の割合であり、物体の[[w:速度|速度]]の[[w:時間微分|時間微分]]によって表すことができます。したがってニュートンの運動方程式は以下のように書き換えられます。
:<math>m\frac{d\boldsymbol{v}}{dt} = \boldsymbol{F}.</math>
また物体の速度は物体の位置の時間に対する変化の割合であり、物体の位置の時間微分によって表すことができます。加速度を速度を用いて表したのと同様にして、ニュートンの運動方程式は物体の位置を用いて以下のように書き換えられます。
:<math>m\frac{d^2\boldsymbol{x}}{dt^2} = \boldsymbol{F}.</math>
ここで <math>\boldsymbol{v}</math> は物体の速度、<math>\boldsymbol{x}</math> は物体の位置を表します。この書き換えによって、ニュートンの運動方程式は物体の速度や位置を解とする[[w:微分方程式|微分方程式]]として表され、微分方程式に関する様々なテクニックを利用できるようになります。

{{節stub}}

== 物体の運動 ==
力学において、運動を記述する対象は'''[[w:物体|物体]]''' (body) と呼ばれます<ref>ただし物体の個数は「[[w:三体問題|三体問題]]」のように「体」で数えます。</ref>。物体には必要に応じて様々な性質が与えられ、たとえば形状や物体を構成する[[w:物質|物質]]、あるいは[[w:分子モーター|分子モーター]]のような動力などが、物体の運動を特徴づけ、あるいは運動そのものを決定する要素として考察されます。
物体の中でも、動力を持たず形状が無視できるものを'''[[w:粒子|粒子]]''' (particle) と呼びます。形状が無視できるということは、たとえば物体の自転が注目している運動の性質に寄与しないことなどから判断されます（このような判断は必ずしも古典力学の立場から保証されるようなものではなく、多くの場合にはむしろ粒子の運動として記述できないような性質が実験などを通じて明らかになることによって、[[w:数理モデル|モデル]]に不足している要素を捉えられるようになります）。粒子は特徴的な大きさを持たず、[[w:点|点]]状のものとして扱われます。注意すべきこととして、粒子が点として扱われることは、原理的に粒子の大きさが決定できない場合を除き、単純に興味のある運動のスケールに比べて粒子の大きさが非常に小さい場合や、大きさを決定するための情報が不足していることに起因していて、実際に物体が点状であるかどうかを議論の対象としているわけではありません（もちろん、扱うモデルから逸脱しないのであれば、そのモデルの中では「実際に」物体は点状であると言えます）。

===物体の位置と速度===
物体の運動を記述する最も基本的な要素は、物体の[[w:位置|位置]] (position) と[[w:速度|速度]] (velocity) です。位置はしばしば[[w:座標|座標]] (coordinate) とも呼ばれます。物体の位置は空間上の一点によって表され、具体的には適当な[[w:座標系|座標系]] (coordinate system) を用いて表されます。最もよく知られる座標系として[[w:デカルト座標系|デカルト座標系]]<ref>デカルト座標系という呼び名は、発見者の一人であるフランスの哲学者[[w:ルネ・デカルト|ルネ・デカルト]]に因むものです。英語の Cartesian はデカルトのラテン語名 Cartesius に因み、日本語でもデカルト座標系を「カルテシアン座標系」などと書くことがあります。ただし英語の Cartesian の発音は（無理に日本語で表せば）「カーティージェン」とか「カーティジャン」に近く、「ティ」の部分にアクセントが置かれます。</ref> (Cartesian coordinate system) があります（図1）。

[[File:Cartesian-coordinate-system.svg|thumb|right|280px|図1: 2次元のデカルト座標系。縦軸は変数 <math>y</math>、横軸は変数 <math>x</math> の値に対応する。縦軸と横軸の交わる点（紫色の点：<span style="color:#800080">'''&bull;'''</span>）<math>(x,y) = (0,0)</math> は'''原点''' (origin) と呼ばれる。縦軸と横軸の向きは特に決まっていないが、横軸は右が正であることが多い。この図では縦軸は正の方向を上にとっているが、画像や画面のスキャン順序に対応させる場合など、縦軸を下向きにして表すことも多い。物理学においては、座標系の取り方は自由に変えてよく、座標系に依存する数量などは意味を持たないので、その時々に便利なものが扱われる。]]

デカルト座標系では物体の位置を、互いに直交し原点を共有するいくつかの座標軸上の数の組として表します。たとえば、平面上の物体であれば、横方向と縦方向の座標軸について「原点から右に 2 メートル、上に 3 メートル進んだ場所」といったように物体の位置を表すことができます。通常はより簡便な記法として、(2 [m], 3 [m]) のように表します。
物体の位置は原点から測った距離によって表現されるため、長さの[[w:量の次元|次元]] (dimension) を持ち、具体的な数量は長さの[[w:物理単位|単位]]と数値の積で表されることになります。このことは座標系によらず言えることです。

速度は物体の位置の時間変化率として定義されます。たとえば 2 秒の間に 4 メートルだけ物体が動いた場合、1 秒当たり 2 メートルだけ移動したことになるので、その間の物体の'''平均速度''' (average velocity) は 2 メートル毎秒となります。これが平均の速度であることは、たとえば最初の 1 秒間に 4 メートルだけ進んで残りの 1 秒間は止まっているような場合でも速度が同じになることから理解できるでしょう。平均速度は、指定された時間に一定の速度で物体が動くと仮定した場合の速度を表しています。速度も位置と同じように、デカルト座標系を用いて、それぞれの座標軸に対する物体の位置の時間変化率の組として表現することができます。たとえば先に挙げた平面上の座標系を用いれば、(&minus;3 [m/s], 1 [m/s]) は「毎秒左に 3 メートル、上に 1 メートルの速さ」を表していることになります。

物体の位置から物体の速度を求めるには 2 つの異なる時刻における物体の位置を比較して、その時間経過の間にどれだけ位置が異なっているかを求める必要があります。最も単純な場合として直線運動をする物体の速度を例にとりましょう。物体が直線的な運動をしている場合には、物体の位置を表す量は、物体の軌道上にある原点から測った物体までの距離となります。原点の取り方は自由ですが、物体の運動を記述し始めた最初の時刻における物体の位置を原点として与えることにします。言い換えれば、物体ははじめにある座標系の原点を出発点として運動をしているということです。
ある時刻における物体の位置とその時刻の関係は位置と時刻の組が描く曲線として表され、特に物体の運動が直線上に限定される場合には位置と時刻がなす平面上の曲線として描くことができます。物体の速度は、位置と時間の曲線の異なる 2 点を結ぶ[[w:直線|直線]]の[[w:傾き (数学)|傾き]]として求めることができます。時刻を <math>t</math> で表し、時刻 <math>t</math> における物体の位置を <math>x(t)</math> と表せば、時刻 <math>t_1</math> から <math>t_2</math> の間の物体の速度は次のように表されます<ref>以下の <math>v(t_1;t_2)</math> のように記号の後ろに括弧書きで記号が順番に列記されているものは、[[w:関数_(数学)|関数]]を表します（この場合、<math>v</math> は <math>t_1</math> と <math>t_2</math> の関数である、ということです）。関数とは、ある数と別の数を結びつける規則のことをいいます。たとえば「ある数 <math>x</math> を 2 倍して 3 を足したものを与える」関数は、それを <math>f</math> と表せば、<math>f(x) := 2x + 3</math> と書くことができます。</ref>。
:<math>v(t_1; t_2) = \frac{x(t_2) - x(t_1)}{t_2 - t_1} \quad(t_1 < t_2).</math>
これが <math>(t,x) = (t_1,x(t_1))</math> という点と <math>(t,x) = (t_2,x(t_2))</math> という点を結ぶ直線の傾きになっていることは 2 点を通る直線の方程式を求めることで分かります。<math>(t,x)</math> 平面上の直線は傾き <math>a</math> と[[w:切片|切片]] <math>b</math> によって特徴づけられ、一般に
:<math>x = at + b</math>
と表されます。この直線が <math>(t, x) = (t_1, x(t_1))</math> および <math>(t, x) = (t_2, x(t_2))</math> を通るためには、
:<math>x(t_1) = at_1 + b</math>
および
:<math>x(t_2) = at_2 + b</math>
を満たす必要があります。2 つの方程式から、切片 <math>b</math> を求めれば、
:<math>b = x(t_1) - at_1</math>
および
:<math>b = x(t_2) - at_2</math>
という関係が得られます。ここで求められた 2 つの切片は一致していなければならないので、
:<math>x(t_1) - at_1 = x(t_2) - at_2\left(= b\right)</math>
となる必要があります。最後に、直線の傾き <math>a</math> を求めれば、
:<math>a = \frac{x(t_2) - x(t_1)}{t_2 - t_1}</math>
であることが分かります。これは先に示した物体の速度 <math>v(t_1; t_2)</math> そのものです。

=== 平均の速度と瞬間の速度 ===
ここまでで紹介した平均の速度
:<math>v(t_1; t_2) = \frac{x(t_2) - x(t_1)}{t_2 - t_1}</math>
は <math>t_1</math> および <math>t_2</math> の 2 つ時刻の選び方に依存します。しかしながら、物体の運動に関して「物体が速度を持つ」という場合、速度は 1 つの時刻に対して一意に定まるようなものでなければなりません。まず、物体の平均速度が時刻によらないような例を考えると、<math>v(t_1; t_2) = v</math> として、
:<math>v = \frac{x(t_2) - x(t_1)}{t_2 - t_1}</math>
は <math>t_1</math> および <math>t_2</math> に関する項に分離することができ、
:<math>x(t_1) - vt_1 = x(t_2)  - vt_2</math>
<math>x(t) - vt</math> は時刻 <math>t</math> によらず一定であることが言えます。この関係を満たすような <math>x(t)</math> は、
:<math>x(t) = vt + x(0)</math>
であり、これは <math>(t,x) = (t,x(t))</math> が傾き <math>v</math>、切片 <math>x(0)</math> の直線をなすことを意味しています。この場合には物体の速度はどのような時間でも <math>v</math> となり、この速度は物体が持っているものだと考えることができるでしょう。つまり任意の時刻 <math>t</math> における'''瞬間の速度''' (instantaneous velocity) は <math>v(t) = v</math> と表すことができます<ref>この節においては「瞬間の速度」ないし「瞬間速度」などと呼びますが、一般には「瞬間の」をつけず単に「速度」と呼びます。瞬間の速度と平均の速度を混同する虞れがない限り、本書でも単に「速度」と書けば瞬間の速度を指します。</ref>。
一般の運動についても、ある時刻と時刻の間で曲線 <math>(t,x(t))</math> が直線と見なせる場合には同様にして瞬間の速度を見出すことができます。物体の位置 <math>x(t)</math> が滑らかに変化し、どの時刻についても曲線 <math>(t,x(t))</math> の[[w:接線|接線]]が一つだけに定まるとき、時刻 <math>t</math> における物体の速度 <math>v(t)</math> は時刻 <math>t</math> で曲線 <math>(t,x(t))</math> に接する接線の傾きとして定義されます。この接線の傾きは、充分短い時間における平均の速度によって与えられます。時刻 <math>t</math> から <math>t+h</math> までの平均速度について、時間間隔 <math>h</math> が 0 の近傍にある場合、時刻 <math>t</math> における瞬間の速度 <math>v(t)</math> は
:<math>v(t) = \lim_{h \to 0} \frac{x(t + h) - x(t)}{(t + h) - t}</math>
と定まります<ref>行き掛かり上、暗に微小量 <math>h</math> を正の場合に限定して説明しますが、実際には <math>h</math> が負の場合についても極限が定まり、正負の極限が一致することで初めて瞬間の速度が定義できます。たとえば <math>t\ge0</math> で <math>x(t) = t</math>、<math>t<0</math> で <math>x(t)=0</math> となるような曲線について、<math>v(0)</math> を決定することはできません。この <math>x(t)</math> のように折れ曲がった曲線や、連続していない曲線に対しては極限を定めることができず（つまり接線を一意に引くことができない）、極限が定まるためには極限をとる点の近傍で曲線に折れ曲がりや飛びがないこと、言い換えれば曲線が[[w:滑らかな関数|滑らか]]であることが必要となります。微小量 <math>h</math> が正であっても負であっても同じ形で（つまり正の極限と負の極限の場合を分けて書く必要がなく）瞬間の速度が求められることは、分子と分母の両方に負符号をつけても全体の符号は変わらないことから分かります。特別に正の極限を求める場合は <math>\lim_{h \downarrow 0}</math> とか <math>\lim_{h \to 0^{+}}</math> と書き、負の極限を求める場合は <math>\lim_{h \uparrow 0}</math> とか <math>\lim_{h \to 0^{-}}</math> と書きます（これらは[[w:片側極限|片側極限]] (one-sided limit) と呼ばれ、特に前者は'''右極限''' (right-sided limit)、後者は'''左極限''' (left-sided limit) と呼ばれます）。単に <math>\lim_{h \to 0}</math> と書いた場合は正負の両側の極限を取ることを意味します。</ref>。これは <math>t</math> の近傍の時刻 <math>t+h</math> における物体の位置 <math>x(t+h)</math> が
:<math>x(t+h) \approx x(t) + v(t)h</math>
という形に漸近し、<math>x(t+h)</math> と <math>x(t) + v(t)h</math> の差分が <math>h</math> より大きな次数の項となること表します。<math>h</math> の 2 次以上の項は、<math>h</math> の 1 次の項より素早く小さくなるので、<math>x(t+h)</math> に関して <math>h</math> の影響は 1 次の項で押さえられます。

瞬間の速度を定義する際に使った[[w:極限|極限操作]]を、位置 <math>x(t)</math> の時刻 <math>t</math> に関する[[w:微分法|微分]] (derivative of position <math>x(t)</math> with respect to time <math>t</math>)、あるいは省略して位置 <math>x(t)</math> の[[w:時間微分|時間微分]] (time derivative) といいます。微分を表す記法にはいくつかあり、
:'''[[w:ライプニッツの記法|ライプニッツの記法]]'''：<math>v(t)=\frac{dx(t)}{dt},</math>
:'''[[w:ニュートンの記法|ニュートンの記法]]'''：<math>v(t)=\dot{x}(t),</math>
:'''[[w:ラグランジュの記法|ラグランジュの記法]]'''：<math>v(t)=x'(t),</math>
などがあります。たとえばライプニッツ記法では微分の定義は以下のように表現されます。
:<math>\frac{dx(t)}{dt} {:=} \lim_{h \to 0} \frac{x(t+h) - x(t)}{(t+h) - t}.</math>
記号の読み方について、ライプニッツ記法 <math>\frac{dx}{dt}</math> は "dx by dt", あるいは "dx dt" と読みます。ニュートン記法 <math>\dot{x}</math> は "x dot" と読み、ラグランジュ記法 <math>x'</math> は "x prime" と読みます。
一般的にはライプニッツの記法が好まれますが、記述が煩雑になる場合にはニュートンやラグランジュの記法が用いられ、特に時間微分に対してはニュートンの記法が慣習的に使われています。多くの場合、変数がある条件を満たすような領域について特に興味があり、微分によって得られた新しい関数<ref>微分によって与えられる関数を導関数と呼ぶことがあります。たとえば微分演算そのものと微分演算から得られる関数を区別する場合には、関数の方を導関数と呼び演算を微分と呼んで区別できます。また、導関数と特定の点に対する導関数の値を区別する上で、導関数が示す値を微分係数と呼ぶことがあります。</ref>が特定の領域で示す値を知りたいことがあります。ライプニッツの記法では、微分する変数とそれに対応する関数の変数が同じ記号で示される必要があるので、たとえば
:<math>\frac{dx(0)}{dt}=~?</math>
のような書き方をすると <math>x(0)</math> の微分を示しているのか <math>\frac{dx(t)}{dt}</math> の <math>t=0</math> における値を示しているのか分からなくなることがあります。大抵の場合は後者の意味でとればよく、実際にそのような書き方は一般的に行われているのですが、紛らわしく思える箇所については、
:<math>\left.\frac{dx(t)}{dt}\right|_{t=0} = v(0)</math>
と関数に傍線をつけ、傍線に関数の引数が満たす条件を添えることがあります。

----
;[[古典力学/イントロダクション/練習問題#「平均の速度と瞬間の速度」の例題|【例題】]]
:具体的な物体の位置について、その瞬間の速度を求めよ。
----

例題で紹介したような物体の軌跡が具体的に分かっている場合については、その物体の瞬間の速度を物体の位置の時間微分によって求めることができます。しかしながら、ナイーブに考えると、あらゆる時刻における物体の位置を完全に知ることは原理的に不可能であり、微分を用いた速度の定義は、単なる数学上の高級品かあるいは絵に描いた餅のように思えます。このことは極端に捉えれば全く正しいのですが、物理学に限らず数理科学一般における基本的な立場とは完全に反します。物体の位置のような対象がある関数や方程式として表されることは、その対象について完全な理解を得られたことによるものではなく、いくつかの仮定に基いて推定したことによるものです。置かれた仮定の正しさは既知の現象をよい精度で再現し、未知の現象を精密に予測し得ることによって保証されます。悪く言えばその場凌ぎと言えますが、「完全に合致する」という評価基準そのものが無根拠である限り、それよりいくらか弱い評価基準を構成することは適切な処置であるとも言えるでしょう（後で充分な根拠を用意できるなら）。私達は現実の世界がどうなっているかに興味があるのではなく、現実がどのように捉えられるか、あるいはより限定して、現実世界はどのような特徴を持っているかに興味があるのだということを忘れてはなりません。

さて、例題では具体例によって示しましたが、微分にまつわる重要な関係について再度まとめておきましょう。ある関数が 2 つの関数 <math>f(t), g(t)</math> の和になっている場合、関数 <math>f(t) + g(t)</math> の微分は（ラグランジュ記法を用いて）
:<math>(f(t) + g(t))' = f'(t) + g'(t)</math>
とそれぞれの関数の微分の和に書き直すことできます。また、ある関数の定数倍 <math>cf(t)</math> の微分は
:<math>(cf(t))' = cf'(t)</math>
のように元の関数の微分の定数倍になります。より一般には、2 つの関数 <math>f(t), g(t)</math> の積 <math>f(t)g(t)</math> の微分について、
:<math>(f(t)g(t))' = f'(t)g(t) + f(t)g'(t)</math>
が成り立ちます。これが定数倍の場合の一般化になっていることは <math>g(t)=c</math> と置き換えれば分かるでしょう。
ある関数 <math>f(t)</math> について <math>f(t) = y</math> を満たすような <math>t = t(y)</math> を <math>f(t)</math> の[[w:逆関数|逆関数]]といいます。逆関数の微分について、次の関係が成り立ちます。
:<math>\frac{df(t)}{dt}\left.\frac{dt(y)}{dy}\right|_{y=f(t)} = 1.</math>
例えば <math>f(t) = t^n</math> の場合、<math>f'(t) = nt^{n-1}</math> から、
:<math>\left.\frac{dt(y)}{dy}\right|_{y=f(t)} = \frac{1}{nt^{n-1}}</math>
となります。<math>f(t)</math> が正の場合には、[[w:冪根|累乗根]]を用いて <math>t = (f(t))^{1/n} = y^{1/n}</math> と書くことで、
:<math>\frac{dt(y)}{dy} = \frac{1}{n}y^{\frac{1}{n} - 1} \quad(y > 0)</math>
が得られます。<math>\frac{1}{n}</math> を <math>n</math> に置き換えれば、この関係もまた <math>\left(y^n\right)'=ny^{n-1}</math> という形になっていることが分かります。

=== 平面上の運動と加速度 ===
==== 距離および物体の位置 ====
物体の運動が平面上に限られる場合、物体の運動方向には上下と左右の 2 つの自由度が与えられます。これに対応して時刻 <math>t</math> における物体の位置 <math>\boldsymbol{x}(t)</math> はデカルト座標系の 2 つの軸上の位置 <math>x_1(t), x_2(t)</math> を用いて
:<math>\boldsymbol{x}(t) = \begin{pmatrix}x_1(t) \\ x_2(t)\end{pmatrix}</math>
と表すことができます。<math>x_1(t)</math> および <math>x_2(t)</math> をそれぞれ <math>\boldsymbol{x}</math> の成分 (component) といいます。一次元の場合には 2 つの物体 A, B の相対的な位置関係は単に 2 つの物体の位置の差 <math>x_\mathrm{A} - x_\mathrm{B}</math> として表すことができましたが、一般には相対位置をデカルト座標系で表す場合にはそれぞれの成分についての差をとったものとして表されます。たとえば二次元の場合には
:<math>\boldsymbol{x}_\mathrm{A} - \boldsymbol{x}_\mathrm{B} 
= \begin{pmatrix} x_{\mathrm{A}_1}                    \\ x_{\mathrm{A}_2}                    \end{pmatrix}
- \begin{pmatrix} x_{\mathrm{B}_1}                    \\ x_{\mathrm{B}_2}                    \end{pmatrix}
= \begin{pmatrix} x_{\mathrm{A}_1} - x_{\mathrm{B}_1} \\ x_{\mathrm{A}_2} - x_{\mathrm{B}_2} \end{pmatrix}
</math>
となります。また物体間の[[w:距離|距離]]について、一次元の場合には位置の差の[[w:絶対値|絶対値]] <math>\left|x_\mathrm{A} - x_\mathrm{B}\right|</math> によって定められますが、二次元の場合には[[w:ピタゴラスの定理|ピタゴラスの定理]]を利用して、以下の形で与えられます。
:<math>\left|\boldsymbol{x}_\mathrm{A} - \boldsymbol{x}_\mathrm{B}\right| 
=\sqrt{\left(x_{\mathrm{A}_1}-x_{\mathrm{B}_1}\right)^2 + \left(x_{\mathrm{A}_2}-x_{\mathrm{B}_2}\right)^2}.
</math>
距離は最も直接的には上記の形式で表されますが、ベクトルの[[w:ドット積|内積]]を
:<math>\boldsymbol{x}\cdot\boldsymbol{y} = x_1y_1 + x_2y_2</math>
のように定めれば内積を用いて距離を表すことができます。
:<math>\left|\boldsymbol{x}_\mathrm{A} - \boldsymbol{x}_\mathrm{B}\right| 
=\sqrt{\left(\boldsymbol{x}_\mathrm{A} - \boldsymbol{x}_\mathrm{B}\right) 
 \cdot \left(\boldsymbol{x}_\mathrm{A} - \boldsymbol{x}_\mathrm{B}\right)}
.</math>
また、ベクトルを 1 行または 1 列の[[w:行列|行列]]と見なせば<ref>横の並びを'''行''' (row)、縦の並びを'''列''' (column) と呼びます。また行が <math>m</math> 個あり、列が <math>n</math> 個あるような行列を <math>m \times n</math> 行列と呼びます。特に <math>1 \times n</math> の行列として表されるベクトルを'''行ベクトル''' (row vector)、<math>m \times 1</math> の行列として表されるベクトルを'''列ベクトル''' (column vector) と呼びます。<math>m \times n</math> 行列は <math>n</math> 成分の行ベクトルを成分として持つ <math>m</math> 成分の列ベクトル、あるいは <math>m</math> 成分の列ベクトルを成分とする <math>n</math> 成分の行ベクトルと見なすことができます。
:<math>
\begin{pmatrix}
a_{11} & a_{12} & \cdots & a_{1n} \\
a_{21} & a_{22} &        & \vdots \\
\vdots &        & \ddots & \vdots \\
a_{m1} & a_{m2} & \cdots & a_{mn}
\end{pmatrix}
=
\begin{pmatrix}
\begin{pmatrix} a_{11} & a_{12} & \cdots & a_{1n} \end{pmatrix} \\
\begin{pmatrix} a_{21} & a_{22} & \cdots & a_{2n} \end{pmatrix} \\
\vdots \\
\begin{pmatrix} a_{m1}\! & a_{m2}\! & \cdots & a_{mn}\! \end{pmatrix}
\end{pmatrix}
=
\begin{pmatrix}
\begin{pmatrix} a_{11} \\ a_{21} \\ \vdots \\ a_{m1} \end{pmatrix} &
\begin{pmatrix} a_{12} \\ a_{22} \\ \vdots \\ a_{m2} \end{pmatrix} &
\cdots &
\begin{pmatrix} a_{1n} \\ a_{2n} \\ \vdots \\ a_{mn} \end{pmatrix}
\end{pmatrix}
</math>
</ref>、行ベクトルと列ベクトルの積
:<math>\begin{pmatrix}x_1 & x_2\end{pmatrix}\begin{pmatrix}y_1 \\ y_2\end{pmatrix} = x_1y_1 + x_2y_2</math>
を用いて<ref>一般の行列の積について、<math>m \times r</math> 行列 <math>\textrm{A}</math> の <math>ij</math> 成分を <math>\{\textrm{A}\}_{ij} = a_{ij}</math>、<math>r \times n</math> 行列 <math>\textrm{B}</math> の <math>ij</math> 成分を <math>\{\textrm{B}\}_{ij} = b_{ij}</math> として、<math>\textrm{B}</math> の左から <math>\textrm{A}</math> を掛けた積 <math>\textrm{AB}</math> の各成分は
:<math>\{\textrm{AB}\}_{ij} = \sum_{k=1}^{r}a_{ik}b_{kj}\quad \left(i = 1,\dots,m;\, j = 1,\dots,n\right)</math>
となります。</ref>
:<math>\left|\boldsymbol{x}_\mathrm{A} - \boldsymbol{x}_\mathrm{B}\right| 
=\sqrt{\left(\boldsymbol{x}_\mathrm{A} - \boldsymbol{x}_\mathrm{B}\right)^\mathrm{T}
       \left(\boldsymbol{x}_\mathrm{A} - \boldsymbol{x}_\mathrm{B}\right)}
</math>
と書くこともできます。記号 <math>\mathrm{T}</math> は行列の[[w:転置行列|転置]]を表し、ここでは列ベクトルを行ベクトルにする操作を示しています<ref>より一般には <math>m \times n</math> 行列 <math>\textrm{A}</math> に対して <math>\{\textrm{B}\}_{ij} = \{\textrm{A}\}_{ji}</math> を満たす <math>n \times m</math> 行列 <math>\textrm{B}</math> を行列 <math>\textrm{A}</math> の転置行列といいます。行列の積 <math>\textrm{AB}</math> の転置について成り立つ重要な性質として、<math>(\textrm{AB})^\mathrm{T} = \textrm{B}^\mathrm{T}\textrm{A}^\mathrm{T}</math> という関係が成り立つことがあります。その成分表示が
<math>
\{\textrm{AB}\}_{ij} 
  = \sum_k \{\textrm{A}\}_{ik} \{\textrm{B}\}_{kj}
  = \sum_k \{\textrm{B}^\mathrm{T}\}_{jk} \{\textrm{A}^\mathrm{T}\}_{ki}
</math>
となることから確認できます。</ref>。
:<math>\boldsymbol{x} = \begin{pmatrix} x_1 \\ x_2 \end{pmatrix},\quad \boldsymbol{x}^\mathrm{T} = \begin{pmatrix} x_1 & x_2 \end{pmatrix}.</math>

==== 座標系の変換 ====
;1. 平行移動
平面上の物体の位置 <math>\boldsymbol{x}</math> について、座標系を平行移動させ平面上のある点 <math>\boldsymbol{X}</math> を原点としたものを新たに <math>\boldsymbol{x}'</math> と表せば<ref>ここで <math>\boldsymbol{x}'</math> のプライムは <math>\boldsymbol{x}</math> の微分を意味していません。</ref>、
:<math>\boldsymbol{x}' = \boldsymbol{x} - \boldsymbol{X}</math>
と書くことができます。右辺は古い座標系における量で左辺が新しい座標系を表します。明らかに <math>\boldsymbol{x} = \boldsymbol{X}</math> のとき <math>\boldsymbol{x}' = \boldsymbol{0}</math> となり、古い座標系における点 <math>\boldsymbol{X}</math> が新たな座標系の原点となっていることが分かります。また、上記の関係を各成分ごとに分けて表せば以下のようになります。
:<math>
   \begin{pmatrix}x_1'      \\ x_2'      \end{pmatrix} 
 = \begin{pmatrix}x_1       \\ x_2       \end{pmatrix} 
 - \begin{pmatrix}X_1       \\ X_2       \end{pmatrix}
 = \begin{pmatrix}x_1 - X_1 \\ x_2 - X_2 \end{pmatrix} .
</math>
座標系の平行移動に関して注目すべき点として、2 点間の相対的な位置関係は変わらないということが挙げられます。ある座標系における物体 A の位置を <math>\boldsymbol{x}_\mathrm{A}</math>、物体 B の位置を <math>\boldsymbol{x}_\mathrm{B}</math> と表し、元の座標系を <math>\boldsymbol{X}</math> だけ平行移動した座標系における物体の位置をそれぞれ <math>\boldsymbol{x}_\mathrm{A}',\,\boldsymbol{x}_\mathrm{B}'</math> と表すと、それぞれの座標系における物体 B に対する物体 A の相対的な位置は
:<math>\boldsymbol{x}_\mathrm{A} - \boldsymbol{x}_\mathrm{B}</math>
および
:<math>\boldsymbol{x}_\mathrm{A}' - \boldsymbol{x}_\mathrm{B}'</math>
と書くことができますが、平行移動した座標系における物体 A, B の位置はそれぞれ <math>\boldsymbol{x}_\mathrm{A}' = \boldsymbol{x}_\mathrm{A} - \boldsymbol{X}</math> および <math>\boldsymbol{x}_\mathrm{B}' = \boldsymbol{x}_\mathrm{B} - \boldsymbol{X}</math> と表すことができるため
:<math>\begin{align}
\boldsymbol{x}_\mathrm{A}' - \boldsymbol{x}_\mathrm{B}'
&= (\boldsymbol{x}_\mathrm{A} - \boldsymbol{X}) - (\boldsymbol{x}_\mathrm{B} - \boldsymbol{X}) \\
&= \boldsymbol{x}_\mathrm{A} - \boldsymbol{x}_\mathrm{B}
\end{align}</math>
と書き換えられます。このことから、座標系を平行移動しても物体間の距離が変化しないことがすぐに確かめられます。

;2. スケール変換
平行移動以外の代表的な座標系の変換として、'''スケール変換''' (scale transformation) があります。スケール変換された座標系における物体の位置を <math>\boldsymbol{x}'</math> とし、変換前の座標系における物体の位置を <math>\boldsymbol{x}</math> とすると、スケール変換は以下のように表すことができます。
:<math>\boldsymbol{x}' = s \boldsymbol{x}</math>
ここで <math>s</math> は正の実数であり、[[w:スケール因子|スケール因子]]と呼ばれます。<math>s = 1</math> ならば変換前と変換後の座標系は完全に一致します。<math>s</math> が 1 でない場合について、原点から物体までの距離を考えるとスケール変換後の距離は、
:<math>\left|\boldsymbol{x}'\right| = \left|s \boldsymbol{x}\right| = s \left|\boldsymbol{x}\right| </math>
となり、<math>s > 1</math> の場合は <math>\left|\boldsymbol{x}'\right| > \left|\boldsymbol{x}\right| </math>、<math>s < 1</math> の場合は <math>\left|\boldsymbol{x}'\right| < \left|\boldsymbol{x}\right| </math> という関係が成り立ちます。これらの関係は物体間の距離に関しても成り立ちます。「実際の」距離はスケール変換によって変わらないとすれば、この変換は長さの基準を変えることに他ならず、<math>s > 1</math> の変換は基準の長さを小さくする変換であり、<math>s < 1</math> の変換は基準の長さを大きくする変換であると考えることができます。

;3. 回転
平行移動とスケール変換は一次元の場合にも同様に行うことができますが、二次元の場合と一次元の場合で扱い方の異なる変換も存在します。その中でも最も基本的なものとして座標系の回転操作、特に原点を中心とする回転が挙げられます。[[w:右手系|右手系]]で座標系を<u>時計回り</u>に[[w:角度|角度]] <math>\theta</math> だけ回転させる場合、ベクトルの成分は<u>反時計回り</u>に回転されたように見えるため、物体の位置は変換後の座標系において以下のように表されます。
:<math>\boldsymbol{x}' = \textrm{R}_\theta\boldsymbol{x} 
= \begin{pmatrix}
 \cos\left(\theta\right) & - \sin\left(\theta\right) \\ 
 \sin\left(\theta\right) &   \cos\left(\theta\right) 
\end{pmatrix}
\begin{pmatrix}
x_1 \\
x_2 \\
\end{pmatrix}
= \begin{pmatrix}
 \cos\left(\theta\right) x_1 - \sin\left(\theta\right) x_2 \\
 \sin\left(\theta\right) x_1 + \cos\left(\theta\right) x_2 
\end{pmatrix}</math>

行列 <math>\textrm{R}_\theta</math> は[[w:回転行列|回転行列]] (rotation matrix) と呼ばれ、ベクトルの回転操作を表します。回転行列の各成分として与えられる回転角 <math>\theta</math> の関数 <math>\cos,\,\sin</math> をそれぞれ余弦関数 (cosine function) および正弦関数 (sine function) といい、これらは[[w:三角関数|三角関数]]と呼ばれる関数たちの一つに数えられます。

座標系の回転について、物体間の距離や物体と原点の間の距離は変わらず、次の関係が成り立ちます。
:<math>|\textrm{R}_\theta\boldsymbol{x}| = \left|\boldsymbol{x}\right|.</math>
成分表示をすると、
:<math>\sqrt{\left\{\left(\cos\theta\right)^2 + \left(\sin\theta\right)^2\right\}\left(x_1^2 + x_2^2\right)} = \sqrt{x_1^2 + x_2^2}</math>
すなわち
:<math>\left(\cos\theta\right)^2 + \left(\sin\theta\right)^2 = 1</math>
という関係が得られます。これはピタゴラスの定理そのものです。
座標系の回転に対して距離が変化しないという性質は、距離を行ベクトルと列ベクトルの積の形に書き直せば、左辺について
:<math>|\textrm{R}_\theta\boldsymbol{x}| 
= \sqrt{(\textrm{R}_\theta\boldsymbol{x})^\mathrm{T}\textrm{R}_\theta\boldsymbol{x}}
= \sqrt{\boldsymbol{x}^\mathrm{T}\textrm{R}_\theta^\mathrm{T}\textrm{R}_\theta\boldsymbol{x}}
</math>
となるので、これが右辺の <math>|\boldsymbol{x}| = \sqrt{\boldsymbol{x}^\mathrm{T}\boldsymbol{x}}</math> に等しいことから回転行列 <math>\textrm{R}_\theta</math> は
:<math>\textrm{R}_\theta^\mathrm{T}\textrm{R}_\theta = \textrm{R}_\theta\textrm{R}_\theta^\mathrm{T} = \textrm{I}</math>
という関係を満たすことが分かります。ここで <math>\textrm{I}</math> は[[w:単位行列|単位行列]] (identity matrix) であり
:<math>\textrm{I} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}</math>
と書くことができます。自身の転置行列との積が単位行列となるような実正方行列は[[w:直交行列|直交行列]] (orthogonal matrix) と呼ばれ、回転行列はその一種であることが分かります。

他にも座標系の回転について、回転角の和が等しければ回数や順序によらず同じ座標系が得られるので、次の関係が成り立ちます。
:<math>\textrm{R}_\phi\textrm{R}_\theta = \textrm{R}_\theta\textrm{R}_\phi = \textrm{R}_{\theta + \phi}.</math>
これらの行列の積をあらわに書くと、
:<math>
\begin{pmatrix}
\;\; \cos\left(\theta\right)\cos\left(\phi\right) - \sin\left(\theta\right)\sin\left(\phi\right) &
\;\; \cos\left(\theta\right)\sin\left(\phi\right) + \sin\left(\theta\right)\cos\left(\phi\right) \\
-    \sin\left(\theta\right)\cos\left(\phi\right) - \cos\left(\theta\right)\sin\left(\phi\right) &
-    \sin\left(\theta\right)\sin\left(\phi\right) + \cos\left(\theta\right)\cos\left(\phi\right)
\end{pmatrix}
=
\begin{pmatrix}
\;\; \cos\left(\theta + \phi\right) & \sin\left(\theta + \phi\right) \\
-    \sin\left(\theta + \phi\right) & \cos\left(\theta + \phi\right)
\end{pmatrix}
</math>
より
:<math>
\begin{cases}
  \cos\left(\theta\right)\cos\left(\phi\right) - \sin\left(\theta\right)\sin\left(\phi\right)
  = \cos\left(\theta + \phi\right) \\
  \cos\left(\theta\right)\sin\left(\phi\right) + \sin\left(\theta\right)\cos\left(\phi\right) 
  = \sin\left(\theta + \phi\right)
\end{cases}
</math>
という三角関数に関する加法定理が得られます。

;座標系の原点と基底
さて、ここまで座標系の変換の具体例をいくつか紹介しましたが、上に挙げた例では変換前と変換後の座標系で同一のベクトルを表した際に、ベクトルの成分がどのように変化するかという視点で説明しました。
この観点において、実際にはベクトル自体は何の変換も受けないにもかかわらずベクトルが変化してしまっているように見えることと、座標系に対する変換を成分に対する変換として表してしまっていることは、事情を必要以上に複雑に見せる場合があり不満が残ります。そこで、座標系を特徴づける[[w:基底 (線型代数学)|基底ベクトル]] (basis vector) および原点をあらわに書いて座標系の変換を書き直します。

基底ベクトルは座標系の軸に対応するベクトルであり、（考察対象である）任意のベクトルは、基底ベクトルの定数倍の和、すなわち基底ベクトルの[[w:線形結合|線形結合]] (linear combination) によって一意に表すことができます。ベクトルの成分とは、ベクトルをある基底ベクトルの線形結合として表した際に出てくる<ref>このようにあるベクトルをある基底ベクトルの線形結合として表現することを「ベクトルを（その基底によって）展開する」といいます。</ref>、基底ベクトルの係数の組のことをいいます。

変換前の基底ベクトルの組を <math>\{\mathbf{e}^{(1)},\mathbf{e}^{(2)}\}</math>、変換後の基底ベクトルの組を <math>\{\mathbf{e}'^{(1)},\mathbf{e}'^{(2)}\}</math> とすれば、変換前後における位置ベクトル <math>\boldsymbol{x}</math> はそれぞれ以下のように表すことができます。
:<math>\boldsymbol{x} = x_1\mathbf{e}^{(1)} + x_2\mathbf{e}^{(2)} = x'_1\mathbf{e}'^{(1)} + x'_2\mathbf{e}'^{(2)}.</math>
座標変換の後と前とにおける基底ベクトルは互いの線形結合によって表すことができ、変換前の基底を変換後の基底によって展開したものは
:<math>\begin{align}
\mathbf{e}^{(1)} &= P'_{11}{\mathbf{e}'}^{(1)} + P'_{12}{\mathbf{e}'}^{(2)} \\
\mathbf{e}^{(2)} &= P'_{21}{\mathbf{e}'}^{(1)} + P'_{22}{\mathbf{e}'}^{(2)}
\end{align}</math>
となり、変換後の基底を変換前の基底によって展開したものは
:<math>\begin{align}
{\mathbf{e}'}^{(1)} &= P_{11}\mathbf{e}^{(1)} + P_{12}\mathbf{e}^{(2)} \\
{\mathbf{e}'}^{(2)} &= P_{21}\mathbf{e}^{(1)} + P_{22}\mathbf{e}^{(2)}
\end{align}</math>
となります。ここで現れる係数の組 <math>\{P_{ij}\},\, \{P'_{ij}\}</math> はあからさまに行列の形をしており、
基底ベクトルの組を単に <math>\mathbf{e},\, \mathbf{e}'</math> と表し、基底の展開係数の組を行列 <math>\textrm{P}',\,\textrm{P}</math> によって表せば、上記の関係は以下のようにまとめられます。
:<math>\begin{cases}
\mathbf{e}\;  = \textrm{P}'\mathbf{e}' \\
\mathbf{e}'   = \textrm{P}\mathbf{e}
\end{cases}
</math>
これらの関係から、基底の変換行列が満たすべき条件を導くことができます。座標変換前の基底から変換後の基底に移ったのち、再び座標変換前の基底に戻るという操作は
:<math>\mathbf{e} = \textrm{P}'\mathbf{e}' = \textrm{P}'(\textrm{P}\mathbf{e})</math>
と書けます。同様に、座標変換後の基底を出発して元に戻る場合には
:<math>\mathbf{e}' = \textrm{P}\mathbf{e} = \textrm{P}(\textrm{P}'\mathbf{e}')</math>
となります。これらの結果から
:<math>\textrm{P}'\textrm{P} = \textrm{P}\textrm{P}' = \textrm{I}</math>
という関係が得られます。つまり、行列 <math>\textrm{P}'</math> は行列 <math>\textrm{P}</math> の[[w:逆行列|逆行列]] (inverse matrix) <math>\textrm{P}^{-1}</math> であり、
:<math>\textrm{P}' = \textrm{P}^{-1} \qquad (\textrm{P} = \textrm{P}'{}^{-1})</math>
基底を移し替える操作 <math>\textrm{P}</math> にはそれを元に戻す逆操作が必ず存在することが分かります<ref>このような逆行列を持つ行列を[[w:正則行列|正則行列]] (regular matrix)、または'''可逆行列''' (invertible matrix) といいます。</ref>。

ここで得られた座標変換の行列 <math>\textrm{P}</math> を用いてベクトル <math>\boldsymbol{x}</math> の展開を書き換えると、
:<math>\begin{align}
\boldsymbol{x} &= x_1\mathbf{e}^{(1)} + x_2\mathbf{e}^{(2)} \\
               &= x_1\left\{ P'_{11}{\mathbf{e}'}^{(1)} + P'_{12}{\mathbf{e}'}^{(2)} \right\} 
                + x_2\left\{ P'_{21}{\mathbf{e}'}^{(1)} + P'_{22}{\mathbf{e}'}^{(2)} \right\} \\
               &= (\{\textrm{P}^{-1}\}_{11}x_1 + \{\textrm{P}^{-1}\}_{21}x_2){\mathbf{e}'}^{(1)} 
                + (\{\textrm{P}^{-1}\}_{12}x_1 + \{\textrm{P}^{-1}\}_{22}x_2){\mathbf{e}'}^{(2)}
\end{align}</math>
となります。ここで変換後の成分を取り出すと以下の関係が得られます。
:<math>\begin{align}
x'_1 &= \{\textrm{P}^{-1}\}_{11}x_1 + \{\textrm{P}^{-1}\}_{21}x_2 \\
x'_2 &= \{\textrm{P}^{-1}\}_{12}x_1 + \{\textrm{P}^{-1}\}_{22}x_2
\end{align}</math>
また成分ベクトルを <math>\boldsymbol\xi^\mathrm{T} = (x_1,\, x_2)</math> とすれば、上記の関係は以下のように整理できます。
:<math>
\boldsymbol{\xi}^\mathrm{T}\mathbf{e}
= \boldsymbol{\xi}^\mathrm{T}\textrm{P}'\mathbf{e}'
= \boldsymbol{\xi}^\mathrm{T}\textrm{P}^{-1}\textrm{P}\mathbf{e}
= {(\{\textrm{P}^{-1}\}^\mathrm{T}\boldsymbol{\xi})}^\mathrm{T}\textrm{P}\mathbf{e} .
</math>

基底ベクトルの変換の具体例としては座標系の原点を中心とする回転操作や、座標系のスケール変換が当てはまります。ただし、座標系の平行移動は座標系の原点に対する変換であり、基底ベクトルに対する変換ではありません。位置ベクトル <math>\boldsymbol{x}</math> は空間上のある点 <math>\mathrm{O}</math> を原点として別のある点 <math>\mathrm{X}</math> を指すベクトルです。
:<math>\boldsymbol{x} = \overrightarrow{\mathrm{OX}}.</math>
空間上の点 <math>\mathrm{X}</math> を指す位置ベクトルは原点 <math>\mathrm{O}</math> の取り方に応じて無数に存在します。たとえば別の原点 <math>\mathrm{O'} \ne \mathrm{O}</math> と点 <math>\mathrm{X}</math> を結ぶ位置ベクトルを
:<math>\boldsymbol{x}' = \overrightarrow{\mathrm{O'X}}</math>
と表すことができ、また <math>\overrightarrow{\mathrm{O'X}} \ne \overrightarrow{\mathrm{OX}}</math> です。2 つの位置ベクトルはお互いの原点を結ぶ位置ベクトル <math>\overrightarrow{\mathrm{OO'}}</math> によって結び付けられます。
:<math>\overrightarrow{\mathrm{OX}} = \overrightarrow{\mathrm{OO'}} + \overrightarrow{\mathrm{O'X}}.</math>

----
;[[古典力学/イントロダクション/練習問題#「座標系の変換」の例題|【例題】]]
:具体的な基底や変換行列について、その性質を確かめよ。
----
{{節stub}}

==脚注==
<references />

{{DEFAULTSORT:こてんりきかく いんとろたくしよん}}
[[Category:古典力学|いんとろたくしよん]]