Limit of a sequence


Giải tích thực là một nhánh của giải tích toán học nghiên cứu dáng điệu của dãy thực, chuỗi thực, và hàm giá trị thực. Một khái niệm trung tâm của giải tích thực là dãy hội tụ.

Định nghĩa 1. Một dãy số thực \left(u_{n}\right) hội tụ đến một số thực l, hay l là một giới hạn của dãy số (u_n), nếu với mỗi số thực dương \epsilon, tồn tại số nguyên dương N sao cho mỗi khi n \geq N, ta có \left|u_{n}-l\right|<\epsilon. Nếu một dãy số có một giới hạn ta nói nó là dãy hội tụ, nếu nó không có giới hạn, ta nói nó là dãy phân kỳ.

Để chỉ \left(u_{n}\right) hội tụ đến l, ta viết \lim u_{n}=l hoặc \lim \left(u_{n}\right) =l. Ký hiệu \displaystyle \lim _{n \rightarrow \infty} u_{n}=l cũng hay được dùng. Định nghĩa trên có thể gây rối đối với những bạn mới học giải tích, sau đây chúng tôi giới thiệu một định nghĩa khác, hình học hơn. Để làm điều này ta cần đến:

Định nghĩa 2. Cho số thực l và số thực \epsilon>0, tập

U_{\epsilon}(l)=\{x \in \mathbb{R}:|x-l|<\epsilon\} được gọi là \epsilon-lân cận của l.

Để ý rằng U_{\epsilon}(l) gồm tất cả các điểm trên trục số cách điểm l một khoảng bé hơn \epsilon. Nói cách khác, U_{\epsilon}(l) là một khoảng có tâm tại l và bán kính \epsilon.

Định nghĩa 3. Một dãy số thực \left(u_{n}\right) hội tụ đến một số thực l, hay l là một giới hạn của dãy số (u_n), nếu với mỗi \epsilon-lân cận U_{\epsilon}(l) của l, có một vị trí trong dãy mà từ đó trở đi, mọi số hạng của dãy đều thuộc U_{\epsilon}(l). Nói cách khác, mỗi \epsilon-lân cận của l đều chứa hầu hết (chỉ trừ một số hữu hạn) các số hạng của dãy (u_n).

Số N nói chung phụ thuộc vào \epsilon. Khi \epsilon càng nhỏ có thể N càng lớn. Định nghĩa giới hạn của một dãy số thực được sử dụng để kiểm tra xem một số thực l có là giới hạn của dãy hay không, nó không cho ta cách xác định giới hạn của dãy.

Ví dụ 1. Với mọi số thực a, dãy hằng a,a,a,\ldots hội tụ đến a.

Lời giải. Xét một số thực a. Ta phải chứng minh \lim u_n=a, trong đó (u_n)_{n\geq 1} là dãy số xác định bởi u_n=a với mọi số nguyên dương n. Với một số thực dương \epsilon bất kỳ, chọn N=1, ta có \mid u_n-a\mid =\mid a-a\mid =0<\epsilon,\quad\forall n\geq N. Từ đây ta có điều cần chứng minh. \Box

Ví dụ 2. Chứng minh rằng \lim\dfrac{1}{\sqrt{n}}=0.

Lời giải. Ta phải chứng minh \lim u_n=0, trong đó (u_n)_{n\geq 1} là dãy số xác định bởi u_n=\dfrac{1}{\sqrt{n}} với mọi số nguyên dương n. Với một số thực dương \epsilon bất kỳ, chọn N=2+[1/\epsilon^2], ta có \mid u_n-0\mid =\frac{1}{\sqrt{n}}<\epsilon,\quad\forall n\geq N. Từ đây ta có điều cần chứng minh. \Box

Ví dụ 3. Chứng minh rằng \lim\dfrac{n+1}{n}=1.

Lời giải. Ta phải chứng minh \lim u_n=1, trong đó (u_n)_{n\geq 1} là dãy số xác định bởi u_n=\dfrac{n+1}{{n}} với mọi số nguyên dương n. Với một số thực dương \epsilon bất kỳ, chọn N=2+[1/\epsilon], ta có \mid u_n-1\mid =\frac{1}{{n}}<\epsilon,\quad\forall n\geq N. Từ đây ta có điều cần chứng minh. \Box

Continue reading “Limit of a sequence”

The sum of the reciprocals of the primes


Với mỗi số nguyên dương n, ký hiệu p_n là số nguyên tố thứ n trong dãy tăng tất cả các số nguyên tố. Như vậy p_1=2, p_2=3, p_3=5,…

Trong bài này chúng tôi sẽ giới thiệu một chứng minh của kết quả sau:

Định lý. Chuỗi \displaystyle \frac{1}{p_1}+\frac{1}{p_2}+\frac{1}{p_3}+\ldots là một chuỗi phân kỳ.

Chứng minh. Giả sử ngược lại, khi đó với mỗi số nguyên dương k, chuỗi \displaystyle\sum_{m=k}^{+\infty}\frac{1}{p_m} là một chuỗi hội tụ, gọi S_k là tổng của nó. Vì \lim S_k=0 nên tồn tại số nguyên k sao cho \displaystyle S_{k+1}<\frac{1}{2}. Đặt Q=p_1p_2\ldots p_k và xét các số 1+nQ\, (n=1,2,\ldots). Mỗi số trong dãy này đều không có ước nguyên tố thuộc \{p_1, p_2, \ldots, p_k\}, do đó với mỗi số nguyên dương r, tồn tại số nguyên dương K đủ lớn để

\displaystyle\sum_{n=1}^r\frac{1}{1+nQ}\leq\sum_{t=1}^{K}S_{k+1}^t<1.

Điều này không thể xảy ra do chuỗi \displaystyle \sum_{n=1}^{+\infty}\frac{1}{1+nQ} là một chuỗi phân kỳ. \Box

Tham khảo

[1] https://nttuan.org/2018/12/30/series/

[2] https://en.wikipedia.org/wiki/Divergence_of_the_sum_of_the_reciprocals_of_the_primes