TheoremBase

Convergence in the Complex Numbers by Real and Imaginary Parts, and Completeness in the Modulus Metric

A sequence of complex numbers converges in the modulus metric exactly when its real and imaginary parts converge, and its limit is then assembled from their limits; the complex numbers with the modulus metric form a complete metric space.

Statement

In the setting of The Complex Numbers, with the Real Numbers Identified with a Subset of the Complex Numbers, let dCd_{\mathbb{C}} be the distance dCd_{\mathbb{C}} on C\mathbb{C}, so that (C,dC)(\mathbb{C},d_{\mathbb{C}}) is a metric space by The Modulus Metric on the Complex Numbers (i), and let real and imaginary parts be as in Real and Imaginary Parts of a Complex Number (i). Let (zn)(z_{n}) be a sequence in C\mathbb{C}.

(zn)(z_{n}) is convergent in (C,dC)(\mathbb{C},d_{\mathbb{C}}) if and only if the sequences (Re⁡zn)(\operatorname{Re}z_{n}) and (Im⁡zn)(\operatorname{Im}z_{n}) in R\mathbb{R} are convergent.

In that case the limit of (zn)(z_{n}) in (C,dC)(\mathbb{C},d_{\mathbb{C}}) is

(lim⁡n→∞Re⁡zn)+(lim⁡n→∞Im⁡zn)i,\Big(\lim_{n\to\infty}\operatorname{Re}z_{n}\Big)+\Big(\lim_{n\to\infty}\operatorname{Im}z_{n}\Big)i,

where lim⁡n→∞Re⁡zn\lim_{n\to\infty}\operatorname{Re}z_{n} and lim⁡n→∞Im⁡zn\lim_{n\to\infty}\operatorname{Im}z_{n} are the limits of these sequences in R\mathbb{R}.

(C,dC)(\mathbb{C},d_{\mathbb{C}}) is complete.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…