Existence of the matrix logarithm Updated +Created
en.wikipedia.org/wiki/Logarithm_of_a_matrix#Existence mentions it always exists for all invertible complex matrices. But the real condition is more complicated. Notable counter example: -1 cannot be reached by any real .
The Lie algebra exponential covering problem can be seen as a generalized version of this problem, because
  • Lie algebra of is just the entire
  • we can immediately exclude non-invertible matrices from being the result of the exponential, because has inverse , so we already know that non-invertible matrices are not reachable
Lie algebra of Updated +Created
For every matrix in the set of all n-by-y square matrices , has inverse .
Note that this works even if is not invertible, and therefore not in !
Therefore, the Lie algebra of is the entire .