Tổng quan về luận án

Nghiên cứu các định lý giới hạn và luật số lớn (Laws of Large Numbers - LLN) giữ vị trí trung tâm trong sự phát triển của lý thuyết xác suất hiện đại và thống kê toán học, với phạm vi ứng dụng sâu rộng trong tối ưu hóa ngẫu nhiên, lý thuyết trò chơi, toán kinh tế và phân tích dữ liệu đa trị. Trong hơn bốn thập kỷ qua, việc chuyển dịch và mở rộng các kết quả từ không gian biến ngẫu nhiên đơn trị sang biến ngẫu nhiên đa trị (set-valued random variables / random closed sets) nhận giá trị trên không gian các tập con đóng của không gian Banach đối mặt với rào cản nền tảng: không gian các tập con đóng $c(\mathfrak{X})$ không sở hữu cấu trúc không gian véc-tơ tuyến tính thông thường do sự thiếu vắng của phần tử đối và tính không đóng của phép cộng Minkowski. Luận án tiến sĩ toán học của nghiên cứu sinh Bùi Nguyên Trâm Ngọc với đề tài "Một số luật số lớn đối với mảng nhiều chiều và mảng tam giác các biến ngẫu nhiên đa trị" (Chuyên ngành: Lý thuyết xác suất và Thống kê toán học, Mã số: 9.06; hướng dẫn khoa học: GS. Nguyễn Văn Quảng và TS. Dương Xuân Giáp, Trường Đại học Vinh, 2022) đại diện cho công trình tiên phong giải quyết trọn vẹn sự hội tụ theo tôpô gap đối với các cấu trúc chỉ số phức tạp.

Khoảng trống học thuật (research gap) cốt lõi được luận án xác định xuất phát từ các giới hạn của y văn quốc tế:

  1. Các kết quả kinh điển của Pedro Terán (2016) về luật mạnh số lớn theo tôpô gap mới chỉ dừng lại ở dãy một chỉ số độc lập đôi một cùng phân phối: "Cho ${X_n, n \ge 1}$ là một dãy các biến ngẫu nhiên khả tích, độc lập đôi một cùng phân phối, nhận giá trị trên không gian các tập con đóng của một không gian Banach khả ly. Khi đó ta thu được luật mạnh số lớn ứng với hội tụ theo tôpô gap $\frac{1}{n}\text{cl}\sum_{i=1}^n X_i \to \text{co} X$" ([58, Định lý 1]). Chưa có công trình nào thiết lập luật mạnh số lớn theo tôpô gap cho mảng hai chiều khi cực đại các chỉ số tiến ra vô cùng ($m \vee n \to \infty$) dưới điều kiện suy rộng compact khả tích đều theo nghĩa Cesàro.
  2. Đối với mảng tam giác các biến ngẫu nhiên đa trị, hầu hết nghiên cứu trước đây (như Dương Xuân Giáp, 2013-2014) chỉ khảo sát hội tụ Mosco hoặc hội tụ Wijsman, chưa tiếp cận được tôpô gap trên các không gian Banach tổng quát hoặc không gian Banach Rademacher dạng $p$.
  3. Đối với hàm ngẫu nhiên nửa liên tục trên (upper semicontinuous random functions), các định lý giới hạn dưới cấu trúc phụ thuộc âm (negatively dependent - ND) và liên kết âm (negatively associated - NA) mới chỉ được thiết lập cho dãy một chiều (Nguyễn Trần Thuận và Nguyễn Văn Quảng, 2014), hoàn toàn để ngỏ trường hợp mảng $d$-chiều.

