This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
agree on X, so [XI3 C K11 C K. The argument is similar if [x13 nKlo = $9. The last remark is not quite as easy to prove, so we state it as a lemma. Lemma 2.6.5. Suppose
1x1> h where A is regular, and [XI3 C K. Then there
is X' in [XI' with [X']' C Po.
Proof. Again we may suppose X = {f, ;a < A} where f, Q fp whenever a < P < A. Use transfinite induction to define ordinals u(a) where a < K with always u(a) < A as follows: (i) u(0) = 0. (ii) Let t(a)be the least value of 6(fu(,), f p ) for P with P > u(a),then o(a + 1) is to be the least P with 0 > u(a)for which 6(fu(,), fp) = f(a). (iii) If a is a limit ordinal, u(a)= U{ u(y); y < a};the regularity of A ensures that u(a) < h. We shall prove the following: if y 2 u(a + l), then S(f,c,),f,)
=
t(4
(1)
if a < P, then [(a)< t(P).
(2)
From (1) and ( 2 ) it follows that if a < P < y < A then S(fU(,), fu@))
(3) < 6(fu@)9 fu(,)) for if a < < y then u(P) 2 u(a + 1) and u(y) > u(0 + l), so from (1) it fol3
9
lows that 6(fu(,), f&)) = [(a)and 6(fu@),
fUc7))
= t@).Thus (3) follows from
Ch. 2.6
Ordinary partition relations
50
(2). Hence if
We are now ready to state and prove three theorems which give part-converses to the Stepping-up Lemma of $3. Theorem 2.6.6. suppose qo, q1 are infinite with qo regular. If K then 2K + ( q k ~;k
+
( q k ;k
Proof. From the assumption K f . ( q k ; k < y)*, there iS a partition A = { A k ; k < y} of [ K ] such ~ that for each k with k < y, there is no H in [ K ] ‘ ~ with [HI2 C_ Ak. We shall use this partition to construct a partition of [“213. For each k , put A: = {{.K g, h)< € P o ;
g), S(g, h ) ) E
Results when n > 3
Ch. 2.6
51
Define a partition { r k ; k < y} of ["213 as follows: rk =
A: if 2 < k < 7 ,
rl = K U ~A T ,~ ro = ["213 - u{ r k ; 1 < k < y} .
Suppose there was X in ["2]"l with [XI3 C rl. Then [XI3 n K l o f 8, so there would be X' in [XIq1 with [X'I3 C K. Since K fl Kol = 8 and PO C K we would have [X'I3 C AT. Likewise, suppose there was X in ["2Iq0 with [XI3 5 ro.Then [XI3 nK o l = $, so there would be X ' in [XIq0 with [X'I3 C K. By Lemma 2.6.5 there would be further X " in [X']"O with [X"I3 C Po.But then we would have [X"I3 C A t , since [X"I3 C ro n Po C A,*. So to prove the theorem, it is enough to show: for every k with k < y,if [XI3 C_ A: then
1x1< q k i1 .
(1)
Suppose on the contrary that for some k there is X with X E ["2Ivk and [ x ]c~A:. We may suppose x = {for; Q < q k i1) where f, <,fp whenever Q < /3. Since [XI3 C PO C_ K , we know X is either well ordered or conversely well ordered by <, and S(f,, fp) < 6(fp, f,) whenever Q < /3 < y. From this it is easy to see that if Q < /3< y then &(fa, fp) = &(fa, f,). Consequently, if Q < (3 then {W,, fa+d6 ( f p , f p + d = {W,, f p ) , W p , f p + d ) , and so {s(fa,f,+i),6(fp,fp+i)} E A k , since {fapfppfp+i)EAk*.P u t H = {&(fa,fa+l); a < 7)k),so [HI2 C Ak. HoweverH E [K]", and this contradicts the choice of the partition A . This proves (l), and completes the proof of Theorem 2.6.6.
Theorem 2.6.7. Suppose qo is infinite and regular. If K 2" + ( 4 , q k i1 ; ~ ~ ) 3 .
+
( q k ;k
< y ) 2 then
hoof. Take a partition A = { Ak; k < y} of [ K ] as ~ in the proof of Theorem 2.6.6, and define A: as above. Consider the partition { r}U { r k ; k < y} of ["213 where:
r = K ~ ~ , rk= A : if 1 < k < y , ro= ["213 - (r u u{rk;1 < k < TI) . If[XI3 G r t h e n IXI<4,since { f o , f l , f 2 ) < € K O , and { f 1 t f 2 , f 3 } g E K O 1 would require both f 2 < f l andfl < f 2 . If there is X in ["2]"Owith [XI3C ro
52
Ch. 2.6
Ordinary partition relations
then [XI3 n K O , = 8, so as in the preceeding proof there would be X " in [XIvo with [X"I3 C_ A,*. lust as above, for no k can there be X in ["2Ivk with [XI3 C_ A:. Thus the partition { r}U { rk;k < y} serves to prove the theorem.
Proof. We again start from a partition A = { A k ;k < y} of of Theorem 2.6.5, and define A,* as before. Put also A,** =
[K]'
as in the proof
{{.L g9h } g €Pi; {S(L g), S(g, h ) } E A,) .
This time, consider the partition ["213,where
{ro,rl}U {rik; k < y and i = 0,1}
of
ro= K ~ rl~ =, K , ~ ~ rOk= A,* for k with k < y , rlk= A,** for k with k < y . This is indeed a partition of ["213,since ["213= K o l U K l o U K and K = P o UP,. If [XI3 C roor [XI3 C r,, we know 1 x1< 4. As before, for no k is there X with X E ["2]'" and [XI3 C A,*. An entirely similar argument shows that for no k is there X in [K2]'k with [XI3 C A:*. So for no k is there X in ["2Iqk with [XI3 C_ rOk or [XI3 C_ rlk.This proves the theorem.
Corollary 2.6.9. ~
-h (4);.
Z ( K )
Proof. By Corollary 2.5.2, a l ( ~ ) -jb (3); so by Theorem 2.6.8 we have 2"'") $, (4,4,(4)~,(4)K)3, that is,> 2 ( K ) f , (4);. As the final theorem in the discussion of the case n = 3, we mention without proof the following theorem from [38].
Theorem 2.6.10 (GCH). Let K be singular and let X be the immediate predecessor of K ' if this exists; otherwise let = K ' . m e n K + f , ( K , ( 4 ) ~ ) ~ . By using the Stepping-up Lemma from $ 3 to obtain positive results and the negative relations established in this section, a discussion of the case n = 3 can be given, similar to that for n = 2 of the last section. The only problems
Square bracket relations
Ch. 2.1
53
to which a solution is not available are of a technical nature. Apart from questions involving inaccessible cardinals, the simplest unsolved problem is the following. (This is Problem 1 in the list [ 2 4 ] . )
Problem 2.6.11 (GCH). Is H w w + l + l
f i (Hww+l, ( 4 ) ~true? ~ ) ~
$7. !3quare bracket relations The square bracket relation is in some sense the opposite to the partition relation of the earlier sections. This relation was first introduced and discussed by Erdos, Hajnal and Rado [ 3 8 , 8 181.
Definition 2.7.1. The relation K + [ q k ; k < y]" holds if given any s e t s of power K , for all disjoint partitions A = { A k ;k < y } of [S]" into y parts, there exist k with k < y and a subset H of S with [HI = q k such that [HI" flAk = 8. The special case in which q k = q for all k is written K + [ q ] ; ,and in general the notation conventions of 8 1 will be adopted for the square bracket symbol as well. Clearly, the relations K + (qo, q l ) nand K .+ [qo,ql]" are equivalent. And if K + (Q0,l)l)" then K [ Q k ; k < 7'1" (for 2 2 ) . The simple remarks made in 0 1 about the relation K (qk;k < y)n have analogues for the relation K -+ [ q k ;k < 71".We remark only that given cardinals q k where k < y, if the relation K + [ q k ; k < 61" is true for some 6 with 6 < y, then also the relation K -+ [ q k ; k < y]" holds. The relation K + [ q k ; k < y]" is trivially true when y > K , so we always suppose y < K . We shall concentrate on the case n = 2 , and assume the GCH throughout our discussion. From Theorem 2.5.10 we know that K [ K O , K I ] ' if K o , K l < K . n u s all relations K + [ q k ; k < 71' are true if more than one of the 7)k are less than K . Consider first the case when K is a successor cardinal, say K = A'. Froin Corollary 2.2.7 we have K + ( K , A')', and so K + [A', K ] ' . We know from Corollary 2.5.7 that K -f ( K , (A')+)2, and hence K -f [(A')', K I 2 . This leaves unsettled only relations of the form K -+ [(A')', ( K ) ~ where ] ~ 2 < y < K . In fact even the weakest of these, namely K + [(A')', ( K ) ~ is] false ~ , - see Theorem 2.7.4 below. This we shall prove now. We start with a trivial lemma. -+
--f
+
Lemma 2.7.2. Let d = { A a ;CY < K } be a family of at most
K
sets (possibly
Ch. 2.1
Ordinav partition relations
54
listed with repetitions) each of power K . l l e n there are painvise disjoint sets B, with B, E [&IK.
Proof. Take any one-to-one and onto map p : K X K K . Choose elements x,p for a,0with a,p < K by induction on p(a,13)so that xolp EA, - {xrs ;p ( y , 6)