作用素環
作用素がなす環を研究する
関数解析学を使う