TerryW
Gold Member
- 222
- 20
I have spent much effort trying to prove that det|\Lambda\mu\upsilon| = +1 or -1 (following a successful effort to prove (3.50g) on p87 of MTW)
From the result of \LambdaT\eta\Lambda = \eta I've produced four equations like:
\Lambda00\Lambda00 - \Lambda01\Lambda01 - \Lambda02\Lambda02 - \Lambda03\Lambda03 = 1
and six like:
- \Lambda00\Lambda10 - \Lambda01\Lambda11 - \Lambda02\Lambda12 - \Lambda03\Lambda13 = 0
I was hoping that by various combinations of products of these equations I would be able to find all the terms needed to produce det|\Lambda\mu\upsilon|2 but I end up with a large number of terms so of which look to be OK plus lots of terms which I need to eliminate and can't. It is also very messy!
Is there an elegant way of doing this?
TerryW
From the result of \LambdaT\eta\Lambda = \eta I've produced four equations like:
\Lambda00\Lambda00 - \Lambda01\Lambda01 - \Lambda02\Lambda02 - \Lambda03\Lambda03 = 1
and six like:
- \Lambda00\Lambda10 - \Lambda01\Lambda11 - \Lambda02\Lambda12 - \Lambda03\Lambda13 = 0
I was hoping that by various combinations of products of these equations I would be able to find all the terms needed to produce det|\Lambda\mu\upsilon|2 but I end up with a large number of terms so of which look to be OK plus lots of terms which I need to eliminate and can't. It is also very messy!
Is there an elegant way of doing this?
TerryW