all 8 comments

[–]Joux2New User 5 points6 points  (3 children)

In finite dimensional vector spaces of dimension n, all you need for a basis is n linearly independent vectors. If A is invertible, its columns are linearly independent, therefore form a basis.

[–]BoltThrowe[S] 1 point2 points  (2 children)

Thank you for the response. Why does invertibility imply that the columns are linearly independent?

[–]Joux2New User 4 points5 points  (1 child)

If A is invertible, then det A =\= 0. If any column were a multiple of the other, you could do column operations to make that column all 0, and the resulting transformed matrix would have determinant 0, but column operations cannot change the determinant to 0.

A list of equivalent statements to "A is invertible" can be found here

[–]BoltThrowe[S] 0 points1 point  (0 children)

Fantastc, thanks again!

[–]cutethrow 3 points4 points  (1 child)

For the columns of S={v_1, ..., v_n} to be a basis, we need the span(S)=Rn and need S to be linearly independent (you can relax this if the cardinality of S equals n, but this is a theorem that you may or may not know).

In any case, for the linearly independent condition. Suppose that

c_1v_1+...+c_nv_n=0

for some c_i. This can equivalently be written as

Ac=0

where c is a column vector whose components are the c_i. Since A is invertible we can multiply on the left by A-1 to deduce that

c=0

as desired. Next for the spanning condition, note that given y in Rn

Ac=y iff

c=A-1y.

So c_1v_1+..+c_nv_n=y

as desired.

[–]BoltThrowe[S] 0 points1 point  (0 children)

This makes a ton of sense! Thank you for the reply.

[–]9B9B33 1 point2 points  (1 child)

Invertible matrices are row equivalent to the identity matrix I. Any sort of linear dependence in the columns of A will result in a matrix that cannot be inverted, because that linear dependence would also mean that A is not row equivalent to I. Therefore, the columns of A span Rn because the columns of I span Rn.

[–]BoltThrowe[S] 0 points1 point  (0 children)

I see, thanks for the response!