Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Một số dạng luật số lớn cho dãy và mảng các biến ngẫu nhiên trong không gian tổ hợp lồi" do nghiên cứu sinh Phạm Trí Nguyễn thực hiện tại Trường Đại học Vinh, thuộc chuyên ngành Lý thuyết xác suất và Thống kê toán học. Nghiên cứu tập trung giải quyết các bài toán lý thuyết xác suất hiện đại trên các cấu trúc không gian phi tuyến tính, cụ thể là không gian metric trang bị cấu trúc tổ hợp lồi và không gian các tập mờ.

Tính cấp thiết và khoảng trống nghiên cứu

Trong lý thuyết xác suất cổ điển và giải tích ngẫu nhiên, các định lý giới hạn dạng luật số lớn ban đầu được thiết lập cho các biến ngẫu nhiên nhận giá trị thực, sau đó được mở rộng sang không gian Banach. Tuy nhiên, nhiều đối tượng nghiên cứu thực tế và trừu tượng (như các tập hợp ngẫu nhiên compact, các biến ngẫu nhiên mờ) không có cấu trúc không gian tuyến tính hay không gian Banach.

Năm 2006, Terán và Molchanov đã giới thiệu khái niệm không gian tổ hợp lồi (convex combination space) – một lớp không gian metric tổng quát hơn cả không gian Banach và không gian các tập con compact của không gian Banach. Mặc dù Terán và Molchanov đã xây dựng định nghĩa kỳ vọng và chứng minh luật mạnh số lớn cho dãy biến ngẫu nhiên độc lập đôi một cùng phân phối, nhưng các bài toán giới hạn dưới các điều kiện phụ thuộc yếu hơn (như m-phụ thuộc theo khối, m-phụ thuộc đôi một theo khối), các dạng mảng biến ngẫu nhiên (mảng tam giác, mảng hai chiều), cũng như các định lý giới hạn cho biến ngẫu nhiên mờ trên không gian tổ hợp lồi vẫn chưa được nghiên cứu đầy đủ. Đây chính là khoảng trống lý thuyết mà luận án đặt ra để giải quyết.

Mục tiêu nghiên cứu

Luận án xác định các mục tiêu nghiên cứu cụ thể được đánh số theo văn bản như sau:

  1. Thiết lập luật mạnh số lớn đối với dãy các biến ngẫu nhiên và mảng hai chiều các biến ngẫu nhiên mờ trong không gian tổ hợp lồi dưới các điều kiện phụ thuộc yếu và điều kiện khả tích khác nhau.
  2. Thiết lập sự hội tụ đầy đủ và luật mạnh số lớn đối với mảng tam giác các biến ngẫu nhiên và mảng tam giác các biến ngẫu nhiên mờ trong không gian tổ hợp lồi.
  3. Thiết lập các điều kiện cần và đủ cho sự hội tụ theo trung bình và luật yếu số lớn đối với dãy các biến ngẫu nhiên mờ trong không gian tổ hợp lồi.

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu:
    • Dãy biến ngẫu nhiên và mảng tam giác các biến ngẫu nhiên nhận giá trị trong không gian tổ hợp lồi.
    • Dãy biến ngẫu nhiên mờ, mảng tam giác và mảng hai chiều các biến ngẫu nhiên mờ trong không gian tổ hợp lồi.
  • Phạm vi nghiên cứu:
    • Không gian giá trị: Không gian metric đầy đủ, khả ly $(X, d)$ trang bị phép toán tổ hợp lồi; không gian các tập con compact khác rỗng $c(X)$ với metric Hausdorff $d_H$; không gian các tập mờ $\mathcal{F}(X)$ với các metric $d_\infty$ và $d_p$.
    • Các dạng hội tụ được khảo sát: Hội tụ hầu chắc chắn (h.c.), hội tụ đầy đủ (complete convergence), hội tụ theo trung bình cấp $p$ ($L^p$), và hội tụ theo xác suất.
    • Cấu trúc phụ thuộc và điều kiện tích phân: Điều kiện độc lập đôi một, độc lập theo hàng, $m$-phụ thuộc theo khối, $m$-phụ thuộc đôi một theo khối, tính compact khả tích đều (CUI), compact khả tích đều theo nghĩa Cesàro bậc $r$ (Cesàro CUI), và CUI $(\alpha, \alpha^+)$-từng mức.

