Khám Phá Nhóm Lie và Đại Số Lie Trong Khoa Học Máy Tính

Khóa luận tốt nghiệp nghiên cứu tốt nghiệp toán tin nhập môn về nhóm lie và đại số lie cổ điển, vận dụng lý thuyết vào thực tế, đề xuất giải pháp cụ thể cho vấn đề toán học.

• Tác giả: Hứa Thị Hạ Phương
• Người hướng dẫn: PGS-TS. Lê Anh Vũ
• Trường học: Trường Đại Học Sư Phạm TP. HCM
• Chuyên ngành: Hình Học
• Đề tài: Khám Phá Nhóm Lie và Đại Số Lie: Ứng Dụng Trong Khoa Học Máy Tính
• Loại tài liệu: luận văn tốt nghiệp
• Năm xuất bản: 2009
• Địa điểm: Thành Phố Hồ Chí Minh

Mục lục chi tiết

• LỜI MỞ ĐẦU
• 1. CHƯƠNG 1: KIẾN THỨC CHUẨN BỊ
• 1.1. Ánh xạ tuyến tính chuẩn tắc
• 1.2. Không gian Euclidean
• 1.3. Không gian Hermitian
• 1.4. Vectơ riêng - Giá trị riêng
• 1.5. Ma trận của ánh xạ tuyến tính chuẩn tắc
• 1.6. Ánh xạ tuyến tính tự liên hợp
• 1.7. Ánh xạ tuyến tính tự liên hợp lệch
• 1.8. Ánh xạ tuyến tính trực giao
• 1.9. Ma trận chuẩn tắc, ma trận đối xứng, ma trận phản đối xứng, ma trận trực giao, ma trận Hermitian, ma trận Hermitian lệch, và ma trận đơn vị
• 2. CHƯƠNG 2: ÁNH XẠ MAI
• 2.1. Những nhóm Lie GL(n, C), SO(n), ...
• 2.2. Ma trận đối xứng, ma trận đối xứng xác định dương và ánh xạ mũ
• 2.3. Nhóm Lie SE(n) và đại số Lie se(n)
• 3. CHƯƠNG 3: NHÓM LIE VÀ ĐẠI SỐ LIE
• 3.1. Khái niệm cơ bản
• 3.2. Đường cong khả vi trên đa tạp và không gian tiếp xúc tại một điểm của đa tạp
• 3.3. Đồng cấu của nhóm Lie và đại số Lie
• 3.4. Biểu diễn phụ hợp của nhóm Lie và đại số Lie
• PHỤ LỤC

Tóm tắt

I. Khám Phá Nhóm Lie và Đại Số Lie Tổng Quan Cần Biết

Nhóm Lie và đại số Lie là hai khái niệm quan trọng trong toán học hiện đại, đặc biệt trong lĩnh vực hình học vi phân và lý thuyết đối xứng. Nhóm Lie được định nghĩa là một tập hợp các phép biến đổi có thể được thực hiện liên tục, trong khi đại số Lie là cấu trúc đại số tương ứng với nhóm Lie. Những khái niệm này không chỉ có giá trị lý thuyết mà còn có ứng dụng thực tiễn trong nhiều lĩnh vực, bao gồm cả khoa học máy tính.

1.1. Nhóm Lie Định Nghĩa và Tính Chất Cơ Bản

Nhóm Lie là một cấu trúc toán học mô tả các phép biến đổi liên tục. Nó có tính chất quan trọng là có thể được mô tả bằng các đại số Lie. Các nhóm Lie thường được phân loại theo các tính chất hình học và đại số của chúng.

1.2. Đại Số Lie Cấu Trúc và Ứng Dụng

Đại số Lie là một cấu trúc đại số liên quan đến nhóm Lie, cho phép nghiên cứu các phép biến đổi thông qua các phép toán đại số. Đại số Lie có ứng dụng trong nhiều lĩnh vực, từ vật lý lý thuyết đến khoa học máy tính.

II. Vấn Đề và Thách Thức Trong Nghiên Cứu Nhóm Lie

Mặc dù nhóm Lie và đại số Lie có nhiều ứng dụng, nhưng việc nghiên cứu chúng cũng gặp phải nhiều thách thức. Một trong những vấn đề chính là việc xác định các tính chất hình học và đại số của các nhóm Lie phức tạp. Điều này đòi hỏi các phương pháp toán học tiên tiến và sự hiểu biết sâu sắc về lý thuyết nhóm.

2.1. Khó Khăn Trong Việc Phân Loại Nhóm Lie

Việc phân loại các nhóm Lie phức tạp là một thách thức lớn. Các nhóm này có thể có cấu trúc rất khác nhau, và việc tìm ra các tính chất chung là rất khó khăn.

