Tổng quan về giáo trình

Giáo trình Giải tích đa trị của Giáo sư Nguyễn Đông Yên là tài liệu học thuật thuộc "Bộ sách Toán cao cấp" do Viện Toán học chủ trì biên soạn (Chủ tịch Hội đồng biên tập: GS-TSKH. Hà Huy Khoái) và được Nhà xuất bản Khoa học Tự nhiên và Công nghệ xuất bản năm 2007. Trong chương trình đào tạo đại học và sau đại học ngành Toán học, Toán ứng dụng, giáo trình giữ vị trí một học phần chuyên ngành nâng cao, tiếp nối các môn học nền tảng như Giải tích hàm, Giải tích nhiều biến và Giải tích lồi.

Mục tiêu học tập của giáo trình là trang bị cho người học hệ thống lý thuyết về ánh xạ đa trị $F: X \Rightarrow Y$ (ánh xạ nhận giá trị là các tập hợp con của một không gian cho trước), mở rộng các công cụ giải tích cổ điển từ hàm đơn trị sang hàm đa trị, bao gồm tính liên tục, phép tính đạo hàm, phép tính tích phân và giải tích biến phân không trơn. Đồng thời, giáo trình rèn luyện phương pháp luận sử dụng ngôn ngữ giải tích đa trị để khảo sát tính ổn định nghiệm, độ nhạy và điều kiện tối ưu của các bài toán quy hoạch toán học, phương trình suy rộng và bài toán bất đẳng thức biến phân phụ thuộc tham số.

Cấu trúc giáo trình gồm 5 chương lý thuyết chuyên sâu, 2 phụ lục đề thi hết môn, danh mục tài liệu tham khảo và bảng tra cứu từ khóa thuật ngữ. Cách tiếp cận của tài liệu dựa trên các bài giảng thực tế của tác giả tại Viện Toán học, Trường Đại học Sư phạm Thành phố Hồ Chí Minh và Đại học Quốc gia Tôn Trung Sơn (Đài Loan). Điểm đặc sắc của công trình là sự kết hợp chặt chẽ giữa các lý thuyết kinh điển quốc tế (như công trình của J.-P. Aubin, H. Frankowska, R. T. Rockafellar, B. S. Mordukhovich) với các đóng góp học thuật của các nhà toán học Việt Nam như GS. Hoàng Tụy, GS. Phạm Hữu Sách, cố GS. Phan Văn Chương, GS. Phan Quốc Khánh và GS. Đinh Thế Lục.

Nội dung kiến thức cốt lõi

Các chương/chủ đề chính

