A unitary operator on R4 (with the standard inner product) is simply a linear operator which preserves the quadratic form
∣∣(x,y,z,t)∣∣2=x2+y2+z2+t2
that is, a linear operator U such that ∣∣Uα∣∣2=∣∣α∣∣2 for all α in R4. In a certain part of the theory of relativity, it is of interest to find the linear operators T which preserve the form
∣∣(x,y,z,t)∣∣L2=t2−x2−y2−z2.
Now ∣∣∣∣L2 does not come from an inner product, but from something called the 'Lorentz metric' (which we shall not go into). For that reason, a linear operator T on R4 such that ∣∣Tα∣∣L2=∣∣α∣∣L2, for every α in R4, is called a Lorentz transformation.
(a) Show that the function U defined by
U(x,y,z,t)=[t+xy−izy+izt−x]
is an isomorphism of R4 onto the real vector space H of all self-adjoint 2×2 complex matrices.
(b) Show that ∣∣α∣∣L2=det(Uα).
(c) Suppose T is a (real) linear operator on the space H of 2×2 self-adjoint matrices. Show that L=U−1TU is a linear operator on R4.
(d) Let M be any 2×2 complex matrix. Show that TM(A)=M∗AM defines a linear operator TM on H. (Be sure you check that TM maps H into H.)
(e) If M is a 2×2 matrix such that ∣detM∣=1, show that LM=U−1TMU is a Lorentz transformation on R4.
(f) Find a Lorentz transformation which is not an LM.