Minkowski space/Observer vector/Decomposition/Exercise
< Minkowski space < Observer vector < Decomposition
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.