Talk:Tomita–Takesaki theory