Đại số Lie

Trong toán học, đại số Lie là một không gian g {\displaystyle {\displaystyle {\mathfrak {g}}}} cùng với một toán tử không liên hợp gọi là dấu ngoặc Lie, một song ánh xen kẽ g × g → g ,   ( x , y ) ↦ [ x , y ] {\displaystyle {\displaystyle {\mathfrak {g}}\times {\mathfrak {g}}\rightarrow {\mathfrak {g}},\ (x,y)\mapsto [x,y]}} thỏa mãn phép đồng nhất Jacobi. Đại số Lie liên quan mật thiết đến nhóm Lie, một nhóm có những đa tạp mềm mại. Ngược lại, đại số Lie hữu hạn chiều qua tập số thực hoặc phức, luôn có một nhóm Lie tương ứng liên kết với nó. Sự tương ứng này cho phép nghiên cứu cấu trúc và phân lớp nhóm Lie theo đại số Lie. Trong vật lý, nhóm Lie xuất hiện như là một nhóm đối xứng của hệ vật lý, và đại số Lie của chúng (vector tiếp tuyến gần đồng nhất) có thể coi như là một chuyển động đối xứng vô cùng nhỏ. Do đó đại số Lie và các phép biểu diễn được sử dụng rất chuyên sâu trong vật lý, đặc biệt là trong cơ học lượng tử và vật lý hạt cơ bản. Một ví dụ cụ thể là trong không gian vector 3 chiều g = R 3 {\displaystyle {\displaystyle {\mathfrak {g}}=\mathbb {R} ^{3}}} với dấu ngoặc Lie được định nghĩa là cross product [ x , y ] = x × y . {\displaystyle {\displaystyle [x,y]=x\times y.}} Đây là đối xứng nghiêng x × y = − y × x {\displaystyle {\displaystyle x\times y=-y\times x}} , và thay vì tính chất liên hợp, nó thỏa mãn đồng nhất thức Jacobi: x × ( y × z )   =   ( x × y ) × z   +   y × ( x × z ) . {\displaystyle {\displaystyle x\times (y\times z)\ =\ (x\times y)\times z\ +\ y\times (x\times z).}} Đây là đại số Lie của nhóm xoay trong không gian, và mỗi vector v ∈ R 3 {\displaystyle {\displaystyle v\in \mathbb {R} ^{3}}} có thể hình dung như là một phép xoay vô cùng nhỏ xung quanh trục v, với vận tốc bằng với độ lớn của v. Dấu ngoặc Lie là phép đo của sự không giao hoán giữa 2 phép xoay: một phép quay giao hoán với chính nó. ta có tính chất xen kẽ: [ x , x ] = x × x = 0 . {\displaystyle {\displaystyle [x,x]=x\times x=0}.} Đại số Lie là một không gian vector g {\displaystyle {\mathfrak {g}}} qua trường F {\displaystyle {\displaystyle \mathbb {F} }} cùng với một toán tử đôi [ ⋅ , ⋅ ] : g × g → g {\displaystyle {\displaystyle [\,\cdot \,,\cdot \,]:{\mathfrak {g}}\times {\mathfrak {g}}\to {\mathfrak {g}}}} gọi là dấu ngoặc Lie thỏa mãn các tiên đề sau Song tuyến, [ a x + b y , z ] = a [ x , z ] + b [ y , z ] , {\displaystyle {\displaystyle [ax+by,z]=a[x,z]+b[y,z],}} [ z , a x + b y ] = a [ z , x ] + b [ z , y ] {\displaystyle {\displaystyle [z,ax+by]=a[z,x]+b[z,y]}} với mọi đại lượng vô hướng a,b và tất cả các phần tử x,y,z thuộc g {\displaystyle {\displaystyle {\mathfrak {g}}}} . Tính xen kẽ, [ x , x ] = 0 {\displaystyle [x,x]=0} với mọi x thuộc g {\displaystyle {\displaystyle {\mathfrak {g}}}} . Sử dụng tính song tuyến để mở rộng ngoặc Lie và tính xen kẽ, với mọi phần tử x,y ta được phản giao hoán [ x , y ] = − [ y , x ] ,   {\displaystyle {\displaystyle [x,y]=-[y,x],\ }} Cách kí hiệu đại số Lie bằng một kí hiệu fracktur như g , h , b , n {\displaystyle {\displaystyle {\mathfrak {g,h,b,n}}}} là một truyền thống. Nếu đại số Lie liên kết với nhóm Lie thì đại số được kí hiệu bởi phiên vản fracktur của nhóm: vd như đại số Lie của nhóm biến đổi SU(n) là s u ( n ) . {\displaystyle {\mathfrak {su}}(n).} Đại số con và đồng dạng Dấu ngoặc Lie không liên hợp, điều đó có nghĩa là [ [ x , y ] , z ] [ [ x , y ] , z ] {\displaystyle {\displaystyle [[x,y],z]}[[x,y],z]} không tương đương [ x , [ y , z ] ] [ x , [ y , z ] ] {\displaystyle {\displaystyle [x,[y,z]]}[x,[y,z]]} . Một cấu trúc đại số con h ⊆ g {\displaystyle {\displaystyle {\mathfrak {h}}\subseteq {\mathfrak {g}}}} là đóng dưới dấu ngoặc Lie. Cấu trúc đại số con lý tưởng i ⊆ g {\displaystyle {\displaystyle {\mathfrak {i}}\subseteq {\mathfrak {g}}}} là một cấu trúc đại số thỏa mãn điều kiện mạnh hơn: [ g , i ] ⊆ i . {\displaystyle {\displaystyle [{\mathfrak {g}},{\mathfrak {i}}]\subseteq {\mathfrak {i}}.}} Một cấu trúc đại số Lie là đồng hình nếu ánh xạ tuyến tính phù hợp tương ứng với dấu ngoặc Lie: ϕ : g → g ′ , ϕ ( [ x , y ] ) = [ ϕ ( x ) , ϕ ( y ) ]   với   x , y ∈ g . {\displaystyle {\displaystyle \phi :{\mathfrak {g}}\to {\mathfrak {g'}},\quad \phi ([x,y])=[\phi (x),\phi (y)]\ {\text{với}}\ x,y\in {\mathfrak {g}}.}} Beltiţă, Daniel (2006). Smooth Homogeneous Structures in Operator Theory. Chapman & Hall/CRC Monographs and Surveys in Pure and Applied Mathematics. 137. Boca Raton, FL: Chapman & Hall/CRC Press. ISBN 978-1-4200-3480-6. MR 2188389. Boza, Luis; Fedriani, Eugenio M.; Núñez, Juan (ngày 1 tháng 6 năm 2001). “A new method for classifying complex filiform Lie algebras”. Applied Mathematics and Computation. 121 (2–3): 169–175. doi:10.1016/s0096-3003(99)00270-2. ISSN 0096-3003. Bourbaki, Nicolas (1989). Lie Groups and Lie Algebras: Chapters 1-3. Berlin·Heidelberg·New York: Springer. ISBN 978-3-540-64242-8. Erdmann, Karin & Wildon, Mark. Introduction to Lie Algebras, 1st edition, Springer, 2006. ISBN 1-84628-040-0 Hall, Brian C. (2015). Lie groups, Lie algebras, and Representations: An Elementary Introduction. Graduate Texts in Mathematics. 222 (ấn bản 2). Springer. doi:10.1007/978-3-319-13467-3. ISBN 978-3319134666. ISSN 0072-5285. Hofmann, Karl H.; Morris, Sidney A (2007). The Lie Theory of Connected Pro-Lie Groups. European Mathematical Society. ISBN 978-3-03719-032-6. Humphreys, James E. (1978). Introduction to Lie Algebras and Representation Theory. Graduate Texts in Mathematics. 9 (ấn bản 2). New York: Springer-Verlag. ISBN 978-0-387-90053-7. Jacobson, Nathan (1979) [1962]. Lie algebras. New York: Dover Publications, Inc. ISBN 978-0-486-63832-4. Kac, Victor G.; và đồng nghiệp. Course notes for MIT 18.745: Introduction to Lie Algebras. Lưu trữ bản gốc ngày 20 tháng 4 năm 2010.Quản lý CS1: bot: trạng thái URL ban đầu không rõ (liên kết) Mubarakzyanov, G.M. (1963). “On solvable Lie algebras”. Izv. Vys. Ucheb. Zaved. Matematika. 1 (32): 114–123. O'Connor, J.J; Robertson, E.F. (2000). “Biography of Sophus Lie”. MacTutor History of Mathematics Archive. O'Connor, J.J; Robertson, E.F. (2005). “Biography of Wilhelm Killing”. MacTutor History of Mathematics Archive. Popovych, R.O.; Boyko, V.M.; Nesterenko, M.O.; Lutfullin, M.W.; và đồng nghiệp (2003). “Realizations of real low-dimensional Lie algebras”. J. Phys. A: Math. Gen. 36 (26): 7337–7360. arXiv:math-ph/0301029. doi:10.1088/0305-4470/36/26/309. Serre, Jean-Pierre (2006). Lie Algebras and Lie Groups (ấn bản 2). Springer. ISBN 978-3-540-55008-2. Steeb, Willi-Hans (2007). Continuous Symmetries, Lie Algebras, Differential Equations and Computer Algebra . Hackensack, NJ: World Scientific. doi:10.1142/6515. ISBN 978-981-270-809-0. MR 2382250. Varadarajan, Veeravalli S. (2004). Lie Groups, Lie Algebras, and Their Representations (ấn bản 1). Springer. ISBN 978-0-387-90969-1. Hazewinkel, Michiel biên tập (2001), “Lie algebra”, Bách khoa toàn thư Toán học, Springer, ISBN 978-1-55608-010-4 McKenzie, Douglas, (2015), "An Elementary Introduction to Lie Algebras for Physicists"