This particular post is tangential to the task at hand. I just want play around with some of the ideas in yesterday’s posts to sharpen them a bit, and maybe prove a fact or two. I’m still not sure if I’m making things too difficult here by bringing in all the pcf stuff; it may be the case that these sorts of facts are well-known and provable by other methods. And once again: I’m writing these entries quickly, just trying to get ideas down, and there’s always the possibility I’m making silly mistakes somewhere. But that’s the point of a blog — I can work out things as I go along, and make corrections where I need to.
In the statement of the following theorem, refers to the natural “modulo a bounded set” order, i.e. for and in , we have if and only if the set of for which is bounded in .
Theorem 1 Let be a progressive set of regular cardinals. Then there is a such that
where “” means “ for all ”, and so really the theorem gives us a such that
Proof: It is clear that
for any , as a cofinal set in the right hand partial order yields a cofinal set in the left hand one.
Now let us define
and consider the ideal on generated by together with the bounded subsets of .
We claim that . Why? Well, assume is a proper ideal on , and let be an ultrafilter on disjoint to . Since , we know
But is also disjoint to the bounded ideal, so Conclusion 3.2 on page 62 of Cardinal Arithmetic tells us, we have
and we have a contradiction.
So, it follows that there is a such that . But
One obvious corollary of the above is the following result on scales.
Corollary 2 Suppose is singular, and is an increasing sequence of regular cardinals carrying a scale of length . Then there is an such that carries a scale with the property that for any , there is an such that whenever .
The above is easy to arrange by brute force if is of countable cofinality (as the increasing sequence of regular cardinals has equal to ) but I don’t see immediately that the brute force argument generalizes to of uncountable cofinality, where could be large by virtue of an initial segment of .
The following proposition can be viewed as a continuation of the technical result from the last post. What I’m trying to do is to look at from different points of view so that we get a better picture of what’s going on.
[Warning: This post may be revised as I haven’t had enough time to proofread it properly]
Proposition 1 Let be cardinals, with and regular. Then the following two statements are equivalent for a cardinal :
- there is a progressive set of regular cardinals cofinal in such that
- , and
- is cofinal in .
Proof: Assume first that , and let and witness this fact. These objections and put into , so we need only verify that the generator is unbounded in . This follows easily, though, as contains all the bounded subsets of .
Now suppose that is a progressive set of regular cardinal cofinal in and of cardinality less than , and that is in with unbounded in . Let be the -complete ideal generated by together with the bounded subsets of .
Our assumptions imply that (since is in we know cannot be covered by fewer than sets from ). Basic pcf-theory tells us
and it follows
But now we see that and witness that is a member of , as was claimed.
The following corollary is an application of the above result; it is the main point of this post, and will be important in the course of later discussions.
Corollary 2 Let be cardinals, with and regular. If is a progressive set of regular cardinals cofinal in with , then there is a such that
Proof: Let be a set of cardinals as in the corollary, and define
Let be the -complete ideal on generated by together with the bounded subsets of . We claim that is not a proper ideal, i.e.,
Suppose this fails. Let be least such that . Then
and since is -complete, it follows that
Note also that
Finally, extends the bounded ideal on and so we know that must be unbounded in . Given our proposition, this would imply
yielding a contradiction.
Thus, is not a proper ideal. Decoding what this means, we find that there exists a such that can be covered by a union of fewer than sets from , and this implies
But is a collection of cardinals, and given the definition of , the conclusion of the corollary is immediate.
This post is concerned with a cosmetic reformulation ; I may add the proof later on when I get some time (mainly to make sure it’s all formulated exactly right), but the argument is a straightforward one.
Anyway, let us suppose and are regular cardinals, and .
We define the to consist of all cardinals for which there is a cardinal , a -complete ideal on , and a sequence of regular cardinals below such that
- for each , and
Notice that the above definition is tailored to guarantee
On the other hand, the set consists of all cardinals such that
- is a progressive set of regular cardinals cofinal in ,
- is a -complete ideal on containing the bounded subsets of , and
Proposition 1 With notation as above, we have
We will tend to use the above result as a definition in the future.
One of the goals I set for myself is to use this blog to work through some of the “cov vs. pp” material in Shelah’s oeuvre, so I want next to take a look at the so-called “cov vs. pp theorem”: Theorem 5.4 on page 87 of Cardinal Arithmetic. This proof seems to date from the era before the discovery of pcf generators, so the theorem cries out for a new proof. The argument form Lemma 3.5 on page 381 of Cardinal Arithmetic looks like it might do the job, so that’s what my second project will be — I will attempt to give a reasonable proof of the following:
Theorem 1 Suppose where and are regular. Then
There’s a lot of notation packed into the statement of this theorem, so we’ll use the rest of this post to define everything. Roughly, the theorem pins down how cardinals determined by pcf theory correspond to some natural measures of the powerset of a singular cardinal . This connection is well-known in the case where is not a fixed point; the above theorem holds even if is a fixed point, but at the cost of assuming the cofinality of is uncountable.
Definition 2 Let , , and be as above.
- is the minimum cardinality of a set such that any element of can be covered by a union of fewer than sets from .
- is defined to be the supremum of all cardinals for which there is a cardinal , a -complete ideal on , and a sequence of regular cardinals below such that
- for each , and
- Notice that the pp number is the supremum of a set of cardinals, while the cov number is defined to be the cardinality of a certain collection of sets. When we say these two cardinals are , we mean that if the covering number is regular, then it is realized as the true cofinality of some product as in the definition of the pp number.
We noted earlier that the theorem assumes the singular cardinal in question has uncountable cofinality. The question of whether this hypothesis is necessary is still open; eventually, we will look at this problem in more detail.