El grupo de Lorentz propio así definido es un grupo de Lie conexo.