Uncountable sequence $R_1 \subset R_2 \subset ... $ of von Neumann algebras acting on separable $H$? Can there exist an uncountable sequence $R_1 \subset R_2 ...$ of von Neumann algebras all acting on the same separable Hilbert space $H$, with a "limit" algebra $R$ such that $R_\alpha \subset R$ for all countable ordinals $\alpha$; and $R$ and the $R_\alpha$'s are all either type II or III? (Here $\subset$ means proper inclusion.)
I've tried to find a contradiction between the uncountability of the $(R_\alpha)$ sequence and the countable basis for $H$, but haven't been successful and now wonder whether there is any contradiction. In the other direction I've tried to construct a concrete example of a $(R_\alpha)$ sequence using a group-von-Neumann-algebra for $R$, but I have little experience manipulating those things and didn't get anywhere. Any help greatly appreciated!
 A: No. The von Neumann algebra $B(H)$ is separable (in the sot topology, say); it follows that any von Neumann algebra $R\subset B(H)$ is separable. This is not totally straightforward, but it is simple:


*

*A countable dense subset of $B(H)$ is given by the complex-rational linear combinations of matrix units (because its commutant is trivial);

*Separability can be assessed at the level of the unit ball (because then your algebra is a countable union of balls);

*The sot is metrizable on the unit ball;

*In a metric space, a subset of a separable set is separable. .

*So $R$ is separable.


The claim that the chain $R_1\subset R_2\subset\cdots$ is uncountable implies that all the inclusions are proper (or at least for a subnet, and then we can renumber). We can then construct a net $\{r_\alpha\}$ such that $r_{\alpha}\not\in R_\beta$ for $\beta<\alpha$. Because each inclusion $R_\beta\subset R_\alpha$ is proper, for each $\alpha$ there exists a sot  neighbourhood $V_\alpha\subset R_\alpha$ and $r_\beta\not\in V_\alpha$ for $\beta<\alpha$. We then have an uncountable family of disjoint open neighbourhoods, contradicting separability.
A: I think we were on the right track. Here is a slightly different approach that I believe will work to get a formal contradiction.
Start with a countable basis $(V_n)$ for the SOT of $B(H)$ (the set of all bounded operators on the separable space $H$). [NOTE it isn't actually legitimate to assume this exists; see comment below.] Then define, for all $\alpha$,
$A_\alpha = \{ n : V_n \cap \mathcal{R}_\alpha \neq \emptyset \}.$
Claim: if $\alpha > \beta$, then $A_\alpha$ is a strictly larger set of natural numbers than $A_\beta$. Proof: $\mathcal{R}_\beta \subset \mathcal{R}_\alpha$ so $A_\beta \subseteq A_\alpha$. To show the converse doesn't hold, take any $r_\alpha \in \mathcal{R}_\alpha \setminus \mathcal{R}_\beta$; there must be a neighborhood $O$ of $r_\alpha$ in the SOT of $B(H)$ that is disjoint from $\mathcal{R}_\beta$, otherwise $r_\alpha$ is a SOT limit point of $\mathcal{R}_\beta$, and $\mathcal{R}_\beta$ is SOT closed (by definition of vN algebra). Now $O$ is a union of some $V_n$'s (since they are a base) so at least one $V_n$ satisfies $r_\alpha \in V_n$ and $V_n \subseteq O$, so $V_n \cap \mathcal{R}_\beta = \emptyset$.
... Then assuming the proof of that claim is right, the uncountable sequence of $\mathcal{R}_n$'s would give you an uncountable increasing sequence of sets of natural numbers, impossible.
