Introduction to Ergodic Theory Lecture I Crash course in measure - - PowerPoint PPT Presentation

introduction to ergodic theory
SMART_READER_LITE
LIVE PREVIEW

Introduction to Ergodic Theory Lecture I Crash course in measure - - PowerPoint PPT Presentation

Introduction to Ergodic Theory Lecture I Crash course in measure theory Oliver Butterley, Irene Pasquinelli, Stefano Luzzatto, Lucia Simonelli, Davide Ravotti Summer School in Dynamics ICTP 2018 Lecture I (Measure Theory)


slide-1
SLIDE 1

Introduction to Ergodic Theory

Lecture I – Crash course in measure theory Oliver Butterley, Irene Pasquinelli, Stefano Luzzatto, Lucia Simonelli, Davide Ravotti Summer School in Dynamics – ICTP – 2018

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-2
SLIDE 2

Why do we care about measure theory? Dynamical system T : X → X What can we say about typical orbits? Push forward on measures T∗λ(A) = λ(T −1A) for A ⊂ X?

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-3
SLIDE 3

The goal Associate to every subset A ⊂ Rn a non-negative number λ(A) with the following reasonable properties λ ((0, 1)n) = 1 λ(

k Ak) = k λ(Ak) when Ak are pairwise disjoint

λ(A) ≤ λ(B) when A ⊆ B λ(x + A) = λ(A)

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-4
SLIDE 4

The goal? Associate to every subset A ⊂ Rn a non-negative number λ(A) with the following reasonable properties λ ((0, 1)n) = 1 λ(

k Ak) = k λ(Ak) when Ak are pairwise disjoint

λ(A) ≤ λ(B) when A ⊆ B λ(x + A) = λ(A)

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-5
SLIDE 5

The goal? Associate to every subset A ⊂ Rn a non-negative number λ(A) with the following reasonable properties λ ((0, 1)n) = 1 λ(

k Ak) = k λ(Ak) when Ak are pairwise disjoint

λ(A) ≤ λ(B) when A ⊆ B λ(x + A) = λ(A) Why isn’t this possible? What’s the best that can be done? What happens when we drop some requirements?

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-6
SLIDE 6

Definition A collection A of subsets of a space X is called an algebra of subsets if ∅ ∈ A A is closed under complements, i.e., Ac = X \ A ∈ A whenever A ∈ A A is closed under finite unions, i.e., N

k=1 Ak ∈ A whenever A1, . . . , AN ∈ A

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-7
SLIDE 7

Definition A collection A of subsets of a space X is called a σ-algebra of subsets if ∅ ∈ A A is closed under complements, i.e., Ac = X \ A ∈ A whenever A ∈ A A is closed under countable unions, i.e., ∞

k=1 Ak ∈ A whenever A1, A2 . . . ∈ A

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-8
SLIDE 8

Definition A collection A of subsets of a space X is called a σ-algebra of subsets if ∅ ∈ A A is closed under complements, i.e., Ac = X \ A ∈ A whenever A ∈ A A is closed under countable unions, i.e., ∞

k=1 Ak ∈ A whenever A1, A2 . . . ∈ A

Definition If S a collection of subsets of X, we denote by σ(S) the smallest σ-algebra which contains S.

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-9
SLIDE 9

Example Let X = R and let A denote the collection of all finite unions of subintervals

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-10
SLIDE 10

Example Let X = R and let A denote the collection of all finite unions of subintervals Example Let X = R and let A denote the collection of all subsets of R

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-11
SLIDE 11

Example Let X = R and let A denote the collection of all finite unions of subintervals Example Let X = R and let A denote the collection of all subsets of R Definition Let X be any topological space. The Borel σ-algebra is defined to be the smallest σ-algebra which contains all open subsets of X

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-12
SLIDE 12

Definition A measurable space (X, A) is a space X together with a σ-algebra A of subsets

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-13
SLIDE 13

Definition A measurable space (X, A) is a space X together with a σ-algebra A of subsets Definition Let (X, A) be a measurable space. A measure µ is a function µ : A → [0, ∞] such that µ(∅) = 0 If A1, A2 . . . ∈ A is a countable collection of pairwise disjoint measurable sets then µ ∞

  • k=1

Ak

  • =

  • k=1

µ(Ak)

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-14
SLIDE 14

