When I was writing a literature survey on Moore-Penrose pseudoinverse (literatures like this one, and this one), I encountered with the following equality which was named as reverse order law: (AB)+=B∗(A∗ABB∗)+A∗. They claimed this equality, by noticing AB=((A∗)+A∗A)(BB∗(B∗)+)=(A∗)+(A∗ABB∗)(B∗)+, and then applying a 'general reverse order law' (PNQ)+=Q+N+P+ here. In these papers, this law (PNQ)+=Q+N+P+ was widely used to derive equalities on (AB)+. My question here is that (PNQ)+=Q+N+P+ cannot be true for arbitrary matrix P,N,Q. Are there any extra requirements for it to hold, how is it proved, and how does it fit in the above case? Are there any references? References on the first discovery of equality (AB)+=B∗(A∗ABB∗)+A∗ are also appreciated.

Ivan Buckley

Ivan Buckley

Answered question

2022-09-25

Whilst i used to be writing a literature survey on Moore-Penrose pseudoinverse (literatures like this one, and this one), I encountered with the following equality which was named as opposite order regulation:
( A B ) + = B ( A A B B ) + A .
They claimed this equality, by noticing
A B = ( ( A ) + A A ) ( B B ( B ) + ) = ( A ) + ( A A B B ) ( B ) + ,
and then applying a 'general reverse order law' ( P N Q ) + = Q + N + P + here. In these papers, this law ( P N Q ) + = Q + N + P + was widely used to derive equalities on ( A B ) + .
My question here is that ( P N Q ) + = Q + N + P + cannot be true for arbitrary matrix P , N , Q. Are there any extra requirements for it to hold, how is it proved, and how does it fit in the above case? Are there any references?
References on the first discovery of equality ( A B ) + = B ( A A B B ) + A are also appreciated.

Answer & Explanation

Abagail Stephenson

Abagail Stephenson

Beginner2022-09-26Added 9 answers

The formula
( A B ) + = B ( A A B B ) + A
doesn't hold in general. If you set
F = B ( A A B B ) + A
then F A B F = F and A B F A B = A B (direct computation), but the two other conditions for the pseudo-inverse are only true under certain conditions (unknown for me).
Take for example
A = ( 1 0 0 0 ) and B = ( 2 1 1 2 ) .
Then
A B = ( 2 1 0 0 ) and ( A B ) + = ( 2 / 5 0 1 / 5 0 ) .
However
F = B ( A A B B ) + A = ( 14 / 41 0 13 / 41 0 ) ,
since
( A A B B ) = ( 5 4 0 0 ) and ( A A B B ) + = ( 5 / 41 0 4 / 41 0 ) ,
and we also compute
( F A B ) = ( 28 / 41 26 / 41 14 / 41 13 / 41 ) ( 28 / 41 14 / 41 26 / 41 13 / 41 ) = F A B .
A normally valid components, which must be regarded (I made no literature research), is
( A B ) + = ( B A A B ) + B A = B A ( A B B A ) + .

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Research Methodology

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?