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!