Use the four-dimensional real vector space of Hermitian matrices
For , preserves determinant, hence defines a Lorentz transformation. Positive definite stays positive definite, so future timelike vectors remain future timelike. Connectedness also fixes the orientation, giving an image in .
If the action is trivial, makes unitary. The remaining condition says it commutes with every Hermitian matrix, forcing with . Infinitesimally first makes anti-Hermitian and then scalar; tracelessness forces . Both real Lie-algebra dimensions are six, so the image is open. Polar decomposition shows is connected, with connected unitary factor and a contractible positive Hermitian determinant-one factor. The image is therefore the full proper orthochronous Lorentz group.
This is the Hermitian-matrix double cover of SO0(3,1). The full determinant-one Lorentz group also contains transformations reversing time orientation, so the identity-component qualification cannot be omitted.