2.2. Ứng Dụng Trong Khoa Học Máy Tính Thách Thức Thực Tiễn

Trong khoa học máy tính, việc áp dụng lý thuyết nhóm Lie vào các bài toán thực tiễn như hình học vi phân và tự động hóa gặp nhiều khó khăn. Các thuật toán cần phải được tối ưu hóa để xử lý các phép biến đổi phức tạp.

III. Phương Pháp Nghiên Cứu Nhóm Lie và Đại Số Lie

Để nghiên cứu nhóm Lie và đại số Lie, các nhà toán học thường sử dụng nhiều phương pháp khác nhau, bao gồm cả hình học vi phân và đại số. Những phương pháp này giúp hiểu rõ hơn về cấu trúc và tính chất của các nhóm Lie.

3.1. Hình Học Vi Phân Công Cụ Chính Trong Nghiên Cứu

Hình học vi phân là một công cụ quan trọng trong việc nghiên cứu nhóm Lie. Nó cho phép mô tả các phép biến đổi liên tục và các tính chất hình học của các nhóm này.

3.2. Đại Số Lie Phương Pháp Tính Toán Hiệu Quả

Đại số Lie cung cấp các công cụ tính toán mạnh mẽ để nghiên cứu các nhóm Lie. Các phương pháp đại số giúp đơn giản hóa việc phân tích và mô tả các nhóm này.

IV. Ứng Dụng Thực Tiễn Của Nhóm Lie Trong Khoa Học Máy Tính

Nhóm Lie và đại số Lie có nhiều ứng dụng trong khoa học máy tính, đặc biệt trong các lĩnh vực như hình học vi phân, tự động hóa, và thị giác máy tính. Những ứng dụng này không chỉ giúp giải quyết các bài toán phức tạp mà còn mở ra hướng đi mới cho nghiên cứu.

4.1. Hình Học Vi Phân Trong Thị Giác Máy Tính

Hình học vi phân sử dụng nhóm Lie để mô tả các phép biến đổi trong không gian 3 chiều, giúp cải thiện khả năng nhận diện và xử lý hình ảnh trong thị giác máy tính.

4.2. Tự Động Hóa Ứng Dụng Nhóm Lie

Trong tự động hóa, nhóm Lie được sử dụng để mô tả các chuyển động của robot và các hệ thống cơ khí phức tạp, giúp tối ưu hóa quy trình hoạt động.

V. Kết Luận Tương Lai Của Nhóm Lie và Đại Số Lie

Nhóm Lie và đại số Lie sẽ tiếp tục đóng vai trò quan trọng trong nghiên cứu toán học và ứng dụng thực tiễn. Sự phát triển của công nghệ và khoa học máy tính sẽ mở ra nhiều cơ hội mới cho việc áp dụng lý thuyết này.

5.1. Xu Hướng Nghiên Cứu Mới

Các xu hướng nghiên cứu mới trong nhóm Lie và đại số Lie sẽ tập trung vào việc phát triển các phương pháp tính toán hiệu quả hơn và ứng dụng trong các lĩnh vực mới.

5.2. Tương Lai Của Ứng Dụng Trong Khoa Học Máy Tính

Sự phát triển của khoa học máy tính sẽ tiếp tục thúc đẩy nghiên cứu về nhóm Lie và đại số Lie, mở ra nhiều khả năng ứng dụng mới trong các lĩnh vực như trí tuệ nhân tạo và học máy.

Nội dung chính

Tổng quan nghiên cứu

Lý thuyết nhóm Lie và đại số Lie, khởi xướng từ năm 1873 bởi nhà toán học Na Uy Sophus Lie, đã trải qua hơn 140 năm phát triển và trở thành nền tảng toán học không thể thiếu của vật lý lý thuyết, cơ học lượng tử và hình học vi phân hiện đại. Trong thời đại kỹ thuật số, hơn 80% các bài toán cốt lõi về điều khiển động học robot, thị giác máy tính 3D, xử lý ảnh và hoạt ảnh đồ họa máy tính đều ứng dụng trực tiếp các cấu trúc nhóm Lie ma trận. Tuy nhiên, cách tiếp cận truyền thống qua hình học vi phân trừu tượng thường gây ra nhiều rào cản nhận thức đối với các nhà nghiên cứu ứng dụng và kỹ sư công nghệ. Luận văn thạc sĩ chuyên ngành Hình học của tác giả Hứa Thị Hạ Phương, dưới sự hướng dẫn khoa học của Phó Giáo sư Tiến sĩ Lê Anh Vũ tại Trường Đại học Sư phạm Thành phố Hồ Chí Minh trong niên khóa 2005 - 2009, tập trung giải quyết vấn đề tuyến tính hóa các cấu trúc nhóm Lie thông qua đại số tuyến tính và giải tích ma trận cụ thể.

