Hàm đa trị khác gì so với hàm đơn trị thông thường?

Hàm đơn trị cổ điển gán mỗi phần tử đầu vào với đúng một phần tử kết quả duy nhất trong không gian đích. Ngược lại, hàm đa trị gán mỗi phần tử đầu vào với một tập con chứa một, nhiều hoặc vô số phần tử, đòi hỏi các công cụ giải tích mới như tính nửa liên tục trên và nửa liên tục dưới để khảo sát.

Tại sao logarit phức lại là một hàm đa trị?

Trong mặt phẳng phức, acgumen của một số phức khác không có tính tuần hoàn theo chu kỳ góc tròn, dẫn đến việc lấy logarit tự nhiên tạo ra vô số giá trị sai khác nhau các bội số nguyên của hai pi nhân với đơn vị ảo i. Mỗi giá trị nguyên tương ứng với một nhánh giải tích đơn trị của hàm logarit phức đa trị.

Định lý điểm bất động Kakutani áp dụng cho hàm đa trị như thế nào?

Định lý Kakutani mở rộng định lý điểm bất động Brouwer từ hàm đơn trị sang ánh xạ đa trị, khẳng định rằng một ánh xạ đa trị nửa liên tục trên có giá trị lồi compact xác định trên một tập lồi compact khác rỗng luôn tồn tại ít nhất một điểm bất động. Định lý này là công cụ nền tảng để chứng minh sự tồn tại cân bằng Nash trong lý thuyết trò chơi.

Mặt Riemann giải quyết tính đa trị của hàm số phức bằng cách nào?

Mặt Riemann giải quyết tính đa trị bằng cách mở rộng miền xác định hình học từ mặt phẳng phức phẳng thành một đa tạp phức một chiều gồm nhiều tầng dán lại với nhau dọc theo các vết cắt nhánh. Khi xét trên mặt Riemann tương ứng, hàm đa trị ban đầu được biến đổi thành một hàm giải tích đơn trị liên tục hoàn toàn.

Hàm đa trị (multivalued function) là gì?

Hàm đa trị (multivalued function hay set-valued mapping) là quy tắc toán học gán mỗi phần tử thuộc tập xác định với một tập con gồm một hoặc nhiều phần tử trong tập đích, mở rộng khái niệm hàm số đơn trị truyền thống. Trong toán học hiện đại, hàm đa trị xuất hiện dưới hai góc độ chủ đạo: góc độ giải tích phức với các nhánh giải tích trải trên mặt Riemann và góc độ giải tích biến phân với các ánh xạ tập hợp phục vụ lý thuyết tối ưu hóa và cân bằng trò chơi.

Bản chất toán học và ký hiệu hình thức

Trong cấu trúc giải tích cổ điển, một hàm số thông thường từ tập hợp $X$ vào tập hợp $Y$ là một quy tắc đơn trị gán mỗi phần tử $x \in X$ với duy nhất một phần tử $y \in Y$ . Tuy nhiên, nhiều phép toán tự nhiên như phép lấy căn bậc hai, phép tính logarit phức hoặc phép tìm nghiệm phương trình phi tuyến lại dẫn đến nhiều hơn một kết quả hợp lệ cho cùng một giá trị đầu vào. Để bao quát các hiện tượng này một cách chặt chẽ, lý thuyết giải tích định nghĩa hàm đa trị như một ánh xạ từ tập hợp $X$ vào tập hợp các tập con của $Y$ .

Về mặt ký hiệu hình thức, một ánh xạ đa trị thường được biểu diễn bằng mũi tên kép:

F: X \rightrightarrows Y

hoặc được xem như một hàm đơn trị có miền giá trị nằm trong tập lũy thừa $2^Y$ (tập hợp tất cả các tập con của $Y$ ):

F: X \to 2^Y \setminus \{\emptyset\}

với $X$ là tập xác định nguồn, $Y$ là không gian đích, và $F(x)$ là tập ảnh khác rỗng tương ứng với mỗi điểm $x \in X$ .

