Trong toán học, nhóm Heisenberg , được đặt tên theo nhà toán học Werner Heisenberg, là nhóm các ma trận tam giác trên 3 × 3 dưới dạng

dưới phép toán phép nhân ma trận. Các phần tử a, bc có thể được lấy từ bất kỳ vành giao hoán nào có phần tử đơn vị, thường là vành số thực (tạo ra "nhóm Heisenberg liên tục") hoặc vành các số nguyên (tạo ra "nhóm Heisenberg rời rạc").

Nhóm Heisenberg liên tục phát sinh trong việc mô tả các hệ thống cơ lượng tử một chiều, đặc biệt là trong bối cảnh của định lý Stone – von Neumann.

Trường hợp ba chiềuSửa đổi

Tích của hai ma trận Heisenberg 3 x 3 được cho bởi:

 

Dễ thấy rằng bằng việc nhìn vào phần tử ab', nhóm này không phải là nhóm abel.

Phần tử đơn vị của nhóm Heisenberg là ma trận đơn vị còn phần tử nghịch đảo thì được đưa ra bằng

 

Nhóm Heisenberg là nhóm con của nhóm affine 2 chiều Aff(2):   tác động trên   tương ứng với biến đổi affin sau: .

Sau đây là một số ví dụ nổi bật trong trường hợp 3 chiều.

Nhóm Heisenberg liên tụcSửa đổi

Nếu a, b, c, là các số thực (trong vành R) thì ta gọi nhóm đó là nhóm Heisenberg liên tục H3(R).

Nó là nhóm Lie thực lũy linh với chiều bằng 3.

Nhóm Heisenberg rời rạcSửa đổi

 
Một phần của đồ thị Cayley của nhóm Heisenberg rời rạc, với các phần tử sinh x, y, z như trong văn bản. (Màu chỉ để hỗ trợ thị giác.)

Nếu a, b, c, là các số nguyên (trong vành Z) thì ta gọi nhóm đó là nhóm Heisenberg rời rạc H3(Z). Nó là nhóm lũy linh không giao hoán. Nó có hai phần tử sinh sau,

 

và quan hệ

 ,

Với

 

là phần tử sinh tâm của H3. (Lưu ý rằng các nghịch đảo của x, yz thay thế 1 ở trên đường chéo chính bằng −1.)

Theo định lý Bass, nó có độ tăng trưởng cấp 4.

Ta có thể viết bất kỳ phần tử nào bằng cách

 

Nhóm Heisenberg modulo một số nguyên tố lẻ pSửa đổi

Nếu ta lấy a, b, c trong Z/pZ với p là số nguyên tố lẻ, thì ta gọi nhóm đó là nhóm Heisenberg modulo p. Nó là nhóm có cấp p3 với các phần tử sinh x, y và thỏa mãn quan hệ sau:

 

Nhóm Heisenberg modulo 2Sửa đổi

Nhóm Heisenberg modulo 2 có cấp 8 đẳng cấu với nhóm nhị diện D4 (các đối xứng của một hình vuông). Quan sát rằng nếu

 .

Thì

 

 

Các phần tử xy tương ứng với phản xạ (với 45° giữa chúng), trong khi xyyx tương ứng với các phép quay 90 °. Các phản xạ khác là xyxyxy, và quay 180° là xyxy(=yxyx).

Đại số HeisenbergSửa đổi

Đại số Lie   của nhóm Heisenberg   (trên các số thực) được gọi là đại số Heisenberg.[1] Nó được biểu diễn bằng không gian của ma trận vuông kích thước 3×3 dưới dạng[2]

 

với  .

Ba phần tử sau lập thành cơ sở cho  ,

 

Ba phần tử cơ sở này thỏa mãn quan hệ giao hoán,

 .

Tên "nhóm Heisenberg" được lấy cảm hứng từ các quan hệ đó có cùng dạng với các quan hệ giao hoán chính tắc trong cơ học lượng tử.

 

trong đó   là toán tử vị trí,   là toán tử quán tính, và   là hằng số Planck.

Nhóm Heisenberg H có tính chất đặc biệt khác là ánh xạ mũ là song ánh từ đại số Lie   sang nhóm H,[3]

 

Trong lý thuyết trường bảo giácSửa đổi

Trong lý thuyết trường bảo giác, thuật ngữ đại số Heisenberg được dùng để chỉnh dạng tổng quát vô hạn chiều của đại số. Nó được span bởi các phần tử  , cùng các quan hệ giao hoán

 

