Является ли отношение коммутации отношением эквивалентности?

Сейчас я изучаю квантовую механику с Либоффом. В книге речь идет о «конкурирующем наборе взаимно совместимых наблюдаемых», чтобы сделать состояние максимально информативным. Как найти такой набор? Это кажется очень сложным, если только отношение коммутации не является отношением эквивалентности . Является ли отношение коммутации отношением эквивалентности? То есть, если А , Б , С являются эрмитовыми операторами, то А Б "=" Б А , Б С "=" С Б подразумевать А С "=" С А ?

Ответы (4)

Коммутация не является отношением эквивалентности. Все компоненты углового момента коммутируют с Дж 2 но они не коммутируют друг с другом.

Как найти полный набор взаимно коммутирующих наблюдаемых — сложная проблема, и я не думаю, что вы сможете дать алгоритмический ответ. Очень многое зависит от конкретной проблемы. Наблюдаемая, которая коммутирует с гамильтонианом, сохраняется, это может быть хорошей отправной точкой. Например, угловой момент сохраняется, когда гамильтониан осесимметричен.

Нет! Приведу контрпример:

Рассмотрим эрмитовы операторы 1 (тождественный оператор), п (импульс) и Икс (позиция) в 1D.

Теперь тривиальные коммутационные соотношения [ 1 , Икс ] "=" 0 и [ 1 , п ] "=" 0 не подразумевает [ Икс , п ] "=" 0 так как правильное отношение [ Икс , п ] "=" я 0 .

Как все указывают, коммутация не является сокращением для эквивалентности, поскольку, учитывая ваши отношения, тождество Якоби , [A,[B,C]]+[C,[A,B]]+[B,[C,A] ] = 0 диктует, что когда первые два члена равны нулю, третий тоже должен, так что B должен коммутировать с [C, A], не обращаясь в нуль, как неоднократно отмечалось.

Тем не менее, коммутаторы алгебры Ли параметризуют сопряженность, т. е.   А 1 Б А Б "=" А 1 [ Б , А ] , поэтому наблюдаемая коммутация со всем сводится к своему собственному классу сопряженности.

Коммутация становится транзитивной и, следовательно, отношением эквивалентности (рефлексивное и симметричное тривиальны), когда вы накладываете дополнительное условие: невырожденность .

Если А , Б , С являются эрмитовыми операторами, и каждый из них имеет только уникальные собственные значения, то А Б "=" Б А Б С "=" С Б подразумевает А С "=" С А .

Доказательство: для невырожденного оператора собственный базис определен корректно, поэтому, если А и Б совместно использовать собственный базис Е А Б "=" { | Ψ я А Б } (как это делают коммутирующие операторы), и Б и С делиться Е Б С "=" { | Ψ Дж Б С } , затем Е А Б "=" Е Б С , и это общий собственный базис А и С . Поэтому, А и С добираться.


Просто во избежание путаницы: конечно, это не означает, что система вырожденных операторов никогда не коммутирует; например, рассмотрим проекторы на 3 ортогональных состояния | Φ А , | Φ Б , | Φ С , т.е.

А | ψ "=" | Φ А Φ А | ψ
и т.д.. Поскольку состояния ортогональны, А Б "=" Б А "=" А С "=" С А "=" Б С "=" С Б "=" 0 , поэтому операторы тривиально коммутируют, хотя все они имеют вырожденное собственное значение 0.