Сейчас я изучаю квантовую механику с Либоффом. В книге речь идет о «конкурирующем наборе взаимно совместимых наблюдаемых», чтобы сделать состояние максимально информативным. Как найти такой набор? Это кажется очень сложным, если только отношение коммутации не является отношением эквивалентности . Является ли отношение коммутации отношением эквивалентности? То есть, если являются эрмитовыми операторами, то подразумевать ?
Коммутация не является отношением эквивалентности. Все компоненты углового момента коммутируют с но они не коммутируют друг с другом.
Как найти полный набор взаимно коммутирующих наблюдаемых — сложная проблема, и я не думаю, что вы сможете дать алгоритмический ответ. Очень многое зависит от конкретной проблемы. Наблюдаемая, которая коммутирует с гамильтонианом, сохраняется, это может быть хорошей отправной точкой. Например, угловой момент сохраняется, когда гамильтониан осесимметричен.
Нет! Приведу контрпример:
Рассмотрим эрмитовы операторы (тождественный оператор), (импульс) и (позиция) в 1D.
Теперь тривиальные коммутационные соотношения и не подразумевает так как правильное отношение .
Как все указывают, коммутация не является сокращением для эквивалентности, поскольку, учитывая ваши отношения, тождество Якоби , [A,[B,C]]+[C,[A,B]]+[B,[C,A] ] = 0 диктует, что когда первые два члена равны нулю, третий тоже должен, так что B должен коммутировать с [C, A], не обращаясь в нуль, как неоднократно отмечалось.
Тем не менее, коммутаторы алгебры Ли параметризуют сопряженность, т. е. , поэтому наблюдаемая коммутация со всем сводится к своему собственному классу сопряженности.
Коммутация становится транзитивной и, следовательно, отношением эквивалентности (рефлексивное и симметричное тривиальны), когда вы накладываете дополнительное условие: невырожденность .
Если , , являются эрмитовыми операторами, и каждый из них имеет только уникальные собственные значения, то подразумевает .
Доказательство: для невырожденного оператора собственный базис определен корректно, поэтому, если и совместно использовать собственный базис (как это делают коммутирующие операторы), и и делиться , затем , и это общий собственный базис и . Поэтому, и добираться.