Xem mã nguồn của Chuỗi (toán học)

{{Short description|Infinite sum}}
{{About|tổng vô hạn|tổng hữu hạn|phép lấy tổng}}
{{Calculus}}

Trong [[toán học]], '''chuỗi''' có thể được nói là, việc cộng lại vô hạn các số lại với nhau bất đầu từ số ban đầu.<ref>{{Chú thích sách |title=Calculus Made Easy |last1=Thompson |first1=Silvanus |author-link1=Silvanus P. Thompson |last2=Gardner |first2=Martin |author-link2=Martin Gardner |date=1998 |isbn=978-0-312-18548-0 |url=https://archive.org/details/calculusmadeeasy00thom_0 }}</ref>  Chuỗi là phần quan trọng của [[vi tích phân]] và trong tổng quát của nhánh đó, [[giải tích toán học]]. Chuỗi được sử dụng trong đa số các nhánh toán học, kể cả cho việc nghiên cứu các cấu trúc hữu hạn (ví dụ như trong [[Toán học tổ hợp|tổ hợp]]) qua các hàm sinh. Ngoài sự phổ biến của nó trong toán học ra, chuỗi vô hạn cũng được sử dụng rộng rãi trong các môn khoa học khác như [[vật lý]], [[khoa học máy tính]], [[thống kê]] và [[kinh tế học]].

Trong một thời gian rất là dài, ý tưởng rằng [[tổng]] [[vô hạn]] các số hạng có thể cho ra giá trị hữu hạn được coi là [[nghịch lý]]. Nghịch lý này cuối cùng cũng được giải quyết bằng khái niệm của [[giới hạn (toán học)|giới hạn]] trong thế kỷ 17. [[Nghịch lý Zeno|Nghịch lý Zeno với Achilles và con rùa]] minh họa tính chất nghich lý của tổng vô hạn như sau: Achilles chạy theo một rùa, nhưng khi anh chạm tới vị trí ban đầu của con rùa thì con rùa đã đi đến vị trí thứ hai rồi;khi anh chạy tới vị trí thứ hai, con rùa đã sang vị trí thứ ba, rồi cứ tiếp diễn như vậy. [[Zeno xứ Elea|Zeno]] kết luận Achilles ''không bao giờ'' có thể chạm thới con rùa và do đó di chuyển không tồn tại. Zeno chia cuộc đua thành vô số cuộc đua con, mọi cuộc cần hữu hạn khoảng thời gian. nên tổng thời gian để Achilles bắt kịp con rùa được cho bởi chuỗi số. Lời giải này của nghịch lý này là, mặc dù một chuỗi số có vô hạn số số hạng, tổng của nó hữu hạn, và giá trị tổng chính là thời gian để Achilles bắt kịp với con rùa.

Trong thuật ngữ hiện đại, bất kỳ [[dãy số|dãy vô hạn]] được sắp <math>(a_1,a_2,a_3,\ldots)</math> của các [[số hạng]] (số hạng ở đây có thể là số, [[hàm số]], hoặc bất cứ đối tượng nào có thể cộng lại vào với nhau) định nghĩa một chuỗi là việc cộng toàn bộ các số hạng trong dãy đó {{math|''a''<sub>''i''</sub>}} lại với nhau. Để nhấn mạnh rằng chuỗi là việc tính tổng vô hạn các phẩn tử trong một dãy, một chuỗi còn được gọi là '''chuỗi vô hạn'''. Chuỗi như vậy thường được viết bằng biểu thức như sau
:<math>a_1+a_2+a_3+\cdots,</math>
hoặc viết gọn đi bằng [[phép lấy tổng|ký hiệu sigma]],
:<math>\sum_{i=1}^\infty a_i.</math>

Ta không thể cộng được chính xác vô số phép cộng trong chuỗi (đặc biệt là trong thời gian hữu hạn). Tuy nhiên nếu [[tập hợp (toán học)|tập]] các số hạng trong dãy và tổng hữu hạn của chúng có ký hiệu [[giới hạn]], thì ta đôi khi có thể gán giá trị cho chuỗi, được gọi là tổng của chuỗi. Giá trị này là giới hạn khi {{math|''n''}} tiến đến [[vô cực]] (nếu tồn tại) của tổng hữu hạn của {{math|''n''}} số hạng đầu tiên, các tổng hữu hạn này được gọi là '''tổng  riêng''' thứ {{math|''n''}} của chuỗi. Tức là,
<math>\sum_{i=1}^\infty a_i  = \lim_{n\to\infty} \sum_{i=1}^n a_i.</math>

Khi giới hạn này tồn tại, ta có thể nói chuỗi '''hội tụ''' hay '''tính tổng được''', hoặc dãy <math>(a_1,a_2,a_3,\ldots)</math> '''tính tổng được'''. Trong tường hợp này, giá trị giới hạn là '''tổng''' của chuỗi. Ngược lại thì chuỗi được gọi là '''phân kỳ'''.<ref name=":0">{{Chú thích web|last=Weisstein|first=Eric W.|title=Series|url=https://mathworld.wolfram.com/Series.html|access-date=2020-08-30|website=mathworld.wolfram.com|language=en}}</ref>

Tổng quát thì, các số hạng trong chuỗi thường thuộc một [[Vành (toán học)|vành]] nào đó, thường thì là [[Trường (toán học)|trường]] <math>\mathbb R</math> của các số thực hoặc trường <math>\mathbb C</math> của các số phức. Trong trường hợp này, tập tất cả các chuỗi tạo thành một vành (thậm chí còn là [[đại số kết hợp]]), trong đó phép cộng là cộng từng số hạng lại với nhau, còn phép nhân là [[tích Cauchy]].

==Các tính chất cơ bản==

Chuỗi vô hạn hay gọi ngắn đi là chuỗi là tổng vô hạn được biểu diễn bằng biểu thức sau:<ref name="SW501">{{harvnb|Swokowski|1983|loc=p. 501}}</ref>
:<math>a_0 + a_1 + a_2 + \cdots, </math>
Trong đó <math>(a_n)</math> là bất kỳ [[dãy]] được sắp của các [[số hạng]], như là các [[số]], [[hàm số]], hay bất cứ thứ gì có thể cộng với nhau (trong [[nhóm abel]]).  Đây là biểu thức lấy được từ dãy <math>a_0,a_1,\dots</math> bằng cách đặt các số hạng cạnh nhau rồi nói chúng bằng ký hiệu phép cộng "+".  Chuỗi có thể viết gọn lại bằng ký hiệu sigma thành
:<math>\sum_{n=0}^{\infty} a_n . </math>

Nếu nhóm abel {{math|''A''}} của các số hạng có khái niệm [[giới hạn (toán học)|giới hạn]] (tức là nó là [[không gian mêtric]]), thì một số chuỗi có thể có giá trị trong {{math|''A''}}, giá trị đó được gọi là ''tổng của chuỗi''. Định nghĩa này có bao gồm cả các trường hợp thường gặp trong [[giải tích]], trong đó nhóm là trường [[số thực]] hoặc trường [[số phức]]. Cho chuỗi <math display="inline">s=\sum_{n=0}^\infty a_n</math>, '''tổng riêng''' thứ {{math|''k''}} của nó là<ref name=":0" />
:<math>s_k = \sum_{n=0}^{k}a_n = a_0 + a_1 + \cdots + a_k.</math>
Theo định nghĩa, chuỗi <math display="inline">\sum_{n=0}^{\infty} a_n</math> ''hội tụ'' đến giá trị {{math|''L''}} (hay ''có tổng'' bằng {{math|''L''}}), nếu dãy các tổng riêng của nó có giới hạn {{math|''L''}}.<ref name="SW501" /> Khi đó, ta thường viết là
:<math>L = \sum_{n=0}^{\infty}a_n.</math>
Một chuỗi được gọi là ''hội tụ'' nếu nó hội tụ đến một giá trị hữu hạn nào đó, hay ''phân kỳ'' nếu nó không hội tụ được. Giá trị của giới hạn này, nếu nó tồn tại, là giá trị của chuỗi.

===Chuỗi hội tụ===
[[Tập tin:Geometric sequences.svg|thumb|right|Minh hoạ 3 [[chuỗi hình học]] với tổng riêng từ 1 đến 6 số hạng. Đường nét đứt là giới hạn.]]
Chuỗi {{math|Σ''a''<sub>''n''</sub>}} được gọi là [[chuỗi hội tụ|hội tụ]] khi dãy {{math|(''s''<sub>''k''</sub>)}} của các tổng riêng có [[giới hạn dãy số|giới hạn]]. Nếu giới hạn của {{math|''s''<sub>''k''</sub>}} là vô cực hay không tồn tại, thì chuỗi được gọi là [[chuỗi phân kỳ|phân kỳ]].<ref name=":0" /><ref>{{citation|title=Calculus|author=Michael Spivak}}</ref> Khi giá trị hữu hạn của giới hạn tồn tại, nó được gọi là giá trị (hay tổng) của chuỗi
:<math>\sum_{n=0}^\infty a_n = \lim_{k\to\infty} s_k = \lim_{k\to\infty} \sum_{n=0}^k a_n.</math>

Cách dễ nhất để một chuỗi vô hạn hội tụ là khi ''a''<sub>''n''</sub> bằng không với mọi ''n'' đủ lớn. Dễ thấy một chuỗi số như vậy có thể được viết dưới dạng một tổng hữu hạn, cho nên chuyện dãy số đó là vô hạn không có ý nghĩa gì.

Tìm ra các giá trị của một chuỗi hội tụ kể cả khi tất cả các biểu thức đều khác không là tiêu điểm của việc nghiên cứu chuỗi. Xem xét ví dụ sau:

:<math> 1 + \frac{1}{2}+ \frac{1}{4}+ \frac{1}{8}+\cdots+ \frac{1}{2^n}+\cdots</math>

Có thể"hình dung"sự hội tụ của chuỗi trên [[Số thực|trục số thực]]: ta có thể hình dung một [[đoạn thẳng]] có [[chiều dài]] bằng 2, trên đó lần lượt bôi đen các phần với chiều dài 1, ½, ¼, v.v. Luôn luôn còn chỗ để bôi đen phần tiếp theo vì phần đoạn thẳng còn lại luôn luôn bằng phần đoạn thẳng vừa đánh dấu. Thật vậy, khi ta đã bôi đen ½, ta vẫn còn một phần có chiều dài ½ chưa bị bôi đen, nên hoàn toàn có thể bôi đen tiếp ¼, và cứ như thế. Điều này không chứng minh rằng tổng này ''bằng'' 2 (mặc dù đúng là như thế), nhưng nó chứng minh rằng tổng này ''nhỏ hơn hoặc bằng'' 2. Nói cách khác, giá trị chuỗi này có [[cận trên]]. Biết rằng chuỗi này hội tụ, để chứng minh nó có giá trị bằng 2, ta chỉ cần [[đại số cơ bản]]. Nếu chuỗi được ký hiệu là {{math|''S''}}, dễ thấy rằng
:<math>S/2 = \frac{1+ \frac{1}{2}+ \frac{1}{4}+ \frac{1}{8}+\cdots}{2} = \frac{1}{2}+ \frac{1}{4}+ \frac{1}{8}+ \frac{1}{16} +\cdots.</math>
Do đó,
<math>S-S/2 = 1 \Rightarrow S = 2.</math>

Các nhà toán học có thể mở rộng từ ví dụ này để thể hiện các khái niệm khác, tương đương của chuỗi. Ví dụ, khi ta nói về số thực có [[Phần thập phân lặp lại|lặp phần thập phân]], chẳng hạn:

:<math>x = 0.111\dots</math>

thực ra ta đang nói về chuỗi số mà nó thể hiện (0.1 + 0.01 + 0.001 + ...). Tuy nhiên, vì những chuỗi này luôn hội tụ về [[số thực]] (bởi [[Không gian mêtric đầy đủ diện|tính đầy đủ]] của số thực), nên nói về chuỗi số theo cách này cũng giống như nói về các số mà chúng thể hiện. Đặc biệt, không nên thấy bất hợp lý khi coi 0.111... và <sup>1</sup>/<sub>9</sub> là một. Lập luận rằng {{nowrap|1=9 × 0.111... = 0.999... = 1}} không hiển nhiên, nhưng hoàn toàn chứng minh được một khi đã biết các định luật về giới hạn bảo toàn các phép tính số học. Xem [[0,999...|0.999...]] để biết thêm chi tiết.

==Ví dụ của một số chuỗi==
{{For|các ví dụ khác|Danh sách các chuỗi toán học}}
* ''[[Chuỗi hình học]]'' là chuỗi mà mỗi số hạng sau có được bằng cách nhân số hạng trước đó với một [[hằng số]] . Lấy ví dụ:<ref name=":0" /> :<math >1 + {1 \over 2} + {1 \over 4} + {1 \over 8} + {1 \over 16} + \cdots=\sum_{n=0}^\infty{1 \over 2^n} = 2.</math> Tổng quát thì, chuỗi hình học :<math >\sum_{n=0}^\infty z^n</math> hội tụ [[khi và chỉ khi]] <math display="inline">|z| < 1</math>, trong trường hợp đó nó hội tụ đến <math display="inline> {1 \over 1 - z}</math>.
* ''[[Chuỗi điều hòa (toán học)|chuỗi điều hòa]]'' là chuỗi sau<ref>{{Chú thích web|title=Infinite Series|url=https://www.mathsisfun.com/algebra/infinite-series.html|access-date=2020-08-30|website=www.mathsisfun.com}}</ref> :<math>1 + {1 \over 2} + {1 \over 3} + {1 \over 4} + {1 \over 5} + \cdots = \sum_{n=1}^\infty {1 \over n}.</math> Chuỗi điều hòa là chuỗi phân kỳ.
* ''[[Chuỗi đan dấu]]'' là chuỗi các số hạng của nó đan dấu cho nhau.  Các ví dụ:

:<math>1 - {1 \over 2} + {1 \over 3} - {1 \over 4} + {1 \over 5} - \cdots =\sum_{n=1}^\infty {\left(-1\right)^{n-1} \over n}=\ln(2) \quad </math> 
([[chuỗi điều hòa đan dấu]]) và 
:<math>-1+\frac{1}{3} - \frac{1}{5} + \frac{1}{7} - \frac{1}{9} + \cdots =\sum_{n=1}^\infty \frac{\left(-1\right)^n}{2n-1} = -\frac{\pi}{4}</math>

* [[Chuỗi lồng nhau]] 
:<math>\sum_{n=1}^\infty (b_n-b_{n+1})</math> 
hội tụ khi và chỉ khi [[dãy]] ''b''<sub>''n''</sub> hội tụ đến giá trị ''L''—khi ''n'' tiến đến vô cùng. Giá trị của chuỗi là ''b''<sub>1</sub> − ''L''.

* [[Chuỗi điều hòa (toán học)#P-chuỗi|''p''-chuỗi]] :<math>\sum_{n=1}^\infty\frac{1}{n^p}</math> hội tụ khi ''p'' > 1 và phân kỳ khi ''p'' ≤ 1, ta có thể chứng minh bằng cách dùng các quy tắc kiểm tra hội tụ. Là hàm số của ''p'', tổng của chuỗi này là [[hàm zeta Riemann]].
* [[Chuỗi siêu hình học]]: 
:<math>_rF_s \left[ \begin{matrix}a_1, a_2, \dotsc, a_r \\ b_1, b_2, \dotsc, b_s \end{matrix}; z \right] := \sum_{n=0}^{\infty} \frac{(a_1)_n (a_2)_n \dotsb (a_r)_n}{(b_1)_n (b_2)_n \dotsb (b_s)_n \; n!} z^n</math> 
và các dạng tổng quát của chúng (như [[chuỗi siêu hình học cơ bản]] và [[chuỗi siêu hình học elliptic]]) thường xuất hiện trong [[hệ thống khả tích]] và [[vật lý toán học]].<ref>Gasper, G., Rahman, M. (2004). Basic hypergeometric series. [[Cambridge University Press]].</ref>

* Có vài chuỗi căn bản mà tính hội tụ chưa được biết hay chưa được chứng minh hội tụ. Lấy ví dụ, hiện vẫn chưa biết được chuỗi Flint Hills {{anchor|chuỗi Flint Hills|Chuỗi Flint Hills}} 
:<math>\sum_{n=1}^\infty \frac{\csc^{2} n}{n^{3}}</math> 
có hội tụ hay không.Tính hội tụ của chuỗi này phụ thuộc vào liệu <math>\pi</math> có thể xấp xỉ tốt với các [[số hữu tỷ]] (hiện vẫn chưa biết được).

===π===
{{Main|Pi#Chuỗi vô hạn|Xấp xỉ của π|Số điều hòa}}

:<math> \sum_{i=1}^{\infty} \frac{1}{i^2} = \frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + \frac{1}{4^2} + \cdots = \frac{\pi^2}{6}</math>

:<math> \sum_{i=1}^\infty \frac{(-1)^{i+1}(4)}{2i-1} = \frac{4}{1} - \frac{4}{3} + \frac{4}{5} - \frac{4}{7} + \frac{4}{9} - \frac{4}{11} + \frac{4}{13} - \cdots = \pi</math>

===Lôgarit tự nhiên của 2===
{{Main|Lôgarit tự nhiên của 2}}

:<math>\sum_{i=1}^\infty \frac{(-1)^{i+1}}{i} = \ln 2</math> <ref name=":0" />

:<math>\sum_{i=0}^\infty \frac{1}{(2i+1)(2i+2)} = \ln 2</math>

:<math>\sum_{i=0}^\infty \frac{(-1)^i}{(i+1)(i+2)} = 2\ln(2) -1</math>

:<math>\sum_{i=1}^\infty \frac{1}{i \left(4i^2-1\right)} = 2\ln(2) -1</math>

:<math> \sum_{i=1}^\infty \frac{1}{2^{i}i} = \ln 2</math>

:<math> \sum_{i=1}^\infty \left(\frac{1}{3^i}+\frac{1}{4^i}\right)\frac{1}{i} = \ln 2</math>

:<math> \sum_{i=1}^\infty \frac{1}{2i(2i-1)} = \ln 2</math>

===Lôgarit tự nhiên cơ số ''e''===
{{Main|e (số)}}

:<math>\sum_{i = 0}^\infty \frac{(-1)^i}{i!} =  1-\frac{1}{1!}+\frac{1}{2!}-\frac{1}{3!}+\cdots = \frac{1}{e}</math>

:<math> \sum_{i = 0}^\infty \frac{1}{i!} = \frac{1}{0!} + \frac{1}{1!} + \frac{1}{2!} + \frac{1}{3!} + \frac{1}{4!} + \cdots = e </math>

==Sử dụng vi tích phân và phép lấy tổng riêng làm phép toán trên các dãy==
Phép lấy tổng riêng có tham số đầu vào là dãy (''a''<sub>''n''</sub>), và đầu ra là dãy (''S''<sub>''N''</sub>). Do đó nó là [[phép toán một ngôi]] trên các dãy. Hơn nữa hàm này [[ánh xạ tuyến tính|tuyến tính]] và do đó là [[toán tử tuyến tính]] trên [[không gian vectơ]] của các dãy ,ký hiệu bằng Σ. Toán tử nghịch đảo là toán tử [[số giả hữu hạn]], ký hiệu bằng Δ. Chúng hoạt động tương tự với [[tích phân]] và [[đạo hàm]] nhưng dành cho chuỗi (hàm của số tự nhiên) chứ không phải hàm số thực. Lấy ví dụ, dãy số (1, 1, 1, ...) có chuỗi (1, 2, 3, 4, ...) là tổng riêng của nó, tương tự với <math display="inline">\int_0^x 1\,dt = x.</math>

Trong [[khoa học máy tính]], nó được gọi là [[tổng tiền tố]].

==Các tính chất của chuỗi==
Các chuỗi không chỉ được phân loại bởi tính hội tụ/phân kỳ, mà còn bởi tính chất của các số hạng a<sub>n</sub> (hội tụ tuyệt đối hay hội tụ có điều kiện); loại hội tụ của chuỗi (từng điểm, đều); lớp của số hạng a<sub>n</sub> (nó là số thực, hay thuộc cấp số nhân, hay là hàm lượng giác), vân vân.

===Số hạng không âm===
Khi ''a<sub>n</sub>'' là số thực không âm với mọi ''n'', thì dãy ''S<sub>N</sub>'' của các tổng riêng không giảm. Từ đây, ta chứng minh được: chuỗi Σ''a<sub>n</sub>''cùng với các số hạng không âm hội tụ khi và chỉ khi dãy ''S<sub>N</sub>'' của các tổng riêng bị chặn.

Lấy ví dụ chuỗi
:<math display>\sum_{n = 1}^\infty \frac{1}{n^2}</math>
hội tụ, bởi bất đẳng thức sau
:<math display>\frac1 {n^2} \le \frac{1}{n-1} - \frac{1}{n}, \quad n \ge 2,</math>
và dùng chuỗi lồng nhau cho thấy các tổng riêng của chuỗi gốc bị chặn bởi 2. Giá trị chính xác của chuỗi này là kết quả của [[bài toán Basel]].

===Hội tụ tuyệt đối===
{{Main|Hội tụ tuyệt đối}}
Chuỗi
:<math>\sum_{n=0}^\infty a_n</math>
''hội tụ tuyệt đối'' nếu chuỗi của các [[giá trị tuyệt đối]]
:<math>\sum_{n=0}^\infty \left|a_n\right|</math>
hội tụ. Đây là điều kiện đủ để đảm bảo không chỉ chuỗi gốc hội tụ mà còn bất kỳ việc sắp xếp lại chuỗi như thế nào đi chăng nữa, chuỗi đó vẫn hội tụ đến cùng một giá trị.

===Hội tụ có điều kiện===
{{Main|Hội tụ có điều kiện}}
Một chuỗi số thực hoặc số phức được gọi là '''hội tụ có điều kiện''' (hoặc '''hội tụ bán phần''') nếu nó hội tụ nhưng không hội tụ tuyệt đối. Một ví dụ nổi tiếng là chuỗi đan dấu

:<math>\sum\limits_{n=1}^\infty {(-1)^{n+1} \over n} = 1 - {1 \over 2} + {1 \over 3} - {1 \over 4} + {1 \over 5} - \cdots</math>

Chuỗi này hội tụ (có tổng các biểu thức đúng bằng ln 2), nhưng chuỗi gồm toàn giá trị tuyệt đối của mỗi biểu thức của chuỗi này lại là chuỗi phân kỳ (xem [[Chuỗi điều hòa (toán học)|chuỗi điều hòa]]). [[Định lý chuỗi Riemann]] nói rằng bất cứ chuỗi nào hội tụ có điều kiện đều có thể được sắp xếp lại để trở thành một chuỗi phân kỳ, hơn nữa, nếu ''a''<sub>''n''</sub> là số thực thì ta có thể tìm được một cách sắp xếp sao cho chuỗi mới hội tụ và có tổng bằng bất kỳ số thực ''S'' nào.

[[Kiểm tra Abel]] là một công cụ quan trọng để xử lý chuỗi hội tụ bán phần. Nếu một chuỗi có dạng

:<math>\sum a_n = \sum \lambda_n b_n</math>

trong đó các tổng riêng ''B''<sub>''N''</sub> = ''b''<sub>0</sub> + ··· + ''b<sub>n</sub>'' bị chặn, ''λ''<sub>''n''</sub> biến thiên bị chặn, và lim λ<sub>''n''</sub>''B''<sub>''n''</sub> tồn tại:

:<math>\sup_N \Bigl| \sum_{n=0}^N b_n \Bigr| < \infty, \ \ \sum |\lambda_{n+1} - \lambda_n| < \infty\ \text{va} \ \lambda_n B_n \ \text{hoi tu,}</math>

thì chuỗi ∑''a<sub>n</sub>'' hội tụ. Điều này áp dụng cho hội tụ từng điểm của nhiều [[chuỗi lượng giác]], như

:<math>\sum_{n=2}^\infty \frac{\sin(n x)}{\ln n}</math>

với 0 < ''x'' < 2π. Phương pháp Abel là viết ''b''<sub>''n''+1</sub> thành ''B''<sub>''n''+1</sub> − ''B''<sub>''n''</sub>, rồi thực hiện một phép biến đổi tương tự với [[tích phân từng phần]] (gọi là [[summation by parts|tính tổng từng phần]]),đưa chuỗi ∑''a<sub>n</sub>'' về chuỗi hội tụ tuyệt đối:
:<math> \sum (\lambda_n - \lambda_{n+1}) \, B_n.</math>

===Tính sai số khi loại bỏ các số hạng trong chuỗi===
Việc tính các sai số sau khi loại bỏ một số số hạng là thủ tục quan trọng trong [[giải tích số]] (đặc biệt là trong [[số học đã kiểm chứng]] và [[chứng minh có máy tính hỗ trợ]]).

====[[Chuỗi đan dấu]]====
Khi các điều kiện của [[kiểm tra chuỗi đan dấu]] được thỏa mãn bởi <math display="inline">S:=\sum_{m=0}^\infty(-1)^m u_m</math>, ta có thể tính chính xác sai số.<ref>[https://www.ck12.org/book/CK-12-Calculus-Concepts/section/9.9/ Positive and Negative Terms: Alternating Series]</ref> Gọi <math>s_n</math> là tổng riêng <math display="inline">s_n:=\sum_{m=0}^n(-1)^m u_m</math> của chuỗi đan dấu cho trước <math>S</math>, thì bất đẳng thức sau được thỏa mãn:
:<math>|S-s_n|\leq u_{n+1}.</math>

====[[Chuỗi Taylor]]====
[[Định lý Taylor]] được dùng để tính sai số khi [[chuỗi Taylor]] bị loại bớt đi.

====[[Chuỗi siêu hình học]]====
Bằng cách sử dụng [[tỷ lệ]], ta có thể tính các số hạng sai số của [[chuỗi siêu hình học]] bị loại bớt đi.<ref>Johansson, F. (2016). Computing hypergeometric functions rigorously. arXiv preprint arXiv:1606.06977.</ref>

==Xem thêm==
* [[Liên phân số]]
* [[Kiểm tra hội tụ]]
* [[Chuỗi hội tụ]]
* [[Chuỗi phân kỳ]]
* [[Tích vô hạn]]
* [[Danh sách các chuỗi toán học]]
* [[Tổng tiền tố]]
* [[Biến đổi chuỗi]]
* [[Khai triển chuỗi]]

==Tham khảo==
{{Tham khảo}}

==Thư mục==
{{Refbegin}}
*[[Thomas John I'Anson Bromwich|Bromwich, T. J.]] ''An Introduction to the Theory of Infinite Series'' MacMillan & Co. 1908, revised 1926, reprinted 1939, 1942, 1949, 1955, 1959, 1965.
* {{chú thích tạp chí
| doi = 10.1073/pnas.36.3.192
| last1 = Dvoretzky
| first1 =  Aryeh
| last2 = Rogers
| first2 =  C.&nbsp;Ambrose
| title = Absolute and unconditional convergence in normed linear spaces
| journal = Proc. Natl. Acad. Sci. U.S.A.
| volume = 36
| issue = 3
| year = 1950
| pages = 192–197
| pmid = 16588972
| pmc = 1063182
| bibcode = 1950PNAS...36..192D
| doi-access = free
}}
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!-- {{sfn | Narici | 2011 | p=}} -->
* {{citation | last=Swokowski | first=Earl W.|title=Calculus with analytic geometry|edition=Alternate|year=1983|publisher=Prindle, Weber & Schmidt|place=Boston|isbn=978-0-87150-341-1|url=https://archive.org/details/calculuswithanal00swok}}
* Walter Rudin, ''Principles of Mathematical Analysis'' (McGraw-Hill: New York, 1964).
* {{Chú thích sách | last=Pietsch | first=Albrecht | title=Nuclear locally convex spaces | url=https://archive.org/details/nuclearlocallyco0000piet | publisher=Springer-Verlag | publication-place=Berlin,New York | year=1972 | isbn=0-387-05644-0 | oclc=539541 }} <!-- {{sfn | Pietsch | 1972 | p=}} -->
* {{Chú thích sách | last=Robertson | first=A. P. | title=Topological vector spaces | url=https://archive.org/details/topologicalvecto0000robe | publisher=University Press | publication-place=Cambridge England | year=1973 | isbn=0-521-29882-2 | oclc=589250 }} <!-- {{sfn | Robertson | 1973 | p=}} -->
* {{Chú thích sách | last=Ryan | first=Raymond | title=Introduction to tensor products of Banach spaces | publisher=Springer | publication-place=London New York | year=2002 | isbn=1-85233-437-1 | oclc=48092184 }} <!-- {{sfn | Ryan | 2002 | p=}} -->
* {{Schaefer Wolff Topological Vector Spaces|edition=2}} <!-- {{sfn | Schaefer | 1999 | p=}} -->
* {{Trèves François Topological vector spaces, distributions and kernels}} <!-- {{sfn | Treves | 2006 | p=}} -->
* {{Chú thích sách | last=Wong | title=Schwartz spaces, nuclear spaces, and tensor products | url=https://archive.org/details/schwartzspacesnu0000wong | publisher=Springer-Verlag | publication-place=Berlin New York | year=1979 | isbn=3-540-09513-6 | oclc=5126158 }} <!-- {{sfn | Wong | 1979 | p=}} -->
{{MathSciNet|id=0033975}}
{{Refend}}

==Liên kết ngoài==
{{Thể loại Commons|Series (mathematics)}}
* {{springer|title=Series|id=p/s084670}}
* [http://www.math.odu.edu/~bogacki/citat/series/index.html Infinite Series Tutorial]
* {{Chú thích web |url=http://tutorial.math.lamar.edu/Classes/CalcII/Series_Basics.aspx |title=Series-TheBasics |publisher=Paul's Online Math Notes}}
* {{Chú thích web |url=http://lesliegreen.byethost3.com/articles/series.pdf |title=Show-Me Collection of Series |publisher=Leslie Green}}

{{Chuỗi (toán học)}}
{{Analysis-footer}}

{{Authority control}}

{{DEFAULTSORT:Series (Mathematics)}}
[[Thể loại:Giải tích toán học]]
[[Thể loại:Chuỗi toán học]]
[[Thể loại:Vi tích phân]]