Eternal preliminaries part 2, filters and ultrafilters09 Jan 2011
Last time I wrote about the basic structures, (partial) semigroups. But algebra in the Stone–Čech compactification deals, well, with the Stone–Čech compactification. I will try to ignore the general theory of compactifications because we only deal with a very simple case — discrete spaces. Suffice it to say that any elementary topology book should have a chapter on compactifications if you want to read more.
Filters and ultrafilters
Already at the end of the first part, I needed to refer to the notions of filters. I don’t want to talk too much about filters or ultrafilters formally because a) we’re going to talk about them all the time anyway and b) wikipedia (to which I link) is much better at giving you a concise but broad overview than I am. Let me give you a cheat sheet though.
- A family of subsets of is a filter if it does not contain , is closed under taking finite intersections and supersets.
- A family of subsets of has the (strong or infinite) finite intersection property or (i)FIP if the intersection of any finite subfamily is non-empty (infinite).
- A family with (i)FIP generates a (free) filter by closing it under finite intersections and supersets.
- A filter is an ultrafilter iff it is a maximal filter (with respect to inclusion) iff it is prime iff .
- We identify with the principal ultrafilter .
Filters can be considered as 0-1-valued, finitely-additive measures (or rather the measure 1 sets of such a measure) in which case ultrafilters are complete measures which is an idea I might use in “prose” every once in a while. You can also consider them as a form of universal quantifiers which gives another intuition. A useful shorthand will be “almost all (with respect to some ultrafilter )” or “-many” or “-large” etc. instead of, say, “there exists a set in the filter such that for every element in that set…”.
We’ll get back to this later. One final note, are usually denoting filters, ultrafilters. We’ll discuss many filters explicitly later (and in part 1 we already considered the filter ) but the existence of ultrafilters is a tricky business that requires quite a bit of the axiom of choice.
The Ultrafilter Lemma Every filter can be extended to an ultrafilter.
- The set of filters is partially ordered by inclusion.
- The union of any chain of filters is a filter.
- Apply Zorn’s Lemma to find a maximal element.
This theorem is weaker than the axiom of choice, but very strong already in itself (looking up that link I just learned that Tarski himself proved the existence of non-principal ultrafilters in 1930; wikipedia. awesome.). Of course, the real power lies in the three characterizations of ultrafilters in the cheat sheet, so let’s prove the difficult one
A filter is maximal iff is prime, i.e.,
- If is maximal, , then either or .
- If there exists such that , then , so and we’re done.
- Otherwise every has in which case has the FIP, hence generates a filter.
- But was maximal, so the generated filter cannot gain new elements.
- In other words, .
- If is prime, then is maximal.
- Consider any family such that , but there exists .
- Since , then by primeness of , .
- Therefore, are both in .
- In other words, is not a filter — in other words, is maximal.
The Stone–Čech compactification (apologies for missing haceks)
The set of ultrafilters is often denoted by and it turns out to be the Stone–Čech compactification, i.e., the maximal compactification of , because is discrete. There’s a gazillion things to be said about . To get started, we should celebrate the most practical and in fact characterizing property of the Stone–Čech compactification.
Universal Property of If is compact and Hausdorff, continuous (in our case, any map is), then there exists a unique continuous map that extends . We usually identify with for convenience.
The easiest way to do this in our setting, is to take the limit along ultrafilters. But for now we don’t need to.
An interlude about extensions If , then we can describe the image quite nicely, namely
Often this definition is given by but I think this is a perfect example of the stupid tendency of mathematicians to write a definition as efficiently as possible even though the compression does more harm than good — as a student it always confused the hell out of me and I mixed it up with preimage filters (which are more difficult to define unless is surjective). To remember: is the unique ultrafilter generated by the family , the filter generated by the images. Yes, it’s longer to write down, it’s not as self-contained a definition, but really: it does make more sense that way, no? And who’d think the self-contained definition in itself helps anyone understand anything anyway…
Extending the semigroup operation
We want to extend our (partial) semigroup operation to . The trouble is that the extension won’t be unique and from a theoretical point of view each of those non-unique extensions can be defined using different techniques (resulting in the same kind of extension). The problem of uniqueness also leads to four different descriptions when it comes to the continuity of the operation, but let’s first get started.
I “grew up” with the book by Neil Hindman and Dona Strauss, so I tend to follow their set up (regarding which kind of extension we want).
Using the universal property of
- For each , we can consider , i.e., multiplication with a fixed left-hand side.
- This is a continuous map (since any map on is), so we can extend it to ; we simply write for this.
- Now switch it around and for consider this extended multiplication with fixed on the right hand side, i.e., the map .
- Again this is a continuous map (since any map on is), so we can extend it to ; and for this we write .
- Tada, we have our operation.
Of course, this gives us no tangible clue as to what such a product of ultrafilters actually looks like. But at least one thing is easy — multiplication with a fixed right hand side is continuous! I call this right-topological. You can see that we might start symmetrically and then we end up with a different operation (though very similar to our own). Also, some people like to call the above continuity left-topological (because its continuous in the left hand argument). So, lots of confusion… we’ll stick to this one.
The brute force definition
There’s thankfully a way to give the same definition by brute force (which is my favourite way to write it down), but let’s think about it naively. We have two ultrafilters and we have our operation . So why not just take and and look at all possible products ? Collect all these and we get a nice little filter. Are we done? Well, the problem is that this will pretty much never give you an ultrafilter (if it does you either have a very simple operation or (say in ) very, very special ultrafilters).
So what do we need to do? We need to complicate things (and if you try to write down to check where the above attempt of a definition fails, this complication comes naturally). Later I’ll introduce some notation to make nicer general nonsense, but let’s take a look first.
Extending multiplication to For a semigroup and we define the product by
Ok, quite a beast. Don’t despair! Remember what we tried first: sets of the form . What the above definition tells us is that we need to allow the to be more flexible — possibly different for each !
There is a different angle to look at this: the tensor (or Fubini) product of ultrafilters.
Tensor product of ultrafilters For define by
Not much better, eh? Let’s take a look though: the tensor product is contains sets such that the first projection of lies in and additionally almost all fibers (in the sense of ) of the first projection lie in . So you might say that the sets are -large horizontally and -large vertically.
What has this to do with the product we defined before? Well, the tensor product live on and the multiplication is a map from to . So looking at the continuous extension , i.e., the extension to (which is different from btw) we can simply take the image, . If you look at the “interlude” earlier regarding such images, you’ll notice that we get exactly the ultrafilter described in the brute force definition.
Still not happy? Yeah, I know that feeling… Ok, let me offer my favourite general nonsense notation.
- For define (note: don’t have to be able to invert to define this…)
- For define
- Then if and only if .
Alright, much shorter now. But does it help? I don’t know. I certainly don’t claim to “really” understand this operation (but there’s a certain limit since, well, it’s on ultrafilters after all…). My notation for the set is not standard (but there’s no notation, so I made it up for my thesis). This set consists of those elements that (inverse-)shift to make it an element of . If contains it, we can expect elements in to contain elements that shift elements of into — which is maybe an idea.
One advantage is that you can check a few things more easily with the brute force definition.
- The operation is right-continuous — is exactly the neighbourhood that shows the continuity of with respect to .
- The operation is associative — just write it out.
Phew, that was a lot. But we’re finally ready to get to some real theorems!