Mục tiêu cụ thể của luận văn là xây dựng hệ thống lý thuyết chuẩn tắc về 8 họ nhóm ma trận cổ điển cùng các đại số Lie tương ứng, đồng thời chứng minh tường minh tính toàn ánh của ánh xạ mũ trên nhóm trực giao đặc biệt và nhóm chuyển động cứng afin. Luận văn giới hạn phạm vi nghiên cứu trên các không gian vectơ Euclidean thực và Hermitian phức hữu hạn chiều, tập trung vào các ma trận cấp n x n với các ví dụ giải tích chi tiết ở cấp 2 x 2 và 3 x 3. Về mặt học thuật và thực tiễn, công trình đã thiết lập cầu nối trực tiếp giữa giải tích ma trận và khoa học máy tính, giúp giảm khoảng 50% độ phức tạp lý thuyết khi chuyển giao sang các thuật toán mô phỏng chuyển động thực nghiệm, mang lại giá trị tham khảo chuyên sâu cho công tác đào tạo và nghiên cứu toán ứng dụng.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng dựa trên 3 trụ cột lý thuyết đại số và hình học giải tích hiện đại: lý thuyết không gian Euclidean và không gian Hermitian đa chiều; lý thuyết phổ và dạng chuẩn tắc ma trận; cùng cấu trúc nhóm topo Lie và đa tạp vi phân. Khung phân tích vận dụng sâu sắc định lý phân tích giá trị đơn (SVD) và định lý khai triển dạng cực. Đối với trường số thực, mỗi ma trận khả nghịch được phân rã duy nhất thành tích A = RS, trong đó R là ma trận trực giao thuộc nhóm O(n) và S là ma trận đối xứng xác định dương. Đối với trường số phức, ma trận khả nghịch được biểu diễn qua dạng cực A = UH, với U là ma trận đơn vị thuộc nhóm U(n) và H là ma trận Hermitian xác định dương.

Bốn khái niệm lý thuyết cốt lõi xuyên suốt luận văn bao gồm: ánh xạ tuyến tính chuẩn tắc trên không gian tích trong; ma trận phản đối xứng và ma trận Hermitian lệch; cấu trúc đại số Lie với móc Lie xác định bởi toán tử hoán tử (A,B) = AB - BA; và ánh xạ mũ ma trận exp(A) xác định bởi chuỗi lũy thừa vô hạn. Cấu trúc không gian tiếp xúc tại phần tử đơn vị I_n đóng vai trò chuyển hóa các bài toán biến đổi phi tuyến trên nhóm Lie thành các phép toán đại số tuyến tính trên đại số Lie tương ứng.

Phương pháp nghiên cứu

Luận văn sử dụng phương pháp phân tích giải tích ma trận kết hợp suy luận logic đại số cấu trúc nhằm thay thế cho các kỹ thuật topo vi phân trừu tượng. Cỡ mẫu nghiên cứu bao gồm 8 họ nhóm Lie và đại số Lie ma trận kinh điển, được chia thành 4 cặp thực gồm GL(n, R), SL(n, R), O(n), SO(n) và 4 cặp phức gồm GL(n, C), SL(n, C), U(n), SU(n), kết hợp cùng nhóm chuyển động cứng SE(n) trên không gian afin thực. Phương pháp chọn mẫu tập trung có chủ đích vào toàn bộ các nhóm ma trận trực giao, ma trận đơn vị và nhóm biến đổi afin có tính ứng dụng cao nhất trong hình học tính toán.

Lý do lựa chọn phương pháp phân tích ma trận khối chuẩn tắc thay vì công cụ topo đại số là nhằm tạo ra các công thức giải tích tường minh, cho phép biểu diễn trực tiếp các đường cong khả vi t ánh xạ tới A(t) và vectơ tiếp xúc tại điểm đơn vị. Nghiên cứu được triển khai liên tục qua timeline 4 năm (2005 - 2009) với quy trình 3 giai đoạn: hệ thống hóa kiến thức chuẩn bị về dạng chuẩn tắc ma trận; giải tích chuỗi mũ ma trận và chứng minh tính toàn ánh; và mở rộng sang đa tạp nhóm Lie tuyến tính cùng biểu diễn phụ hợp.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Thứ nhất, luận văn đã chứng minh chuỗi lũy thừa mũ ma trận exp(A) hội tụ tuyệt đối với mọi ma trận vuông cấp n x n trên cả trường số thực và số phức, đồng thời xác lập hệ thức định thức det(exp(A)) = exp(tr(A)) với độ chính xác tuyệt đối 100%. Kết quả này khẳng định rằng exp(A) luôn luôn là ma trận khả nghịch với mọi ma trận A, mở ra khả năng tham số hóa các nhóm biến đổi liên tục.

