# Definition:Convergent Product/Number Field

## Definition

Let $\mathbb K$ be one of the standard number fields $\Q, \R, \C$.

### Nonzero Sequence

Let $\sequence {a_n}$ be a sequence of nonzero elements of $\mathbb K$.

Then:

The infinite product $\ds \prod_{n \mathop = 1}^\infty a_n$ is convergent
its sequence of partial products converges to a nonzero limit $a \in \mathbb K \setminus \set 0$.

### Arbitrary Sequence

Let $\sequence {a_n}$ be a sequence of elements of $\mathbb K$.

The infinite product $\ds \prod_{n \mathop = 1}^\infty a_n$ is convergent if and only if:

there exists $n_0 \in \N$ such that the sequence of partial products of $\ds \prod_{n \mathop = n_0}^\infty a_n$ converges to some $b \in \mathbb K \setminus \set 0$.

The sequence of partial products of $\ds \prod_{n \mathop = 1}^\infty a_n$ is then convergent to some $a \in \mathbb K$.

The product is said to be convergent to $a$, and one writes:

$\ds \prod_{n \mathop = 1}^\infty a_n = a$

A product is thus convergent if and only if it converges to some $a\in \mathbb K$.

## Divergent Product

An infinite product which is not convergent is divergent.

### Divergence to zero

If either:

there exist infinitely many $n \in \N$ with $a_n = 0$
there exists $n_0 \in \N$ with $a_n \ne 0$ for all $n > n_0$ and the sequence of partial products of $\ds \prod_{n \mathop = n_0 + 1}^\infty a_n$ converges to $0$

the product diverges to $0$, and we assign the value:

$\ds \prod_{n \mathop = 1}^\infty a_n = 0$
{"ft_lang_label":"__label__en","ft_lang_prob":0.71121496,"math_prob":0.99996316,"size":1706,"snap":"2023-14-2023-23","text_gpt3_token_len":547,"char_repetition_ratio":0.1639248,"word_repetition_ratio":0.20069204,"special_character_ratio":0.31125438,"punctuation_ratio":0.09090909,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9999939,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-03-22T11:46:22Z\",\"WARC-Record-ID\":\"<urn:uuid:ece7002e-57e4-4382-8ccc-7232fed04aba>\",\"Content-Length\":\"41565\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:25de76fe-1f20-413a-af4f-16fd3d07c1fc>\",\"WARC-Concurrent-To\":\"<urn:uuid:54480f84-110c-4a97-9a36-f841e4147e51>\",\"WARC-IP-Address\":\"104.21.84.229\",\"WARC-Target-URI\":\"https://proofwiki.org/wiki/Definition:Convergent_Product/Number_Field\",\"WARC-Payload-Digest\":\"sha1:X2LW3I4YTIB7E6U277GVHBGUOKOWXYLY\",\"WARC-Block-Digest\":\"sha1:7DOHD34CRCFJ6YSFNW5TEUI37BIBZKUU\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-14/CC-MAIN-2023-14_segments_1679296943809.76_warc_CC-MAIN-20230322114226-20230322144226-00769.warc.gz\"}"}