Rudiments of Ergodic Theory
|
|
- Jared Webster
- 5 years ago
- Views:
Transcription
1 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 ergodicity and provide examples. Finally we sketch Birkhoff s Ergodic Theorem and elucidate it with some examples. Contents Introduction 2 Basic notions 3 Birkoff ergodic theorem and Applications 7 Introduction A dynamical system formalizes mathematically the evolution of a state space over time. For instance, suppose X is a topological space and T is a continuous transformation. The evolution of the phase space X is encoded by action of Z on X, given by (n, x) T n (x). The study of dynamical systems may be motivated by specific concerns in physics. A pendulum is a phsyical example of a dynamical system in which the state is its angle and angular velocity, and its evolution follows Newton s Laws. Ergodic theory concerns the behavior of a dynamical system from a measuretheoretic point of view. In this paper we present some fundamental results in ergodic theory. The first is Poincaré s recurrence theorem, which states that almost all points return to the initial state infinitely many times. After presenting other basic results in ergodic theory, we turn to the Birkhoff ergodic theorem. 2 Basic notions We begin with some definitions.
2 Definition 2.. Let (X, A, m) be a measure space, where X is a set, A is a sigma-algebra, and µ is a measure. A transformation T of X onto X is measurable if for every set A A, T (A) is a measurable set. Definition 2.2. Let (X, A, m) be a measure space. A transformation T of X onto X is measure-preserving if for every set A A, m(t (A)) = m(a). Moreover the transformation T is called m-invariant. Example 2.. (Angle-doubling map) Consider [0, ) as S. The map f(x) = 2x mod is measure-preserving on this space. This transformation helps illustrate why we do not define measurepreserving transformation as the property T (A) = A, which may at first glance look more intuitive than our definition. The map f(x) = 2x mod is measurepreserving, but taking A = [0, 0.5], we have f([0, 0.5]) = [0, ), which is twice as large as [0,0.5]. Example 2.2. Consider [0, ) as before. The translation on the space defined by f(x) = x + b mod is measure-preserving. More generally, consider the n-torus [0, ) n. The translation on the space defined by f(x, x 2...x n ) = (x, x 2...x n ) + (b, b 2...b n ) mod is also measure-preserving on this space. Example 2.3. (Continued fraction map) Consider [0, ) as before. Consider the map 0 if x=0 f(x) = mod if 0 < x < x Let B be a set in the Borel algebra. The map does not preserve Lebesgue measure m as we can choose B to be any interval I and m(t (I)) m(i). However, it preserves the following measure: µ(b) = log 2 B + x dx To see this, we only need to check that µ(t (I)) = µ(i) for intevals. Let I = (a, b) and then note Then T (a, b) = ( b + n, a + n ). n= To consider [0, ) as S might look strange. [0, ) under subspace topology is not the same as S. However, under the topology generated by all (a, b) [0, ) and all [0, a) (b, ), one can show [0, ) is homeomorphic to S. 2
3 µ(i) = log 2 = log 2 n= a+n b+n + x dx (log( + a + n ) log( + b + n )) n= = lim N log 2 N (log(a + n + ) log(a + n) log(b + n + ) + log(b + n)) n= = log 2 lim (log(a + N + ) log(a + ) log(b + N + ) + log(b + )) N = (log(b + ) log(a + )) = log 2 log 2 as required. b a dx = µ((a, b)) + x Before turning to Poincare s theorem, we provide two definitions. Definition 2.3. The set {T n (x) n Z + } is called the orbit of x. We say point x A is recurrent if the orbit of x intersects A infinitely many times. Theorem 2.. (Poincare Recurrence Theorem) Let (X, A, m) be a probability space and let T be a measure-preserving transformation from X onto itself. For a set A A with m(a) > 0, and for almost every x A we have #{n Z + T n (x) A} =. Thus the Poincare recurrence theorem states that if T is m-invariant then almost every point of a measurable subset with positive measure is recurrent. Proof. Let E be the set of points in A that do not return to A, that is, E = {x A T n (x) / A n }. It suffices to show that m(e) = 0. To see this, note that if m(e) = 0 then m(t n (E)) = 0 for any n 0 and hence T n E is a set of measure 0. Then consider B = A \ n=0 T n E. n=0 The set B comprises the elements of A that return to A for infinitely many iterations of T. Now we check that m(e) = 0. Note that for 0 m < n, T m E T n E =, 3
4 since if x T m E T n E then T m (x) E T (n m) E. But this contradicts the definition of E. Since m(t n E) = m(e) for all n 0, it follows that ( ) > m T n E = m(t n E) = m(e) n n This implies m(e) = 0. n=0 Now we state the definition of an ergodic transformation. Definition 2.4. Let (X, A, m) be a probability space and let T be a measurepreserving transformation from X onto itself. Then T is called ergodic if for every set A such that T (A) = A, we have m(a) = 0 or m(a) =. Example 2.4. Let X = S. We have shown the map f(x) = 2x mod is measure-preserving and we will show it is also ergodic. Intuitively an interval will have a disconnected preimage under f and so the only f-invariant set is the empty set and the whole set. However to formally show this map is ergodic, we first need some more tools. Example 2.5. As before let X = S. The translation f(x) = x + b mod on this space is not ergodic if b is rational. To see this, let b = p where p and q q are relatively prime. Then we divide [0, ) into q equivalent intervals, namely [0, q ), [ q, 2 ), etc. Then f takes one interval exactly onto another, and thus to q construct a f-invariant set, it is sufficient to pick any part of one interval and take the corresponding parts of other intervals. We will later show that when b is irrational, f is ergodic. Example 2.6. Consider the same space [0, ) n as a n-torus. The translation f(x, x 2...x n ) = (x, x 2...x n ) + (b, b 2...b n ) mod is not necessarily ergodic even if b n is irrational. To see this, we let n = 2 and f(x, x 2 ) = (x, x 2 ) + (b, b), b is irrational. The set is f-invariant. A = {(x, y) y = x + c mod, c [0.9, ] [0, 0.]} Example 2.7. (Bernoulli shift) Let S be a finite set called the alphabet, and let X S N be the set all one-sided infinite sequences of elements of S. Let d be a metric on X: d((x n ), (y n )) = 2 min{k:x k y k } The resulting topology is generated by the collection of cylinders. A cylinder of size k centered at (a n ) is: [a 0, a...a (k ) ] = {(x) X x i = a i (0 i < k)} 4
5 Note that each cylinder is both open and compact. The left shift on X is the transformation T : (x 0, x, x 2...) (x, x 2, x 3...). It s clear the left shift is continuous. Fix (p) as a probability sequence such that p i =. Then we can construct a measure on X: Definition 2.5. The Bernoulli measure corresponding to (p) is the unique measure on the Borel σ-algebra of X such that m[x 0, x...x n ] = p x0 p x...p xn for all cylinders. The proof that such a measure exists is beyond our scope. proceed to show that the left shift is ergodic. We instead Proposition 2.2. Suppose X = {0, } N, m is the Bernoulli measure such that p n = ( 2 )n+, and T is the left shift. Then (X, m, T ) is measure isomorphic to the map in example 2.: f : [0, ) [0, ) f(x) = 2x mod, and thus T is ergodic. Proof. Let X be a set that contains all sequences in X execpt those that are eventually. The isomorphism is π(x 0, x...) = 2 n x n mod Since every number in [0,) has a unique binary expansion that is not eventually, π is a bijection from X to [0, ). Let a [0, ) and the binary expansion of a in X is (a, a 2...) such that Then a = a 2 + a a π(t (a, a 2...)) = π((a 2, a 3...)) = a a a = 2a mod 23 Hence π also preserves the map structure. The only thing left is to show the set of sequences that are eventually has measure 0. It is clear since there are only countably many such sequences as the alphabet has only two elements. The following two propositions serve as tools to determine if a transformation is ergodic. Proposition 2.3. Let (X, A, m) be a probability space and let T be a measurepreserving transformation from X onto itself. Then the following statements are equivalent: (i) T is ergodic. (ii) Every set A of A with m(t (A) A) = 0 has the property m(a) = or m(a) = 0. 2 (iii) For every A of A with m(a) > 0 we have m( n= T n (A)) =. 2 The symbol means set difference. 5
6 Proof. (i) (ii) Let A A and m(a T (A)) = 0. For each n 0 we have m(t n A A) = 0 because T n A A n T i+ A T A = n T i (T A A). Let A = n=0 i=n T i A. From this construction we can see T A = A. Since m(a i=n T A) i n m(a T A), we have m(a A ) = 0 and hence m(a ) = m(a). By ergodicity, m(a ) = 0 or. Hence m(a) = 0 or. (ii) (iii) Let A A and m(a) > 0. Let A = n= T n (A). Clearly we have T (A ) A. Since m(t (A )) = m(a ), we have m(t (A ) A ) = 0. Since m(a) > 0, by (ii) we can only have m(a ) =. (iii) (i) Let A A and T (A) = A. Suppose m(a) > 0, by (iii) we have m( n= T n (A)) =. Since T (A) = A, we have hence m( n= T n (A)) = m(a) =. T n (A) = T (n ) (A) =... = A, Proposition 2.4. Let (X, A, m) be a probability space and let T be a measurepreserving transformation from X onto itself. Then the following statements are equivalent: (i) T is ergodic. (ii) Whenever f L 0 is measurable and (f T ) = f a.e., then f is constant a.e. (iii) For a fixed p whenever f L p (m) and (f T ) = f a.e., then f is constant a.e. Proof. Trivially we have (ii) (iii). We first show (i) (ii). Let T be ergodic and (f T ) = f a.e. We assume f is real-valued for if f is complex-valued we can consider the real and imaginary parts separately. Define for k Z and n > 0, X(k, n) = {x : k/2 n f(x) < (k + )/2 n } = f ([k/2 n, (k + )/2 n )] We have and hence T (X(k, n)) X(k, n) {x : (f T )(x) f(x)} m(t (X(k, n)) X(k, n)) = 0 and by the previous theorem m(x(k, n)) = 0 or. For each fixed n, k Z X(k, n) = X is a disjoint union so there exists unique 6
7 k n such that m(x(k n, n)) =. Let Y = n= X(k n, n).then m(y ) = and f is constant on Y and so that f is constant a.e. (iii) (i). Suppose T (A) = A, A A. Then the characteristic function χ A is in L p and (χ A T ) = χ A. Hence, χ A is constant a.e. and thus χ A = 0 or a.e. This means m(a) = χ A dm = 0 or. Utilizing the tools above, we will now demonstrate that the transformations introduced in our examples are in fact ergodic. First we generalize a previous result. Proposition 2.5. The rotation T (z) = az of S (written multiplicatively) under Haar measure m is ergodic iff a is not a root of unity. Proof. Suppose a is a root of unity, then a p = for some positive integer p. Let f(z) = z p. Then f T = f and f is not constant a.e. Therefore T is not ergodic by the previous theorem. On the other hand, suppose a is not a root of unity and f T = f, f L 2 (m). Let f(z) = b n z n be its Fourier series. Then f(az) = n= n= b n a n z n and therefore b n (a n ) = 0 for all n. If n 0, since a is not a root of unity, we have a n 0. Hence b n = 0, and so f is constant a.e. By the previous theorem T is ergodic. We also have the following results: Proposition 2.6. The map f(x) = ax mod on S is ergodic if a is a positive integer. Proposition 2.7. The map f(x) = x+b mod on S is ergodic if b is irrational. The proofs of these propositions also rely on Fourier series in a straightforward manner and are left to the reader. 3 Birkoff ergodic theorem and Applications Theorem 3.. (Birkhoff s ergodic theorem) Let (X, A, m) be a probability space and let T be a measure-preserving transformation from X onto itself. Then, for any f in L (m), n lim f(t i (x)) = f (x) 7
8 exists a.e.,is T-invariant and X fdm = X f dm. Moreover, if T is ergodic, then f is constant a.e. and f = X fdm. We will first mention some applications, and later provide a sketch of the proof. The complete proof involves some techniques in hard analysis. Corollary 3.. (Alternative definition for ergodicity) Let (X, A, m) be a probability space and let T be a measure-preserving transformation from X onto itself. Then, T is ergodic iff for all A, B A, we have n lim m(t i A B) = m(a)m(b). Proof. Suppose T is ergodic, and let A, B A. function χ A, by the ergodic theorem we have, Then, n lim χ A (T i x) = X Consider the characteristic χ A (x)dm = m(a) n n lim χ T A B(x) = lim χ T A(x)χ B (x) = m(a)χ B n Since for each n, the function lim n n χ T (A B) is dominated by the constant function, by the dominated convergence theorem we have, n lim m(t i (A B)) = = X X n lim χ T (A B)(x)dm χ B m(a)dm = m(b)m(a) Conversely, suppose the equation holds for all A, B A. Let E A be such that T E = E and m(e) > 0. Since m(t i E E) = m(e), we have Also by hypothesis n lim m(t i E E) = m(e) n lim m(t i E E) = m(e) 2 We have m(e) =. Then T is ergodic. 8
9 Theorem 3.2. (Borel s Theorem on Normal Numbers) For a.e. x [0, ), the frequency of s in the binary expansion of x is 2. Proof. Let T (x) = 2x mod. We know this map is ergodic with respect to the Lebesgue measure. Let Y denote the set of points in [0, ) that have a unique binary expansion. Then Y has a countable completment and thus m(y ) =. Suppose x = a 2 + a a has a unique binary expansion. Then 23 Let f(x) = χ (/2,) (x). Then T (x) = T ( a 2 + a a ) = a a f(t n (x)) = f( a n+ 2 + a n a n ) = { if a n+ = 0 if a n+ = 0 Hence for x Y the number of s in the first n digits of the expansion of x is n f(t i x). Dividing both sides by n and applying the ergodic theorem we have n f(t i x) χ (/2,) dm = n 2 a.e. This is our desired result. Here we provide a sketch of the proof of the Birkhoff ergodic theorem. The proof is based on the following theorem: Theorem 3.3. (Maximal Ergodic Theorem) Let (X, A, m) be a probability space and let T be a measure-preserving transformation on the space. Let f L (X, A, m). Let n B α = {x X sup f(t j x) > α} n>0 n j=0 then for all A A with T A = A we have that fdm αm(b α A) Now we define B α A f (x) = lim sup n f (x) = lim inf n n n j=0 n n j=0 f(t j x) f(t j x) 9
10 Observe that f T = f and f T = f. The central idea of this proof is to prove f = f a.e., and the remaining statements of the Birkhoff ergodic theorem is easy. Define Note that E α,β = {x X f (x) > α and f (x) < β} {x X f (x) < f (x)} = β<α,α,β Q E α,β Thus to show f = f a.e., it is sufficient to show that m(e α,β = 0) whenever β < α. Since we have f T = f and f T = f, we see that T E α,β = E α,β. Let n B α = {x X sup g(t j x) > α} n>0 n then E α,β B α = E α,β. Applying the maximal ergodic theorem, we have fdm = αm(e α,β ) E α,β E α,β B α Replace f, α and β by f, β and α, and using the fact ( f) = f and ( f) = f, applying the same theorem we also get E α,β fdm βm(e α,β ) Therefore αm(e α,β ) βm(e α,β ) and since β < α this shows that m(e α,β ) = 0. Thus f = f a.e. and as required. Acknowledgments j=0 n lim f(t i (x)) = f (x) It is a pleasure to thank my mentor, Rachel Vishnepolsky, for her suggestion of the topic and generous help throughout the writing process. References [] Peter Walters, An Introduction to Ergodic Theory. Springer, 2nd Edition, 982. [2] A.N. Shiryaev, Probability. Springer, 2nd Edition,
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 information4. 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 informationINTRODUCTION TO FURSTENBERG S 2 3 CONJECTURE
INTRODUCTION TO FURSTENBERG S 2 3 CONJECTURE BEN CALL Abstract. In this paper, we introduce the rudiments of ergodic theory and entropy necessary to study Rudolph s partial solution to the 2 3 problem
More informationDYNAMICAL SYSTEMS PROBLEMS. asgor/ (1) Which of the following maps are topologically transitive (minimal,
DYNAMICAL SYSTEMS PROBLEMS http://www.math.uci.edu/ asgor/ (1) Which of the following maps are topologically transitive (minimal, topologically mixing)? identity map on a circle; irrational rotation of
More informationThree hours THE UNIVERSITY OF MANCHESTER. 31st May :00 17:00
Three hours MATH41112 THE UNIVERSITY OF MANCHESTER ERGODIC THEORY 31st May 2016 14:00 17:00 Answer FOUR of the FIVE questions. If more than four questions are attempted, then credit will be given for the
More informationMAGIC010 Ergodic Theory Lecture Entropy
7. Entropy 7. Introduction A natural question in mathematics is the so-called isomorphism problem : when are two mathematical objects of the same class the same (in some appropriately defined sense of
More informationLecture 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 informationThe Lebesgue Integral
The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters
More informationErgodic 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 informationProbability 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 information25.1 Ergodicity and Metric Transitivity
Chapter 25 Ergodicity This lecture explains what it means for a process to be ergodic or metrically transitive, gives a few characterizes of these properties (especially for AMS processes), and deduces
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
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 informationChapter 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 informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More information13. 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 information3 hours UNIVERSITY OF MANCHESTER. 22nd May and. Electronic calculators may be used, provided that they cannot store text.
3 hours MATH40512 UNIVERSITY OF MANCHESTER DYNAMICAL SYSTEMS AND ERGODIC THEORY 22nd May 2007 9.45 12.45 Answer ALL four questions in SECTION A (40 marks in total) and THREE of the four questions in SECTION
More informationMeasure 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 informationMATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6
MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction
More informationMATH 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 informationSolutions 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 informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
More informationChapter 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 informationIntroduction to Dynamical Systems
Introduction to Dynamical Systems France-Kosovo Undergraduate Research School of Mathematics March 2017 This introduction to dynamical systems was a course given at the march 2017 edition of the France
More information8 Complete fields and valuation rings
18.785 Number theory I Fall 2017 Lecture #8 10/02/2017 8 Complete fields and valuation rings In order to make further progress in our investigation of finite extensions L/K of the fraction field K of a
More informationUNIVERSITY 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 informationMeasures. 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 informationDynamical 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 informationLebesgue 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 informationAn Introduction to Ergodic Theory
An Introduction to Ergodic Theory Normal Numbers: We Can t See Them, But They re Everywhere! Joseph Horan Department of Mathematics and Statistics University of Victoria Victoria, BC December 5, 2013 An
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationOn 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 informationA 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 informationMeasure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond
Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................
More informationA dyadic endomorphism which is Bernoulli but not standard
A dyadic endomorphism which is Bernoulli but not standard Christopher Hoffman Daniel Rudolph November 4, 2005 Abstract Any measure preserving endomorphism generates both a decreasing sequence of σ-algebras
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationPart 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 informationMEASURABLE DYNAMICS OF SIMPLE p-adic POLYNOMIALS JOHN BRYK AND CESAR E. SILVA
MEASURABLE DYNAMICS OF SIMPLE p-adic POLYNOMIALS JOHN BRYK AND CESAR E. SILVA 1. INTRODUCTION. The p-adic numbers have many fascinating properties that are different from those of the real numbers. These
More informationMetric Spaces Lecture 17
Metric Spaces Lecture 17 Homeomorphisms At the end of last lecture an example was given of a bijective continuous function f such that f 1 is not continuous. For another example, consider the sets T =
More informationFURSTENBERG S ERGODIC THEORY PROOF OF SZEMERÉDI S THEOREM
FURSTEBERG S ERGODIC THEORY PROOF OF SZEMERÉDI S THEOREM ZIJIA WAG Abstract. We introduce the basis of ergodic theory and illustrate Furstenberg s proof of Szemerédi s theorem. Contents. Introduction 2.
More informationEconomics 204 Fall 2012 Problem Set 3 Suggested Solutions
Economics 204 Fall 2012 Problem Set 3 Suggested Solutions 1. Give an example of each of the following (and prove that your example indeed works): (a) A complete metric space that is bounded but not compact.
More informationLectures on dynamical systems and entropy
Lectures on dynamical systems and entropy Michael Hochman June 27, 204 Please report any errors to mhochman@math.huji.ac.il Contents Introduction 4 2 Measure preserving transformations 6 2. Measure preserving
More informationIRRATIONAL 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 informationIntroduction to Topology
Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about
More information4 Countability axioms
4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said
More informationReal 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 informationAxioms of separation
Axioms of separation These notes discuss the same topic as Sections 31, 32, 33, 34, 35, and also 7, 10 of Munkres book. Some notions (hereditarily normal, perfectly normal, collectionwise normal, monotonically
More informationErgodic Theorems. Samy Tindel. Purdue University. Probability Theory 2 - MA 539. Taken from Probability: Theory and examples by R.
Ergodic Theorems Samy Tindel Purdue University Probability Theory 2 - MA 539 Taken from Probability: Theory and examples by R. Durrett Samy T. Ergodic theorems Probability Theory 1 / 92 Outline 1 Definitions
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationThus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a
Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:
More informationIntegration 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 informationMATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1
MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION ELEMENTS OF SOLUTION Problem 1 1. Let X be a Hausdorff space and K 1, K 2 disjoint compact subsets of X. Prove that there exist disjoint open sets U 1 and
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationConnectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ).
Connectedness 1 Motivation Connectedness is the sort of topological property that students love. Its definition is intuitive and easy to understand, and it is a powerful tool in proofs of well-known results.
More informationProof: The coding of T (x) is the left shift of the coding of x. φ(t x) n = L if T n+1 (x) L
Lecture 24: Defn: Topological conjugacy: Given Z + d (resp, Zd ), actions T, S a topological conjugacy from T to S is a homeomorphism φ : M N s.t. φ T = S φ i.e., φ T n = S n φ for all n Z + d (resp, Zd
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More information18.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 informationIndeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )
Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes
More informationDisintegration 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 informationSeminar In Topological Dynamics
Bar Ilan University Department of Mathematics Seminar In Topological Dynamics EXAMPLES AND BASIC PROPERTIES Harari Ronen May, 2005 1 2 1. Basic functions 1.1. Examples. To set the stage, we begin with
More informationVARIATIONAL PRINCIPLE FOR THE ENTROPY
VARIATIONAL PRINCIPLE FOR THE ENTROPY LUCIAN RADU. Metric entropy Let (X, B, µ a measure space and I a countable family of indices. Definition. We say that ξ = {C i : i I} B is a measurable partition if:
More informationDynamical Systems 2, MA 761
Dynamical Systems 2, MA 761 Topological Dynamics This material is based upon work supported by the National Science Foundation under Grant No. 9970363 1 Periodic Points 1 The main objects studied in the
More informationQuantitative recurrence for beta expansion. Wang BaoWei
Introduction Further study Quantitative recurrence for beta expansion Huazhong University of Science and Technology July 8 2010 Introduction Further study Contents 1 Introduction Background Beta expansion
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationLebesgue 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 informationProblem 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 informationl(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 informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More informationQuasi-invariant measures for continuous group actions
Contemporary Mathematics Quasi-invariant measures for continuous group actions Alexander S. Kechris Dedicated to Simon Thomas on his 60th birthday Abstract. The class of ergodic, invariant probability
More information4. (alternate topological criterion) For each closed set V Y, its preimage f 1 (V ) is closed in X.
Chapter 2 Functions 2.1 Continuous functions Definition 2.1. Let (X, d X ) and (Y,d Y ) be metric spaces. A function f : X! Y is continuous at x 2 X if for each " > 0 there exists >0 with the property
More informationChapter 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 informationAN EXPLORATION OF KHINCHIN S CONSTANT
AN EXPLORATION OF KHINCHIN S CONSTANT ALEJANDRO YOUNGER Abstract Every real number can be expressed as a continued fraction in the following form, with n Z and a i N for all i x = n +, a + a + a 2 + For
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
More informationMA651 Topology. Lecture 9. Compactness 2.
MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationMATH 614 Dynamical Systems and Chaos Lecture 6: Symbolic dynamics.
MATH 614 Dynamical Systems and Chaos Lecture 6: Symbolic dynamics. Metric space Definition. Given a nonempty set X, a metric (or distance function) on X is a function d : X X R that satisfies the following
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More informationPart 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 informationON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS
ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS ALEX CLARK AND ROBBERT FOKKINK Abstract. We study topological rigidity of algebraic dynamical systems. In the first part of this paper we give an algebraic condition
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationFilters in Analysis and Topology
Filters in Analysis and Topology David MacIver July 1, 2004 Abstract The study of filters is a very natural way to talk about convergence in an arbitrary topological space, and carries over nicely into
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationChapter 3: Baire category and open mapping theorems
MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A
More information5 Birkhoff s Ergodic Theorem
5 Birkhoff s Ergodic Theorem Birkhoff s Ergodic Theorem extends the validity of Kolmogorov s strong law to the class of stationary sequences of random variables. Stationary sequences occur naturally even
More informationReal 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 informationMath 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012
Instructions: Answer all of the problems. Math 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012 Definitions (2 points each) 1. State the definition of a metric space. A metric space (X, d) is set
More informationint cl int cl A = int cl A.
BAIRE CATEGORY CHRISTIAN ROSENDAL 1. THE BAIRE CATEGORY THEOREM Theorem 1 (The Baire category theorem. Let (D n n N be a countable family of dense open subsets of a Polish space X. Then n N D n is dense
More informationAN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES
AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES DUSTIN HEDMARK Abstract. A study of the conditions under which a topological space is metrizable, concluding with a proof of the Nagata Smirnov
More informationMeasurable Choice Functions
(January 19, 2013) Measurable Choice Functions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/choice functions.pdf] This note
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 2017 Nadia S. Larsen. 17 November 2017.
Product measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 017 Nadia S. Larsen 17 November 017. 1. Construction of the product measure The purpose of these notes is to prove the main
More informationHomework 1 Real Analysis
Homework 1 Real Analysis Joshua Ruiter March 23, 2018 Note on notation: When I use the symbol, it does not imply that the subset is proper. In writing A X, I mean only that a A = a X, leaving open the
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationMA651 Topology. Lecture 10. Metric Spaces.
MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky
More informationLecture 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 informationMATH5011 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