Nội dung giáo trình được triển khai qua 5 chương chuyên đề với cấu trúc logic chặt chẽ từ giải tích topo tập - điểm đến giải tích biến phân hiện đại:

  • Chương 1: Tính liên tục của ánh xạ đa trị: Thiết lập định nghĩa ánh xạ đa trị $F: X \Rightarrow Y$, đồ thị $\text{gph}, F$, miền hữu hiệu $\text{dom}, F$, miền ảnh $\text{rge}, F$, ánh xạ ngược $F^{-1}$. Trình bày các khái niệm nửa liên tục trên và nửa liên tục dưới theo Berge, nửa liên tục theo Hausdorff, hàm tựa $C_F(p, x)$ và tính hemi-liên tục trên. Khảo sát định lý Kakutani, công cụ phân hoạch đơn vị, bất đẳng thức Ky Fan, định lý tồn tại điểm cân bằng trên miền vững và định lý điểm bất động Kakutani. Phân tích lớp quá trình lồi, quá trình lồi đóng, chuẩn của quá trình lồi đóng và các định lý ánh xạ mở, tính chất liên tục Lipschitz của ánh xạ nghiệm.
  • Chương 2: Đạo hàm của ánh xạ đa trị: Nghiên cứu phép tính vi phân tiếp xúc cho ánh xạ đa trị thông qua các khái niệm nón tiếp tuyến (nón Bouligand, nón kề, nón Clarke), đạo hàm contingent $DF_z(\cdot)$, đạo hàm kề $D^b F_z(\cdot)$, đạo hàm Clarke $CF_z(\cdot)$ và ứng dụng Nguyên lý biến phân Ekeland.
  • Chương 3: Tích phân của ánh xạ đa trị: Xây dựng lý thuyết đo và tích phân đa trị, bao gồm khái niệm ánh xạ đa trị đo được, các định lý chọn lát cắt đo được, lát cắt liên tục, lát cắt Lipschitz, tích phân Aumann của ánh xạ đa trị và tích phân Aumann của ánh xạ dưới vi phân Clarke.
  • Chương 4: Đối đạo hàm của ánh xạ đa trị: Trình bày hệ thống giải tích biến phân do B. S. Mordukhovich đề xuất. Nội dung tập trung vào nón pháp tuyến Mordukhovich $N_\Omega(x)$, tính compắc pháp tuyến theo dãy (SNC), đối đạo hàm Fréchet $\hat{D}^*F$, đối đạo hàm Mordukhovich $D^*F$, cùng các quy tắc tính dưới vi phân Fréchet $\hat{\partial} f$, dưới vi phân Mordukhovich $\partial f$, dưới vi phân suy biến $\partial^\infty f$ của hàm giá trị tối ưu và phiếm hàm tích phân.
  • Chương 5: Hệ bất đẳng thức suy rộng: Khảo sát tính ổn định nghiệm của hệ bất đẳng thức suy rộng cho bởi hàm vectơ liên tục $g(x, z) \le_K 0$. Sử dụng công cụ Jacobian xấp xỉ theo nghĩa V. Jeyakumar và Đinh Thế Lục, Jacobian suy rộng Clarke và đối đạo hàm Mordukhovich để thiết lập quy tắc nhân tử Lagrange, định lý ánh xạ mở địa phương, định lý hàm ngược và đánh giá tính liên tục Lipschitz của hàm giá trị tối ưu.

Kiến thức nền tảng được xây dựng

Giáo trình củng cố và hệ thống hóa các lý thuyết toán học cơ bản:

  • Lý thuyết không gian Banach và Tôpô: Cấu trúc tôpô cảm sinh, tính compắc yếu, tôpô yếu$^*$, định lý Banach-Alaoglu, bổ đề Mazur, định lý Baire và bổ đề Urysohn.
  • Lý thuyết tập lồi và giải tích lồi: Nón lồi, tập lồi đa diện và biểu diễn qua phần tử sinh, định lý tách tập lồi, nón tiếp tuyến và nón pháp tuyến trong không gian hữu hạn và vô hạn chiều.
  • Lý thuyết điểm bất động và ánh xạ mở: Định lý điểm bất động Brouwer, Schauder, Kakutani, định lý ánh xạ mở Banach và định lý ánh xạ mở cho quá trình lồi đóng Robinson.

Kỹ năng phát triển

  • Kỹ năng phân tích: Nhận diện và phân biệt tính chất tôpô của các ánh xạ tập hợp (nửa liên tục trên theo Berge so với Hausdorff; tính đóng của đồ thị so với tính có giá trị đóng).
  • Kỹ năng tính toán giải tích không trơn: Thực hiện tính toán nón tiếp tuyến, nón pháp tuyến, đối đạo hàm, dưới vi phân Mordukhovich và Jacobian xấp xỉ cho các hàm không khả vi cổ điển.
  • Kỹ năng nghiên cứu định lượng và định tính: Đánh giá định lượng hằng số Lipschitz của ánh xạ nghiệm trong bài toán quy hoạch toán học phụ thuộc tham số và thiết lập điều kiện nghiệm tối ưu.

Phương pháp giảng dạy và học tập

Giáo trình áp dụng phương pháp diễn dịch toán học chuẩn mực: phát biểu định nghĩa chính xác, chứng minh tường minh các bổ đề, định lý và phân tích các phản ví dụ để xác định ranh giới hiệu lực của các giả thiết. Quy ước đánh số ba chỉ số (ví dụ: Định lý 1.3, Bài tập 1.5) được duy trì thống nhất trong toàn bộ tài liệu để người đọc tiện tra cứu chéo.

Tiến trình tiếp cận khái niệm trong giáo trình:

