![Arxiv:2008.03785V1 [Math.FA]](http://data.docslib.org/img/ac9266712e5c4803e9c1a6b8d6de2100-1.webp)
arXiv:2008.03785v1 [math.FA] 9 Aug 2020 hsrlto sms fe osdrdi h aeof case the in considered often most is relation This eo eilsrt ohstain yrcligsm appli some recalling by situations both illustrate we Below numbers space ne nt nosadcnan l ust fec fismem its of each of subsets all contains and proper unions finite under singletons itnus rma leri da,w enafamily a mean we ideal, algebraic an from distinguish bounded I h set the einr ie by given semi-norm I sdntdby denoted is ute,asequence a Further, emn’ hoe,Reanrarneetterm hypern theorem, rearrangement Riemann theorem, Neumann’s NTHE ON cnegn to -convergent h e fall of set The . RU ATSEIZ ŁDIIR EHE,AESNR ŚWIĄ ALEKSANDRA FECHNER, WŁODZIMIERZ BARTOSZEWICZ, ARTUR et o ie ideal given a for Next, 2010 By e od n phrases. and words Key ( R ,d X, ahmtc ujc Classification. Subject Mathematics fi osntcontain not does it if { inlycnegn.W rv htfragvnabtayseq arbitrary given a for that prove We convergent. tionally ubr hr xssapermutation a exists there numbers Abstract. rpryta hr xssaset a exists there that property uso h series the of sums ia imn eistheorem. series Riemann sical / n n ednt h e frasand reals of set the denote we fteeeit constant a exists there if ( a ∈ { ∈ oevr edsusacneto ewe u anrsl wi result main our between connection a discuss we Moreover, ) n n A ) N are } c uhthat such nideal An . 0 c and : EUVLNEADPRUAIN FSERIES OF PERMUTATIONS AND -EQUIVALENCE ( 0 I | c x I esyta w sequences two that say We . k 0 ) n buddsqecsi eoe by denoted is sequences -bounded ( -equivalent ( sueta ovretsre fra numbers real of series convergent a that Assume b n by and x − n ( n ) x ) x n is k 0 ) n c ∞ I n P | ∞ 0 P c =1 I ∞ =1 stermed is 0 euvlne etro itne,ptnilyconvergen potentially distances, of center -equivalence, ε > euvln oasbeuneo h euneo partial of sequence the of subsequence a to -equivalent inf = scalled is I c a a 0 σ } n ( ( esyta sequence a that say we N GISK WIDZ AGNIESZKA AND N n if I eog to belongs ) + = ) n . 1. { lim n rprielis ideal proper a and →∞ > λ ema t usaeo l eune hc are which sequences all of subspace its mean we > λ Introduction ∞ I summable A d -convergent : 0 ( ⊆ 0 and 00,40A35. 40A05, x σ N n uhta h set the that such N { 1 : y , n = I N uhta h series the that such A h e fall of set The . n ∈ → { 0 = ) I ∈ 1 N ( fteeeit euneo positive of sequence a exists there if x , N 2 n : . . . , uhthat such osome to ) | fadol if only and if . x and n } | ℓ ℓ umber. yan By . ∞ λ > ∞ admissible ( ( ( x P ⊂ I y I ro opc space compact a of or n n I} ∈ } { x σ ) ) ) ain fti notion. this of cations n ( 0 I uence n seupe iha with equipped is and n feeet fametric a of elements of n fra ubr is numbers real of cnegn sequences -convergent ∈ : P = ) ∈ n P | ∞ A ideal =1 x ( R n N a P n . hteclas- the th ∈ ( n es nielis ideal An bers. n a | ) b ffrevery for if A n fi otisall contains it if n o every for λ > or , scondi- is hc sclosed is which ) a a the has n freal of } < set-ideal eis von series, t eog to belongs TCZAK, + ∞ . > ε X I to 0 - . 2ARTUR BARTOSZEWICZ, WŁODZIMIERZ FECHNER, ALEKSANDRA ŚWIĄTCZAK, AND AGNIESZKA WIDZ
∞ Theorem 1 (Z. Semadeni [18, Theorem 4.2.2, p.77]). The space ℓ /c0 is isomet- rically isomorphic to the space of continuous functions on the remainder βN \ N of the Čech-Stone compactification of the discrete space N.
In [5] the authors have generalized this by proving a set-ideal version of the above theorem. Given an admissible ideal I⊂P(N) by PI we denote the set of all proper ultrafilters p in P(N) such that p = ∅ and the family p∗ of the complements of all elements of p contains I. The family PI is a closed subset of βN (see B. T Balcar, F. Simon [1]) and therefore it makes sense to consider the space C(PI ) of all continuous functions on PI .
Theorem 2 (A. Bartoszewicz, Sz. Gł¸ab, A. Wachowicz [5, Theorem 1]). For every ∞ admissible ideal I ⊂P(N) the spaces ℓ (I)/c0(I) and C(PI ) are isometrically isomorphic.
Roughly speaking, the above statement says that in Semadeni’s result one can Fin ∞ use the seminorm k·k∞ on the space ℓ , where Fin is the ideal of finite subsets of N, obtaining the same effect.
According to a well-known theorem of von-Neumann, two sequences (xn), (yn) of elements of a compact metric space have the same set of limit points if and only if (xn) is c0-equivalent to some permutation of (yn). Recently W. Bielas, Sz. Plewik and M. Walczyńska [7, Theorem 2.1] have generalized one implication of the von- Neumann’s theorem using the so-called “back-and-forth” method. In a paper by M. Banakiewicz, A. Bartoszewicz and F. Prus-Wiśniowski [3] the reverse implication to this theorem was proved. Given a metric space (X, d) the center of distances of X is defined as Z(X)= {α ≥ 0 : ∀x ∈ X, ∃y ∈ X such that d(x, y)= α}.
Theorem 3 ( [3, Theorem 1.2]). Assume that (X, d) is a compact metric space, (xn), (yn) are sequences of elements of X which have the same set of limit points A. Then, for a given α ≥ 0 there exists a permutation σ : N → N such that
lim d(xn,yσ(n))= α n→∞ if and only if α ∈ Z(A).
From the above statement one can easily derive the less trivial implication of the von-Neumann’s theorem, which corresponds to the case α = 0. Moreover, we can formulate an immediate corollary.
Corollary 1. Assume that (X, d) is a compact metric space and (xn) is a sequence of elements of X with the set of limit points A. Then there exists a permutation σ : N → N such that
lim d(xn, xσ(n))= α n→∞ if and only if α ∈ Z(A).
The aim of this note is to show an application of the c0-equivalence in the case of unbounded sequences. Our main theorem can be treated as an extension of the Riemann rearrangement theorem. PERMUTATIONS OF SERIES 3
2. Main result For an arbitrary number a ∈ R we denote a+ = max{a, 0} and a− = a+ − a. ∞ A series an is called potentially conditionally convergent if the following three n=1 conditionsP hold: ∞ + (a) an =+∞, n=1 ∞ P − (b) an =+∞, n=1 (c) Plim an =0. n→∞ It is clear that every conditionally convergent series is potentially conditionally convergent. Our main theorem reads. ∞ Theorem 4. Let (an) be a sequence of real numbers such that the series an is n=1 convergent and assume that there exists a set A ⊆ N such that the series P an is n∈A conditionally convergent. Next, let (bn) be an arbitrary sequence of real numbers.P Then there exists a permutation σ : N → N such that σ(n)= n for every n∈ / A and the sequence (bn) is c0-equivalent to some subsequence of the sequence of partial ∞ sums of the series aσ(n). n=1 P ∞ Proof. Note that the series an is conditionally convergent. In particular, we n=1 ∞ ∞ + P− have an =+∞ and an =+∞. n=1 n=1 WeP will inductively constructP a bijection σ : N → N and a strictly increasing sequence of positive integers (kn) such that Skn − bn tends to 0 as n → ∞, where kn Skn = aσ(j). j=1 First,P we put σ(j) = j for all j∈ / A. Let us put k0 = 0 and observe that for n =0 the inductive assumptions are trivially satisfied, so we have the base for our induction. If n> 0 let us assume that we have found positive integers k1, k2,...,kn which form a strictly increasing sequence, the values σ(j) are defined for every integer j ∈{1,...,kn}, one has σ(j) ∈ A whenever j ∈ A and 1 (1) |S m − b |≤ , for m ≤ n. k m m If n =0, then we do not assume that (1) holds and moreover, any value of σ is not defined at the moment. All subsequent arguments remain the same. ∗ In case n> 0 for m
′ kn+1 kn kn+1 1 (3) a − b − a − a ≤ . σ(j) n+1 σ(j) j 2(n + 1) j=kn+1, j∈A j=1 j=kn+1, j∈ /A X X X Indeed, the series aj is conditionally convergent. Hence any real number r j∈A can be estimated by theP partial sums of a series aσ1(j) for some permutation j∈A σ1 : N → N. Obviously, we can take σ1(j)= σ(j) forPj ≤ kn. So for some kn+1 we can have ′ kn kn +1 +1 1 a − b − a ≤ , σ1(j) n+1 j 2(n + 1) j=1, j∈A j=1, j∈ /A X X what, defining σ (j) := σ1(j) for kn +1 ≤ j ≤ kn+1 gives us (3). Of course we can ′ assume that kn+1 is greater than kn+1. Making use of (2) and (3) we obtain
kn+1
S n − b = a − b k +1 n+1 σ(j) n+1 j=1 X
kn kn +1 kn+1 = a + a + a − b σ(j) σ(j) j n+1 j=1 j=kn+1, j∈A j=kn+1, j∈ /A X X X
kn kn+1 kn+1 = a + a + a − σ(j) σ(j) j j=1 j=kn+1, j∈A j=kn+1, j∈ /A X X X ′ ′ kn+1 kn+1 − a + a − b j j n+1 j=kn+1, j∈ /A j=kn+1, j∈ /A X X ′ kn+1 kn kn+1 ≤ a − b − a − a σ(j) n+1 σ(j) j j=kn+1, j∈A j=1 j=kn+1, j∈ /A X X X kn+1 1 1 1 + aj ≤ + = . ′ 2(n + 1) 2(n + 1) (n + 1) j=kn +1, j∈ /A +1X ∗ Finally, let us observe that our definition of the value σ(k ) guarantees the n surjectivity of σ. Let us formulate some corollaries. PERMUTATIONS OF SERIES 5
∞ Corollary 2. Let (an) be a sequence of real numbers such that the series an is n=1 potentially conditionally convergent. Next, let (bn) be an arbitrary sequenceP of real numbers. Then there exists a permutation σ : N → N such that the sequence (bn) is c0-equivalent to some subsequence of the sequence of partial sums of the series ∞ aσ(n). n=1 P ∞ Proof. There exists a permutation π : N → N such that the series aπ(n) is con- n=1 vergent. Apply our theorem for this series and the set A = N to getP a permutation ′ σ : N → N such that the sequence (bn) is c0-equivalent to some subsequence of ∞ the sequence of partial sums of the series a(σ′◦π)(n). To finish the proof take n=1 ′ σ = σ ◦ π. P W. Wilczyński [19] has proved that for every conditionally convergent series ∞ ∞ an there exists a set A of density zero such that the series an is condi- n=1 n=1,n∈A tionallyP convergent. He posed an open problem in [19] to characterizeP all set ideals I ∞ with the property that for every conditionally convergent series an there exists n=1 ∞ P a set A ∈ I such that the series an is conditionally convergent. R. Filipów n=1,n∈A and P. Szuca [12] answered this problemP and they proved that a set ideal I has the above-mentioned property if and only if it cannot be extended to a summable ideal. On joining [19, Lemma] with our main result, we can take the set A to be of density zero. ∞ Corollary 3. Let (an) be a sequence of real numbers such that the series an is n=1 conditionally convergent. Next, let (bn) be an arbitrary sequence of real numbers.P Then there exists a permutation σ : N → N such that 1 lim |{n ∈ N : σ(n) 6= n}| =0 n→∞ n and the sequence (bn) is c0-equivalent to some subsequence of the sequence of partial ∞ sums of the series aσ(n). n=1 P It is worth to note a connection of our results with the Riemann rearrangement theorem. One can reformulate this classical result as follows:
Theorem 5 (Riemann rearrangement theorem). Let (an) be a sequence of real ∞ numbers such that the series an is conditionally convergent, let b ∈ R ∪ {±∞} n=1 be arbitrary and let (bn) be aP sequence of real numbers tending to b. Then there exists a permutation σ : N → N such that the sequence (bn) is c0-equivalent to the ∞ sequence of partial sums of the series aσ(n). n=1 P 6ARTUR BARTOSZEWICZ, WŁODZIMIERZ FECHNER, ALEKSANDRA ŚWIĄTCZAK, AND AGNIESZKA WIDZ
It is easy to note two differences between our Corollary 2 and the Riemann re- arrangement theorem. First, we do not assume that the sequence (bn) is convergent (in fact, it can be even unbounded in our settings). But in return for it, in gen- ∞ eral only a subsequence of the sequence of partial sums of the series aσ(n) is n=1 c0-equivalent to (bn). P Recently several results related to the Riemann rearrangement theorem and con- ditional convergence of series were published by several authors, see [2, 10, 11, 13, 14, 16, 17, 20–22].
We will terminate the paper with a generalization of an interesting result of Bur- gin [8, Corollary 4.6] which extends the classical Riemann rearrangement theorem to the case of the so-called hypernumbers. However, the original proof of Bounded Riemann Series Theorem (BRST, [8, Theorem 4.5]) contains a gap which cannot be removed directly. We give some counterexamples to this statement. We provide an alternative argument and at the same time we obtain a slightly more general state- ment than the Burgin’s Generalized Riemann Series Theorem (GRST, [8, Corollary 4.6]). Hypernumbers have been founded by Burgin and they provide an extension of the real line. This extension is of importance in many areas of mathematics and in physics. The elegant and deep theory of hypernumbers allows one in particular to differentiate in an extended sense every real function. We recall here only basic notions we need in what follows. For a comprehensive study of the topic the reader is referred to the excellent monograph by Burgin [9]. Let RN stand for the set of all sequences of real numbers. Following Burgin’s notation, the set of c0-equivalence N classes of R is denoted by Rω and its elements are called hypernumbers. Given a N sequence (an) ∈ R , by Hn((an)) we denote its equivalence class, i.e. the hyper- number which is represented by this sequence. In particular, every real number can be identified with a constant sequence equal to it and therefore the real line R is a proper subset of the set of all hypernumbers Rω. A hypernumber is called bounded if it is generated by a bounded sequence. If α, β ∈ Rω, then we say that β is a subnumber of α, which is denoted by β ⋐ α, if there exist two sequences (an), (bn) such that (bn) is a subsequence of (an), α = Hn((an)) and β = Hn((bn)). ∞ Following Burgin [8], given a series of real numbers n=1 an, convergent or not, ∞ ∞ we say that a series bn is a quotient series of Pan if there is a surjective n=1 n=1 map p: N → N such thatP for every i ∈ N the set p−1(Pi) consists of a finite number of consecutive elements of N and bi = aj . If additionally the map p is j∈p−1 (i) monotone, then we speak about a monotoneP quotient series. Burgin [8] introduced the concept of analytical sums of a series as a hypernumber ∞ generated by its partial sums. For an arbitrary series of real numbers an we n=1 ∞ ∞ n P write an( an) = Hn((An)) , where An = ai for n ∈ N. If the series an is n=1 i=1 n=1 convergent, then its analytical sum coincides with its topological sum, i.e. the real P P ∞ P number equal to its sum, which is denoted by top( an). For series divergent to n=1 ±∞ one can also speak about its topological sums. P PERMUTATIONS OF SERIES 7
One can observe that if α, β ∈ Rω satisfy
∞ ∞
α = an an , β = an bn n=1 ! n=1 ! X X ∞ N for some (an), (bn) ∈ R , then the series bn is a monotone quotient series of n=1 ∞ P an if and only if β ⋐ α (see [8, Lemma 4.4]). n=1 PThe Bounded Riemann Series Theorem (BRST) [8, Theorem 4.5] deals with a ∞ ∞ series an which is bounded and not absolutely convergent. Thus an( an) is n=1 n=1 a bounded hypernumber. BRST assets that for every hypernumber α ∈ Rω there P ∞ ∞ P ∞ ∞ exists a monotone quotient series dn of an, a permutation n=1 bn of dn n=1 n=1 n=1 ∞ ∞ ∞ P P P P and a monotone quotient series cn of bn such that α = an( cn). This n=1 n=1 n=1 statement is in general not true, whichP is exhibitedP by examples below.P Moreover, an inspection of the proof of [8, Theorem 4.5] allows us to detect an invalid argu- ment that was used. Namely, it is not true that a monotone quotient series of a series which is not absolutely convergent is necessarily not absolutely convergent. Consequently, Riemann rearrangement theorem cannot be applied. Our examples shed some more light on the situation.
∞ n+1 Example 1. Let an = (−1) for n ∈ N. Then the series an is not absolutely n=1 convergent (in fact it is divergent) and its analytical sum isP a bounded hypernum- ber. Thus the assumptions of BRST are satisfied. Note that every converging subsequence of its partial sums An must be from some point equal either to 0 or ∞ ∞ 1. Therefore, every monotone quotient series dn of an which is convergent, n=1 n=1 ∞ ∞ P P converges to 0 or 1. Thus, every permutation bn of dn is either equal to n=1 n=1 the zero series, or to a series which contains 1 at one place. Consequently, every ∞ ∞ P P monotone quotient series cn of bn is also either equal to the zero series, or it n=1 n=1 contains 1 at one place. Two in a sense typical examples of monotone quotient series ∞ P P of an are 0+0+... and 1+0+0+.... The first case can be obtained by the pro- n=1 jectionP j0 : N → N given by j0(2k − 1) = j0(2k)= k for k ∈ N, whereas the second one by the projection j1 : N → N given by j1(1) = 1 and j1(2k) = j1(2k +1) = k for k ∈ N. Thus, only two hypernumbers α, namely 0 and 1 can be achieved from ∞ the series an by means of the proof of Burgin’s BRST. Note however that ev- n=1 ery hypernumberP which is of the form Hn(qn) with all qn being integers, can be ∞ obtained as a monotone quotient series of a permutation of an. Moreover, any n=1 hypernumber which is not of this form cannot be obtained as a monotone quotient ∞ P series of an. n=1 P 8ARTUR BARTOSZEWICZ, WŁODZIMIERZ FECHNER, ALEKSANDRA ŚWIĄTCZAK, AND AGNIESZKA WIDZ
∞ n+1 Example 2. Let an = (−1) /n for n ∈ N. Then the series an is conditionally n=1 convergent (to ln 2). Again, the assumptions of BRST are satisfied.P This time there ∞ ∞ exists a monotone quotient series dn of an which is absolutely convergent. n=1 n=1 N N Indeed, one can take any projectionP from the previousP example, if we take j0 : → given by j0(2k − 1) = j0(2k)= k for k ∈ N, then we obtain a convergent series of positive numbers. But in contrast to the previous example, this time it is possible to achieve every hypernumber as a monotone quotient series of a permutation of the original one. This is a straightforward consequence of Corollary 4 below.
Corollary 4. Assume that α ∈ Rω is an arbitrary hypernumber and (an) is a ∞ sequence of real numbers such that the series an is potentially conditionally n=1 convergent. Then, there exists a permutation σ : N → N such that α is equal to a ∞ P monotone quotient series of the series aσ(n). n=1 Proof. Follows immediately from our TheoremP 4. References
[1] Bohuslav Balcar and Petr Simon, Appendix on general topology, Handbook of Boolean alge- bras, Vol. 3, North-Holland, Amsterdam, 1989, pp. 1239–1267. [2] Michał Banakiewicz, Bruce Hanson, Pamela Pierce, and Franciszek Prus-Wiśniowski, A Riemann-type theorem for segmentally alternating series, Bull. Iranian Math. Soc. 44 (2018), no. 5, 1303–1314. [3] Michał Banakiewicz, Artur Bartoszewicz, Franciszek Prus-Wiśniowski, The cented of dis- tances of some multigeometric series, (preprint) arXiv: 1907.03800v1 [math.CA] 8 Jul 2019. [4] Artur Bartoszewicz and Szymon Gł¸ab, Algebrability of conditionally convergent series with Cauchy product, J. Math. Anal. Appl. 385 (2012), no. 2, 693–697. [5] Artur Bartoszewicz, Szymon Gł¸ab, and Artur Wachowicz, Remarks on ideal boundedness, convergence and variation of sequences, J. Math. Anal. Appl. 375 (2011), no. 2, 431–435. [6] Artur Bartoszewicz, Szymon Głąb, and Jacek Marchwicki, Achievement sets of conditionally convergent series, Colloq. Math. 152 (2018), no. 2, 235–254. [7] Wojciech Bielas, Szymon Plewik, and Marta Walczyńska, On the center of distances, Eur. J. Math. 4 (2018), no. 2, 687–698. [8] Mark Burgin, Inequalities in Series and Summation in Hypernumbers, in: Advances in in- equalities for series, edited by Sever S. Dragomir and Anthony Sofo (2008), 89-120. [9] , Hypernumbers and extrafunctions, SpringerBriefs in Mathematics, Springer, New York, 2012. Extending the classical calculus. [10] Włodzimierz J. Charatonik, Alicja Samulewicz, and Roman Wituła, Limit sets in normed linear spaces, Colloq. Math. 147 (2017), no. 1, 35–42. [11] Yuriy Dybskiy and Konstantin Slutsky, Riemann rearrangement theorem for some types of convergence, J. Math. Anal. Appl. 373 (2011), no. 2, 605–613. [12] Rafał Filipów and Piotr Szuca, Rearrangement of conditionally convergent series on a small set, J. Math. Anal. Appl. 362 (2010), no. 1, 64–71. [13] Francisco J. Freniche, On Riemann’s rearrangement theorem for the alternating harmonic series, Amer. Math. Monthly 117 (2010), no. 5, 442–448. [14] Jürgen Grahl and Shahar Nevo, On Riemann’s theorem about conditionally convergent series, New Zealand J. Math. 43 (2013), 85–93. [15] Izabela Jóźwik, Małgorzata Terepeta, Polish glance on the Riemann Rearrangement Theorem (in Polish), Wiadomości Matematyczne 55/1 (2019), 143–157. [16] Jacek Marchwicki, Achievement sets and sum ranges with ideal supports, Filomat 32 (2018), no. 14, 4911–4922. [17] Franciszek Prus-Wiśniowski, Two refinements of the Riemann derangement theorem, Real functions, density topology and related topics, Łódź Univ. Press, Łódź, 2011, pp. 165–172. PERMUTATIONS OF SERIES 9
[18] Zbigniew Semadeni, Banach spaces of continuous functions. Vol. I, PWN—Polish Scientific Publishers, Warsaw, 1971. Monografie Matematyczne, Tom 55. [19] WładysÅĆaw Wilczyński, On Riemann derangement theorem, Słup. Pr. Mat.-Fiz. 4 (2007) 79–82. [20] Roman Wituła, Edyta Hetmaniok, and Konrad Kaczmarek, On series whose rearrangements possess discrete sets of limit points, J. Appl. Anal. 20 (2014), no. 1, 93–96. [21] Roman Wituła, Permutations preserving the convergence or the sum of series—a survey, Monograph on the occasion of 100th birthday anniversary of Zygmunt Zahorski, Wydaw. Politech. Śl., Gliwice, 2015, pp. 169–190. [22] Roman Wituła, Edyta Hetmaniok, and Damian Słota, Some new facts about group G gener- ated by the family of convergent permutations, Open Math. 15 (2017), no. 1, 568–577.
Institute of Mathematics, Lodz University of Technology, ul. Wólczańska 215, 90-924 Łódź, Poland E-mail address: [email protected] E-mail address: [email protected] E-mail address: [email protected] E-mail address: [email protected]