Mathematics for the interested outsider

Nets, 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 another way of looking at the points in the closure of a set.

Here goes: a point is in if and only if every open neighborhood of has a nonempty intersection with . To see this, remember that the closure of is the complement of the interior of the complement of . And we defined the interior of the complement of as the set of points that have at least one open neighborhood completely contained in the complement of . And so the closure of is the set of points that have no open neighborhoods completely contained in the complement of . So they all touch somewhere. Cool?

Okay, so let’s kick it up to nets. The closure consists of exactly the accumulation points of nets in . Well, since we know that every accumulation point of a net is the limit of some subnet, we can equivalently say that consists of the limit points of nets in . So for every point in we need a net converging to it, and conversely we need to show that the limit of any convergent net in lands in .

First, let’s take an . Then every open neighborhood of meets in a nonempty intersection, and so we can pick an . The collection of all open neighborhoods is partially ordered by inclusion, and we’ll write if . Also, for any and we have and . Thus the open neighborhoods themselves form a directed set. The function is then a net in . And given any neighborhood of there is a neighborhood contained in . And then for any we have , so our net is eventually in . Thus we have a net which converges to .

Now let’s say is a net converging to . Then is eventually in any open neighborhood of . That is, every open neighborhood of meets in at least one point, and thus .

So for any , the closure is the collection of accumulation points of all nets in . And now we can turn this around and define a closure operator by this condition. That is, we specify for each net the collection of its accumulation points, and from these we derive a topology with this closure operator.

Let’s see that we really have a closure operator. First of all, clearly for all because we can just take constant nets. Even easier is to see that there are no nets into , and so its closure is still empty. Any accumulation point of a net in is the limit of a subnet, which we can pick to lie completely within either or , and so .

To finish, we must show that this purported closure operator is idempotent. For this, I’ll use a really nifty trick. A point in is the limit of some net , and each of the points is the limit of a net . So let’s build a new directed set by taking the disjoint union and defining the order as follows: if and for and in , then if , or if and in . Then combining the nets we get a net from this new directed set, which clearly has an accumulation point at the limit point of , and which is completely contained within . This completes the verification that is indeed a closure operator, and thus defines a topology.

Advertisements

Share this:

Like this:

Related

hi, i was reading about nets recently and became quite excited about how so many thing in topology become so much more natural when thinking in terms of sets(like definitons of continuity, compactness, product topology, tychonoff theorem). it would be nice to have a definition of a topological space just in terms of nets. but all the characterizations of topological spaces in terms of nets prove that the map from topological spaces to
the class {sets with information about which nets converge to which points} is an injective map. But it would a nice to know what what subset of the above class come from topological spaces,
for instance, one obvious requirement is that the set of accumulation points of a subnet is a subset of the accumulation points of the net and that isomorphic nets have
the same accumulation points…
but these conditions aren’t enough, there could be no topological structure on the set which has the same info about accumulation points of nets.
If there were some sufficient conditions though, then one get rid entirely of the open sets approach and start with nets from the begining and that would be a very nice thing.

harsha, I don’t know the answer exactly. Something similar goes on here to what happened when I talked about neighborhoods. That is, any collection of filters gives a topology, but many different collections will give rise to the same topology. In effect, there’s a sort of “closure” going on.

Here instead we have the fact that no matter what accumulation points we assign to each net, we get some closure operator, but not every such collection of data arises from a closure operator. So the process of going from data to operator to data is a sort of “closure” on the class of such data.

So here’s how I’d suggest going about it: try to figure out how this process works. That is, if you start with an arbitrary collection of accumulation points for each net, use that data to define a topology, and see what accumulation points each net now has. Then determine what the fixed points of this process are. Those will be your answers.

First, though, I’d ask around your department. I know at least one venerable-mathematician-who-knows-everything sort of topologist who hangs around there you might try. If nothing else you might be able to verify that this actually hasn’t been done, and then it would make an excellent thesis problem 😀

I just aksed myself the same question harsha brought up here, and hence found this webpage. Is there the notion of a basis for a space’s nets? I only have a vague notion of what it should be: A basis in terms of nets is a full subcategory of the category of nets in some set X, together with their accumulation points such that the topology that arises from this subcategory agrees with the original one.
For instance, if a space is 1st countable, then instead of considering all nets and their accumulation points it suffices to take all sequences into account. There are various other examples.
Still, the difficulty is what properties needs the accumulation point map to have to give rise to a topology?

[…] The first thing to note about is that it’s a closed set. That is, it should contain all its accumulation points. So let be such an accumulation point and assume that is isn’t in , so . So there must exist […]

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.