Bạn nên thận trọng với khái niệm giới hạn của một dãy các tập hợp: bạn thử nghĩ lại về định nghĩa cổ điển về sự hội tụ và giới hạn của một dãy số thực, sẽ thấy là định nghĩa này không có ý nghĩa rõ ràng trong trường hợp dãy tập hợp.
Thông thường người ta không dùng khái niệm $\lim\limits_{n \to \infty} X_n$ mà dùng khái niệm $\lim\sup\limits_{n \to \infty} X_n$ được định nghĩa bởi $$\lim\limits_{n \to \infty}\sup X_n = \bigcap\limits_{n \in \mathbb{N}}\bigcup\limits_{k \geq n} X_k$$Với định nghĩa này, nếu $l\left(X_n\right) = 0$ với mọi $n$ thì $\sum\limits_{n\in \mathbb{N}} l\left(X_n\right) < \infty$, theo bổ đề Borel-Cantelli ta có ngay $l\left(\lim\limits_{n \to \infty}\sup X_n\right) = 0$.
Còn về thắc mắc của bạn, thì như nmlinh16 đã nói, $X_{\infty}$ không có liên quan gì đến $\left(X_n\right)_{n\in\mathbb{N}}$. Cụ thể là tập hợp $\left\{x \in \mathbb{R}; \frac{x}{\infty} = 0 \right\}$, với quy ước rằng $\frac{x}{\infty} = 0$ với mọi $x \in \mathbb{R}$, đúng là $\mathbb{R}$ thật, nhưng nó không phải là giới hạn của dãy $\left(X_n\right)_{n\in\mathbb{N}}$ (dãy này gồm toàn các tập hợp $\left\{0\right\}$, nên có giới hạn, như nmlinh16 đã nói, là $\left\{0\right\}$).
Bài viết đã được chỉnh sửa nội dung bởi Konstante: 21-03-2024 - 10:31