# Definition:Isolated Point (Complex Analysis)

Jump to navigation
Jump to search

## Definition

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

Let $z \in S$.

Then $z$ is an **isolated point of $S$** if and only if there exists a neighborhood of $z$ in $\C$ which contains no points of $S$ except $z$:

- $\exists \epsilon \in \R_{>0}: \map {N_\epsilon} z \cap S = \set z$

This page has been identified as a candidate for refactoring of basic complexity.In particular: Extract the below into its own pageUntil this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

By definition of neighborhood in the context of the complex plane under the usual (Euclidean) metric:

- $\map {N_\epsilon} z := \set {y \in S: \cmod {z - y} < \epsilon}$

it can be seen that this definition is compatible with that for a metric space:

- $\exists \epsilon \in \R_{>0}: \set {y \in S: \cmod {z - y} < \epsilon} \cap S = \set z$