Undergrad The Paradox of u=v | Solve the Mystery

  • Thread starter Thread starter Gjmdp
  • Start date Start date
  • Tags Tags
    Paradox
Click For Summary
The discussion centers on the equation M*u = M*v, where u and v are column vectors and M is a matrix. It highlights the fallacy in assuming that u equals v when M is not invertible, particularly when the dimensions of M do not match (n ≠ m). The correct conclusion is that if M is square and invertible (n = m), then u must equal v when M*u = M*v. Participants clarify that the terms "regular," "invertible," and "nonsingular" are synonymous in this context. The proof relies on the properties of matrix multiplication and the implications of an invertible matrix.
Gjmdp
Messages
147
Reaction score
5
Let u, v be column vectors n x 1 and M a m x n matrix over a field K. If M*u= M*v, then (M^-1)*M*u=(M^-1)*M*v, thus, I*u=I*v. Hence u=v. But that shouldn't be the case. What is wrong in my reasoning?
Thank you.
 
Physics news on Phys.org
There is no inverse matrix for ##M## in case ##n\neq m##. If ##n=m## and ##M## is regular and ##Mu=Mv## then ##u=v##.
 
fresh_42 said:
There is no inverse matrix for ##M## in case ##n\neq m##. If ##n=m## and ##M## is regular and ##Mu=Mv## then ##u=v##.
Thank you for your answer. How can you prove that?
 
Gjmdp said:
Thank you for your answer. How can you prove that?
Your reasoning is correct if those assumptions are given.
 
fresh_42 said:
If ##n=m## and ##M## is regular and ##Mu=Mv## then ##u=v##.
I think more usual terms for regular are invertible or nonsingular.
Gjmdp said:
Thank you for your answer. How can you prove that?
##Mu = Mv \Rightarrow Mu - Mv = 0 \Rightarrow M(u - v) = 0##
Assuming M is invertible, then ##M^{-1}M(u - v) = M^{-1}0 = 0##, or ##u - v = 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 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 4 ·
Replies
4
Views
1K