PDA

View Full Version : why Ax=0 only has trivial solution


georg gill
Nov22-11, 02:04 AM
Ax=0 has only trivial solution if A is row equivalent to I. Here in theorem 6 they explain it by referring to another theorem 4 in my book:

Theorem 6
http://bildr.no/view/1032481

Theorem 4:

http://bildr.no/view/1032482

Why is it so that if A is invertible Ax=0 only has trivial solution for x.

Theorem.
Nov22-11, 02:17 AM
This is true because a matrix is invertible if and only if its column vectors are all linearly independent (If the columns are linearly dependent on the other hand, the matrix will have determinant zero and thus not be invertible)
i.e. if A has column vectors v_1,...,v_n, then those vectors are linearly independent if and only if the equation a_1v_1 +...+a_nv_n\cdot =0 has only the trivial solution a_1=...=a_n=0 This is equivalent to saying Ax=0 has only the trivial solution. To see this, write the linear independence expression in matrix notation.

georg gill
Nov22-11, 02:31 AM
I get it when I say that the column vectors are linearly independent (as you point out) but when one reduce a matrix to its identity matrix one will get I if the rows are independent. How does this show that also the columns are independent?

Theorem.
Nov22-11, 02:39 AM
Well do you remember how you find the inverse of a matrix? you reduce it alongside the identity, i.e. reduce (A|I_n), If you can arrive at the identity via row reduction, then A is invertible. And a matrix is invertible if and only if the columns are independent. The two statements go hand in hand, each implies the other. Alternatively, you know that the Identity matrix has linearly independent column vectors. It follows that if you can reduce a matrix by performing elementary row operations into the identity, then the original column vectors must be linearly independent.

georg gill
Nov22-11, 03:18 AM
This proof should also show it

http://en.wikipedia.org/wiki/Rank_(linear_algebra)#Column_rank_.3D_row_rank_or_ rk.28A.29_.3D_rk.28AT.29

right?

Theorem.
Nov22-11, 03:43 AM
Yes,correct