Da können wir gut zusammentreffen. Ich hab inzwischen weitergelesen und mich graduell von den Vorzügen der C*-Darstellung überzeugen lassen. Als erstes fiel mir auf, dass meine allgemeine Lieblingsdefinition von "Zustand" ja genau diesen Weg weist: "Zustand beinhaltet die Information, die mindestens gebraucht wird, um alle für ein System zu erwartenden Messergebnisse vorherzusagen." Die aktuelle Darstellung ist allerdings mehr als lückenhaft und erfüllt daher nicht die Anforderungen an eine Definition, wie sie zu Beginn des Artikels erwartet werden darf. Imho fehlt zB mindestens der Hinweis auf nicht-abelsche Algebra, um das von der klassischen Mechanik abzugrenzen. Un ganz formal: das x in ψ ( A A* ) ≥ 0 ∀ x ∈ A sollte wohl ein A sein? -- Bleckneuhaus 14:53, 25. Apr. 2019 (CEST)