# Definition:Cauchy Sequence/Complex Numbers

## Definition

Let $\sequence {z_n}$ be a sequence in $\C$.

Then $\sequence {z_n}$ is a Cauchy sequence if and only if:

$\forall \epsilon \in \R_{>0}: \exists N \in \N: \forall m, n \in \N: m, n \ge N: \size {z_n - z_m} < \epsilon$

where $\size {z_n - z_m}$ denotes the complex modulus of $z_n - z_m$.

Considering the complex plane as a metric space, it is clear that this is a special case of the definition for a metric space.

## Also see

Thus in $\C$ a Cauchy sequence and a convergent sequence are equivalent concepts.

## Source of Name

This entry was named for Augustin Louis Cauchy.
{"ft_lang_label":"__label__en","ft_lang_prob":0.7360591,"math_prob":0.9980739,"size":856,"snap":"2021-43-2021-49","text_gpt3_token_len":238,"char_repetition_ratio":0.16666667,"word_repetition_ratio":0.0,"special_character_ratio":0.26285046,"punctuation_ratio":0.13414635,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99918324,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-10-20T17:36:27Z\",\"WARC-Record-ID\":\"<urn:uuid:50699194-012d-4de9-a7aa-d668ea38ed5d>\",\"Content-Length\":\"35278\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:ee72b506-cdca-452a-8817-c654caa3b7bf>\",\"WARC-Concurrent-To\":\"<urn:uuid:ccca81d9-f9b3-44e2-b1f9-1bedd3c3fd3a>\",\"WARC-IP-Address\":\"172.67.198.93\",\"WARC-Target-URI\":\"https://proofwiki.org/wiki/Definition:Complex_Cauchy_Sequence\",\"WARC-Payload-Digest\":\"sha1:3SIMY62LBMQP4OSUHTLCQNOL3FLN4V6R\",\"WARC-Block-Digest\":\"sha1:FSMAQXQHX2HMKIK5GEVUBBYMYLVW6OEU\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-43/CC-MAIN-2021-43_segments_1634323585322.63_warc_CC-MAIN-20211020152307-20211020182307-00087.warc.gz\"}"}