Commutation theorem for traces: Difference between revisions

Revision as of 08:28, 5 January 2022

Revision as of 08:31, 5 January 2022

Line 20:

for ''a'' in ''M'' defines a conjugate-linear isometry of ''H'' with square the identity, ''J''² = ''I''. The operator ''J'' is usually called the '''modular conjugation operator'''.

It is immediately verified that ''JMJ'' and ''M'' commute on the subspace ''M'' Ω, so that<ref>{{harvnb|Bratteli|Robinson|1981|pages=81–82}}</ref>

:<math>JMJ\subseteq M^\prime.</math>