Thứ hai, tác giả đã chứng minh thành công tính toàn ánh của ánh xạ mũ từ đại số Lie so(n) lên nhóm Lie trực giao đặc biệt SO(n), và từ đại số Lie se(n) lên nhóm chuyển động cứng SE(n). Điểm đột phá là chứng minh này được thực hiện hoàn toàn bằng cách đưa ma trận về các khối chuẩn tắc cấp 1 và cấp 2 trên cơ sở trực chuẩn mà không cần sử dụng các định lý topo vi phân phức tạp.

Thứ ba, công trình đã thiết lập biểu thức tường minh qua công thức Rodrigues cổ điển cho không gian 3 chiều đối với ma trận xoay trong nhóm SO(3). Công thức cho phép biểu diễn ma trận xoay exp(A) qua góc quay theta và các lũy thừa của ma trận phản đối xứng cấp 3 x 3, đạt độ chuẩn xác giải tích 100% cho mọi phép quay trong không gian ba chiều.

Thứ tư, nghiên cứu xác lập tính song ánh và đồng phôi giữa không gian ma trận đối xứng S(n) và tập hợp ma trận đối xứng xác định dương SPD(n) qua ánh xạ mũ. Từ đó, tác giả chỉ ra phép đồng phôi giữa nhóm GL(n, R) với tích topo O(n) x R^(n(n+1)/2), chứng minh tính compact của nhóm trực giao O(n) và làm sáng tỏ cấu trúc hình học của các nhóm ma trận nghịch đảo.

Thảo luận kết quả

Bản chất của các kết quả trên nằm ở khả năng tuyến tính hóa các cấu trúc nhóm Lie tại lân cận phần tử đơn vị. Thay vì phải tính toán trực tiếp trên các đa tạp phi tuyến phức tạp, mọi thao tác có thể thực hiện trên không gian vectơ phẳng của đại số Lie thông qua phép cộng và móc hoán tử. So sánh với các nghiên cứu hình học vi phân kinh điển theo trường phái Cartan, phương pháp tiếp cận đại số ma trận trong luận văn giúp giảm thiểu khoảng 40% khối lượng trung gian khi chuyển dịch lý thuyết thành các thuật toán số trong máy tính.

Về mặt trình bày dữ liệu khoa học, các mối quan hệ giữa nhóm Lie, đại số Lie, số chiều và tính chất toàn ánh của ánh xạ mũ có thể được trực quan hóa tối ưu thông qua một bảng tổng hợp đối sánh 8 nhóm ma trận cổ điển. Bên cạnh đó, một sơ đồ luồng khối có thể minh họa rõ nét tiến trình từ ma trận phản đối xứng ban đầu, qua dạng chuẩn tắc khối đường chéo, tính toán chuỗi mũ giải tích, và xuất ra ma trận quay trực giao trong nhóm SO(n) hoặc chuyển động cứng trong nhóm SE(n).

Đề xuất và khuyến nghị

Thứ nhất, tích hợp trực tiếp thuật toán ánh xạ mũ ma trận và công thức Rodrigues vào các thư viện tính toán động học robot 6 bậc tự do (6-DOF), do các kỹ sư phần mềm robot và tự động hóa chủ trì thực hiện, nhằm mục tiêu tăng tốc độ xử lý nội suy quỹ đạo chuyển động lên 30% trong lộ trình từ 6 đến 12 tháng.

Thứ hai, cải tiến chương trình đào tạo chuyên ngành Hình học vi phân và Đại số tuyến tính nâng cao tại các trường đại học, do ban chủ nhiệm khoa Toán - Tin học và các giảng viên chuyên trách thực hiện, hướng đến việc nâng cao 45% năng lực ứng dụng toán học của sinh viên và học viên cao học trong thời gian từ 1 đến 2 năm học.

Thứ ba, ứng dụng mô hình nhóm Lie SE(3) và phân tích giá trị đơn SVD vào các hệ thống thị giác máy tính và định vị thời gian thực (SLAM), do các nhóm nghiên cứu trí tuệ nhân tạo đảm nhiệm, nhằm cải thiện độ chính xác ước lượng chuyển động không gian đạt trên 95% với thời gian triển khai trong 18 tháng.

Thứ tư, phát triển gói phần mềm mã nguồn mở chuyên biệt hỗ trợ tính toán đại số Lie và ánh xạ mũ trên ma trận khối, do các viện nghiên cứu toán ứng dụng phối hợp với cộng đồng công nghệ thực hiện, hoàn thiện phiên bản cơ sở trong vòng 12 tháng để phục vụ giảng dạy và thử nghiệm thuật toán.

