**Problem:** Let $M\subseteq B(H)$ be a finite von Neumann algebra with a faithful tracial state $\tau$. Let $\widetilde{M}$ be the $\tau$-measurable operators on $M$ (recalled below). Extend the trace $\tau$ on $\widetilde{M}\_+$ by $\tau(a):=\int\_0^\infty\lambda\tau(e\_\lambda)$ where $a=\int\_0^\infty\lambda\,de\_\lambda$ is the spectral decomposition (See Equation 4.6 of Hiwi). If $\{x\_n\}\_{n\in\mathbb{N}}$ be a sequence of positive elements from $M$, which converges strongly to an element $x$ of $\widetilde{M}\_+$, then can we say that $\{\tau(x\_n)\}\_{n\in\mathbb{N}}$ converges to $\tau (x)$?


Or, can we at least say that if $\{x\_n\}\_{n\in\mathbb{N}}$ be a sequence of positive elements from $M$, which converges strongly to an element $x$ of $\widetilde{M}\_+$, then $\{x\_n\}\_{n\in\mathbb{N}}$ converges to $x$ in the measure topology?


**(A positive answer of any one of the above two questions would be sufficient for me.)**


I got stuck with this problem while reading $\tau$-measurable operators from the book '[Lectures on Selected Topics in von Neumann Algebras](https://drive.google.com/file/d/1H6ki8gjUPY5dsWE-CrGn9WFNhMEfEkIv/view?usp=sharing)' by Hiwi. Here I recall the definition of $\tau$-measurable operator.


**Definition 1:** For each $\epsilon,\delta>0$, define $$\mathscr{O}(\epsilon,\delta)=\{m\text{ affiliated to } M:eH\subseteq \mathcal{D}(m),\,\|me\|\leq \epsilon \text{ and }\tau(1-e)\leq\delta \text{ for some } e\in Proj(M)\}.$$
Let $m$ be a densely defined closed operator such that $m$ is affiliated to $M$. We say that $m$ is $\tau$-measurable if for any $\delta >0$, there exists an $\epsilon >0$ such that $m\in\mathscr{O}(\epsilon,\delta)$. We denote by $\widetilde{M}$ the set of such $\tau$-measurable operators.


**Theorem 2:** (Theorem 4.12 of Hiwi) The $\widetilde{M}$ is a complete metrizable Hausdorff topological \*-algebra with $\{\widetilde{M}\cap\mathscr{O}(\epsilon,\delta):\epsilon,\delta >0\}$ as a neighborhood basis of $0$. Moreover, $M$ is dense in $\widetilde{M}$.


Thanks in advance for any help or suggestion.



Continuity of the extension of a tracial state with respect to the strong operator topology
With the specific definition of strong convergence in the comment (namely, a sequence $x\_n \in M\_+$ is said to converge strongly to $x \in \widetilde{M}\_+$ if and only if $x\_n \xi \to x \xi$ for all $\xi \in D(x)$), both properties indeed hold.


Take such a sequence $x\_n \in M\_+$ converging strongly to $x \in \widetilde{M}\_+$. We prove that $\tau(x\_n) \to \tau(x)$ and $x\_n - x \to 0$ in measure.


First assume that $\tau(x)=+\infty$. Choose $\kappa > 0$. Since $\tau(x) = +\infty$, we can choose a spectral projection $p = e\_{[0,\lambda]}(x)$ such that $\tau(xp) > \kappa + 1$. By assumption, $x\_n p \to x p$ strongly in the usual sense. By the uniform boundedness principle, the sequence $x\_n p$ is bounded in operator norm and $\tau(x\_n p) \to \tau(x p)$. We can thus take $n\_0$ such that $|\tau(x\_n p) - \tau(xp)| < 1$ for all $n \geq n\_0$. Thus, $\tau(x\_n p) > \kappa$ for all $n \geq n\_0$. Since
$$\tau(x\_n) \geq \tau(x\_n^{1/2} p x\_n^{1/2}) = \tau(x\_n p) > \kappa \; ,$$
we conclude that $\tau(x\_n) > \kappa$ for all $n \geq n\_0$. Thus, $\tau(x\_n) \to + \infty$.


Next assume that $\tau(x) < +\infty$. We then have a well-defined normal positive functional $\omega$ on $M$ satisfying
$$\omega(a) = \tau((1+x)^{1/2} a (1+x)^{1/2}) \quad\text{for all $a \in M$.}$$
By assumption $x\_n (1+x)^{-1} \to x (1+x)^{-1}$ strongly in the usual sense. Again by uniform boundedness,
$$\omega(x\_n (1+x)^{-1}) \to \omega(x (1+x)^{-1}) \; .$$
This precisely says that $\tau(x\_n) \to \tau(x)$.


To prove that $x\_n - x \to 0$ in measure, first note the following standard result: if $y\_n$ is a sequence in $M$ such that $y\_n \to 0$ strongly, then $y\_n \to 0$ in measure. Indeed, given $y \in M$ and $\delta > 0$, consider the spectral projection $e = e\_{[0,\delta]}(y^\* y)$. Since $y^\* y \geq \delta (1-e)$, we find that
$$\delta \, \tau(1-e) \leq \tau(y^\* y) \quad\text{and}\quad \|y e \| \leq \delta \; .$$
Writing $\|y\|\_2 = \sqrt{\tau(y^\* y)}$, taking $\delta = \|y\|\_2$ and using the notation $\mathcal{O}(\cdot,\cdot)$ for the basic neighborhoods of $0$ in the measure topology as in the question, it follows that
$$y \in \mathcal{O}(\|y\|\_2,\|y\|\_2) \quad\text{for all $y \in M$.}$$
When $y\_n \to 0$ strongly, also $\|y\_n\|\_2 \to 0$ and thus $y\_n \to 0$ in measure.


We now return to the sequence $x\_n - x$. Fix $\varepsilon > 0$. Take a spectral projection $p$ of $x$ such that $xp$ is bounded and $\tau(1-p) < \varepsilon/2$. Since $(x\_n - x) p \to 0$ strongly in the usual sense, also $(x\_n - x)p \to 0$ in measure. So, for all $n$ large enough, we have that $(x\_n - x)p \in \mathcal{O}(\varepsilon,\varepsilon/2)$. It follows that $x\_n - x \in \mathcal{O}(\varepsilon,\varepsilon)$ for all $n$ large enough. Thus, $x\_n \to x$ in measure.