Definition A measurable space (X, A) is a space X together with a σ-algebra A of subsets Definition Let (X, A) be a measurable space. A measure µ is a function µ : A → [0, ∞] such that µ(∅) = 0 If A1, A2 . . . ∈ A is a countable collection of pairwise disjoint measurable sets then µ ∞

  • k=1

Ak

  • =

  • k=1

µ(Ak) Definition If µ(X) < ∞ the measure is said to be finite. If µ(X) = 1 the measure is said to be a probability measure.

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-15
SLIDE 15

Example Let X = R. The delta-measure at a point a ∈ R is defined as δa(A) =

  • 1

if a ∈ A

  • therwise

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-16
SLIDE 16

Example Let X = R. The delta-measure at a point a ∈ R is defined as δa(A) =

  • 1

if a ∈ A

  • therwise

Translation invariant?

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-17
SLIDE 17

Example Let X = R. The delta-measure at a point a ∈ R is defined as δa(A) =

  • 1

if a ∈ A

  • therwise

Translation invariant? Definition A measure space is said to be complete if every subset of any zero measure set is measurable

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-18
SLIDE 18

Definition If A ⊂ R we define outer measure to be the quantity λ∗(A) := inf ∞

  • k=1

(bk − ak) : {Ik = (ak, bk)}k is a set of intervals which covers A

  • Lecture I (Measure Theory)

Introduction to Ergodic Theory

slide-19
SLIDE 19

Definition If A ⊂ R we define outer measure to be the quantity λ∗(A) := inf ∞

  • k=1

(bk − ak) : {Ik = (ak, bk)}k is a set of intervals which covers A

  • Definition

A set A ⊂ R is said to be Lebesgue measurable if, for every E ⊂ R, λ∗(E) = λ∗(E ∩ A) + λ ∗ (E \ A)

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-20
SLIDE 20

Definition If A ⊂ R we define outer measure to be the quantity λ∗(A) := inf ∞

  • k=1

(bk − ak) : {Ik = (ak, bk)}k is a set of intervals which covers A

  • Definition

A set A ⊂ R is said to be Lebesgue measurable if, for every E ⊂ R, λ∗(E) = λ∗(E ∩ A) + λ ∗ (E \ A) Definition For any Lebesgue measurable set A ⊂ R we define the lebesgue measure λ(A) = λ∗(A)

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-21
SLIDE 21

Exercise A

1 Let X = N and let A = {A ⊂ X : A or Ac is finite}. Define

µ(A) =

  • 1

if A is finite if Ac is finite . Is this function additive? Is it countable additive?

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-22
SLIDE 22

Exercise A

1 Let X = N and let A = {A ⊂ X : A or Ac is finite}. Define

µ(A) =

  • 1

if A is finite if Ac is finite . Is this function additive? Is it countable additive?

2 Show that the collection of Lebesgue measurable sets is a σ-algebra

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-23
SLIDE 23

Theorem (Carat´ eodory extension) Let A be an algebra of subsets of X. If µ∗ : A → [0, 1] satisfies µ∗(∅) = 0, µ∗(X) < ∞ If A1, A2 . . . ∈ A is a countable collection of pairwise disjoint measurable sets and ∞

k=1 Ak ∈ A then

µ∗ ∞

  • k=1

Ak

  • =

  • k=1

µ ∗ (Ak). Then there exists a unique measure µ : A → [0, ∞) on σ(A) the σ-algebra generated by A which extends µ∗.

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-24
SLIDE 24

Exercise B

1 Show that there are subsets of R which are not Lebesgue measurable

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-25
SLIDE 25

Exercise B

1 Show that there are subsets of R which are not Lebesgue measurable 2 Show that there are Lebesgue measurable sets which are not Borel measurable

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-26
SLIDE 26

Exercise B

1 Show that there are subsets of R which are not Lebesgue measurable (hint:

consider an irrational circle rotation, choose a single point on each distinct orbit)

2 Show that there are Lebesgue measurable sets which are not Borel measurable

Lecture I (Measure Theory) Introduction to Ergodic Theory

slide-27
SLIDE 27

Exercise B

1 Show that there are subsets of R which are not Lebesgue measurable (hint:

consider an irrational circle rotation, choose a single point on each distinct orbit)

2 Show that there are Lebesgue measurable sets which are not Borel measurable

(hint: recall the Cantor function, modify it to make it invertible, consider some preimage)

Lecture I (Measure Theory) Introduction to Ergodic Theory