Definition:Convergent Net

Definition
Let $\struct {X, \tau}$ be a topological space.

Let $\struct {\Lambda, \preceq}$ be a directed set.

Let $\family {x_\lambda}_{\lambda \mathop \in \Lambda}$ be a net.

We say that $\family {x_\lambda}_{\lambda \in \Lambda}$ converges to $x \in X$ in $\struct {X, \tau}$, denoted $\ds x_\lambda \to x$ or $\lim x_\lambda = x$, :


 * $\forall U \in \tau: x \in U \implies \exists \lambda_0 \in \Lambda: \forall \lambda \succeq \lambda_0: x_\lambda \in U$

That is, for every open $U$ with $x \in U$, there exists an $\lambda_0 \in \Lambda$ such that forall $\lambda \succeq \lambda_0$, $x_\lambda \in U$.

A net $\family {x_\lambda}_{\Lambda \mathop \in \Lambda}$ is called convergent if there is an $x \in X$ such that $x_\lambda \to x$.

If such an $x$ does not exist, the net is said to be divergent.

Also see

 * Definition:Net (Preordered Set)
 * Definition:Convergent Sequence
 * Definition:Generalized Sum