Linear Algebra: Exercise 6 - Proving Equivalence of Systems

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 2K views
carlosbgois
Messages
66
Reaction score
0
This is a question from 'Linear Algebra' by Hoffman and Kunze, and it's exercise 6 at page 5:

Question: Prove that if two homogeneous systems of linear equations in two unknowns
have the same solutions, then they are equivalent.

Attempt: I've tried some approaches but I couldn't even start.

Does anyone have a clue? Is there any solutions manual for this book?
Thanks
 
Physics news on Phys.org
Hi carlosbgois! :smile:

carlosbgois said:
This is a question from 'Linear Algebra' by Hoffman and Kunze, and it's exercise 6 at page 5:

Question: Prove that if two homogeneous systems of linear equations in two unknowns
have the same solutions, then they are equivalent.

Attempt: I've tried some approaches but I couldn't even start.

Does anyone have a clue? Is there any solutions manual for this book?
Thanks

The solution is a bit complicated, but let's guide you through it.

Firstly, two systems of equations are equivalent if each row of the system is a linear combination of the rows of the other system.

So take two systems

[tex]\left\{\begin{array}{c} ax+by=0\\ cx+dy=0\end{array}\right.~\text{and}~\left\{\begin{array}{c} a^\prime x+b^\prime y=0\\ c^\prime x+d^\prime y=0\end{array}\right.[/tex]

So you must prove that there exists [itex]\alpha,\beta[/itex] such that

[tex]ax+by=\alpha (a^\prime x+b^\prime y)+\beta (c^\prime x+d^\prime)[/tex]

This leads us to the following system of equations

[tex] \left\{<br /> \begin{array}{c}<br /> \alpha a^\prime+\beta c^\prime = a\\<br /> \alpha b^\prime+\beta d^\prime = b<br /> \end{array}<br /> \right.[/tex]

And we must prove that this system has a solution. So, how do we do that? Well, by solving the system!
 
Thanks for helping, but I didn't quite grasp it yet.

You started supposing that the two systems are equivalent, and then managed to show that they have the same solutions, right? But is the reciprocal also true? Because I need to prove that if they have the same answer they are equivalent, not the inverse as done.

And I also didn't get how

[tex]ax+by=\alpha (a^\prime x+b^\prime y)+\beta (c^\prime x+d^\prime)[/tex]

Leads us to

[tex] \left\{<br /> \begin{array}{c}<br /> \alpha a^\prime+\beta c^\prime = a\\<br /> \alpha b^\prime+\beta d^\prime = b<br /> \end{array}<br /> \right.[/tex]
 
carlosbgois said:
Thanks for helping, but I didn't quite grasp it yet.

You started supposing that the two systems are equivalent, and then managed to show that they have the same solutions, right? But is the reciprocal also true? Because I need to prove that if they have the same answer they are equivalent, not the inverse as done.

What I'm trying to find out first is a criterion of when the two systems are equivalent. So far, we have shown that the two systems are equivalent if and only if

[tex] \left\{<br /> \begin{array}{c}<br /> \alpha a^\prime+\beta c^\prime = a\\<br /> \alpha b^\prime+\beta d^\prime = b<br /> \end{array}<br /> \right.[/tex]

has a solution. So what I ask from you is to find out what this solution is and when it exists.

And I also didn't get how

[tex]ax+by=\alpha (a^\prime x+b^\prime y)+\beta (c^\prime x+d^\prime)[/tex]

Leads us to

[tex] \left\{<br /> \begin{array}{c}<br /> \alpha a^\prime+\beta c^\prime = a\\<br /> \alpha b^\prime+\beta d^\prime = b<br /> \end{array}<br /> \right.[/tex]

Group all the x-terms and all the y-terms. The equality of the coefficient of the x-terms and of the y-terms is this system. Thus, if we work out

[tex]ax+by=\alpha (a^\prime x+b^\prime y)+\beta (c^\prime x+d^\prime),[/tex]

then we get

[tex]ax+by=(\alpha a^\prime+\beta c^\prime) x+(\alpha b^\prime +\beta d^\prime )[/tex]

So since the coefficients of the x-terms must equal each other, we get that

[tex]a=\alpha a^\prime+\beta c^\prime[/tex]

Analogous with the coefficients of the y-terms.