Dãy Cauchy
Trong toán học, dãy Cauchy (;  ), được đặt tên theo nhà toán học Augustin-Louis Cauchy, là dãy mà các phần tử tiến đến gần nhau tùy ý khi dãy tiếp tục. Chính xác hơn, cho bất cứ khoảng cách nhỏ nào, hầu như tất cả các phần tử trong dãy ngoại trừ hữu hạn một số phần tử ra có khoảng cách giữa chúng nhỏ hơn khoảng cách đã cho.

Điều kiện phần tử đứng sau gần tùy ý với phần tử ngay trước đó không phải điều kiện đủ. Ví dụ chẳng hạn, trong dãy căn bậc hai của các số tự nhiên:

hai phần tử liên tiếp đó gần với nhau:

Tuy nhiên, khi chỉ số  lớn, các phần tử  có thể lớn tùy ý.   Do đó với bất kỳ chỉ số  và khoảng cách , tồn tại chỉ số  đủ lớn sao cho  (Thật ra chỉ cần  là đủ.) Bởi vậy, bất kể dãy chạy tới đâu, các phần tử còn lại không bao giờ tiến gần đến nhau; do đó dãy này không phải dãy Cauchy.

Một ứng dụng của dãy Cauchy nằm trong không gian mêtric đầy đủ (không gian mà các dãy Cauchy trong đó hội tụ đến một giá trị nào đó), điều kiện cho hội tụ chỉ dựa trên các phần tử trong dãy, ngược lại với định nghĩa hội tụ dùng cả giá trị hội tụ và các phần tử trong dãy. Ta thường lợi dụng tính chất này cho các thuật toán trong lý thuyết và áp dụng.

Dạng tổng quát của các dãy Cauchy trong không gian đều tồn tại dưới dạng bộ lọc Cauchy và mạng Cauchy.

Trong số thực
Dãy

của các số thực được gọi là dãy Cauchy nếu với mọi số thực dương  tồn tại số nguyên dương N sao cho với mọi số tự nhiên 

trong đó thanh dọc đứng ký hiệu cho giá trị tuyệt đối.  Tương tự như vậy ta có thể định nghĩa cho dãy các số hữu tỉ hoặc dãy các số phức.  Cauchy đưa ra điều kiện hiệu  phải nhỏ vô cùng với mọi cặp số tự nhiên m, n.

Với mọi số thực r, dãy biểu diễn bị cắt của r tạo thành dãy Cauchy.  Ví dụ, khi  dãy số được viết như sau: (3, 3.1, 3.14, 3.141, ...).  Phần tử thứ m và phần tử thứ n chỉ cách nhau tối đa  trong đó m < n, và khi m lớn, giá trị này càng nhỏ hơn bất kỳ giá trị  cho trước

Mô đun hội tụ Cauchy

Nếu  là dãy số trong tập  thì mô đun hội tụ Cauchy cho dãy số là hàm  từ tập các số tự nhiên tới chính nó, sao cho với mọi số tự nhiên  và số tự nhiên  

Các dãy đi cùng với mô đun hội tụ Cauchy là dãy Cauchy. Sự tồn tại mô đun hội tụ Cauchy được suy ra từ tính xếp thứ tự tốt của các số tự nhiên  (gọi  là số  nhỏ nhất trong định nghĩa của dãy Cauchy, đặt  là ). SỰ tồn tại của mô đun cũng suy ra được từ nguyên lý chọn phụ thuộc,nguyên lý này là dạng yếu hơn của tiên đề chọn, thậm chí ta có thể suy ra từ điều kiện còn yếu hơn được gọi là AC00. Dãy Cauchy chính quy là các dãy đi với mô đun cho trước hội tụ (thường thì  hoặc ).

Trong không gian mêtric

Bởi định nghĩa của dãy Cauchy chỉ bao gồm duy nhất khái niệm mêtric, dễ tổng quát định nghĩa này sang cho bất cứ không gian mêtric X. 
Để làm vậy, giá trị tuyệt đối  được thay bằng khoảng cách  (trong đó d được gọi là mêtric) giữa  và 

Nói chính xác, cho không gian mêtric  dãy

là dãy Cauchy, nếu với số thực dương  tồn tại số nguyên dương  sao cho với mọi số tự nhiên  khoảng cách

Nhìn qua, việc các phần tử trong dãy càng tiến đến gần nhau khi các giá trị  tăng dần có vẻ gợi ý rằng dãy này có giới hạn nằm trong không gian 
Song, giá trị giới hạn chưa chắc đã nằm trong X: tính chất của không gian mà tất cả các dãy Cauchy trong đó đều hội tụ được gọi là tính đầy đủ.

Tính đầy đủ
Không gian mêtric (X, d) mà mọi dãy Cauchy trong không gian hội tụ đến một giá trị nằm trong X được gọi là không gian mêtric đầy đủ.

