Definition

Let MB(H)M\subseteq B(H) be a . A TT on HH that is is affiliated with MM, written TηMT\eta M, if every unitary uu in the MM' preserves Dom(T)\operatorname{Dom}(T) and

Tuξ=uTξ(ξDom(T)).Tu\xi=uT\xi\qquad(\xi\in\operatorname{Dom}(T)).

Equivalently, uTu=TuTu^*=T as unbounded operators for every unitary uMu\in M'. Affiliation therefore extends the relation TMT\in M from bounded operators to closed unbounded operators while retaining invariance under all symmetries commuting with MM.

Spectral characterization

If TT is self-adjoint, then TηMT\eta M exactly when every of TT belongs to MM. More generally, for the polar decomposition T=vTT=v|T|, affiliation is equivalent to vMv\in M together with affiliation of T|T|. These criteria turn an unbounded commutation condition into bounded operator-algebra data Nelson, §§1–2.

Examples and non-examples

Every bounded TMT\in M is affiliated with MM. For M=L(X,μ)M=L^\infty(X,\mu) acting by multiplication on L2(X,μ)L^2(X,\mu), a defines an affiliated multiplication operator on its maximal L2L^2-domain. In contrast, a closed operator whose spectral projections do not lie in MM is not affiliated, even if some bounded functions of that operator happen to belong to MM.

Role in noncommutative integration

Affiliated operators supply the unbounded observables and measurable operators used in noncommutative integration. Additional conditions such as τ\tau-measurability control the size of the domain relative to a trace; affiliation alone imposes no integrability, boundedness, or finite-trace condition. This distinction is essential for constructions such as .

References
  1. Edward Nelson, “Notes on Non-Commutative Integration,” Journal of Functional Analysis 15 (1974), 103–116. DOI record. Relevant: §§1–2 on affiliated and measurable operators.
  2. Masamichi Takesaki, Theory of Operator Algebras I, Springer, 1979. DOI record. Relevant: Chapter V on unbounded operators affiliated with von Neumann algebras.