\( C \) ist regulär.
==> Es gibt \( C^{-1} \) so, dass \( C^{-1} \cdot C = E_N \)
Sei nun \( x \in \operatorname{Kern} C\)
==> \( C \cdot x = 0 \)
==> \( C^{-1} \cdot C \cdot x = C^{-1} \cdot 0 \)
==> \( E_N \cdot x = C^{-1} \cdot 0 \)
==> \( x = 0 \)
Also \( \operatorname{Kern} C=\{\mathbf{0}\} \).
Weiter sei \( \sum \limits_{i=1}^N x_is_i = 0 \) eine Linearkombination des
Nullvektors durch die Spalten von \( C \).
==> \( C \cdot \begin{pmatrix} x_1\\ \dots \\x_N \end{pmatrix} =0 \)
==> \( \begin{pmatrix} x_1\\ \dots \\x_N \end{pmatrix} \in \operatorname{Kern} C \)
==> \( x_1 = x_2 = \dots = x_N \)
==> Die Spalten sind linear unabhängig, und es sind N Stück,
also Spaltenrang = N.
==> Die Spalten von \( C \) sind N linear unabhängige Vektoren in
dem N-dimensionalen Raum \( K^{N} \), also eine Basis dafür.
Also Spaltenrang der quadratischen Matrix \( C \) maximal
==> \( C \) regulär.