洛伦兹变换
其中formula_41为伽马矩阵，formula_42是一个反对称的formula_43矩阵，它将洛伦兹变换参数化。我们可以看到内积表示