Luận án tập trung giải quyết 4 câu hỏi nghiên cứu và giả thuyết khoa học cụ thể:

  • RQ1 & H1: Thiết lập điều kiện khả tích và cấu trúc compact cần và đủ để mảng hai chiều ${X_{mn}: m \ge 1, n \ge 1}$ độc lập đôi một, compact khả tích đều theo nghĩa Cesàro hội tụ hầu chắc chắn (h.c.) theo tôpô gap khi $m \vee n \to \infty$.
  • RQ2 & H2: Mở rộng luật mạnh số lớn theo tôpô gap cho mảng hai chiều các biến ngẫu nhiên đa trị nhận giá trị trong không gian Banach Rademacher dạng $p$ ($1 \le p \le 2$).
  • RQ3 & H3: Xây dựng luật số lớn cho mảng tam giác ${X_{ni}: n \ge 1, 1 \le i \le n}$ các biến ngẫu nhiên đa trị độc lập theo hàng ứng với tôpô gap.
  • RQ4 & H4: Mở rộng khái niệm liên kết âm theo mức, phụ thuộc âm đôi một theo mức cho mảng $d$-chiều các hàm ngẫu nhiên nửa liên tục trên, đồng thời thiết lập các bất đẳng thức cực đại dạng Rosenthal và Hájek-Rényi làm công cụ dẫn xuất luật số lớn.

Khung lý thuyết của công trình tích hợp giải tích lồi đa trị (Convex Analysis), lý thuyết toán tử trong không gian Banach vô hạn chiều và xác suất hình học (Geometric Probability). Luận án định lượng hóa các đóng góp qua 4 công trình khoa học chất lượng cao, tiêu biểu với 2 bài báo công bố trên tạp chí quốc tế danh giá Journal of Convex Analysis, 1 bài trên Fuzzy Sets and Systems và 1 bài trên Tạp chí Khoa học Trường Đại học Vinh.

Literature Review và Positioning

Lý thuyết tập ngẫu nhiên và biến ngẫu nhiên đa trị khởi nguồn từ nghiên cứu nền tảng của F. Hausdorff (1927) về không gian các tập con đóng, được Z. Artstein và R. A. Vitale (1975) chính thức đưa vào lý thuyết xác suất thông qua luật số lớn cho dãy các biến ngẫu nhiên đa trị độc lập cùng phân phối nhận giá trị tập compact trong $\mathbb{R}^d$. Ngay sau đó, S. Hart (1970) mở rộng cho các tập con đóng không bị chặn trong $\mathbb{R}^d$ và chỉ ra ứng dụng trong tối ưu hóa. Khi chuyển từ không gian hữu hạn chiều $\mathbb{R}^d$ sang không gian Banach thực khả ly $\mathfrak{X}$, tính tương đương giữa các dạng hội tụ bị phá vỡ hoàn toàn, hình thành nên các luồng nghiên cứu cạnh tranh và bổ trợ:

                          (Gap topology - 2D arrays m ∨ n → ∞, Triangular arrays, 
                           Rademacher type p, d-dim NA/ND fuzzy random variables)
  1. Hội tụ Hausdorff ($d_H$): D. Ralescu (1986) thiết lập luật số lớn trên không gian Banach ứng với mêtric Hausdorff. Tuy nhiên, mêtric Hausdorff quá mạnh, chỉ áp dụng được cho lớp các biến ngẫu nhiên nhận giá trị tập con compact.
  2. Hội tụ Mosco ($\tau_M$): C. Hess (1996) chứng minh luật số lớn cho dãy biến ngẫu nhiên đa trị nhận giá trị tập đóng không bị chặn trên không gian Banach khả ly ứng với hội tụ Mosco ($w\text{-}\limsup A_n = s\text{-}\liminf A_n = A$). Dù vậy, hội tụ Mosco chỉ hoạt động hiệu quả trên không gian Banach phản xạ (reflexive spaces) để xử lý các bài toán biến phân.
  3. Hội tụ Wijsman ($\tau_W$) và Tôpô Slice ($\tau_S$): C. Hess (1996, 1999) chứng minh luật số lớn cho dãy độc lập đôi một cùng phân phối theo tôpô Wijsman (dựa trên khoảng cách $d(x, A)$). Tôpô Slice được xác định bởi họ các hàm gap ${D(S, \cdot)}$ với $S$ là slice của hình cầu, có tính chất mêtric hóa được trên không gian không phản xạ nhưng bị hạn chế đối với các tập lồi đóng.
  4. Tôpô Gap ($\tau_G$): Được định nghĩa là tôpô yếu sinh bởi họ các hàm gap ${D(C, \cdot): C \text{ lồi, đóng, bị chặn, } C \neq \emptyset}$. Tôpô gap dung hòa được tính khả ly, tính tổng quát trên không gian không phản xạ và bao quát cả các tập không lồi. P. Terán (2016) đã tạo ra bước đột phá khi chứng minh luật mạnh số lớn theo tôpô gap cho dãy một chỉ số độc lập đôi một.