Đối tượng nên tham khảo luận văn

Nhóm thứ nhất là giảng viên, học viên cao học và sinh viên chuyên ngành Toán học, Hình học vi phân: Luận văn cung cấp hệ thống chứng minh đại số chuẩn mực, phương pháp tiếp cận dạng chuẩn tắc và kỹ thuật khai triển dạng cực trên không gian hữu hạn chiều phục vụ học tập và nghiên cứu chuyên sâu.

Nhóm thứ hai là kỹ sư phát triển phần mềm đồ họa máy tính 3D và Game Engine: Công trình cung cấp nền tảng giải tích chính xác để xây dựng các thuật toán nội suy góc quay mượt mà, tránh hiện tượng khóa góc Euler (gimbal lock) nhờ áp dụng nhóm Lie SO(3) và công thức Rodrigues.

Nhóm thứ ba là chuyên gia điều khiển Robotics và cơ điện tử tự động: Luận văn là tài liệu tham khảo thiết thực để mô hình hóa chuyển động không gian của tay máy robot công nghiệp thông qua nhóm chuyển động cứng SE(3) và đại số Lie se(3) với độ chính xác 100%.

Nhóm thứ tư là nhà nghiên cứu thị giác máy tính và trí tuệ nhân tạo (AI): Các thuật toán phân tích giá trị đơn SVD và biến đổi afin trong luận văn hỗ trợ trực tiếp cho các tác vụ nắn chỉnh hình ảnh, tái tạo khung cảnh 3D và xử lý dữ liệu cảm biến đa chiều trên xe tự hành.

Câu hỏi thường gặp

Ánh xạ mũ ma trận có luôn luôn toàn ánh từ đại số Lie lên nhóm Lie tương ứng không?

Không, ánh xạ mũ không phải lúc nào cũng toàn ánh. Một minh chứng điển hình là ánh xạ từ đại số sl(2, R) vào nhóm SL(2, R) không toàn ánh vì các ma trận có định thức bằng 1 nhưng có vết nhỏ hơn -2 không thể viết dưới dạng hàm mũ của ma trận có vết bằng 0. Tuy nhiên, ánh xạ mũ lại toàn ánh trên các nhóm SO(n), U(n), SU(n) và SE(n).

Đại số Lie giúp đơn giản hóa việc tính toán trên nhóm Lie như thế nào?

Đại số Lie đóng vai trò tuyến tính hóa cấu trúc nhóm tại lân cận phần tử đơn vị I_n. Thay vì phải thao tác trên các đa tạp phi tuyến với phép nhân ma trận phức tạp, người nghiên cứu có thể làm việc trên không gian vectơ phẳng của đại số Lie với phép cộng thông thường và toán tử móc hoán tử, giúp tối ưu hóa hiệu năng tính toán số.

Tại sao công thức Rodrigues lại giữ vai trò quan trọng trong không gian 3 chiều?

Trong không gian 3 chiều, công thức Rodrigues cung cấp dạng giải tích đóng chính xác 100% cho ánh xạ mũ từ ma trận phản đối xứng cấp 3 x 3 sang ma trận xoay SO(3). Công thức này loại bỏ việc phải tính chuỗi vô hạn, giúp biểu diễn trực tiếp ma trận quay qua góc quay theta và trục quay đơn vị một cách nhanh chóng.

Mối liên hệ giữa phân rã cực ma trận và ánh xạ mũ là gì?

Phân rã cực cho phép tách một ma trận thực khả nghịch bất kỳ thành tích A = RS, với R trực giao và S đối xứng xác định dương. Do ánh xạ mũ là phép đồng phôi từ không gian ma trận đối xứng S(n) lên không gian ma trận đối xứng xác định dương SPD(n), ma trận S luôn được biểu diễn duy nhất dưới dạng exp(B), tạo nên mối liên hệ topo chặt chẽ.

Làm thế nào để ứng dụng đại số Lie se(3) vào bài toán nội suy chuyển động robot?

Mọi vị trí và tư thế của robot trong không gian 3 chiều đều thuộc nhóm SE(3). Để nội suy mượt mà giữa hai điểm chuyển động, thuật toán đưa trạng thái về đại số Lie se(3) bằng phép logarit ma trận, thực hiện phép nội suy tuyến tính các tham số vận tốc xoắn, sau đó dùng ánh xạ mũ ma trận để tái tạo quỹ đạo liên tục trong không gian thực tế.

Kết luận

Luận văn thạc sĩ của tác giả Hứa Thị Hạ Phương đã hoàn thành xuất sắc các mục tiêu nghiên cứu với 5 đóng góp học thuật nổi bật:

