Xem mã nguồn của Dãy (toán học)

{{chú thích trong bài}}
{{short description|Danh sách có thứ tự của họ hữu hạn hay vô hạn các phần tử}}
<!--{{Redirect|Sequential|the manual transmission|Sequential manual transmission|other uses|Sequence (disambiguation)}}-->
Trong [[toán học]], '''dãy''' là một họ có thứ tự các [[đối tượng toán học]] và cho phép lặp lại các phần tử trong đó. Giống như [[Tập hợp (toán học)|tập hợp]], nó chứa các [[phần tử (toán học)|phần tử]] (hay còn gọi là ''số hạng''). Số các phần tử (có thể [[vô hạn]]) được gọi là [[độ dài]] của dãy số. Trái với tập hợp, một phần tử có thể xuất hiện nhiều lần trong dãy và cũng trái với tập hợp, [[lý thuyết thứ tự|thứ tự]] trong dãy cũng quan trọng. Trong định nghĩa chính thức, dãy được định nghĩa là [[hàm số]] từ tập [[số tự nhiên|các số tự nhiên]] (số vị trí các phần tử trong dãy) sang các phần tử tại vị trí đó. Thuật ngữ dãy được tổng quát hoá thành [[họ sắp chỉ số]] (họ sắp chỉ số được định nghĩa là hàm số từ một tập chỉ số ''tuỳ ý'').

Thứ tự của phần tử trong dãy rất quan trọng. Trong dãy, có thể có một hoặc không phần tử đứng trước (hoặc sau) các phần tử còn lại, trong khi đó các phần tử còn lại sẽ luôn có ít nhất một phần tử đứng trước và ít nhất một phần tử đứng sau. Lấy ví dụ, (M, A, R, Y) là dãy các chữ cái với chữ 'M' đứng trước và chữ 'Y' đứng cuối, do đó chữ 'M' có ba phần tử đứng sau nhưng không có phần tử đứng trước. Dãy này khác với (A, R, M, Y).

Dãy (1, 1, 2, 3, 5, 8), mặc dù chứa số 1 ở hai vị trí khác nhau, vẫn được coi là một dãy hợp lệ. Một dãy có thể ''[[tập hữu hạn|hữu hạn]]'', như những ví dụ trên, hoặc ''[[tập vô hạn|vô hạn]]'', như dãy các [[số nguyên dương]] [[số chẵn|chẵn]] (2, 4, 6, ...).

Vị trí của một phần tử trong dãy được gọi là ''số vị trí'', ''hạng'' hay ''chỉ số''. Phần tử đầu tiên có chỉ số 0 hoặc 1, dựa trên nội dung đang thảo luận. Trong [[giải tích toán học|giải tích]],dãy số thường được đánh ký hiệu bằng các chữ cái viết thường dưới dạng <math>a_n</math>, <math>b_n</math> và <math>c_n</math>, trong đó chữ ''n'' viết dưới chỉ phần tử thứ ''n'' trong dãy; ví dụ chẳng hạn, phần tử thứ ''n'' trong [[dãy Fibonacci]] ''<math>F</math>'' thường được ký hiệu là ''<math>F_n</math>''.

Trong [[điện toán]] và [[khoa học máy tính]], dãy hữu hạn đôi khi được gọi là [[xâu (khoa học máy tính)|xâu]], [[từ (ngôn ngữ hình thức)|từ]] hay [[danh sách (khoa học máy tính)|danh sách]], các tên khác biệt với nhau thường là vì chúng tương ứng với các cách khác nhau trong biểu diễn dãy hữu hạn trong [[bộ nhớ máy tính]]; dãy vô hạn thì hay được gọi là [[dòng (điện toán)|dòng]] hay ''stream''.Dãy rỗng&nbsp;(&nbsp;) được bao gồm trong hầu như mọi khái niệm của dãy, song có thể bỏ dựa theo bối cảnh.[[Hình:Cauchy sequence illustration2.svg|right|thumb|350px|Dãy vô hạn của [[các số thực]] (trong màu xanh). Dãy này không tăng hay giảm, không hội tụ và cũng không có tính Cauchy. Tuy nhiên nó có bị chặn (đường đỏ nét đứt)]]

