Eigenvalue
Set
context
$V$ … $F$-vectorspace
context
$A\in\mathrm{End}(V)$
definiendum
$\lambda\in\mathrm{EigenVal}(A)$
postulate
$\exists v.\ A\ v=\lambda\ v$
Discussion
Parents
Subset of
Field
Context
Vector space endomorphism