Es sei eine
beschreibende Matrix
für , und sei
vorgegeben. Es ist
-
genau dann, wenn die lineare Abbildung
-
nicht
bijektiv
(und nicht
injektiv)
ist
(wegen
Fakt
und
Fakt).
Dies ist nach
Fakt
und
Fakt
äquivalent zu
-
was bedeutet, dass der
Eigenraum
zu
nicht der Nullraum ist, also
ein Eigenwert zu
ist.