Divide by Matrix: Is it Possible?

  • Context: Graduate 
  • Thread starter Thread starter spamiam
  • Start date Start date
  • Tags Tags
    Matrices
Click For Summary
SUMMARY

The discussion centers on the feasibility of dividing by a singular matrix, specifically addressing the operation defined as \(\frac{B}{A} := \lambda I\) when \(B = \lambda A\). While this operation appears intuitive, it is not well-defined due to the nontrivial kernel of singular matrices, leading to ambiguity in the result. The conversation highlights the importance of working within specific mathematical structures, such as Von Neumann regular rings and the Drazin inverse, to establish a more rigorous framework for such operations.

PREREQUISITES
  • Understanding of matrix theory, particularly singular and invertible matrices
  • Familiarity with concepts of matrix multiplication and kernel
  • Knowledge of Von Neumann regular rings and their properties
  • Basic understanding of pseudoinverses, including the Drazin inverse
NEXT STEPS
  • Research the properties of Von Neumann regular rings and their applications in matrix theory
  • Study the Drazin inverse and its generalizations, such as the g-Drazin inverse
  • Explore examples of pseudoinverses and their unique properties in linear algebra
  • Investigate the implications of working over fields versus rings in matrix operations
USEFUL FOR

Mathematicians, students of linear algebra, and researchers interested in advanced matrix operations and their theoretical foundations.

spamiam
Messages
360
Reaction score
1
In post #7 of https://www.physicsforums.com/showthread.php?t=532666" thread, the OP asked whether one could meaningfully divide by a matrix. Certainly this is possible for invertible matrices, but I'm wondering if it's possible to define something similar even for singular matrices.

For instance, suppose I have a singular matrix [itex]A[/itex]. If [itex]B = \lambda A[/itex], it seems natural to define [itex]\frac{B}{A} := \lambda I[/itex]. However, I don't think this operation is well-defined. Since [itex]A[/itex] is singular, left multiplication by [itex]A[/itex] has a nontrivial kernel, so there is some nonzero vector [itex]v[/itex] such that [itex]Av = 0[/itex]. Letting [itex]V[/itex] be the matrix with columns [itex]v[/itex], then [itex]B = A \cdot \lambda I = A \cdot (\lambda I + V)[/itex], so [itex]\frac{B}{A}[/itex] could just as well be equal to [itex]\lambda I + V[/itex].

My question is, is there a way to make this division well-defined? Would working over a ring with specific properties help?
 
Last edited by a moderator:
Physics news on Phys.org
Firstly, if you can't do it over a field, you probably can't do it over a ring. The field is the best case for scalars.

What you are looking for is what we call http://en.wikipedia.org/wiki/Von_Neumann_regular_ring" which has uniqueness.

There is also the http://en.wikipedia.org/wiki/Drazin_inverse" . The Drazin inverse has a further generalization called the g-Drazin inverse aka Drazin-Koliha inverse, but this is more C*-algebra stuff, rather than matrix theory proper.
 
Last edited by a moderator:
Thanks for the reply--the links were very interesting.

I guess what makes [itex]\lambda I[/itex] the "natural" choice for [itex]\frac{B}{A}[/itex] if [itex]B = \lambda A[/itex] is that [itex]\lambda I[/itex] is a scalar matrix and lies in the center of the ring. I guess these various pseudoinverses all have some nice properties and I'll have to work out some examples.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 34 ·
2
Replies
34
Views
3K
Replies
2
Views
2K