Can A=B be Proved Algebraically without Linear Transformations?

  • Thread starter Thread starter Bipolarity
  • Start date Start date
Click For Summary
If Ax = Bx for all column vectors x, then A must equal B, as this equality implies that the matrices act identically on all inputs. This can be proven without linear transformations by selecting specific vectors, such as the standard basis vectors, to demonstrate that corresponding columns of A and B are equal. The relationship A = B can also be expressed as A - B = 0, leading to the conclusion that (A - B)x = 0 for all x. Ultimately, this shows that the only solution is for the matrix A - B to be the zero matrix. Thus, A and B are indeed equal.
Bipolarity
Messages
773
Reaction score
2
Suppose A and B are matrices of the same size, and x is a column vector such that the matrix products Ax and Bx are defined.

Suppose that Ax=Bx for all x. Then is it true that A=B?

I know that this is true and I can prove it using the idea of transformation matrices, and viewing Ax and Bx each as linear transformations and showing that those two transformations are equivalent, but I was curious if this can be proved without appealing to the notion of a linear transformation.

Tips?

BiP
 
Physics news on Phys.org
If you view them as linear transformations, then there's nothing to prove, since "Ax=Bx for all x" is by definition what A=B means. (This holds for all functions A and B that have the same domain, not just for the linear ones).

If you don't, then you can do it by trying many different choices of x. For example, if you try (1,0,...,0), then the equality tells you that the first column of A is equal to the first column of B.
 
A=B <=> A-B=0
write as
(A-B)x=0

transform way
Tx=0 for all x
T=0

matrix way
the matrix is defined by the action on any basis
Tx=0 for all x
let B be a basis
TB=0
T=0
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 12 ·
Replies
12
Views
5K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K