Minkowski space/Observer vector/Decomposition/Exercise
Appearance
Let be a Minkowski space with the Minkowski form . Show that for every observer vector , there exists a direct sum decomposition
where the restriction of the Minkowski form to is negative definite, and the restriction of the Minkowski form to is positive definite.