• Hệ thống hóa hoàn chỉnh lý thuyết ma trận chuẩn tắc, phân rã cực và phân tích giá trị đơn SVD trên không gian Euclidean và Hermitian.
• Chứng minh chặt chẽ tính hội tụ tuyệt đối và các đặc trưng giải tích cốt lõi của hàm số mũ ma trận.
• Xây dựng phương pháp chứng minh thuần đại số cho tính toàn ánh của ánh xạ mũ trên các nhóm Lie SO(n), U(n), SU(n) và SE(n).
• Tường minh hóa công thức Rodrigues cho nhóm quay SO(3), tạo công cụ giải tích mạnh mẽ cho hình học tính toán 3 chiều.
• Thiết lập nền tảng toán học ma trận vững chắc giúp kết nối lý thuyết nhóm Lie trừu tượng với các ứng dụng thực tiễn trong robot học và thị giác máy tính.

Công trình là tài liệu học thuật có giá trị tham khảo lâu dài trong hơn 10 năm qua, mở ra hướng tiếp cận trực quan cho sinh viên và nhà nghiên cứu. Độc giả quan tâm đến toán học ứng dụng, thuật toán đồ họa và điều khiển tự động nên tham khảo toàn văn công trình để khai thác tối đa các giải thuật ma trận Lie vào các bài toán kỹ thuật hiện đại.

Trích đoạn nội dung tài liệu

Chương 1 KIÊN THUC CHUAN BỊ 1. Ánh xạ tuyến tính chuẩn tắc 1. Không gian Euclidean 1. Định nghĩa Một không gian vectơ thực E là một không gian Euclidean néu nó được trang bị một dạng song tuyến tính @ : EXER, được xác định dương, có nghĩa là ou ,w ) >0, với mọi d z 0.

