Complex matrix characteristic polynomial

▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Binary cartesian set product
▾ Binary relation
▾ Map
▾ Countable map
▾ Array
▾ Matrix
▾ Square matrix
▾ Set of square matrices
▾ Matrix determinant
▾ Complex matrix determinant

Complex matrix characteristic polynomial

Formulation 0

Let $A \in \mathbb{C}^{N \times N}$ be a D6159: Complex square matrix.
The characteristic polynomial of $A$ is the D4881: Complex function \begin{equation} \mathbb{C} \to \mathbb{C}, \quad z \mapsto \text{Det}(z I_N - A) \end{equation}

Results

» R4962: Characteristic polynomial for a complex identity matrix

» R5570: Special coefficients of complex matrix characteristic polynomial

» R5559: Characteristic polynomial for a complex diagonal matrix

» R5571: Complex algebra expression for the characteristic polynomial of a 2-by-2 complex square matrix

» R5560: Characteristic polynomial for a triangular complex matrix

» R5557: Complex matrix characteristic polynomial is a monic polynomial with degree equal to row and column dimensions

» R5558: Characteristic polynomial for a complex diagonal matrix of constant diagonal

» R5561: Characteristic polynomial for an upper triangular complex matrix

» R5562: Characteristic polynomial for a lower triangular complex matrix