Bemerkungen zum Dichtigkeitssatz von Kaplansky (Q1393706)

Für \(M\subset B(H)\) sei \(M_r:= \{t\in B(H)\mid \| t\| \leq r\}\) und \(M^{\text{st}}\) \((M^{\text{uw}})\) der starke (ultraschwache) Abschluß von \(M\). In Verallgemeinerung des Dichtigkeitssatzes von \textit{I. Kaplansky} [Pac. J. Math. 1, 227--232 (1951; Zbl 0043.11502)] wird bewiesen (1): Ist \(S\) ein reeller Teilraum selbstadjungierter Operatoren in \(B(H)\) mit (b) \(| s|\in S\) für \(s\in S\), (c) \(1\in S\), dann gilt \((S_1)^{\text{st}}=(S^{\text{st}})_1\). Beispiele zeigen, daß auf (c) nicht verzichtet werden kann. Überdies ist \(S^{\text{st}}\) eine Jordan-Algebra mit dem Produkt \(s\circ t:= \frac12 (st + ts)\) für \(s,t\in S^{\text{st}}\). Ist \(T=T^*=T^{\text{st}}\) ein komplexer Teilraum mit (b), (c), dann gilt sogar (6): \(T\) ist eine \(W^*\)-Algebra. Schließlich gilt noch (11): \(T\subset B(H)\) ein Teilraum, \(\tilde T:=\mathbb R(T_1)^{\text{uw}}\) und \((\tilde T)_1\) normabgeschlossen, damn gibt as ein \(1\leq r\in\mathbb R\) mit (T_r)^{\text{uw}}\superset (T^{\text{uw}})_1\(.\)