✨Tích vô hạn

Trong toán học, với một dãy các số phức a₁, a₂, a₃, ... tích vô hạn

: $\backslash prod\_\{n=1\}^\{\backslash infty\}\; a\_n\; =\; a\_1\; a\_2\; a\_3\; \backslash cdots$

được định nghĩa là giới hạn của tích phép nhân a₁a₂...a_n khi n tăng tới dương vô cùng. Tích vô hạn này được coi là hội tụ khi giới hạn trên cũng hội tụ và giá trị của nó khác không. Nếu không hội tụ theo tiêu chuẩn này, tích vô hạn này được coi là phân kỳ. Đôi khi phép giới hạn có kết quả bằng 0 cũng được coi là hội tụ khi chỉ có một số lượng phần tử không nhất định và tích của các phần tử khác không là một kết quả khác không, nhưng trong trường hợp tổng quát người ta không lấy sự hội tụ đặc biệt này. Ngoài ra, nếu tích vô hạn này hội tụ, khi đó giới hạn của dãy số a_n khi n tăng tới vô cùng phải bằng 1, tuy nhiên điều ngược lại không chắc chắn đúng.

Ví dụ phổ biến nhất của tích vô hạn thường gặp là các công thức đối với số pi, ví dụ như với công thức Viète của François Viète - cũng là công thức sử dụng tích vô hạn đầu tiên của toán học hiện đại và John Wallis với kết quả Wallis:

: $\backslash frac\{2\}\{\backslash pi\}\; =\; \backslash frac\{\; \backslash sqrt\{2\}\; \}\{\; 2\; \}\; \backslash cdot\; \backslash frac\{\; \backslash sqrt\{2\; +\; \backslash sqrt\{2\; \}\{\; 2\; \}\; \backslash cdot\; \backslash frac\{\; \backslash sqrt\{2\; +\; \backslash sqrt\{2\; +\; \backslash sqrt\{2\}\; \}\{\; 2\; \}\; \backslash cdot\; \backslash ;\; \backslash cdots$ : $\backslash frac\{\backslash pi\}\{2\}\; =\; \backslash left(\backslash frac\{2\}\{1\}\; \backslash cdot\; \backslash frac\{2\}\{3\}\backslash right)\; \backslash cdot\; \backslash left(\backslash frac\{4\}\{3\}\; \backslash cdot\; \backslash frac\{4\}\{5\}\backslash right)\; \backslash cdot\; \backslash left(\backslash frac\{6\}\{5\}\; \backslash cdot\; \backslash frac\{6\}\{7\}\backslash right)\; \backslash cdot\; \backslash left(\backslash frac\{8\}\{7\}\; \backslash cdot\; \backslash frac\{8\}\{9\}\backslash right)\; \backslash cdot\; \backslash ;\; \backslash cdots\; =\; \backslash prod\_\{n=1\}^\{\backslash infty\}\; \backslash left(\; \backslash frac\{\; 4n^2\; \}\{\; 4n^2\; -\; 1\; \}\; \backslash right).$

Tiêu chuẩn hội tụ

Tích vô hạn của các số thực dương

: $\backslash prod\_\{n=1\}^\{\backslash infty\}\; a\_n$

hội tụ tới một giới hạn là một số thực khác không khi và chỉ khi tổng

: $\backslash sum\_\{n=1\}^\{\backslash infty\}\; \backslash log(a\_n)$

cũng hội tụ. Tiêu chuẩn này cho phép việc đánh giá sự hội tụ của một chuỗi vô hạn trở thành việc xét sự hội tụ của một tích vô hạn. Tiêu chí hội tụ này cũng có thể được sử dụng để đánh giá cho tích vô hạn của các số phức trong trường mà phép lấy logarit là phép logarit phức mà vẫn thỏa mãn ln(1) = 0.

Với tích vô hạn mà ở đó mọi số hạng $a\_n\backslash ge1$, mà ở đó viết $a\_n=1+p\_n$ với $p\_n\backslash ge\; 0$, bất đẳng thức

: $1+\backslash sum\_\{n=1\}^\{N\}\; p$n \le \prod{n=1}^{N} \left( 1 + pn \right) \le \exp \left( \sum{n=1}^{N}p_n \right)

chỉ ra rằng tích vô hạn này hội tụ nếu như chuỗi vô hạn của p_n cũng hội tụ, và đây được gọi là định lý hội tụ đơn điệu. Sự hội tụ này có thể được chứng minh bằng việc để $p\_n\; \backslash to\; 0$, khi đó

: $\backslash lim\_\{n\; \backslash to\; \backslash infty\}\; \backslash frac\{\backslash log(1+p\_n)\}\{p$n} = \lim{x\to 0} \frac{\log(1+x)}{x} = 1,

,sau đó sử dụng phép thử hội tụ để chứng minh rằng

: $\backslash sum\_\{n=1\}^\backslash infty\; \backslash log(1+p$n) \quad \text{and} \quad \sum{n=1}^\infty p_n,

hoặc cùng hội tụ, hoặc cùng phân kỳ. Chứng minh tương tự cũng có thể được đưa ra với việc đặt $a\_n\; =\; 1\; -\; q\_n$ với $0\backslash le\; q$n < 1, để dãy $\backslash prod${n=1}^\infty (1-qn) hội tụ tới một giới hạn khác không cũng khi và chỉ khi $\backslash sum${n=1}^\infty qn hội tụ. Nếu như chuỗi $\backslash sum${n=1}^{\infty} \log(a_n) phân kỳ tới $-\backslash infty$, theo đó tích vô hạn của a_n hội tụ tới không, và khi đó ta nói tích vô hạn này phân kỳ tới không. Trong trường hợp dấu của $p$n không xác định cụ thể, sự hội tụ của chuỗi $\backslash sum${n=1}^\infty pn không đảm bảo việc tích vô hạn $\backslash prod${n=1}^\infty (1+p_n) cũng hội tụ. Ví dụ, nếu như $p$n = \frac{(-1)^n}{\sqrt{n, khi đó $\backslash sum${n=1}^\infty pn hội tụ, nhưng $\backslash prod${n=1}^\infty (1 + pn) lại phân kỳ tới không. Tuy nhiên, nếu như $\backslash sum${n=1}^\infty |pn| hội tụ, khi đó tích $\backslash prod${n=1}^\infty (1+pn) được gọi là hội tụ tuyệt đối - mà ở đó việc đổi chỗ các nhân tử không làm thay đổi sự hội tụ hay giá trị hội tụ của dãy đó.. Cũng theo đó, chuỗi $\backslash sum${n=1}^\infty pn và tích $\backslash prod${n=1}^\infty (1+p_n) hoặc cùng hội tụ, hoặc cùng phân kỳ.