Talk:Naimark's problem

From Wikipedia, the free encyclopedia

I think that the statement is incorrect.

N. Weaver and C. Akemann showed that it is consistent that there exists a counterexample.

To show independence, they would have to prove that it is also consistent that there exists no counterexample. As far as I know, this was not done.

Also, while it is true that separable C*-algebras are a special case, one should note that it is an extremely importatnt special case. Some people think that non-separable C*-algebras are quite unimportant. (Of course, B(H) is inseparable, but one should think about it as a von Neumann algebra rather than C*-algebra.)