Khái niệm nền tảng gắn liền với ánh xạ đa trị là đồ thị của ánh xạ. Đồ thị của $F$ , ký hiệu là $\text{gph}(F)$ , là tập con trong không gian tích $X \times Y$ được xác định bởi:

\text{gph}(F) = \{(x, y) \in X \times Y \mid y \in F(x)\}

với $(x, y)$ là cặp phần tử trong không gian tích sao cho $y$ thuộc tập ảnh $F(x)$ . Việc chuyển đổi từ nghiên cứu ánh xạ $F$ sang khảo sát các tính chất hình học và topo của tập hợp $\text{gph}(F)$ là bước đột phá phương pháp luận của giải tích biến phân hiện đại.

Hàm đa trị trong giải tích phức và mặt Riemann

Trong giải tích phức, hàm đa trị xuất hiện khi mở rộng các hàm số sơ cấp từ trường số thực sang mặt phẳng phức. Điển hình nhất là hàm logarit phức và hàm lũy thừa phân số.

Logarit phức và các điểm rẽ nhánh

Cho số phức $z \neq 0$ biểu diễn dưới dạng cực $z = r e^{i \theta}$ với $r = |z|$ là mô-đun và $\theta = \arg(z)$ là acgumen. Do acgumen chỉ xác định sai khác một bội số nguyên của góc tròn, logarit tự nhiên của $z$ nhận vô số giá trị:

\text{Ln}(z) = \ln|z| + i (\theta + 2k\pi)

với $\text{Ln}(z)$ là hàm logarit phức đa trị, $\ln|z|$ là logarit thực của mô-đun, và $k$ là số nguyên bất kỳ chạy trên tập số nguyên. Mỗi giá trị nguyên của $k$ xác định một nhánh giải tích riêng biệt của hàm logarit.

Điểm gốc tọa độ và điểm vô cực là các điểm rẽ nhánh. Khi biến số phức di chuyển một vòng khép kín quanh điểm rẽ nhánh, giá trị của hàm không trở về giá trị ban đầu mà chuyển sang một nhánh giải tích kế tiếp. Để thu được một hàm đơn trị giải tích thông thường, người ta thực hiện một vết cắt nhánh trên mặt phẳng phức, ngăn không cho đường đi khép kín bao quanh điểm rẽ nhánh.

Khái niệm mặt Riemann

Phương pháp cắt nhánh tuy tạo ra các hàm đơn trị nhưng lại làm gián đoạn tính toàn vẹn hình học của miền xác định. Để giải quyết triệt để vấn đề này, nhà toán học Bernhard Riemann từ năm 1851 đã đề xuất một cấu trúc hình học mang tính cách mạng: mặt Riemann. Theo chuyên khảo kinh điển của Otto Forster (1981), mặt Riemann là một đa tạp phức một chiều được tạo thành bằng cách dán các bản sao của mặt phẳng phức dọc theo các vết cắt nhánh. Khi xét trên mặt Riemann tương ứng, hàm đa trị ban đầu trở thành một hàm giải tích đơn trị hoàn toàn trơn tru và liên tục, khôi phục sự thống nhất tự nhiên của giải tích phức.

Ánh xạ đa trị trong giải tích biến phân và tối ưu hóa

Nếu như trong giải tích phức, tính đa trị được quy về hàm đơn trị trên đa tạp, thì trong giải tích biến phân hiện đại, tính đa trị lại được chấp nhận như bản chất nội tại không thể tách rời của các bài toán tối ưu và mô hình cân bằng.

Tính nửa liên tục của ánh xạ tập hợp

Do ảnh của một điểm là một tập hợp, khái niệm liên tục của hàm số thông thường được mở rộng thành hai khái niệm độc lập: nửa liên tục trên và nửa liên tục dưới. Theo chuyên khảo chuẩn mực của Jean-Pierre Aubin và Hélène Frankowska (2009), cho hai không gian mêtric $X$ và $Y$ :