Về cấu trúc phụ thuộc phi độc lập, K. Joag-Dev và F. Proschan (1983) đặt nền móng cho khái niệm liên kết âm (NA). E. Matula (1992) nghiên cứu luật số lớn cho mảng nhiều chiều phụ thuộc âm (ND). Gần đây, Lê Văn Thành (2014), Nguyễn Văn Huấn (2014) phát triển tính liên kết âm trên không gian Hilbert, và Nguyễn Trần Thuận - Nguyễn Văn Quảng (2014) đưa khái niệm NA/ND vào không gian hàm ngẫu nhiên nửa liên tục trên $U$.

So sánh với hai nghiên cứu quốc tế điển hình:

  • So với Pedro Terán (2016, J. Math. Anal. Appl.): Luận án không chỉ vượt khỏi khuôn khổ dãy 1 chiều ($n \to \infty$) mà giải quyết bài toán mảng hai chiều dưới điều kiện chỉ số $m \vee n \to \infty$ (tổng quát hơn nhiều so với $m \wedge n \to \infty$), đồng thời thay thế giả thiết cùng phân phối bằng giả thiết suy rộng "compact khả tích đều theo nghĩa Cesàro".
  • So với Christian Hess (1996, 1999, Set-Valued Analysis): Luận án giải phóng yêu cầu về tính phản xạ của không gian Banach $\mathfrak{X}$, mở rộng từ tập lồi sang tập đóng bất kỳ nhờ kỹ thuật hàm khoảng cách và bao lồi đóng $\overline{\text{co}} X$.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án đã mở rộng và tái định hình các định lý giới hạn xác suất hình học thông qua các mệnh đề lý thuyết cốt lõi:

  • Mở rộng lý thuyết hội tụ Painlevé-Kuratowski và Tôpô Gap: Chứng minh rằng sự hội tụ Painlevé-Kuratowski của mảng bao lồi đóng kết hợp với tính compact của phần tử giới hạn $X \in \mathcal{K}(\mathfrak{X})$ đảm bảo sự hội tụ hầu chắc chắn theo tôpô gap: $$\frac{1}{mn}\text{cl}\sum_{i=1}^m \sum_{j=1}^n X_{ij}(\omega) \xrightarrow{\tau_G} \overline{\text{co}} X \quad \text{khi } m \vee n \to \infty$$
  • Hệ thống hóa điều kiện Cesàro trên mảng ngẫu nhiên đa trị: Mở rộng khái niệm compact khả tích đều theo nghĩa Cesàro cho mảng 2 chiều: $$\sup_{m,n \ge 1} \frac{1}{mn}\sum_{i=1}^m \sum_{j=1}^n E\left(|X_{ij}|\cdot \mathbb{I}{{|X{ij}| > M \text{ hoặc } X_{ij} \not\subset K}}\right) < \varepsilon$$ chứng minh tính tương thích hoàn hảo giữa cấu trúc biến ngẫu nhiên thực đại diện $s(x^*, X_{mn})$ và toán tử chọn Castating $f_{mn} \in S_{X_{mn}}^1$.
  • Mô hình hóa hình học Banach Rademacher dạng $p$ ($1 \le p \le 2$): Thiết lập điều kiện hội tụ qua chuỗi mô-men tổng quát: $$\sum_{m=1}^\infty \sum_{n=1}^\infty (mn)^{-p} E|X_{mn}|^p < \infty$$ chứng minh rằng cấu trúc hình học của không gian Banach loại bỏ được các đòi hỏi khắt khe về tính compact tích phân đều.

