Table of contents |

2 Limits of nets 3 The three most frequently seen examples of limits of nets 4 Properties |

If *X* is a topological space, a *net* in *X* is a function from some directed set *A* to *X*.

Since the natural numbers with the normal order form a directed set, this definition includes all sequences among the nets.
Other examples arise from real functions: suppose *x*_{0} is a real number and *f* : **R** − {*x*_{0}} `->` **R** is a function. The set *A* = **R** − {*x*_{0}} can be directed towards *x*_{0} (see directed set for an explanation), and the function then turns into a net.

If *A* is a directed set, we often write a net from *A* to *X* in the form (*x*_{α}), which expresses the fact that the element α in *A* is mapped to the element *x*_{α} in *X*. We usually use <= to denote the binary relation given on *A*.

- for every neighborhood
*U*of*x*there exists an α_{0}in*A*such that whenever α_{0}<= α, we have*x*_{α}in*U*.

- Limits of sequences.
- Limits of functions of a real variable: lim
_{x → c}*f*(*x*). - Limits of nets of Riemann sums, in the definition of the Riemann integral. In this example, the directed set is the set of partitions of the interval of integration, partially ordered by inclusion. A similar thing is done in the definition of the Riemann-Stieltjes integral.

Virtually all concepts of topology can be rephrased in the language of nets and limits. This may be useful to guide the intuition since the notion of limit of a net is very similar to that of limit of a sequence, which is widely used in the theory of metric spaces.

A function *f* : *X* `->` *Y* between topological spaces is continuous at the point *x* if and only if for every net (*x*_{α}) with

- lim
*x*_{α}=*x*

- lim
*f*(*x*_{α}) =*f*(*x*).

In general, a net in a space *X* can have more that one limit, but if *X* is a Hausdorff space, the limit of a net, if it exists, is unique.

If *U* is a subset of *X*, then *x* is in the closure of *U* if and only if there exists a net (*x*_{α}) with limit *x* and such that *x*_{α} is in *U* for all α.
In particular, *U* is closed if and only if, whenever (*x*_{α}) is a net with elements in *U* and limit *x*, then *x* is in *U*.

If (*x*_{α})_{α in A} is a net in *X* with underlying directed set (*A*, <=), and *B* is a subset of *A* such that for every α in *A* there exists a β in *B* with α <= β, the net (*x*_{β})_{β in B} is called a *subnet* of the original net.

A net has a limit if and only if every subnet has a limit. In that case, every limit of the net is also a limit of every subnet.

A space *X* is compact if and only if every net (*x*_{α}) in *X* has a subnet with a limit in *X*. This can be seen as a generalization of the theorems of Bolzano-Weierstrass and Heine-Borel.

In a metric space or uniform space, one can speak of *Cauchy nets* in much the same way as Cauchy sequences.
The concept even generalises to Cauchy spaces.