Mots clés : C*-algèbres, théorème de Gleason, A. Khelif.
Un exemple (un peu spécial) : M2(C)
(voir les références au bas de cette page)
Verbatim
En gros, le théorème de Kochen-Specker dit qu'il n'existe pas de variables cachées locales.
Jan Hamhalter, Isomorphisms of ordered structures of abelian C*-subalgebras of C*-algebras, Journal of Mathematical Analysis and Applications, 2011 (voir aussi les diapos ici)
P.Burmeister, M.Maczynski. Orthomodular (partial) algebras and their representations. Demonstratio Mathematica 27, 1994, pp. 701-722.
Piron, C., 1964, “Axiomatique Quantique”, Helvetica Physica Acta, 37: 439–468.
***
: