Ultraweak

Ultraweak, also called sigma-weak, refers to a topology used in operator algebra theory, particularly on von Neumann algebras. If M is a von Neumann algebra with predual M, the ultraweak topology on M is the weak- topology sigma(M, M): a net x_alpha in M converges ultraweakly to x in M exactly when φ(x_alpha) → φ(x) for every φ in M. Equivalently, convergence is pointwise on all normal functionals.

In the standard example where M = B(H) for a Hilbert space H, the predual M is the trace-class operators TC(H). Thus x_alpha → x ultraweakly if and only if Tr(A x_alpha) → Tr(A x) for every A in TC(H). Since Tr(|η><ξ| x) = ⟨x ξ, η⟩, ultraweak convergence also implies that ⟨x_alpha ξ, η⟩ → ⟨x ξ, η⟩ for all vectors ξ, η, i.e., convergence of all matrix elements. This shows ultraweak convergence implies weak operator convergence, and in general the ultraweak topology is finer than the weak operator topology (WOT); not every WOT-convergent net is ultraweakly convergent.

Normal functionals on M are exactly the ultraweakly continuous linear functionals, and the ultraweak topology is the natural topology arising from the predual: it is the weakest topology making all normal functionals continuous (i.e., the weak- topology with respect to M). Consequently, many statements about von Neumann algebras, states, and normal expectations are formulated using ultraweak (sigma-weak) continuity.

Properties include being locally convex and Hausdorff; on bounded sets, metrizability of the ultraweak topology can occur when the predual is separable. The ultraweak topology plays a central role in the analysis of von Neumann algebras and their representations, ensuring a convenient notion of convergence compatible with normal functionals and states.