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

Link to graph
Log In
Improvements of the human condition
limeGraphxioms