以下は、特殊相対性理論 において頻繁に現れる方程式の一覧です。
特殊相対性理論の方程式を導出するには、まず他の2つの式から始めなければならない。
この文脈では、「光速」とは、情報伝達の速度の上限、あるいは通常の(非負の質量を持つ)物質の運動の速度の上限を、古典的な真空のように局所的に指す。したがって、より正確な記述は、光速そのものではなく、光やその他の質量のない粒子は理論的には真空条件下での実験では、この考えがかなり高い精度で反証されていない。光自体が真空中で伝わるかどうかは関係ない。、 けれどはそのような至上原理として作用し、それが相対性理論にとって重要な仮定である。
これら二つの公準から、特殊相対性理論のすべてが導き出される。
特殊相対性理論では、以下の記号が非常によく用いられます。
どこvは2つの慣性系間の相対速度である。
2つの慣性系が静止している場合、γ = 1となり、2つの慣性系間の相対速度が増加するにつれてγは増加する。相対速度が光速に近づくと、γ → ∞となる。
この例では、車両上の座標系で測定された時間tは、固有時間と呼ばれます。車両上で光が発せられる事象と車両上で光が受信される事象など、2 つの事象間の固有時間とは、事象が同じ場所で発生する座標系における、2 つの事象間の時間のことです。したがって、上記の例では、光の発せと受信はどちらも車両の座標系で発生したため、車両の座標系にいる観測者が測定する時間が固有時間となります。
これは長さ収縮の公式です。時間の遅れに固有時間が存在するように、長さ収縮にも固有長さが存在し、この場合はℓです。物体の固有長さとは、物体が静止している座標系における物体の長さのことです。また、この収縮は、物体と観測者間の相対速度に平行な物体の寸法のみに影響します。したがって、運動方向に対して垂直な長さは、長さ収縮の影響を受けません。
以下では、 4次元ベクトルには太字サンセリフ体を使用し、通常の3次元ベクトルには通常の太字ローマン体を使用します。
どここれは計量テンソルとして知られています。特殊相対性理論では、計量テンソルはミンコフスキー計量です。
上記において、ds 2 は時空間隔として知られています。この内積はローレンツ変換の下で不変であり、すなわち、
計量の符号や、ct、ct'、cdt、cdt 'といった時間項の配置は、著者の選択によって異なる場合があります。例えば、多くの場合、4次元ベクトルでは時間項が先に配置され、空間項がそれに続きます。また、ηを−ηに置き換えることで、空間項が内積または時空間隔に負の寄与を与え、時間項が正の寄与を与える場合もあります。これらの違いは、計算全体を通して基準の選択が完全に守られている限り、どのような組み合わせでも使用できます。
上記の座標変換は行列で表現できます。簡略化のため、t、t ′、dt、dt ′を、距離の次元を持つct、ct'、cdt、cdt ′に置き換えるのが最善です。したがって、次のようになります。
行列形式で表すと次のようになります。
上記の変換式におけるベクトルは4元ベクトルと呼ばれ、この場合は特に位置4元ベクトルです。一般に、特殊相対性理論では、4元ベクトルは次のようにある基準系から別の基準系に変換できます。
上記において、そしてはそれぞれ4元ベクトルと変換後の4元ベクトルであり、Λは変換行列であり、与えられた変換に対しては、変換したいすべての4元ベクトルに対して同じである。したがっては位置、速度、または運動量を表す4次元ベクトルであり、同じ2つのフレーム間で変換する場合に同じΛを使用できます。最も一般的なローレンツ変換にはブーストと回転が含まれます。コンポーネントは複雑で、変換にはスピノルが必要です。
物理量の不変性と統一性はどちらも4ベクトルから生じる。[ 1 ] 4ベクトルとそれ自身との内積はスカラーに等しく(内積の定義による)、4ベクトルは物理量であるため、その大きさも物理量に対応する。
一般的なドップラーシフト:
発信機と観測機が互いに右方向へ(または真後ろへ)移動する場合のドップラーシフト:
発信機と観測者が、それらを結ぶ線に垂直な方向に移動する場合のドップラーシフト: