Bonjour.
Si A est un opérateur, |Psy> fonction propre liée à la valeur prope 0, c'est-à-dire si
A|Psy> = 0 |Psy> = 0(?) (=|0> ?...)
Alors
exp(A) |Psy> = |Psy>. Je ne comprends pas pourquoi.
Je viens de me rendre compte de quelque chose. Je vous détaille d'abord mes calculs : on développe exp(A) en série entière, et on tombe sur
An|Psy>. On ne peut pas l'égaliser à 0, ket nul, puisque exp(A)|Psy> est différent de 0 ket nul.
Merci de m'aider !
-----