Basic reverse order law and its equivalencies (Q2375928)

The Moore-Penrose inverse of a Hilbert space operator \(A \in B(H,K)\) (if it exists) is the unique operator \(A^\dagger \in B(K,H)\) satisfying the four Penrose equations \(AA^\dagger A=A, A^\dagger AA^\dagger=A^\dagger, (AA^\dagger)^*=AA^\dagger\) and \((A^\dagger A)^*=A^\dagger A\). It is well-known that \(A^\dagger\) exists if and only if the range of \(A\) is closed. The reverse order law of the form \((AB)^\dagger = B^\dagger A^\dagger\) does not hold in general. In this paper, the authors present a set of equivalencies of the reverse-order law for the Moore-Penrose inverse of bounded linear operators on Hilbert spaces. Some finite dimensional results, given by \textit{Y.-G. Tian} [Int. J. Math. Educ. Sci. Technol. 37, No. 3, 331--339 (2006; Zbl 1274.15019)], are extended to infinite dimensional settings. The authors also get some results for generalized inverses of the positive integer powers of the operators.