#contents
#br
* ガリレイの相対性原理 [#zc92f47c]
何かが「動いている」というとき、それは何に対して動いているか？という基準を示さなければならない。
逆にいえば、何を基準にするかは自由である。
つまり、道路を50km/h走っている車について、道路が静止しているとするなら車は50km/h動いているのだし、車が静止しているとみれば道路が50km/h動いている。もしくは、車と道路がお互いに向かい合う方向に25km/hで動いている（合成速度は50km/h）と見ることもでいる。いずれも同じ事象である。
* 特殊相対性理論 [#q76e7d52]
- ''特殊相対性原理''&br;
お互いに等速度で運動しているすべての慣性系において、すべての物理法則は等しく適用される。
- ''光速度不変の原理''&br;
真空中の光の速さは、光源の運動に関わらず一定である。
特殊相対論では、この理論が適用されるのが、静止系、或いは等速度の座標系 ＝ 慣性系でのみとしている。つまり、加速度の伴なう運動については言及しない。
光速については「一定である」としているが、光速に達する、若しくは超えるものの存在をここでは特に否定していない。問題は、この光の速度の特殊性ゆえ、他の物理理論にこの光速が再三使用され、また、質量を持つものがこれを超えることはないという前提で考えられている点にある。
ちなみに 光速はおよそ 2.99792458× 10&sup(8); m/s (Wikipedia:[[光速:http://ja.wikipedia.org/wiki/%E5%85%89%E9%80%9F]]) で、通常アルファベット c で表記される。
* 一般相対性理論 [#f06310af]
- ''一般相対性原理''&br;
いかなる座標系においても物理法則は不変である。
- ''一般共変性原理''&br;
物理法則は、すべての座標系において同じ形式でなければならない。
- ''等価原理''&br;
慣性質量と重力質量は同じものである。（運動の加速度と重力加速度は区別できない）
一般相対性原理というのは、特殊相対論が慣性系だけに限っていたのに対して、一般相対論では''全ての座標系''についても物理法則は不変である、といっている。一般共変性原理は、座標変換しても物理法則が変わることはないということ。
等価原理は、運動による加速度と、重力加速度は本質的に同じものであり、それによって生じる質量も結局同じものだということ。例えば、無重力空間でロケットが9.8m/s&sup(2);で加速したときに船内で後方に向かって感じる重量と、地球上で静止している人が下向きに感じる重量（重力加速度 g = 9.8m/s&sup(2);）は区別することはできない、ということ。
* ガリレイ変換 [#zaaaad68]
3つの空間軸をとる座標系（デカルト座標系）を S と定義する。S の 時刻 t における i位置を x, y, z とする。これを (x, y, z, t) と書く。また、S とは別の座標系 S' (x', y', z', t') を定義する。
S' が S に対して x 軸の正の方向に速度 v で移動しているとし、時刻 t = t' = 0 において S と S' の原点は一致しているとする。
その際、S における座標 P(x, y, z) を S' で見た場合の座標 P'(x', y', z') との関係は、
- x' = x - vt
- y' = y
- z' = z
となる。このとき t = t' （時間は同じである前提）
* ローレンツ変換 [#z01e5e17]
ガリレイ変換は、光速が一定であるということが考慮されていない。それを、光速が一定であることを仮定して修正された座標変換がローレンツ変換。
x, y, z で表される座標系 S の原点から 時刻 t = 0 の時点に光が発射されたとすると、その光は時刻 t において半径 ct （c は光速）の球面上に達している。
球面の半径を r とすると
r&sup(2); = x&sup(2); + y&sup(2); + z&sup(2); = (ct)&sup(2); …(1)
簡単のために x軸方向だけを考えると、y = z = 0 とし
x&sup(2); = (ct)&sup(2); …(2)
この座標系 S に対して x軸の正の方向に速度 v で移動する座標系 S' を仮定し、時刻 t = t' = 0 において S と S' の原点は一致するとする。
この S' についても同様に x軸方向だけで考えると、
(x')&sup(2); = (ct')&sup(2); …(3)
これをガリレイ変換で考えると
x' = x - vt …(4)&br;
t' = t
この逆変換は
x = x' + vt' …(5)&br;
t = t'
&size(11){※逆変換 : 左辺と右辺の ' を逆転。速度 v を -v に逆転。};
(5) を (2) に代入すると
(x' + vt')&sup(2); = (ct')&sup(2);&br;
(x')&sup(2); + 2x'vt' + (vt')&sup(2); = (ct')&sup(2);&br;
(x')&sup(2); + 2x'vt' = (ct')&sup(2); - (vt')&sup(2);
で、これは (3) と矛盾する。つまり、ガリレイ変換をそのままでは使えない。
ということで、(4)の式を修正。
x' = γ(x - vt) …(6)&br;
γという係数をつけてみる。
この逆変換は
x = γ(x' + vt') …(7)&br;
となる。
光速は一定なので、時刻 t = t' = 0 で x軸の正の方向に出た光の位置は
x = ct …(8)&br;
x' = ct' …(9)
(6)(7)(8)(9)から
&mimetex( \gamma~ = \frac{1}{\sqrt{1-\frac{v^2}{c^2}}} ); …(10)
t および t' について解くと
t' = γ(t - vx/c&sup(2);) …(11)&br;
t = γ(t' + vx'/c&sup(2);) …(12)
つまり、ローレンツ変換は (6) 及び(11) の式で表される。
逆変換は (7)(12)。
光速が一定とした場合、この座標変換でないと矛盾が発生する。
* 時間が遅れてみえる？ [#j07acd90]
床から天井まで距離 x の部屋で、床から天井に向かって光を発射したとき、
その光が天井に到達する時間 t は
t = x / c
その部屋が速度 v で移動するとして、そのときの光の移動距離を x' とすると、天井に到達する時間 t' は
t' = x' / c
これを部屋の中でみれば、x = x' なので t = t' 。
しかし、部屋の外からはこう見える。
&ref(fig_003.png);
x = AB で x' = AB'。x < x' で t < t' となるようにみえる。
つまり、部屋の外からみたら t' 経過しているようにみえるが、
部屋の中の人はその時点でまだ t (< t') しか経過していないようにみえる。
この関係式を導けば、お互いにどれだけ時間が遅れてみえるかがわかる。
x : x' = t : t'
つまり
x / x' = t / t' …(1)
また、光速 c とすると、光が速度 c で x' 進む間に、部屋は 速度 v で y 進むので、
y : x' = v : c
つまり
y / x' = v / c …(2)
x' と x と y の関係は三平方の定理が成り立つので
x&sup(2); + y&sup(2); = (x')&sup(2);
これを変形。
(x / x')&sup(2); + (y / x')&sup(2); = 1&br;
(x / x')&sup(2); = 1 - (y / x')&sup(2);&br;
(1)と(2)より
(t / t')&sup(2); = 1 - (v / c)&sup(2);&br;
つまり
&mimetex( \frac{t}{t'} = \sqrt{1 - (\frac{v}{c})^2} );&br;
&mimetex( t = t'\sqrt{1 - (\frac{v}{c})^2} );
ここで t' は部屋の外からみたときの時間（観察者の座標系での時間）で、移動速度 v が 光速 c より遅い場合、観察者からは常に相手の時間の進み方は自分より遅れてみえるということ。
では v が c と同じ場合は？
&mimetex( t'\sqrt{1 - 1} = 0 ); なので、時間が止まる。
では v が c よりも大きい場合は？
平方根の中身が負になり、時間が虚数になる！？
* 4次元時空 [#u566d672]
空間 x, y, z の時間 t における光の位置は、半径 r = ct の球面上にある。
r&sup(2); = x&sup(2); + y&sup(2); + z&sup(2); = (ct)&sup(2);
移項して
(ct)&sup(2); - x&sup(2); - y&sup(2); - z&sup(2); = 0
同様に、x', y', z', t' についても
(ct')&sup(2); - x'&sup(2); - y'&sup(2); - z'&sup(2); = 0
となり、つまり
s&sup(2); = (ct)&sup(2); - x&sup(2); - y&sup(2); - z&sup(2); = (ct')&sup(2); - x'&sup(2); - y'&sup(2); - z'&sup(2); = 0
ここで s は4次元時空における距離を表す。（3次元要素に加えて時間 t が入っている）
* ミンコフスキー空間 [#wd11f420]
4次元時空における距離を x軸方向についてだけ考える（簡単のため）。
s&sup(2); = (ct)&sup(2); - x&sup(2);
s = 0（4次元距離が 0）とすると
(ct)&sup(2); - x&sup(2); = 0
これを、横軸 x、縦軸 ct として描くと、傾き±1の直線になる。
&ref(fig_004.png);
図の破線が光の軌跡。
ここにy軸もとると円錐状になる。
&ref(fig_005.png);
これを光円錐という。
4次元距離 s が正の値をとる部分、つまり破線の上側（円錐の内側）、若しくは下側（円錐の内側）は原点から光が到達可能な領域で、未来、或いは過去となる。その外は x(y) が ct よりも大きいので、光速を超えないと到達できない。この領域では s が虚数となる空間的領域と呼ばれる。
* 参考 [#x37bc6e1]
- [[相対性理論:http://ja.wikipedia.org/wiki/%E7%9B%B8%E5%AF%BE%E6%80%A7%E7%90%86%E8%AB%96]](Wikipedia)
-- [[特殊相対性理論:http://ja.wikipedia.org/wiki/%E7%89%B9%E6%AE%8A%E7%9B%B8%E5%AF%BE%E6%80%A7%E7%90%86%E8%AB%96]]
-- [[一般相対性理論:http://ja.wikipedia.org/wiki/%E4%B8%80%E8%88%AC%E7%9B%B8%E5%AF%BE%E6%80%A7%E7%90%86%E8%AB%96]]
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