Hệ thống bài tập cuối mỗi mục được thiết kế theo cấu trúc phân tầng:

  1. Bài tập tính toán và chứng minh trực tiếp: Yêu cầu tìm phần tử sinh của tập lồi đa diện, chứng minh tính chất đại số của ánh xạ hợp $G \circ F$, kiểm tra tính hemi-liên tục trên của hàm tựa $C_F(p, x)$.
  2. Bài tập xây dựng phản ví dụ: Điển hình như Bài tập 1.12 và 1.13, yêu cầu người học xây dựng các ánh xạ đa trị $G: K \Rightarrow K$ vi phạm lần lượt từng điều kiện (tính nửa liên tục trên, giá trị lồi, giá trị đóng, giá trị khác rỗng) để chứng minh tính thiết yếu của các giả thiết trong Định lý Kakutani.
  3. Bài tập đánh giá tổng hợp: Phụ lục A và Phụ lục B cung cấp hai bộ đề thi hết môn thực tế tại Viện Toán học và Đại học Quốc gia Tôn Trung Sơn, hỗ trợ học viên tự đánh giá mức độ tiếp thu kiến thức trọng tâm của hai chương đầu.

Hướng dẫn tự học khuyến nghị người đọc chủ động vẽ đồ thị minh họa cho các ánh xạ đa trị trong không gian $\mathbb{R}$ và $\mathbb{R}^2$, tự chứng minh lại các định lý cơ bản và giải các bài tập trước khi đối chiếu với các tài liệu chuyên khảo tham chiếu.

Điểm nổi bật và cập nhật

  • Tích hợp lý thuyết giải tích biến phân Mordukhovich: Giáo trình cập nhật hệ thống lý thuyết đối đạo hàm và nón pháp tuyến qua giới hạn theo trường phái B. S. Mordukhovich (công bố năm 2006), đưa người học tiếp cận các công cụ nghiên cứu vi phân hiện đại hàng đầu thế giới.
  • Ứng dụng công cụ Jacobian xấp xỉ Jeyakumar - Lục: Tích hợp khái niệm Jacobian xấp xỉ của V. Jeyakumar và Đinh Thế Lục trong Chương 5, bao hàm Jacobian suy rộng Clarke cho hàm Lipschitz địa phương như một trường hợp riêng, mở rộng khả năng xử lý các bài toán không trơn và không lồi.
  • Khảo sát chi tiết bài toán tối ưu phụ thuộc tham số: Phân tích tính liên tục Lipschitz của ánh xạ nghiệm bài toán quy hoạch toàn phương và quy hoạch lồi phụ thuộc tham số $z = (c, b, d)$: $$\min \left{ \frac{1}{2} x^T D x + c^T x : x \in \mathbb{R}^n, Ax \le b, Cx = d \right}$$
  • Tổng thuật có hệ thống các đóng góp của toán học Việt Nam: Tài liệu ghi nhận và trích dẫn các kết quả của các nhà toán học Việt Nam trong lĩnh vực giải tích đa trị, bao gồm các công trình về ánh xạ lồi của GS. Hoàng Tụy và GS. Phạm Hữu Sách; bao hàm thức vi phân của cố GS. Phan Văn Chương; định lý ánh xạ mở tổng quát của GS. Phan Quốc Khánh; cùng các thuật toán tìm điểm cân bằng của TS. Huỳnh Thế Phùng và PGS. Phạm Huy Điển.

Đối tượng sử dụng giáo trình

Nhóm đối tượng Yêu cầu kiến thức tiên quyết Mục đích và phương thức sử dụng
Sinh viên đại học năm cuối (ngành Toán, Toán ứng dụng, Cử nhân tài năng) Giải tích hàm cơ bản, Giải tích nhiều biến, Đại số tuyến tính, Tôpô đại cương Học phần chuyên đề Giải tích đa trị; rèn luyện kỹ năng xây dựng phản ví dụ và làm quen với toán học hiện đại.
Học viên cao học & Nghiên cứu sinh Giải tích lồi, Không gian Banach, Tôpô yếu, Cơ sở lý thuyết tối ưu Nghiên cứu chuyên sâu về giải tích biến phân, làm tài liệu nền tảng cho luận văn/luận án về lý thuyết điều khiển, tối ưu đa mục tiêu, ổn định nghiệm.
Giảng viên đại học Chuyên môn sâu về Giải tích và Tối ưu hóa Dùng làm đề cương bài giảng môn Giải tích đa trị, Giải tích không trơn; khai thác hệ thống bài tập và đề thi mẫu tại Phụ lục A, B.
Cán bộ nghiên cứu Lý thuyết phương trình vi phân, Toán kinh tế, Điều khiển tối ưu Tài liệu tham khảo tra cứu các bất đẳng thức Ky Fan, định lý ánh xạ mở Robinson, đối đạo hàm và Jacobian xấp xỉ.

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

