No label defined (Q4466933)

Let \(H\) be a Hilbert space and let \(B(H)\) denote the algebra of all bounded linear operators on \(H\). Assume that \(A=(A_n)\) and \( B=(B_n)\) are two sequences of commuting normal operators on \(H\) such that the following condition is satisfied: \[ \sum _{n=1}^{\infty }A_{n}^{\ast }A_{n}=I \text{ and } \sum _{n=1}^{\infty }B_{n}^{\ast }B_{n}=I, \tag{\(*\)} \] where the convergence of the two series is taken in the strong operator topology. The main result is: If \(X\in B(H)\) and if \(X=\sum _{n=1}^{\infty } A_{n}XB_{n}^{\ast }\), then \(\;A_{n}X=XB_{n}\;\)and \(A_{n}^{\ast }X=XB_{n}^{\ast }\) for \(n=1,2,3,\dots\). The author considers first the particular case where \(A_{n}=B_{n}\) for \( n=1,2,3,\dots\) and proves the result with condition (\(*\)) satisfied in the uniform operator topology, and then in the strong operator topology. The general case follows immediately by using the well-known Berberian method.