Nửa liên tục trên (upper semicontinuous): Ánh xạ $F$ được gọi là nửa liên tục trên tại điểm $x_0$ nếu với mọi tập mở $V \subset Y$ chứa $F(x_0)$ , tồn tại một lân cận mở $U$ của $x_0$ sao cho $F(x) \subset V$ với mọi $x \in U$ . Tính chất này đảm bảo tập ảnh không đột ngột bùng nổ kích thước khi biến số thay đổi nhỏ.
Nửa liên tục dưới (lower semicontinuous): Ánh xạ $F$ được gọi là nửa liên tục dưới tại điểm $x_0$ nếu với mọi tập mở $V \subset Y$ giao với $F(x_0)$ khác rỗng, tồn tại một lân cận mở $U$ của $x_0$ sao cho $F(x) \cap V \neq \emptyset$ với mọi $x \in U$ . Tính chất này ngăn chặn tập ảnh đột ngột co lại hoặc biến mất.

Một ánh xạ đa trị vừa nửa liên tục trên vừa nửa liên tục dưới được gọi là liên tục theo nghĩa Kuratowski hoặc liên tục Hausdorff.

Định lý điểm bất động Kakutani

Một trong những thành tựu rực rỡ nhất của giải tích đa trị là Định lý điểm bất động Kakutani được Shizuo Kakutani công bố năm 1941, tổng quát hóa định lý điểm bất động Brouwer từ hàm đơn trị sang ánh xạ đa trị:

Nếu $K$ là tập con lồi, compact, khác rỗng trong không gian Euclid, và $F: K \rightrightarrows K$ là một ánh xạ đa trị nửa liên tục trên sao cho tập ảnh $F(x)$ luôn là tập lồi, đóng và khác rỗng với mọi $x \in K$ , thì tồn tại ít nhất một điểm bất động $x^* \in K$ thỏa mãn $x^* \in F(x^*)$ .

Định lý Kakutani (1941) là công cụ toán học nền tảng giúp John Nash chứng minh sự tồn tại của cân bằng Nash trong lý thuyết trò chơi phi hợp tác, đồng thời giúp Kenneth Arrow và Gérard Debreu chứng minh sự tồn tại của cân bằng kinh tế tổng thể trong kinh tế học toán.

Toán tử dưới vi phân và nón pháp tuyến

Trong chuyên khảo nền tảng về giải tích biến phân của R. Tyrrell Rockafellar và Roger J.-B. Wets (1998), các công cụ phân tích không trơn được mô tả tự nhiên thông qua ánh xạ đa trị. Đối với một hàm lồi không khả vi $f: \mathbb{R}^n \to \mathbb{R}$ , dưới vi phân của $f$ tại điểm $x$ , ký hiệu là $\partial f(x)$ , là tập hợp tất cả các dưới gradient:

\partial f(x) = \{v \in \mathbb{R}^n \mid f(y) \ge f(x) + \langle v, y - x \rangle, \forall y \in \mathbb{R}^n\}

với $\partial f(x)$ là tập hợp các vector dưới gradient tại điểm $x$ , $v$ là một vector dưới gradient đại diện, và $\langle \cdot, \cdot \rangle$ là tích vô hướng tiêu chuẩn. Ánh xạ gán mỗi điểm $x$ với tập hợp $\partial f(x)$ là một ánh xạ đa trị đơn điệu cực đại, đóng vai trò then chốt trong các thuật toán tối ưu hóa lồi.

Tương tự, nón pháp tuyến đối với một tập hợp lồi đóng $C$ tại điểm $x \in C$ , ký hiệu là $N_C(x)$ , cũng là một ánh xạ đa trị:

N_C(x) = \{v \in \mathbb{R}^n \mid \langle v, y - x \rangle \le 0, \forall y \in C\}

với $N_C(x)$ là nón pháp tuyến chứa các vector pháp tuyến ngoài tại điểm $x$ thuộc tập lồi $C$ . Điều kiện tối ưu hóa có ràng buộc thu gọn thành bài toán tìm nghiệm bao hàm thức vi phân chứa ánh xạ đa trị này.