Tổng quan tài liệu và vị trí của luận án

Luận án kế thừa và phát triển một hệ thống công trình nghiên cứu sâu rộng trong lý thuyết xác suất trên không gian metric, lý thuyết tập ngẫu nhiên và lý thuyết tập mờ:

Tác giả & Năm Hướng nghiên cứu & Kết quả tiền đề
Herer (1992, 1993) Đưa ra khái niệm kỳ vọng trên không gian metric đầy đủ, khả ly có độ cong âm; chứng minh luật mạnh số lớn cho dãy biến ngẫu nhiên độc lập cùng phân phối; nghiên cứu martingale trên không gian metric.
Hsu & Robbins (1947) Đưa ra khái niệm hội tụ đầy đủ cho dãy biến ngẫu nhiên thực $\sum_{n=1}^\infty P(|X_n - \theta| > \varepsilon) < \infty$.
Fitte (1997) Sử dụng kỳ vọng Herer, áp dụng phương pháp xấp xỉ bằng biến ngẫu nhiên rời rạc để chứng minh định lý ergodic và luật mạnh số lớn cho biến ngẫu nhiên khả tích.
Móricz (1987) Đưa ra khái niệm dãy biến ngẫu nhiên $m$-phụ thuộc theo khối và mở rộng luật mạnh số lớn Kolmogorov.
Hu, Móricz & Taylor (1989); Gut (1992) Thiết lập và tổng quát hóa sự hội tụ đầy đủ cho mảng tam giác các biến ngẫu nhiên độc lập theo hàng.
Baek & Park (1999) Nghiên cứu sự hội tụ đầy đủ cho tổng có trọng số của mảng hai chiều và mảng tam giác các biến ngẫu nhiên phụ thuộc âm theo hàng.
Taylor (1978); Hu, Rosalsky, Szynal & Volodin (1998) Khảo sát sự hội tụ đầy đủ của các biến ngẫu nhiên nhận giá trị trong không gian Banach.
Fu & Zhang (2007) Thiết lập luật mạnh số lớn và sự hội tụ đầy đủ cho mảng tam giác biến ngẫu nhiên nhận giá trị tập compact và biến ngẫu nhiên mờ trong không gian Banach khả ly.
Terán & Molchanov (2006, 2007) Đưa ra tiên đề không gian tổ hợp lồi, xây dựng toán tử lồi hóa $K$, định nghĩa kỳ vọng và chứng minh luật mạnh số lớn dạng Etemadi (1981) cho dãy biến ngẫu nhiên và biến ngẫu nhiên mờ độc lập đôi một cùng phân phối.
Colubi (2000); Proske & Puri (2003); Inoue (1991); Kim (2006) Khảo sát luật mạnh và luật yếu số lớn cho biến ngẫu nhiên mờ trong $\mathbb{R}^d$ và không gian Banach.
Quảng & Thuận (2014) Thiết lập luật mạnh số lớn cho mảng hai chiều các biến ngẫu nhiên trong không gian tổ hợp lồi.

Luận án của Phạm Trí Nguyễn đặt vị trí nghiên cứu tại điểm giao thoa giữa giải tích ngẫu nhiên phi tuyến và lý thuyết độ đo mờ: mở rộng các kết quả của Móricz, Hu-Móricz-Taylor, Terán-Molchanov, Fu-Zhang từ không gian thực và không gian Banach sang không gian tổ hợp lồi tổng quát, đồng thời nới lỏng giả thiết độc lập sang các cấu trúc phụ thuộc dạng khối và điều kiện khả tích Cesàro.

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

Khung lý thuyết và các khái niệm nền tảng

Giả thiết $(\Omega, \mathcal{A}, P)$ là không gian xác suất đầy đủ, $(X, d)$ là không gian metric đầy đủ và khả ly, $\mathcal{B}_X$ là $\sigma$-đại số Borel trên $X$.

