Derivable mappings at unit operator on nest algebras (Q875025)

In this paper, the following result is proved. Let \(H\) be a complex, separable Hilbert space and let \(N\) be a complete nest on~\(H\). Let \(\varphi: N\to N\) be a strong operator topology continuous linear mapping. Then \(\varphi\) is a derivable mapping at \(1\), that is, \[ \varphi(ST)=\varphi(S)T+S\varphi(T)\quad(S,T\in N,\;ST=1) \] if and only if \(\varphi\) is an inner derivation implemented by an operator in~\(B(H)\). The proof is largely computational.