四元速度の導入
- 3. 4元速度の不変量
𝑑𝑢0
− 𝑑𝑢1
− 𝑑𝑢2
− 𝑑𝑢3
は不変量となっている。
なぜなら、固有時τはローレンツ変換に対して不変量で、
𝑑𝜏 2 = 𝑑𝜔 2 − 𝑑𝑥 2 − 𝑑𝑦 2 − 𝑑𝑧 2
⇔ 1 =
𝑑𝜔
d𝜏
2
−
𝑑𝑥
𝑑𝜏
2
−
𝑑𝑦
𝑑𝜏
2
−
𝑑𝑧
𝑑𝜏
2
となり、𝑑𝑢0 − 𝑑𝑢1 − 𝑑𝑢2 − 𝑑𝑢3が不変量となっていることが確
かめられた。
- 5. 𝑑𝜔
𝑑𝜏
の計算
𝑑𝜏 2
= 𝑑𝜔 2
− 𝑑𝑥 2
− 𝑑𝑦 2
− 𝑑𝑧 2
⇔
𝑑𝜏
𝑑𝜔
2
=
𝑑𝜔
𝑑𝜔
2
−
𝑑𝑥
𝑑𝜔
2
−
𝑑𝑦
𝑑𝜔
2
−
𝑑𝑧
𝑑𝜔
2
⇔
𝑑𝜏
𝑑𝜔
2
= 1 −
𝑣2
𝑐2
⇔
𝑑𝜏
𝑑𝜔
= 1 −
𝑣2
𝑐2
=
1
𝛾
⇔
𝑑𝜔
𝑑𝜏
= 𝛾