1. Không gian tổ hợp lồi: Một phép toán tổ hợp lồi trên $X$ gán mỗi bộ ${\lambda_i}{i=1}^n$ ($\lambda_i > 0, \sum{i=1}^n \lambda_i = 1$) và ${u_i}{i=1}^n \subset X$ với một phần tử $[\lambda_i, u_i]{i=1}^n \in X$, thỏa mãn 5 tiên đề:

  • Tiên đề 1 (Giao hoán): $[\lambda_i, u_i]{i=1}^n = [\lambda{\sigma(i)}, u_{\sigma(i)}]_{i=1}^n$ với mọi hoán vị $\sigma$.
  • Tiên đề 2 (Kết hợp): $[\lambda_i, u_i]{i=1}^{n+2} = [\lambda_1, u_1; \dots; \lambda_n, u_n; \lambda{n+1}+\lambda_{n+2}, [\frac{\lambda_{n+1}}{\lambda_{n+1}+\lambda_{n+2}}, u_{n+1}; \frac{\lambda_{n+2}}{\lambda_{n+1}+\lambda_{n+2}}, u_{n+2}]]$.
  • Tiên đề 3 (Tính liên tục): Khi $\lambda^{(k)} \to \lambda \in (0; 1)$ thì $[\lambda^{(k)}, u; 1-\lambda^{(k)}, v] \to [\lambda, u; 1-\lambda, v]$.
  • Tiên đề 4 (Độ cong âm): $d([\lambda, u_1; 1-\lambda, u_2], [\lambda, v_1; 1-\lambda, v_2]) \le \lambda d(u_1, v_1) + (1-\lambda) d(u_2, v_2)$.
  • Tiên đề 5 (Sự lồi hóa): Tồn tại giới hạn $\lim_{n \to \infty} [n^{-1}, u]{i=1}^n = K_X u = Ku$, trong đó $K$ là toán tử lồi hóa. Miền khả lồi $K(X) = {u \in X : u = [\lambda_i, u]{i=1}^n}$.

2. Không gian tập compact $c(X)$ và không gian tập mờ $\mathcal{F}(X)$:

  • Không gian $c(X)$ gồm các tập con compact khác rỗng của $X$ trang bị metric Hausdorff $d_H$ và phép toán tổ hợp lồi $[\lambda_i, A_i]{i=1}^n = {[\lambda_i, u_i]{i=1}^n : u_i \in A_i}$ cũng là một không gian tổ hợp lồi với toán tử $K_{c(X)} A = \overline{\text{co}}(KX A)$.
  • Không gian tập mờ $\mathcal{F}(X)$ gồm các hàm $v: X \to [0, 1]$ nửa liên tục trên, $\sup v = 1$, giá $\text{supp}, v = \text{cl}{x : v(x) > 0}$ compact, với các lát cắt mức $L_\alpha v = {x \in X : v(x) \ge \alpha}$ ($\alpha \in (0, 1]$) và $L_\alpha^+ v = \text{cl}{x \in X : v(x) > \alpha}$ ($\alpha \in [0, 1)$). $\mathcal{F}(X)$ trang bị metric $d_\infty(u, v) = \sup_{\alpha > 0} d_H(L_\alpha u, L_\alpha v)$ hoặc $d_p(u, v) = (\int_0^1 d_H^p(L_\alpha u, L_\alpha v)d\alpha)^{1/p}$.

3. Khái niệm kỳ vọng và điều kiện tích phân:

  • Kỳ vọng của biến ngẫu nhiên đơn giản $X$: $EX = [P(\Omega_i), Kx_i]{i=1}^n \in K(X)$. Với biến ngẫu nhiên khả tích ($d(u_0, X) \in L^1$), $EX = \lim{k \to \infty} E\phi_k(X)$ thông qua xấp xỉ đơn giản.
  • Kỳ vọng biến ngẫu nhiên mờ theo nghĩa Puri-Ralescu: $L_\alpha^+(E_{\mathcal{F}(X)} X) = E_{c(X)}(L_\alpha^+ X)$.
  • Họ biến ngẫu nhiên ${X_i}{i \in I}$ là compact khả tích đều (CUI) nếu $\sup{i \in I} E[d(u_0, X_i) I_{{X_i \notin K_\varepsilon}}] \le \varepsilon$.
  • Dãy ${X_n}$ là Cesàro CUI bậc $r > 0$ nếu $\sup_{n \ge 1} n^{-1} \sum_{i=1}^n E[d^r(u_0, X_i) I_{{X_i \notin K_\varepsilon}}] \le \varepsilon$.

Phương pháp nghiên cứu thực tế

