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.