Khung phân tích độc đáo

Khung phân tích của luận án tích hợp chặt chẽ ba trụ cột lý thuyết: Giải tích đa trị (Kỳ vọng Aumann, Định lý biểu diễn Castaing), Lý thuyết không gian Banach (Không gian đối ngẫu $\mathfrak{X}^*$, Định lý James, Tính chất Rademacher), và Giải tích mờ ($U$-space, $\alpha$-level cuts).

Điểm độc đáo nằm ở việc sử dụng hàm tựa khoảng cách gap $D(A, B) = \inf{|x - y|: x \in A, y \in B}$ để chuyển hóa sự hội tụ của tập hợp đóng không lồi về bài toán hội tụ của các hàm khoảng cách thực $d(y, \cdot)$ trên các tập thử lồi, đóng, bị chặn $A \subset \mathfrak{X}$.

Điều kiện biên (boundary conditions) được xác định tường minh: Không gian Banach $\mathfrak{X}$ phải là thực và khả ly; đối với các kết quả tổng quát, tập giới hạn $X$ bắt buộc thuộc lớp compact $\mathcal{K}(\mathfrak{X})$; đối với không gian Rademacher dạng $p$, tính chất hình học của không gian thay thế cho tính compact toàn phần của toán tử kỳ vọng.

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

Thiết kế nghiên cứu

Luận án tuân thủ lập trường nhận thức luận diễn dịch hình thức (Deductive Mathematical Positivism/Formalism). Thiết kế nghiên cứu đa tầng (multi-level design) được cấu trúc qua 4 giai đoạn chứng minh giải tích:

[Cấp độ 1: Đại số/Hình học]   
Chứng minh Bổ đề 2.2: co(A) + rB đóng khi A compact (Dùng Định lý James phản xạ)
[Cấp độ 2: Lát cắt vô hướng] 
Chuyển đổi biến ngẫu nhiên đa trị X_mn -> Phiếm hàm tựa s(x*, X_mn) và hàm chọn f_mn
[Cấp độ 3: Mảng đơn trị]     
Áp dụng LLN đơn trị cho {f_mn} và {s(x*, X_mn)} để khống chế s-liminf và s-limsup
[Cấp độ 4: Tôpô Đa trị]       
Tổng hợp qua quan hệ: Painlevé-Kuratowski + Wijsman => Tôpô Gap (τ_G)

Quy trình nghiên cứu rigorous

  1. Kỹ thuật lồi hóa (Convexification Technique): Sử dụng Định lý Aumann và tính chất bao lồi đóng $\overline{\text{co}}(EX) = \text{cl}(E(\text{co}X))$ để khắc phục sự thiếu hụt cấu trúc tuyến tính của $c(\mathfrak{X})$.
  2. Kỹ thuật phân tích theo khối (Block Decomposition): Chia tách không gian chỉ số $(m, n) \in \mathbb{N}^2$ và mảng tam giác thành các khối chỉ số hữu hạn, kết hợp kỹ thuật chặn biến (truncation) tại ngưỡng mô-men.
  3. Kỹ thuật hoán vị thứ tự tổng và tích phân (Fubini Theorem Integration): Thiết lập tính khả tích của hàm khoảng cách và phiếm hàm tựa trên không gian tích $(\Omega \times \mathfrak{X}, \mathcal{A} \otimes \mathcal{B}_{\mathfrak{X}})$.
  4. Kiểm định tính chặt của giả thiết (Robustness Analysis via Counterexamples): Luận án xây dựng 2 phản ví dụ giải tích phức tạp để chứng minh:
    • Nếu thiếu điều kiện tiệm cận $\overline{\text{co}} X \subset s\text{-}\liminf_{m \vee n \to \infty} (\text{cl} E(X_{mn}, \mathcal{A}{X{mn}}))$, định lý sẽ sai ngay cả trong không gian $\mathbb{R}$.
    • Nếu tập $A$ không compact, tập $\overline{\text{co}} A + rB$ không nhất thiết đóng trên không gian Banach không phản xạ (sử dụng Định lý James về phiếm hàm không đạt chuẩn trên quả cầu đơn vị).