Nghiên cứu sử dụng thuần túy các phương pháp suy diễn giải tích toán học và giải tích ngẫu nhiên:

  • Phương pháp chặt cụt (Truncation method): Tách biến ngẫu nhiên thành phần bị chặn trên tập compact và phần đuôi tích phân vô cùng bé.
  • Phương pháp xấp xỉ (Approximation method): Xấp xỉ biến ngẫu nhiên nhận giá trị trong không gian metric khả ly bằng dãy biến ngẫu nhiên đơn giản đếm được thông qua hàm chọn $\phi_k(x) = u_{m_k(x)}$.
  • Khai thác cấu trúc tập compact: Phủ tập compact bằng hữu hạn hình cầu mở bán kính $\varepsilon$ để chuyển bài toán từ vô hạn chiều về hữu hạn chiều.
  • Bất đẳng thức giải tích: Khai thác tính chất không giãn của toán tử lồi hóa $d(Ku, Kv) \le d(u, v)$ và bất đẳng thức khoảng cách trên miền khả lồi $K(X)$: $$d([a_i, x_i]{i=1}^n, [b_i, y_i]{i=1}^n) \le \sum_{i=1}^n |a_i - b_i| |x_i|{u_0} + \sum{i=1}^n b_i d(x_i, y_i)$$

Nội dung chính theo từng chương

Chương 1. Các kiến thức chuẩn bị

Chương 1 hệ thống hóa và thiết lập các bổ đề cơ sở về không gian tổ hợp lồi, biến ngẫu nhiên và biến ngẫu nhiên mờ:

  • Mục 1.1: Trình bày 5 tiên đề không gian tổ hợp lồi, chứng minh tính liên tục đối với $2n$ biến của phép toán tổ hợp lồi (Bổ đề 1.2), tính tuyến tính của toán tử $K$ (Mệnh đề 1.3), tính lũy đẳng $K(Ku) = Ku$ (Hệ quả 1.4), và tính không giãn $d(Ku, Kv) \le d(u, v)$ (Mệnh đề 1.6). Thiết lập cấu trúc không gian tổ hợp lồi cho $c(X)$ (Định lý 1.8).
  • Mục 1.2: Định nghĩa biến ngẫu nhiên $X$-giá trị, phân phối xác suất, các khái niệm hội tụ (hầu chắc chắn, đầy đủ, $L^p$, xác suất). Xây dựng cấu trúc kỳ vọng $EX \in K(X)$ qua dãy xấp xỉ $\phi_k(X)$ (Mệnh đề 1.13) và chứng minh $d(EX, EY) \le E d(X, Y)$. Đưa ra định nghĩa CUI và Cesàro CUI bậc $r$, đồng thời chứng minh tính độc lập của khái niệm CUI đối với việc chọn phần tử gốc $u_0 \in K(X)$ (Mệnh đề 1.17).
  • Mục 1.3: Thiết lập không gian tập mờ $\mathcal{F}(X)$ với các metric $d_\infty, d_p$. Chứng minh tính giao hoán giữa toán tử cắt mức $L_\alpha^+$ và phép toán tổ hợp lồi, cũng như với toán tử kỳ vọng: $L_\alpha^+([\lambda_i, v_i]{i=1}^n) = [\lambda_i, L\alpha^+ v_i]{i=1}^n$ và $L\alpha^+(E_{\mathcal{F}(X)} X) = E_{c(X)}(L_\alpha^+ X)$ (Mệnh đề 1.20). Chứng minh rằng nếu họ biến ngẫu nhiên mờ ${X_i}$ độc lập (hoặc độc lập đôi một) thì họ các lát cắt ${L_\alpha^+ X_i}$ cũng độc lập (hoặc độc lập đôi một) trên $c(X)$ với mọi $\alpha \in [0, 1)$ (Bổ đề 1.21).

Chương 2. Một số dạng luật số lớn cho dãy và mảng tam giác các biến ngẫu nhiên nhận giá trị trong không gian tổ hợp lồi

