Các lý thuyết phổ, III, p. 126
Cho E là một không gian Hilbert phức.
a) Cho n là một số nguyên với n⩾2. Ta ký hiệu I=N×{0,...,n}. Cho (σi)1⩽i⩽n là họ các hoán vị của I được xác định bởi
σi(m,i)=(m−1,i) với m⩾1
σi(0,i)=(0,i−1)
σi(m,i−1)=(m+1,i−1) với m⩾0
σi(m,j)=(m,j) với m⩾0 và j∈/{i,i−1}.
b) Ta ký hiệu (em,i) là cơ sở trực chuẩn chính tắc của ℓ2(I). Cho ui là tự đồng cấu của ℓ2(I) sao cho ui(em,j)=eσi(m,j) với mọi (m,j)∈I. Tự đồng cấu ui là unita.
c) Các phần tử π(ui) giao hoán từng đôi một.
d) Không tồn tại một họ (v1,...,vn) các tự đồng cấu unita của E, giao hoán từng đôi một, sao cho π(vi)=π(ui) với mọi i.
Nothing.
Nothing.