Định Lý Weierstrass Về Giới Hạn Của Dãy Số Đơn Điệu: Nền Tảng Hội Tụ Trong Giải Tích
Định lý Weierstrass về giới hạn của dãy số đơn điệu là một trong những kết quả căn bản nhất trong lĩnh vực Giải tích Toán học. Định lý này cung cấp tiêu chí mạnh mẽ và dễ kiểm tra để xác định sự hội tụ của một dãy số thực. Việc nắm vững định lý giúp chúng ta chứng minh sự tồn tại giới hạn mà không cần biết chính xác giá trị của giới hạn đó. Nó là cầu nối quan trọng giữa các khái niệm về tính bị chặn, tính đơn điệu và tiên đề đầy đủ của tập số thực. Hiểu rõ định lý này là bước đệm thiết yếu để khám phá các khái niệm nâng cao hơn trong giải tích.
Tổng Quan Về Định Lý Weierstrass Về Giới Hạn Của Dãy Số Đơn Điệu
Định lý Weierstrass về giới hạn của dãy số đơn điệu, thường được gọi là Định lý Hội tụ Đơn điệu (Monotone Convergence Theorem – MCT), là một công cụ nền tảng. Nó khẳng định một điều kiện đủ để một dãy số thực hội tụ. Định lý này là bằng chứng cho thấy cấu trúc của tập hợp số thực $mathbb{R}$ là “đầy đủ” (complete).
Phát Biểu Chính Thức Của Định Lý
Định lý phát biểu rằng mọi dãy số thực đơn điệu và bị chặn đều có giới hạn hữu hạn. Có hai trường hợp cụ thể.
- Trường hợp 1: Nếu một dãy số $(u_n)$ là dãy tăng (hay không giảm) và bị chặn trên, thì dãy đó hội tụ.
- Trường hợp 2: Nếu một dãy số $(u_n)$ là dãy giảm (hay không tăng) và bị chặn dưới, thì dãy đó hội tụ.
Trong trường hợp dãy tăng và bị chặn trên, giới hạn của dãy chính là cận trên đúng (supremum) của tập hợp các giá trị của dãy. Tương tự, nếu dãy giảm và bị chặn dưới, giới hạn là cận dưới đúng (infimum). Sự tồn tại của giới hạn là một kết quả trực tiếp từ tiên đề đầy đủ của số thực.
Bối Cảnh Lịch Sử và Vai Trò Của Karl Weierstrass
Định lý này được đặt theo tên của nhà toán học vĩ đại người Đức Karl Weierstrass (1815-1897). Weierstrass là người tiên phong trong việc thiết lập một nền tảng chặt chẽ cho Giải tích. Ông nổi tiếng với việc đưa ra các định nghĩa $epsilon-delta$ nghiêm ngặt cho giới hạn, tính liên tục và đạo hàm.
Trước thời Weierstrass, nhiều khái niệm trong giải tích được dựa trên sự trực giác hình học. Weierstrass và các đồng nghiệp đã sử dụng tính chất đầy đủ của số thực để chứng minh các định lý cơ bản. Định lý về giới hạn của dãy số đơn điệu là một trong những thành tựu quan trọng nhất của công trình này. Nó giúp Giải tích chuyển từ một bộ môn dựa trên trực giác sang một khoa học dựa trên logic toán học.
Các Khái Niệm Tiền Đề: Dãy Đơn Điệu và Dãy Bị Chặn
Để áp dụng định lý Weierstrass, cần hiểu rõ hai khái niệm cốt lõi. Đó là tính đơn điệu và tính bị chặn của dãy số.
Dãy Số Đơn Điệu
Dãy số $(u_n)$ được gọi là đơn điệu nếu nó thỏa mãn một trong hai điều kiện sau.
- Dãy tăng (hay không giảm): $un le u{n+1}$ với mọi $n$ thuộc tập số tự nhiên.
- Dãy giảm (hay không tăng): $un ge u{n+1}$ với mọi $n$ thuộc tập số tự nhiên.
Nếu bất đẳng thức là nghiêm ngặt ($un < u{n+1}$ hoặc $un > u{n+1}$), ta gọi dãy đó là dãy tăng nghiêm ngặt hoặc dãy giảm nghiêm ngặt. Tính đơn điệu cho ta một “hướng đi” nhất quán cho các phần tử của dãy.
Dãy Số Bị Chặn
Dãy số $(u_n)$ được gọi là bị chặn nếu các giá trị của nó không vượt ra ngoài một khoảng hữu hạn.
- Bị chặn trên: Tồn tại số thực $M$ sao cho $u_n le M$ với mọi $n$.
- Bị chặn dưới: Tồn tại số thực $m$ sao cho $u_n ge m$ với mọi $n$.
Dãy bị chặn là dãy bị chặn cả trên và dưới. Tính bị chặn đảm bảo rằng các phần tử của dãy không thể “thoát ra vô tận”.
Cơ Sở Lý Thuyết: Chứng Minh Chi Tiết Định Lý
Chứng minh định lý Weierstrass là một minh họa tuyệt vời cho tính chất đầy đủ của số thực. Chúng ta sẽ chứng minh trường hợp dãy tăng và bị chặn trên. Trường hợp dãy giảm và bị chặn dưới được chứng minh tương tự.
Vai Trò Của Tiên Đề Supremum (Axiom of Completeness)
Tiên đề supremum, hay Tiên đề Cận Trên Đúng, là cốt lõi của việc chứng minh. Tiên đề này khẳng định rằng mọi tập hợp con không rỗng và bị chặn trên của $mathbb{R}$ đều có một cận trên đúng (supremum). Cận trên đúng là cận trên nhỏ nhất của tập hợp đó.
Tính chất này phân biệt tập số thực $mathbb{R}$ với tập số hữu tỉ $mathbb{Q}$. Tập $mathbb{Q}$ không đầy đủ. Điều này có nghĩa là, nếu định lý Weierstrass được áp dụng cho dãy số hữu tỉ, giới hạn của nó có thể là một số vô tỉ (và do đó không tồn tại trong $mathbb{Q}$).
Chứng Minh Trường Hợp Dãy Tăng và Bị Chặn Trên
Xét dãy số $(u_n)$ là dãy tăng và bị chặn trên.
Bước 1: Khẳng định sự tồn tại của cận trên đúng
Do dãy $(u_n)$ bị chặn trên, tập hợp các giá trị của dãy, $E = {u_1, u_2, u_3, dots }$, là một tập hợp con không rỗng của $mathbb{R}$ và bị chặn trên. Theo Tiên đề Supremum, tập $E$ phải có một cận trên đúng, gọi là $L$.
$$L = sup(E) = sup{u_n}$$
Bước 2: Chứng minh $L$ là giới hạn của dãy
Theo định nghĩa của cận trên đúng, $L$ phải thỏa mãn hai điều kiện:
- $L$ là cận trên: $u_n le L$ với mọi $n in mathbb{N}$.
- $L$ là cận trên nhỏ nhất: Với mọi số $epsilon > 0$ (dù nhỏ đến đâu), $L – epsilon$ không phải là cận trên của $E$.
Từ điều kiện 2, tồn tại một chỉ số $N$ sao cho:
$$L – epsilon < u_N$$
Vì dãy $(u_n)$ là dãy tăng (hay không giảm), ta có:
$$u_n ge u_N text{ với mọi } n ge N$$
Kết hợp các bất đẳng thức, với mọi $n ge N$:
$$L – epsilon < u_N le u_n$$
Mặt khác, do $L$ là cận trên của $E$, ta luôn có $u_n le L$. Điều này tương đương với:
$$u_n – L le 0 < epsilon implies u_n < L + epsilon$$
Kết hợp hai kết quả:
$$L – epsilon < u_n < L + epsilon text{ với mọi } n ge N$$
Điều này chính là định nghĩa $epsilon – N$ của giới hạn:
$$|u_n – L| < epsilon text{ với mọi } n ge N$$
Vậy, dãy $(un)$ hội tụ và giới hạn của nó là $L$.
$$lim{ntoinfty} u_n = L = sup{u_n}$$
Chứng Minh Trường Hợp Dãy Giảm và Bị Chặn Dưới
Chứng minh được thực hiện tương tự bằng cách sử dụng khái niệm cận dưới đúng (infimum).
Xét dãy số $(u_n)$ là dãy giảm và bị chặn dưới. Tập hợp các giá trị $E = {u_n}$ là không rỗng và bị chặn dưới. Theo tính chất của $mathbb{R}$, tập $E$ phải có một cận dưới đúng, gọi là $L$.
$$L = inf(E) = inf{u_n}$$
Do $L$ là cận dưới đúng, với mọi $epsilon > 0$, $L + epsilon$ không phải là cận dưới. Do đó, tồn tại chỉ số $N$ sao cho:
$$u_N < L + epsilon$$
Vì dãy $(u_n)$ là dãy giảm (hay không tăng), ta có $u_n le u_N$ với mọi $n ge N$.
Kết hợp lại, với mọi $n ge N$:
$$L le u_n le u_N < L + epsilon$$
Điều này dẫn đến:
$$|u_n – L| < epsilon text{ với mọi } n ge N$$
Vậy, dãy $(un)$ hội tụ và giới hạn của nó là $L$.
$$lim{ntoinfty} u_n = L = inf{u_n}$$
Phân Tích Sâu Sắc Vai Trò Của Tính Đơn Điệu và Tính Bị Chặn
Định lý Weierstrass yêu cầu cả hai điều kiện: tính đơn điệu và tính bị chặn. Cả hai điều kiện này đều là thiết yếu. Nếu thiếu một trong hai, sự hội tụ không được đảm bảo.
Điều Gì Xảy Ra Khi Thiếu Tính Đơn Điệu?
Nếu dãy số bị chặn nhưng không đơn điệu, nó có thể không hội tụ.
Ví dụ: Xét dãy số đan dấu $u_n = (-1)^n$.
- Tính Bị Chặn: Dãy này bị chặn. Ta có $-1 le u_n le 1$ với mọi $n$.
- Tính Đơn Điệu: Dãy này không đơn điệu. Nó luân phiên giữa $-1$ và $1$.
- $u_1 = -1, u_2 = 1, u_3 = -1, u_4 = 1, dots$
Dãy $u_n$ không hội tụ. Nó có hai giới hạn riêng biệt của dãy con là $-1$ và $1$. Dãy số hội tụ chỉ khi nó có duy nhất một giới hạn. Do đó, tính đơn điệu là cần thiết để đảm bảo các phần tử “tiến về” một điểm duy nhất.
Điều Gì Xảy Ra Khi Thiếu Tính Bị Chặn?
Nếu dãy số đơn điệu nhưng không bị chặn, nó không thể hội tụ về một giới hạn hữu hạn. Thay vào đó, nó phân kỳ.
Ví dụ: Xét dãy số $u_n = n$.
- Tính Đơn Điệu: Dãy này là dãy tăng nghiêm ngặt ($u_{n+1} = n+1 > n = u_n$).
- Tính Bị Chặn: Dãy này bị chặn dưới bởi $1$ nhưng không bị chặn trên.
Khi $n to infty$, $u_n to +infty$. Dãy này phân kỳ ra vô cực. Trong trường hợp này, ta nói dãy có giới hạn vô cực, nhưng theo định nghĩa hội tụ (về một giới hạn hữu hạn), dãy này không hội tụ. Tính bị chặn là điều kiện tiên quyết để đảm bảo giới hạn (nếu có) là hữu hạn.
Mối Liên Hệ Với Giới Hạn Trên và Giới Hạn Dưới
Đối với một dãy số bất kỳ, chúng ta luôn có khái niệm giới hạn trên (limsup) và giới hạn dưới (liminf).
- Giới hạn trên ($limsup u_n$) là giới hạn lớn nhất của các dãy con hội tụ của $(u_n)$.
- Giới hạn dưới ($liminf u_n$) là giới hạn nhỏ nhất của các dãy con hội tụ của $(u_n)$.
Định lý quan trọng: Một dãy số hội tụ khi và chỉ khi $liminf u_n = limsup u_n$.
Đối với dãy số đơn điệu và bị chặn, tính đơn điệu đảm bảo rằng tất cả các dãy con hội tụ đều có cùng một giới hạn.
- Nếu $(u_n)$ tăng và bị chặn trên, thì $limsup u_n = sup{u_n}$ và $liminf u_n = sup{u_n}$.
- Nếu $(u_n)$ giảm và bị chặn dưới, thì $limsup u_n = inf{u_n}$ và $liminf u_n = inf{u_n}$.
Sự bằng nhau của giới hạn trên và giới hạn dưới chính là bản chất toán học của sự hội tụ được đảm bảo bởi định lý weierstrass về giới hạn.
Các Ứng Dụng Thực Tiễn và Bài Toán Mẫu
Định lý Weierstrass là công cụ không thể thiếu để giải quyết các bài toán giới hạn dãy số, đặc biệt là các dãy được định nghĩa bằng công thức truy hồi hoặc các hằng số toán học quan trọng.
Ứng Dụng Trong Việc Xác Định Giới Hạn Của Các Dãy Truy Hồi
Các dãy số truy hồi thường là những ứng dụng kinh điển của định lý này. Để chứng minh một dãy truy hồi hội tụ, ta cần thực hiện hai bước chính.
- Chứng minh tính đơn điệu: Thường bằng cách xét hiệu $u_{n+1} – un$ hoặc tỉ số $frac{u{n+1}}{u_n}$.
- Chứng minh tính bị chặn: Thường bằng phương pháp quy nạp toán học.
Ví dụ (Dãy số trong bài viết gốc):
Xét dãy số $(u_n)$ được xác định bởi $u1 = frac{1}{sqrt{2}}$ và $u{n+1} = frac{1}{3}u_n^2 + frac{2}{3}$ (Dựa trên suy luận từ chứng minh giới hạn trong snippet gốc).
Bước 1: Chứng minh tính bị chặn trên (Ví dụ chứng minh $u_n < 1$)
Ta chứng minh bằng quy nạp.
- Với $n=1$: $u_1 = frac{1}{sqrt{2}} approx 0.707 < 1$. Mệnh đề đúng.
- Giả sử $u_k < 1$ đúng với $k ge 1$.
- Cần chứng minh $u{k+1} < 1$.
$$u{k+1} = frac{1}{3}u_k^2 + frac{2}{3}$$
Vì $u_k < 1$, ta có $uk^2 < 1$.
$$u{k+1} < frac{1}{3}(1) + frac{2}{3} = frac{3}{3} = 1$$
Mệnh đề đúng với $k+1$. Vậy $u_n$ bị chặn trên bởi $1$.
Bước 2: Chứng minh tính đơn điệu (Ví dụ chứng minh $u_n$ tăng)
Ta xét hiệu $u_{n+1} – un$:
$$u{n+1} – u_n = left(frac{1}{3}u_n^2 + frac{2}{3}right) – u_n = frac{1}{3}(u_n^2 – 3un + 2)$$
Ta phân tích đa thức bậc hai $x^2 – 3x + 2 = (x-1)(x-2)$.
$$u{n+1} – u_n = frac{1}{3}(u_n – 1)(u_n – 2)$$
Vì $u_n < 1$, ta có:
- $(u_n – 1)$ là số âm.
- $(un – 2)$ là số âm.
Tích của hai số âm là số dương.
$$u{n+1} – un > 0 implies u{n+1} > u_n$$
Vậy dãy $(u_n)$ là dãy tăng.
Bước 3: Kết luận và Tìm giới hạn
Dãy $(u_n)$ là dãy tăng và bị chặn trên. Theo định lý weierstrass về giới hạn, dãy $(un)$ hội tụ đến một giới hạn hữu hạn $a$.
Ta tìm giới hạn $a$ bằng cách cho $n to infty$ trong công thức truy hồi:
$$lim{ntoinfty} u{n+1} = lim{ntoinfty} left(frac{1}{3}u_n^2 + frac{2}{3}right)$$
$$a = frac{1}{3}a^2 + frac{2}{3}$$
Giải phương trình:
$$3a = a^2 + 2$$
$$a^2 – 3a + 2 = 0$$
$$(a-1)(a-2) = 0$$
Ta có hai nghiệm $a=1$ hoặc $a=2$.
Vì dãy $(u_n)$ tăng và bị chặn trên bởi $1$, giới hạn $a$ phải thỏa mãn $a = sup{u_n} le 1$.
Vậy ta chọn $a=1$. Giới hạn của dãy là $1$.
Ví Dụ 2: Giới Hạn Của Dãy Định Nghĩa Bởi Căn Thức Lồng Nhau
Xét dãy số $(u_n)$ được định nghĩa bởi $u1 = sqrt{2}$ và $u{n+1} = sqrt{2 + u_n}$.
Chứng minh tính bị chặn trên (bởi 2):
- $u_1 = sqrt{2} < 2$.
- Giả sử $uk < 2$. Ta có $u{k+1} = sqrt{2 + u_k} < sqrt{2 + 2} = sqrt{4} = 2$.
- Vậy $u_n < 2$ với mọi $n$. Dãy bị chặn trên.
Chứng minh tính đơn điệu (dãy tăng):
- Ta xét $u_{n+1}^2 – u_n^2 = (2 + u_n) – u_n^2 = -u_n^2 + u_n + 2 = (2 – u_n)(u_n + 1)$.
- Vì $0 < u_n < 2$, cả hai thừa số $(2 – u_n)$ và $(u_n + 1)$ đều dương.
- Do đó $u_{n+1}^2 – un^2 > 0 implies u{n+1}^2 > u_n^2$. Vì $un > 0$, ta có $u{n+1} > u_n$.
- Vậy dãy $(u_n)$ là dãy tăng.
Theo định lý weierstrass về giới hạn, dãy hội tụ đến $a le 2$.
Tìm giới hạn $a$:
$$a = sqrt{2 + a}$$
$$a^2 = 2 + a$$
$$a^2 – a – 2 = 0$$
$$(a-2)(a+1) = 0$$
Vì $u_n > 0$, giới hạn $a$ phải là số dương. Ta chọn $a=2$. Giới hạn của dãy là $2$.
Ứng Dụng Trong Giải Tích: Sự Hội Tụ Của Chuỗi Số
Định lý Weierstrass gián tiếp củng cố cho các tiêu chuẩn hội tụ của chuỗi số. Ví dụ, việc chứng minh rằng một chuỗi số dương có tổng riêng phần bị chặn trên sẽ hội tụ (vì dãy tổng riêng phần là dãy tăng và bị chặn trên).
Xét chuỗi $sum_{n=1}^{infty} frac{1}{n!}$. Dãy tổng riêng phần là $Sk = sum{n=1}^k frac{1}{n!}$.
- Tính Đơn Điệu: $S_{k+1} = S_k + frac{1}{(k+1)!} > S_k$. Dãy $(S_k)$ tăng.
- Tính Bị Chặn: Ta có $frac{1}{n!} le frac{1}{2^{n-1}}$ với $n ge 1$.
$$S_k = 1 + 1 + frac{1}{2!} + dots + frac{1}{k!} le 1 + 1 + frac{1}{2} + frac{1}{4} + dots + frac{1}{2^{k-1}}$$
Chuỗi hình học $1 + frac{1}{2} + frac{1}{4} + dots$ có tổng là $2$.
Do đó, $S_k le 1 + left(1 + frac{1}{2} + dots + frac{1}{2^{k-1}}right) < 1 + 2 = 3$.
Dãy $(S_k)$ bị chặn trên bởi $3$.
Theo định lý Weierstrass, chuỗi hội tụ. Giới hạn của nó chính là số Euler $e$.
Mở Rộng: Định Lý Bolzano–Weierstrass và Liên Hệ
Định lý Weierstrass về dãy số đơn điệu có mối liên hệ mật thiết với một kết quả cơ bản khác: Định lý Bolzano–Weierstrass.
Phát Biểu Định Lý Bolzano–Weierstrass
Định lý Bolzano–Weierstrass phát biểu rằng: Mọi dãy số thực bị chặn đều chứa một dãy con hội tụ.
Đây là một kết quả ít mạnh mẽ hơn về mặt hội tụ so với Định lý Hội tụ Đơn điệu. Định lý Bolzano–Weierstrass chỉ đảm bảo tồn tại một dãy con hội tụ, trong khi Định lý Weierstrass (khi có thêm tính đơn điệu) đảm bảo chính dãy đó hội tụ.
Phân Biệt Giới Hạn Của Dãy và Giới Hạn Của Dãy Con
Trong trường hợp dãy số không đơn điệu nhưng bị chặn (như $u_n = (-1)^n$), Định lý Bolzano–Weierstrass đảm bảo tồn tại dãy con hội tụ.
- Dãy con $u_{2k} = 1$ hội tụ về $1$.
- Dãy con $u_{2k-1} = -1$ hội tụ về $-1$.
Tuy nhiên, dãy gốc không hội tụ. Tính đơn điệu chính là điều kiện bổ sung mà Định lý Weierstrass yêu cầu để nâng kết quả từ “dãy con hội tụ” lên thành “dãy hội tụ”. Điều này cho thấy tính đơn điệu là một ràng buộc rất mạnh mẽ đối với hành vi của dãy số. Định lý Weierstrass về giới hạn chính là một trường hợp đặc biệt, dễ áp dụng và cực kỳ quan trọng trong thực hành.
Ứng Dụng Trong Tính Toán: Thuật Toán Và Ước Lượng
Ngoài việc chứng minh sự tồn tại, định lý Weierstrass còn đóng vai trò quan trọng trong các thuật toán lặp. Nhiều phương pháp tính toán số học, ví dụ như tìm căn bậc hai theo thuật toán Babylon hay các phương pháp xấp xỉ nghiệm, đều dựa trên việc xây dựng một dãy số đơn điệu và bị chặn.
Ví dụ: Thuật toán lặp để tính $sqrt{A}$.
Dãy truy hồi: $x_{n+1} = frac{1}{2} left(x_n + frac{A}{x_n}right)$.
Với $x_1 > sqrt{A}$, có thể chứng minh dãy này là dãy giảm và bị chặn dưới bởi $sqrt{A}$. Do đó, theo định lý Weierstrass, dãy hội tụ về $sqrt{A}$.
Sự hội tụ nhanh chóng và chắc chắn của các dãy đơn điệu bị chặn làm tăng độ tin cậy của các thuật toán số học này. Đây là bằng chứng cho thấy định lý không chỉ mang ý nghĩa lý thuyết thuần túy mà còn có giá trị ứng dụng cao trong lĩnh vực tính toán. Các kỹ sư và nhà khoa học máy tính thường xuyên sử dụng các dãy hội tụ để mô hình hóa và giải quyết vấn đề.
Định lý Weierstrass về giới hạn là một trong những thành tựu vĩ đại nhất của Giải tích cổ điển. Nó không chỉ là một tiên đề logic mà còn là một công cụ phân tích sắc bén, giúp chứng minh sự hội tụ của vô số dãy số trong toán học và các ngành khoa học ứng dụng. Việc hiểu rõ tính chất đầy đủ của số thực, thông qua việc áp dụng định lý này, cho phép chúng ta tự tin xây dựng và phân tích các mô hình toán học phức tạp.
Ngày chỉnh sửa nội dung mới nhất November 30, 2025 by Thầy Đông
Thầy Đông – Giảng viên Đại học Công nghiệp Hà Nội, giáo viên luyện thi THPT
Thầy Đông bắt đầu sự nghiệp tại một trường THPT ở quê nhà, sau đó trúng tuyển giảng viên Đại học Công nghiệp Hà Nội nhờ chuyên môn vững và kinh nghiệm giảng dạy thực tế. Với nhiều năm đồng hành cùng học sinh, thầy được biết đến bởi phong cách giảng dạy rõ ràng, dễ hiểu và gần gũi. Hiện thầy giảng dạy tại dehocsinhgioi, tiếp tục truyền cảm hứng học tập cho học sinh cấp 3 thông qua các bài giảng súc tích, thực tiễn và giàu nhiệt huyết.