Khi bị thay đổi tỷ lệ, thì nó trờ thành số bản sao vô hạn và đếm được của đại số trên.

Số chiều cao hơnSửa đổi

Các nhóm Heisenberg tổng quát   có thể định nghĩa cho số chiều cao hơn trong không gian Euclide, và tổng quát hơn trong không gian vectơ symplectic. Thường hợp tổng quát đơn giản nhất là nhóm Heisenberg thực có số chiều  , với bất kỳ  . Bởi là nhóm của các ma trận,   (hoặc   được dùng để chỉ đây là nhóm các ma trận trên trường   của các số thực ) và được định nghĩa là nhóm các ma trận kích thước   có các phần tử thuộc   và ma trận nằm dưới dạng sau:

 

Trong đó

avectơ hàng có độ dài n,
bvectơ cột có độ dài n,
Inma trận đơn vị bậc n.

Cấu trúc nhómSửa đổi

Quả thực đây vẫn là một nhóm, bởi phép toán nhân của nó:

 

và trong nghịch đảo:

 

Đại số LieSửa đổi

Nhóm Heisenberg là nhóm Lie đơn liênđại số Lie chứa các ma trận sau

 

rong đó

avectơ hàng có độ dài n,
bvectơ cột có độ dài n,
0nma trận không bậc n.

Bằng cách đặt e1, ..., en là cơ sở chính tắc của Rn, và đặt

 

Đại số Lie đi cùng có thể được đặc trưng hóa bằng các quan hệ giao hoán chính tắc,

 

 

 

 

 

(1)

trong đó p1, ..., pn, q1, ..., qn, z là các phần tử sinh đại số.

Cụ thể hơn, z là phần tử tâm của đại số Lie Heisenberg. Lưu ý rằng đại số Lie của nhóm Heisenberg có tính lũy linh.

Ánh xạ mũSửa đổi

Đặt

 

khi đó  . Giá trị của ánh xạ mũ qua  

 

Ánh xạ mũ của bất kỳ đại số Lie lũy linh là vi đồng phôi giữa đại số Lie và nhóm Lie đơn liên liên đới duy nhất đơn liên.

Các ý trên (bên cạnh các mệnh đề về số chiều và nhóm Lie) vẫn áp dụng được khi ta thay R bằng bất kỳ vành giao hoán A. Nhóm tương ứng được ký hiệu là Hn(A ).

Dưới giả định thêm số nguyên tố 2 khả nghịch trong vành A, ánh xạ mũ cũng định được được bởi nó rút gọn thành tổng hữu hạn và có dạng như trên (ví dụ chẳng hạn. A có thể là vành Z/p Z với p là số nguyên tố lẻ hoặc bất kỳ trường đặc số không).

Lý thuyết biểu diễnSửa đổi

Lý thuyết biểu diễn của nhóm Heisenberg lúc đầu vẫn còn đơn giản sau – sau được tổng quát hóa bởi lý thuyết Mackey và được giới thiệu trong vật lý lượng tử.

Cho bất kỳ số thực khác không  , ta có thể định nghĩa biểu diễn unita bất khả quy   của   tác động trên không gian Hilbert  bằng công thức:[4]

 

Phép biểu diễn này còn được gọi là biểu diễn Schrödinger. Động cơ thúc đẩy của phép biểu diễn này là tác động của các toán tử vị trítoán tử quán tính được mũ lên trong cơ học lượng tử. Tham số   mô tả các phép tịnh tiến trong không gian vị trí, tham số   mô tả các phép tịnh tiến trong không gian quán tính, còn tham số   thì cho hệ số pha. Hệ số pha được dùng để thu về nhóm các toán tử, bởi phép tịnh tiếp trong không gian vị trí và không gian quán tính không giao hoán với nhau.

Kết quả quan trọng thu về được là định lý Stone–von Neumann, định lý phát biểu rằng mọi biểu diễn unita bất khả quy (liên tục mạnh) của nhóm Heisenberg có tâm tác động không tầm thường thì tương đương với   cho một số  .[5] Hoặc là, chúng đều tương đương với đại số Weyl (hoặc đại số CCR) trên không gian symplectic số chiều 2n.

Chú thíchSửa đổi

  1. ^ Woit, Peter. Topics in Representation Theory: The Heisenberg Algebra (PDF).
  2. ^ Hall 2015 Proposition 3.26
  3. ^ Hall 2015 Chapter 2, Exercise 9
  4. ^ Hall 2013 Proposition 14.7
  5. ^ Hall 2013 Theorem 14.8

Tham khảoSửa đổi

Liên kết ngoàiSửa đổi