Matrix eigenvalue
Set
context
$A\in\mathrm{SquareMatrix}(n,\mathbb C)$
definiendum
$\lambda\in\mathrm{EigenVal}(A) $
postulate
$\mathrm{det}(\lambda\cdot I_n-A)=0$
Parents
Subset of
Eigenvalue
Context
Leibniz formula for determinants