Download - On covering of real line by null sets
Pacific Journal ofMathematics
ON COVERING OF REAL LINE BY NULL SETS
TOMEK BARTOSZYNSKI
Vol. 131, No. 1 November 1988
PACIFIC JOURNAL OF MATHEMATICS
Vol. 131, No. 1, 1988
ON COVERING OF REAL LINE BY NULL SETS
TOMEK BARTOSZYNSKI
In this note it is proved that the least cardinal K such that R cannotbe covered by fc many null sets cannot have countable cofinality,provided 2ω-scale exists and 2ω is regular cardinal. Using the sameassumption a combinatorial characterisation of this cardinal is also found.
Let κm be the least cardinal K such that the real line can be covered
by K many null sets.
The goal of this paper is to give a combinatorial description of κm.
This problem was stated by Arnold Miller in [Mi 1]. We also aim to find a
solution to the question asked by David Fremlin whether cf(κm) can be
equal co.
We are able to answer the above questions using the additional
assumption of the existence of 2ω-scale in coω.
It is well known that the cardinal κm is the same in R, as in 2ω or any
uncountable Polish space with totally σ-finite continuous measure. Thus
without loss of generality we can work in the space 2ω with the Lebesgue
measure.
We shall use standard notation, co denotes the set of natural numbers.
For n,k < ω the interval [n, k) is the set {i < ω: n < i < k). For n < ω
2" (2ω) is either the set of all 0-1 sequences of length n (co) or the cardinal
2" (2ω)—depending on the context. For any set X \X\ denotes the
cardinality of X. For any two finite sequences s9 t s A t denotes con-
catenation of them. Finally, quantifiers V00 and 3 0 0 abbreviate "for all
except finitely many" and " there exist infinitely many" respectively.
1. In this first section we introduce the notation of small sets and we
prove basic properties of these sets.
We start with the following well-known lemma.
LEMMA 1.1. Suppose H c 2ω is a null set. Then there exists a sequence
Jn c 2" for n < ω such that Σ^=ι\Jn\2~n < oo and H c {x e 2ω: 3°°«
x Γ n ejn). D
For the proof of Lemma 1.1 see [0].
2 TOMEK BARTOSZYNSKI
Lemma 1.1 gives us some combinatorial representation of null sets.Nevertheless it turns out that this representation is not working satisfacto-rily. Hence we define a new family of sets which looks much morepromising.
DEFINITION. A set H c 2ω is called small iff there exists a partitionof ω into pairwise disjoint intervals [In: n < ω} and a sequence {Jn:n < ω} such that
(i) Jn £ 2'-( i i ) Σ - = 1 | / J 2 - ^
(iii) H c {x G 2ω: 3°°« χ f / B ε Jn).Denote the set defined by sequences {In: n < ω] and {Jn: n < ω) by
Observe that condition (ii) guarantees that the set {In,Jn)^=ι is null.The next lemma describes the relationship between null and small sets.
LEMMA 1.2. Every null set is a union of two small sets.
Proof. Suppose H c 2ω is a null set. By Lemma 1.1 we can assumethat H = {xE2 ω :3°°«xf rc e /„} for some sequence {Jn: n < ω}.
Fix some sequence of positive reals {εn: n < ω) such that Σ™=ιεn <oc.
Define sequences {nk9mk: k < ω} as follows
00
mk + 1 = mini u < ω: 2Hk Σι = u
00
nk + ι = mm{ u < ω: 2r"k+] ^
Now define
Γk = [mk9mk + ι) fork < ω.
Let
s <= Fk iff s e 2 7 [
dom(/) Π dom(s) = ί Γ dom(ί) Π dom(5),
ON COVERING OF REAL LINE BY NULL SETS 3
and similarly
s G Fk iff s G 27ί &3ι G [ Λ * , " I * + 1 ) 3 * e j ; .
5 Γ dom(/) Π dom(,s) = ί Γ dom(/) Π dom(j).
From the above definitions easily follows that the sets (Ik, Fk)f=1 and(Ik'FDΐ-i a r e small. Simply notice that \Fk\/2{Ikl < εk. Now we showthat
Suppose that x G if. By our assumption it means that the set
Jf = {« < ω: t Γ « e /„} is infinite.
Thus one of the following two sets is infinite
00 00
XΠ U [mk+l9nk+1) o r X Cλ {j [ n k 9
k=l k=lm k + 1 )
It is just routine to check that if the frist of these sets is infinite thenx G (Ik9 Fk)™=ι and x G (/^, i ^ O ^ i i f t h e second set is infinite. D
The next lemma justifies the name given to our sets.
LEMMA 1.3. There exists a null set which is not small.
Proof. Let
/ „ = [2",2"+ 1),
/,; = [ln + 2 π " 1 ,2 π + 1 + 2") for /i < ω and
/„ = { G 27-: J(max(/J) = j(min(/J)&j(max(/n) - l)
/ J - n) = s(min(ln) + n)},
;) + l)& &j(max(/π
/) -A?) =
for n < ω.
It is easy to verify that the sets (In,Jn)™=1 and (/„', /^)?=i are small.We will show that the union of these two sets is not small. We will
need the following technical lemma.
4 TOMEK BARTOSZYNSKI
LEMMA 1.4. Suppose that (7°, J ^ = ι c (7Π\ J ^ 1 ) ^ ΛΛJ feί Fπ = {k:
7° Π /i # 0} /or ft < ω.
Then for all except finitely many « < ω w e have if dom(s) = U* e Fn l\
and s I 7° G /n° then there exists Λ: e FΛ and / G /^ such that s [ dom(ί)
= t.
Proof. Suppose that this condition does not hold for some small setsθ r0\oo r.γ.Λ ( τl τl\oo
J ) a Π α 2 J )/ rθ r0\oUflJ Jn )n
It means that there exists an infinite set X' c ω such that for « G X r
there exist sn with domίΛ1^) = Uk(ΞFΊ\ such that j Λ Γ I® G 7W° and for
every /: G i^ and for every / G Z 1 ^^ t dom(/) ^ /.
Let X be an infinite subset of X' such that ίor n, k ^ X Fn Γ) Fk = 0.
Now define x G 2ω as follows
( otherwise any element not belonging to Jk.
It is easy to see that x G (I®,J®)™=1 and x ί (/JJ,//I
1)~=1 which is acontradiction. D
Now suppose that (In,Jn)™=ι U (I^Jή)^=i ^s contained in the set
Define nk = max(/^') for /: < co.
Without loss of generality we can assume that each interval I'k'
intersects at least two 7π's and 7^'s.
Since the distances between the endpoints of In and Γn are getting
bigger and bigger either there are infinitely many intervals Ik such that
each Ik contains an element nι for some I < ω and the distance of nι
from the endpoints of Ik is greater than k or the sequence Γk has this
property.
Without loss of generality we can assume that the first case is
satisfied.
Fix sufficiently large k < ω such that Ik has the above property.
Assume that Ik c 7/' U 7/+x.
Notice that from Lemma 1.4 follows that
[s e 2 7 ' " u / ^: s\ IktΞJk] Q [
ON COVERING OF REAL LINE BY NULL SETS 5
We will show that in this case sets // ' and /," x are large, i.e. that
(*) |///|2-|/'" + |//;1 |2- | /^ |>i.
This will finish the proof of Lemma 1.3 because then Σ^=ι\Jjf/\2~^ = oc,
since (*) holds for infinitely many / 's. Thus it is enough to show that
\{s e 2 7 " u / -- s r ii'ej,"} u { ^ 2τ'"ur'"+κ s r I U^J/U)I
> 2l///u//+il-1.
Recall that
/ = {* €= 2'*:
& &j (max( /J - A:) = s(min(lk) 4- A:)} for A: < ω.
For s G 2 / / ' u / / + 1 define ^* G 2 / / U / / ; I as follows
ί 1s (max(/A:) - z) if n = min(/^) + z, / < k,
^(min(4) + /) if n = max(lk) - i, i < k,
s(n) in other cases.
Notice that s = s* iff s { Ik G Jk.
Claim. For any s G 2r"urι"+ι either Λ or s* belongs to
[s G 2 7 ' " u / ^ : ^Γ I" ^J")
Proof of the Claim. Fix s G 2 / / u / / ; i and define ί = 5 Γ //' A * Γ / / + 1 .
Notice that t = t*. Hence
/ G {5 G 2 / '"u / ' /^: ^Γ //' e// ' } u { ^ G 2 / ' / u / / ί l : sf lίίi e Λ +
By the definition of t it means that either s ox s* belongs to this set. D
By previous remarks this finishes the proof of Lemma 1.3. D
We will conclude this section with the following lemma.
LEMMA 1.5. Suppose that H c 2ω can be covered by some null set of
type Fσ. Then H is small. D
We leave an easy proof to the reader.
2. Covering of R by null sets. Let us start with some definitions.
Suppose / G ωω mdΣ^Jin)'1 < 00.
6 TOMEK BARTOSZYNSKI
Then define
φ<=Σf iff φ e ( [ω] < ω ) ω &φ(n) C/(n) for n < ω
& Σ\ψ(n)\f(n)-1<oo,« = 1
and let
Let Σ and X denote Σf and Xf respectively for f(n) = 2" for n < ω. For/ e ωω let Ty denote the following sentence
VΦ c | φ | < 2 W Σ / 3 A e Λ^Vφ e Φ \/°°nh(n) £ <p(w).
The proof of the following lemma is left to the reader.
LEMMA 2.1. For any functions /, g e ωω Λ WCΛ /Λα Σ ^ x / ί ^ ) " 1 < oo
T / Ξ T g . D
Before stating the main result of this section recall that B(m) denotesthe sentence saying that R is not the union of less than 2ω null sets.
Let D denote the following sentence
c | F | < 2 W <o" 3g e ωω VfeFVnf(n) < g{n).
Observe that if 2ω is a regular cardinal then D is equivalent to theexistence of 2ω-scale in ωω.
THEOREM 2.2. Assume D. Then
B(m) = VΦ c m<2»Σ3h G l 3 φ G φ V°°« Λ(Λ) ί φ(n).
Proof. => This imphcation is very easy since any element φ e Σcorresponds with the null subset of 2ω: since φ(n) c 2M we can identifyψ(n) with a certain subset of 0-1 sequences of length n. Now consider theset Hφ = ([1 + 2 + - - +(n - 1), 1 + 2 + +/I),<P(H))£1 1. For givenfamily Φ c Σ apply B(m) to the family (i/ φ : φ e Φ ) to obtain arequired function A e l
<= Suppose {//α: α < θ < 2ω} is a family of null sets. By Lemma 1.1we can assume that for a < θ
Ha= {x e 2ω: 3°°« xf « G /„*} for some sequence {/w
α: Λ < ω}
such that Σ ^ i l / P"" < oo.
ON COVERING OF REAL LINE BY NULL SETS 7
Claim. There exists a family {{Jk: k < ω}: a < θ) and a sequence
of natural numbers {uk: k < ω] such that
(ii) HaQ {x^2ω: 3°°kx\ uk^ /«} for a < 0,
(iii)Vα Λ
Proof. For α < 0 and k < ω define
/π: £ |/f |2~'< 2~*ί £ |/f |
Using D we can find an increasing sequence {uk: k < ω] such that
Vα < θ V°°k na
k < uk.
Define for a < θ and k < ω
Γk = [s e 2 « * : 3 i ^ ( u ^ u ^ l i e ^ } .
It is easy to check that the above family satisfies conditions (i)-(iii). D
Let
H'a = {JC e 2ω : 5°% c t w e / £ } for α < 0.
Observe that Ha c ^ for α < 0. Thus in order to finish the proof we
have to find a real z E 2 ω such that
z £ i/« for α < 0.
Fix any sequence of positive reals {εn: n < ω) such that Σ™=ι2nεn < oo.
Using Lemma 1.2 we can express every set H'a as a union of two small
sets. Moreover, condition (iii) guarantees that we can do it uniformly for
all sets H'a. To be more precise: we can find two sequences {nk,mk:
k < ω} of natural numbers such that
nk<mk< nk+ι < mk+1 for k < ω.
We can also find families L", La
k for a < θ, k < ω such that
(i) La
k c 2[n»n*+i\ hi c 2[m"m*+J for a < θ, k < ω,
(ii) H'a c ([Λ i k,ΛΛ + 1), ^ ) " = i U ( [m Λ ,m Λ + 1 ) , L2)?-i,(iii) | L ^ | 2 ^ - ^ + 1 < <•£, ILίP"1*"1 1 1^1 < εΛ for a < θ.
Denote
J * = [ Λ *> Λ * + i) a n d lk=[mk>mk+ι) tork<ω.
Notice that if we define f(k) = 2|7*' for k < ω then each set
(7^, L " ) ^ = 1 can be coded as an element φa e Σ^. Moreover if x e 1^ and
V°°H x(π) ί φα(«) then we can decode from x a real i G 2 ω such that
8 TOMEK BARTOSZYNSKI
Hence by Lemma 2.1 our assumption is equivalent to the fact that
2"-\J{(lk,Ll)^1:a<θ}Φ0 and
2«-\J{(lk,Ll)ΐ_1:a<θ}Φ0.
All we have to show is that the intersection of the above two sets is also
nonempty.
Fix k < ω and consider intervals Ik and Ik.
Let
S£ = {s e 2["*'m*): s has at least 2π*+ 1"m*"Λ extensions inside L\}
for a < θ.
We have to estimate how big Sj* can be.
Clearly
Hence
£| < 2kBk2mk'nk fora<θ and fc < co.Bk
Similarly if we define
S" = {5 G 2[nk*mk): s has at least 2"*""1*-1"* extensions inside L^.!}
for α < 0 and k < ω
then
| 5 £ | < 2*εΛ2m*-Λ* forα < 0.
Now define new small sets (Ik9 R%)f=ι as follows: for α < 0, /: < ω
seR"k iff ^ r k,wjεs?us;.
By our previous remarks the sets (/Λ, Ra
k)™=λ are small since Σ ^ = 1 2 ^ ε ^
< 00 and \Ra
k\2~^ < 2k~ιεk for every a < θ and k < ω. Therefore by
our assumption and Lemma 2.1 we can find a real I G 2 W such that
Now for a < θ define sets (Wk, T£)f=1 as follows
Wk = [ W A , Λ A ) for/c < ω.
λ
α = (s e 2 [m* "*+ l ): x { [nk,mk) A s e L\ or
s Λ x f [«*+i, 'w i + 1 ) e i j ) fora < 0 and k < ω.
ON COVERING OF REAL LINE BY NULL SETS 9
Notice that the definition of the sets {Ik,Ra
k)°k=ι f°r a < 0 and thechoice of x guarantees that the sets (Wk9 Tk)™=ι are small. In fact one canshow that
Vα < θV°°k\T£\2-m< 2ι~k.
Using the assumption and Lemma 2.1 we can find a real y G 2ω such
that
Define z G 2ω in the following way
U t t ) i f / ie(J{»** : *<«•>}z(n) = (
[ x(n) in other cases.
We will show that
z £ {lk>Lk)ΐ=ι u(/*>££)Γ=i f°r « < #•
Assume the opposite and suppose that z e (/^, L£)^= 1 for somea < θ. It means that for infinitely many k < ω z { Ik <E La
k. Now twocases are possible:
Case 1. There are infinitely many k such that z f [«^, m^) has at least2"A+I-"A-£ extensions inside La
k. That means that z e {Ik,Ra
k)°£=ι andsince z Γ [nk,mk) = x { [nk,mk) for every /: we have that x e(/A, Ra
k)t=v Contradiction.
2. For all except finitely many k z Γ [nk,mk) has less than2WA+I-"A-* extensions inside L".
In this case z ^ (Wk, 77)A°=I which is impossible by the choice of y.The similar reasoning shows that z & (Ik, Ll)™=ι for a < θ. D
Recall that κm is the least cardinal K such that R can be covered by Kmany null sets. Let κD be the smallest cardinal K such that
Observe that Theorem 2.2 characterises κm as well as B(m). I.e.assuming that κm < κD, κm is the least cardinal K such that there exists afamily Φ c Σ of size K such that
V i € l 3 φ G Φ 3°°n x(n) G φ ( Λ ) .
Theorem 2.2 enables us to give a partial solution to a question ofDavid Fremlin about cofinality of κm.
10 TOMEK BARTOSZYNSKI
THEOREM 2.3. If κm < κD then cf(κm) > ω.
Proof. Assume opposite. Let Φ c Σ b e the least family such that
VjceI3φeΦ 3°°n x(n) e <p(n).
Since c/(|Φ|) = ω we can find an increasing sequence {Φn: n < ω}
such that U{ Φn: n < ω} = Φ and |ΦJ < |Φ| for every n < ω.
Using the assumptions that Φ has the least possible power we can
find elements xn e X for n < ω such that
VΛ Vφ G ΦΛ V00*
Now for φ G Φ define functions fφ G ωω as follows
0 if minimum does not exist.
Using the fact that κm < κD and that cf(κd) > ω we can find an
increasing function / e ωω such that /(0) = 0 and
For k < ω define
x(k) = xn(k) ifke[f{n)J{n + l)).
It is easy to see that
V φ G Φ V00^ x(n) £ φ(n) contradiction. D
3. Sets of cardinality < 2ω.
THEOREM 3.1. Suppose that X c 2ω am/ |ΛΓ| < 2ω. 77zβw X is null iff X
is small.
Proof. <- Obvious.
-* Suppose X c 2ω and A" is contained in some null set if. By 1.2 we
can decompose H onto small sets (/„, Jn)™=ι and (/„, / Λ ) * = 1 . Without loss
of generality we can assume that each interval In intersects exactly two
intervals Ik.
For x ^ X define
supp(x) = {n: x [ In G / n } .
ON COVERING OF REAL LINE BY NULL SETS 11
Since |X| < 2ω there exists an infinite set Y c ω such that for x e X
|supp(;c) — Y\ = ω whenever |supp(x) | = ω.
To find such a set consider a family of pairwise almost disjointsubsets of ω of cardinality 2ω. One of the sets in this family has desiredproperty.
Take
It is not very hard to check that the set H' is small and that X c H'. D
We will conclude this section with the analogue of Theorem 2.2. LetSD denote the following sentence
3F c | F | < 2 . <oωVg€Ξωω 3/ e F V - Λ g W </(*)-
Let U(m) be the sentence saying that every set of cardinality less than2ω is null. The following theorem is an easy corollary of Theorem 3.1.
THEOREM 3.2. Assume SD. Then
U(ιn) ^ g e ^ V F c | F | < 2 . Xg 3φ G Σg V / e F
V°°nf(n) G ? ( « ) , D
REMARKS. (1) It is well known that B(m) and D have little incommon. Actually any of B(m)&-,D, B(m)&D, -ΊB(m)&D and~,B(m) & -πD is consistent with ZFC.
(2) All problems considered in this paper have their analogues in theideal of meager subsets of R. In particular, the cardinal κB defined as thecardinality of the least covering of the real line by meager sets, wasstudied by A. Miller (see [Mi 1]). He proved that cf(κB) > ω. SentencesB(c) and U(c) analogous to B(m) and U(m) along with several otherproperties of the ideals of meager and null sets were studied in [Mi 2] and[Ba].
REFERENCES
[Ba] T. Bartoszynski, Combinatorial aspects of measure and category, to appear inFund. Math.
[Mi 1] A. Miller, Baire category theorem and cardinals of countable cofinality, J.Symbolic Logic, 47 (1982).
12 TOMEK BARTOSZYNSKI
[Mi 2] A. Miller, Some properties of measure and category, Trans. Amer. Math. Soc, 266(1981).
[O] J. Oxtoby, Measure and Category, Springer Verlag.
Received November 21, 1985 and in revised form February 4, 1987.
WARSAW UNIVERSITY
WARSAW, POLAND
AND
UNIVERSITY OF CALIFORNIA
BERKELEY, CA 94720
PACIFIC JOURNAL OF MATHEMATICS
EDITORSV. S. VARADARAJAN HERMANN FLASCHKA ROBION KIRBY
(Managing Editor) University of Arizona University of CaliforniaUniversity of California Tucson, AZ 85721 Berkeley, CA 94720Los Angeles, CA 90024 RAMESH A. GANGOLLI C. C. MOOREHERBERT CLEMENS University of Washington University of CaliforniaUniversity of Utah Seattle, WA 98195 Berkeley, CA 94720Salt Lake City, UT 84112 VAUGHAN F. R. JONES HAROLD STARKR. FINN University of California University of California, San DiegoStanford University Berkeley, CA 94720 La Jolla, CA 92093Stanford, CA 94305
ASSOCIATE EDITORSR. ARENS E. F. BECKENBACH B. H. NEUMANN F. WOLF K. YOSHIDA
(1906-1982)
SUPPORTING INSTITUTIONSUNIVERSITY OF ARIZONA UNIVERSITY OF OREGONUNIVERSITY OF BRITISH COLUMBIA UNIVERSITY OF SOUTHERN CALIFORNIACALIFORNIA INSTITUTE OF TECHNOLOGY STANFORD UNIVERSITYUNIVERSITY OF CALIFORNIA UNIVERSITY OF HAWAIIMONTANA STATE UNIVERSITY UNIVERSITY OF TOKYOUNIVERSITY OF NEVADA, RENO UNIVERSITY OF UTAHNEW MEXICO STATE UNIVERSITY WASHINGTON STATE UNIVERSITYOREGON STATE UNIVERSITY UNIVERSITY OF WASHINGTON
Pacific Journal of MathematicsVol. 131, No. 1 November, 1988
Tomek Bartoszynski, On covering of real line by null sets . . . . . . . . . . . . . . . . . . . 1Allen Davis Bell and Kenneth R. Goodearl, Uniform rank over differential
operator rings and Poincaré-Birkhoff-Witt extensions . . . . . . . . . . . . . . . . . . . 13Brian Boe, Thomas Jones Enright and Brad Shelton, Determination of
the intertwining operators for holomorphically induced representationsof Hermitian symmetric pairs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Robert F. Brown, Topological identification of multiple solutions toparametrized nonlinear equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
Marc R. M. Coppens, Weierstrass points with two prescribed nongaps . . . . . . .71Peter Larkin Duren and M. Schiffer, Grunsky inequalities for univalent
functions with prescribed Hayman index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105Robert Greene and Hung-Hsi Wu, Lipschitz convergence of Riemannian
manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119Kathryn E. Hare, Arithmetic properties of thin sets . . . . . . . . . . . . . . . . . . . . . . .143Neal I. Koblitz, Primality of the number of points on an elliptic curve over a
finite field . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157Isabel Dotti de Miatello and Roberto Jorge Miatello, Transitive isometry
groups with noncompact isotropy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167Raymond A Ryan, Weakly compact holomorphic mappings on Banach
spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179Tudor Zamfirescu, Curvature properties of typical convex surfaces . . . . . . . . . 191
PacificJournalofM
athematics
1988Vol.131,N
o.1