Khái niệm dãy số cách đều

Theo quan điểm của lý thuyết tập hợp, dãy là một ánh xạ a: X {\displaystyle \to } Y, trong đó X là tập hợp số tự nhiên, hoặc tập con của tập số tự nhiên nhỏ hơn / lớn hơn một số tự nhiên m nào đó. Khi đó thay cho a(n) ta dùng ký hiệu an.

Nếu X là hữu hạn ta có dãy hữu hạn:

Ngược lại nó được xem là vô hạn.

Đôi khi, dãy hữu hạn cũng có thể được xem là vô hạn với các phần tử thừ thứ m trở đi là bằng nhau.

Nếu Y là tập hợp số, dãy a được gọi là dãy số. Nếu Y là tập các số thực (hoặc phức) ta có dãy số thực (hoặc phức) Nếu Y là tập hợp các hàm số ta có dãy hàm. Nếy Y là tập hợp số tự nhiên ta có dãy số tự nhiên (ít dùng) Khi bắt đầu từ phần tử a n 0 {\displaystyle a_{n_{0}}} dãy thường được ký hiệu:

Người ta thường xét hơn các dãy bắt đầu từ phần tử a 1 {\displaystyle a_{1}} .

Khi các phần tử của dãy nhận giá trị trong một tập hữu hạn n phần tử, các bài toán về dãy hữu hạn được xem xét trong toán học tổ hợp (với các khái niệm chỉnh hợp, hoán vị, dãy có lặp,...) gồm bài toán đếm, bài toán liệt kê và bài toán tồn tại.

• Bài toán đếm: đếm số các dãy (hữu han) của một tập hợp thoả mãn một hoặc một số tính chất nào đó.
• Bài toán liệt kê:liệt kê toàn bộ các dãy (hữu hạn) của một tập hợp thoả mãn một hoặc một số tính chất nào đó.
• Bài toán tòn tại: xét xem các dãy (hữu hạn) của một tập hợp thoả mãn một hoặc một số tính chất nào đó có tốn tại không?

Khi các phần tử của một dãy vô hạn thuộc một không gian metric (trong không gian có khái niệm khoảng cách giữa hai phần tử) chẳng hạn các dãy số thực,dãy hàm hoặc không gian tôpô (trong đó có khái niệm lân cận) các bài toán về dãy liên quan tới khái niệm giới hạn, tính hội tụ, phân kỳ.

Trong khoa học máy tính, khái niệm dãy (hữu hạn) thể hiện cụ thể thành các danh sách (tuyến tính), mảng, ngăn xếp, hàng đợi... là những cấu trúc dữ liệu quan trọng. Các khái niệm về giải thuật, máy Turing cũng đều liên quan đến các dãy.

• Chuỗi toán học
• Dãy số thực