Chương này tập trung thiết lập các định lý giới hạn cho biến ngẫu nhiên nhận giá trị trong $X$ và $c(X)$:

  • Mục 2.1 (Luật mạnh số lớn đối với dãy $m$-phụ thuộc đôi một theo khối):
    • Mệnh đề 2.1: Chứng minh rằng nếu ${X_n}$ là dãy $m$-phụ thuộc đôi một theo khối tập trung trên tập compact $K \subset X$ ($P(X_n \in K) = 1$) thì: $$d([n^{-1}, X_i]{i=1}^n, [n^{-1}, EX_i]{i=1}^n) \to 0 \quad \text{h.c. khi } n \to \infty$$
    • Định lý 2.2: Thiết lập luật mạnh số lớn cho dãy ${X_n}$ $m$-phụ thuộc theo khối và Cesàro CUI thỏa mãn điều kiện phương sai: $$\sum_{n=1}^\infty \frac{E|X_n|{u_0}^2}{n^2} < \infty \implies d([n^{-1}, X_i]{i=1}^n, [n^{-1}, EX_i]_{i=1}^n) \to 0 \quad \text{h.c.}$$
    • Định lý 2.3: Thiết lập luật mạnh số lớn cho dãy ${X_n}$ $m$-phụ thuộc đôi một theo khối và Cesàro CUI khi chuỗi ${|X_n|_{u_0}}$ bị chặn ngẫu nhiên bởi biến ngẫu nhiên thực $X$ ($E|X| < \infty$).
    • Định lý 2.5 & 2.6: Chứng minh luật mạnh số lớn cho dãy ${X_n}$ $m$-phụ thuộc theo khối (hoặc $m$-phụ thuộc đôi một) và cùng phân phối thỏa mãn $E|X|{u_0} < \infty$, suy ra $[n^{-1}, X_i]{i=1}^n \to EX$ h.c. Kết quả này mở rộng trực tiếp định lý của Terán và Molchanov (2006) khi loại bỏ ràng buộc độc lập.
    • Hệ quả 2.7, 2.8, 2.9: Chuyển tiếp toàn bộ các kết quả trên sang không gian các tập compact $(c(X), d_H)$.
  • Mục 2.2 (Sự hội tụ đầy đủ và luật mạnh cho mảng tam giác):
    • Mệnh đề 2.10: Với 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 tập compact $K$, chứng minh: $$d([n^{-1}, X_{ni}]{i=1}^n, [n^{-1}, EX{ni}]_{i=1}^n) \xrightarrow{c} 0 \quad (\text{hội tụ đầy đủ và kéo theo hội tụ h.c.})$$
    • Định lý 2.11: Chứng minh sự hội tụ đầy đủ và luật mạnh số lớn cho mảng tam giác ${X_{ni}}$ độc lập theo hàng và CUI nếu thỏa mãn một trong hai điều kiện:
      1. Mảng ${|X_{ni}|_{u_0}}$ bị chặn đều bởi biến ngẫu nhiên thực $X$ có $EX^2 < \infty$.
      2. Từng hàng ${|X_{ni}|{u_0} : 1 \le i \le n}$ bị chặn đều bởi $X_n$ thỏa mãn $\sum{n=1}^\infty n^{-p} E|X_n|^{2p} < \infty$ với một số $p > 1$.

Chương 3. Một số dạng luật số lớn cho dãy, mảng tam giác và mảng hai chiều các biến ngẫu nhiên mờ trong không gian tổ hợp lồi

Chương 3 mở rộng các kết quả giải tích ngẫu nhiên lên không gian tập mờ $\mathcal{F}(X)$ dưới metric $d_\infty$:

  • Mục 3.1: Xây dựng khái niệm CUI $(\alpha, \alpha^+)$-từng mức và Cesàro CUI bậc $r$ $(\alpha, \alpha^+)$-từng mức cho họ các biến ngẫu nhiên mờ thông qua tính compact khả tích đều của các lát cắt mức $L_\alpha X$ và $L_\alpha^+ X$.
  • Mục 3.2: Thiết lập sự hội tụ đầy đủ và luật mạnh số lớn cho mảng tam giác các biến ngẫu nhiên mờ ${X_{ni}}$ độc lập theo hàng và CUI $(\alpha, \alpha^+)$-từng mức trong không gian tổ hợp lồi theo metric $d_\infty$.
  • Mục 3.3: Thiết lập luật mạnh số lớn cho mảng hai chiều các biến ngẫu nhiên mờ ${X_{mn} : m \ge 1, n \ge 1}$ trong không gian tổ hợp lồi dưới hai trường hợp: (1) độc lập và CUI $(\alpha, \alpha^+)$-từng mức; (2) độc lập đôi một và cùng phân phối.
  • Mục 3.4: Thiết lập các điều kiện cần và đủ cho sự hội tụ theo trung bình cấp $p$ ($L^p$) và luật yếu số lớn (hội tụ theo xác suất) đối với dãy các biến ngẫu nhiên mờ trong không gian tổ hợp lồi.

