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
Operation
N-operation
Binary operation
Enclosed binary operation
Groupoid
Ringoid
Semiring
Ring
Left ring action
Module
Linear combination
Linear map
Eigenvector
Eigenvalue
Definition D5862
Complex matrix eigenvalue
Formulation 0
Let $A \in \mathbb{C}^{N \times N}$ be a D6159: Complex square matrix.
A D1207: Complex number $\lambda \in \mathbb{C}$ is an eigenvalue for $A$ if and only if \begin{equation} \exists \, z \in \mathbb{C}^{N \times 1} \setminus \{ \boldsymbol{0} \} : A z = \lambda z \end{equation}
Children
Complex matrix eigenvalue sequence
Complex matrix singular value
Real matrix complex eigenvalue
Results
Characterisation of complex matrix eigenvalues in terms of characteristic polynomial
Squared eigenvalue is an eigenvalue for the square of a complex matrix