Prove that two homogeneous systems of linear equations are equivalent iff they have the same solutio

Arnold Herring

Arnold Herring

Answered question

2022-02-23

Prove that two homogeneous systems of linear equations are equivalent iff they have the same solution set.
My definition of equivalent of linear equations is that each equation of system A is a linear combination of the equations of system B and converse.
So i have a bit trouble proving this statement in general as m×n form. I worked with their coefficient matrices and if i show that these two are row equivalent the problem is solved. Is there any method to use for this? If not what's the general prove.

Answer & Explanation

marinacabellok6k

marinacabellok6k

Beginner2022-02-24Added 4 answers

This cannot be done without the rank theorem or some other theorem of similar power.
We are given an (mA×n)-matrix A and an (mB×n)-matrix B. Denote by {ker}(A){R}n the solution space of Ax=0, by Ai!{R}n the ith row vector of A, and by
row(A)=A1,,AmARn
the row space of A. Similarly for B. We have to prove the following claim:
row(A)=row(B)ker(A)=ker(B)
For this it is sufficent to prove
row(A)row(B)ker(A)ker(B)
Proof of : Assume row(A)row(B), and consider a vector xker(A). Let Bi>x=k=1nBikxk=0 be an equation of the B-system. As Bi=j=1mAλjAj for certain λj{R} we obtain
Bix=j=1mAλjAjx=0
Since this is true for all i[mB] it follows that xker(B). (This was the easy part.)
Proof of : If row(B)row(A) then there is a row Bi of B that does not belong to row(A). Denote by A' the matrix obtained from A by adding the row Bi at the bottom. Then A' has rank one larger than A, hence ker(A)ker(A) has dimension one less than ker(A). It follows that there are vectors xker(A)ker(A). These vectors do not satisfy the last A'-equation Bix=0, hence do not belong to ker(B). This proves ker(A)ker(B).

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?