Hello

Il me semble que nous avons là une application quasi directe du cours... Peux tu préciser où ça coince?  En commençant donc par rappeler les 2 conditions nécessaires

bonjour
ô est ECOC si et seulement si: les valeurs propres sont non dégénérées et que les kets propres forment une base orthonormé
ma question est de savoir pour la démonstration du (2) dois je me servir de cette définition pour faire démonstration?  
merci  

1) j'aurais justifié en précisant que:

- le commutateur [O,O] est nul
- les valeurs propres étant non générées , la base propre est unique

(avoir en tête que "physiquement, l'observable forme un ECOC à lui tout seul signifie que la mesure de la grandeur physique correspondant à O détermine sans ambiguïté l'état du système. Ce qui n'est évidemment pas le cas si à une valeur propre va correspondre plusieurs états propres)

2) Tu n'as pas besoin de conclusion de 1) pour mener la démonstration. Il me semble judicieux de considérer un état quelconque exprimé dans la base des états propres et de lui appliquer l'opérateur.

merci pour votre aide
ca marche