Kybernetika. Tomáš Hejda; Zuzana Masáková; Edita Pelantová Greedy and lazy representations in negative base systems. Terms of use:

Size: px
Start display at page:

Download "Kybernetika. Tomáš Hejda; Zuzana Masáková; Edita Pelantová Greedy and lazy representations in negative base systems. Terms of use:"

Transcription

1 Kybernetika Tomáš Hejda; Zuzana Masáková; Edita Pelantová Greedy and lazy representations in negative base systems Kybernetika, Vol. 49 (03), No., Persistent URL: Terms of use: Institute of Information Theory and Automation AS CR, 03 Institute of Mathematics of the Czech Academy of Sciences provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This document has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library

2 K Y B E R N E T I K A V O L U M E 4 9 ( 0 3 ), N U M B E R, P A G E S GREEDY AND LAZY REPRESENTATIONS IN NEGATIVE BASE SYSTEMS Tomáš Hejda, Zuzana Masáková and Edita Pelantová We consider positional numeration systems with negative real base β, where β >, and study the extremal representations in these systems, called here the greedy and lazy representations. We give algorithms for determination of minimal and maximal ( β)-representation with respect to the alternate order. We also show that both extremal representations can be obtained as representations in the positive base β with a non-integer alphabet. This enables us to characterize digit sequences admissible as greedy and lazy ( β)-representation. Such a characterization allows us to study the set of uniquely representable numbers. In the case that β is the golden ratio and the Tribonacci constant, we give the characterization of digit sequences admissible as greedy and lazy ( β)-representation using a set of forbidden strings. Keywords: Classification: numeration systems, lazy representation, greedy representation, negative base, unique representation A63, 37B0. INTRODUCTION A positional number system is given by a real base α with α > and by a finite set of digits A R, usually called alphabet. If x R can be expressed in the form i k x iα i with coefficients x i A, we say that x has an α-representation in A. The most important assumption on the choice of the alphabet A is that any positive real number x has at least one α-representation. This assumption implies that the cardinality of the alphabet #A is at least α. It is well known that if the base α is a positive integer and the alphabet is A = 0,,,..., α } then any positive real x has an α-representation and almost all positive reals (up to a countable number of exceptions) have unique representation. For example, in the decimal numeration system = = , whereas 3 = If the base α is not an integer and the alphabet A is rich enough to represent all positive reals, then almost all x 0 have infinitely many representations and one can choose among them the nicest one from some point of view. Note that although most people prefer writing = 0.5, the shopkeepers consider the representation nicer than for x =.

3 Greedy and lazy representations in negative base systems 59 The most studied numeration system with a positive base α / Z uses the alphabet A = 0,,,..., α }. The set of all α-representations of x understood as infinite words in the alphabet A is lexicographically ordered. The lexicographically greatest α-representation is considered to be the nicest. Since this α-representation is computed by the so called greedy algorithm, it is referred to as the greedy representation. On the other hand, the lexicographically smallest β-representation is called lazy. One might also be interested in other representations in positive base systems, for an extensive overview we refer to [6]. The study of greedy representations for non-integer bases α > was initiated by Rényi in 957 [9]. An interest in lazy representations for bases α (, ) with alphabet 0, } was started in 990 by works of Erdős, Joó and Komornik [4]. A systematic study of lazy representations for all bases α > can be found in the work of Dajani and Kraaikamp [] from 00. Recently, Ito and Sadahiro [5] introduced a numeration system with a negative base α = β < and with the alphabet A = 0,,,..., β }. They gave an algorithm for computing a ( β)-representation of x [ β +β, ) +β and showed that the natural order on R corresponds to the alternate order on such ( β)-representations. Using a negative base, we can represent positive and negative numbers without an additional bit for the signum ±. A family of transformations producing negative base representations of numbers for < β < is studied in []. Among others, it is shown that although none of them gives the maximal representation in the alternate order, it is produced by a random algorithm, see Theorem 4.. in []. In its proof, one can find out that the greedy representation is obtained by periodic application of two transformations. In this article, we focus on negative bases β, β > in general, and deduce analogous result without introducing random ( β)-expansions. Our main result states that both extremal representations can be obtained using the positive base β and a non-integer alphabet B by application of a transformation of the form T (x) = β x D(x), where D(x) B (Theorems 4. and 4.). Note that representations using a non-integer alphabet were considered by Pedicini [8]. This enables us to exploit results of [6] for giving necessary and sufficient conditions for identifying sequences admissible as greedy and lazy ( β)- expansions (Theorem 5.3). For β = φ, the golden ratio, and β = µ, the Tribonacci constant, we describe such sequences in terms of forbidden strings. Finally, we illustrate how the characterization of admissible greedy and lazy representations can be applied for the study of uniquely representable numbers (Section 7).. HOW TO OBTAIN α-representations OF REAL NUMBERS In this chapter we recall a method for finding an α-representation of a given number with general real base α, α >. It is clear that if we are able to find a representation for all numbers x from some bounded interval J R containing 0, then we are also able to find an α-representation for any x k Z αk J, i. e., for any real number (if 0 is an interior point of J or the base α is negative) or for all positive reals or all negative reals (if 0 is a boundary point of J and the base α is positive). Our definition below is a restriction of the very general numeration system considered by Thurston [].

4 60 T. HEJDA, Z. MASÁKOVÁ AND E. PELANTOVÁ Definition.. Given a base α R, α >, a finite alphabet A R and a bounded interval J 0. Let D : J A be a mapping such that the transformation defined by T (x) = αx D(x) maps J to J. The corresponding α-representation of x is a mapping d = d α,j,d : J A N, d α,j,d (x) = x x x 3 x 4..., where x k = D ( T k (x) ). Let us comment the previous definition. By the definition of T, for any x J we have x = D(x) α + T (x) α. As the value T (x) is required to belong to J as well, we may use this formula recursively and obtain the mentioned α-representation of x in the alphabet A: x = D(x) α + D ( ) T (x) α + D ( T (x) ) α 3 + D ( T 3 (x) ) α 4 + () Clearly, at any step of this recursion we have x = x α + x α + + x n α n + T n (x) α n. () Example.. In [9], Rényi defined for α = β > the mappings T : [0, ) [0, ) and D : [0, ) 0,,..., β } by D(x) = βx and T (x) = βx D(x). The β-representation of x [0, ) corresponding to this choice of D and T is usually called the greedy β-expansion of x. More general case of number systems with positive base is studied in [6], where the authors admit non-integer digits and, among other, give condition for a digit string to be admissible as a number expansion. We refer to [6] for an extensive list of useful literature. Example.3. In [5], Ito and Sadahiro considered negative bases α = β, for any β >. On the interval J = [ β β+, β+) the mappings T and D are defined as follows: D(x) = βx + β β+ and T (x) = βx D(x). The corresponding alphabet, i. e., the range of D, is A = 0,,..., β }. Let us mention that for β / N the Ito Sadahiro alphabet and the Rényi alphabet coincide. If that β N, the digit β occurs only in the infinite suffix ( β ) ω and every number in J can also be represented in base β with the smaller alphabet A\ β } =0,,..., β }. However, such a representation cannot be obtained simply using the floor or the ceil function. The Rényi β-expansion and the Ito Sadahiro ( β)-expansion are order-preserving, provided that we choose a suitable order on the set of representations which they produce. Definition.4. Let A R be a finite alphabet ordered by the natural order < in R. Let x x x 3... and y y y 3... be two different strings from A N or A n for n N, n. Denote k = mini x i y i }. We write

5 Greedy and lazy representations in negative base systems 6 x x x 3... lex y y y 3... if x k < y k and say that x x x 3... is smaller than y y y 3... in the lexicographical order; x x x 3... alt y y y 3... if ( ) k x k < ( ) k y k and say that x x x 3... is smaller than y y y 3... in the alternate order. Let us stress that we always compare only strings of the same length, finite or infinite. Proposition.5. Let α, A, J and D be as in Definition.. Let numbers x, y J and let d α,j,d (x) = x x x 3... and d α,j,d (y) = y y y 3... be their α-representations. If α > and D(x) is non-decreasing then x < y x x x 3... lex y y y If α < and D(x) is non-increasing then x < y x x x 3... alt y y y P r o o f. We prove the statement for a negative base α <. Let us denote k = mini x i y i }. As x l = y l for all l =,,..., k we have according to () that x < y T k (x) α k < T k (y) α k. (3) Since D is non-increasing and x k = D ( T k (x) ) y k = D ( T k (y) ), we have x k > y k T k (x) α k < T k (y) α k. (4) First we discuss the case when k is even. Since α < 0, combining (3) and (4), we obtain x < y x k < y k x x x 3... alt y y y If k is odd, then we obtain x < y x k > y k x x x 3... alt y y y The proof of the statement for a positive base is analogous. The above proposition allows one to give a condition of admissibility for a digit string to be a representation of a number according to the algorithm presented in Definition.. Such an admissibility condition was given in [7] for the Rényi number system from Example., in [6] for more general positive base systems and in [5] for the number system from Example.3. Let us stress that the representations and consequently admissibility conditions depend on the given transformation T in the scheme J, D, T. From now on, we focus on a different question. We do not fix any transformation, but among all representations of a number x with a given alphabet, we search for an extremal one.

