Nested Kind of Topology.
October 16, 2011
In the last post, I posted a topology on where the open sets were
You can check that this is, in fact, a topology and it, in fact, has exactly elements. But this is also a really nice topology for intro-topology students. Why? Because it has some strange properties which are easy to get your hands on and prove! Let’s show some of these. For the sake of brevity, let’s call this topology .
is not Hausdorff.
This is easy to see. Pick the elements 1 and 2. The only set which contains 1 but not 2 is , but there is no set which contains 2 but not 1.
Two points are topologically indistinguishable if they have exactly the same neighborhoods; a space is one where each point is topologically distinguishable. It is trivial to check that this holds.
is connected. (!)
This is somewhat surprising to me (especially because of how disjoint it "seems"!) but if we attempt to find a separation we find that it is impossible: every open set contains 1 except the empty set, so, in particular, no two open sets have trivial intersection unless one is empty.
A function is continuous if and only if the sets of all which map to are open (in the standard topology on .
This is simply taking preimages. I mention it because actually DRAWING the function on the "plane" (where the "x-axis" is and the "y-axis" is we get something which does not at all look continuous (unless it is constant —). This is perhaps a good exercise for intro topology students to work out so that they can see that not all continuous maps "look" continuous. Of course, there are many other ways to see this using other spaces.
Limits? What about the sequences in this set? Let’s remind ourselves what convergence is: if for every open set containing there is some such that for all we have . Note then that:
converges to .
converges to .
and so on. But then we have
which converges to 2, but not to 1 (why?).
which converges to 3, but not to 2 or 1 (why?).
and so forth. In fact, if we have an infinite number of the numbers then this sequence will only converge to which is kind of a neat characterization. In fact, this takes care of most (all?) of the sequences.
Limit Points? A limit point of a subset is a point such that for every open containing we have .
Consider the subset and let’s see if there are any limit points. What about 2? Well, we have that so the intersection of this with is nontrivial. Similarly, the other open sets containing 2 have nontrivial intersection with which includes more than the element 2. What about 3? Same deal. And 4? Yes. So we can now ask: what’s the closure of ?
Consider and we will start looking at the element 3. Is 3 a limit point? For the same reasons above, it is. So what is the closure of this set?
Let’s be a little adventurous and ask what about . For the same reasons as above, are all limit points, but what about 2? In fact, it is.
Last, (and this will complete our "characterization" of the closures of our subsets) what about . Clearly we will have as limit points, but the odd one out is 1. And 1 is not a limit point (why not?). That’s a bit sad. So, taking the least element in the subset allows us to describe the closure: it’s the set of every element greater than or equal to it.
Closed sets. It’s a bit interesting to think up what sets we got from taking the closures of each subset, and then to just start with our open sets and take compliments. Do we get the same thing? Neato.
Compactness? A bit trivial in this case. Why? (Maybe extending to infinite things would make this cooler…)
Here’s something weird, too: what is a path in this space? What is a loop? How could we construct something like the fundamental group for this? Homology groups? To those with more experience, these questions might be easy; but it is not obvious to me (at least at this point!) how these constructions should go.