Je travaille actuellement sur le Gourgoulhon, ma "bible" de la Relativité Restreinte, et cette propriété est utilisée p 253 dont voici un extrait:
7.4.5 Existence de vecteurs propres lumière
Une application intéressante du revêtement de SOo (3,1) par SL(2,ℂ) est la preuve de l'existence d'un vecteur propre du genre lumière pour toute transformation de Lorentz restreinte, propriété que nous avons utilisée comme point de départ de la classification des transformations de Lorentz au § 6.3.
Considérons en effet Λ∈SO_o (3,1) tel que Λ=S(A) .Puisque A est une matrice sur C , son polynôme caractéristique possède au moins un zéro (complexe), ce qui signifie que A admet au moins une valeur propre μ∈C . On a nécessairement μ≠0 car detA=1 .....