Prove that the proper orthochronous Lorentz group is a linear group

  • Thread starter TaliskerBA
  • Start date
  • #1
26
0

Homework Statement


Prove that the proper orthochronous Lorentz group is a linear group. That is SOo(3, 1) = {a [itex]\in[/itex] SO(3, 1) | (ae4, e4) < 0 } where (x,y) = x[itex]^T[/itex][itex]\eta[/itex]y for [itex]\eta[/itex] = [1 0 0 0; 0 1 0 0; 0 0 1 0; 0 0 0 -1] (sorry couldn't work out how to properly display a matrix).

Homework Equations


a is in SO(3,1) if det(a) = 1 and a[itex]^T[/itex][itex]\eta[/itex]a = [itex]\eta[/itex]

The Attempt at a Solution


To show it is a linear group I need to show that the matrices in SOo(3, 1) are invertible, and that if a matrix is in SOo(3, 1) then its inverse is in there as well, and that it is closed under matrix multiplication. I have done the latter two bits already, but the thing I am struggling with is closure by matrix multiplication.

let a[itex]_{ij}[/itex] be the element in the ith row and jth column of a. For a to be in SOo(3, 1) the element a[itex]_{44}[/itex] must be positive. Therefore if a,b [itex]\in[/itex] SOo(3, 1) I need to show that given a[itex]_{44}[/itex] and b[itex]_{44}[/itex] positive, then ab[itex]_{44}[/itex] is also positive. This is what I'm stuck on - I can't work out how to manipulate the inequality to show that it is positive. I have managed to work out that a[itex]_{14}^{2}[/itex] + a[itex]_{24}^{2}[/itex] + a[itex]_{34}^{2}[/itex] = a[itex]_{44}^{2}[/itex] - 1 from a[itex]^T\eta[/itex]a = [itex]\eta[/itex]. This also tells me that a[itex]_{44}[/itex] ≥ 1.

So, assuming my workings are correct so far, I am trying to manipulate the following:
a[itex]_{14}^{2}[/itex] + a[itex]_{24}^{2}[/itex] + a[itex]_{34}^{2}[/itex] = a[itex]_{44}^{2}[/itex] - 1
b[itex]_{14}^{2}[/itex] + b[itex]_{24}^{2}[/itex] + b[itex]_{34}^{2}[/itex] = b[itex]_{44}^{2}[/itex] - 1
a[itex]_{44}[/itex] ≥ 1, b[itex]_{44}[/itex] ≥ 1

To show that:
ab[itex]_{44}[/itex] = a[itex]_{14}[/itex]b[itex]_{41}[/itex] + a[itex]_{24}[/itex]b[itex]_{42}[/itex] + a[itex]_{34}[/itex]b[itex]_{43}[/itex] > 0

Appreciate any guidance or hints in the right direction. I have been trying to use the triangle inequality so far but to no avail. Thanks.
 

Answers and Replies

  • #2
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,851
413
(sorry couldn't work out how to properly display a matrix).
See our LaTeX FAQ.

The only real problem is to prove that ##(ab)_{44}\geq 1##, right? Can you rewrite ##(ab)_{44}## in the form ##a_{44}b_{44}(1+u\cdot v)## where u and v are members of ##\mathbb R^3## and the dot is the standard dot product? Any ideas about how to argue that ##1+u\cdot v## is greater than something else?

ab[itex]_{44}[/itex] = a[itex]_{14}[/itex]b[itex]_{41}[/itex] + a[itex]_{24}[/itex]b[itex]_{42}[/itex] + a[itex]_{34}[/itex]b[itex]_{43}[/itex]
This right-hand side is wrong in two different ways. There's a term missing, and the three terms you've got there are all wrong. :smile:
 
Last edited:
  • #3
26
0
Sorry that'd be ab[itex]_{44}[/itex] = a[itex]_{41}[/itex]b[itex]_{14}[/itex] + a[itex]_{42}[/itex]b[itex]_{24}[/itex] + a[itex]_{43}[/itex]b[itex]_{34}[/itex] + a[itex]_{44}[/itex]b[itex]_{44}[/itex].

So could you set [itex] u [/itex]= (a[itex]_{41}[/itex]/a[itex]_{44}[/itex],a[itex]_{42}[/itex]/a[itex]_{44}[/itex], a[itex]_{43}[/itex]/a[itex]_{44}[/itex])[itex]^{T}[/itex] and [itex] v [/itex]= (b[itex]_{14}[/itex]/b[itex]_{44}[/itex],b[itex]_{24}[/itex]/b[itex]_{44}[/itex], b[itex]_{34}[/itex]/b[itex]_{44}[/itex])[itex]^{T}[/itex]?

I'm assuming we want to show the dot product is positive, but not sure of an easy way to figure it out (I'm trying to spot something more than anything). Is there are easy way to show that the direction of these vectors are within 90 degrees of each other?
 
  • #4
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,851
413
Yes, that's how I would define u and v. It's actually sufficient to show that ##1+u\cdot v\geq 0##, if you also prove that ab is a Lorentz transformation and that the 44 component of any Lorentz transformation is always either ≥1 or ≤-1.
 
  • #5
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,851
413
Is there are easy way to show that the direction of these vectors are within 90 degrees of each other?
No. It's even possible that u=-v.
 
  • #6
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,851
413
Did you figure out the rest?
 
Top