Consider the exponential map for matrices , which can be defined by the formula

where is a square matrix. A *matrix logarithm* is defined to be a right-inverse to the exponential; that is to say, it is a function such that . It is a standard result of Lie theory that the exponential is a diffeomorphism in a neighbourhood of in , and hence there is a well-defined choice of logarithm in a neighbourhood of the identity in . However, it is not at all clear that a logarithm can be globally defined, or that there is a unique way of doing so. This problem also shows up in the more simple case of the exponential for complex numbers. Indeed, there are several choices for the complex logarithm, and none of them are analytic (or even continuous) on all of . However, it turns out that choosing a complex logarithm is enough to determine a unique choice of a matrix logarithm in any dimension. More precisely, we have the following:

**Theorem.** Consider the exponential sequence for complex numbers

and let be a set-theoretical splitting of this sequence, in other words, a (not-necessarily continuous) branch of the complex logarithm. Then for any positive integer , there is a uniquely defined matrix logarithm

such that for every the eigenvalues of lie in the image of

Continue reading “Matrix Logarithms”