A limit in probability in a \(W^*\)-algebra is unique (Q1813260)

In the noncommutative probability setting, a von Neumann algebra \({\mathbf M}\subset B(H)\) with a faithful normal state \(\omega\) is treated as the generalization of \(L^ \infty(\Omega, S, P)\) over a probability space \((\Omega, S, P)\). If \(x_ n\), \(x\) are (not necessarily bounded) operators on \(H\) then \(x_ n\to x\) by definition if there exists a sequence \((e_ n)\subset {\mathbf M}\) of projections such that \(\omega(e_ n)\to 1\) and \(\|(x_ n- x)e_ n\|\to 0\). The main result says that a sequence of selfadjoint operators affiliated with \({\mathbf M}\) may have at most one Segal measurable limit. The author also shows that a sequence converging in probability contains a subsequence converging almost uniformly.