Content deleted Content added
rv v - no thanks - please stop following my edits |
→Hilbert algebras: more accurate hatnote Tags: Manual revert Reverted |
||
Line 117:
==Hilbert algebras==
{{see also|Tomita–Takesaki theory#Hilbert algebras}}
The theory of Hilbert algebras was introduced by Godement (under the name "unitary algebras"), Segal and Dixmier to formalize the classical method of defining the trace for [[trace class operator]]s starting from [[Hilbert–Schmidt operator]]s.<ref>{{harvnb|Simon|1979}}</ref> Applications in the [[Unitary representation|representation theory of groups]] naturally lead to examples of Hilbert algebras. Every von Neumann algebra endowed with a semifinite trace has a canonical "completed"<ref>Dixmier uses the adjectives ''achevée'' or ''maximale''.</ref> or "full" Hilbert algebra associated with it; and conversely a completed Hilbert algebra of exactly this form can be canonically associated with every Hilbert algebra. The theory of Hilbert algebras can be used to deduce the commutation theorems of Murray and von Neumann; equally well the main results on Hilbert algebras can also be deduced directly from the commutation theorems for traces. The theory of Hilbert algebras was generalised by Takesaki<ref name="Takesaki 2002"/> as a tool for proving commutation theorems for semifinite weights in [[Tomita–Takesaki theory]]; they can be dispensed with when dealing with states.<ref name ="rieffel" /><ref>{{harvnb|Pedersen|1979}}</ref><ref>{{harvnb|Bratteli|Robinson|1987}}</ref>
| |||