Existence of a logarithm for every invertible complex matrix

ID: existence-of-a-logarithm-for-every-invertible-complex-matrix

An invertible complex Jordan block , with , has logarithm , where . Applying this construction blockwise and conjugating back proves surjectivity of the matrix exponential on the complex general linear group. There is no globally single-valued continuous choice of logarithm.

New to topics? Read the docs here!