Data và phân tích

Trong nghiên cứu toán lý thuyết thuần túy, "dữ liệu" chính là hệ thống tiên đề, không gian hàm và các cấu trúc độ đo. Luận án thực hiện phân tích giải tích trên các cấu trúc xác suất:

Cấu trúc toán học Ký hiệu / Biểu thức giải tích Phạm vi áp dụng
Không gian trạng thái $(\Omega, \mathcal{A}, P), \mathfrak{X}$ (Banach khả ly), $\mathfrak{X}^*$ Xuyên suốt Chương 1 - 3
Không gian tập hợp $c(\mathfrak{X})$ (đóng), $\mathcal{K}(\mathfrak{X})$ (compact), $\text{ck}(\mathfrak{X})$ (lồi compact) Chương 2, Chương 3
Cấu trúc mảng ${X_{mn}: m, n \ge 1}$, ${X_{ni}: n \ge 1, 1 \le i \le n}$, ${X_n: n \in \mathbb{N}^d}$ Chương 2, 3 và Phụ lục
Cấu trúc đo mờ $U = {u: \mathbb{R} \to [0, 1] \mid \text{supp}(u) \text{ compact}, [u]_1 \neq \emptyset, \text{tựa lõm}}$ Chương 1, Phụ lục
Mêtric mờ $D_\infty, D_p$ $D_\infty(u, v) = \sup_{\alpha \in (0, 1]} d_H([u]\alpha, [v]\alpha)$ Phân tích hàm ngẫu nhiên

Phát hiện đột phá và implications

Những phát hiện then chốt

1. Định lý 2.5: Luật mạnh số lớn theo tôpô gap cho mảng hai chiều Cesàro

Cho $1 \le p < 2$ và ${X_{mn}: m \ge 1, n \ge 1}$ là mảng hai chiều các biến ngẫu nhiên đa trị độc lập đôi một, compact khả tích đều theo nghĩa Cesàro. Nếu thỏa mãn: $$\sum_{m=1}^\infty \sum_{n=1}^\infty (mn)^{-p} E|X_{mn}|^p < \infty$$ và tồn tại $X \in \mathcal{K}(\mathfrak{X})$ sao cho: $$X \subset s\text{-}\liminf_{m \vee n \to \infty} (\text{cl} E(X_{mn}, \mathcal{A}{X{mn}})) \quad \text{và} \quad \limsup_{m \vee n \to \infty} s(x^, \text{cl} EX_{mn}) \le s(x^, X), \forall x^* \in \mathfrak{X}^*$$ thì: $$\frac{1}{mn}\text{cl}\sum_{i=1}^m \sum_{j=1}^n X_{ij} \xrightarrow{\tau_G} \overline{\text{co}} X \quad \text{h.c. khi } m \vee n \to \infty$$

2. Định lý 2.9: Luật mạnh số lớn trên không gian Banach Rademacher dạng $p$

Cho $\mathfrak{X}$ là không gian Banach Rademacher dạng $p$ ($1 \le p \le 2$). Nếu ${X_{mn}}$ là mảng hai chiều độc lập thỏa mãn điều kiện chuỗi mô-men và điều kiện tiệm cận kỳ vọng trên tập $X \in \mathcal{K}(\mathfrak{X})$, thì kết luận hội tụ theo tôpô gap được bảo toàn mà không cần đòi hỏi tính compact khả tích đều Cesàro toàn phần.

3. Định lý 3.5: Luật số lớn cho mảng tam giác các biến ngẫu nhiên đa trị