6 6 T. HEJDA, Z. MASÁKOVÁ AND E. PELANTOVÁ Given a base α and an alphabet A R we put J α,a = } a i α i ai A, i= the set of numbers representable with negative powers of α and the alphabet A, and for any x J α,a, we denote the set of its α-representations in A by R α,a (x) = x x x 3... x = i= } x i α i and x i A. Proposition.5 suggests how to choose a suitable ordering on the set R α,a (x). Definition.6. Let α be a real base with α > and let A R be a finite alphabet. Let α < and x J α,a. Then the maximal and minimal elements of R α,a (x) with respect to the alternate order are called the greedy and lazy α-representations of x in the alphabet A, respectively. Let α > and x J α,a. Then the maximal and minimal elements of R α,a (x) with respect to the lexicographical order are called the greedy and lazy α-representations of x in the alphabet A, respectively. In order to justify that the maximal and minimal elements in R α,a (x) exist, realize that R α,a (x) is a compact subspace of A N. For, it is a pre-image of a closed set x} R under the map x x x 3... x α + x α + x3 α + which is continuous with respect to the 3 Cantor metric on A N. For positive bases α = β >, the greedy β-representation in the alphabet A = 0,,..., β } corresponds to the β-representation produced by the Rényi greedy algorithm described in Example.. The method for obtaining the lazy representation in the same alphabet was described in []. Let us demonstrate how to obtain these extremal representations for the case of the golden mean φ = + 5 φ = φ +, we have. Since φ =, we consider the alphabet A = 0, }. As i= φ i = φ and so clearly, } J φ,a = a i φ i a i 0, } = [0, φ]. i= If the first digit in a φ-representation of an x J φ,a is x = 0 then necessarily x φ J φ,a = [0, ]. If the first digit in a φ-representation of x is x = then necessarily x φ + φ J φ,a = [ φ, φ]. It means that for x [0, φ ), all representations in R φ,a(x) have the first digit x = 0; for x (, φ], all representations in R φ,a (x) have the first digit x = ; for x [ φ, ], both 0 and appear as x.

7 Greedy and lazy representations in negative base systems 63 φ φ /φ 0 }} }} D G (0) /φ D G () 0 }}}} D L (0) D L () Fig.. The greedy and lazy transformations T G and T L for β = +φ with pre-images of 0 and under D G and D L, respectively. As we now consider the lexicographical order, the greedy representation of an x [ φ, ] has the first digit x = and the lazy representation must have x = 0. Thus the corresponding digit assigning mappings are or equivalently and D G (x) = 0 for x [ 0, φ), for x [ φ, φ], and D L (x) = 0 for x [0, ], for x (, φ], D G (x) = x + φ, DL (x) = x for any x (0, φ) D G (0) = D L (0) = 0, D G (φ) = D L (φ) =. The graphs of the corresponding transformations T G and T L are depicted in Figure. The transformations T G and T L map [0, φ] [0, φ]. The points 0 and φ are fixed points of both transformations. However, we see that for any x [0, φ) there exists n such that T n G (x) J G = [0, ) and T G (J G ) = J G ; for any x (0, φ] there exists n such that T n L (x) J L = ( φ, φ] and T L(J L ) = J L. Moreover the intervals [0, ) and ( φ, φ] are the smallest intervals with the above described property. Such interval is called the attractor of a mapping in []. Let us point out that in both cases there exists an isolated fixed point φ = T G (φ) and 0 = T L (0) outside the attractors. In fact, to find the greedy β-representation, Rényi used J G = [0, ) as the domain of D and T in the scheme J, D, T. Even when the scheme J, D, T for finding the lazy representation is described, the restriction of the mappings D and T to the attractor interval of T is preferred.

8 64 T. HEJDA, Z. MASÁKOVÁ AND E. PELANTOVÁ 3. EXTREMAL REPRESENTATIONS IN NEGATIVE BASE SYSTEMS Let us now fix a base α = β for some β >, β / N, and an alphabet A = 0,,..., β }. (We exclude integer bases because of the phenomena explained in Example.3.) Using the same arguments as in [8] it can be shown that the set I of numbers representable in this system is an interval, namely [ β β I = β, β ] =: β [l, r]. (5) Though the interval I (i. e., its boundary points) depends on the base β, we omit the symbol β it in the notation for simplicity. We denote by I a the set of numbers which have a ( β)-representation starting with the digit a A. Then I a = a β + [ β I = l + β a, r a ] = β β [ a β + r β, a β + l ] β and I can be written as a (not necessarily disjoint) union of intervals I = a A I a. Obviously, we have βx a I for every x I a. Note that intervals I a overlap, but only two at a time. If β =, then it is clear, as they are only two. If β, then the right endpoint of I a+ is smaller than the left endpoint of I a, namely a + β + l β = a + β + β β < a β + β β β = a β + r β, which is equivalent to β β > 0. Our aim is to provide an algorithm for finding extremal digit strings (with respect to the alternate order) representing a given x in the base ( β). Assigning of the first digit of such an extremal representation must prefer among all possible digits the minimal or the maximal one in the alternate order. We define β for x I β, D m (x) = a for x I a \ I a+, a A, a β, and 0 for x I 0, D v (x) = a for x I a \ I a, a A, a 0, and the corresponding transformations T m (x) = βx D m (x) and T v (x) = βx D v (x). It is readily seen that D m (x) prefers small digits (in the alternate order) and D v (x) prefers great digits, i. e., and D m (x) = a = βx b / I for any b alt a, b A, (6) D v (x) = a = βx b / I for any b alt a, b A. (7) Let us stress that in accordance with Definition.4, alternate order on single digits is inverse to the usual one.

9 Greedy and lazy representations in negative base systems 65 β r l β r l β β }}}}}} I \I I \I 0 I 0 } } }} }} I I \I I 0 \I Fig.. Transformations T v and T m which prefer small and large digits in the alternate order, respectively (for a base β ( 3, )). The fractions r l and in the upper part of the figure represent two β β different lengths of intervals indicated in the lower part of the figure. Proposition 3.. Let x I. Denote ε 0 = x and for all i 0 put z i+ = D v (ε i ), ε i+ = T v (ε i ) and z i+ = D m (ε i+ ), ε i+ = T m (ε i+ ). Then z z z 3... is the greedy ( β)-representation of x. Denote η 0 = x and for all i 0 put y i+ = D m (η i ), η i+ = T m (η i ) and y i+ = D v (η i+ ), η i+ = T v (η i+ ). Then y y y 3... is the lazy ( β)-representation of x. P r o o f. Suppose for contradiction that there exists a representation x x x 3... R β,a (x) such that z z z 3... alt x x x Let us denote k = mini z i x i }. If k = l is even, then the inequality z z z 3... alt x x x 3... implies z l < x l and thus z l = a and x l = b for some a, b A, a < b. Since l ) ε l = ( β) (x l z i ( β) i i= = ( β) l (x l ( β) l + i=l+ l = ( β) (x l i= ) x i ( β) i = ( b + β x i ( β) i ) i=l+ x i ( β) l i ), we have βε l b I =[l, r]. On the other hand, according to (6), z l =D m (ε l )=a implies that βε l b / I, which is a contradiction. The case k odd is analogous.

10 66 T. HEJDA, Z. MASÁKOVÁ AND E. PELANTOVÁ Very similarly one proves the statement for the lazy representation. Note that for β (, ), the description of greedy ( β)-representations of Proposition 3. can be deduced from the proof of Theorem 4. in []. 4. REPRESENTATIONS IN BASE β WITH NON-INTEGER ALPHABETS The algorithm for obtaining extremal ( β)-representations of a number x, described in Proposition 3., does not fit in the scheme of the Definition. for negative base α = β. In particular, there is no transformation T (x) = βx D(x) which generates for every x the greedy (or lazy) ( β)-representation. This fact complicates the description of digit strings occurring as greedy or lazy representations. Nevertheless, we manage to overcome this handicap. Defining T G := T m T v and T L := T v T m we obtain transformations I I which produce the greedy and lazy ( β)-representations. The price to be paid is that the digit assigning functions D G and D L are not integer-valued. For, we have i. e., where T G (x) = T m ( Tv (x) ) = β x + βd v (x) D m ( βx Dv (x) ), T G (x) = β x D G (x), (8) D G (x) = βd v (x) + D m ( βx Dv (x) ) B, with the alphabet B = bβ + a a, b A}, which has (#A) distinct elements, as β / N. Let us describe the mappings T G and D G (resp. T L and D L ) explicitly. As T G is a composition of two piecewise linear functions, T G is also of this kind. Its points of discontinuity are described as follows, Dis G = Dis v T v ( Dism ), (9) where Dis v and Dis m are points of discontinuity of T v and T m respectively. Clearly, #Dis v = #Dis m = #A. We can easily see that and Dis m = Dis v = a β + a β + a β + l l β r β } a A, a 0 (0) } a A, a β. () As every discontinuity point β of Dis m lies in (r, r] and for every letter a A one has (r, r] T v (I a ), the set Tv (Dis m ) has #A (#A ) points. Thus the union in (9) has (#A) elements. The interval I therefore splits into (#A) subintervals on which the transformation T G is continuous. Explicitly, for every a A, a 0, we have ( a Tv β + l ) b = β β + a ( β) + l ( β) b A }.

11 Greedy and lazy representations in negative base systems 67 As βr = l, every discontinuity point b β + l ( β), and thus Dis G = b β + a ( β) + b β + r β of Dis v can be written in the form l } a, b A, (b, a) ( β, 0) ( β). In order to obtain an explicit description of the mapping T G, let us define γ ba := l + β b β = b β + a ( β) + l, for any a, b A. () ( β) Note that if (b, a) = ( β, 0), then γ ba = l. The set of words of length two over the alphabet A can be ordered by the alternate order, namely β 0 alt β alt alt β β alt ( β )0 alt Taking into account that β / N, one can easily see that alt β alt 00 alt alt 0 β. ab alt cd γ ab = a β + b + l ( β) < c β + d + l ( β) = γ cd. In particular, this means that the assignment ab aβ + b, for a, b A, is a bijection. On the set A we can define the predecessor and successor functions by P (ab) := maxcd cd A, cd alt ab}, S(ab) := mincd cd A, cd alt ab}, where maximum and minimum is taken again with respect to the alternate order. Of course, the predecessor is not defined for the minimal element mina = β 0 and the successor is not defined for the maximal element maxa = 0 β. Now we are ready to provide an explicit description of the digit assigning map D G : I B = bβ + a a, b A}, namely bβ + a, if x [ ) γ ba, γ S(ba) for some ba 0 β, D G (x) = β, if x [ γ ba, r ] (3) for ba = 0 β. Define a morphism ψ : B A by ψ( bβ + a) = ba. Note that ψ is well defined as β / N. The action of the morphism ψ can be naturally extended to infinite words by setting ψ(x x x 3...) = ψ(x )ψ(x )ψ(x 3 ).... All the above considerations can be summarized in the following theorem. Theorem 4.. Let β >, β / N, A = 0,,..., β }. For an x I, denote by d G (x) = d β,i,d G (x) the β -representation of x obtained in accordance with Definition. by the transformation T G : I I, defined by (8). Then