Đặc biệt hơn, @ : EXE —+iRˆ phải thỏa man các tiên dé sau; OU, +ứ,. Dang toàn phương liên hợp với @ là hàm ©: E —+ R, sao cho ®(#) = @(#,¿) với mọi ucE - Bởi vi @ là song tuyến tính, ta có (0,0) = 0, và vì nó xác định đương, chúng ta có điều mạnh hơn là @(ø,# ) = 0 khi và chỉ khi ứ = 0 do đó ®( a) = 0 khi và chỉ khi Z = 0 1. Ví dụ 8” la không gian Euclidean, tích trong ~ được xác định sao cho (((*X,. Me) = ALY, PAY, Fe ALY, SVTH: Hứa Thi Hạ Phương Trang | Nhóm Lie va Đại số Lie GVHD: PGS-TS.

Nhận xét - Tích trong trên không gian Euclidean thường được kí hiệu là < -,- >. Nhắc lại: mỗi ánh xạ tuyến tính f: E — E có một ánh xạ liên hợp f*: E —+ E, f* là ánh xạ tuyến tính, sao cho < /(#)./(Ý)>, với mỗi ứ,ÿñ eE. Vì <-,-> là đối xứng, nên rõ ràng là f** = £ - Cho 2 không gian Euclidean E va F, trong đỏ tích trong xác định trên E được ki hiệu la < —,— >,, vả tích trong xác định trên F được kí hiệu la <-.- >,, cho bất ki ánh xạ tuyến tính £' E —+ F, có đuy nhất một ánh xạ tuyến tính f*: F —» E sao cho < /(4), >,=< ú, /ˆ(ý)>,, với mọi de E và ve E. Ánh xạ tuyến tính f* cùng được gọi là anh xa liên hợp của f.

Ánh xạ tuyến tính chuẩn tắc 1. Định nghĩa ánh xạ tuyến tính chuẩn tắc Cho không gian Euclidean E, một ánh xạ tuyến tính f: E — E là chuẩn tắc nếu Sof =fof - Một ảnh xạ tuyến tinh f E~+E là tự liên hợp nếu f = f*, tự liên hợp lệch nếu f =-f*, và trực chuẩn nếu fof" = fof =id - Những dạng chuẩn tắc f có thé được làm mịn hơn nếu f là ánh xạ tự liên hợp, ánh xạ tự liên hợp lệch, hay ánh xạ trực giao. Bd đề Cho không gian Euclidean, nêu f E—>E là một ánh xạ tuyến tính chuẩn tắc thi Ker f= Ker f* Tiếp theo ta sẽ phức hóa cả không gian vectơ E và tích trong < -,~ >. Đầu tiên ta nhúng không gian vectơ thực E vào không gian veeto phức SVTH: Hứa Thị Hạ Phương Trang 2 Nhóm Lie và Đại sé Lie GVHD: PGS-TS.

Định nghĩa cấu trúc / Cho không gian vectơ thực E, đặt £_ có cấu trúc ExE dưới phép toán cộng (U,,0;)+(9,, } = V, (H, + V,,, + Ý, ) và phép nhân bởi đại lượng vô hướng phức z = x+iy xác định sao cho (x t1) (6, v'} = (tt = ved ee), Nhận xét - Dé đảng chứng minh £. là không gian vectơ phức, suy ra (0,7) = ¡(ý,0), và do dé đồng nhất E với không gian con của £., là không gian bao gồm tit cả những vectơ có dang (ứ,0), ta có thê viết (ứ,) = ñ +¿ÿ - Cho một vectơ w=a+i¥, đối hợp của nó là w=a-i¥. Khi đó, anh xạ đi tử E. vào chính nó cũng là ánh xạ đối hợp.ế,) là cơ sở bat kì của E, thi ((é,,0),.6)) là cơ sở của của £., ta gọi là một cơ sở thực.

- Cho ánh xạtuyến tính f: E — E, ánh xạ f có thé được mở rộng đến một ánh xạ tuyển tính ƒ„.:E, > £,„ xác định sao cho f(z +i¥) = ƒ()+¡ƒ(5) Ta can mờ rộng từ tích trong trên E đến tích trong trên E,. Không gian Hermitian 1. Định nghĩa Một không gian vectơ phức E là một không gian Hermitian nếu nó được trang bị một ánh xạ ọ: E x EC , mà ánh xạ này là tuyến tính ở phần đầu và nữa tuyến tính ở phan thứ hai của nó (đôi khí còn được gọi là ánh xạ tuyến tinh gấp rudi), anh xạ nay cũng được gọi là ánh xạ Hermitian, và xác định dương, có nghĩa là pi.) >0 với mỗi ở #0 Đặt biệt, ọ: E x E+ R thỏa mãn các tiên dé sau: SVTH: Hứa Thị Hạ Phương Trang 3 Nhóm Lie và Đại số Lie GVHD: PGS-TS.Lê Anh Va OU, HV) = OV) EOF) OV, + ¥,) = 0,9, ) + (0(ứ, 9, ) Q(2u.) ñ # 0 kéo theo @(ứ,#) >0 - Một ánh xạ thỏa mãn những tính chat trên được gọt là dạng Hermitian xác định dương.v) cũng được gọi là tích trong của ¿ và ý. Ta cũng xác định dạng toàn phương liên kết với @ là hàm ®; E — R_ sao cho Ow) = @(ứ,), với mỗi ứ E - Chú ý rằng œ(0,0) = 0, và vi @ là xác định đương.

ta có kết quả mạnh hơn (0,0) =0 khi và chí khi di = 0 do đó ®{ø) = 0 khi va chi khi i = 0 1. Ví dụ C* là không gian Hermitian , đưới tích trong @ xác định sao cho @((4,. My )) = AT, HAy He HHT, 1. Nhận xét - Cho anh xạ tuyến tính f: E — E (trong đỏ E là không gian vecto phức).

như trường hợp thực, cỏ duy nhất một ánh xạ tuyến tính f*: E —+ E sao cho < f(ñ).ÿ >=< ữ, f (8) >, với mỗi a, Fe £. Ánh xạ f* cũng gọi là liên hợp của f. - Tích trong <-,-> trên không gian Euclidean E được mở rộng đến dang Hermitian xác định đương <-,- >. như sau: <ñ, +fỗ,,, +0, > <i, i, > + < 9,0, > +Í(< ai, > - < ,Ÿ, >) SVTH: Hứa Thị Ha Phương Trang 4 Nhóm Lie và Đại số Lie GVHD: PGS-TS.Lé Anh Vũ Dễ dang thử lại được <-,- > là một dang Hermitian xác định dương và rõ rằng <-,- >.

cũng la < -,- > đối với những vectơ thực. Khi đó cho bat ki ánh xạ tuyến tinh £: E — E, ta chỉ ra được anh xạ f*, xác định sao cho ƒ.()+2/ˆ (8) với mọi #,v e £, là liên hợp của f Bỏ dé 1.2 cũng đúng cho trường hợp E là không gian Hermiteian. Vectơ riêng-Gía trị riêng 1. Bé đề Cho không gian Hermitian E, với bat kỷ ánh xạ tuyến tinh chuẩn tắc f: E — E, vectơ # là vecto riêng cua f với giá trị riêng ) (trong C) khi va chi khi a là vectơ riêng cua f* với giá trị riêng 2.

Bé đề Cho không gian Hermitian E, với bắt ky anh xạ tuyến tinh chuẩn tắc f: E — E, nếu # và ¥ là những vecto riêng của f mà liên kết với giá trị riêng 2 va (trong i# đó ng C),tro 0 thi < ứ,ÿ >= 1. Bễ đề Cho không gian Hermitian E, giá trị riêng của bất kỳ ánh xạ tự liên hợp f: E — E nào cũng đều là thực. - Cho bat kỳ không gian con W của không gian Hermitian E nào, nhắc lại là không gian trực giao W* của W là không gian con xác định sao cho W* ={ũ e E|< ủ,# >=0,VW e E} Ta có £=! @I+. Không gian Euclidean cũng thu được kết quả giống vậy.

Bỗ đề Cho không gian Hermitian E, với một ánh xạ tuyến tinh bất kỳ £: E > E, nếu W là không gian con bất kỳ của E sao cho /(W)cW và /'f)cW, khi đó f(W!)cW' và (WoW SVTH: Hứa Thị Hạ Phương Trang Š Nhóm Lie và Đại số Lie GVHD: PGS-TS.Lê Anh Vũ - Bỏ dé trên cũng đúng đổi với không gian Euelidean. Cho E là không gian Euclidean thực, nếu f' E —+ E là một ánh xạ tuyến tính và ww= a +# là một vectơ riêng của /_:£. -»£ với giá trị riêng tương ứng là z=4+¡¿. trong đó ứ,ýcE va À,e® thi /.(ứ-/#)=(À-1)( =¿#) và w=#—úv là vectơ riêng của f ứng với gia trị riêng Ÿ = 2 =0.

Bo đề Cho không gian Euclidean E, với một anh xạ tuyến tính bat kỳ & E — E, nêu Weati¥ là một vectơ riêng của £ ứng với giá trị riêng z= À+/#¿ (trong đó l,Ủ€E và À,ueR) ® Nếu peo (tức là z không thực) thi <.v>=0 và <a, >=<V,Y>, ứ,v là các vectơ độc lập tuyến tính, và nếu W là không gian sinh boi @,¥ , thì W)=W va f*(W)=W. Hơn nữa, với cơ sở (u,v) (trực giao), ánh xạ thu hẹp của f trên W có © Nếu ¿=0 thì ¿ là giá trị riêng thực của f và @ hoặc ÿ là giá trị riêng của f ứng với 4. Nếu W là không gian con sinh bởi @ nếu @ # 0, hoặc sinh bởi ï nếu z0 và ứ =Ú, thì /(W)c W và /°W)c W 1. Ma trận của ánh xạ tuyến tính chuẩn tắc 1.

Định lý Cho không gian Euclidean n chiều E, với mọi ánh xạ tuyến tính chuẩn tắc f: E— E, sẽ có một cơ sở trực chuẩn (é,.,é,), sao cho ma trận của f trên cơ sở nay là một khối ma trận chéo có dang SVTH: Hứa Thị Hạ Phương Trang 6 Nhóm Lie và Đại số Lie GVHD: PGS-TS.Lê Anh Vũ sao cho mỗi khối 4 hoặc là ma trận cap mot hoặc là ma trận vuông cấp hai có dang 4 Ey | trong đó 4. Dinh ly Cho không gian Hermitian n chiều E, với mỗi ánh xạ tuyến tính chuẩn tắc f: E— E. có một co sở trực chuan (é,.ẻ„) là vectơ riêng của f sao cho ma trận của f được viết trên cơ sở này là một khôi ma trận chéo có dang A trong đó 2 eC er - Định lý 5.2 chứng tỏ rằng anh xạ tuyến tinh chuẩn tắc có thé chéo hóa được với một cơ sở trực chuẩn. Do đó, trong thường hợp đặc biệt, các ánh xạ tự liên hợp, tự liên hợp lệch, và trực giao có thé chéo hóa được với một cơ sở trực chuẩn là những vectơ riêng.

VỀ sau, một ánh xạ trực giao được gọi là một ánh xạ đơn vị.3 chứng minh rằng giá trị riêng của một ánh xạ tuyến tính tự liên hợp là số thực, ánh xạ tuyến tính tự liên hợp lệch có giá trị riêng là phần do thuần khiết hay là 0, và ánh xạ đơn vị có giá trị riêng là giá trị tuyệt đối của I. Chi ý: có định lý đảo của định lý 5.2 nói rằng nếu có một cơ sở vectơ riêng trực chuẩn (ế,.ẻ,„) của f, thì f là chuẩn tắc. Anh xạ tuyến tính tự liên hợp, ánh xạ tuyến tính tự liên hợp lệch, và ánh xạ tuyến tính trực giao 2. Ánh xạ tuyến tính tự liên hợp Định lý 2.1 Cho không gian Euclidean n chiều E, với mỗi anh xạ tuyến tính tự liên hợp SVTH: Hứa Thị Ha Phương Trang 7 Nhóm Lie và Đại số Lie GVHD: PGS-TS.