But exp : s o ( 3 ; 1 ) → SO ( 3 ; 1 ) + {\displaystyle \exp :{\mathfrak {so}}(3;1)\to {\text{SO}}(3;1)^{+}} is surjective.
Однако exp : s o ( 3 ; 1 ) → SO ( 3 ; 1 ) + {\displaystyle \exp :{\mathfrak {so}}(3;1)\to {\text{SO}}(3;1)^{+}} является сюръективным.