12 68 T. HEJDA, Z. MASÁKOVÁ AND E. PELANTOVÁ d G (x) is the greedy β -representation of x in the alphabet B; ψ ( d G (x) ) is the greedy ( β)-representation of x in the alphabet A. For the sake of completeness, let us provide an explicit description of the lazy transformation T L = T v T m : I I and the corresponding digit assigning map D L : I B, such that T L (x) = β x D L (x), (4) for x I. Defining δ ba := b β + a ( β) + we can write the set of discontinuity points of T L as r, for any a, b A. ( β) Dis L = δ ba a, b A, ba 0 β }. Note that for ba = 0 β one has δ ba = r. Again, ab alt cd δ ab < δ cd. We now have the digit assigning function D L : I B = bβ + a a, b A}, given by β β, if x [ ] l, δ ba for ba = β 0, D L (x) = bβ + a, if x ( ] (5) δ P (ba), δ ba for ba β 0. Theorem 4.. Let β >, β / N, A = 0,,..., β }. For an x I, denote by d L (x) = d β,i,d L (x) the β -representation of x obtained in accordance with Definition. by the transformation T L : I I, defined by (4). Then d L (x) is the lazy β -representation of x in the alphabet B; ψ ( d L (x) ) is the lazy ( β)-representation of x in the alphabet A. In [4], the relation between the lazy and the greedy representations of numbers in a numeration system with a positive base β (, ) and the alphabet 0, } was established. Namely, if x = x x x 3... is the greedy β-representation of x J β,a = [ 0, β ], then ( x )( x )( x 3 )... is the lazy β-representation of y = β x. Generalization of this relation for numeration systems with a base β > and the alphabet A = 0,,..., β } was presented in []. Comparing the formulas for D G and D L, one can deduce a similar symmetry between greedy and lazy ( β)-representations. Proposition 4.3. Let z z z 3 z 4... be the greedy ( β)-representation of a number z I and let y y y 3 y 4... be the lazy ( β)-representation of a number y I. Then y i + z i = β for every i y + z = β β +. From now on, we shall concentrate on the properties of the greedy transformation T G only.

13 Greedy and lazy representations in negative base systems 69 β β β β r l β r l β β β β β γ0 γ γ γ0 γ γ γ00 γ0 γ0 r l δ0 δ δ δ0 δ δ δ00 δ0 δ0 Fig. 3. The greedy and lazy transformations T G and T L. This figure corresponds to a base β ( 3, ). 5. ADMISSIBILITY The transformation T G has the following property: For every x [l, l + ) one has T G (x) [l, l + ). Moreover, for every x I \ [l, l + ), x r, there exists an exponent k N such that TG k (x) [l, l + ). The above fact implies that, in general, some digits from the alphabet B do not appear infinitely many times in the greedy β -representation of any number x I. Lemma 5.. Let d G be as in Theorem 4.. Denote by A G the minimal alphabet, such that the β -representation d G (x) of every x [l, l + ) has digits in A G. Then A G = bβ + a a, b A, b } a a A, a < ββ} }, where β} = β β is the fractional part of β. Moreover, for every x I \ r}, the β -representation d G (x) has a suffix over A G. P r o o f. The fact that a given x I satisfies TG k (x) [l, l + ) for sufficiently large k means that the greedy representation of x eventually uses only such digits bβ + a that the corresponding interval [γ ba, γ S(ba) ) has a non-empty intersection with [l, l + ). Such digits satisfy This is equivalent to l + > γ ba = b β + a ( β) + l ( β). β ( β β ) > bβ + a. (6) The left-hand side of the above inequality is positive. The right-hand side is negative whenever b. If b = 0 then the condition for a is written as a < ββ}.

14 70 T. HEJDA, Z. MASÁKOVÁ AND E. PELANTOVÁ Remark 5.. From the above lemma it follows that the maximal digit maxa G satisfies 0 maxa G = 0 β + β}β. The condition A G = B is equivalent to the fact that the maximal digit maxb = 0 β+ β of the alphabet B also satisfies (6). This gives the condition β β β β > 0, which happens if and only if β is strictly greater than the larger root of x β x β. Therefore the condition A G = B is satisfied precisely by the numbers β m N ( m + m + 4m ), m +. As a consequence of Lemma 5., for the description of admissible digit strings in the greedy representations, it is reasonable to consider the transformation T G restricted to the interval [l, l + ). Denote for any X = bβ + a A G γ S(ba) if X maxa G, l X = γ ba and r X = (7) l + if X = maxa G, where γ ba = bβ + a, see (). Then we have a disjoint union [l, l + ) = [l X, r X ) X A G and the digit function D G restricted to [l, l + ) can be written as D G (x) = X if x [l X, r X ). The mapping D G : [l, l + ) A G, and the corresponding T G : [l, l + ) [l, l + ), d G : [l, l + ) A N G are right continuous. In order to formulate the result about admissible greedy representations which is derived using a result of [6], let us define the left continuous mapping DG : (l, l +] A G by DG(x) = X if x (l X, r X ]. The left continuous mappings TG : (l, l + ] (l, l + ], d G : (l, l + ] AN G are defined accordingly. The mappings T and T are illustrated in Figure 4. Note that for every x (l, l + ], one has D G(x) = lim ε 0+ D G(x ε), T G(x) = lim ε 0+ T G(x ε), d G(x) = lim ε 0+ d G(x ε). Theorem 5.3. Let X X X 3... A N G. Then there exists an x [l, l + ) such that d G (x) = X X X 3... if and only if for every k d X k+ X k+ X k+3... G( T G (l + ) ) if X k = maxa G, ( ) (8) l + β} if X k = bβ + β, X k maxa G. d G

15 Greedy and lazy representations in negative base systems 7 l+ l+β} T (l+) γ0 γ γ γ0 γ γ γ00 γ0 γ0 γ γ γ0 γ γ γ00 γ0 Fig. 4. Right and left continuous mappings T and T defined on [l, l + ) and (l, l + ], respectively. This figure corresponds to a base β ( 3, ). P r o o f. Applying Theorem.5 from [6] to the greedy transformation T G, we obtain a necessary and sufficient condition for a string X X X 3... over the alphabet A G to be admissible, namely d(l Xk ) X k X k+ X k+... d (r Xk ) for all k. (9) Here and in what follows, for simplicity of notation we omit in the proof the subscripts in d G = d, T G = T, d G = d, T G = T. Since d(l X ) = Xd ( T (l X ) ) and d (r X ) = Xd ( T (r X ) ), we can rewrite conditions (9) as d ( T (l Xk ) ) X k+ X k+... d ( T (r Xk ) ) for all k. (0) Let us study the left-hand side inequality. From the description of T = T G, it is clear that for every letter X A G, we have T (l X ) = l (see also Figure 4) and thus, the string on the left-hand side of (0) reads d ( T (l Xk ) ) = d(l) = (mina G ) ω. Consequently, the left-hand side condition is not limiting. In order to study the right-hand side condition from (0), realize that if X maxa G, we have T l + for X bβ + β, (r X ) = l + β} for X = bβ + β, see Figure 4. As r X = l + for X = maxa G, the right-hand side condition can be written as d ( T (l + ) ) for X k = maxa G, X k+ X k+... d (l + ) for X k bβ + β, X k maxa G, d ( l + β} ) () for X k = bβ + β, X k maxa G.

