Arxiv:2011.10638V1 [Math.CA] 20 Nov 2020 X N .Hrazwk Se Eetyi [ in Recently Asked Horbaczewska G

Home , Divergent series

arXiv:2011.10638v1 [math.CA] 20 Nov 2020 x n .Hrazwk se eetyi [ in recently asked Horbaczewska G. and each e” a ensuidi [ in studied been has set”, iiso ovretsbeiso ie series given a of subseries convergent of limits amncseries harmonic bee have convergence filter of s context all” the “almost in that results meaning Related sense, categorical the and sense o icl oseta vr nnt e of set infinite every that lim see to difficult not usre nee by indexed subseries set tcnan h collection the contains it ∈ oigfracaatrzto ftecaso umbeideal summable of class the of characterization a for Hoping Let e od n phrases. and words Key 2010 follo the is answer to going are we that question the Roughly, oeta each that Note ti nw httefamilies the that known is It n P Z x x ( n N X ahmtc ujc Classification. Subject Mathematics hwthat show ariennsmrhcideals nonisomorphic pairwise oe yM iica n .Horbaczewska. G. and Filipczak M. by posed lim subseries P Abstract. ∈ hr exists there 0 = ) n X olwn [ Following . n etesto oiiera sequences real positive of set the be x x codnl,define Accordingly, . n let , OVRETSBEISO IEGN SERIES DIVERGENT OF SUBSERIES CONVERGENT n sdvret o each For divergent. is 0 = P A P I n x Let and I ∈ n scmae n htcnan nonal aysequences many uncountably contains that and comeager is A x y h olcino eso oiieintegers positive of sets of collection the n 1 x A scoe ne nt nosadsbes .. ti an is it i.e., subsets, and unions finite under closed is ∈ e,eg,[ e.g., see, ; X n I 4 x umbeiel uiism ovretseries. convergent sum; Fubini ideal; Summable ,acleto fst ftetp ( type the of sets of collection a ], scnegn.Mroe,let Moreover, convergent. is X scnegn,ta is, that convergent, is AE ACRA N AL LEONETTI PAOLO AND BALCERZAK MAREK 6= etesto oiiera sequences real positive of set the be Z Fin 7 I uhthat such , y := 9 o l sequences all for I ffiiesets finite of , x I X 12 11 x := x I .O pca neethv enseicsbeiso the of subseries specific been have interest special Of ]. x ∈ , endi ( in defined ∩ hsases npriua,a pnqeto recently question open an particular, in answers, This . ( 14 1. X I c rmr:4A5 eodr:54A20. Secondary: 40A05. Primary: A x 0 , let , Introduction 15 = = 5 ⊆ h following: the ] , { I N I N x 17 A y x y and ∈ : ]. etecleto fall of collection the be ( = ⊆ otisa nnt ustin subset infinite an contains 1 n X P A X r sal,bt ntemeasure-theoretic the in both “small”, are ) ∈ x A N y n y ( = n etesto sequences of set the be x n n n ti ieetfo h power the from different is it and and , x ) lim : n n n ∈ de o siltstomuch”? too oscillates not “does →∞ hc suulycle “achievement called usually is which , < x X n ∞ ) x with x ihdvretseries divergent with 1 beisdvre e [ see diverge, ubseries ) n scalled is ) A ie n[ in given n ( = 0 = . s uhta h psil finite) (possibly the that such i inf lim I ig si reta o each for that true it Is wing: x } x n . ) with A uhta h series the that such n ⊆ y x n umbeideal summable x N +1 x 1 ∈ hc generate which , ∈ uhta the that such /y X 2 n , Z ideal I 10 uhthat such > x .Filipczak M. , fadol if only and if .Testof set The ]. 0 3 P Moreover, . We . , 6 n , x 13 n tis It . For . , 16 (1) ]. 2 Marek Balcerzak and Paolo Leonetti

Question 1.1. Is it true that for each x ∈ Z there exists y ∈ X such that Ix = Iy and y n ∀n ∈ N, n+1 ≥ ? yn n +2 We show in Theorem 1.3 below that the answer is negative in a strong sense. To this aim, deﬁne y Y := y ∈ X : lim inf n+1 > 0 , n→∞ y n and let ∼ be the equivalence relation on X so that two sequences are identiﬁed if they generate the same ideal, so that

∀x, y ∈ X , x ∼ y ⇐⇒ ∀A ⊆ N, xn < ∞ ⇐⇒ yn < ∞ . n∈A n∈A ! X X First, we show that the set of pairs (x, y) ∈ X 2 such that x is ∼-equivalent to y is topologically well behaved: Proposition 1.2. ∼ is a coanalytic relation on X . Then, we answer Question 1.1 by showing that: Theorem 1.3. There exists x ∈ Z such that x 6∼ y for all y ∈ Y . In light of the explicit example which will be given in the proof of Theorem 1.3, one may ask about the topological largeness of the set of such sequences. To be precise, is it true that A := {x ∈ Z : ∀y ∈ Y , x 6∼ y} is a set of second Baire category, i.e., not topologically small? Note that the question is really meaningful since Z is completely metrizable (hence by Baire’s category theorem Z is not meager in itself): this follows by Alexandrov’s theorem [8, Theorem 3.11] and the fact that

Z = {x ∈ c0 : xn > 0} ∩ {x ∈ c0 : x1 + ··· + xk > m} n≥1 m≥1 \ \ k[≥1 is a Gδ-subset of the Polish space c0. With the premises, we show that A is comeager, that is, Z \ A is a set of ﬁrst Baire category: Theorem 1.4. A is comeager in Z . In particular, A is uncountable. We remark that Theorem 1.4 gives an additional information on relation ∼. Since it is a coanalytic equivalence relation by Proposition 1.2, we can appeal to the deep theorem by Silver [8, Theorem 35.20] which states that every coanalytic equivalence relation on a Polish space either has countably many equivalence classes or there is a perfect set consisting of non-equivalent pairs. Thanks to Theorem 1.4, the latter holds for the relation ∼ in a strong form. Indeed, every pair in A × Y does not belong to ∼, where A is comeager (hence it contains a Gδ-comeager subset) and Y is an uncountable Fσ-set. Therefore A × Y contains a product of two perfect sets by [8, Theorem 13.6]. Lastly, on a similar direction, we strenghten the fact that A is uncountable by proving that exist uncountably many sequences in A which generate pairwise nonisomorphic ideals (here, recall that two ideals I, J are isomorphic if there exists a bijection f : N → N such that f[A] ∈ I if and only if A ∈J for all A ⊆ N). Convergent subseries of divergent series 3

Theorem 1.5. There are c sequences in A which generate pairwise nonisomorphic ideals.

Hereafter, we use the convention that n≥1 an ≪ n≥1 bn, with each an, bn > 0, is a shorthand for the existence of C > 0 such that a ≤ C b for all k ∈ N. P n≤k nP n≤k n 2. Proof of PropositionP 1.2P Equiavalently, we have to show that the set E := {(x, y) ∈ X 2 : x 6∼ y} is analytic in X 2. 2 For, note that E is the projection on X of E1 ∪ E2, where 2 E1 := (A, x, y) ∈ P(N) × X : A ∈ Ix \ Iy and, similarly, 2 E2 := (A, x, y) ∈ P(N) × X : A ∈ Iy \ Ix . N N X 2 R Now, for each n ∈ , deﬁne the functions αn, βn : P( ) × → by αn(A, x, y)= xk and βn(A, x, y) = yk, where each sum is extended over all k ∈ A such that k ≤ n. Since 2 P they are continuous, the set (αn ≤ k) := {(A, x, y) ∈ P(N) × X : αn(A, x, y) ≤ k} is closed P and (βn >k) is open for all n, k ∈ N. Therefore

E1 = (αn ≤ k) ∩ (βn >k) n≥1 ! n≥1 ! k[≥1 \ k\≥1 [ is the intersection of an Fσ-set and a Gδ-set, hence it is Borel. Analogously, E2 is Borel. This proves that E is analytic subset of X 2. 3. Proof of Theorem 1.3 1 1 Deﬁne the sequence x = (xn) so that xn = n if n is even and xn = n log(n+1) if n is odd. Z Y Note that limn xn = 0 and that n xn = ∞, hence x ∈ . At this point, ﬁx y ∈ such that κ := lim infn yn+1/yn > 0 and let us show that Ix =6 Iy. P Let P be the set of prime numbers, with increasing enumeration (pn). By the prime number theorem we have pn is asymptotically equal to n log(n) as n →∞, hence 1 1 xn = xpn ≪ ≪ < ∞, p log(p ) n log2(n) n∈P n≥1 n≥1 n n n≥2 X X X X with the consequence that P ∈ Ix. In addition, P − 1 ∈/ Ix because 1 1 x = x n ≫ ≫ = ∞. n p −1 p n log(n) P n≥1 n≥1 n n≥2 n∈X−1 X X X Lastly, suppose for the sake of contradiction that Ix = Iy. Then we should have that P ∈ Iy and, at the same time, P − 1 ∈/ Iy. The latter means that

ypn−1 = ∞. n≥1 X However, this implies that

ypn ≫ κypn−1 = ∞, (2) n≥1 n≥1 X X contradicting that P ∈ Iy. 4 Marek Balcerzak and Paolo Leonetti

4. Proof of Theorem 1.4 Consider the Banach–Mazur game deﬁned as follows: Players I and II choose alternatively nonempty open subsets of Z as a nonincreasing chain U1 ⊇ V1 ⊇ U2 ⊇ V2 ⊇ ··· , where A Player I chooses the sets Um. Player II has a winning strategy if m Vm ⊆ . Thanks to [8, Theorem 8.33], Player II has a winning strategy if and only if A is comeager. Hence, the rest of the proof consists in showing that Player II has a winning strategy.T Note that the open neighborhood of a sequence x ∈ Z with radius ε> 0 satisﬁes

ε Bε(x) := {y ∈ Z : kx − yk <ε}⊇{y ∈ Z : ∀n ∈ N, |xn − yn| < /2} . ε Since x ∈ Z ⊆ c0, there exists k0 = k0(x, ε) ∈ N such that xn < /2 for all n ≥ k0. Hence ε ε Bε(x) ⊇ Wε(x) := {y ∈ Z : ∀n ≥ k0(x, ε), yn < /2 and ∀n

For each m ∈ N, suppose that the nonempty open set Um has been fixed by Player I. Hence, (m) (m) Z Um contains an open ball Bεm (x ), for some x ∈ and εm > 0. In particular, thanks (m) ε to (3), there exists a sufficiently large integer k0 = k0(x ,εm) ∈ N such that yn < /2 for all (m) y ∈ Wεm (x ) and n ≥ k0. Without loss of generality, let us suppose that k0 is even. At this point, let x⋆ be the sequence in A defined in the proof of Theorem 1.3. Then, for N ⋆ ⋆ εm each m ∈ , let tm be an integer such that max{xpm , xpm−1} < tm · 2 (we recall that pm stands for the mth prime number), and define the positive real ⋆ ⋆ 1 ε max{x m , x m } δ := min , m − p p −1 . m m2t 2 t m m (m) (m) Note that limm δm = 0. Now, define the set Im = N ∩ [k0(x ,εm),k0(x ,εm)+2tm) and let z(m) be the sequence such that ⋆ xpm−1/tm if n ∈ Im and n even, N (m) ⋆ ∀n ∈ zn = xpm /tm if n ∈ Im and n odd, (m) xn if n∈ / Im. (m) Lastly, set Vm := Bδm (z ) and note that by construction N (m) (m) ∀m ∈ , Vm ⊆ Wεm (x ) ⊆ Bεm (x ) ⊆ Um, (m) hence Vm is a nonempty open set contained in Um. In addition, the sequence of centers (z ) is a Cauchy sequence in the complete metric space Z . Hence it is convergent to some z ∈ Z and it is straighforward to see that {z} = m Vm. A N To complete the proof, we need to show that z ∈ . Set A := ( m Im) \ 2 . Proceeding as in the proof of Theorem 1.3, we see thatT S⋆ (m) xpm 1 zn = zn ≤ (zn + δm) ≤ |Im| + 2 < ∞, tm m tm n∈A m≥1 m N m≥1 m N m≥1 X X n∈XI \2 X n∈XI \2 X hence A ∈ Iz. Similarly, A − 1 ∈/ Iz since ⋆ (m) xpm−1 1 zn ≥ (zn − δm) ≫ |Im| − 2 = ∞. tm m tm n∈A−1 m≥1 n∈Im∩2N m≥1 X X X X Convergent subseries of divergent series 5

Now, ﬁx y ∈ Y such that κ := lim infn yn+1/yn > 0 and suppose that Iz = Iy. Then we would have that A ∈ Iy and A − 1 ∈/ Iy, which is impossible reasoning as in (2).

5. Proof of Theorem 1.5 Let x⋆ be the sequence defined in the proof of Theorem 1.3. For each r ∈ (0, 1], let x(r) (r) ⋆ r N P be the sequence defined by xn = (xn) for all n ∈ . Replacing the set of primes with 1/r (r) {⌊pn ⌋ : n ∈ N} and reasoning as in the proof of Theorem 1.3, we obtain that x ∈ A . To complete the proof, fix reals r, s such that 0 n } and T := \ S. We have n∈S f(n) ≤ 1 t < ∞. Considering that f is a bijection and the harmonic series is divergent, we n∈S n P obtain that 1 = ∞ (in particular, T is infinite). In addition, since r< 1 and P n∈T f(n) 1 1 1 P ≪ ≤ x(r) ≤ , f(n) (f(n) log(f(n)+1))r f(n) f r(n) (r) (s) we get that n∈T xf(n) = ∞ and, thanks to (4), also that n∈T xn = ∞. Note that, if n ∈ T , then f(n) ≤ nt, which implies that P P x(s) 1/ns (log n)r ∀n ∈ T, n ≤ ≪ , (r) 1/(f(n) log(f(n)+1))r ns−tr xf(n) which has limit 0 if n → ∞ (and belongs to T ). In particular, for each k ∈ N, there N (s) (r) 1 2 exists nk ∈ such that xn /xf(n) ≤ /k for all n ≥ nk. Let (Ak) be a sequence of finite subsets of T defined recursively as follows: for each k ∈ N, let Ak be a finite subset of (r) 1 T such that min Ak ≥ nk + max Ak−1 and n∈Ak xf(n) ∈ ( 2 , 1) where, by convention, we assume max A := 0 (note that it is really possible to define such sequence). Finally, define 0 P A := k Ak so that we obtain (r) S x 1 x(r) = x(r) = ∞ and x(s) ≤ f(n) ≤ < ∞. f(n) f(n) n k2 k2 n∈A n∈Ak n∈A n∈Ak X Xk≥1 X X Xk≥1 X Xk≥1 This contradicts (4), concluding the proof.

6. Concluding Remarks

We remark that the ideal Ix deﬁned in the proof above is just (an isomorphic copy of) the Z 1 1 Fubini sum Is ⊕ It, where s, t ∈ are sequences deﬁned by sn = n and tn = n log(n+1) for all n ∈ N. Here, we recall that the Fubini sum of two ideals I and J on N is the ideal I⊕J on {0, 1} × N of all sets A such that {n ∈ N : (0, n) ∈ A} ∈ I and {n ∈ N : (1, n) ∈ A}∈J , cf. e.g. [4, p. 8] 6 Marek Balcerzak and Paolo Leonetti

Also, some comments are in order about the simplifications. The assumption that the sequence x has positive elements (instead of nonnegative elements) is rather innocuous. Indeed, in the opposite, if xn = 0 for infinitely many n, then the summable ideal Ix would be (isomorphic to) the Fubini sum P(N) ⊕ Iy, for some y ∈ X . Lastly, also the hypothesis x ∈ Z in Question 1.1 (instead of x ∈ X ) has a similar justification. Indeed, if x ∈ X \ Z , then Ix would be the Fubini sum Fin ⊕ Iy, for some y ∈ Z . We conclude with two open questions: Question 6.1. Is it true that for each x ∈ Z there are (possibly infinite) sequences 1 2 y ,y ,... ∈ Y such that Ix = ⊕iIyi ? Question 6.2. Is it true that A is an analytic subset of Z ? References

1. M. Balcerzak, M. Popławski, and A. Wachowicz, The Baire category of ideal convergent subseries and rearrangements, Topology Appl. 231 (2017), 219–230. 2. M. Balcerzak, M. Popławski, and A. Wachowicz, Ideal convergent subseries in Banach spaces, Quaest. Math. 42 (2019), no. 6, 765–779. 3. R. C. Buck, Limit points of subsequences, Bull. Amer. Math. Soc. 50 (1944), 395–397. 4. I. Farah, Analytic quotients: theory of liftings for quotients over analytic ideals on the integers, Mem. Amer. Math. Soc. 148 (2000), no. 702, xvi+177. 5. M. Filipczak and G. Horbaczewska, Some kinds of sparseness on the real line and ideals on ω, Ann. Math. Sil. 34 (2020), no. 1, 45–50. 6. D. K. Ganguly and C. Dutta, Some remarks on subseries of divergent series, Soochow J. Math. 31 (2005), no. 4, 537–542. 7. R. Jones, Achievement sets of sequences, Amer. Math. Monthly 118 (2011), no. 6, 508–521. 8. A. S. Kechris, Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. 9. P. Leonetti, Convergence rates of subseries, Amer. Math. Monthly 126 (2019), no. 2, 163–167. 10. P. Leonetti, H. Miller, and L. Miller-Van Wieren, Duality between measure and category of almost all subsequences of a given sequence, Period. Math. Hungar. 78 (2019), no. 2, 152–156. 11. B. Lubeck and V. Ponomarenko, Subsums of the harmonic series, Amer. Math. Monthly 125 (2018), no. 4, 351–355. 12. Z. Nitecki, Cantorvals and subsum sets of null sequences, Amer. Math. Monthly 122 (2015), no. 9, 862–870. 13. M. B. Rao, K. P. S. B. Rao, and B. V. Rao, Remarks on subsequences, subseries and rearrangements, Proc. Amer. Math. Soc. 67 (1977), no. 2, 293–296. 14. T. Schmelzer and R. Baillie, Summing a curious, slowly convergent series, Amer. Math. Monthly 115 (2008), no. 6, 525–540. 15. W. Stadje, On the convergence of thinned harmonic series, Elem. Math. 70 (2015), no. 3, 89–94. 16. T. Šalát, On subseries, Math. Z. 85 (1964), 209–225. 17. A. D. Wadhwa, Some convergent subseries of the harmonic series, Amer. Math. Monthly 85 (1978), no. 8, 661–663.

Institute of Mathematics, Lodz University of Technology, ul. Wólczańska 215, 93-005 Lodz, Poland Email address: [email protected] Department of Statistics, Università Bocconi, via Roentgen 1, Milan 20136, Italy Email address: [email protected]