Substitutions and symbolic dynamical systems, Lecture 7: The Rudin-Shapiro, Fibonacci and Chacon sequences

Size: px
Start display at page:

Download "Substitutions and symbolic dynamical systems, Lecture 7: The Rudin-Shapiro, Fibonacci and Chacon sequences"

Transcription

1 Substitutions and symbolic dynamical systems, Lecture 7: The Rudin-Shapiro, Fibonacci and Chacon sequences 18 mars 2015

2 The Rudin-Shapiro sequence The Rudin-Shapiro sequence is the fixed point u beginning by a of the substitution a ab,,b ac, c db, d dc We have u n = a or b if and only if there is an even number of 11 in the expansion of n in base 2. Let v be the sequence defined from u replacing a,b by 1 and c,d by 1. It is the limit of the sequence A n defined by A n+1 = A n B n and B n+1 = A n ( B n ). (set A n = φ(σ n (a)) and B n = φ(σ n (b)). It is a 2 automatic sequence (see Lecture 3).

3 The complexity of u is 8n 8 for n 2 and v has asymptotically the same complexity. The systems X u and X v are topologically conjugate. The system (X u,s) has rank at most four and is a four-point extension of the dyadic rotation. One has S(w,e) = (Sw,φ(w)e) for a map φ of Y (the dyadic rotation) into the symmetric group on four points.

4 The Fibonacci sequence The Fibonacci sequence is the fixed point u of the substitution a ab, b a. The system (X u,s) is uniquely ergodic as a consequence of the following result. Proposition If u is a fixed point of a primitive substitution, then (X u,s) is uniquely ergodic. We use, as for the Morse sequence, the fact that if (X u,s) has uniform frequencies, i.e. if N(W,u k u k+n 1 )/n tends to a limit uniformly in k, then it is uniformly ergodic (see Lecture 6).

5 Te Fibonacci sequence has complexity n+1 (it is Sturmian). More generally, one has Proposition The fixed points of a primitive substitution have at most linear complexity. For every n there is p such that inf a A σp 1 (a) n inf a A σp (a) Every word of length n can then be included in σ p (ab). Since there are at most K = Card(A) 2 possible choices for a,b, p u (n) 2Kdα p < 2K d c αn where (by Perron-Frobenius), c, d are such that cα p < inf a A σ p (a) < sup σ p (a) < dα p a A

6 The ternary Chacon sequence The Chacon substitution O 0012, 1 12, is primitive. Thus the system (X 0,S) associated with the fixed point v beginning with 0 is uniquely ergodic. Note that v begins with the word w n defined by w 0 = 0 and w n+1 = w n w n 1w n where w n is obtained from w n by changing the first letter from 0 to 2.

7 The binary Chacon sequence Let u be the sequence beginning with b n, where b 0 = 0 and b n+1 = b n b n 1b n. The system (X,S) is called the Chacon map. Note that u is the fixed point of the non-primitive morphism , 1 1. We send X 0 onto X by replacing every 2 by 0. To come back, we replace 0 by 2 whenever there is a 1 just before. The two systems are conjugate and thus (X,S) also is uniquely ergodic. Let µ be its invariant measure.

8 The system (X,S) is of rank 1, with the following constuction. We cut the interval [0,1[ into two intervals P 0,P 1 of lengths 2/3 and 1/3 and we take F 0 = P 0. We cut F 0 into three intervals of equal length. The transformation sends the fist one to the second one, the second one to a subinterval a 1 of P 1 beginnning at the left end of P 1 with the corresponding length 2/9 and this interval is send to the third piece of P 0. At step n, we cut the n-th stack into three equal columns and send the top of the first one to the bottom of the second one, the top of the second one to a subinterval a n+1 of P 1 of corresponding length and this subinterval to the bottom of the last column.

9 4/9 2/3 F 0 = P 0 a 1 2/9 4/9 0 2/3 1 P 0 P 1 0 2/9 a 1 F 1

10 The P-name of a point w X is the sequence P(w) such that P(w) n = i whenever S n w P i. By associating to a point its P-name, we send the basis F n of the n-th stack to the cylinder [u 0,...,u hn 1] where h 0 = 1 and h n+1 = 3h n +1, and thus h n = 3n Note that n = 1 a n = P 0 and that the Lebesgue measure of the n-th stack hn 1 i=0 Si F n tends to 1.

11 The word b n = u 0 u hn 1 is called the n-block. The symbols 1 are called spacers. Proposition The Chacon system is weakly mixing : there are no eigenfunctions in L 2 (X,µ) except the constants, which are simple. Let f be an eigenfuction for the eigenvalue λ, of norm 1. We approximate f in L 2 (X,µ) by a sequence of functions f n of norm 1 constant on the levels of the n-stack. Let C 1, C 2 be the first and second column of the n-stack. Their measure is close to 1/3, larger than 1/4 and f n (S hn ) λf n 2 2( f n (S hn ) f(s hn ) 2 + λ hn f λ hn f n 2 ) C 1 C 1 C 1 < 4ε for n large enough. But as f n is constant on the levels of the n-stack, S hn f n = f n on C 1 and so λ hn 1 2 < 8ε if n is large enough.

12 But since f n is constant on the levels of the levels of the n-stack, S hn f n = f n on C 1 and so λ hn 1 2 < 16ε if n is large enough. In the same way, S h n+1 f n = f n on C 2 implies that λ hn < 16ε if n is large enough. We conclude that λ = 1 and it is a simple value because unique ergodicity implies ergodicity.

13 Ergodicity and mixing A transformation T is ergodic if and only if for every pair of measurable sets A and B lim n k=0 n 1 µ(a T k B) = µ(a)µ(b). The transformation T is weakly mixing if and only if for every pair of measurable sets A and B 1 n 1 lim µ(a T k B) µ(a)µ(b) = 0. n n k=0 The transformation T is strongly mixing if and only if for every pair of measurable sets A and B lim n µ(a Tn B) = µ(a)µ(b).

14 Proposition The Chacon map is not strongly mixing. Indeed, µ(s hp F n F n ) > 1/4µ(F n ) if p n while µ(f n ) < 1/4 if n 2.

15 Proposition The complexity of u is p n (u) = 2n 1 if n 2 and the complexity of v is p v (n) = 2n+1 for n 0. Two pairs of factors of length n of v give the same factor of u : the left extensions of the two left special factors of length n 1. For n = 4 : the pair (0012,2012) gives 0010 and the pair (0120, 2102) gives The proof that v has complexity 2n+1 can follow the path below (distinct from the P. Fogg).

16 Special and neutral words For a word x is the set S of factors of v, let l(x) = Card{a A ax S}, e(x) = Card{(a,b) A A axb S}, r(x) = Card{a A xa S}, m(x) = e(x) l(x) r(x)+1. A word is left-special if l(x) 2, right-special if r(x) 2, bispecial if it is left and right special. A word is neutral if m(x) = 0. Note that m(x) 1 is the number of edges minus the number of vertices of the graph E(x) = {(a,b) A axb S}.

17 We set s n = p n+1 p n, b n = s n+1 s n. Proposition One has b n = x S A n m(x). This is easy since m(x) = (e(x) l(x) r(x)+1) x S A n x S A n = p n+2 p n+1 p n+1 p n = s n+1 s n = b n.

18 Proposition For each length n 0, we have either 1 No bispecial factor, 2 One bispecial factor which is neutral, 3 Two bispecial factors of multiplicity 1 and 1. The neutral bispecial factors are the words τ n (0) where τ(x) = 012σ(0). Their length is a multiple of 3. The pairs of bispecial factors of opposite mutiplicity are the (τ n (012),τ n (120)). The first one has multiplicity 1, the second one 1.

19 The right-special words

20 Proposition The induced map of Chacon s transformation on the cylinder w 0 = 0 is semitopologically conjugate to the triadic rotation. We consider the substitution τ : a aab,b bab. Its fixed point beginning with a is deduced from the binary Chacon sequence by 0 a,10 b. Let T be the induced map of S on the cylinder Y = [0]. We have Tw = Sw if w 0 = w 1 = 0 and Tw = S 2 w if w 0 = w 1 = 1. Call Q a,q b these cylinders. Code the trajectory of a point w under T by w n = a if T n w Q a and w n = b if T n w Q b. The dynamical system ossociated with τ is topologically conjugate with (Y,T). The structure of the system associated with τ can be analysed in the same way as for the Morse system, showing that it is a coding of the triadic rotation.

21 Representation by Rokhlin stacks A sequence of partitions P n = {P n 1,...,Pn k n } generates a measure-theoretic dynamical system (X,T,µ) if there is a set E with µ(e) = 0 such that for every pair (x,x ) (X \E) 2 if x,x are in the same set of the partition P n for all n 0, then x = x.

22 A system (X,T,µ) has rank one if 1 there exits sequences of positive integers (q n ) n 0 and (a n,i ) n 0,1 i qn 1 such that the sequence of integers h n defined by h 0 = 1 and h n+1 = q n h n + q n 1 j=1 a n,i satisfies n=0 h n+1 q n h n h n+1 < 2 There exist subsets of X denoted by (F n ) n 0, by (F n,i ) n 0,1 i qn and by (C n,i,j ) n 0,2 i qn,1 j a n,i such that for every n,

23 1 (F n,i ) 1 i qn is a partition of F n, 2 The sets (T k F n ) 0 k hn 1 are disjoint, 3 T hn F n,i = Cn,i,1 if a n,i 0 and i < q n, 4 T hn F n,i = F n,i+1 if a n,i = 0 if i < q n. 5 TC n,i,j = C n,i,j+1 if j < a n,i, 6 TC n,i,an,i = F n,i+1 if i < q n 7 F n+1 = F n,1.

24 3 the sequence of partitions P n = {F n,tf n,...,t hn 1 F n,x \ hn 1 k=0 Tk F n } generates the system (X,T,µ). The union of the (T k F n ) 1 k hn 1 is called a Rokhlin stack of base F n. We say that the system is generated by the sequence of Rokhlin stacks with base F n. If we replace the sequence of partitions P n by {F n,0,tf n,0,...,t hn,0 1 F n,0,...,f n,1,tf n,1,...,t hn,1 1 F n,1,x \ p=0,1 hn,p 1 k=0 T k F n,p }, we have a system of rank two. The sets C n,i,j correspond to letters called the spacers in the associated symbolic sequence. We will show that the Morse system has rank two with F n,e = σ n [e], h n = 2 n and q n = 2 (and thus q n = 2 and a n,i = 0).

25 Proposition We have for all n 0 X u = e=0,1 2n 1 k=0 Sk σ n [e] Proposition We have for all n 0 and e = 0 or 1, σ n [e] = [σ n (e)σ n (0)] [σ n (e)σ n (1)] and σ n [e] = σ n+1 [e] S 2n σ n+1 [e ]

26 We set F n,e = σ n [e] and at stage n, we have two Rokhlin stacks 2n 1 k=0 Sk F n,e with bases F n,0 and F n,1, with height 2 n whose levels S k F n,e are disjoint sets of measure 2 n 1. The shift map sends each level of each stack, except the top ones, onto the level immediately above. We cut F n,e into two subsets of equal measure F n+1,e = σ n+1 [e] and H n+1,e = S 2n σ n+1 [e]. The shift map sends S 2n 1 F n+1,0 onto H n+1,1. This defines the (n+1)-stacks, which will have height 2 n+1.

27 F n,0 F n,1 F n+1,0 F n+1,1 F n+1,0 F n+1,1

l(y j ) = 0 for all y j (1)

l(y j ) = 0 for all y j (1) Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that

More information

MATH 614 Dynamical Systems and Chaos Lecture 38: Ergodicity (continued). Mixing.

MATH 614 Dynamical Systems and Chaos Lecture 38: Ergodicity (continued). Mixing. MATH 614 Dynamical Systems and Chaos Lecture 38: Ergodicity (continued). Mixing. Ergodic theorems Let (X,B,µ) be a measured space and T : X X be a measure-preserving transformation. Birkhoff s Ergodic

More information

A Short Introduction to Ergodic Theory of Numbers. Karma Dajani

A Short Introduction to Ergodic Theory of Numbers. Karma Dajani A Short Introduction to Ergodic Theory of Numbers Karma Dajani June 3, 203 2 Contents Motivation and Examples 5 What is Ergodic Theory? 5 2 Number Theoretic Examples 6 2 Measure Preserving, Ergodicity

More information

Waiting times, recurrence times, ergodicity and quasiperiodic dynamics

Waiting times, recurrence times, ergodicity and quasiperiodic dynamics Waiting times, recurrence times, ergodicity and quasiperiodic dynamics Dong Han Kim Department of Mathematics, The University of Suwon, Korea Scuola Normale Superiore, 22 Jan. 2009 Outline Dynamical Systems

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 REVIEW OF PART 1 Sturmian

More information

Integration on Measure Spaces

Integration on Measure Spaces Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of

More information

Real Variables: Solutions to Homework 3

Real Variables: Solutions to Homework 3 Real Variables: Solutions to Homework 3 September 3, 011 Exercise 0.1. Chapter 3, # : Show that the cantor set C consists of all x such that x has some triadic expansion for which every is either 0 or.

More information

ERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES. 0. Introduction

ERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES. 0. Introduction Acta Math. Univ. Comenianae Vol. LXXI, 2(2002), pp. 201 210 201 ERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES G. R. GOODSON Abstract. We investigate the question of when an ergodic automorphism

More information

FACTOR MAPS BETWEEN TILING DYNAMICAL SYSTEMS KARL PETERSEN. systems which cannot be achieved by working within a nite window. By. 1.

FACTOR MAPS BETWEEN TILING DYNAMICAL SYSTEMS KARL PETERSEN. systems which cannot be achieved by working within a nite window. By. 1. FACTOR MAPS BETWEEN TILING DYNAMICAL SYSTEMS KARL PETERSEN Abstract. We show that there is no Curtis-Hedlund-Lyndon Theorem for factor maps between tiling dynamical systems: there are codes between such

More information

Chapter 5. Measurable Functions

Chapter 5. Measurable Functions Chapter 5. Measurable Functions 1. Measurable Functions Let X be a nonempty set, and let S be a σ-algebra of subsets of X. Then (X, S) is a measurable space. A subset E of X is said to be measurable if

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

Lecture 16 Symbolic dynamics.

Lecture 16 Symbolic dynamics. Lecture 16 Symbolic dynamics. 1 Symbolic dynamics. The full shift on two letters and the Baker s transformation. 2 Shifts of finite type. 3 Directed multigraphs. 4 The zeta function. 5 Topological entropy.

More information

Probability and Measure

Probability and Measure Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability

More information

consists of two disjoint copies of X n, each scaled down by 1,

consists of two disjoint copies of X n, each scaled down by 1, Homework 4 Solutions, Real Analysis I, Fall, 200. (4) Let be a topological space and M be a σ-algebra on which contains all Borel sets. Let m, µ be two positive measures on M. Assume there is a constant

More information

Disintegration into conditional measures: Rokhlin s theorem

Disintegration into conditional measures: Rokhlin s theorem Disintegration into conditional measures: Rokhlin s theorem Let Z be a compact metric space, µ be a Borel probability measure on Z, and P be a partition of Z into measurable subsets. Let π : Z P be the

More information

Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets

Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R

More information

4. Ergodicity and mixing

4. Ergodicity and mixing 4. Ergodicity and mixing 4. Introduction In the previous lecture we defined what is meant by an invariant measure. In this lecture, we define what is meant by an ergodic measure. The primary motivation

More information

SARNAK S CONJECTURE FOR SOME AUTOMATIC SEQUENCES. S. Ferenczi, J. Ku laga-przymus, M. Lemańczyk, C. Mauduit

SARNAK S CONJECTURE FOR SOME AUTOMATIC SEQUENCES. S. Ferenczi, J. Ku laga-przymus, M. Lemańczyk, C. Mauduit SARNAK S CONJECTURE FOR SOME AUTOMATIC SEQUENCES S. Ferenczi, J. Ku laga-przymus, M. Lemańczyk, C. Mauduit 1 ARITHMETICAL NOTIONS Möbius function µp1q 1,µpp 1...p s q p 1q s if p 1,...,p s are distinct

More information

Real Analysis Chapter 1 Solutions Jonathan Conder

Real Analysis Chapter 1 Solutions Jonathan Conder 3. (a) Let M be an infinite σ-algebra of subsets of some set X. There exists a countably infinite subcollection C M, and we may choose C to be closed under taking complements (adding in missing complements

More information

+ = x. ± if x > 0. if x < 0, x

+ = x. ± if x > 0. if x < 0, x 2 Set Functions Notation Let R R {, + } and R + {x R : x 0} {+ }. Here + and are symbols satisfying obvious conditions: for any real number x R : < x < +, (± + (± x + (± (± + x ±, (± (± + and (± (, ± if

More information

Weak disjointness of measure preserving dynamical systems

Weak disjointness of measure preserving dynamical systems Weak disjointness of measure preserving dynamical systems Emmanuel Lesigne, Benoît Rittaud, Thierry De La Rue To cite this version: Emmanuel Lesigne, Benoît Rittaud, Thierry De La Rue. Weak disjointness

More information

Chapter 4. Measure Theory. 1. Measure Spaces

Chapter 4. Measure Theory. 1. Measure Spaces Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if

More information

Notes for Junior Seminar

Notes for Junior Seminar Notes for Junior Seminar Princeton Math Members Spring 2014 Abstract These are a compilation of lecture notes from MAT983 - Ergodic and Dynamic Properties of Shift Spaces. They are based on Chapters 1,

More information

Ergodic Theory. Constantine Caramanis. May 6, 1999

Ergodic Theory. Constantine Caramanis. May 6, 1999 Ergodic Theory Constantine Caramanis ay 6, 1999 1 Introduction Ergodic theory involves the study of transformations on measure spaces. Interchanging the words measurable function and probability density

More information

COBHAM S THEOREM AND SUBSTITUTION SUBSHIFTS

COBHAM S THEOREM AND SUBSTITUTION SUBSHIFTS COBHAM S THEOREM AND SUBSTITUTION SUBSHIFTS FABIEN DURAND Abstract. This lecture intends to propose a first contact with subshift dynamical systems through the study of a well known family: the substitution

More information

Lecture 4. Entropy and Markov Chains

Lecture 4. Entropy and Markov Chains preliminary version : Not for diffusion Lecture 4. Entropy and Markov Chains The most important numerical invariant related to the orbit growth in topological dynamical systems is topological entropy.

More information

arxiv: v3 [math.ds] 23 May 2017

arxiv: v3 [math.ds] 23 May 2017 INVARIANT MEASURES FOR CARTESIAN POWERS OF CHACON INFINITE TRANSFORMATION arxiv:1505.08033v3 [math.ds] 23 May 2017 ÉLISE JANVRESSE, EMMANUEL ROY AND THIERRY DE LA RUE Abstract. We describe all boundedly

More information

Lebesgue Measure on R n

Lebesgue Measure on R n CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets

More information

Entropy dimensions and a class of constructive examples

Entropy dimensions and a class of constructive examples Entropy dimensions and a class of constructive examples Sébastien Ferenczi Institut de Mathématiques de Luminy CNRS - UMR 6206 Case 907, 63 av. de Luminy F3288 Marseille Cedex 9 (France) and Fédération

More information

Signed Measures and Complex Measures

Signed Measures and Complex Measures Chapter 8 Signed Measures Complex Measures As opposed to the measures we have considered so far, a signed measure is allowed to take on both positive negative values. To be precise, if M is a σ-algebra

More information

Discrete Mathematics. Spring 2017

Discrete Mathematics. Spring 2017 Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: Rule of Inference Mathematical Induction: Conjecturing and Proving Mathematical Induction:

More information

An Introduction to Entropy and Subshifts of. Finite Type

An Introduction to Entropy and Subshifts of. Finite Type An Introduction to Entropy and Subshifts of Finite Type Abby Pekoske Department of Mathematics Oregon State University pekoskea@math.oregonstate.edu August 4, 2015 Abstract This work gives an overview

More information

(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M.

(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M. 1. Abstract Integration The main reference for this section is Rudin s Real and Complex Analysis. The purpose of developing an abstract theory of integration is to emphasize the difference between the

More information

The theory of Bernoulli Shifts

The theory of Bernoulli Shifts The theory of Bernoulli Shifts by Paul C. Shields Professor Emeritus of Mathematics University of Toledo, Toledo, OH 4366 Send corrections to bshifts@earthlink.net Web Edition 1.1 Reprint of 1973 University

More information

Entropy for zero-temperature limits of Gibbs-equilibrium states for countable-alphabet subshifts of finite type

Entropy for zero-temperature limits of Gibbs-equilibrium states for countable-alphabet subshifts of finite type Entropy for zero-temperature limits of Gibbs-equilibrium states for countable-alphabet subshifts of finite type I. D. Morris August 22, 2006 Abstract Let Σ A be a finitely primitive subshift of finite

More information

Rudiments of Ergodic Theory

Rudiments of Ergodic Theory Rudiments of Ergodic Theory Zefeng Chen September 24, 203 Abstract In this note we intend to present basic ergodic theory. We begin with the notion of a measure preserving transformation. We then define

More information

On fuzzy entropy and topological entropy of fuzzy extensions of dynamical systems

On fuzzy entropy and topological entropy of fuzzy extensions of dynamical systems On fuzzy entropy and topological entropy of fuzzy extensions of dynamical systems Jose Cánovas, Jiří Kupka* *) Institute for Research and Applications of Fuzzy Modeling University of Ostrava Ostrava, Czech

More information

13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map

13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Rotations of a torus, the doubling map In this lecture we give two methods by which one can show that a given

More information

Generating Functions

Generating Functions Semester 1, 2004 Generating functions Another means of organising enumeration. Two examples we have seen already. Example 1. Binomial coefficients. Let X = {1, 2,..., n} c k = # k-element subsets of X

More information

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that

More information

18.175: Lecture 2 Extension theorems, random variables, distributions

18.175: Lecture 2 Extension theorems, random variables, distributions 18.175: Lecture 2 Extension theorems, random variables, distributions Scott Sheffield MIT Outline Extension theorems Characterizing measures on R d Random variables Outline Extension theorems Characterizing

More information

1 Measurable Functions

1 Measurable Functions 36-752 Advanced Probability Overview Spring 2018 2. Measurable Functions, Random Variables, and Integration Instructor: Alessandro Rinaldo Associated reading: Sec 1.5 of Ash and Doléans-Dade; Sec 1.3 and

More information

1 Math 241A-B Homework Problem List for F2015 and W2016

1 Math 241A-B Homework Problem List for F2015 and W2016 1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let

More information

HOMEWORK ASSIGNMENT 6

HOMEWORK ASSIGNMENT 6 HOMEWORK ASSIGNMENT 6 DUE 15 MARCH, 2016 1) Suppose f, g : A R are uniformly continuous on A. Show that f + g is uniformly continuous on A. Solution First we note: In order to show that f + g is uniformly

More information

Ergodic Theory and Topological Groups

Ergodic Theory and Topological Groups Ergodic Theory and Topological Groups Christopher White November 15, 2012 Throughout this talk (G, B, µ) will denote a measure space. We call the space a probability space if µ(g) = 1. We will also assume

More information

1. Is the set {f a,b (x) = ax + b a Q and b Q} of all linear functions with rational coefficients countable or uncountable?

1. Is the set {f a,b (x) = ax + b a Q and b Q} of all linear functions with rational coefficients countable or uncountable? Name: Instructions. Show all work in the space provided. Indicate clearly if you continue on the back side, and write your name at the top of the scratch sheet if you will turn it in for grading. No books

More information

MATH5011 Real Analysis I. Exercise 1 Suggested Solution

MATH5011 Real Analysis I. Exercise 1 Suggested Solution MATH5011 Real Analysis I Exercise 1 Suggested Solution Notations in the notes are used. (1) Show that every open set in R can be written as a countable union of mutually disjoint open intervals. Hint:

More information

AN ABSTRACT OF THE DISSERTATION OF

AN ABSTRACT OF THE DISSERTATION OF AN ABSTRACT OF THE DISSERTATION OF David Josiah Wing for the degree of Doctor of Philosophy in Mathematics presented on March 3, 20 Title: Notions of Complexity in Substitution Dynamical Systems Abstract

More information

A VERY BRIEF REVIEW OF MEASURE THEORY

A VERY BRIEF REVIEW OF MEASURE THEORY A VERY BRIEF REVIEW OF MEASURE THEORY A brief philosophical discussion. Measure theory, as much as any branch of mathematics, is an area where it is important to be acquainted with the basic notions and

More information

Introduction to Functional Analysis

Introduction to Functional Analysis Introduction to Functional Analysis Carnegie Mellon University, 21-640, Spring 2014 Acknowledgements These notes are based on the lecture course given by Irene Fonseca but may differ from the exact lecture

More information

Notes on Rauzy Fractals

Notes on Rauzy Fractals Notes on Rauzy Fractals It is a tradition to associate symbolic codings to dynamical systems arising from geometry or mechanics. Here we introduce a classical result to give geometric representations to

More information

UNIVERSITY OF BRISTOL. Mock exam paper for examination for the Degrees of B.Sc. and M.Sci. (Level 3)

UNIVERSITY OF BRISTOL. Mock exam paper for examination for the Degrees of B.Sc. and M.Sci. (Level 3) UNIVERSITY OF BRISTOL Mock exam paper for examination for the Degrees of B.Sc. and M.Sci. (Level 3) DYNAMICAL SYSTEMS and ERGODIC THEORY MATH 36206 (Paper Code MATH-36206) 2 hours and 30 minutes This paper

More information

THEOREMS, ETC., FOR MATH 516

THEOREMS, ETC., FOR MATH 516 THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition

More information

CONSTRUCTIVE SYMBOLIC PRESENTATIONS OF RANK ONE MEASURE-PRESERVING SYSTEMS TERRENCE ADAMS. U.S. Government, 9800 Savage Rd, Ft. Meade, MD USA

CONSTRUCTIVE SYMBOLIC PRESENTATIONS OF RANK ONE MEASURE-PRESERVING SYSTEMS TERRENCE ADAMS. U.S. Government, 9800 Savage Rd, Ft. Meade, MD USA CONSTRUCTIVE SYMBOLIC PRESENTATIONS OF RANK ONE MEASURE-PRESERVING SYSTEMS TERRENCE ADAMS U.S. Government, 9800 Savage Rd, Ft. Meade, MD 20755 USA SÉBASTIEN FERENCZI Aix Marseille Université, CNRS, Centrale

More information

Measures. Chapter Some prerequisites. 1.2 Introduction

Measures. Chapter Some prerequisites. 1.2 Introduction Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques

More information

Linear ODEs. Existence of solutions to linear IVPs. Resolvent matrix. Autonomous linear systems

Linear ODEs. Existence of solutions to linear IVPs. Resolvent matrix. Autonomous linear systems Linear ODEs p. 1 Linear ODEs Existence of solutions to linear IVPs Resolvent matrix Autonomous linear systems Linear ODEs Definition (Linear ODE) A linear ODE is a differential equation taking the form

More information

SYSTEMS OF FINITE RANK

SYSTEMS OF FINITE RANK C O L L O Q U I U M M A T H E M A T I C U M VOL. 73 1997 NO. 1 SYSTEMS OF FINITE RANK BY SÉBASTIEN F E R E N C Z I (MARSEILLE) Ergodic theory, and particularly its measure-theoretic part, was developed

More information

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint

More information

Part II Probability and Measure

Part II Probability and Measure Part II Probability and Measure Theorems Based on lectures by J. Miller Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly)

More information

MATH642. COMPLEMENTS TO INTRODUCTION TO DYNAMICAL SYSTEMS BY M. BRIN AND G. STUCK

MATH642. COMPLEMENTS TO INTRODUCTION TO DYNAMICAL SYSTEMS BY M. BRIN AND G. STUCK MATH642 COMPLEMENTS TO INTRODUCTION TO DYNAMICAL SYSTEMS BY M BRIN AND G STUCK DMITRY DOLGOPYAT 13 Expanding Endomorphisms of the circle Let E 10 : S 1 S 1 be given by E 10 (x) = 10x mod 1 Exercise 1 Show

More information

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It

More information

MATHS 730 FC Lecture Notes March 5, Introduction

MATHS 730 FC Lecture Notes March 5, Introduction 1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists

More information

+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1

+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1 Appendix To understand weak derivatives and distributional derivatives in the simplest context of functions of a single variable, we describe without proof some results from real analysis (see [7] and

More information

Course Notes. Part IV. Probabilistic Combinatorics. Algorithms

Course Notes. Part IV. Probabilistic Combinatorics. Algorithms Course Notes Part IV Probabilistic Combinatorics and Algorithms J. A. Verstraete Department of Mathematics University of California San Diego 9500 Gilman Drive La Jolla California 92037-0112 jacques@ucsd.edu

More information

18 The analytic class number formula

18 The analytic class number formula 18.785 Number theory I Lecture #18 Fall 2015 11/12/2015 18 The analytic class number formula The following theorem is usually attributed to Dirichlet, although he originally proved it only for quadratic

More information

NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS

NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS CLARK BUTLER. Introduction The purpose of these notes is to give a self-contained proof of the following theorem, Theorem.. Let f : S n S n be a

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

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

Weak convergence and Brownian Motion. (telegram style notes) P.J.C. Spreij

Weak convergence and Brownian Motion. (telegram style notes) P.J.C. Spreij Weak convergence and Brownian Motion (telegram style notes) P.J.C. Spreij this version: December 8, 2006 1 The space C[0, ) In this section we summarize some facts concerning the space C[0, ) of real

More information

Aperiodic correlation and the merit factor

Aperiodic correlation and the merit factor Aperiodic correlation and the merit factor Aina Johansen 02.11.2009 Correlation The periodic correlation between two binary sequences {x t } and {y t } of length n at shift τ is defined as n 1 θ x,y (τ)

More information

Bases in Banach spaces

Bases in Banach spaces Chapter 3 Bases in Banach spaces Like every vector space a Banach space X admits an algebraic or Hamel basis, i.e. a subset B X, so that every x X is in a unique way the (finite) linear combination of

More information

Defining the Integral

Defining the Integral Defining the Integral In these notes we provide a careful definition of the Lebesgue integral and we prove each of the three main convergence theorems. For the duration of these notes, let (, M, µ) be

More information

Chapter 1. Sets and Numbers

Chapter 1. Sets and Numbers Chapter 1. Sets and Numbers 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write

More information

The Frobenius{Perron Operator

The Frobenius{Perron Operator (p.75) CHPTER 4 The Frobenius{Perron Operator The hero of this book is the Frobenius{Perron operator. With this powerful tool we shall study absolutely continuous invariant measures, their existence and

More information

Dynamical Systems and Ergodic Theory PhD Exam Spring Topics: Topological Dynamics Definitions and basic results about the following for maps and

Dynamical Systems and Ergodic Theory PhD Exam Spring Topics: Topological Dynamics Definitions and basic results about the following for maps and Dynamical Systems and Ergodic Theory PhD Exam Spring 2012 Introduction: This is the first year for the Dynamical Systems and Ergodic Theory PhD exam. As such the material on the exam will conform fairly

More information

2 Lebesgue integration

2 Lebesgue integration 2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,

More information

JOININGS, FACTORS, AND BAIRE CATEGORY

JOININGS, FACTORS, AND BAIRE CATEGORY JOININGS, FACTORS, AND BAIRE CATEGORY Abstract. We discuss the Burton-Rothstein approach to Ornstein theory. 1. Weak convergence Let (X, B) be a metric space and B be the Borel sigma-algebra generated

More information

Some improvments of the S-adic Conjecture

Some improvments of the S-adic Conjecture Some improvments of the S-adic Conjecture Julien Leroy Laboratoire Amiénois de Mathématiques Fondamentales et Appliquées CNRS-UMR 6140, Université de Picardie Jules Verne, 33 rue Saint Leu, 80039 Amiens

More information

Analysis and geometry on groups

Analysis and geometry on groups Analysis and geometry on groups Andrzej Zuk Paris Contents 1 Introduction 1 2 Amenability 2 2.1 Amenable groups............................. 2 2.2 Automata groups............................. 5 2.3 Random

More information

Lecture Notes 3 Convergence (Chapter 5)

Lecture Notes 3 Convergence (Chapter 5) Lecture Notes 3 Convergence (Chapter 5) 1 Convergence of Random Variables Let X 1, X 2,... be a sequence of random variables and let X be another random variable. Let F n denote the cdf of X n and let

More information

Lebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?

Lebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration? Lebesgue Integration: A non-rigorous introduction What is wrong with Riemann integration? xample. Let f(x) = { 0 for x Q 1 for x / Q. The upper integral is 1, while the lower integral is 0. Yet, the function

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

Problem set 1, Real Analysis I, Spring, 2015.

Problem set 1, Real Analysis I, Spring, 2015. Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n

More information

5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.

5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing. 5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint

More information

Lecture 4 Lebesgue spaces and inequalities

Lecture 4 Lebesgue spaces and inequalities Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how

More information

Cover Page. The handle holds various files of this Leiden University dissertation

Cover Page. The handle   holds various files of this Leiden University dissertation Cover Page The handle http://hdl.handle.net/1887/32076 holds various files of this Leiden University dissertation Author: Junjiang Liu Title: On p-adic decomposable form inequalities Issue Date: 2015-03-05

More information

Lebesgue Measure. Dung Le 1

Lebesgue Measure. Dung Le 1 Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its

More information

ABSTRACT INTEGRATION CHAPTER ONE

ABSTRACT INTEGRATION CHAPTER ONE CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed

More information

A FAMILY OF PIECEWISE EXPANDING MAPS HAVING SINGULAR MEASURE AS A LIMIT OF ACIM S

A FAMILY OF PIECEWISE EXPANDING MAPS HAVING SINGULAR MEASURE AS A LIMIT OF ACIM S A FAMILY OF PIECEWISE EXPANDING MAPS HAVING SINGULAR MEASURE AS A LIMIT OF ACIM S ZHENYANG LI, PAWE L GÓ, ABRAHAM BOYARSKY, HARALD PROPPE, AND PEYMAN ESLAMI Abstract Keller [9] introduced families of W

More information

Real Analysis Notes. Thomas Goller

Real Analysis Notes. Thomas Goller Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................

More information

Lecture Notes Introduction to Ergodic Theory

Lecture Notes Introduction to Ergodic Theory Lecture Notes Introduction to Ergodic Theory Tiago Pereira Department of Mathematics Imperial College London Our course consists of five introductory lectures on probabilistic aspects of dynamical systems,

More information

Chapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =

Chapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ = Chapter 6. Integration 1. Integrals of Nonnegative Functions Let (, S, µ) be a measure space. We denote by L + the set of all measurable functions from to [0, ]. Let φ be a simple function in L +. Suppose

More information

ANALYSIS QUALIFYING EXAM FALL 2016: SOLUTIONS. = lim. F n

ANALYSIS QUALIFYING EXAM FALL 2016: SOLUTIONS. = lim. F n ANALYSIS QUALIFYING EXAM FALL 206: SOLUTIONS Problem. Let m be Lebesgue measure on R. For a subset E R and r (0, ), define E r = { x R: dist(x, E) < r}. Let E R be compact. Prove that m(e) = lim m(e /n).

More information

Giovanni Gallavotti. , where x i = 1, 2,..., k. We ask the question of which is the probability that the machine produces a particular

Giovanni Gallavotti. , where x i = 1, 2,..., k. We ask the question of which is the probability that the machine produces a particular BERNOULLI SCHEMES AND THEIR ISOMORPHISMS Giovanni Gallavotti Lecture I In these lectures I shall present some of the ideas and methods used in the proof of the celebrated theorem stating that two Bernoulli

More information

Final Exam Practice Problems Math 428, Spring 2017

Final Exam Practice Problems Math 428, Spring 2017 Final xam Practice Problems Math 428, Spring 2017 Name: Directions: Throughout, (X,M,µ) is a measure space, unless stated otherwise. Since this is not to be turned in, I highly recommend that you work

More information

Using Spectral Analysis in the Study of Sarnak s Conjecture

Using Spectral Analysis in the Study of Sarnak s Conjecture Using Spectral Analysis in the Study of Sarnak s Conjecture Thierry de la Rue based on joint works with E.H. El Abdalaoui (Rouen) and Mariusz Lemańczyk (Toruń) Laboratoire de Mathématiques Raphaël Salem

More information

Lebesgue Measure on R n

Lebesgue Measure on R n 8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets

More information

Measure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India

Measure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India Measure and Integration: Concepts, Examples and Exercises INDER K. RANA Indian Institute of Technology Bombay India Department of Mathematics, Indian Institute of Technology, Bombay, Powai, Mumbai 400076,

More information

Information Dimension

Information Dimension Information Dimension Mina Karzand Massachusetts Institute of Technology November 16, 2011 1 / 26 2 / 26 Let X would be a real-valued random variable. For m N, the m point uniform quantized version of

More information

IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT

IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT MRINAL KANTI ROYCHOWDHURY Abstract. Two invertible dynamical systems (X, A, µ, T ) and (Y, B, ν, S) where X, Y

More information