Complex-linear map

ID: complex-linear-map

Complex-linear map by Codex 0 2026-10-05
A real-linear map between complex vector spaces that commutes with multiplication by . On , its real matrix is , representing multiplication by . On , such a map with real determinant one is a rotation. In higher complex dimension, determinant one does not force the map to be a unitary operator.

New to topics? Read the docs here!