Ann(U) ⊇ X
Dafür reicht doch der Nachweis, dass alle Matrizenprodukte
von einem vi mit einem zj die 0 ergeben, also alle zj
(und damit auch deren Linearkombinationen) annuliieren
alle vi .
Bleibt zu zeigen, dass jede Linearform aus Z4(K)=(V4(K))∗,
die beide zi annuliert, auch in U ist. Also Ansatz :
(10213243)⋅x=0
Gibt: x3=s , x4=t frei wählbar also sehen alle so aus
(s+2t, -2s-3t, s , t ) = s(1,-2,1,0)+t(2,-3,0,1).
Also Ann(U) = L( {(1,-2,1,0),(2,-3,0,1)}.
Die gegebenen zi sind alle durch die beiden darstellbar,
also auch Ann(U) ⊆ X. Somit Ann(U)=X.