Wenn B eine Basis für ℝn ist, dann enthält B genau n Elemente
b1, ... , bn und diese sind linear unabhängig.
Dann sind A*b1, ... , A*bn auch linear unabhängig, denn
seien x1, ..., xn ∈ℝ mit
\( \sum \limits _{i=1}^n (x_i \cdot (A\cdot b_i) ) = 0\) #
==> \( \sum \limits _{i=1}^n (A\cdot x_i \cdot b_i ) = 0\)
==> \( A \cdot \sum \limits _{i=1}^n (x_i \cdot b_i ) = 0\)
Da A invertierbar ist, ist Kern(A) nur der Nullvektor, also
\( \sum \limits _{i=1}^n (x_i \cdot b_i ) = 0\)
und weil die bi linear unabhängig sind folgt
x1 = x2 = ... = xn = 0.
Somit folgt aus dem Ansatz # , das alle xi gleich 0 sind,
also sind die Ab1, ... , Abn linear unabhängig und je n
linear unabhängige Elemente von ℝn bilden eine Basis. q.e.d.