Chuỗi hội tụ

Trong toán học, một chuỗi là một tổng hình thức các số hạng của một dãy số vô hạn.

Cho một dãy vô hạn (a_1, a_2, a_3, \dots), tổng thành phần thứ *n* của nó *S**n* là tổng của *n* số hạng đầu tiên của chuỗi. Tức là,

: S_n = \sum_{k=1}^n a_k.

Một chuỗi được gọi là **hội tụ** nếu dãy các tổng thành phần của nó (S_1, S_2, S_3, \dots) hội tụ đến một giới hạn; điều đó có nghĩa là các tổng thành phần dần dần tiến gần hơn và gần hơn đến một số xác định.

Chính xác hơn, một chuỗi là hội tụ, nếu tồn tại một số xác định \ell sao cho với mỗi số dương nhỏ tùy ý \varepsilon, tồn tại một số nguyên (đủ lớn) N, sao cho với mọi n \ge N,

: \left | S_n - \ell \right \vert 

Nếu chuỗi hội tụ, số \ell (nhất thiết phải là duy nhất) được gọi là *tổng của chuỗi*.

Bất kỳ chuỗi nào không hội tụ được gọi là phân kỳ.

## Ví dụ về chuỗi hội tụ và phân kỳ

* Chuỗi nghịch đảo của các số nguyên dương là một chuỗi phân kỳ (cũng được gọi là chuỗi điều hòa): 
*: {1 \over 1}+{1 \over 2}+{1 \over 3}+{1 \over 4}+{1 \over 5}+{1 \over 6}+\cdots \rightarrow \infty.  
* Chuỗi đan dấu các nghịch đảo của các số nguyên dương là một chuỗi hội tụ (chuỗi điều hòa đan dấu): 
*: {1 \over 1}-{1 \over 2}+{1 \over 3}-{1 \over 4}+{1 \over 5}-\cdots = \ln(2) 
* Chuỗi nghịch đảo của các số nguyên tố là một chuỗi phân kỳ: 
*: {1 \over 2}+{1 \over 3}+{1 \over 5}+{1 \over 7}+{1 \over 11}+{1 \over 13}+\cdots \rightarrow \infty. 
* Chuỗi nghịch đảo của các số tam giác là một chuỗi hội tụ: 
*: {1 \over 1}+{1 \over 3}+{1 \over 6}+{1 \over 10}+{1 \over 15}+{1 \over 21}+\cdots = 2. 
* Chuỗi nghịch đảo của các giai thừa là một chuỗi hội tụ (xem e): 
*: \frac{1}{1} + \frac{1}{1} + \frac{1}{2} + \frac{1}{6} + \frac{1}{24} + \frac{1}{120} + \cdots = e. 
* Chuỗi nghịch đảo của các số chính phương là một chuỗi hội tụ (bài toán Basel): 
*: {1 \over 1}+{1 \over 4}+{1 \over 9}+{1 \over 16}+{1 \over 25}+{1 \over 36}+\cdots = {\pi^2 \over 6}. 
* Chuỗi nghịch đảo của các lũy thừa cơ số 2 là một chuỗi hội tụ: 
*: {1 \over 1}+{1 \over 2}+{1 \over 4}+{1 \over 8}+{1 \over 16}+{1 \over 32}+\cdots = 2. 
* Chuỗi nghịch đảo các lũy thừa cơ số n là một chuỗi hội tụ: 
*: {1 \over 1}+{1 \over n}+{1 \over n^2}+{1 \over n^3}+{1 \over n^4}+{1 \over n^5}+\cdots = {n\over n-1}. 
* Chuỗi đan dấu các nghịch đảo của lũy thừa cơ số 2 là một chuỗi hội tụ: 
*: {1 \over 1}-{1 \over 2}+{1 \over 4}-{1 \over 8}+{1 \over 16}-{1 \over 32}+\cdots = {2\over3}. 
* Chuỗi đan dấu các nghịch đảo của lũy thừa cơ số *n* là một chuội hội tụ: 
*: {1 \over 1}-{1 \over n}+{1 \over n^2}-{1 \over n^3}+{1 \over n^4}-{1 \over n^5}+\cdots = {n\over n+1}.
* Chuỗi nghịch đảo của các số Fibonacci là một chuỗi hội tụ (xem ψ): 
*: \frac{1}{1} + \frac{1}{1} + \frac{1}{2} + \frac{1}{3} + \frac{1}{5} + \frac{1}{8} + \cdots = \psi.

## Các tiêu chuẩn hội tụ
Có một số phương pháp xác định xem một chuỗi hội tụ hay phân kỳ, được gọi là các tiêu chuẩn hội tụ. 

**Tiêu chuẩn so sánh**. Nếu,

với mọi *n*, 0 \le \ a_n \le \ b_n và \sum_{n=1}^\infty b_n hội tụ, thế thì \sum_{n=1}^\infty a_n
 hội tụ.

Nếu,

với mọi *n*, 0 \le \ b_n \le \ a_n và \sum_{n=1}^\infty b_n phân kỳ, thế thì \sum_{n=1}^\infty a_n phân kỳ.

