A rotationally invariant Lagrangian is
.
examples of scalars:
speed of light:
is a 4-vector is a lorentz scalar.
proof:
is a 1 form.
This implies that the inverse transformation: so .(covariant vectors)
contravariant vectors follow .
is a lorentz scalar.