Thiết lập sự hội tụ hầu chắc chắn theo tôpô gap cho mảng tam giác ${X_{ni}: n \ge 1, 1 \le i \le n}$ độc lập theo hàng nhận giá trị trong không gian Banach khả ly dưới điều kiện compact khả tích đều hoặc bị chặn ngẫu nhiên đều, giải quyết hoàn chỉnh bài toán mảng tam giác đa trị vốn phức tạp do sự thay đổi phân phối theo từng hàng.

4. Định lý Phụ lục: Hệ thống bất đẳng thức cực đại Hájek-Rényi và Rosenthal cho mảng đa chiều

Thiết lập bất đẳng thức mô-men cực đại dạng Rosenthal cho mảng $d$-chiều các biến ngẫu nhiên thực liên kết âm (NA), từ đó dẫn xuất bất đẳng thức cực đại Hájek-Rényi cho mảng các hàm ngẫu nhiên nửa liên tục trên $U$ liên kết âm theo mức: $$P\left(\max_{k \le n} \frac{D_\infty\left(\sum_{i \le k} X_i, \sum_{i \le k} EX_i\right)}{b_k} \ge \varepsilon\right) \le \frac{C}{\varepsilon^2}\sum_{i \le n}\frac{\text{Var}(X_i)}{b_i^2}$$

Implications đa chiều

  • Về mặt lý thuyết (Theoretical Advances): Công trình thống nhất và làm cầu nối trực tiếp giữa lý thuyết xác suất hình học trong không gian Banach vô hạn chiều với lý thuyết tập mờ và giải tích biến phân.
  • Về mặt phương pháp luận (Methodological Innovations): Cung cấp khung kỹ thuật hoàn chỉnh kết hợp giữa lát cắt hữu hạn Castaing và tôpô Wijsman để giải quyết các bài toán hội tụ đa trị theo hướng $m \vee n \to \infty$, mở ra công cụ giải tích mạnh cho các bài toán mảng ngẫu nhiên.
  • Về ứng dụng thực tiễn (Practical Applications): Ứng dụng trực tiếp trong tối ưu hóa ngẫu nhiên đa mục tiêu (Stochastic Multiobjective Optimization) và mô hình hóa kinh tế lượng khi dữ liệu quan sát không phải là điểm đơn lẻ mà là các tập dữ liệu mờ hoặc khoảng không chắc chắn (interval-valued/fuzzy-valued economic time series).

Limitations và Future Research

Mặc dù đạt được những kết quả đột phá, luận án thẳng thắn chỉ ra các giới hạn lý thuyết và phạm vi biên:

  1. Ràng buộc về tính compact của tập giới hạn: Giả thiết $X \in \mathcal{K}(\mathfrak{X})$ là điều kiện đủ quan trọng trong Bổ đề 2.2. Khi $X$ chỉ là tập đóng bị chặn thuần túy trên không gian Banach không phản xạ, bài toán hội tụ gap vẫn là thách thức chưa có lời giải tổng quát.
  2. Cấu trúc độc lập và phụ thuộc: Nghiên cứu mới dừng lại ở độc lập đôi một, độc lập theo hàng và liên kết âm theo mức (levelwise NA/ND). Chưa bao quát các dạng phụ thuộc phức tạp khác như martingale đa trị mảng nhiều chỉ số, cấu trúc trộn mạnh (mixing structures) hoặc phụ thuộc mờ phi tuyến.
  3. Phân phối giới hạn và Định lý giới hạn trung tâm (CLT): Luận án tập trung vào Luật số lớn (hội tụ hầu chắc chắn và hội tụ theo xác suất), chưa thiết lập Định lý giới hạn trung tâm và tốc độ hội tụ (Berry-Esseen bounds) theo tôpô gap cho mảng đa chiều.

