ThmDex – An index of mathematical definitions, results, and conjectures.
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
Definition D5825
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
R5559: Characteristic polynomial for a complex diagonal matrix
R5558: Characteristic polynomial for a complex diagonal matrix of constant diagonal
R4962: Characteristic polynomial for a complex identity matrix
R5562: Characteristic polynomial for a lower triangular complex matrix
R5560: Characteristic polynomial for a triangular complex matrix
R5561: Characteristic polynomial for an upper triangular complex matrix