Я проверил много книг, и все они утверждают, что оператор обращения времени является антилинейным . Но зачем нам нужно, чтобы он был антилинейным? Объясните, пожалуйста, где на самом деле возникает такая необходимость.
Алгебра Пуанкаре подразумевает
Теперь предположим является линейным оператором, то . Это подразумевает, что если является собственным состоянием гамильтониана с энергией , затем имеет энергию . Отсюда следует, что гамильтониан не ограничен снизу, что нежелательно для унитарной теории. Таким образом, должен быть антилинейным.
Один аргумент основан на сохранении CCR
Позволять быть обратимым -линейный оператор с обычными свойствами обращения времени :
Затем
то есть антилинейный _