Content deleted Content added
→Power series expression: cleaned up ongoing sign errors, showing enough detail to make future debugging easier I hope |
m →Constraints in the 2 × 2 case: rm its |
||
Line 210:
== Constraints in the 2 × 2 case ==
If a 2 × 2 real matrix has a negative [[determinant]], it has no real logarithm. Note first that any 2 × 2 real matrix can be considered one of the three types of the complex number ''z'' = ''x'' + ''y'' ''ε'', where
The case where the determinant is negative only arises in a plane with ε<sup>2</sup> =+1, that is a [[split-complex number]] plane. Only one quarter of this plane is the image of the exponential map, so the logarithm is only defined on that quarter (quadrant). The other three quadrants are images of this one under the [[Klein four-group]] generated by ε and −1.
| |||