So sánh hàm đơn trị và ánh xạ đa trị

Bảng tổng hợp dưới đây đối chiếu các thuộc tính nền tảng giữa hàm số đơn trị cổ điển và ánh xạ đa trị trong giải tích hiện đại:

Đặc tính so sánh	Hàm đơn trị cổ điển	Ánh xạ đa trị (Hàm đa trị)
Giá trị ảnh của mỗi điểm	Duy nhất một phần tử xác định trong không gian đích	Một tập con gồm một, nhiều phần tử hoặc vô số phần tử
Định nghĩa tính liên tục	Dựa trên giới hạn điểm hoặc khoảng cách mêtric đơn lẻ	Phân tách thành nửa liên tục trên và nửa liên tục dưới
Không gian miền giá trị	Không gian mêtric hoặc không gian Banach chuẩn	Không gian các tập con đóng, lồi hoặc compact của không gian đích
Định lý điểm bất động tiêu biểu	Định lý điểm bất động Brouwer hoặc Banach	Định lý điểm bất động Kakutani hoặc Nadler
Đạo hàm và vi phân	Đạo hàm Fréchet hoặc ma trận Jacobi thông thường	Đạo hàm đối ngẫu mảng, đạo hàm đồ thị hoặc vi phân suy rộng

Đóng góp của trường phái toán học Việt Nam

Lý thuyết ánh xạ đa trị và giải tích biến phân là một trong những lĩnh vực nghiên cứu thế mạnh truyền thống của cộng đồng toán học Việt Nam. Xuất phát từ các công trình đặt nền móng về tối ưu hóa toàn cục của Giáo sư Hoàng Tụy, các nhà toán học Việt Nam đã phát triển sâu rộng việc ứng dụng ánh xạ đa trị trong bài toán tối ưu hóa vector và bất đẳng thức biến phân.

Đặc biệt, công trình chuyên khảo của Giáo sư Đinh Thế Lục (Luc, 1989) xuất bản tại nhà xuất bản Springer đã hệ thống hóa lý thuyết tối ưu hóa vector dựa trên các thuộc tính của ánh xạ đa trị. Nghiên cứu của Đinh Thế Lục (1989) sử dụng ánh xạ tập hợp để mô hình hóa quan hệ thứ tự ưu tiên đa mục tiêu, thiết lập các điều kiện tồn tại nghiệm hữu hiệu và tính ổn định nghiệm dưới các nhiễu loạn tham số. Hướng nghiên cứu này tiếp tục được kế thừa và phát triển mạnh mẽ bởi các thế hệ chuyên gia trong nước, khẳng định vị thế học thuật quốc tế của Việt Nam trong giải tích đa trị hiện đại.

Hạn chế và các vấn đề nghiên cứu còn mở

Mặc dù giải tích đa trị cung cấp một ngôn ngữ mạnh mẽ, việc xử lý và tính toán cụ thể với các ánh xạ tập hợp vẫn đặt ra nhiều thách thức lý thuyết và thực tiễn:

Độ phức tạp tính toán: Việc xấp xỉ số và rời rạc hóa các tập ảnh đa trị trong không gian nhiều chiều đòi hỏi chi phí lưu trữ và thời gian tính toán rất lớn so với các hàm số đơn trị.
Sự suy giảm tính chất khi lấy hợp và giao: Giao của hai ánh xạ đa trị nửa liên tục dưới có thể không còn giữ được tính nửa liên tục dưới, gây khó khăn cho việc phân tích các hệ thống ràng buộc giao nhau.
Bài toán lựa chọn liên tục: Định lý chọn Michael chỉ ra các điều kiện để tìm được một hàm đơn trị liên tục nằm bên trong ánh xạ đa trị nửa liên tục dưới với giá trị lồi đóng. Tuy nhiên, khi giá trị của ánh xạ không lồi, bài toán tìm hàm lựa chọn đo được hoặc liên tục vẫn là vấn đề kỹ thuật hóc búa trong phương trình vi phân bao hàm.