1. Giáo trình này phù hợp với đối tượng nào?

Giáo trình được biên soạn cho sinh viên năm cuối các lớp cử nhân chọn, học viên cao học, nghiên cứu sinh và cán bộ nghiên cứu thuộc các chuyên ngành Toán giải tích, Toán ứng dụng, Tối ưu hóa, Lý thuyết điều khiển và Toán kinh tế.

2. Cần chuẩn bị những kiến thức nền tảng nào trước khi học?

Người học cần nắm vững kiến thức Giải tích hàm (không gian định chuẩn, không gian Banach, không gian đối ngẫu, tôpô yếu), Đại số tuyến tính (ma trận, không gian Euclide), Tôpô đại cương (tập mở, tập đóng, tính compắc, tính liên thông) và kiến thức cơ bản về Giải tích lồi.

3. Điểm khác biệt giữa giáo trình này với các sách giải tích cổ điển là gì?

Giải tích cổ điển tập trung vào ánh xạ đơn trị $f: X \to Y$ và tính khả vi Fréchet. Giáo trình này nghiên cứu ánh xạ nhận giá trị là tập hợp con $F: X \Rightarrow Y$, phân tích các khái niệm nửa liên tục trên/dưới, tích phân Aumann, và mở rộng phép tính vi phân sang đối đạo hàm Mordukhovich cùng Jacobian xấp xỉ khi hàm số không trơn.

4. Phương pháp tự học giáo trình như thế nào để đạt hiệu quả cao?

Người học nên tuân thủ trình tự tuyến tính từ Chương 1 đến Chương 5; trực tiếp giải các bài tập yêu cầu tìm phần tử sinh và dựng phản ví dụ sau mỗi mục; đồng thời thử sức với hai đề thi kết thúc học phần ở Phụ lục A và B để tự kiểm tra kiến thức.

5. Có những tài liệu chuyên khảo nào để đọc bổ trợ cùng giáo trình?

Người đọc có thể tham khảo các công trình chuyên khảo quốc tế và trong nước được trích dẫn trong sách:

  • J.-P. Aubin & I. Ekeland (1984), Applied Nonlinear Analysis.
  • J.-P. Aubin & H. Frankowska (1990), Set-Valued Analysis.
  • R. T. Rockafellar & R. J.-B. Wets (1998), Variational Analysis.
  • B. S. Mordukhovich (2006), Variational Analysis and Generalized Differentiation.
  • Đinh Thế Lục (1989), Theory of Vector Optimization.
  • G. M. Lee, N. N. Tam, N. D. Yen (2005), Quadratic Programming and Affine Variational Inequalities: A Parametric Approach.

Kết luận

Giáo trình Giải tích đa trị của GS. Nguyễn Đông Yên là tài liệu học thuật hoàn chỉnh bằng tiếng Việt về lý thuyết ánh xạ tập hợp và giải tích biến phân. Công trình cung cấp hệ thống khái niệm từ giải tích đa trị cơ sở đến các công cụ vi phân không trơn hiện đại, làm cơ sở lý thuyết cho việc khảo sát các bài toán tối ưu và bất đẳng thức biến phân phụ thuộc tham số.

Lộ trình học tập khuyến nghị cho người học là hoàn thành nền tảng tôpô đa trị và tính liên tục ở Chương 1, tiếp cận phép tính vi tích phân đa trị ở Chương 2 và 3, trước khi đi sâu vào lý thuyết đối đạo hàm Mordukhovich và hệ bất đẳng thức suy rộng ở Chương 4 và 5. Bảng tra cứu từ khóa thuật ngữ Anh - Việt và các đề thi mẫu ở phần phụ lục là nguồn tư liệu hỗ trợ đắc lực cho quá trình học tập và nghiên cứu chuyên sâu.