Một số đa tạp trong đại số tuyến tính (Luận văn thạc sĩ)

Một số đa tạp trong đại số tuyến tính (Luận văn thạc sĩ)Một số đa tạp trong đại số tuyến tính (Luận văn thạc sĩ)Một số đa tạp trong đại số tuyến tính (Luận văn thạc sĩ)Một số đa tạp trong đại số tuyến tính (Luận văn thạc sĩ)Một số đa tạp trong đại số tuyến tính (Luận văn thạc sĩ)Một số đa tạp trong đại số tuyến tính (Luận văn thạc sĩ)Một số đa tạp trong đại số tuyến tính (Luận văn thạc sĩ)Một số đa tạp trong đại số tuyến tính (Luận văn thạc sĩ)Một số đa tạp trong đại số tuyến tính (Luận văn thạc sĩ)Một số đa tạp trong đại số tuyến tính (Luận văn thạc sĩ)Một số đa tạp trong đại số tuyến tính (Luận văn thạc sĩ)Một số đa tạp trong đại số tuyến tính (Luận văn thạc sĩ)Một số đa tạp trong đại số tuyến tính (Luận văn thạc sĩ)

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC NGUYỄN THỊ TUYẾT THANH MỘT SỐ ĐA TẠP TRONG ĐẠI SỐ TUYẾN TÍNH LUẬN VĂN THẠC SĨ TỐN HỌC Thái Ngun - 2017 ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC NGUYỄN THỊ TUYẾT THANH MỘT SỐ ĐA TẠP TRONG ĐẠI SỐ TUYẾN TÍNH Chun ngành: Tốn ứng dụng Mã số: 62 46 01 12 LUẬN VĂN THẠC SĨ TOÁN HỌC Người hướng dẫn khoa học: TS NGUYỄN THANH SƠN Thái Nguyên - 2017 Mục lục Bảng ký hiệu ii Mở đầu 1 Nhắc lại số kiến thức hình học vi phân 1.1 Khái niệm đa tạp 1.1.1 Đa tạp tô pô 1.1.2 Đa tạp khả vi 1.1.3 Đa tạp 1.1.4 Hàm, ánh xạ đa tạp 1.1.5 Nhóm Lie Vectơ tiếp xúc, không gian tiếp xúc 10 1.2.1 Không gian tiếp xúc Rm 10 1.2.2 Vectơ tiếp xúc, không gian tiếp xúc đa tạp 12 1.2.3 Đạo hàm ánh xạ 13 1.2.4 Một số ánh xạ khả vi đặc biệt 14 Phân thớ tiếp xúc 15 1.3.1 Phân thớ tiếp xúc đa tạp tô pô 16 1.3.2 Phân thớ tiếp xúc đa tạp khả vi 18 1.3.3 Móc Lie 21 1.3.4 Đại số Lie 22 1.3.5 Trường véc tơ bất biến nhóm Lie 24 1.2 1.3 1.4 1.5 1.6 Đa tạp Riemann 24 1.4.1 Khái niệm 24 1.4.2 Khoảng cách 26 1.4.3 Nhóm đẳng cự 27 1.4.4 Không gian Riemann 27 1.4.5 Phân thớ chuẩn tắc 29 Liên thông Levi- Civita 30 1.5.1 Liên thông Rm 30 1.5.2 Liên thông Levi- Civita 30 1.5.3 Trường chuẩn tắc 32 1.5.4 Dạng thứ hai liên thông Levi- Civita đa tạp 33 Đường trắc địa 34 1.6.1 Trường véc tơ tiếp xúc 34 1.6.2 Cung trắc địa 35 1.6.3 Ánh xạ mũ 37 Một số đa tạp đại số tuyến tính 39 2.1 Đa tạp Grassmann 39 2.1.1 Cấu trúc tô pô G(k, n) 40 2.1.2 Cấu trúc vi phân G(k, n) 41 2.1.3 Cấu trúc Riemann đa tạp Grassmann 44 2.1.4 Đường trắc địa, ánh xạ mũ ánh xạ logarith 45 Đa tạp ma trận đối xứng nửa xác định dương 48 2.2.1 Định nghĩa đặc trưng 48 2.2.2 Không gian tiếp xúc 49 2.2.3 Mêtríc Riemann 50 2.2.4 Không gian pháp phép chiếu 51 2.2.5 Liên thông Riemann 52 2.2 i 2.2.6 Đường trắc địa 53 Kết luận Đề nghị 56 Tài liệu tham khảo 57 ii Bảng ký hiệu dimM Số chiều đa tạp M C ∞ (M ) tập tất hàm trơn M C ∞ (E) tập lát cắt trơn (E, M, π) C ∞ (T M ) tập trường vectơ trơn X : M → T M Sm mặt cầu đơn vị Rm Tp Rm tập tốn tử vi phân tuyến tính p Tp M không gian tiếp xúc M p G đại số Lie G ⊗ tích tenxơ khơng gian vectơ Ap hạn chế đa tuyến tính A tích tenxơ Tp M ⊗ ⊗ Tp M G(k, n) tập tất không gian k chiều R O(k, n) tập ma trận có cột trực chuẩn Rn ST (k, n) tập ma trận hạng đủ n hàng, k cột colsp(Y ) không gian Rn sinh cột Y Ink tập tất đa số J với J = (j1 , , jk ) ∈ Nk với ≤ j1 < < jk ≤ n AJ ma trận cỡ k × k chứa hàng j1 , , jk A với A ∈ Rk×n AC J ma trận bù AJ A iii ||x|| chuẩn Euclid E J := [ej1 ejk ] ma trận chứa vectơ đơn vị tương ứng Rn với J ∈ Ink J phần bù số J Ink S+ (k, n) tập ma trận thực cỡ n × n đối xứng nửa xác định dương có hạng cố định k , k ≤ n Rn×n sym tập ma trận đối xứng cỡ n × n trace(A) vết ma trận A rank(A) hạng ma trận Mở đầu Đa tạp đối tượng hình học giải tích Nó cấu trúc phong phú khơng tính chất mà ta xây dựng nhiều khái niệm khác Thơng thường, làm quen với đa tạp Rn hay đa tạp trừu tượng không gian tôpô bậc đại học Trên thực tế, nhiều vấn đề tính tốn, tối ưu có ràng buộc quy toán tập đối tượng đại số tuyến tính có tính chất đặc biệt, chẳng hạn tập không gian k chiều Rn , hay tập ma trận đối xứng nửa xác định dương có hạng cố định Ta khơng thể tính tốn tập đó, chẳng hạn nội suy, chiếu từ không gian lớn lên khơng có hiểu biết đầy đủ chúng Hóa ra, tập có cấu trúc phong phú lập lên đa tạp khả vi Luận văn trình bày số đa tạp mà phần tử lại đối tượng đại số tuyến tính Chúng tơi trình bày cấu trúc hình học chúng, khía cạnh tính tốn đối tượng liên quan đến đa tạp Những kiến thức vô quan trọng tảng khơng thể thiếu cho việc tính tốn đại số tuyến tính số ứng dụng thuật toán tối ưu đa tạp Nội dung luận văn dự kiến sau Chương I trình bày, có phần chi tiết, lý thuyết hình học vi phân, lý thuyết đa tạp nghiên cứu bậc đại học Tài liệu vấn đề tiếng Việt, chí tiếng Anh tương đối phong phú Tuy nhiên, tìm sách có đầy đủ ngun liệu cần cho chương sau, chẳng hạn ánh xạ mũ, liên thơng Riemann, đường trắc địa phương trình xác định nó, Do vậy, chúng tơi dựa vào tập giảng [7]và chọn cách trình bày lại chi tiết khái niệm cách hệ thống Nội dung luận văn nằm chương II Cụ thể, chúng tơi trình bày cấu trúc hình học phong phú đa tạp Grassmann - tập không gian có số chiều cố định Rn đa tạp ma trận đối xứng nửa xác định dương Còn nhiều chủ đề hay khơng trình bày giới hạn thời gian khuôn khổ luận văn thạc sĩ Mặc dù nghiêm túc cố gắng thực luận văn này, luận văn không tránh khỏi khiếm khuyết định Kính mong góp ý thầy cô để luận văn hoàn chỉnh ý nghĩa Luận văn thực Trường Đại học Khoa học - Đại học Thái Nguyên hoàn thành hướng dẫn TS Nguyễn Thanh Sơn Tác giả xin bày tỏ lòng biết ơn chân thành sâu sắc tới người hướng dẫn khoa học mình, người đặt vấn đề nghiên cứu, dành nhiều thời gian hướng dẫn tận tình đầy trách nhiệm để tác giả hồn thành luận văn Tác giả học tập nhiều kiến thức chun ngành bổ ích cho cơng tác nghiên cứu thân Nhân dịp tác giả xin gửi lời cảm ơn sâu sắc tới Thầy giáo, Cô giáo tham gia giảng dạy lớp Cao học Tốn K9Y; Nhà trường phòng chức Trường, Khoa Toán - Tin, trường Đại học Khoa học, Đại học Thái Nguyên quan tâm giúp đỡ tác giả suốt thời gian học tập trường Cuối tác giả xin cảm ơn gia đình, bạn bè đồng nghiệp động viên, ủng hộ tạo điều kiện cho tác giả suốt thời gian nghiên cứu học tập Luận văn thực hoàn thành Trường Đại học Khoa học - Đại học Thái Nguyên Thái Nguyên, ngày 10 tháng 11 năm 2017 Tác giả luận văn Nguyễn Thị Tuyết Thanh Chương Nhắc lại số kiến thức hình học vi phân Trong chương này, chúng tơi trình bày cách chi tiết khái niệm, tính chất quan trọng hình học vi phân Trong phần lớn kiến thức tìm thấy tài liệu tiếng Việt [2–4] nhiều tài liệu tiếng Anh kinh điển khác, số công cụ cho chương II lại không trình bày tài liệu nêu Vì thế, viết chương này, chủ yếu dựa vào tài liệu [7] Người đọc tham khảo tài liệu [1] 1.1 1.1.1 Khái niệm đa tạp Đa tạp tô pô Định nghĩa 1.1.1 Cho (M, τ ) không gian tô pô Hausdorff với sở đếm Khi M gọi đa tạp tơ pơ có số ngun khơng âm m cho với điểm p ∈ M , tồn lân cận U p tập mở V ⊂ Rm phép đồng phôi x : U → V Cặp (U, x) gọi đồ hay tọa độ địa phương M Số nguyên m gọi chiều M Ta viết M m để thể đa tạp M có m chiều Như vậy, không gian tô pô Hausdorff với sở đếm đa tạp tô pô m chiều mặt địa phương, đồng phơi với Rm ...ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC NGUYỄN THỊ TUYẾT THANH MỘT SỐ ĐA TẠP TRONG ĐẠI SỐ TUYẾN TÍNH Chun ngành: Tốn ứng dụng Mã số: 62 46 01 12 LUẬN VĂN THẠC SĨ TOÁN HỌC... tượng đại số tuyến tính Chúng tơi trình bày cấu trúc hình học chúng, khía cạnh tính tốn đối tượng liên quan đến đa tạp Những kiến thức vô quan trọng tảng khơng thể thiếu cho việc tính tốn đại số tuyến. .. 35 1.6.3 Ánh xạ mũ 37 Một số đa tạp đại số tuyến tính 39 2.1 Đa tạp Grassmann 39 2.1.1 Cấu trúc tô pô G(k, n)