# The Unapologetic Mathematician

## Nets, Part I

And now we come to my favorite definition of a topology: that by nets. If you’ve got a fair-to-middling mathematical background you’ve almost certainly seen the notion of a sequence, which picks out a point of a space for each natural number. Nets generalize this to picking out more general collections of points.

The essential thing about the natural numbers for sequences is that they’re “directed”. That is, there’s an order on them. It’s a particularly simple order since it’s total — any two elements are comparable — and the underlying set is very easy to understand. We want to consider more general sorts of “directed” sets, and we define them as follows: a directed set ${D}$ is a preorder so that for any two elements $a\in D$ and $b\in D$ we have some $c\in D$ with $c\geq a$ and $c\geq b$. That is, we can always find some point that’s above the two points we started with. $c$ doesn’t have to be distinct from them, though — if $a\geq b$ then $a$ is just such a point.

In categorical terms this is not quite the same as saying that our preorder has coproducts, since we don’t require any sort of universality here. We might say instead that we have “weak” binary coproducts, but that might be inessentially multiplying entities, and Ockham don’t play that. However, if we also throw in the existence of “weak” coequalizers — for a pair of arrows $f:A\rightarrow B$ and $g:A\rightarrow B$ there is at least one arrow $h:B\rightarrow C$ so that $h\circ f=h\circ g$ — we get something called a “filtered” category. Since there’s no such thing as a pair of distinct parallel arrows in a preorder, this adds nothing in that case. However, filtered categories show up in the theory of colimits in categories. In fact originally colimits were only defined over filtered index categories $\mathcal{J}$.

Anyhow, let’s say we have such a directed set ${D}$ at hand. If it helps, just think of $\mathbb{N}$ with the usual order. A net in a set $X$ is just a function $\Phi:D\rightarrow X$. Now we have a bunch of definitions to talk about how the image of such a function behaves. Given a subset $A\subseteq X$, we say that the net $\Phi$ is “frequently” in $A$ if for any $a\in D$ there is a $b\geq a$ with $\Phi(b)\in A$. We say that the net is “eventually” in $A$ if there is an $a\in D$ so that $\Phi(b)\in A$ for all $b\geq a$. For sequences, the first of these conditions says that no matter how far out the sequence we go we can find a point of the sequence in $A$. The second says that we will not only land in $A$, but stay within $A$ from that point on.

Next let’s equip $X$ with a topology defined by a neighborhood system. We say that a net $\Phi:D\rightarrow X$ converges to a point $x\in X$ if for every neighborhood $U\in\mathcal{N}(x)$, the net is eventually in $U$. In this case we call $x$ the limit of $\Phi$. Notice that if ${D}$ has a top element $\omega$ so that $\omega\geq a$ for all $a\in D$ then the limit of $\Phi$ is just $\Phi(\omega)$. In a sense, then, the process of taking a limit is an attempt to say, “if ${D}$ did have a top element, where would it have to go?”

Now, a net may not have a limit. A weaker condition is to say that $x\in X$ is an “accumulation point” of the net $\Phi$ if for every neighborhood $U\in\mathcal{N}(x)$ the net is frequently in $U$. For instance, a sequence that jumps back and forth between two points — $\Phi(n)=x$ for even $n$ and $\Phi(n)=y$ for odd $n$ — has both $x$ and $y$ as accumulation points. We see in this example that if we just picked out the even elements of $\mathbb{N}$ we’d have a convergent sequence, so let’s formalize this concept of picking out just some elements of ${D}$.

For sequences you might be familiar with finding subsequences by just throwing out some of the indices. However for a general directed set we might not be left with a directed set after we throw away some of its points. Instead, we define a final function $f:D'\rightarrow D$ between directed sets to be one so that for all $d\in D$ there is some $d'\in D'$ so that $a'\geq d'$ implies that $f(a)\geq d$. That is, no matter “how far up” we want to get in ${D}$, we can find some point in $D'$ so that the image of everything above it lands above where we’re looking in ${D}$. For sequences this just says that no matter how far out the natural numbers we march there’s still a point ahead of us that we’re going to keep. Then, given a net $\Phi:D\rightarrow X$ and a final function $f:D'\rightarrow D$ we define the subnet $\Phi\circ f:D'\rightarrow X$.

