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 \( Z_{4}(K)=\left(V_{4}(K)\right)^{*} \),
die beide zi annuliert, auch in U ist. Also Ansatz :
\(\begin{pmatrix}1&2&3&4\\0&1&2&3 \end{pmatrix} \cdot 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.