系の不変質量

定義 6.1（「相対論的力学」§6）

粒子 $i = 1,\dots,n$ からなる系の全 4元運動量を

P^\mu \equiv \sum_{i=1}^n p_i^\mu = \left(\frac{\mathcal E}{c},\ \boldsymbol P\right), \qquad \mathcal E = \sum_i E_i,\quad \boldsymbol P = \sum_i \boldsymbol p_i

とします。このとき

M \equiv \frac{1}{c^2}\sqrt{\mathcal E^2 - |\boldsymbol P|^2c^2}

をこの系の不変質量といいます。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。