A von Neumann algebra is *countably decomposable* if every family of mutually orthogonal nonzero projections is countable. Even a singly-generated von Neumann algebra need not be countably decomposable; for instance, consider multiplication by $x$ on the nonseparable Hilbert space $l^2[0,1]$. However, every self-adjoint element is approximated in norm by elements of finite-dimensional (and hence countably decomposable) subalgebras.

Let $(x_n)$ be a sequence of positive elements of an arbitrary von Neumann algebra $\mathcal{M}$ which increase weak* to $1$ and let $\epsilon > 0$. Can we find a countably decomposable subalgebra $\mathcal{M}_0$ and a sequence $(y_n)$ in $\mathcal{M}_0$ such that $\|x_n - y_n\| \leq \epsilon$ for all $n$?

I will accept an answer in the case where $\mathcal{M} = B(H)$ (for nonseparable $H$, of course).