Convergence Criterion for Cauchy Sequences of Complex Numbers

# Convergence Criterion for Cauchy Sequences of Complex Numbers

Recall from the Cauchy Sequences of Complex Numbers page that a sequence of complex numbers $(z_n)$ is said to be Cauchy if for all $\epsilon > 0$ there exists an $N \in \mathbb{N}$ such that if $m, n \geq N$ then:

(1)
\begin{align} \quad |z_m - z_n| < \epsilon \end{align}

The following proposition is yet another analogue of that for sequences of real numbers. It states that every convergent sequence of complex numbers is Cauchy.

 Proposition 1: Let $(z_n)$ be a convergent sequence of complex numbers. Then $(z_n)$ is Cauchy.
• Proof: Since $(z_n)$ converges to some $Z \in \mathbb{C}$ we have that for all $\epsilon > 0$ there exists an $N \in \mathbb{N}$ such that if $n \geq N$ then $|z_n - Z| < \epsilon/2$.
• Therefore, if $m, n \geq N$ we have by the triangle inequality that:
(2)
\begin{align} \quad |z_m - z_n| = |z_m - Z + Z - z_n| \leq |z_m - Z| + |Z - z_n| < \frac{\epsilon}{2} + \frac{\epsilon}{2} = \epsilon \end{align}
• So $(z_n)$ is Cauchy. $\blacksquare$

We will see later that the set of complex numbers is special (like $\mathbb{R}$) in that the converse of Proposition 1 holds too, that is, every Cauchy sequence of complex numbers also converges.
{"ft_lang_label":"__label__en","ft_lang_prob":0.7994208,"math_prob":0.9999565,"size":1311,"snap":"2020-45-2020-50","text_gpt3_token_len":402,"char_repetition_ratio":0.14996174,"word_repetition_ratio":0.13963965,"special_character_ratio":0.3012967,"punctuation_ratio":0.068085104,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9999676,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-10-23T04:53:05Z\",\"WARC-Record-ID\":\"<urn:uuid:5e364694-c9c0-4ff8-a4cd-962ed3498f87>\",\"Content-Length\":\"15751\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:b8f53ec3-c0a1-48ae-b8d2-05d78ee120c2>\",\"WARC-Concurrent-To\":\"<urn:uuid:36661e18-7023-413c-9aa4-42cd699e7592>\",\"WARC-IP-Address\":\"107.20.139.176\",\"WARC-Target-URI\":\"http://mathonline.wikidot.com/convergence-criterion-for-cauchy-sequences-of-complex-number\",\"WARC-Payload-Digest\":\"sha1:ETDRS3HB3IGJY4VPCBEVPN3Z52QF2PJB\",\"WARC-Block-Digest\":\"sha1:ORCTRS2TPGQJXXHNLBH3ANZPOSEHVSIR\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-45/CC-MAIN-2020-45_segments_1603107880656.25_warc_CC-MAIN-20201023043931-20201023073931-00050.warc.gz\"}"}