C*環とvon Neumann環の定義は別のところで述べることとする. 可換von Neumann環は, 同型を除いてしかないことが知られている. ここに, は第二可算公理を満たすコンパクトHausdorff空間で, は正測度である. 単位的可換C*環は, 同型を除いてしかないことが知ら…