Второе квантование: оператор идентификации не коммутирует?

Возьму самый простой пример. Рассмотрим фермонное фоковское пространство Λ * ( С н ) построен из конечномерного ориентированного гильбертова пространства с одной частицей С н с ориентацией

[ ψ 1 , , ψ н ] .
Тождественный оператор в этом фоковском пространстве может быть записан как
1 "=" Дж "=" 1 н с Дж с Дж ,
где с Дж , с Дж создать и уничтожить ψ Дж соответственно. Поэтому, 1 должен коммутировать с любым другим оператором . Однако это не так. Брать с я , например:
[ 1 , с я ] "=" Дж "=" 1 н [ с я , с Дж с Дж ] "=" Дж "=" 1 н ( с я с Дж с Дж с Дж с Дж с я )
                  "=" Дж "=" 1 н ( дельта я Дж с Дж с Дж с я с Дж с Дж с Дж с я ) "=" Дж "=" 1 н дельта я Дж с Дж "=" с я .
Кто-нибудь еще находит это запутанным?

Ответы (1)

Оператор тождества не Дж с Дж с Дж "=" Дж | 1 Дж 1 Дж | скорее

Дж ( | 0 Дж 0 Дж | + | 1 Дж 1 Дж | ) "=" Дж ( с Дж с Дж + с Дж с Дж ) "=" Дж { с Дж , с Дж } .
К счастью { с Дж , с Дж } "=" 1 для фермионных CAP.

Стоит упомянуть, что Н "=" Дж с Дж с Дж — специальный оператор: числовой оператор, собственные значения которого дают общее количество фермионов в системе. Поэтому, очевидно, оно не коммутирует с с Дж , что меняет фермионное число на единицу.