Trong mục này ta khảo sát chi tiết nhóm SO(3) các phép quay không gian Euclide thực ba chiều, vì đây là nhóm đối xứng rất thường gặp trong nhiều lĩnh vực vật lý lượng tử: vật lý nguyên tử, vật lý hạt nhân, vật lý hạt sơ cấp. Ta bắt đầu từ việc nghiên cứu các phép quay của mặt phẳng xOy quanh gốc tọa độ, tạo thành nhóm SO(2). Đó chính là nhóm quay không gian ba chiều quanh trục cố định Oz, một nhóm con của nhóm SO(3). Mỗi phép quay của mặt phẳng xOy được đặc trưng bởi góc quay φ và ký hiệu là O(φ). Thực hiện liên tiếp hai phép quay các góc φ1 và φ2, ta được phép quay góc φ1 + φ2 là tích của hai phép quay nói trên
O(φ1) O(φ2) = O (φ1 + φ2)
Tất cả các phép quay này giao hoán với nhau cho nên SO(2) là nhóm giao hoán. Mọi yếu tố O(φ) của nhóm này đều hoàn toàn được xác định bởi giá trị của thông số φ thay đổi liên tục từ 0 đến 2 . Do đó SO (2) là nhóm liên tục một thông số. Trong phép quay O(φ) các vectơ đơn vị cơ sở i và j chuyển thành vectơ đơn vị mới i’ và j’ liên hệ với i và j bởi các hệ thức (xem hình 1.1)
i ' = i cos φ + j sin φ
j ' = -i sin φ + j cos φ
Hai công thức này có thể viết lại dưới dạng ma trận như sau:
(i ' j ')=(i j )
Vậy ma trận của phép biến đổi O () là
O (φ)=
Dễ dàng thử lại rằng O () là ma trận trực giao
O ()TO () = O ()O ()T = I
có định mức bằng 1,
det O () = 1,
và thỏa mãn điều kiện
O (φ1) O (φ2) = O (φ1 + φ2)
Ma trận O () hoàn toàn xác định phép quay tương ứng. Vì các yếu tố ma trận của nó là các hàm khả vi của cho nên O () là nhóm Lie.
Trong phép quay O ()vectơ r với các thành phần x và y,
r= xi + yj,
chuyển thành vectơ r’ với các thành phần x’ và y’,
r ’ = x i ’ + y j ’.
Mặt khác, vì r ’, i ’, j ’ thu được từ r, i, j sau cùng một phép quay cho nên hệ thức giữa r ’ và i ’, j ’ có dạng giống hệt như hệ thức giữa r và i, j, cụ thể là
r ’ = x i ’ + y j ’
Thay vào đây các biểu thức diễn tả i ’ và j ’ theo ivà j, ta suy ra
x ’ = cos φ x - sin φy
y ’ = sin φx + cos φy
Các công thức này còn được viết dưới dạng ma trận như sau
=
Các phép quay mặt phẳng xOy xung quanh gốc tọa độ O đồng thời cũng là các phép quay của không gian ba chiều quanh trục Oz. Ký hiệu các vectơ đơn vị cơ sở của không gian Euclide ba chiều là i, j, k, phép quay góc φ quanh trục Oz là Cz(φ). Phép quay này chuyển các vectơ đơn vị cơ sở nói trên thành các vectơ đơn vị cơ sở mới sau đây.
i ’ = i cos φ + j sin φ,
j ’ = -i cos φ + j cos φ,
k ’ = k
Do đó ma trận của phép quay Cz(φ) có dạng
Cz(φ)=
Tương tự như vậy, ma trận của các phép quay góc φ quanh các trục Ox và Oy, ký hiệu là Cz(φ) và Cy(φ), có dạng
Cx(φ)=
Cy(φ)=
Xét nhóm quay trong không gian ba chiều SO(3). Mọi phép quay không gian ba chiều quanh gốc tọa độ O đều có thể được thực hiện dưới dạng tổ hợp của ba phép quay liên tiếp sau đây: phép quay góc φ quanh trục Oz chuyển các trục tọa độ Ox và Oy thành Ox’ và Oy’, phép quay góc quanh trục mới Ox’ chuyển các trục mới Oy’ và Ox thành Oy’’ và Oz’’, phép quay góc quanh trục mới Oz’’ (xem hình 1.2). Ba thông số φ, , gọi là ba góc Euler. Ký hiệu phép quay với ba góc Euler.
φ, , là O( , ,φ). Ma trận của phép quay này là tích của ba ma trận tương ứng với các phép quay quanh các trục Oz, Ox’ và Oz’’, cụ thể là
O( , ,φ) = Cz( ) Cx( ) Cz(φ).
Thay vào đây các biểu thức của Cx(φ), Cz( ) và Cx( ), ta thu được
O (, , φ) =
Các góc và φ thay đổi từ 0 đến 2 , còn góc thay đổi từ 0 đến . Nhóm SO(3) là nhóm Lie ba thông số.
Trong đoạn trước ta đã định nghĩa các yếu tố liên hợp. Bây giờ ta hãy chứng minh tính chất liên hợp của hai phép quay cùng một góc quanh hai trục khác nhau.
Mệnh đề . Trong nhóm quay SO(3) hai phép quay cùng một góc quanh hai trục quay khác nhau luôn luôn liên hợp với nhau.
Chứng minh. Ký hiệu các vectơ đơn vị cơ sở i, j, k của hệ tọa độ Descartes là ei, i = 1, 2, 3 và giả sử n và n’ là hai vectơ đơn vị có chung điểm đầu là gốc tọa độ O. Có một phép quay R nào đó chuyển vectơ n thành vectơ n’ và giả sử rằng trong phép quay này các vectơ đơn vị cơ sở ei chuyển thành e. Các phép quay góc φ quanh các trục n và n’ ký hiệu là Cn(φ) và Cn’(φ). Trong hệ tọa độ với các vectơ đơn vị cơ sở e phép quay Cn’(φ) có các yếu tố ma trận giống hệt như các yếu tố má trận của phép quay Cn(φ) trong hệ tọa độ với các vectơ đơn vị cơ sở ei. Nói khác đi, nếu
C n(φ) ei=ej A ji
thì
C n' (φ) ei '=ej ' A ji
Thay
e = R ei
vào hệ thức (4)
Cn’ (φ) R ei = Rej Aji
rồi nhân cả hai vế với R-1 từ bên trái, ta thu được
R-1Cn’ (φ) Rei = ej Aji
So sánh với hệ thức (3), ta suy ra rằng
R-1Cn’ (φ) R = Cn(φ)
hay là
Cn’(φ) = RCn(φ)R-1
Ta còn viết lại hệ thức này như sau
CRn (φ)=RCn (φ)R -1
Vậy CRn (φ) và Cn (φ) là hai yếu tố liên hợp với nhau của nhóm SO(3).
Bây giờ bẳng những lập luận tổng quát chúng ta hãy thiết lập biểu thức của phép quay Cn(φ) một góc vô cùng bé φ quanh trục quay hướng theo vectơ đơn vị n trong phép gần đúng cấp 1 theo φ. Ta hãy đặc trưng phép quay góc φ quanh trục quay hướng theo vectơ n bằng vectơ φ có giá trị bằng φ và hướng theo trục quay,
φ = nφ.
Ma trận Cn (φ) phải quy về ma trận đơn vị I khi đặt φ = 0, cho nên nó có dạng
Cn (φ) = I + X (φ)
Trong đó ma trận X (φ) là đại lượng bé cấp 1 theo φ. Bỏ qua số hạng cấp 2, ta có
Mặt khác
Từ điều kiện ma trận Cn( φ) là ma trận trực giao
suy ra rằng ma trận X (φ) phải là ma trận phản đối xứng
T
Ta thấy rằng trong số chín yếu tố ma trận của X (φ) thì ba yếu tố chéo phải bằng không
sáu yếu tố không nằm trên đường chéo chia thành ba cặp, mỗi cặp gồm hai yếu tố bằng nhau về độ lớn và ngược dấu nhau,
Vậy ma trận X( φ) chỉ chứa ba thông số độc lập. Ta có thể chọn ba thàn phần k, k = 1, 2, 3, của vectơ φ làm ba thông số độc lập này và viết
X( φ) = - i φ S = - i φ k S k
trong đó Sk, k = 1, 2, 3, là ba ma trận phản đối xứng 3 x 3 độc lập tuyến tính với nhau. Ta đưa them đơn vị ảo –i vào công thức vừa viết để cho thuận tiện sau này. Vì các yếu tố ma trậ của X( ) phải là các số thực cho nên các yếu tố ma trận của các ma trận Sk phải là các số ảo.
Từ các biểu thức vừa viết ở trên của Cn (φ) và X (φ) suy ra rằng các phép quay góc vô cùng bé quanh các trục Ox, Oy, và Oz có các ma trận sau đây
Cx (δφ)= I - i δφ S1
Cy (δφ)= I - i δφ S2
Cz (δφ)= I - i δφ S3
Các ma trận Sk, k = 1, 2, 3, gọi là các vi tử của các phép quay quanh ba trục tọa độ. Ta lại cũng đã biết các biểu thức (1a) - (1c) của các phép quay Cx( ), Cy( ), Cz( ) với các góc quay bất kỳ. Dùng các biểu thức này rồi thay bằng vô cùng bé và chỉ giữ lại các số hạng cấp 1 theo , ta suy ra
Cx(δφ)= ,
Cy(δφ)= ,
Cz(δφ)= ,
So sánh các biểu thức này với các công thức biểu diễn các ma trận Cx( ), Cy( ) và Cz( ) qua các vi tử S1, S2, S3 mà ta đã viết ở trên, ta thu được
S1 =
S2 =
S3 =
Dễ thử lại rằng ba ma trận S1, S2, S3 thỏa mãn các hệ thức giao hoán sau đây
= i S3, = i S1, = i S2
hay là dưới dạng thu gọn
= i Sk,
Trong đó là tenxơ hoàn toàn phản đối xứng hạng 3 trong không gian ba chiều, với