Tiêu chuẩn hội tụ Cauchy

Tiêu chuẩn hội tụ Cauchy là một phương pháp kiểm tra sự hội tụ của một chuỗi vô hạn. Nó dựa vào tổng bị chặn của các số hạng trong dãy. Tiêu chuẩn hội tụ này được đặt tên theo Augustin-Louis Cauchy, người đã xuất bản nó trong cuốn sách Cours d'Analyse năm 1821.

Phát biểu

Một chuỗi

$\sum _{i=0}^{\mathrm{\infty }}{a}_i$ hội tụ khi và chỉ khi với mỗi $\epsilon >0$ tồn tại một số tự nhiên N sao cho bất đẳng thức

$|a_{n+1}+a_{n+2}+\cdots +a_{n+p}|<\epsilon$

được thỏa mãn với mọi Bản mẫu:Nobreak và mọi Bản mẫu:Nobreak.

Giải thích

Bản mẫu:Multiple image Tiêu chuẩn này có hiệu lực là do không gian các số thực R và không gian các số phức C (với metric cho bởi giá trị tuyệt đối) đều là đầy đủ. Vì thế chuỗi hội tụ khi và chỉ khi dãy tổng riêng

$s_n:=\sum _{i=0}^n{a}_i$

là một dãy Cauchy.

Một dãy số thực hoặc phức $s_n$ là một dãy Cauchy khi và chỉ khi $s_n$ hội tụ (tới một điểm nào đó trong R hoặc C). Định nghĩa chính tắc khẳng định rằng với mỗi $\epsilon >0$, tồn tại số tự nhiên N, sao cho với mọi n, m > N ta có

$|s_m-s_n|<\epsilon .$

Ta giả thiết rằng m > n và do đó đặt p = m − n.

$|s_{n+p}-s_n|=|a_{n+1}+a_{n+2}+\cdots +a_{n+p}|<\epsilon .$

Chứng tỏ rằng một dãy là một dãy Cauchy là hữu ích vì ta không cần tìm ra giới hạn của dãy đang xét. Tiêu chuẩn hội tụ Cauchy chỉ có thể được áp dụng trong các không gian metric đầy đủ (ví dụ R hay C), là các không gian mà mọi dãy Cauchy hội tụ. Ta chỉ cần cho thấy rằng các phần tử của dãy tiến gần nhau một cách tùy ý sau một vài bước hữu hạn của dãy. Có một số ứng dụng máy tính của dãy Cauchy, trong đó một quy trình lặp có thể được thiết lập để tạo ra các dãy như vậy.

Chứng minh

Ta có thể sử dụng các kết quả ở trên về sự hội tụ của các dãy tổng riêng của một chuỗi vô hạn và áp dụng chúng với sự hội tụ của chính chuỗi vô hạn đó. Dấu hiệu tiêu chuẩn hội tụ Cauchy là một áp dụng như vậy. Với một dãy thực bất kỳ $a_k$, các kết quả ở trên về sự hội tụ suy ra rằng chuỗi vô hạn

$\sum _{k=1}^{\mathrm{\infty }}{a}_k$

hội tụ khi và chỉ khi với mỗi $\epsilon >0$ tồn tại một số tự nhiên N, sao cho

m ≥ n ≥ N dẫn đến

$|s_m-s_n|=\left|\sum _{k=n+1}^m{a}_k\right|<\epsilon$

Có thể nói điều lý thú nhất của định lý này là điều kiện Cauchy dẫn đến sự tồn tại của giới hạn: điều này thật vậy liên quan đến sự đầy đủ của trục số thực. Tiêu chuẩn hội tụ Cauchy có thể được tổng quát hóa với nhiều trường hợp khác mà có thể tóm tắt là ở đó "điều kiện sự dần gần nhau tương đương với sự hội tụ".