Additive results for Moore-Penrose inverse of Lambert conditional operators (Q2043707)

Let \((X,\Sigma, \mu)\) be a complete \(\Sigma\)-finite measure space. We denote the linear space of all complex-valued \(\Sigma\)-measurable functions on \(X\) by \(L^{0}(\Sigma)\). For \(u,w\in L^{0}(\Sigma)\), let \(T:L^{2}(\Sigma)\to L^{2}(\Sigma)\) be \[T(f):=wE(uf),\] where \(E\) means the conditional expectation. It is called the Lambert multiplication operator. \(T\) is represented by \(T=M_{w}EM_{u}\), where \(M_{u}\) means a multiplication operator, i.e., \(M_{u}(f):=uf\) for \(f\in L^{2}(\Sigma)\).\par In this paper, the author gives several properties of \(T\) and its Moore-Penrose inverse \(T^{\dagger}\). The author obtains equivalent conditions of \(T\) and \(T^{\dagger}\) for normality and binormality. Moreover, the author obtains an equivalent condition that \((T_{1}T_{2}T_{3})^{\dagger}=T_{3}^{\dagger}T_{2}^{\dagger}T_{1}^{\dagger}\) holds for Lambert multiplication operators \(T_{1}, T_{2}\) and \(T_{3}\). Lastly, the author considers upper and lower estimations of the numerical radii of \(T\) and \(T^{\dagger}\).