ON THE CENTER OF DISTANCES arxiv:0.008v [math.gn] 8 Jul 0 WOJCIECH BIELAS, SZYMON PLEWIK, AND MARTA WALCZYŃSKA Abstract. In this paper we introduce the notion of the center of distances of a metric space, which is required for a generalization of the theorem by J. von Neumann about permutations of two sequences with the same set of cluster points in a compact metric space. Also, the introduced notion is used to study sets of subsums of some sequences of positive reals, as well for some impossibility proofs. We compute the center of distances of the Cantorval, which is the set of subsums of the sequence,,, 8,...,, n,..., and n also for some related subsets of the reals.. Introduction The center of distances seems to be an elementary and natural notion which, as we think, has not been studied in the literature. It is an intuitive and natural concept which allows us to prove a generalization of the theorem about permutations of two sequences with the same set of cluster points in a compact metric space, see Theorem. We have realized that the computation of the center of distances even for well-known examples is not an easy task because it requires skillful use of fractions. We have only found a few algorithms which enable computing centers of distances, see Lemmas and 0. So, we present the use of this notion for impossibility proofs, i.e., to show that a given set cannot be the set of subsums, for example Corollary. We refer the readers to the paper [8], as it is a good introduction to facts about the set of subsums of a given sequence, cf. also papers [] and [] as well as others cited therein. In several papers, the set 000 Mathematics Subject Classification. Primary: E; Secondary: 0B0, B. Key words and phrases. Cantorval, Center of distances. The first and the third author acknowledge support from GAČR project - 80L and RVO: 79880.
WOJCIECH BIELAS, SZYMON PLEWIK, AND MARTA WALCZYŃSKA of all subsums of the sequence,,,,..., 8 consisting of all sums n A + n n B, n n, n,..., i.e., the set X where A and B are arbitrary subsets of positive natural numbers, is considered. J. A. Guthrie and J. E. Nymann, see [] and compare [9] and [8, p. 8], have shown that [,] X. But, as it can be seen in Corollary, we get [,] X. For these reasons, we felt that the arithmetical properties of X are not well known and described in the literature. Results concerning these properties are discussed in: Propositions, 7 and 8; Corollary 9; Theorems,,, and ; and also they are presented in Figures, and.. A generalization of a theorem by J. von Neumann Given a metric space X with the distance d, consider the set S(X) = {α: x X y X d(x,y) = α}, which will be called the center of distances of X. Suppose that sequences {x n : n ω} and {y n : n ω} have the same set of cluster points C. For this, J. von Neumann [7] proved that there exists a permutation π: ω ω such that lim n + d(x n,y π(n) ) = 0. Proofs of the above statement can be found in [] and [0]. However, we would like to present a slight generalization of this result. Theorem. Suppose that sequences {a n } n ω and {b n } n ω have the same set of cluster points C X, where (X,d) is a compact metric space. If α S(C), then there exists a permutation π: ω ω such that lim n + d(a n,b π(n) ) = α. Proof. We use the back-and-forth method, which was developed in [, p. ]. Given α S(C), we shall renumber {b n } n ω by establishing a permutation π: ω ω such that lim n + d(a n,b π(n) ) = α. Put π(0) = 0 and assume that values π(0),π(),...,π(m ) and inverse values π (0),π (),...,π (m ) are already defined. We proceed step by step as follows.
ON THE CENTER OF DISTANCES If π(m) is not defined, then take points x m,y m C such that d(a m,x m ) = d(a m,c) and d(x m,y m ) = α. Then choose b π(m) to be the first element of {b n } n ω not already used such that d(y m,b π(m) ) < m. But, if π (m) is not defined, then take points p m,q m C such that d(b m,q m ) = d(b m,c) and d(p m,q m ) = α. Choose a π (m) to be the first element of {a n } n ω not already used such that d(p m,a π (m)) < m. The set C X, as a closed subset of a compact metric space, is compact. Hence required points x m, y m, p m and q m always exist and also lim n + d(a n,c) = 0 = lim n + d(b n,c). It follows that α = d(x m,y m ) = d(p m,q m ) = lim n + d(a n,b π(n) ). As we have seen, the notion of the center of distances appears in a natural way in the context of metric spaces. Though the computation of the center of distances is not an easy task, it can be done for important examples giving further information about those objects.. On the center of distances and the set of subsums Given a metric space X, observe that 0 S(X) and also, if X [0,+ ) and 0 X, then S(X) X. If {a n : n ω} is a sequence of reals, then the set X = { n A a n: A ω} is called the set of subsums of {a n }. In this case, we have d(x,y) = x y. If X is a subset of the reals, then any maximal interval (α,β) disjoint fromx is called anx-gap. Additionally, whenx is a closed set, then any maximal interval [α, β] included in X is called an X-interval. Proposition. If X is the set of subsums of a sequence {a n } n ω, then a n S(X), for all n ω. Proof. Suppose x = n A a n X. If n A, then x a n X and d(x,x a n ) = a n. When n / A, then x+a n X and d(x,x+a n ) = a n.
WOJCIECH BIELAS, SZYMON PLEWIK, AND MARTA WALCZYŃSKA In some cases, the center of distances of the set of subsums of a given sequence can be determined. For example, the unit interval is the set of subsums of { } n n>0. So, the center of distances of { } n n>0 is equal to [0, ]. Lemma. Assume that (λ [0,b)) X = λ X, for a number λ > 0 and a set X [0,b). If x [0,b)\X and n ω, then λ n x / X. Proof. Without loss of generality, assume that X (0,b). Thus λ, since otherwise we would get b < λ m t X, for some t X and m ω. Obviously x = λ 0 x [0,b)\X. Assume that λ n x / X, so we get λ [0,b) λ n+ x = λ λ n x / λ X = (λ [0,b)) X. Therefore λ n+ x / X, which completes the induction step. Theorem. If q > and a 0, then the center of distances of the set of subsums of a geometric sequence { a } q n n>0 consists of exactly the terms of the sequence 0, a, a,... q q Proof. Without loss of generality we can assumea =. The diameter of the set X of subsums of the sequence { } q n n equals = q n X(0) and we always have c n = > q n i n+ = = X(n) > c q i q n q n+ =. q n+ = q n So, c = X implies that no t > c q belongs to S(X). Indeed, c t < 0 and c +t > >. By Proposition, we get S(X). q q q The interval (, ) = (X(),c q(q ) q ) is an X-gap. So, 0 X implies that no t (X(),c ) belongs to S(X). Now, suppose that t (c,x()] and t+x() < c. Thus X() X implies that t / S(X). Indeed, X() < c < t implies X() t < 0, and X()+c = X() implies that the X-gap (X(),c ) has to contain t+x(). If c t+x() and t (c,x()], then the interval (X() t,c t) is included in the interval [0,X()]. No X-gap of the length q = q(q ) c X() is contained in the interval [0,X()]. Therefore, there exists x X (X() t,c t) one can even find x being the end of an X-gap, which implies that t / S(X). Again, by Proposition, we get S(X). We proceed farther using Lemma with λ =. If we take q q n
ON THE CENTER OF DISTANCES advantage of the similarity of X and X we get as a result that no q n t 0 different from, where n > 0, belongs to S(X). q n Note that, when we put a = and q =, then Theorem applies to the Cantor ternary set. But for a {,} and q = this theorem applies to sets C and C which will be defined in Section.. An example of a Cantorval Following [, p. ], consider the set of subsums X = { n>0 x n n : n x n {0,,,} }. Thus, X = C + C, where C = { n A : 0 / A ω} and C n = { n B : 0 / B ω}. Following [, p. 0], because of its topological n structure, one can call this set a Cantorval (or an M-Cantorval). Before discussing the affine properties of the Cantorval X we shall introduce the following useful notions. Every point x in X is determined by the sequence {x n } n>0, where x = x n n>0 n. Briefly, x n is called the n-th digit of x. But the sequence {x n } n>0 is called a digital representation of the point x X. Keeping in mind the formula for the sum of an infinite geometric series, we denote tails of series as follows: C (n) = k=n+ = and C k n (0) = ; C (n) = k=n+ = and C k n (0) = ; X(n) = k=n+ = and X(0) =. k n Since X(0) = we get X [0, ]. The involution h: X X defined by the formula x h(x) = x is the symmetry of X with respect to the point. In order to check this, it suffices to note that: n A and also that n + n B n = x X x = n/ A n>0 + n>0 n = + n>0 So, we get X = X and X = h[x]. n + n/ B n>0 = X. n+ X; n
WOJCIECH BIELAS, SZYMON PLEWIK, AND MARTA WALCZYŃSKA 8 8 7 8 0 8 7 9 8 7 8 7 Figure. An approximation of the Cantorval X [0, ]. In Figure there are marked gaps (, ) and (7, ), both of the length. Six gaps (, ), ( 7, ), (9, ), (, 7 ), (, ) and (7, ) 8 8 8 8 8 8 have the length. The rest of gaps are shorter and have lengths not 8 greater than. To describe intervals which lie in X, we need the 9 following. Let K n = [,] { n x i i= : i i x i {0,,,}}. We get K = { } and K = {,,, 7, }. Keeping in mind C 8 (0) = and C (n) <, we check that f n n = + n n i= > is the smallest i real number in K n. Similarly, using X(n) = < and C n n (0) =, check that f K n = n n i= < is the greatest real number in K i n. In fact, we have the following. Proposition. Reals from K n are distributed consecutively at the distance, from + n n n i= up to n i i=, in the interval [,]. Therefore K n = (n ) and K n+ = K n i +. Proof. Since K = and K =, the assertions are correct in these cases. Suppose that K n = {f n,f n,...,f n K n }, where f n = + n n i, and fn j+ fn j = n i= for 0 < j < K n ; in consequence f n K n = n i=. Consider i the sum K n ( n +K n ) ( n +K n ) ( n +K n ), remove the point + n n i= >, and then add points f n i = n i= and f n i = + n n i=. We obtain the set i which is what we need. K n = {f n,fn,...,fn (n ) }, Corollary. The interval [,] is included in the Cantorval X. n +
ON THE CENTER OF DISTANCES 7 Proof. The union {K n : n > 0} is dense in the interval [,]. Hence, Proposition implies the assertion. Note that it has observed that [,] X, see [] or compare [8]. Since X is centrally symmetric with as a point of inversion, this yields another proof of the above corollary. However, our proof seems to be new and it is different than the one included in []. Put C n = X = X [0, ], for n ω. So, each C n n n is an affine copy of X. Proposition 7. The subset X\[,] X is the union of pairwise disjoint affine copies of X. In particular, this union includes two isometric copies of C n = X, for every n > 0. n Proof. The desired affine copies of X are C and +C = h[c ], +C andh[ +C ], and so on, i.e., n i= +C n n+ andh[ n i= +C n n+ ]. Proposition 8. The subset X \ ((,) (, ) (7, )) X is the union of six pairwise disjoint affine copies of D = [0, ] X. Proof. The desired affine copies of D = (X [0, ]) lie as shown in Figure. 0 7 7 D h[ +D +D] h[ +D] +D h[d] Figure. The arrangement of affine copies of D. Corollary 9. The Cantorval X [0, ] has Lebesgue measure. Proof. There exists a one-to-one correspondence between X-gaps and X-interval as it is shown in Figure. In view of Propositions 7 and 8, we calculate the sum of lengths of all gaps which lie in [0, ]\X as follows: + + +...+ ( n 8 8 ) +... = + n 8 n 0( ) =. Since = we are done.
8 WOJCIECH BIELAS, SZYMON PLEWIK, AND MARTA WALCZYŃSKA 0 7 7 Figure. The correspondence between X-gaps and X-intervals. If we remove the longest interval from D, then we get the union n of three copies of D, each congruent to D. This observation we n+ used it above by default is sufficient to calculate the sum of lengths of all X-intervals as follows: + + +...+ ( n 8 ) +... =. Therefore the boundary X\IntX is a null set.. Computing the center of distances In case of subsets of the real line we formulate the following lemma. Lemma 0. Given a set C [0,+ ) disjoint from an interval (α,β), assume that x [0, α ] C. Then the center of distances S(C) is disjoint from the interval (α x,β x), i.e., S(C) ((α,β) x) =. Proof. Given x [0, α ] C, consider t (α x,β x). We get x α α x < t < β x. Since α < x+t < β, we get x+t / C, also x < t implies x t / C. Therefore, x C implies t / S(C). We will apply the above lemma by putting suitable C-gaps in place of the interval (α,β). In order to obtain t / S(C), we must find x < t such that x + t (α,β) and x C. For example, this is possible when α < t < α and the interval [0,α] includes no C-gap of the length greater than or equal to β α. But if such a gap exists, then we choose the required x more carefully. Theorem. The center of distances of the Cantorval X consists of exactly the terms of the sequence 0,,,...,,,... n n Proof. We get { : n > 0} { : n > 0} S(X), by Proposition. n n Also, the diameter ofxis and X, hence no t > belongs to S(X).
ON THE CENTER OF DISTANCES 9 We use Lemma 0 with respect to the gap (α,β) = ( 7, ). Keeping in mind the affine description of X, we see that the set X [0, 7 ] has a gap (, ) of the length. For t ( 7, 7) \ { }, we choose x in X such that x ( 7 t, t). So, if t ( 7, 7) \ { }, then t / S(X). Similarly using Lemma 0 with the gap (α,β) = ( 9, ), we check that 8 8 for t ( 9, 7 ] 9 \{ } there exists x in X such that x (9 t, t). 8 8 Hence, if t ( 9, 7 9 ]\{ }, then t / S(X). Analogously, using Lemma 0 with the gap (α,β) = (, ), we check that if 9 < t <, 9 then t / S(X). So far, we have shown that numbers and are the only elements of S(X) (,+ ). For the remaining part of the interval [0,+ ) the proof proceeds by induction on n, since X and X are similar. n DenoteZ = [0, ]\IntX. Thus the closure of ax-gap is thez-interval and the interior of a X-interval is the Z-gap. Theorem. The center of distances of the set Z is trivial, i.e., S(Z) = {0}. Proof. If α >, then { + α, α} Z =, hence Z implies α / S(Z). If α {,}, then (, ) Z implies α / S(Z). Indeed, the number + belongs to the Z-gap (7, ) and the number + belongs to the Z-gap (,) and the number belongs to the Z-gap (, ). Also 0 Z implies (,) S(Z) =, since (,) is a Z-gap. For the same reason Z implies / S(Z) and Z implies that no α (, ) belongs to S(Z). Since < 7 < and < 7 + 7 <, then Z implies / S(Z). But, if α (, ), then Z implies α / S(Z). Indeed, < α < and < +α <. So far, we have shown S(Z) [,+ ) =. In fact, sets [, ] and n+ n S(Z) are always disjoint, since n (Z [0,]) = [0, n ] Z. Therefore α [, ] S(Z) implies n α [,] S(Z), a contradiction. Finally, we get S(Z) = {0}. n+ n Now, denote Y = Z X = X \ IntX. Thus, each X-gap is also the Y-gap, and the interior of an X-interval is the Y-gap.
0 WOJCIECH BIELAS, SZYMON PLEWIK, AND MARTA WALCZYŃSKA Theorem. S(Y) = {0} { : n ω}, i.e., the center of distances of the set Y consists of exactly of the terms of the sequence n 0,,,...,,... n Proof. Since the numbers 0,, (= n>0 ),, 7 and are in Y, we n get {(, ): n ω} S(Y) =, n+ n as in the proof of Theorem. We see that S(Y), because Moreover so (Y [0, ])+ = Y [, ]. (Y [0, ]+ ) (Y [0, ]+ ) Y, S(Y). Similarly, we check that n S(Y). Corollary. Neither Z nor Y is the set of subsums of a sequence. Proof. Because S(Z) = {0}, thus Proposition decides the case with Z. Also, this proposition decides the cases with Y, since Y and n ω =. n Let us add that the set of subsums of the sequence { is included n n ω in Y. One can check this, observing that each number n A, where n the nonempty set A ω is finite, is the right end of an X-interval.. Digital representation of points in the Cantorval X Assume that A = {a n } n>0 and B = {b n } n>0 are digital representations of a point x X, i.e., a n n>0 n = b n n>0 = x, n where a n,b n {0,,,}. We are going to describe dependencies between a n and b n. Suppose n 0 is the least index such that a n0 b n0. Without loss of generality, we can assume that a n0 = < b n0 =, bearing in mind that X(n 0 ) =. And then we say that A is n 0 chasing B (or B is being caught by A) in the n 0 -step: in other words, a i i>n 0 = b i i i>n 0 + and a i n 0 k = b k for k < n 0. If it is never the case that a k = and b k = 0, then it has to be b k + = a k for all k > n 0. In such a case, we obtain a i i>n 0 = b i i i>n 0 +, since i n 0 i>n 0 =. i n 0
ON THE CENTER OF DISTANCES Suppose n is the least index such that a n = andb n = 0, thus B is chasing A in the n -step. Proceeding this way, we obtain an increasing (finite or infinite) sequence n 0 < n <... such that a nk b nk = and a i b i = for n 0 < i / {n,n,...}. Moreover, A starts chasing B in the n k -step for even k s and B starts chasing A in the n k -step for odd k s, for the rest of steps changes of chasing do not occur. Theorem. Assume that x X has more than one digital representation. There exists the finite or infinite sequence of positive natural numbers n 0 < n <... and exactly two digital representations {a n } n>0 and {b n } n>0 of x such that: a k = b k, as far as 0 < k < n 0 ; a n0 = and b n0 = ; a nk = and b nk = 0, for odd k; a nk = 0 and b nk =, for even k > 0; a i {,} and a i b i =, as far as n k < i < n k+ ; a i {0,} and b i a i =, as far as n k+ < i < n k+. Proof. According to the chasing algorithm described above in step n k the roles of chasing are reversed. But, if the chasing algorithm does not start, then the considered point has a unique digital representation. The above theorem makes it easy to check the uniqueness of digital representation. For example, if x X has a digital representation {x n } n>0 such that x n = and x n+ = for infinitely many n, then this representation is unique. Indeed, suppose A = {a n } n>0 and B = {b n } n>0 are two different digital representations of a point x X such that a k = b k, as far as 0 < k < n 0 and a n0 = < b n0 =. By Theorem, never the digit occurs immediately after the digit in digital representations of x for digits greater than n 0, since it has to be a k b k > for k > n 0. The map {a n } n>0 a i i>0 is a continuous function from the Cantor set (a homeomorphic copy of the Cantor ternary set) onto the Can- i torval such that the preimage of a point has at most two points. In fact, the collection of points with two-point preimages and its complement are both of the cardinality continuum. By the algorithm described above, each sequence n 0 < n <... of positive natural numbers determines exactly two sequences {a n } n>0 and {b n } n>0 such that a n n>0 n = b n n>0, n
WOJCIECH BIELAS, SZYMON PLEWIK, AND MARTA WALCZYŃSKA and vice versa. In the following theorem, we will use the abbreviation B = { : n > 0} { : n > 0}. n n Theorem. Let A B be such that B\A and A are infinite. Then the set of subsums of a sequence consisting of different elements of A is homeomorphic to the Cantor set. Proof. Fix a non-empty open interval I. Assume that {a n } n>0 is the digital representation of a point a n n>0 n I. Choose natural numbers m > k such that numbers k a n n= n and + k a n m n= n belong to I. Then choose j > m so that a B \A, where a = or a =. Finally j put b n = a n, for 0 < n k; b j = ; b j+ = and b i = 0 for other cases. Since b m = 0, we get b i i>0 I. Theorem together with i conditions b j = and b j+ = imply that the point b i i>0 is not in i the set of subsums of A. Thus, this set being dense in itself and closed is homeomorphic to the Cantor set. References [] A. Bartoszewicz and Sz. Głąb, Achievement sets on the plane perturbations of geometric and multigeometric series. Chaos, Solitons & Fractals 77 (0), 8 9. [] J. A. Guthrie and J. E. Nymann, The topological structure of the set of subsums of an infinite series. Colloq. Math. (988), no., 7. [] P. R. Halmos, Permutations of sequences and the Schröder Bernstein theorem. Proc. Amer. Math. Soc. 9 (98), 09 0. [] E. V. Huntington, The continuum and other types of serial order, with an introduction to Cantor s transfinite numbers. Harvard University Press, second edition (97). [] R. Jones, Achievement sets of sequences. Amer. Math. Monthly 8 (0), no., 08. [] P. Mendes and F. Oliveira, On the topological structure of the arithmetic sum of two Cantor sets. Nonlinearity 7 (99), 9. [7] J. von Neumann, Charakterisierung des Spektrums eines Integraloperators. Hermann, Paris, (9). [8] Z. Nitecki, Cantorvals and Subsum Sets of Null Sequences. Amer. Math. Monthly (0), no. 9, 8 870. [9] J. E. Nymann and R. A. Sáenz, On a paper of Guthrie and Nymann on subsums of infinite series. Colloq. Math. 8 (000), no.,. [0] J. A. Yorke, Permutations and two sequences with the same cluster set. Proc. Amer. Math. Soc. 0 (99), 0.
ON THE CENTER OF DISTANCES Institute of Mathematics, University of Silesia, Bankowa, 0-007 Katowice, Poland; Institute of Mathematics of the Czech Academy of Sciences, Žitná, 7 Praha, Czech Republic E-mail address: wojciech.bielas@us.edu.pl Institute of Mathematics, University of Silesia, Bankowa, 0-007 Katowice E-mail address: plewik@math.us.edu.pl Institute of Mathematics, University of Silesia, Bankowa, 0-007 Katowice, Poland; Institute of Mathematics of the Czech Academy of Sciences, Žitná, 7 Praha, Czech Republic E-mail address: marta.walczynska@us.edu.pl