Return to bloglife01 Aug 2010
Maybe it was the summer heat, maybe the summer break at the UofM or something else. In any case, I did not feel like blogging the last couple of weeks. But this must change! So to get me back to writing I’ll start with something
I have the great pleasure of spending my PostDoc at the University of Michigan. After spending a winter here 2/3 years ago, I knew a lot of things I could look forwards to — like the amazing grad students.
One of the unforeseen pleasures so far has been to meet Francois Dorais of MathOverflow-Admin fame. Last Friday
we talked he told me about a proof by Michael Canjar (sorry for linking to a paywall) on Mathias forcing and there is this small observation that I think is really cool.
I mentioned them before, but repetition is never a bad thing.
An ultrafilter on is called a P-point if for every there is such that restricted to is either finite-to-one or constant.
P-points are truly classical ultrafilters having been studied since the dawn of
time ultrafilters. They carry interesting properties and Shelah proved that they might not exist (though they do under reasonably weak assumptions like very weak versions of Martin’s Axiom).
The property of P-points somehow tells us that functions drastically ‘changes speed’ on a set in the ultrafilter. If you take a function which is ‘nowhere’ finite-to-one, i.e., every point has an infinite preimage, then a P-point either slows it down completely (by making it constant on a set) or speeds it up extremely (by making it finite-to-one).
But the cool thing Francois showed me (from Canjar’s proof) is what non P-points (so possibly all ultrafilters) can do. They can force any function to slow down in a weird fashion.
Slowing to identity.
Even though the argument I want to mention holds for arbitrary functions, you should think of quickly growing functions, i.e., strictly increasing functions. So let us pick some .
Now if is not a P-point, then there exists a function which is not constant or finite-to-one on any set .
So what about ?
On this set, is dominated by the identity. That’s slow!!! Just imagine was the Ackermann function or faster thatn all recursive functions! Suddenly, its only as fast as the identity? Wow…
And now the crazy part.
That’s right! On a set in , slows down like that. That’s crazy!
- is finite-to-one on .
- For ,
- But this is a finite set for any .
- In other words, is finite-to-one.
- Therefore .
- Since is a maximal filter, .
What you can do with this.
Michael Canjar used this fact to show that Mathias forcing with a non P-point adjoins a dominating real. This is not too difficult now since it is easy to see that a Mathias real will dominate all sets in the ultrafilter. But that’s all for today.