Four-Vector

Definition

A four-vector has components

$$A^\mu=(A^0,A^1,A^2,A^3)$$

that transform under Lorentz transformations.

Invariant Product

With metric $\eta_{\mu\nu}$,

$$A\cdot B=\eta_{\mu\nu}A^\mu B^\nu$$

is invariant.