Now the connection between accumulation points and limits is this: if $x$ is an accumulation point of $\Phi$ then there is some subnet of $\Phi$ which converges to $x$. To show this we need to come up with a directed set $D'$ and a final function $f:D'\rightarrow D$ so that $\Phi\circ f$ is eventually in any neighborhood of $x$. We’ll let the points of $D'$ be pairs $(a,U)$ where $a\in D$, $U\in\mathcal{N}(x)$, and $\Phi(a)\in U$. We order these by saying that $(a,U)\geq(b,V)$ if $a\geq b$ and $U\subseteq V$.

Given $(a,U)$ and $(b,V)$ in $D'$, then $U\cap V$ is again a neighborhood of $x$, and so $\Phi$ is frequently in $U\cap V$. Thus there is a $c$ with $c\geq a$, $c\geq b$, and $\Phi(c)\in U\cap V$. Thus $(c,U\cap V)$ is in $D'$, and is above both $(a,U)$ and $(b,V)$, which shows that $D'$ is directed. We can easily check that the function $f:D'\rightarrow D$ defined by $f(a,U)=a$ is final, and thus defines a subnet $\Phi\circ f$ of $\Phi$. Now if $N\in\mathcal{N}(x)$ is any neighborhood of $x$, then there is some $\Phi(b)\in N$. If $(a,U)\geq(b,N)$ then $\Phi(f(a,U))=\Phi(a)\in U\subseteq N$. Thus $\Phi\circ f$ is eventually in $N$.

Conversely, if $\Phi$ has a limit $x$ then $x$ is clearly an accumulation point of $\Phi$.

### Like this:

Posted by John Armstrong | Point-Set Topology, Topology

## 13 Comments	»

1. [...] Part II Okay, let’s pick up our characterization of topologies with nets by, well, actually using them to characterize a topology. First we’re going to need yet [...]

Pingback by | November 20, 2007 | Reply

2. [...] so why have we been talking about nets? Because continuous functions look great in terms of [...]

Pingback by | November 21, 2007 | Reply

3. We say that the net is “eventually” in A if there is an a\in D so that \Phi(b)\in A for all b\geq A.

It seems that it should be “b\geq a”.

Comment by passby | December 10, 2007 | Reply

4. Thanks for catching that.

Comment by | December 10, 2007 | Reply

5. [...] of Functions Okay, we know what it is for a net to have a limit, and then we used that to define continuity in terms of nets. Continuity just says [...]

Pingback by | December 19, 2007 | Reply

6. [...] can now see that the collection of all the tagged partitions of an interval form a directed set! We say that a tagged partition is a “refinement” of a tagged partition if every [...]

Pingback by | January 29, 2008 | Reply

7. [...] infinite sequence would have to hit one point infinitely often. Here instead, we’ll have an accumulation point in our compact metric space so that for any and point in our sequence there is some with . [...]

Pingback by | February 1, 2008 | Reply

8. [...] the sequence of partial sums of this series is a subsequence of the . [...]

Pingback by | May 6, 2008 | Reply

9. [...] joins, so that is directed (any two elements have an upper bound), just like the elements of a net (or more pedantically, the domain of a net). I call an ultrafilter a “fat net” because [...]

Pingback by | July 18, 2008 | Reply

10. [...] this topology in terms of open sets as we usually do, we define this topology in terms of which nets converge to which points. In fact, we’ll make do with sequences, since the extension to [...]

Pingback by | September 2, 2008 | Reply

11. [...] like in the one-dimensional case, the collection of all tagged partitions of an interval form a directed set, where we say that if is a refinement of . And again we define nets on this directed set; given a [...]

Pingback by | December 1, 2009 | Reply

12. [...] in both and , it’s above both of them in our partial order, which makes this poset a directed set, and the oscillation of is a [...]

Pingback by | December 7, 2009 | Reply

13. [...] of them. When we dealt with topology, we were able to recast the basic foundations in terms of nets. That is, a function is continuous if and only if it “preserves limits of convergent [...]

Pingback by | April 26, 2010 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 115, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9572404026985168, "perplexity_flag": "head"}