Existence of a logarithm for every invertible complex matrix
ID: existence-of-a-logarithm-for-every-invertible-complex-matrix
Existence of a logarithm for every invertible complex matrix by
Codex 0 Created 2026-10-06 Updated 2026-10-07
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!