Các ví dụ
Không gian các số thực đầy đủ dưới mêtric của giá trị tuyệt đối, và một trong những cách tiêu chuẩn để xây số thực bao gồm dãy Cauchy của các số hữu tỉ.

Một loại ví dụ khác là không gian X có mêtric rời rạc (trong không gian đó, bất cứ hai phần tử nào khác nhau thì đều có khoảng cách bằng 1).

Ví dụ không phải: số hữu tỉ
Không gian của các số hữu tỉ  không đầy đủ (cho mêtric định nghĩa):
Có các dãy số hữu tỉ hội tụ (trong ) đến các giá trị vô tỉ; nghĩa là các dãy Cauchy này không hội tụ đến giá trị thuộc  Hơn nữa, nếu x là số vô tỉ, thì dãy số (xn), với phần tử thứ n là biểu diễn n chữ số của x, là dãy Cauchy có giới hạn là số vô tỉ x. Ngoài ra còn có các ví dụ khác về dãy các số hữu tỉ hội tụ về số vô tỉ:

 Dãy số định nghĩa bởi  bao gồm các số hữu tỉ (1, 3/2, 17/12,...) là dãy các số hữu tỉ nhưng giá trị hội tụ của nó là căn bậc hai của hai, để chứng minh xem phương pháp Babylonian cho tính căn bậc hai.
 Dãy  của các phân số của các số Fibonacci liên tiếp nếu có hội tụ thì dãy phải hội tụ đến giá trị  thỏa mãn  mà không có số hữu tỉ nào thỏa mãn được.  Nếu ta coi đây là dãy các số thực thì dãy này hội tụ đến giá trị  hay còn gọi là tỷ lệ vàng, giá trị này là số vô tỉ.
 Các giá trị của hàm mũ , hàm sin và cosin, exp(x), sin(x), cos(x), được biết là số vô tỉ cho mọi số hữu tỉ  nhưng mỗi hàm có thể định nghĩa là giới hạn của một dãy Cauchy hữu tỉ, sử dụng chuỗi Maclaurin chẳng hạn.

Ví dụ không phải: khoảng mở
Khoảng mở  trong tập các số thực cùng với mêtric tầm thường của  không phải là không gian đầy đủ: dãy số  nằm trong đó là dãy Cauchy (cho bất cứ cận  tất cả các phần tử  thỏa mãn  đều nằm trong khoảng ), tuy nhiên giá trị giới hạn của dãy không nằm trong  — 'giới hạn' của nó, số 0, không nằm trong không gian

Các tính chất khác
 Tất cả các dãy hội tụ (có giới hạn s) là dãy Cauchy, bởi cho bất kỳ số thực dương  , khi vượt qua một điểm cố định nào đó, mọi phần tử trong dãy đều nằm trong khoảng cách  của s, do đó bất cứ hai phần tử trong dãy đều cách nhau tối đa .
 Trong bất cứ không gian mêtric nào, dãy Cauchy  bị chặn (bởi cho một số N, tất cả các phần tử từ phần tử thứ N trở đi đều cách nhau 1, và nếu M là khoảng cách lớn nhất giữa  và bất cứ các phần tử nào cho tới phần tử thứ N, thì không có cặp phần tử nào trong dãy có khoảng cách lớn hơn  đến ).
 Trong bất cứ không gian mêtric nào, dãy Cauchy nào có dãy con của nó hội tụ đến s thì chính nó cũng hội tụ đến giới hạn s, bởi: cho bất cứ số thực r > 0, khi qua một số điểm cố định nào đó trong dãy gốc, mọi phần tử trong dãy con đều nằm trong khoảng cách r/2 của s, và bất cứ hai phần tử trong dãy gốc đều nằm trong khoảng cách r/2 của nhau, do đó mọi phần tử trong dãy đều nằm trong khoảng cách r của s.

Hai tính chất cuối, cùng với định lý Bolzano–Weierstrass, đưa ra bài chứng minh cho tính đầy đủ của số thực, có liên hệ gần với định lý Bolzano–Weierstrass và định lý Heine–Borel. Mọi dãy Cauchy đều bị chặn, do đó theo định lý Bolzano–Weierstrass trong dãy sẽ có dãy con hội tụ, từ đó suy ra dãy đó cũng sẽ hội tụ. Cách chứng minh này có bao gồm việc sử dụng tiên đề cận trên nhỏ nhất. Một hướng giải khác được nhắc ở trên là  các số thực bằng hoàn thiện không gian các số hữu tỉ.

Nếu  là ánh xạ liên tục đều giữa không gian mêtric M và N và (xn) là dãy Cauchy trong M, thì  là dãy Cauchy trong N. Nếu  và  là dãy Cauchy trong số hữu tỉ, số thực hoặc số phức, thì tổng  và tích  cũng là dãy Cauchy.

Tham khảo

Liên kết ngoài 
 
 

Dãy toán học
Hình học mêtric
Toán học tô pô
Đại số trừu tượng
Sơ khai toán học
Augustin-Louis Cauchy