16 7 T. HEJDA, Z. MASÁKOVÁ AND E. PELANTOVÁ We have d (l + ) = maxa G d ( T (l + ) ). Therefore if X k+ < maxa G, then the condition X k+ X k+... d (l + ) = maxa G d ( T (l + ) ) is satisfied. If X k+ = maxa G, then the condition is equivalent to X k+... d ( T (l + ) ), which is ensured by verifying the first of () for the shifted index k +. This completes the proof. Remark 5.4. Using Proposition 4.3 one can derive an analogous necessary and sufficient condition for admissible lazy β -representations X X X 3... of numbers in x (r, r] over the alphabet A L = β A G. 6. NEGATIVE GOLDEN RATIO Let us illustrate the previous results and their implications on the example of the negative base β where β = φ = is the golden ratio. Real numbers representable in base φ over the alphabet A = 0, } form the interval J φ,a = I = [, φ] = [l, r]. The greedy and lazy ( φ)-representation can be obtained from the greedy and lazy φ -representation over the alphabet B = φ, φ +, 0, }, applying the morphism ψ : B A given by ψ( φ) = 0, ψ( φ + ) =, ψ(0) = 00, ψ() = 0. The greedy and lazy φ -representations are generated by the transformation T G (x) = φ x D G (x), T L (x) = φ x D L (x), x [, φ], where the digit assigning maps D G and D L are φ for x [, φ), φ + for x [ φ for x [ ], φ D G (x) =, ) φ, φ, 0 for x [ φ, 0 ) φ + for x ( φ, 0 ], D L (x) =, for x [ 0 for x ( ] 0, ] φ, 0, φ, 3 for x ( φ, φ]. 3 The graph of the transformations T G, T L together with their restriction to the intervals [l, l + ) = [, 0), (r, r] = ( φ, φ ] are drawn in Figure 5. Remark 6.. From the graphs of T G and T L we see that the greedy φ -representation of an x (, φ) eventually uses only digits from the alphabet A G = φ, φ +, 0}, while its lazy φ -representation eventually uses only digits A L = φ +, 0, }; in particular, if x [ 0, φ), i. e., outside [l, l + ), then its greedy ( φ)-representation has the form (0) M z z z 3..., where M is the minimal positive integer such that x = x M k= < 0 and z φ k z z 3... is the greedy ( φ)-representation for the number x ;

17 Greedy and lazy representations in negative base systems 73 /φ /φ 0 0 /φ /φ A B C D A B C D Fig. 5. Greedy (left) and lazy (right) transformations T G and T L for the base φ. if x ( ], φ, i. e., outside (r, r], then its lazy ( φ)-representation has the form (0) M y y y 3..., where M is the minimal positive integer such that x = x + φ M k= > φ k φ and y y y 3... is the lazy ( φ)-representation of x ; the greedy and lazy ( φ)-representations of φ are both equal to (0)ω ; the greedy and lazy ( φ)-representations of are both equal to (0) ω ; the greedy ( φ)-representation of 0 is 0(0) ω, while its lazy ( φ)-representation is (0) ω = (0) ω. Let us now apply Theorem 5.3 to the case β = φ. Denote for simplicity the digits of the alphabet B = φ, φ +, 0, } by A = φ < B = φ + < C = 0 < D =. With this notation, we have A G = A, B, C} and A L = B, C, D}. Proposition 6.. A string X X X 3... over the alphabet A G = A, B, C} is the greedy φ -representation of a number x [, 0) if and only if it does not contain a factor from the set BC, B ω, C ω }. A string X X X 3... over the alphabet A L = B, C, D} is the lazy φ -representation of a number x ( φ, φ ] if and only if it does not contain a factor from the set CB, B ω, C ω }. P r o o f. Since both l + = 0 and l + φ} = φ are fixed points of the transformation TG, we obtain d G( T G (l + ) ) = 0 ω = C ω, d G( l + φ} ) = ( φ + ) ω = B ω,

18 74 T. HEJDA, Z. MASÁKOVÁ AND E. PELANTOVÁ and from Theorem 5.3, a string X X X 3... over the alphabet A G is the greedy φ - representation of a number x [, 0) if and only if for all k, C ω if X k = C, X k+ X X+... B ω if X k = B. It is not difficult to see that such condition is satisfied exactly by the strings in A, B, C} which do not contain a factor from the set BC, B ω, C ω }. The statement about lazy φ -representations is derived by symmetry A D, B C, (cf. Proposition 4.3). It follows from the facts above that only digits B = φ + and C = 0 are common to both greedy and lazy φ -representation restricted to the intervals [l, l + ), (r, r], respectively. However, due to the forbidden strings BC in greedy and CB in lazy φ - representation, no string over the alphabet B, C} is admissible in both cases. Combining with Remark 6., we have the following result. Corollary 6.3. The points x = and x = φ are the only points in [, φ ] which have a unique ( φ)-representation over the alphabet 0, }. Proposition 6. provides a combinatorial criterion for admissibility of representations in base φ in the non-integer alphabet A G. One can also rewrite the admissibility of a digit string in base φ using forbidden strings in the original alphabet 0, }. Proposition 6.4. A digit string x x x 3... over the alphabet 0, } is a greedy ( φ)- representation of some x [, 0) if and only if (i) it does not start with the prefix k 0, nor 0 k, k ; (ii) it does not end with the suffix 0 ω nor ω ; (iii) it does not contain the factor 0 k, nor 0 k 0, k. P r o o f. ( ): Realize that grouping the digits in the greedy ( φ)-representation of x to pairs, we obtain a string over the alphabet (0), (), (00), (0)}. This is justified by the fact that the greedy ( φ)-representation of x over 0, } is obtained from the greedy φ -representation of x over A, B, C, D} applying ψ(a) = 0, ψ(b) =, ψ(c) = 00, ψ(d) = 0. From Proposition 6., one can derive that the forbidden strings over the alphabet (0), (), (00), (0)} are (0), ()(00), () ω, (00) ω. It is thus obvious that the greedy representation over the alphabet 0, } cannot have a suffix 0 ω, ω, i. e. (ii) holds. In order to prove (i), realize that 0 k = (00) k (0) contains the forbidden digit (0). Similarly, k 0 = () k 0 is a prefix of either () k (0) or () k (00), where the former contains the forbidden digit (0) and the latter the forbidden string ()(00). As for (iii), note that the factor 0 k is read in the alphabet (0), (), (00), (0)} either as (0)(00) k (0) or as a part of ( )(00) k ( ). In both cases it necessarily contains either (0) or ()(00). The string 0 k 0 is excluded in a similar way.

19 Greedy and lazy representations in negative base systems 75 0 /φ /φ /φ 0 0 A B C /φ B C D /φ A B C D Fig. 6. Transformations T G (left), T L (middle) and T IS (right) in the base φ that correspond to the greedy, lazy and Ito Sadahiro representations in the base φ. ( ): We must show that a string over 0, } satisfying conditions (i) (iii) does not contain forbidden strings of pairs (0), ()(00), () ω, (00) ω. Note that the brackets are always around pairs x i+ x i+. Conditions (i) (iii) are equivalent to the fact that the string x x x 3... is of the form 0 k k+ 0 k3+ k4+..., with k i 0. () Thus the blocks of s always start at odd-indexed positions and blocks of 0 s (except the prefix) start at even-indexed positions. This implies the impossibility of occurrence of (0), ()(00). The impossibility of () ω, (00) ω is obvious. Let us now compare the greedy and lazy ( φ)-representations with those obtained by the Ito Sadahiro algorithm, presented in Example.3. We denote by D IS and T IS the corresponding transformations which now read D IS, T IS : [ φ, φ ) [ φ, φ ) defined D IS (x) = φx + φ and T IS (x) = φx φx + φ. As follows from the admissibility condition in [5], a digit sequence x x x 3... over the alphabet 0, } is the Ito Sadahiro ( φ)-representation of some x [ φ, φ ) if and only if 0 ω alt x i x i+ x i+... alt 00 ω for all i. (3) One can easily derive that x x x 3... is an Ito Sadahiro ( φ)-representation if and only if it does not contain any string 0 k+ for k 0 as a substring, and it does not end with 00 ω. The example x = shows that, in general, the Ito Sadahiro algorithm does not assign to x [ φ, ) φ any extremal representation. We have the following ( φ)-representations of : Ito Sadahiro x x x 3... = (00) ω = , lazy y y y 3... = (000) ω = , greedy z z z 3... = (000) ω =

20 76 T. HEJDA, Z. MASÁKOVÁ AND E. PELANTOVÁ Clearly, y y y 3... alt x x x 3... alt z z z In fact, one can show that for no element of the interval x [ φ, φ ) the Ito Sadahiro ( φ)-representation is extremal with respect to the alternate order. Proposition 6.5. The Ito Sadahiro ( φ)-representation is not extremal for any x [ φ, φ ). P r o o f. Let us consider an x [ φ, ) φ with the Ito Sadahiro ( φ)-representation y y y Suppose that y y y 3... is also a greedy ( φ)-representation of x. Then by Remark 6., it is of the form y y y 3... = (0) M x x x 3..., for some M 0, where the string x x x 3... is the greedy representation of some x [, 0). The string x x x 3... thus satisfies conditions of Proposition 6.4, and, consequently, is of the form (). However, this is not compatible with the admissibility condition (3) for Ito Sadahiro ( φ)-representations. Suppose now that the Ito Sadahiro ( φ)-representation y y y 3... is also lazy. The argumentation is similar, noting that the forbidden strings for the lazy ( φ)-representation can be derived from Proposition 6.4 by replacing UNIQUE ( β)-representations In [], it is shown that for < β <, the set of numbers with a unique ( β)-representation is of Lebesgue measure zero. The authors also show that for β < φ, such numbers are only two. Let us show that although the measure is always zero, the set of numbers with unique ( β)-representation can be uncountable. Example 7.. Let β = µ be the Tribonacci constant, i. e., the real root µ.83 of x 3 x x. Since µ = and µ > φ, the greedy µ -representation of numbers in the interval [l, l + ) = [ µ µ, µ(µ ) ) may use all possible digits µ, µ +, 0,, see Lemma 5.. We shall again use the notation A = µ, B = µ +, C = 0, D =. Our aim is to derive the admissibility condition for digit strings X X X 3... over the alphabet A G = A, B, C, D} using Theorem 5.3. With the notation (7), omitting subscripts of T G = T, d G = d, one can verify that l + µ} = r C, T ( l + µ} ) = T (r C ) = l + = r D, (T ) ( l + µ} ) = T (r D ) = r B, (T ) 3( l + µ} ) = T (r B ) = l + µ}, see also Figure 7. The strings used in the admissibility condition from Theorem 5.3 are thus purely periodic and very strongly related, namely d ( l + µ} ) = Cd (l + ) = CDd ( T (l + ) ) = CDBd ( l + µ} ) = (CDB) ω.