==Ví dụ và ký hiệu==
Dãy có thể được coi là danh sách các phần tử dưới một thứ tự cụ thể nào đó.<ref name=":0">{{chú thích web|title=Sequences|url=https://www.mathsisfun.com/algebra/sequences-series.html|access-date=2020-08-17|website=www.mathsisfun.com|archive-date=2020-08-12|archive-url=https://web.archive.org/web/20200812220432/https://mathsisfun.com/algebra/sequences-series.html|url-status=live}}</ref><ref>{{chú thích web|last=Weisstein|first=Eric W.|title=Sequence|url=https://mathworld.wolfram.com/Sequence.html|access-date=2020-08-17|website=mathworld.wolfram.com|language=en|archive-date=2020-07-25|archive-url=https://web.archive.org/web/20200725104417/https://mathworld.wolfram.com/Sequence.html|url-status=live}}</ref> Dãy rất hữu dụng trong một lượng lớn môn học nghiên cứu các [[hàm số]], [[không gian (toán học)|không gian]], và các cấu trúc toán học khác có sử dụng [[#giới hạn và hội tụ|tính hội tụ]] của dãy. Cụ thể, dãy là cơ sở để học và nghiên cứu [[chuỗi (toán học)|chuỗi]], và cả hai đều là thành phần quan trọng trong các [[phương trình vi phân]] và trong [[giải tích toán học|giải tích]]. Dãy nói riêng cũng là chủ đề thú vị của riêng chúng, một số được nghiên cứu riêng và một số được dùng để làm câu đố, ví dụ như nghiên cứu dãy các [[số nguyên tố]].

Có nhiều cách để ký hiệu dãy, nhưng có một số trong đó chỉ có ích cho một số dãy đặc biệt. Một trong những cách đơn giản nhất để biểu diễn dãy là liệt kê các phần tử trong dãy ra. Ví dụ chẳng hạn, dãy bốn số tự nhiên lẻ đầu tiên có thể viết là (1, 3, 5, 7). Ký hiệu này cũng có thể dùng cho dãy vô hạn. Ví dụ chẳng hạn, dãy vô hạn của các số nguyên dương lẻ được viết là (1, 3, 5, 7, ...). Song vì [[dấu ba chấm]] có thể mơ hồ, nên ký hiệu liệt kê hữu dụng nhất với các dãy mà có thể nhận dạng chúng qua các phần tử đầu tiên trong dãy, các cách ký hiệu khác sẽ được thảo luận sau các ví dụ.

===Các ví dụ===
[[Tập tin:Fibonacci blocks.svg|thumb|[[lát gạch|Lát]] với các ô vuông có độ dài của cạnh là số Fibonacci liên tiếp]]

Các [[số nguyên tố]] là các [[số tự nhiên]] lớn hơn 1 và không có ước nào ngoại trừ 1 và chính nó. Xét chúng trong thứ tự tự nhiên, ta được dãy (2, 3, 5, 7, 11, 13, 17, ...). Các số nguyên tố được nghiên cứu rộng rãi trong [[toán học]], chủ yếu nằm trong [[lý thuyết số]] với nhiều kết quả quan trọng gắn với nó.

Các [[số Fibonacci]] tạo thành một dãy trong đó ngoại trừ phần từ đầu tiên và phần tử thứ hai trong dãy, mỗi phần tử còn lại đều là tổng của hai phần tử đứng ngay trước nó. Hai phần tử đầu tiên có thể la 0 và 1 hoặc 1 và 1. Dãy các số Fibonacci được gọi là dãy Fibonacci và thường được viết như sau (0, 1, 1, 2, 3, 5, 8, 13, 21, 34, ...).<ref name=":0" />

Các ví dụ khác bao gồm các dãy chứa các [[số hữu tỉ]], [[số thực]] và [[số phức]]. Dãy (.9, .99, .999, .9999, ...), chẳng hạn, chạm dần đến số 1. Thậm chí, mọi số thực có thể viết thành [[giới hạn của dãy|giới hạn]] của dãy các số hữu tỉ (qua [[biển diễn thập phân]] của nó chẳng hạn. Lấy ví dụ, [[pi|{{pi}}]] là giới hạn của dãy tăng dần (3, 3.1, 3.14, 3.141, 3.1415, ...). Một dãy khác có liên quan là dãy các chữ số thập phân của {{pi}}, tức dãy (3, 1, 4, 1, 5, 9, ...). Không giống như dãy trước, dãy này không có mẫu nhận dạng dễ nhìn.

Một ví dụ không bao gồm số của dãy là dãy các hàm số, trong đó mỗi phần tử của dãy là hàm số có hình dạng được xác định bởi chỉ số của hàm số đó trong dãy.

[[Bảng tra cứu dãy số nguyên trực tuyến]] bao gồm một lượng lớn dãy các số nguyên.<ref>[https://oeis.org/wiki/Index_to_OEIS Index to OEIS] {{Webarchive|url=https://web.archive.org/web/20221018125328/https://oeis.org/wiki/Index_to_OEIS |date=2022-10-18 }}, On-Line Encyclopedia of Integer Sequences, 2020-12-03</ref>

===Cách viết chỉ số===
Các cách ký hiệu khác có ích đối với các dãy có mẫu nhận dạng không dễ đoán hoặc không có ngay từ đầu như dãy các chữ số của [[pi|{{pi}}]]. Một trong những cách ký hiệu là viết một công thức tổng quát để tính phần tử thứ ''n'' trong dãy là hàm số của ''n'', đóng nó trong dấu ngoặc rồi bao gồm thêm một đoạn chữ nhỏ viết dưới chỉ ra các tập các giá trị mà ''n'' có thể nhận. Lấy ví dụ, trong ký hiệu này, dãy các số tự nhiên chẵn có thể ký hiệu thành <math>(2n)_{n\in\mathbb N}</math>. Dãy các số chính phương có thể viết là <math>(n^2)_{n\in\mathbb N}</math>. Biến ''n'' được gọi là [[Họ sắp chỉ số|chỉ số]], và tập các giá trị nó có thể nhận được được gọi là [[tập chỉ số]].

Bằng việt kết hợp cách ký hiệu này với kỹ thuật coi các phần tử trong dãy là các biến độc lập. Ta có thể viết các biểu thức như <math>(a_n)_{n\in\mathbb N}</math>, biểu thức này ký hiệu dãy trong đó phần tử thứ ''n'' lấy từ biến <math>a_n</math>. Ví dụ:
:<math>\begin{align}
a_1 &= \text{phần tử thứ }1 \ \text{của} \ (a_n)_{n\in\mathbb N} \\
a_2 &= \text{phần tử thứ }2 \\
a_3 &= \text{phần tử thứ }3 \\
&\;\;\vdots \\
a_{n-1} &= \text{phần tử thứ }n-1 \\
a_n &= \text{phần tử thứ }n \\
a_{n+1} &= \text{phần tử thứ }n+1\\
&\;\; \vdots
\end{align}</math>
Bên cạnh đó, ta còn có thể xét nhiều dãy khác nhau trong cùng một lúc bằng cách sử dụng tên biến khác; chẳng hạn <math>(b_n)_{n\in\mathbb N}</math> có thể là dãy khác với <math>(a_n)_{n\in\mathbb N}</math>. Ta cũng có thể xét dãy của các dãy: <math>((a_{m, n})_{n\in\mathbb N})_{m\in\mathbb N}</math> ký hiệu dãy trong đó phần tử thứ ''m'' là dãy <math>(a_{m, n})_{n\in\mathbb N}</math>.

Một cách khác để viết miền trong đoạn viết dưới của dãy là viết khoảng giá trị mà nó có thể nhận bằng cách chỉ ra giá trị nhỏ nhất và lớn nhất nó có thển hận. Ví dụ chẳng hạn, ký hiệu <math>(k^2)_{k = 1}^{10}</math> chỉ dãy 10 số chính phương <math>(1, 4, 9, \ldots, 100)</math>. Các giới hạn <math>\infty</math> và <math>-\infty</math> đều được cho phép, nhưnng nó không biểu diễn giá trị hợp lệ cho chỉ số, mà chỉ là [[cận trên đúng]] hay [[cận dưới đúng]] của các giá trị đó, tương ứng. Ví dụ chẳng hạn, dãy <math>(a_n)_{n = 1}^\infty</math> giống với dãy <math>(a_n)_{n\in\mathbb N}</math>, và không chứa phần tử nào "tại vô hạn". Dãy <math>(a_n)_{n = -\infty}^\infty</math> là '''dãy vô hạn hai bên''', và được ký hiệu theo liệt kê là <math>(\ldots, a_{-1}, a_0, a_1, a_2, \ldots)</math>.

Trong trường hợp tập các chỉ số đã được ngầm hiểu trước, thì có thể bỏ cả đoạn chỉ số trên và dưới. Khi đó, ta thường hiểu <math>(a_k)</math> ký hiệu cho một dãy tuỳ ý. Thường thì chỉ số ''k'' được ngầm định chạy từ 1 đến ∞. Tuy nhiên, các dãy thường có chỉ số bắt đầu từ 0, tức là
:<math>(a_k)_{k=0}^\infty = ( a_0, a_1, a_2, \ldots ).</math>
Trong một số trường hợp khi các phần tử trong dãy có quan hệ gần gũi với các số tự nhiên và có mẫu nhận dạng dễ nhìn, thì tập chỉ số có thể suy ra được bằng cách liệt kê vài phần tử đầu tiên. Lấy ví dụ, tập các bình phương của các [[số lẻ]] có thể ký hiệu theo một trong năm cách sau.

* <math>(1, 9, 25, \ldots)</math>
* <math>(a_1, a_3, a_5, \ldots), \qquad a_k = k^2</math>
* <math>(a_{2k-1})_{k=1}^\infty, \qquad a_k = k^2</math>
* <math>(a_{k})_{k=1}^\infty, \qquad a_k = (2k-1)^2</math>
* <math>\left((2k-1)^2\right)_{k=1}^\infty</math>

Hơn nữa, đoạn chỉ số dưới và trên có thể bỏ đi trong cách thứ ba, thứ tư và thứ năm, nếu tập chỉ số đã được hiểu là tập các [[số tự nhiên]]. Trong cách thứ hai và thứ ba, có dãy đã được định nghĩa <math>(a_{k})_{k=1}^\infty</math>, nhưng nó không giống với dãy ký hiệu theo biểu thức.

===Định nghĩa dãy bằng đệ quy===
{{main|Liên hệ lặp lại}}
Dãy mà phần tử có quan hệ với phần tử đứng trước nó thường được định nghĩa bằng [[định nghĩa đệ quy|đệ quy]]. Cách định nghĩa này khác với định nghĩa dãy có các phần tử là giá trị của hàm số của vị trí của chúng.

Để có thể định nghĩa bằng đệ quy, ta cần một luật, hay quy tắc, được gọi là ''quan hệ lặp lại'' để xây dựng mỗi phần tử trong dãy dựa trên các phần tử đứng trước đó. Bên cạnh đó yêu cầu cần phải định nghĩa hay xác định trước phần tử đứng đầu (hay còn gọi là phần tử khởi tạo) để các phần tử đứng sau có thể được tính bằng quan hệ. Công thức suy ra được từ quan hệ đó được gọi là '''công thức truy hồi''' hoặc '''hệ thức truy hồi'''.

[[Dãy Fibonacci]] là một ví dụ hay thường gặp, và được định nghĩa theo công thức truy hồi sau
:<math>a_n = a_{n-1} + a_{n-2},</math>
với hai phần tử ban đầu <math>a_0 = 0</math> và <math>a_1 = 1</math>. Qua vài bước tính toán, 10 phần tử đầu tiên của dãy này sẽ là 0, 1, 1, 2, 3, 5, 8, 13, 21, và 34.

Một ví dụ phức tạp về dãy được định nghĩa theo quan hệ đệ quy là [[dãy Recamán]],<ref>{{cite OEIS|1=A005132|2=Recamán's sequence|access-date=26 January 2018}}</ref>, dãy này được định nghĩa như sau:
:<math>\begin{cases}a_n = a_{n-1} - n,\quad \text{nếu kết quả dương và hiện chưa có trong dãy}\\a_n = a_{n-1} + n, \quad\text{ngược lại},
\end{cases}</math>
với phần tử khởi tạo <math>a_0 = 0.</math>

''Hệ thức truy hồi tuyến tính có hệ số hằng'' là công thức có dạng
:<math>a_n=c_0 +c_1a_{n-1}+\dots+c_k a_{n-k},</math>
trong đó <math>c_0,\dots, c_k</math> là các [[hằng số]]. Có công thức tổng quát để biểu diễn các phần tử <math>a_n</math> thành hàm số của {{mvar|n}}; xem [[truy hồi tuyến tính]]. Trong trường hợp của dãy Fibonacci, ta có <math>c_0=0, c_1=c_2=1,</math> và hàm của {{mvar|n}} lấy từ [[công thức Binet]].

[[Dãy holonom]] là dãy được định nghĩa bằng công thức hồi quy dưới dạng
:<math>a_n=c_1a_{n-1}+\dots+c_k a_{n-k},</math>
trong đó <math>c_1,\dots, c_k</math> là các [[đa thức]] biến {{mvar|n}}. Hầu như đối với mọi dãy holonom không có công thức cụ thể nào để biểu diễn <math>a_n</math> bằng hàm số của {{mvar|n}}. Mặc dù vậy, các dãy holonom vẫn đóng vai trò quan trọng trong nhiều nhánh của toán học. Ví dụ chẳng hạn, nhiều [[hàm đặc biệt]] có [[chuỗi Taylor]] với các hệ số là phần tử của dãy holonom. Sử dụng đệ quy cho phép tính nhanh chóng giá trị của các hàm đặc biệt đó.

Không phải mọi dãy đều có thể định nghĩa bằng đệ quy. Một ví dụ là dãy các [[số nguyên tố]] theo thứ tự tự nhiên (2, 3, 5, 7, 11, 13, 17, ...).

== Định nghĩa ==
Theo quan điểm của lý thuyết tập hợp, dãy là một ánh xạ ''a'': ''X'' <math>\to</math> ''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 a<sub>n</sub>.
::''a''<sub>n</sub>=''a''(n)
Nếu X là hữu hạn ta có dãy hữu hạn:
:: a<sub>n1</sub>,...,a<sub>n</sub>.
Ngược lại nó được xem là vô hạn.
:: a<sub>1</sub>,a<sub>2</sub>,...,a<sub>n</sub>,...
Đô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ử <math>a_{n_0}</math> dãy thường được ký hiệu:
:<math>(x_n)_{n \ge n_0 }</math> với ''x''<sub>''n''</sub> là phần tử thứ ''n''.

Người ta thường xét hơn các dãy bắt đầu từ phần tử <math>a_1</math>.
:<math>(x_n)_{n \ge 1 }</math> với ''x''<sub>''n''</sub> là phần tử thứ ''n''

== Dãy hữu hạn ==
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?

== Dãy vô hạn ==
Khi các phần tử của một dãy vô hạn thuộc một [[không gian mêtric|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ỳ.
== Dãy trong khoa học học máy tính ==
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.
== Xem thêm ==
* [[Chuỗi (toán học)|Chuỗi toán học]]
* [[Dãy số thực]]

==Chú thích==
{{Tham khảo|30em}}

==Tham khảo==
{{Tham khảo}}
{{Kiểm soát tính nhất quán}}
{{Chuỗi (toán học)}}

[[Thể loại:Dãy toán học]]
[[Thể loại:Giải tích toán học]]
[[Thể loại:Toán học sơ cấp]]