MATH 614 Dynamical Systems and Chaos Lecture 6: Symbolic dynamics.

Similar documents
MATH 614 Dynamical Systems and Chaos Lecture 7: Symbolic dynamics (continued).

Math General Topology Fall 2012 Homework 1 Solutions

Supplement. The Extended Complex Plane

Topology Exercise Sheet 2 Prof. Dr. Alessandro Sisto Due to March 7

Chapter II. Metric Spaces and the Topology of C

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

Lecture Notes DRE 7007 Mathematics, PhD

Problem Set 2: Solutions Math 201A: Fall 2016

Mathematics for Economists

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Course 212: Academic Year Section 1: Metric Spaces

Chapter 2 Metric Spaces

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1

Thus, 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

Assignment #10 Morgan Schreffler 1 of 7

Mid Term-1 : Practice problems

Math General Topology Fall 2012 Homework 8 Solutions

Metric Spaces Math 413 Honors Project

COUNTABLE PRODUCTS ELENA GUREVICH

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key

1. Continuous Functions between Euclidean spaces

Solve EACH of the exercises 1-3

Notes on nets and convergence in topology

COMPLETION OF A METRIC SPACE

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

Real Analysis Notes. Thomas Goller

4 Countability axioms

Math General Topology Fall 2012 Homework 6 Solutions

Topology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski

AN INVITATION TO TOPOLOGY. Lecture notes by Răzvan Gelca

Math General Topology Fall 2012 Homework 13 Solutions

MATH 31BH Homework 1 Solutions

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

MATH 614 Dynamical Systems and Chaos Lecture 3: Classification of fixed points.

CHAPTER 9. Embedding theorems

Metric Spaces Lecture 17

LECTURE 15: COMPLETENESS AND CONVEXITY

MA651 Topology. Lecture 10. Metric Spaces.

CLASS NOTES FOR APRIL 14, 2000

Math 5210, Definitions and Theorems on Metric Spaces

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