21 Greedy and lazy representations in negative base systems 77 l+ l+β} T (l+) l A B C D Fig. 7. The graph of the transformation T G for the Tribonacci constant. Therefore, a digit string X X X 3... over the alphabet A G is an admissible greedy µ -representation if and only if for all k, (CDB) ω if X k = B, X k+ X k+ X k+3... (BCD) ω if X k = D, which is equivalent to the requirement that the string X X X 3... does not contain a factor from BD, DC, DD, (BCD) ω}. By symmetry A D, B C, we obtain that a digit string X X X 3... over the alphabet A L = A G is an admissible lazy µ -representation if and only if it does not contain a factor from the set CA, AB, AA, (CBA) ω}. From this, we can see that any digit string over the alphabet B, C} is admissible both as the greedy and lazy µ -representation, thus numbers represented by such a string have only one representation in base µ. There are uncountably many such numbers. Theorem 7.. Let β > + 3, β / N. Then there exist uncountably many numbers in J β,a having a unique ( β)-representation over the alphabet A = 0,,..., β }. P r o o f. We will show that there are uncountably many numbers in the interval J β,a = [l, r) for which the lazy and the greedy ( β)-representations coincide. Necessarily, such a number x (with the exception of x = l and x = r) must lie in the intersection [l, l + ) (r, r] = (r, l + ). The alphabet for the β -representation of such an x (r, l + ) is A G A L. Recall that the requirement (8) from Theorem 5.3 for the admissible greedy β - representations controls the string only after digits X k of the form X k = bβ + β and X k = maxa G. By symmetry (Proposition 4.3), the requirement on lazy β - representations controls the string only after digits X k of the form X k = bβ + 0 and X k = mina L. Realize that maxa G = 0 β + a and mina L = β β + β a

22 78 T. HEJDA, Z. MASÁKOVÁ AND E. PELANTOVÁ for some a 0,,..., β }, see Remark 5.. Therefore any digit string over the original alphabet A = 0,,..., β } avoiding 0 and β is allowed both as a greedy and lazy ( β)-representation. If β > 3, then A \ 0, β } has at least two elements and thus we have uncountably many numbers with unique ( β)-representation. Let now β satisfy + 3 < β < 3. The above argument is not sufficient, since A \ 0, β } = }, so we need to refine our study of admissible greedy and lazy strings. As + 3 is a root of x x, by Remark 5., the alphabets A G, A L of greedy and lazy β -representations are equal to the full ) alphabet B = bβ + a 0 a, b }. Let us show that the string dg( l + β} starts with a digit X B, X 0. For that, we have to verify that l + β} > l 0 = l ( β), where we use notation (7). This is equivalent to β β > 0, which is true precisely when β > + 3. From the condition (8) we derive that any string over the alphabet X B X < 0} is admissible as a greedy β -representation. By symmetry, any string over the alphabet X B X > β + } is admissible as a lazy β -representation. Altogether, every string over the alphabet X B β + < X < 0} = β, β +, β + } is admissible both as the greedy and as the lazy β -representation of some number x (r, l + ), and therefore x has a unique ( β)-representation. Obviously, there are uncountably many such numbers. Remark 7.3. In fact, as pointed out by one of the referees, for β > 3 the proof tells more than stated in the theorem. The set U of all numbers with ( β)-representations over the alphabet A \ 0, β } forms a self-similar set containing β copies of itself, each time β times smaller than the original set. It implies that the Hausdorff dimension of the set U equals to log β ( β ). The set of numbers with a unique ( β)-representation contains U and therefore is of Hausdorff dimension at least log β ( β ). 8. CONCLUSIONS Our main tool in this paper was to view the ( β)-representations in the alphabet A = 0,,..., β } as strings of pairs of digits in A, which amounts, in fact, to considering the alphabet B = β A + A and the base β. Such an approach puts forward the utility of studying number systems with positive base and a non-integer alphabet, as was already started by Pedicini [8] or Kalle and Steiner [6]. Obtaining new results for such systems for example analogous to those of de Vries and Komornik [3] or Schmidt [0] would probably contribute also to the knowledge about negative base systems. ACKNOWLEDGEMENTS We are grateful to the referees for careful reading and very useful suggestions.

23 Greedy and lazy representations in negative base systems 79 This work was supported by the Czech Science Foundation projects GAČR 0/09/0584 and S, and by the Grant Agency of the Czech Technical University in Prague, project SGS/6/OHK4/3T/4. (Received July 6, 0) R E F E R E N C E S [] K. Dajani and Ch. Kalle: Transformations generating negative β-expansions. Integers B (0), A5, 8. [] K. Dajani and C. Kraaikamp: From greedy to lazy expansions and their driving dynamics. Exposition. Math. 0 (00), 4, [3] M. de Vries and V. Komornik: Unique expansions of real numbers. Adv. Math. (009),, [4] P. Erdös, I. Joó, and V. Komornik: Characterization of the unique expansions = P i= q n i and related problems. Bull. Soc. Math. France 8 (990), 3, [5] S. Ito and T. Sadahiro: Beta-expansions with negative bases. Integers 9 (009), A, [6] Ch. Kalle and W. Steiner: Beta-expansions, natural extensions and multiple tilings associated with Pisot units. Trans. Amer. Math. Soc. 364 (0), [7] W. Parry: On the β-expansions of real numbers. Acta Math. Acad. Sci. Hungar. (960), [8] M. Pedicini: Greedy expansions and sets with deleted digits. Theoret. Comput. Sci. 33 (005), 3, [9] A. Rényi: Representations for real numbers and their ergodic properties. Acta Math. Acad. Sci. Hungar. 8 (957), [0] K. Schmidt: On periodic expansions of Pisot numbers and Salem numbers. Bull. London Math. Soc. (980), 4, [] W. Thurston: Groups, tilings, and finite state automata. AMS Colloquium Lecture Notes, American Mathematical Society, Boulder, 989. Tomáš Hejda, Doppler Institute for Mathematical Physics and Applied Mathematics and Department of Mathematics, FNSPE, Czech Technical University in Prague, Trojanova 3, 0 00 Praha. Czech Republic. tohecz@gmail.com Zuzana Masáková, Doppler Institute for Mathematical Physics and Applied Mathematics and Department of Mathematics, FNSPE, Czech Technical University in Prague, Trojanova 3, 0 00 Praha. Czech Republic. zuzana.masakova@fjfi.cvut.cz Edita Pelantová, Doppler Institute for Mathematical Physics and Applied Mathematics and Department of Mathematics, FNSPE, Czech Technical University in Prague, Trojanova 3, 0 00 Praha. Czech Republic. edita.pelantova@fjfi.cvut.cz

On the negative base greedy and lazy representations

On the negative base greedy and lazy representations On the negative base greedy and lazy representations Tomáš Hejda,, Zuzana Masáková, Edita Pelantová June 01 Abstract We consider positional numeration systems with negative real base β, where β > 1, and

More information

Expansions in non-integer bases

Expansions in non-integer bases Expansions in non-integer bases V. Komornik University of Strasbourg Erdős 100, Budapest July 5, 2013 V. Komornik (University of Strasbourg) Expansions in non-integer bases Budapest, July 5, 2013 1 / 26

More information

Palindromic complexity of infinite words associated with simple Parry numbers

Palindromic complexity of infinite words associated with simple Parry numbers Palindromic complexity of infinite words associated with simple Parry numbers Petr Ambrož (1)(2) Christiane Frougny (2)(3) Zuzana Masáková (1) Edita Pelantová (1) March 22, 2006 (1) Doppler Institute for

More information

Automata for arithmetic Meyer sets

Automata for arithmetic Meyer sets Author manuscript, published in "LATIN 4, Buenos-Aires : Argentine (24)" DOI : 1.17/978-3-54-24698-5_29 Automata for arithmetic Meyer sets Shigeki Akiyama 1, Frédérique Bassino 2, and Christiane Frougny

More information

GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES

GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES Journal of Applied Analysis Vol. 7, No. 1 (2001), pp. 131 150 GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES M. DINDOŠ Received September 7, 2000 and, in revised form, February

More information

KARMA DAJANI AND CHARLENE KALLE

KARMA DAJANI AND CHARLENE KALLE RANDOM -EXPANSIONS WITH DELETED DIGITS KARMA DAJANI AND CHARLENE KALLE Abstract. In this paper we define random -expansions with digits taken from a given set of real numbers A = {... }. We study a generalization

More information

Extensions naturelles des. et pavages

