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.
October 14, 2011
The following question came up today after a brief and somewhat unsatisfying talk I gave on the intuition behind topologies:
Question: Given , can we construct a topology such that has exactly elements?
The solution wasn’t obvious to me until I looked at the pattern of numbers on the back of a thing of Dried Papaya Chunks. For we can simply take and to be our sets, but for we need to be a bit more clever. But not much more. Consider:
This is a topology on with exactly elements.
In these examples, the elements which are nested inside each other and is somewhat reminiscent of the "particular point" topology — the topology in which a set is open if and only if it contains some predetermined point (or is empty). In the finite case, how many elements are in the particular point topology? Let’s do a few examples.
If our universe is , there are two open sets in the particular point topology (empty set and the whole set).
If our universe is , then we have three open sets in the particular point topology.
If our universe is , then we have five open sets in the particular point topology.
If our universe is , then we have nine open sets in the particular point topology.
If our universe is , then we have seventeen open sets in the particular point topology.
If we exclude the empty set, it seems like we will have elements in our particular point topology. Why is this?
(Hint: Take the last example above with seventeen open sets and suppose the element 5 is your particular point. Write down all the open sets containing 5. Now take your pen and scribble out the 5’s in each of those open sets — do the resulting sets look familiar? Hm.)
Neat. If you take other finite topologies, are there any neat patterns that arise when you increase the number of digits? Is it possible to associate some sort of polynomial or invariant with finite topologies? With infinite topologies? Would this even be useful?