Definition:Limit Point (Complex Analysis)

From ProofWiki
Jump to: navigation, search

Definition

Let $S \subseteq \C$ be a subset of the set of complex numbers.

Let $z_0 \in \C$.

Let $N_\epsilon \left({z_0}\right)$ be the $\epsilon$-neighborhood of $z_0$ for a given $\epsilon \in \R$ such that $\epsilon > 0$.


Then $z_0$ is a limit point of $S$ iff every deleted $\epsilon$-neighborhood $N_\epsilon \left({z_0}\right) \setminus \left\{{z_0}\right\}$ of $z_0$ contains a point in $S$ other than $z_0$:

$\forall \epsilon \in \R, \epsilon > 0: \left({N_\epsilon \left({z_0}\right) \setminus \left\{{z_0}\right\}}\right) \cap S \ne \varnothing$

that is:

$\forall \epsilon \in \R, \epsilon > 0: \left\{{z \in S: 0 < \left|{z - z_0}\right| < \epsilon}\right\} \ne \varnothing$


Note that $z_0$ does not have to be an element of $S$ to be a limit point, although it may well be.

Informally, there are points in $S$ which are arbitrarily close to it.

Personal tools
Namespaces
Variants
Actions
Navigation
ProofWiki.org
ToDo
Toolbox
Google AdSense