Kết quả và những đóng góp mới

Luận án đạt được các kết quả khoa học mới về mặt lý thuyết xác suất:

  1. Mở rộng phạm vi cấu trúc không gian: Mở rộng thành công các định lý giới hạn kinh điển từ không gian Euclid $\mathbb{R}^d$ và không gian Banach sang không gian metric trang bị phép toán tổ hợp lồi $(X, d)$, không gian các tập compact $(c(X), d_H)$ và không gian các tập mờ $(\mathcal{F}(X), d_\infty)$.
  2. Nới lỏng điều kiện phụ thuộc: Thay thế điều kiện độc lập truyền thống bằng các điều kiện phụ thuộc yếu hơn gồm $m$-phụ thuộc theo khối, $m$-phụ thuộc đôi một theo khối đối với dãy biến ngẫu nhiên, và độc lập theo hàng đối với mảng tam giác.
  3. Tổng quát hóa điều kiện khả tích: Đưa ra và ứng dụng thành công các khái niệm compact khả tích đều theo nghĩa Cesàro bậc $r$ (Cesàro CUI) và CUI $(\alpha, \alpha^+)$-từng mức, thay thế cho các điều kiện chặn mômen chặt chẽ trước đây.
  4. Hệ thống hóa định lý giới hạn mờ: Thiết lập đồng bộ các dạng hội tụ (hầu chắc chắn, đầy đủ, theo xác suất, theo trung bình) cho các cấu trúc dãy, mảng tam giác và mảng hai chiều các biến ngẫu nhiên mờ theo metric cực đại $d_\infty$.
  5. Công bố khoa học: Toàn bộ các kết quả cốt lõi của luận án đã được công bố trên các tạp chí quốc tế chuyên ngành gồm Fuzzy Sets and Systems, Statistics and Probability Letters, và Applications of Mathematics.

Hạn chế và hướng nghiên cứu tiếp

  • Hạn chế:
    • Nghiên cứu giới hạn trong lớp không gian metric khả ly đầy đủ có tính chất độ cong âm (tiên đề 4 của không gian tổ hợp lồi); chưa mở rộng cho các không gian metric tổng quát không có tính chất lồi hóa.
    • Cấu trúc phụ thuộc dừng lại ở mức $m$-phụ thuộc khối và độc lập theo hàng; chưa xét đến các cấu trúc phụ thuộc phức tạp hơn như phụ thuộc martingale, dãy trộn mạnh ($\alpha$-mixing, $\varphi$-mixing) hay phụ thuộc âm/dương liên kết (negatively/positively associated).
    • Đối với không gian mờ, các kết quả hội tụ mạnh chủ yếu đạt được đối với metric $d_\infty$, trong khi các tính chất topo của metric tích phân $d_p$ ($p \ge 1$) khi không gian thiếu tính đầy đủ vẫn là một rào cản kỹ thuật.
  • Hướng nghiên cứu tiếp:
    • Khảo sát nguyên lý bất biến và định lý giới hạn trung tâm (Central Limit Theorem) cho biến ngẫu nhiên và biến ngẫu nhiên mờ trong không gian tổ hợp lồi.
    • Nghiên cứu định lý giới hạn cho các trường ngẫu nhiên đa chỉ số với cấu trúc phụ thuộc yếu trên không gian tổ hợp lồi.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo có giá trị chuyên môn cao đối với:

  • Nghiên cứu sinh và học viên cao học: Chuyên ngành Lý thuyết xác suất và Thống kê toán học, Toán giải tích, Toán ứng dụng muốn tiếp cận kỹ thuật giải tích ngẫu nhiên trên các cấu trúc phi tuyến.
  • Giảng viên và nhà nghiên cứu lý thuyết xác suất: Tham khảo phương pháp sử dụng toán tử lồi hóa $K$, kỹ thuật xấp xỉ compact và xử lý độ đo mờ trong không gian phi Banach.
  • Các nhà nghiên cứu xử lý thông tin mờ: Cung cấp nền tảng toán học chặt chẽ về luật số lớn cho các biến ngẫu nhiên mờ, phục vụ mô hình hóa độ bất định trong điều khiển học, xử lý hình ảnh và trí tuệ nhân tạo.
  • Phần đáng tham khảo nhất: Chương 1 (hệ tiên đề và kỹ thuật xây dựng kỳ vọng phi tuyến) và Chương 2 (kỹ thuật chứng minh luật mạnh số lớn dưới điều kiện $m$-phụ thuộc khối và Cesàro CUI).

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

