The Unapologetic Mathematician

Mathematics for the interested outsider

Nets and Continuity

Okay, so why have we been talking about nets? Because continuous functions look great in terms of nets!

First I’ll give you the answer: a function f:X\rightarrow Y is continuous if and only if f(\lim\Phi)=\lim f\circ\Phi. To be a little more clear, let’s write x_\alpha=\Phi(\alpha) for \alpha\in D. Then \lim f(x_\alpha)=f(\lim x_\alpha). That is, a continuous function preserves the limits — and more generally the accumulation points — of all nets. Now this looks a lot more like algebra than that messy business of pulling back open sets!

We can even get a little finer and say that a function f:X\rightarrow Y is continuous at a point x\in X if every net in X that converges to x gets sent to a net in Y converging to f(x). Then we say that a function is continuous if it is continuous at all points of X. This should remind us of how we defined continuity at a point by using neighborhood systems, and so we’ll show the equivalence of that definition of continuity and our new one.

So, let X and Y have the neighborhood systems \mathcal{N}_X and \mathcal{N}_Y, respectively. We’ll assume that for every neighborhood V\in\mathcal{N}_Y(f(x)) there is a neighborhood U\in\mathcal{N}_X(x) with f(U)\subseteq V. Now if we take a net x_\alpha converging to x, we must show that f(x_\alpha) is eventually in V for all V\in\mathcal{N}_Y(f(x)). But for each such neighborhood of f(x) we have a neighborhood U\in\mathcal{N}_X(x), and we know that x_\alpha is eventually in U. Then f(x_\alpha) must be eventually in f(U)\subseteq V, and so f(x_\alpha) converges to x.

On the other hand, let’s suppose that there is some neighborhood N of f(x) so that no neighborhood of x completely fit into N. We’ll construct a net converging to x, but whose image doesn’t converge to f(x). For our directed set we take the neighborhood filter \mathcal{N}(x) itself, ordered by inclusion. That is, U\geq V if U\subseteq V. Then since f(U)\nsubseteq N there must be some point x_U\in U with f(x_U)\notin N. We pick any such point as the value of our net at U. Clearly the net x_U is eventually in every neighborhood of x, and so the net converges to x. But just as clearly, since f(x_U) is not eventually in N, the image net can’t converge to f(x).

So nets give us a very “algebraic” picture of topological spaces. A topological space is a set X equipped with a (partially-defined) rule that sends every convergent net \Phi:D\rightarrow X to its limit point in X, and continuous maps are those which preserve this rule. Still, there’s something different here. Since taking the limit only works on some nets, this “preservation” is to be read in a more logical sense: if the net converges then the image net converges, and we know the answer. However, the image net could easily converge without the original net converging, and then we have no idea what its limit is. This is in contradistinction to the case for algebraic structures, where the algebraic operations are always defined and the connection between source and target structures feels a lot tighter.

There’s also a tantalizing connection to category theory, in that our directed sets are categories of a sort. Clearly I’d like to think of a net as some sort of functor, and the limit of a net as being the limit of this functor. But I don’t really see what the target category should be. I could take objects to be points of X, but then what are the morphisms? And if the objects aren’t points of X, what are they? How does this process of taking a limit correspond to the categorical one?

November 21, 2007 Posted by | Point-Set Topology, Topology | 8 Comments