**Tiêu chuẩn D'Alembert** (hay **tiêu chuẩn tỷ lệ**). Giả sử rằng với mọi *n*, a_n khác 0. Giả sử tồn tại r sao cho

: \lim_{n \to \infty} \left|{\frac{a_{n+1}}{a_n}}\right| = r.

Nếu *r* r = \limsup_{n\rightarrow\infty}\sqrt[n],

Nếu *r* f(n) = a_n với f là một  hàm số dương đơn điệu giảm. Nếu

: \int_{1}^{\infty} f(x)\, dx = \lim_{t \to \infty} \int_{1}^{t} f(x)\, dx 

thì chuỗi hội tụ. Nếu tích phân phân kỳ thì chuỗi phân kỳ.

**Tiêu chuẩn so sánh giới hạn**. Nếu \left \{ a_n \right \}, \left \{ b_n \right \} > 0 và giới hạn \lim_{n \to \infty} \frac{a_n}{b_n} tồn tại và khác không, thì \sum_{n=1}^\infty a_n hội tụ khi và chỉ khi \sum_{n=1}^\infty b_n hội tụ.

**[[Tiêu chuẩn Leibniz]]**. Với một chuỗi đan dấu \sum_{n=1}^\infty a_n (-1)^n, nếu \left \{ a_n \right \} giảm đơn điệu và có giới hạn bằng 0 ở vô cực thì chuỗi hội tụ.

**[[Dấu hiệu Abel]]**

**[[Dấu hiệu Dirichlet]]**

## Hội tụ tuyệt đối và hội tụ có điều kiện
phải|nhỏ|Minh họa sự hội tụ có điều kiện của chuỗi lũy thừa của log(''z''+1) gần điểm 0 được tính tại  Độ dài của đoạn đường nối là vô hạn.
Với một dãy bất kỳ \left \{ a_1,\ a_2,\ a_3,\dots \right \}, a_n \le \ \left | a_n \right \vert với mọi *n*.  Vì thế,

: \sum_{n=1}^\infty a_n \le \ \sum_{n=1}^\infty \left | a_n \right \vert.

Điều này có nghĩa là (theo dấu hiệu so sánh) nếu \sum_{n=1}^\infty \left | a_n \right \vert hội tụ, thì \sum_{n=1}^\infty a_n cũng phải hội tụ (nhưng đảo lại không đúng).

Nếu chuỗi \sum_{n=1}^\infty \left | a_n \right \vert hội tụ, thì \sum_{n=1}^\infty a_n được gọi là hội tụ tuyệt đối. Một dãy hội tụ tuyệt đối là dãy mà độ dài đoạn thẳng tạo ra khi nối lại tất cả các phần tăng thêm của tổng riêng có độ dài hữu hạn. Chuỗi lũy thừa của hàm mũ hội tụ tuyệt đối ở mọi nơi.

Nếu chuỗi \sum_{n=1}^\infty a_n hội tụ nhưng chuỗi \sum_{n=1}^\infty \left | a_n \right \vert lại phân kỳ, thì chuỗi \sum_{n=1}^\infty a_n là hội tụ có điều kiện. Đoạn đường tạo ra khi nối các tổng riêng của một chuỗi hội tụ có điều kiện có độ dài vô hạn. Thí dụ, chuỗi lũy thừa của hàm logarit là hội tụ có điều kiện.

Định lỹ chuỗi Riemann khẳng định rằng nếu một chuỗi hội tụ có điều kiện, có thể đổi chỗ các số hạng trong chuỗi theo một cách sao cho chuỗi hội tụ đến giá trị tùy ý, hay thậm chí là phân kỳ.

## Hội tụ đều
Cho \left \{ f_1,\ f_2,\ f_3,\dots \right \} là một dãy các hàm số.  Chuỗi \sum_{n=1}^\infty f_n được gọi là hội tụ đều đến *f* nếu dãy các tổng riêng \{s_n\} xác định bởi

:  s_n(x) = \sum_{k=1}^n f_k (x)

hội tụ đều đến *f*.

Có một tiêu chuẩn hội tụ cho chuỗi hàm vô hạn giống với tiêu chuẩn so sánh trên, được gọi là Dấu hiệu M Weierstrass.

## Tiêu chuẩn hội tụ Cauchy
Tiêu chuẩn hội tụ Cauchy khẳng định rằng một chuỗi

: \sum_{n=1}^\infty a_n

hội tụ khi và chỉ khi dãy tổng riêng là một dãy Cauchy. Điều này nghĩa là với mỗi  \varepsilon > 0,  tồn tại một số nguyên dương N sao cho với mọi n \geq m \geq N ta có

:  \left| \sum_{k=m}^n a_k \right| 

điều này tương đương với

: \lim_{n \to \infty \atop m\to \infty} \sum_{k=n}^{n+m} a_k = 0.

## Xem thêm

* Hội tụ chuẩn
* Danh sách chuỗi toán học

## Tham khảo

## Liên kết ngoài

*  
* Weisstein, Eric (2005). Định lý Riemann Series. Truy cập ngày 16 tháng 5 năm 2005. 
* [Tài liệu trực tuyến, Trường Đại học Xây dựng Miền Trung](http://muce.edu.vn/fckeditor/editor/filemanager/connectors/asp/image/Chuong%206(1).pdf) .