1. Không gian tổ hợp lồi khác không gian Banach ở điểm cơ bản nào?

Không gian tổ hợp lồi $(X, d)$ chỉ yêu cầu cấu trúc metric đầy đủ khả ly cùng phép toán tổ hợp lồi $[\lambda_i, u_i]_{i=1}^n$ thỏa mãn 5 tiên đề (giao hoán, kết hợp, liên tục, độ cong âm, lồi hóa), không đòi hỏi cấu trúc không gian véc-tơ tuyến tính hay phép nhân vô hướng với số âm. Do đó, không gian các tập con compact $c(X)$ và không gian tập mờ $\mathcal{F}(X)$ là các không gian tổ hợp lồi nhưng không phải là không gian Banach.

2. Toán tử lồi hóa $K$ có vai trò gì trong việc định nghĩa kỳ vọng?

Toán tử lồi hóa $K$ được định nghĩa qua giới hạn $Ku = \lim_{n \to \infty} [n^{-1}, u]{i=1}^n$. Trong không gian tổ hợp lồi tổng quát, $Ku$ không nhất thiết trùng với $u$ ($u$ chỉ bằng $Ku$ khi $u$ thuộc miền khả lồi $K(X)$). Kỳ vọng của biến ngẫu nhiên đơn giản $X$ bắt buộc phải được định nghĩa thông qua ảnh của toán tử lồi hóa: $EX = [P(\Omega_i), Kx_i]{i=1}^n$, đảm bảo giá trị kỳ vọng luôn rơi vào miền khả lồi $K(X)$.

3. Dãy biến ngẫu nhiên $m$-phụ thuộc đôi một theo khối được định nghĩa như thế nào?

Dãy ${X_n : n \ge 1}$ được gọi là $m$-phụ thuộc đôi một theo khối nếu với mỗi số nguyên không âm $k \in \mathbb{N}_0$, họ biến ngẫu nhiên ${X_n : 2^k \le n < 2^{k+1}}$ là $m$-phụ thuộc đôi một, nghĩa là trong khối chỉ số $[2^k, 2^{k+1})$, hai biến ngẫu nhiên $X_i$ và $X_j$ độc lập với nhau khi khoảng cách chỉ số $|j - i| > m$.

4. Điều kiện Cesàro CUI bậc $r$ nới lỏng điều kiện CUI như thế nào?

Điều kiện compact khả tích đều (CUI) đòi hỏi chặn đều trên từng biến ngẫu nhiên riêng lẻ: $\sup_{i} E[d(u_0, X_i) I_{{X_i \notin K_\varepsilon}}] \le \varepsilon$. Trong khi đó, Cesàro CUI bậc $r$ chỉ yêu cầu chặn trung bình cộng Cesàro: $\sup_{n \ge 1} n^{-1} \sum_{i=1}^n E[d^r(u_0, X_i) I_{{X_i \notin K_\varepsilon}}] \le \varepsilon$. Mọi họ CUI đều là Cesàro CUI, nhưng chiều ngược lại cho phép một số biến ngẫu nhiên có đuôi tích phân lớn miễn là giá trị trung bình cộng Cesàro vẫn hội tụ đều về 0 ngoài tập compact.

Kết luận

Luận án tiến sĩ của tác giả Phạm Trí Nguyễn đã giải quyết trọn vẹn và có hệ thống bài toán thiết lập các định lý giới hạn dạng luật số lớn (luật mạnh, luật yếu, sự hội tụ đầy đủ, hội tụ theo trung bình) cho dãy, mảng tam giác và mảng hai chiều các biến ngẫu nhiên và biến ngẫu nhiên mờ trong không gian tổ hợp lồi. Bằng việc kết hợp phương pháp chặt cụt, xấp xỉ đơn giản và khai thác tính compact, luận án đã mở rộng thành công các kết quả kinh điển sang không gian metric phi tuyến dưới các điều kiện phụ thuộc yếu ($m$-phụ thuộc khối, độc lập theo hàng) và điều kiện tích phân Cesàro. Công trình đóng góp nền tảng lý thuyết xác suất vững chắc cho chuyên ngành Lý thuyết xác suất - Thống kê toán học và giải tích ngẫu nhiên mờ.