Chương trình nghiên cứu 5-10 năm tiếp theo (Future Research Agenda):

  • Hướng 1: Thiết lập Định lý giới hạn trung tâm (CLT) và Luật logarit lặp (LIL) cho mảng hai chiều biến ngẫu nhiên đa trị theo khoảng cách Hausdorff và tôpô gap.
  • Hướng 2: Mở rộng lý thuyết martingale đa trị mảng nhiều chỉ số nhận giá trị trong không gian Banach hình học phức tạp (như không gian UMD hoặc martingale type $p$).
  • Hướng 3: Ứng dụng luật số lớn đa trị trong việc chứng minh tính vững (consistency) của các ước lượng tập ngẫu nhiên trong kinh tế lượng vĩ mô và học máy ngẫu nhiên (Random Set Machine Learning).

Tác động và ảnh hưởng

  • Ảnh hưởng học thuật (Academic Impact): Kết quả luận án được trích dẫn và tiếp tục phát triển bởi các nhóm nghiên cứu mạnh về Giải tích lồi và Xác suất tại Việt Nam (Đại học Quốc gia Hà Nội, Đại học Sư phạm Hà Nội, Đại học Vinh) và quốc tế. Các kỹ thuật chứng minh đã đóng góp vào nguồn tài liệu tham khảo cốt lõi cho đào tạo tiến sĩ chuyên ngành 9.06.
  • Tối ưu hóa và Mô phỏng kỹ thuật: Khung lý thuyết hỗ trợ giải các bài toán tối ưu ngẫu nhiên với ràng buộc tập hợp (Set-constrained Stochastic Optimization), giúp các kỹ sư R&D mô hình hóa sai số ngẫu nhiên dưới dạng tập đóng đa chiều thay vì điểm trung bình giả định.
  • Đóng góp quốc tế: Công bố trên Journal of Convex Analysis (xếp hạng ISI uy tín) khẳng định vị thế học thuật của toán học xác suất Việt Nam trên bản đồ toán học thế giới.

Đối tượng hưởng lợi

  • Nghiên cứu sinh & Học viên Cao học Toán học: Tiếp cận hệ thống chứng minh giải tích chuẩn mực về biến ngẫu nhiên đa trị, không gian Banach Rademacher và tôpô gap.
  • Các nhà nghiên cứu Lý thuyết Xác suất & Giải tích Hàm: Sử dụng các bổ đề kỹ thuật (Bổ đề 2.1, 2.2, 2.3) làm công cụ dẫn xuất cho các định lý giới hạn trong các cấu trúc không gian mới.
  • Chuyên gia Toán Kinh tế và Thống kê Dữ liệu lớn: Khai thác mô hình hàm ngẫu nhiên nửa liên tục trên $U$ để xử lý các bài toán phân tích rủi ro tài chính và dữ liệu không chắc chắn (imprecise data analysis).

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và đã mở rộng lý thuyết của tác giả nào?

Đóng góp độc đáo nhất là thiết lập thành công Luật mạnh số lớn theo tôpô gap ($\tau_G$) cho mảng hai chiều các biến ngẫu nhiên đa trị dưới điều kiện chỉ số $m \vee n \to \infty$ và cấu trúc compact khả tích đều theo nghĩa Cesàro (Định lý 2.5). Kết quả này mở rộng trực tiếp công trình nền tảng của Pedro Terán (2016) từ dãy 1 chỉ số độc lập cùng phân phối sang mảng 2 chiều không cùng phân phối, đồng thời khái quát hóa các nghiên cứu của Christian Hess (1996, 1999) từ không gian phản xạ sang không gian Banach tổng quát.

2. Sự đổi mới về phương pháp luận so với các nghiên cứu tiền nhiệm thể hiện ở điểm nào?

So với phương pháp của Hess (sử dụng tính phản xạ và tôpô Mosco) và Castaing (sử dụng tôpô Wijsman cho $m \wedge n \to \infty$), luận án đổi mới phương pháp luận qua 3 bước tích hợp:

  1. Sử dụng kỹ thuật lát cắt Castaing mở rộng trên mảng hai chỉ số để khống chế $s\text{-}\liminf$ Painlevé-Kuratowski.
  2. Thiết lập Bổ đề 2.2 chứng minh tính đóng của $\overline{\text{co}} A + rB$ qua định lý tách trên không gian Banach khả ly.
  3. Chuyển tiếp liên tục từ hội tụ Wijsman sang hội tụ Gap thông qua việc xấp xỉ hàm khoảng cách trên mọi tập thử lồi, đóng, bị chặn $A \subset \mathfrak{X}$.

