Matrix/vector : (A-B)s = 0 does not imply A=B

  • Thread starter elgen
  • Start date
In summary, when s is a column vector and L is a diagonal matrix, s^T L s L s = L s s^T L s by noticing that s^TLs is a scalar. However, s^T L s L ≠ L s s^T L. This is because there are non-zero linear operators that are not invertible, unlike real numbers where every non-zero number has a multiplicative inverse. This is shown through an example of a non-invertible, non-zero matrix A and a vector x such that Ax=0 with x≠0. Additionally, the fact that s≠0 shows that s^T L s L ≠ L s s^T L.
  • #1
elgen
64
5
Let s be a column vector and L be a diagonal matrix. Then

[tex]s^T L s L s = L s s^T L s [/tex]

by noticing that [tex] s^TLs[/tex] is a scalar.

However,

[tex] s^T L s L \neq L s s^T L [/tex].

Is there some mathematical explanation behind this? Thank you.

elgen
 
Physics news on Phys.org
  • #2
Are you looking for a reason why Ax=0 doesn't imply x=0, when A is a non-zero linear operator and x a vector (or equivalently, when A is a m×n matrix and x an n×1 matrix)? One way of looking at it is that there are non-zero linear operators that aren't invertible. This is different from how real numbers behave, since every non-zero real number r has the multiplicative inverse 1/r. If A is invertible, we clearly have x=0. But we can easily find examples of non-invertible, non-zero A such that Ax=0 with x≠0.

[tex]\begin{pmatrix}0 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 1\end{pmatrix}\begin{pmatrix}1 \\ 0\\ 0\end{pmatrix}=0[/tex]

Here A projects onto the 23 plane, and x is in the 1 direction.
 
  • #3
Thank you for replying my message, Fredrik. Even though it is not the expected answer, it does explain well the presence of the NULL space of the matrix A.

What has surprised me is that, let [tex]\alpha=s^TL s [/tex], the equality is really
[tex]\alpha Ls = L s \alpha [/tex].

Since
[tex]s^T L s Ls = L s s^T L s[/tex]
we have
[tex](s^T Ls L - L s s^T L)s = 0 [/tex]

This does not imply that [tex] s^T L s L = L s s^T L[/tex].
 
  • #4
Right. I answered the question in the title (or rather, one that's easily seen to be completely equivalent to it), and the answer should explain the issue you brought up in the post (the one you're repeating now). If sTLsL-LssTL had been invertible, we would obviously have had s=0. The fact s≠0 is a possibility means that we have found an example (sTLsL-LssTL) of a non-zero, non-invertible linear operator.
 
  • #5
Thank you for the discussion.
 

FAQ: Matrix/vector : (A-B)s = 0 does not imply A=B

What does the equation (A-B)s = 0 mean in terms of matrices and vectors?

The equation (A-B)s = 0 means that the product of the difference between matrices A and B and vector s is equal to the zero vector. This is known as the null space or kernel of the matrix A-B.

Can (A-B)s = 0 always be simplified to A = B?

No, (A-B)s = 0 does not always imply that A = B. This is because the null space of a matrix can contain more than just the zero vector. In other words, there can be other solutions for vector s that satisfy the equation.

What are some possible reasons for (A-B)s = 0 not implying A = B?

This could happen if matrix A and B have the same null space, or if the null space of A is a subset of the null space of B. In these cases, there would be other solutions for vector s that satisfy the equation, and A would not necessarily equal B.

How can we determine if (A-B)s = 0 implies A = B?

We can determine if (A-B)s = 0 implies A = B by checking if the null space of A is equal to the null space of B. If they are equal, then A = B. Otherwise, there are other solutions for vector s that would satisfy the equation and A would not necessarily equal B.

Are there any real-life applications where (A-B)s = 0 does not imply A = B?

Yes, there are many real-life applications where (A-B)s = 0 does not imply A = B. One example is in image processing, where matrices are used to represent images and vector s is used to apply filters. The null space of the difference between two images could contain other solutions, meaning that the two images are not necessarily the same, even though their difference multiplied by vector s equals the zero vector.

Similar threads

Replies
19
Views
2K
Replies
1
Views
2K
Replies
1
Views
3K
Replies
1
Views
641
Replies
17
Views
2K
Back
Top