Die Spalten der Matrix sind genau dann linear unabhängig, wenn die Spaltenvektoren
einen n-dimensionalen Unterraum von \(K^n\), also \(K^n\) selbst aufspannen.
Das ist genau dann der Fall, wenn die lineare Abbildung \(x\mapsto Ax\) surjektiv ist.
Im endlich-dimensionalen Fall ist das genau dann der Fall, wenn die
lineare Abbildung bijektiv ist, d.h. wenn es eine Matrix \(B\) gibt, so dass
\(x\mapsto Bx\) die Umkehrabbildung zu \(x\mapsto Ax\) ist, also
genau dann wenn \(A\cdot B=I_n\) mit einer Matrix \(B\) ist.
Das aber ist mit der Invertierbarkeit von \(A\) äquivalent.
Aus der Multiplikativität der Determinante folgt dann die Behauptung.