What is the proof that S0_O(3,1) is connected?

  • Thread starter Thread starter latentcorpse
  • Start date Start date
latentcorpse
Messages
1,411
Reaction score
0
define the group
S0_O(3,1) = \{ a \in SO(3,1) | (ae_4,e_4) < 0 \}
i need to show this group is connected

in my notes it says a group G is connected if it satisfies any of the following:
(i)any two elements of G can be joined by a C^k-path in G
(ii) it is not the disjoint union of two non-empty open sets
(iii) it is generated by a neighbourhood of 1 (the identity matrix)
(iv) it is generated by exp \mathfrak{g}

im not sure which one to try and prove or how to go about it really. can anybody offer some advice? thanks.
 
Physics news on Phys.org


I don't know enough about SO(3,1) to figure out the answer, but another potential way to show it connected is to show it's the image of a known-connected space under a continuous map.
 


bump.

ive got a feeling its going to be a proof by contradiction but that might be a whole load of rubbish.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...

Similar threads

Back
Top