How to prove that the determinant of K is also zero without using eigenvalues?

  • Thread starter Thread starter EmmaSaunders1
  • Start date Start date
  • Tags Tags
    Algebra Determinant
AI Thread Summary
To prove that the determinant of matrix K is zero given that bK = 0 and b is a non-zero vector, one can utilize the uniqueness theorem for solutions of linear equations. If the determinant of K were non-zero, the equation KTb = 0 would have a unique solution, but since it does not, the determinant must be zero. The discussion also clarifies that KTb and bK are equivalent under matrix multiplication rules. Additionally, an alternative proof using Kramer's rule is presented, demonstrating that replacing a row of K with a linear combination involving b leads to a determinant of zero. Thus, the determinant of K is confirmed to be zero.
EmmaSaunders1
Messages
45
Reaction score
0
Hi,

if vector b * matrix K = 0 (bK=o) what methods can one use to show that the determinant of K is therefore also zero, without using eigenvalues.

I have a feeling I am over complicating this.

Knd regards

Emma
 
Physics news on Phys.org
I assume b != 0. What else are you starting with? Are you allowed to use the fact that, for any square matrix K with determinant != 0, the equation Kx = y has a unique solution? If so, it is obvious that the solution to KTb = 0 is not unique, since KT0 = 0 also. Thus, the determinant of KT is 0, and since transposition doesn't change the determinant, the determinant of K must also be 0.
 
Sorry that's correct that b!=0

using for any square matrix K with determinant != 0, the equation Kx = y has a unique solution - is fine.

Im almost understand where your heading with this - would you please however clarify two steps;

you say KTb = 0 is not unique, since KT0 = 0 also. Thus, the determinant of KT is 0.

How do you know the value of the determinant from that statement alone,

Also is bK, the same as KTb, I noticed you switched the order of multiplication there.

Thanks for your help
 
Sorry, I should have written KTbT. I'm using the turnover rule for matrix multiplication: for any two matrices A and B, (AB)T = BTAT. In this case b is a row vector, a 1 x n matrix, and bT is a column vector, an n x 1 matrix. The only reason for doing it that way is that the uniqueness theorem is usually stated in terms of left multiplication and column vectors, but of course it also holds for right multiplication and row vectors.

you say KTb = 0 is not unique, since KT0 = 0 also. Thus, the determinant of KT is 0.

How do you know the value of the determinant from that statement alone
If the determinant of K (or KT) is not 0, the solution would be unique. Since the solution is not unique, the determinant must be 0.
 
Thats great - I really appreciate your help!
 
It can be proved directly using Kramer's rule. Write K=[k1;...;kn] (the kj are the rows) and let Kj be the matrix K with row j replaced with 0. Obviously det(Kj)=0 by row expansion.

Also 0=b*K=b1*k1+...+bn*kn, so det(Kj)=det([k1;...;b1*k1+...+bn*kn;...;kn])=det([k1;...;bj*kj;...;kn])=bj*det(K). Choose any j such that bj<>0 and this shows that det(K)=0.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top