\(\DeclarePairedDelimiterX{\Set}[2]{\{}{\}}{#1 \nonscript\;\delimsize\vert\nonscript\; #2}\) \( \DeclarePairedDelimiter{\set}{\{}{\}}\) \( \DeclarePairedDelimiter{\parens}{\left(}{\right)}\) \(\DeclarePairedDelimiterX{\innerproduct}[1]{\langle}{\rangle}{#1}\) \(\newcommand{\ip}[1]{\innerproduct{#1}}\) \(\newcommand{\bmat}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\barray}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\mat}[1]{\begin{matrix}#1\end{matrix}}\) \(\newcommand{\pmat}[1]{\begin{pmatrix}#1\end{pmatrix}}\) \(\newcommand{\mathword}[1]{\mathop{\textup{#1}}}\)
Needs:
Complex Distance
Complete Metric Spaces
Needed by:
None.
Links:
Sheet PDF
Graph PDF

Complex Limits

Definition

Recall that $(C, \C mod{\cdot })$ is a normed space, and so also a metric space. So, a sequence $(z_n)_{n \in \N }$ of complex numbers is egoprox and convergent as usual. Both of these are equivalent to the corresponding conditions on the sequences of real and imaginary parts.

$(z_n)_{n \in \N } = (x_n, y_n)_{n \in \N }$ converges to $z_0 = (x_0, y_0) \in \C $ if and only if $x_n$ converges to $x_0$ and $y_n$ converges to $y_0$.
$(z_n)_{n \in \N } = (x_n, y_n)_{n \in \N }$ is egoprox if and only if $x_n$ is egoprox and $y_n$ is egoprox.

Completeness

As a result of the second proposition, if $z_n$ is egoprox then there is a limit $x_0$ and $y_0$ for its real and imaginary pieces, and so as a result of the first proposition, $z_n$ converges. In other words, every cauchy sequence converges.

$\C $ with the metric induced by $\C mod{\cdot }$ is complete.
Copyright © 2023 The Bourbaki Authors — All rights reserved — Version 13a6779cc About Show the old page view