By (a), B ε (x) is a closed subset (which

The uniform metric on product spaces

Math General Topology Fall 2012 Homework 11 Solutions

Maths 212: Homework Solutions

Section 21. The Metric Topology (Continued)

MATH 426, TOPOLOGY. p 1.

Math 201 Topology I. Lecture notes of Prof. Hicham Gebran

Topological properties

Chapter 7. Metric Spaces December 5, Metric spaces

8 Complete fields and valuation rings

Math 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012

Problem Set 1: Solutions Math 201A: Fall Problem 1. Let (X, d) be a metric space. (a) Prove the reverse triangle inequality: for every x, y, z X

Some topics in analysis related to Banach algebras, 2

LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM

Econ Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n

Introduction to Topology

Analysis II: Topology and Differential Calculus of Several Variables

CHAPTER 1. Metric Spaces. 1. Definition and examples

E.7 Alaoglu s Theorem

ANALYSIS WORKSHEET II: METRIC SPACES

Immerse Metric Space Homework

Metric Spaces Math 413 Honors Project

In class midterm Exam - Answer key

MAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.

Analysis III Theorems, Propositions & Lemmas... Oh My!

Math 354 Transition graphs and subshifts November 26, 2014

ECARES Université Libre de Bruxelles MATH CAMP Basic Topology

MTG 5316/4302 FALL 2018 REVIEW FINAL

After taking the square and expanding, we get x + y 2 = (x + y) (x + y) = x 2 + 2x y + y 2, inequality in analysis, we obtain.

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES

Introduction to Dynamical Systems

arxiv: v1 [math.mg] 5 Nov 2007

Real Analysis. Joe Patten August 12, 2018

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

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

2 Metric Spaces Definitions Exotic Examples... 3

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance

Math 426 Homework 4 Due 3 November 2017

Def. A topological space X is disconnected if it admits a non-trivial splitting: (We ll abbreviate disjoint union of two subsets A and B meaning A B =

4th Preparation Sheet - Solutions

Rudiments of Ergodic Theory

arxiv: v1 [math.gn] 27 Oct 2018

Math 3T03 - Topology

MAT 544 Problem Set 2 Solutions

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

UNCOUNTABLE ω-limit SETS WITH ISOLATED POINTS

The weak topology of locally convex spaces and the weak-* topology of their duals

A disjoint union theorem for trees

Austin Mohr Math 730 Homework. f(x) = y for some x λ Λ

Proving languages to be nonregular

A generic property of families of Lagrangian systems

7 Complete metric spaces and function spaces

Your first day at work MATH 806 (Fall 2015)

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

1 k x k. d(x, y) =sup k. y k = max

CHAPTER 7. Connectedness

Metric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y)

Transcription:

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 conditions: (positivity) d(x,y) 0 for all x,y X; moreover, d(x,y) = 0 if and only if x = y; (symmetry) d(x,y) = d(y,x) for all x,y X; (triangle inequality) d(x,y) d(x,z)+d(z,y) for all x,y,z X. x d(x, z) z d(z,y) d(x,y) y A set endowed with a metric is called a metric space.

Open sets Let (X,d) be a metric space. For any x 0 X and ε > 0 we define the open ball (or simply ball) B ε (x 0 ) of radius ε centered at x 0 by B ε (x 0 ) = {x X d(x,x 0 ) < ε}. The ball B ε (x 0 ) is also called the ε-neighborhood of x 0. A subset U of the metric space X is called open if for every point x U there exists ε > 0 such that B ε (x) U. Let (Y,ρ) be another metric space and f : X Y be a function. Proposition 1 The function f is continuous at a point x X if and only if for every open set W Y containing f(x) there is an open set U X containing x such that f(u) W. Proposition 2 The function f is continuous on the entire set X if and only if for any open set W Y the preimage f 1 (W) is an open set in X.

Topological space Definition. Given a nonempty set X, a topology on X is a collection U of subsets of X such that U and X U, any intersection of finitely many elements of U is also in U, any union of elements of U is also in U. Elements of U are referred to as open sets of the topology. A set endowed with a topology is called a topological space. We say that a sequence of points x 1,x 2,... of the topological space X converges to a point y X if for every open set U U containing y there exists a natural number n 0 such that x n U for n n 0. Given another topological space Y and a function f : X Y, we say that f is continuous if for any open set W Y the preimage f 1 (W) is an open set in X.

Examples of topological spaces Metric space X: a metric space, U: the set of all open subsets of X (U is referred to as the topology induced by the metric). Trivial topology X: any nonempty set, U = {,X}. Discrete topology X: any nonempty set, U: the set of all subsets of X. Subspace of a topological space X: nonempty subset of a topological space Y with a topology W, U = {U X U W}.

Space of infinite sequences Let A be a finite set. We denote by Σ A the set of all infinite sequences s = (s 1 s 2...), s i A. Elements of Σ A are also referred to as infinite words over the alphabet A. For any finite sequence s 1 s 2...s n of elements of A let C(s 1 s 2...s n ) denote the set of all infinite words s Σ A that begin with this sequence. The sets C(s 1 s 2...s n ) are called cylinders. Let U be the collection of all subsets of Σ A that can be represented as unions of cylinders. Proposition 1 U is a topology on Σ A. The topological space (Σ A,U) is metrizable, which means that the topology U is induced by a metric on Σ A. For any s,t Σ A let d(s,t) = 2 n if s i = t i for 1 i n while s n+1 t n+1. Also, let d(s,t) = 0 if s i = t i for all i 1. Proposition 2 The function d is a metric on Σ A that induces the topology U.

Symbolic dynamics The symbolic dynamics is concerned with the study of some continuous transformations of the topological space Σ A of infinite words over a finite alphabet A. The most important of them is the shift transformation σ : Σ A Σ A defined by σ(s 0 s 1 s 2...) = (s 1 s 2...). Proposition The shift transformation is continuous. Proof: We have to show that for any open set W Σ A the preimage σ 1 (W) is also open. The set W is a union of cylinders: W = C β. Since β B( ) σ 1 C β = σ 1 (C β ), β B β B it is enough to show that the preimage of any cylinder C β is open. Let C β = C(s 1 s 2...s n ). Then σ 1 (C β ) is the union of cylinders C(s 0 s 1 s 2...s n ), s 0 A, hence it is open.

Unimodal maps

Binary rooted tree Alphabet A = {0,1} A : the set of words in the alphabet A

Binary rooted tree 0 1 00 01 10 11 000 001 010 011 100 101 110 111 Alphabet A = {0,1} A : the set of words in the alphabet A

Continuity of the itinerary map Let f : R R be a unimodal map, Λ be the set of all points x R such that O + f (x) [0,1], and S : Λ Σ 2 = Σ {0,1} be the itinerary map. Proposition The itinerary map S is continuous. Proof: Since every open subset of Σ 2 is a union of cylinders, it is enough to show that for any cylinder C = C(s 0 s 1...s n ) the preimage S 1 (C) is an open subset of Λ, i.e., S 1 (C) = U Λ, where U is an open subset of R. Clearly, S 1 (C) = I s0 s 1...s n Λ, where I s0 s 1...s n = {x [0,1] f k (x) I sk, 0 k n}. We know that I s0 s 1...s n is a closed interval and the set Λ is covered by 2 n+1 disjoint closed intervals of the form I t0 t 1...t n, where each t i is 0 or 1. It follows that there exists an open interval U such that S 1 (C) = I s0 s 1...s n Λ = U Λ.

Periodic points of the shift Definition. A point x X is a periodic point of period n of a map f : X X if f n (x) = x. The least n 1 satisfying this relation is called the prime period of x. Suppose s Σ A. Given a natural number n, let s = σ n (s) and w be the beginning of length n of s. Then s = ws. It follows that σ n (s) = s if and only if s = www... Similarly, an infinite word t is an eventually periodic point of the shift if and only if t = uwww... for some finite words u and w. Proposition The number of periodic points of period n is k n, where k is the number of elements in the alphabet A. Idea of the proof: The number of periodic points of period n equals the number of finite words of length n, which is k n.

Dense sets Definition. Suppose (X,d) is a metric space. We say that a subset E X is everywhere dense (or simply dense) in X if for every x X and ε > 0 there exists y E such that d(y,x) < ε. More generally, suppose X is a topological space. We say that a subset E X is dense in X if E intersects every nonempty open subset of X. Proposition Periodic points of the shift σ : Σ A Σ A are dense in Σ A. Proof: Let w be any nonempty finite word over the alhabet A. Then the cylinder C(w) contains a periodic point, e.g., www... Consequently, any nonempty open set U Σ A contains a periodic point.

Dense orbit of the shift Proposition The shift transformation σ : Σ A Σ A admits a dense orbit. Proof: Since open subsets of Σ A are unions of cylinders, it follows that a set E Σ A is dense if and only if it intersects every cylinder. The orbit under the shift of an infinite word s Σ A visits a particular cylinder C(w) if and only if the finite word w appears somewhere in s, that is, s = w 0 ws 0, where w 0 is a finite word and s 0 is an infinite word. Therefore the orbit O + σ (s) is dense in Σ A if and only if the infinite word s contains all finite words over the alphabet A as subwords. There are only countably many finite words over A. We can enumerate them all: w 1,w 2,w 3,... Then an infinite word s = w 1 w 2 w 3... has dense orbit.