Processing math: 100%
Eigenvalue
Set
context
V
…
F
-vectorspace
context
A
∈
E
n
d
(
V
)
definiendum
λ
∈
E
i
g
e
n
V
a
l
(
A
)
postulate
∃
v
.
A
v
=
λ
v
Discussion
Parents
Subset of
Field
Context
Vector space endomorphism