3. Phát hiện bất ngờ nhất (counter-intuitive result) trong quá trình nghiên cứu là gì?

Phát hiện bất ngờ nhất là tính bất đối xứng giữa không gian Banach tổng quát và không gian Banach Rademacher dạng $p$: Trong khi không gian Banach tổng quát bắt buộc phải có điều kiện compact khả tích đều Cesàro thì trên không gian Rademacher dạng $p$ ($1 < p \le 2$), điều kiện này hoàn toàn biến mất và được thay thế bằng điều kiện hội tụ của chuỗi mô-men trọng số $\sum_{m=1}^\infty \sum_{n=1}^\infty (mn)^{-p} E|X_{mn}|^p < \infty$. Ngoài ra, phản ví dụ ở Mục 2.1 chứng minh rằng ngay cả trong $\mathbb{R}$, nếu thiếu điều kiện tiệm cận kỳ vọng (2.3), mảng các khoảng đóng dù thỏa mãn mọi tiêu chuẩn khả tích vẫn phân kỳ hoàn toàn theo tôpô gap.

4. Giao thức tái lập kết quả toán học (Replication Protocol) có được đảm bảo không?

Toàn bộ các định lý, bổ đề, mệnh đề và hệ quả trong luận án được xây dựng trên hệ tiên đề Zermelo-Fraenkel với Tiên đề chọn (ZFC), đảm bảo tính tái lập tuyệt đối 100% về mặt giải tích logic. Mọi bước chuyển tiếp chứng minh đều dẫn chiếu chính xác tới các bổ đề chuẩn bị trong Chương 1 hoặc các công trình đã được thẩm định quốc tế.

5. Lộ trình phát triển nghiên cứu 10 năm tới được vạch ra như thế nào?

Lộ trình 10 năm định hình sự phát triển từ Luật số lớn (LLN) sang Lý thuyết độ lệch lớn (Large Deviation Principle - LDP) và Giải tích ngẫu nhiên đa trị (Set-valued Stochastic Calculus), ứng dụng trực tiếp vào điều khiển ngẫu nhiên (Stochastic Optimal Control) và kinh tế lượng tập ngẫu nhiên.

Kết luận

  1. Thiết lập trọn vẹn hệ thống các Luật mạnh số lớn theo tôpô gap cho mảng hai chiều các biến ngẫu nhiên đa trị độc lập đôi một, compact khả tích đều theo nghĩa Cesàro khi $m \vee n \to \infty$.
  2. Mở rộng thành công luật số lớn đa trị trên lớp không gian Banach hình học Rademacher dạng $p$ ($1 \le p \le 2$).
  3. Giải quyết bài toán hội tụ theo tôpô gap cho mảng tam giác các biến ngẫu nhiên đa trị độc lập theo hàng dưới các điều kiện khả tích tổng quát.
  4. Mở rộng khái niệm và thiết lập các luật số lớn cho mảng $d$-chiều các hàm ngẫu nhiên nửa liên tục trên phụ thuộc âm (ND) và liên kết âm (NA) theo mức.
  5. Thiết lập hai công cụ bất đẳng thức giải tích mới: Bất đẳng thức Rosenthal cực đại và Bất đẳng thức Hájek-Rényi cho mảng ngẫu nhiên đa chiều.
  6. Mở ra 3 hướng nghiên cứu mới kết nối giải tích lồi đa trị, lý thuyết độ đo mờ và xác suất vô hạn chiều, khẳng định giá trị khoa học bền vững và năng lực hội nhập quốc tế sâu sắc của công trình.