Théorème de Gleason

Résultat mathématique qui caractérise toutes les mesures de probabilité sur le treillis des opérateurs projecteurs d'un espace de Hilbert séparable de dimension au moins trois : toute mesure donnant des nombres non négatifs aux projecteurs et additive sur des projecteurs mutuellement orthogonaux provient d'un opérateur densité via la règle de Born.