Extensions naturelles des. et pavages Extensions naturelles des bêta-transformations généralisées et pavages Wolfgang Steiner LIAFA, CNRS, Université Paris Diderot Paris 7 (travail en commun avec Charlene Kalle, Universiteit Utrecht, en ce

More information

Paul Glendinning and Nikita Sidorov

Paul Glendinning and Nikita Sidorov Mathematical Research Letters 8, 535 543 (2001) UNIQUE REPRESENTATIONS OF REAL NUMBERS IN NON-INTEGER BASES Paul Glendinning and Nikita Sidorov 1. Introduction Problems related to the expansions of real

More information

Digit Frequencies and Bernoulli Convolutions

Digit Frequencies and Bernoulli Convolutions Digit Frequencies and Bernoulli Convolutions Tom Kempton November 22, 202 arxiv:2.5023v [math.ds] 2 Nov 202 Abstract It is well known that the Bernoulli convolution ν associated to the golden mean has

More information

Unique Expansions of Real Numbers

Unique Expansions of Real Numbers ESI The Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Unique Expansions of Real Numbers Martijn de Vries Vilmos Komornik Vienna, Preprint ESI

More information

On the Delone property of ( β )-integers

On the Delone property of ( β )-integers On the Delone property of -integers Wolfgang Steiner LIAFA, CNRS, Université Paris Diderot Paris 7, Case 7014, 7505 Paris Cedex 13, France steiner@liafa.jussieu.fr The-integers are natural generalisations

More information

The small ball property in Banach spaces (quantitative results)

The small ball property in Banach spaces (quantitative results) The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence

More information

On negative bases.

On negative bases. On negative bases Christiane Frougny 1 and Anna Chiara Lai 2 1 LIAFA, CNRS UMR 7089, case 7014, 75205 Paris Cedex 13, France, and University Paris 8, Christiane.Frougny@liafa.jussieu.fr 2 LIAFA, CNRS UMR

More information

Minimal Digit Sets for Parallel Addition in Non-Standard Numeration Systems

Minimal Digit Sets for Parallel Addition in Non-Standard Numeration Systems 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 16 (2013), Article 13.2.17 Minimal Digit Sets for Parallel Addition in Non-Standard Numeration Systems Christiane Frougny LIAFA, CNRS UMR 7089 Case 7014

More information

Some Background Material

Some Background Material Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important

More information

ALMOST EVERY NUMBER HAS A CONTINUUM. INTRODUCTION. Let β belong to (1, 2) and write Σ =

ALMOST EVERY NUMBER HAS A CONTINUUM. INTRODUCTION. Let β belong to (1, 2) and write Σ = ALMOST EVERY NUMBER HAS A CONTINUUM OF β-expansions NIKITA SIDOROV 1. INTRODUCTION. Let β belong to (1, 2) and write Σ = 1 {0, 1}. For each x 0 we will call any representation of x of the form (1) x =

More information

Extension of continuous functions in digital spaces with the Khalimsky topology

Extension of continuous functions in digital spaces with the Khalimsky topology Extension of continuous functions in digital spaces with the Khalimsky topology Erik Melin Uppsala University, Department of Mathematics Box 480, SE-751 06 Uppsala, Sweden melin@math.uu.se http://www.math.uu.se/~melin

More information

Posets, homomorphisms and homogeneity

Posets, homomorphisms and homogeneity Posets, homomorphisms and homogeneity Peter J. Cameron and D. Lockett School of Mathematical Sciences Queen Mary, University of London Mile End Road London E1 4NS, U.K. Abstract Jarik Nešetřil suggested

More information

Topological properties of Z p and Q p and Euclidean models

Topological properties of Z p and Q p and Euclidean models Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete

More information

Acta Universitatis Carolinae. Mathematica et Physica

Acta Universitatis Carolinae. Mathematica et Physica Acta Universitatis Carolinae. Mathematica et Physica František Žák Representation form of de Finetti theorem and application to convexity Acta Universitatis Carolinae. Mathematica et Physica, Vol. 52 (2011),

More information

Generalized Thue-Morse words and palindromic richness

Generalized Thue-Morse words and palindromic richness Generalized Thue-Morse words and palindromic richness arxiv:1104.2476v3 [math.co] 10 Jul 2011 Štěpán Starosta Department of Mathematics, FNSPE, Czech Technical University in Prague, Trojanova 13, 120 00

More information

Generalized Thue-Morse words and palindromic richness extended abstract

Generalized Thue-Morse words and palindromic richness extended abstract arxiv:1104.2476v2 [math.co] 26 Apr 2011 1 Introduction Generalized Thue-Morse words and palindromic richness extended abstract Štěpán Starosta Department of Mathematics, FNSPE, Czech Technical University

More information

arxiv: v2 [math.nt] 11 Jul 2018

arxiv: v2 [math.nt] 11 Jul 2018 Bases in which some numbers have exactly two expansions Vilmos Komornik Département de mathématique, Université de Strasbourg, 7 rue René Descartes, 67084 Strasbourg Cedex, France arxiv:1705.00473v2 [math.nt]

More information

Acta Mathematica et Informatica Universitatis Ostraviensis

Acta Mathematica et Informatica Universitatis Ostraviensis Acta Mathematica et Informatica Universitatis Ostraviensis Ladislav Mišík Big set of measure zero Acta Mathematica et Informatica Universitatis Ostraviensis, Vol. 9 (2001), No. 1, 53--57 Persistent URL:

More information

ON SOME PROBLEMS OF EXPANSIONS INVESTIGATED BY P. ERDŐS ET AL.

ON SOME PROBLEMS OF EXPANSIONS INVESTIGATED BY P. ERDŐS ET AL. Annales Univ. Sci. Budapest., Sect. Comp. 45 (2016) 239 259 ON SOME PROBLEMS OF EXPANSIONS INVESTIGATED BY P. ERDŐS ET AL. Gábor Kallós (Győr, Hungary) Communicated by Imre Kátai (Received July 16, 2016;

More information

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 2: Countability and Cantor Sets Countable and Uncountable Sets The concept of countability will be important in this course

More information

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.

More information

Unique expansions with digits in ternary alphabets

Unique expansions with digits in ternary alphabets Unique expansions with digits in ternary alphabets Anna Chiara Lai Istituto per le Applicazioni del Calcolo Mauro Picone, CNR June 9, 2010 Anna Chiara Lai (IAC) June 9, 2010 1 / 18 Outline Introduction:

More information

Jónsson posets and unary Jónsson algebras

Jónsson posets and unary Jónsson algebras Jónsson posets and unary Jónsson algebras Keith A. Kearnes and Greg Oman Abstract. We show that if P is an infinite poset whose proper order ideals have cardinality strictly less than P, and κ is a cardinal

More information

A PROPERTY OF ALGEBRAIC UNIVOQUE NUMBERS

A PROPERTY OF ALGEBRAIC UNIVOQUE NUMBERS Acta Math. Hungar., 119 (1-2) (2008), 57-62. DOI: 10.1007/sl0474-007-6252-x First published online September 21, 2007 A PROPERTY OF ALGEBRAIC UNIVOQUE NUMBERS M. DE VRIES* Delft University of Technology,

More information

Beta Expansions for Regular Pisot Numbers

Beta Expansions for Regular Pisot Numbers Beta Expansions for Regular Pisot Numbers arxiv:1103.2147v1 [math.nt] 10 Mar 2011 Maysum Panju Department of Pure Mathematics University of Waterloo May 29, 2018 Abstract A beta expansion is the analogue

More information

On the lines passing through two conjugates of a Salem number

On the lines passing through two conjugates of a Salem number Under consideration for publication in Math. Proc. Camb. Phil. Soc. 1 On the lines passing through two conjugates of a Salem number By ARTŪRAS DUBICKAS Department of Mathematics and Informatics, Vilnius

More information

arxiv: v1 [math.ds] 22 Dec 2018

arxiv: v1 [math.ds] 22 Dec 2018 arxiv:1812.09446v1 [math.ds] 22 Dec 2018 An algebraic approach to entropy plateaus in non-integer base expansions Pieter C. Allaart December 27, 2018 Abstract For a positive integer M and a real base q

More information

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements

More information

Chapter 2 Metric Spaces

Chapter 2 Metric Spaces Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics

More information

Isomorphisms between pattern classes

Isomorphisms between pattern classes Journal of Combinatorics olume 0, Number 0, 1 8, 0000 Isomorphisms between pattern classes M. H. Albert, M. D. Atkinson and Anders Claesson Isomorphisms φ : A B between pattern classes are considered.

More information

Short notes on Axioms of set theory, Well orderings and Ordinal Numbers

Short notes on Axioms of set theory, Well orderings and Ordinal Numbers Short notes on Axioms of set theory, Well orderings and Ordinal Numbers August 29, 2013 1 Logic and Notation Any formula in Mathematics can be stated using the symbols and the variables,,,, =, (, ) v j

More information

Toposym 2. Zdeněk Hedrlín; Aleš Pultr; Věra Trnková Concerning a categorial approach to topological and algebraic theories

Toposym 2. Zdeněk Hedrlín; Aleš Pultr; Věra Trnková Concerning a categorial approach to topological and algebraic theories Toposym 2 Zdeněk Hedrlín; Aleš Pultr; Věra Trnková Concerning a categorial approach to topological and algebraic theories In: (ed.): General Topology and its Relations to Modern Analysis and Algebra, Proceedings

More information

NOTES ON WELL ORDERING AND ORDINAL NUMBERS. 1. Logic and Notation Any formula in Mathematics can be stated using the symbols

NOTES ON WELL ORDERING AND ORDINAL NUMBERS. 1. Logic and Notation Any formula in Mathematics can be stated using the symbols NOTES ON WELL ORDERING AND ORDINAL NUMBERS TH. SCHLUMPRECHT 1. Logic and Notation Any formula in Mathematics can be stated using the symbols,,,, =, (, ) and the variables v j : where j is a natural number.

More information

be a sequence of positive integers with a n+1 a n lim inf n > 2. [α a n] α a n

be a sequence of positive integers with a n+1 a n lim inf n > 2. [α a n] α a n Rend. Lincei Mat. Appl. 8 (2007), 295 303 Number theory. A transcendence criterion for infinite products, by PIETRO CORVAJA and JAROSLAV HANČL, communicated on May 2007. ABSTRACT. We prove a transcendence

More information

Czechoslovak Mathematical Journal

Czechoslovak Mathematical Journal Czechoslovak Mathematical Journal Oktay Duman; Cihan Orhan µ-statistically convergent function sequences Czechoslovak Mathematical Journal, Vol. 54 (2004), No. 2, 413 422 Persistent URL: http://dml.cz/dmlcz/127899

More information

arxiv: v2 [math.ca] 4 Jun 2017

arxiv: v2 [math.ca] 4 Jun 2017 EXCURSIONS ON CANTOR-LIKE SETS ROBERT DIMARTINO AND WILFREDO O. URBINA arxiv:4.70v [math.ca] 4 Jun 07 ABSTRACT. The ternary Cantor set C, constructed by George Cantor in 883, is probably the best known

More information

NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES

NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES JUHA LEHRBÄCK Abstract. We establish necessary conditions for domains Ω R n which admit the pointwise (p, β)-hardy inequality u(x) Cd Ω(x)

More information

Generalized Pigeonhole Properties of Graphs and Oriented Graphs

Generalized Pigeonhole Properties of Graphs and Oriented Graphs Europ. J. Combinatorics (2002) 23, 257 274 doi:10.1006/eujc.2002.0574 Available online at http://www.idealibrary.com on Generalized Pigeonhole Properties of Graphs and Oriented Graphs ANTHONY BONATO, PETER

More information

Toposym Kanpur. T. Soundararajan Weakly Hausdorff spaces and the cardinality of topological spaces

Toposym Kanpur. T. Soundararajan Weakly Hausdorff spaces and the cardinality of topological spaces Toposym Kanpur T. Soundararajan Weakly Hausdorff spaces and the cardinality of topological spaces In: Stanley P. Franklin and Zdeněk Frolík and Václav Koutník (eds.): General Topology and Its Relations

More information

Löwenheim-Skolem Theorems, Countable Approximations, and L ω. David W. Kueker (Lecture Notes, Fall 2007)

Löwenheim-Skolem Theorems, Countable Approximations, and L ω. David W. Kueker (Lecture Notes, Fall 2007) Löwenheim-Skolem Theorems, Countable Approximations, and L ω 0. Introduction David W. Kueker (Lecture Notes, Fall 2007) In its simplest form the Löwenheim-Skolem Theorem for L ω1 ω states that if σ L ω1

More information

Section 2: Classes of Sets

Section 2: Classes of Sets Section 2: Classes of Sets Notation: If A, B are subsets of X, then A \ B denotes the set difference, A \ B = {x A : x B}. A B denotes the symmetric difference. A B = (A \ B) (B \ A) = (A B) \ (A B). Remarks

More information

Notes on Ordered Sets

Notes on Ordered Sets Notes on Ordered Sets Mariusz Wodzicki September 10, 2013 1 Vocabulary 1.1 Definitions Definition 1.1 A binary relation on a set S is said to be a partial order if it is reflexive, x x, weakly antisymmetric,

More information

The van der Corput embedding of ax + b and its interval exchange map approximation

The van der Corput embedding of ax + b and its interval exchange map approximation The van der Corput embedding of ax + b and its interval exchange map approximation Yuihiro HASHIMOTO Department of Mathematics Education Aichi University of Education Kariya 448-854 Japan Introduction

More information

Archivum Mathematicum

Archivum Mathematicum Archivum Mathematicum Zdeněk Dušek; Oldřich Kowalski How many are affine connections with torsion Archivum Mathematicum, Vol. 50 (2014), No. 5, 257 264 Persistent URL: http://dml.cz/dmlcz/144068 Terms

More information

COMBINATORICS OF LINEAR ITERATED FUNCTION SYSTEMS WITH OVERLAPS

COMBINATORICS OF LINEAR ITERATED FUNCTION SYSTEMS WITH OVERLAPS COMBINATORICS OF LINEAR ITERATED FUNCTION SYSTEMS WITH OVERLAPS NIKITA SIDOROV ABSTRACT. Let p 0,..., p m 1 be points in R d, and let {f j } m 1 j=0 similitudes of R d : be a one-parameter family of f

More information

A NEW COMBINATORIAL FORMULA FOR CLUSTER MONOMIALS OF EQUIORIENTED TYPE A QUIVERS

A NEW COMBINATORIAL FORMULA FOR CLUSTER MONOMIALS OF EQUIORIENTED TYPE A QUIVERS A NEW COMBINATORIAL FORMULA FOR CLUSTER MONOMIALS OF EQUIORIENTED TYPE A QUIVERS D. E. BAYLERAN, DARREN J. FINNIGAN, ALAA HAJ ALI, KYUNGYONG LEE, CHRIS M. LOCRICCHIO, MATTHEW R. MILLS, DANIEL PUIG-PEY

More information

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved. Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

Solutions to Tutorial 8 (Week 9)

Solutions to Tutorial 8 (Week 9) The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/

More information

INITIAL POWERS OF STURMIAN SEQUENCES

INITIAL POWERS OF STURMIAN SEQUENCES INITIAL POWERS OF STURMIAN SEQUENCES VALÉRIE BERTHÉ, CHARLES HOLTON, AND LUCA Q. ZAMBONI Abstract. We investigate powers of prefixes in Sturmian sequences. We obtain an explicit formula for ice(ω), the

More information

Words with the Smallest Number of Closed Factors

Words with the Smallest Number of Closed Factors Words with the Smallest Number of Closed Factors Gabriele Fici Zsuzsanna Lipták Abstract A word is closed if it contains a factor that occurs both as a prefix and as a suffix but does not have internal

More information

A PLANAR SOBOLEV EXTENSION THEOREM FOR PIECEWISE LINEAR HOMEOMORPHISMS

A PLANAR SOBOLEV EXTENSION THEOREM FOR PIECEWISE LINEAR HOMEOMORPHISMS A PLANAR SOBOLEV EXTENSION THEOREM FOR PIECEWISE LINEAR HOMEOMORPHISMS EMANUELA RADICI Abstract. We prove that a planar piecewise linear homeomorphism ϕ defined on the boundary of the square can be extended

More information

VAUGHT S THEOREM: THE FINITE SPECTRUM OF COMPLETE THEORIES IN ℵ 0. Contents

VAUGHT S THEOREM: THE FINITE SPECTRUM OF COMPLETE THEORIES IN ℵ 0. Contents VAUGHT S THEOREM: THE FINITE SPECTRUM OF COMPLETE THEORIES IN ℵ 0 BENJAMIN LEDEAUX Abstract. This expository paper introduces model theory with a focus on countable models of complete theories. Vaught

More information

#A36 INTEGERS 12 (2012) FACTOR FREQUENCIES IN LANGUAGES INVARIANT UNDER SYMMETRIES PRESERVING FACTOR FREQUENCIES

#A36 INTEGERS 12 (2012) FACTOR FREQUENCIES IN LANGUAGES INVARIANT UNDER SYMMETRIES PRESERVING FACTOR FREQUENCIES #A36 INTEGERS 2 (202) FACTOR FREQUENCIES IN LANGUAGES INVARIANT UNDER SYMMETRIES PRESERVING FACTOR FREQUENCIES L ubomíra Balková Department of Mathematics, Faculty of Nuclear Sciences and Physical Engineering,

More information

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

Part III. 10 Topological Space Basics. Topological Spaces

Part III. 10 Topological Space Basics. Topological Spaces Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.

More information

S-adic sequences A bridge between dynamics, arithmetic, and geometry

S-adic sequences A bridge between dynamics, arithmetic, and geometry S-adic sequences A bridge between dynamics, arithmetic, and geometry J. M. Thuswaldner (joint work with P. Arnoux, V. Berthé, M. Minervino, and W. Steiner) Marseille, November 2017 PART 3 S-adic Rauzy

More information

On the concrete complexity of the successor function

On the concrete complexity of the successor function On the concrete complexity of the successor function M. Rigo joint work with V. Berthé, Ch. Frougny, J. Sakarovitch http://www.discmath.ulg.ac.be/ http://orbi.ulg.ac.be/handle/2268/30094 Let s start with

More information

arxiv: v1 [math.fa] 14 Jul 2018

arxiv: v1 [math.fa] 14 Jul 2018 Construction of Regular Non-Atomic arxiv:180705437v1 [mathfa] 14 Jul 2018 Strictly-Positive Measures in Second-Countable Locally Compact Non-Atomic Hausdorff Spaces Abstract Jason Bentley Department of

More information

Math 354 Transition graphs and subshifts November 26, 2014

Math 354 Transition graphs and subshifts November 26, 2014 Math 54 Transition graphs and subshifts November 6, 04. Transition graphs Let I be a closed interval in the real line. Suppose F : I I is function. Let I 0, I,..., I N be N closed subintervals in I with

More information

The Power of Extra Analog Neuron. Institute of Computer Science Academy of Sciences of the Czech Republic

The Power of Extra Analog Neuron. Institute of Computer Science Academy of Sciences of the Czech Republic The Power of Extra Analog Neuron Jiří Šíma Institute of Computer Science Academy of Sciences of the Czech Republic (Artificial) Neural Networks (NNs) 1. mathematical models of biological neural networks

More information

Linear distortion of Hausdorff dimension and Cantor s function

Linear distortion of Hausdorff dimension and Cantor s function Collect. Math. 57, 2 (2006), 93 20 c 2006 Universitat de Barcelona Linear distortion of Hausdorff dimension and Cantor s function O. Dovgoshey and V. Ryazanov Institute of Applied Mathematics and Mechanics,

More information

Chapter One. The Real Number System

Chapter One. The Real Number System Chapter One. The Real Number System We shall give a quick introduction to the real number system. It is imperative that we know how the set of real numbers behaves in the way that its completeness and

More information

Supplementary Notes for W. Rudin: Principles of Mathematical Analysis

Supplementary Notes for W. Rudin: Principles of Mathematical Analysis Supplementary Notes for W. Rudin: Principles of Mathematical Analysis SIGURDUR HELGASON In 8.00B it is customary to cover Chapters 7 in Rudin s book. Experience shows that this requires careful planning

More information

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved. Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124

More information

beta-numeration and Rauzy fractals for non-unit Pisot numbers

beta-numeration and Rauzy fractals for non-unit Pisot numbers beta-numeration and Rauzy fractals for non-unit Pisot numbers Anne Siegel (Irisa, CNRS, Rennes) Kanazawa, June 05 Overview β-expansion: expand a positive real number in a non-integer Pisot basis β Represent

More information

Solution. 1 Solutions of Homework 1. 2 Homework 2. Sangchul Lee. February 19, Problem 1.2

Solution. 1 Solutions of Homework 1. 2 Homework 2. Sangchul Lee. February 19, Problem 1.2 Solution Sangchul Lee February 19, 2018 1 Solutions of Homework 1 Problem 1.2 Let A and B be nonempty subsets of R + :: {x R : x > 0} which are bounded above. Let us define C = {xy : x A and y B} Show

More information

EXPANSIONS IN NON-INTEGER BASES: LOWER, MIDDLE AND TOP ORDERS

EXPANSIONS IN NON-INTEGER BASES: LOWER, MIDDLE AND TOP ORDERS EXPANSIONS IN NON-INTEGER BASES: LOWER, MIDDLE AND TOP ORDERS NIKITA SIDOROV To the memory o Bill Parry ABSTRACT. Let q (1, 2); it is known that each x [0, 1/(q 1)] has an expansion o the orm x = n=1 a

More information

METRIC HEIGHTS ON AN ABELIAN GROUP

METRIC HEIGHTS ON AN ABELIAN GROUP ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 6, 2014 METRIC HEIGHTS ON AN ABELIAN GROUP CHARLES L. SAMUELS ABSTRACT. Suppose mα) denotes the Mahler measure of the non-zero algebraic number α.

More information

Solving a linear equation in a set of integers II

Solving a linear equation in a set of integers II ACTA ARITHMETICA LXXII.4 (1995) Solving a linear equation in a set of integers II by Imre Z. Ruzsa (Budapest) 1. Introduction. We continue the study of linear equations started in Part I of this paper.

More information

4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu**

4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu** 4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN Robin Thomas* Xingxing Yu** School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332, USA May 1991, revised 23 October 1993. Published

More information

THE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM

THE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM Bull. Aust. Math. Soc. 88 (2013), 267 279 doi:10.1017/s0004972713000348 THE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM MICHAEL F. BARNSLEY and ANDREW VINCE (Received 15 August 2012; accepted 21 February

More information

ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM

ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM ALEXANDER KUPERS Abstract. These are notes on space-filling curves, looking at a few examples and proving the Hahn-Mazurkiewicz theorem. This theorem

More information

IN CUBIC SALEM BASE IN F q ((X 1 )) Faïza Mahjoub

IN CUBIC SALEM BASE IN F q ((X 1 )) Faïza Mahjoub PUBLICATIONS DE L INSTITUT MATHÉMATIQUE Nouvelle série, tome 100(114) (2016), 279 285 DOI: 10.2298/PIM1614279M PURELY PERIODIC -EXPANSIONS IN CUBIC SALEM BASE IN F q ((X 1 )) Faïza Mahjoub Abstract. Let

More information

2. The Concept of Convergence: Ultrafilters and Nets

2. The Concept of Convergence: Ultrafilters and Nets 2. The Concept of Convergence: Ultrafilters and Nets NOTE: AS OF 2008, SOME OF THIS STUFF IS A BIT OUT- DATED AND HAS A FEW TYPOS. I WILL REVISE THIS MATE- RIAL SOMETIME. In this lecture we discuss two

More information

Introduction to Real Analysis Alternative Chapter 1

Introduction to Real Analysis Alternative Chapter 1 Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces

More information

ON THE CORE OF A GRAPHf

ON THE CORE OF A GRAPHf ON THE CORE OF A GRAPHf By FRANK HARARY and MICHAEL D. PLUMMER [Received 8 October 1965] 1. Introduction Let G be a graph. A set of points M is said to cover all the lines of G if every line of G has at

More information

Approximation by polynomials with bounded coefficients

Approximation by polynomials with bounded coefficients Journal of Number Theory 27 (2007) 03 7 www.elsevier.com/locate/jnt Approximation by polynomials with bounded coefficients Toufik Zaimi Département de mathématiques, Centre universitaire Larbi Ben M hidi,

More information

MEASURABLE 3-COLORINGS OF ACYCLIC GRAPHS CLINTON T. CONLEY AND BENJAMIN D. MILLER

MEASURABLE 3-COLORINGS OF ACYCLIC GRAPHS CLINTON T. CONLEY AND BENJAMIN D. MILLER MEASURABLE 3-COLORINGS OF ACYCLIC GRAPHS CLINTON T. CONLEY AND BENJAMIN D. MILLER Abstract. This is the first of two lectures on measurable chromatic numbers given in June 2010 at the University of Barcelona.

More information

Functional Analysis HW #3

Functional Analysis HW #3 Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform

More information

Ahlswede Khachatrian Theorems: Weighted, Infinite, and Hamming

Ahlswede Khachatrian Theorems: Weighted, Infinite, and Hamming Ahlswede Khachatrian Theorems: Weighted, Infinite, and Hamming Yuval Filmus April 4, 2017 Abstract The seminal complete intersection theorem of Ahlswede and Khachatrian gives the maximum cardinality of

More information

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8. P-adic numbers. 8.1 Absolute values Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

More information

Week Some Warm-up Questions

Week Some Warm-up Questions 1 Some Warm-up Questions Week 1-2 Abstraction: The process going from specific cases to general problem. Proof: A sequence of arguments to show certain conclusion to be true. If... then... : The part after

More information

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals MATH 02 INTRODUCTION TO MATHEMATICAL ANALYSIS Properties of Real Numbers Some Fundamentals The whole course will be based entirely on the study of sequence of numbers and functions defined on the real

More information

Measure and integration

Measure and integration Chapter 5 Measure and integration In calculus you have learned how to calculate the size of different kinds of sets: the length of a curve, the area of a region or a surface, the volume or mass of a solid.

More information

Kybernetika. Daniel Reidenbach; Markus L. Schmid Automata with modulo counters and nondeterministic counter bounds

Kybernetika. Daniel Reidenbach; Markus L. Schmid Automata with modulo counters and nondeterministic counter bounds Kybernetika Daniel Reidenbach; Markus L. Schmid Automata with modulo counters and nondeterministic counter bounds Kybernetika, Vol. 50 (2014), No. 1, 66 94 Persistent URL: http://dml.cz/dmlcz/143764 Terms

More information

3 COUNTABILITY AND CONNECTEDNESS AXIOMS

3 COUNTABILITY AND CONNECTEDNESS AXIOMS 3 COUNTABILITY AND CONNECTEDNESS AXIOMS Definition 3.1 Let X be a topological space. A subset D of X is dense in X iff D = X. X is separable iff it contains a countable dense subset. X satisfies the first

More information

Partial cubes: structures, characterizations, and constructions

Partial cubes: structures, characterizations, and constructions Partial cubes: structures, characterizations, and constructions Sergei Ovchinnikov San Francisco State University, Mathematics Department, 1600 Holloway Ave., San Francisco, CA 94132 Abstract Partial cubes

More information

Correlation dimension for self-similar Cantor sets with overlaps

Correlation dimension for self-similar Cantor sets with overlaps F U N D A M E N T A MATHEMATICAE 155 (1998) Correlation dimension for self-similar Cantor sets with overlaps by Károly S i m o n (Miskolc) and Boris S o l o m y a k (Seattle, Wash.) Abstract. We consider

More information

Kybernetika. Sebastian Fuchs Multivariate copulas: Transformations, symmetry, order and measures of concordance

Kybernetika. Sebastian Fuchs Multivariate copulas: Transformations, symmetry, order and measures of concordance Kybernetika Sebastian Fuchs Multivariate copulas: Transformations, symmetry, order and measures of concordance Kybernetika, Vol. 50 2014, No. 5, 725 743 Persistent URL: http://dml.cz/dmlcz/144103 Terms

More information

Chapter 3 Continuous Functions

Chapter 3 Continuous Functions Continuity is a very important concept in analysis. The tool that we shall use to study continuity will be sequences. There are important results concerning the subsets of the real numbers and the continuity

More information

Geometric and isoperimetric properties of sets of positive reach in E d

Geometric and isoperimetric properties of sets of positive reach in E d Geometric and isoperimetric properties of sets of positive reach in E d Andrea Colesanti and Paolo Manselli Abstract Some geometric facts concerning sets of reach R > 0 in the n dimensional Euclidean space

More information

Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets

Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets Ole Christensen, Alexander M. Lindner Abstract We characterize Riesz frames and prove that every Riesz frame

More information