# CONVERGENCE OF THE RUELLE OPERATOR FOR A FUNCTION SATISFYING BOWEN S CONDITION

Save this PDF as:

Size: px
Start display at page:

Download "CONVERGENCE OF THE RUELLE OPERATOR FOR A FUNCTION SATISFYING BOWEN S CONDITION"

## Transcription

6 332 PETER WALTERS U T : C(X; R) C(X; R) be give by (U T f)(x) = f(tx). For 1 defie P () : C(X; R) C(X; R) by (P () f)(x) = (U T L f)(x) (UT L 1)(x) = (L f)(t x) (L 1)(T x) = z T T x e(t)(z) f(z). z T T x e(t)(z) These operators have the followig properties. Theorem 2.1. For C(X; R) ad 1 let P () be defied as above. (i) P () is liear, cotiuous ad positive. (ii) P () 1=1. (iii) If l C(X; R) is so that x Xliscostat o T x,the P () () (l f) =l P f f C(X; R). (iv) L P () = L. (v) If m, thep () P (m) = P (m) P () = P (m). (vi) f C(X; R) P () f is costat o each set T x. Proof. (i), (ii), (iii) ad (vi) are clear from the defiitio. To prove (iv) we have (L P () f)(x) = e (T)(y) (P () f)(y) y T x = y T x To prove (v) let m ad the P () P (m) e (T)(y) z T x e(t)(z) f(z) z T x e(t)(z) =(L f)(x). f = P (m) f P () 1 by (iii) ad (vi) = P (m) f by (ii); P (m) P () f = U T mlm P () f UT mlm 1 = U T mlm L P () UT mlm 1 f = U m T Lm f U m T Lm 1 by (iv) = P (m) f. The dual operator P () maps M(X) itom(x) ad is cotiuous for the weak - topology. The set K () = {ν M(X) P () ν = ν} is a compact covex set which is oempty by the Schauder-Tychaoff fixed poit theorem. Note that K () = P () M(X), by Theorem 2.1 (v). By Theorem 2.1 (v) we have K (1) K (2) ad K = =1 K() is a oempty, compact covex set. Let L deote the dual of L : C(X; R) C(X; R). Theorem 2.2. Let J : M(X) M(X) be defied by J µ = L µ (L µ)(1). The P () J = J ad JM(X) K (). Proof. By iductio Jµ = (L ) µ () ((L ) µ)(1).thep Jµ = Jµ by Theorem 2 (iv). Corollary 2.3. There exist ν M(X) ad >0 with L ν = ν. Every such ν is i K.

14 340 PETER WALTERS From Theorem 2.9 we kow that K log g has oly oe member iff f C(X; R) c(f) R with L log g f c(f). Oe ca easily show that there is a uique g-measure iff f C(X; R) c(f) R with 1 1 i=0 Li log g f c(f). Bramso ad Kalikow have give examples of g-fuctios without uique g-measures ([B-K1]). Our Theorem 2.16 gives the followig result, which was proved by Fa i the case of topologically mixig subshifts of fiite type ([F]). Theorem 3.2. Let T : X X be a positively expasive local homeomorphism with the weak specificatio coditio. Let g : X (0, 1) be cotiuous ad x X y T 1 x g(y) =1. Let log g satisfy Bowe s coditio (i.e. δ >0 ad C>0 such that d(t i x, T i x g(x)g(tx) g(t ) δ, 0 i 1 implies 1 x) g(x )g(tx ) g(t 1 x ) e C ). The f C(X; R) L log g f costat. The set K log g has oly oe member, i particular, there is a uique g-measure µ. Also, µ is exact. So for the collectio of fuctios of the form log(g) Bowe s assumptio implies the coclusio of Ruelle s theorem. There are examples of g s with L log g f costat but log g does ot satisfy Bowe s coditio ([H]). Such a example is the followig where a (0, 1). O the space X = {0, 1} Z+ let ( 3 +1 a +2) if (x 0,...,x +1 )=(1, 1,...,1, 1, 0), 0, ( 3 +1 g(x) = 1 a +2) if (x 0,...,x +1 )=(0, 1, 1,...,1, 1, 0), 0, a if x i =1 i 0, 1 a if x 0 =0adx i =1 i 1. Theorem 2.18 gives the followig Theorem 3.3. Let T : X X be a positively expasive local homeomorphism satisfyig the weak specificatio coditio. For a g-fuctio g : X (0, 1) the followig are equivalet: (i) log g satisfies Bowe s coditio. (ii) µ M(X, T) with the property that for every sufficietly small δ>0 D δ > 1 with D 1 δ µ(b (x; δ)) g(x) g(t 1 x) D δ x X, 1. (iii) µ M(X, T) such that for some expasive costats δ 0 D δ0 > 1 with D 1 δ 0 µ(b (x; δ 0 )) g(x) g(t 1 x) D δ 0 x X, 0. Proof. I the proof of Theorem 2.18 we showed a measure satisfies the property i (ii) iff it satisfies the property i (iii). If (i) holds ad we choose µ with L log g µ = µ, the the proof of Theorem 2.18, with ν = µ, =1,showsµ satisfies (ii). We get (iii) implies (i) by Theorem Corollary 4.7 will give more iformatio.

16 342 PETER WALTERS g is measurable, g : X [a, b] (0, 1) ad x X y T 1 x g(y) = 1. Let L log g : L(X; R) L(X; R) be defied by (L log g f)(x) = y T 1 x g(y)f(y). We have for 1 (L 1 log gf)(x) = h(x) (L (h f))(x). From Corollary 2.8 L fdν = fdν f L 1 ν(x) sowehave L log g fdµ = fdµ f L 1 ν(x) =L 1 µ(x). We have the followig versio of a result of Ledrappier ([L]). We write B istead of B(X) adifτ M(X, T), the h τ (T ) deotes the etropy of the measurepreservig trasformatio T :(X, B,τ) (X, B,τ). Lemma 4.4. Let T : X X be a positively expasive cotiuous surjectio ad let g : X [a, b] (0, 1) be measurable ad satisfy y T 1 x g(y) =1 x X. We have h τ (T )+ log gdτ 0 τ M(X, T). Forσ M(X, T) the followig statemets are pairwise equivalet: (i) L log g fdσ = fdσ f L 1 σ(x). (ii) σ M(X, T) ad f L 1 σ(x) E σ (f /T 1 B)(x) = y T 1 Txg(y)f(y) a.e. (σ). (iii) σ M(X, T) ad h σ (T )+ log gdσ=0. Proof. We write L istead of L log g. Sice T is positively expasive, every fiite partitio of X ito sets of sufficietly small diameter is a oe-sided geerator. Hece h τ (T )=H τ (B /T 1 B) τ M(X, T). If g τ : X [0, 1] is defied a.e. (τ) by E τ (f /T 1 B)(x) = g τ (y)f(y), f L 1 τ, the Hece y T 1 Tx h τ (T )=H τ (B /T 1 B)= = h τ (T )+ log g τ dτ. y T 1 Tx log gdτ = log g/g τ dτ ( ) g 1 dτ g τ = g τ (y) y T 1 Tx =0sice y T 1 Tx g τ (y)logg τ (y) dτ(x) ( ) g(y) g τ (h) 1 dτ(x) g(y) =1 x X. Equality holds here iff log g/g τ = g/g τ 1a.e.(τ) i.e. g = g τ a.e. (τ). Hece h τ (T )+ log gdτ 0 τ M(X, T).

17 CONVERGENCE OF THE RUELLE OPERATOR 343 (i) (ii) Let f L 1 σ.the f Tdσ= L(f T ) dσ = fdσ so σ M(X, T). Also, if B B fdσ = f χ B Tdσ= L(f χ B T ) dσ T 1 B = (L(f χ B T )) Tdσ= g(y)f(y) dσ(x). T 1 B y T 1 Tx (ii) (iii) By the above if (ii) holds, the g = g σ ad (iii) holds. (iii) (i) From the above proof we kow that for τ M(X, T) h τ (T )+ log gdτ =0iffg τ = g a.e. (τ). So if (iii) holds, the g σ = g a.e. (σ). Hece for f L 1 σ Lfdσ = (Lf) Tdσ= g(y)f(y) dσ(x) = fdσ. y T 1 Tx Sice our measure µ = h ν satisfies statemet (i) of Lemma 4.4, it also satisfies (ii) ad (iii). We use this to show µ is the uique equilibrium state of. Recall that µ is a equilibrium state of if τ M(X, T) h τ (T )+ dτ h µ (T )+ dµ; equivaletly if h µ (T )+ dµ= P (T,). Theorem 4.5. Let T : X X be a positively expasive local homeomorphism satisfyig the weak specificatio coditio. Let C(X; R) satisfy Bowe s coditio. The has a uique equilibrium state ad this state is µ = h ν. With respect to µt is exact. Proof. Sice log = P (T,), we kow σ M(X, T) is a equilibrium state for iff h σ (T )+ dσ =log. Sice =logg +log +logh T log h this is equivalet to h σ (T )+ log gdσ = 0. By Lemma 4.4 this is equivalet to L log g fdσ = fdσ f L 1 σ (X), which is equivalet to L fdτ = fdτ f L 1 τ(x), where τ = 1 h σ. This gives L τ = τ ad we kow, by Theorem 2.16 (i), that ν is the oly probability measure that satisfies this. Hece µ = h ν is a equilibrium state for. If σ is a equilibrium state for, theσ = c h ν for some c>0. Sice σ ad h ν are both probability measures we get c =1,adµ = h ν is the oly equilibrium state for. Exactess was proved i Theorem 4.3. Theorem 4.6. Let T : X X be a positively expasive local homeomorphism satisfyig the weak specificatio coditio. Let C(X; R) satisfy Bowe s coditio, ad let = e P (T,). The followig three statemets about σ M(X, T) are pairwise equivalet: (i) σ is the uique equilibrium state µ = h ν. (ii) For every sufficietly small δ>0 E δ > 1 with E 1 δ σ(b (x; δ)) e (T)(x) E δ x X, 1. (iii) For some expasive costat δ 0 E δ0 > 1 with E 1 δ 0 σ(b (x; δ 0 )) e (T)(x) E δ 0 x X, 1.

18 344 PETER WALTERS Proof. Let ν,, h be associated to as usual. Assume (i). We have 0 < d 1 h d for some d > 1. By the proof of Theorem 2.18 we kow, ν satisfy statemet (ii) of Theorem 2.18 so we have E 1 δ µ(b (x; δ)) e (T)(x) E δ x X, 1 if E δ = dd δ. Hece (ii) holds. Clearly (ii) implies (iii). Assume (iii) holds ad we prove (i). We have 1 log σ(b (x; δ 0 )) + 1 (T )(x) log = P (T,). Itegratig with respect to σ, ad usig the Bri-Katok local etropy formula ([B-K2]), gives h σ (T )+ dσ = P (T,). This says σ is a equilibrium state for ad so must equal the uique oe µ. We have the followig special case. Corollary 4.7. Let T : X X be a positively expasive local homeomorphism satisfyig the weak specificatio coditio. Let g C(X; R) be a g-fuctio so that log g satisfies Bowe s coditio. The the uique g-measure is the oly member µ of M(X, T) with either of the followig properties: (i) for every sufficietly small δ>0 E δ > 1 with E 1 δ µ(b (x; δ)) g(x)g(tx) g(t 1 x) E δ x X, 1; (ii) for some expasive costat δ 0 E δ0 > 1 with E 1 δ 0 µ(b (x; δ 0 )) g(x)g(tx) g(t 1 x) E δ 0 x X, 1. The followig geeralizes Theorem 3.3 Theorem 4.8. Let T : X X be a positively expasive local homeomorphism with the weak specificatio coditio. The followig statemets about C(X; R) are pairwise equivalet: (i) satisfies Bowe s coditio. (ii) µ M(X, T) ad >0 with the property that for all sufficietly small δ>0 E δ > 1 with E 1 δ µ(b (x; δ)) e (T)(x) E δ x X, 1. (iii) µ M(X, T) ad >0 with the property that for some expasive costat δ 0 E δ0 > 1 with E 1 δ 0 µ(b (x; δ 0 )) e E (T)(x) δ 0 x X, 1. Proof. We get (i) (ii) by Theorem 4.6. Clearly (i) (iii), ad we get (iii) (i) by Theorem 2.8. We ca ow make some deductios about equilibrium states usig a result of Quas [Q]. The result of Quas says, i our cotext, that if T : X X is a positively expasive local homeomorphism satisfyig the weak specificatio property ad µ is a ergodic member of M(X, T) with full support, the if F L µ (X) satisfies F T F = f C(X; R) a.e. there is G C(X; R) withg T G = f everywhere.

### Product measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.

Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the

### Lecture Notes for Analysis Class

Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios

### Convergence of random variables. (telegram style notes) P.J.C. Spreij

Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space

### Definition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.

4. BASES I BAACH SPACES 39 4. BASES I BAACH SPACES Sice a Baach space X is a vector space, it must possess a Hamel, or vector space, basis, i.e., a subset {x γ } γ Γ whose fiite liear spa is all of X ad

### A Proof of Birkhoff s Ergodic Theorem

A Proof of Birkhoff s Ergodic Theorem Joseph Hora September 2, 205 Itroductio I Fall 203, I was learig the basics of ergodic theory, ad I came across this theorem. Oe of my supervisors, Athoy Quas, showed

### If a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?

2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a

### f n (x) f m (x) < ɛ/3 for all x A. By continuity of f n and f m we can find δ > 0 such that d(x, x 0 ) < δ implies that

Lecture 15 We have see that a sequece of cotiuous fuctios which is uiformly coverget produces a limit fuctio which is also cotiuous. We shall stregthe this result ow. Theorem 1 Let f : X R or (C) be a

### Chapter 7 Isoperimetric problem

Chapter 7 Isoperimetric problem Recall that the isoperimetric problem (see the itroductio its coectio with ido s proble) is oe of the most classical problem of a shape optimizatio. It ca be formulated

### Measure and Measurable Functions

3 Measure ad Measurable Fuctios 3.1 Measure o a Arbitrary σ-algebra Recall from Chapter 2 that the set M of all Lebesgue measurable sets has the followig properties: R M, E M implies E c M, E M for N implies

### MATH 413 FINAL EXAM. f(x) f(y) M x y. x + 1 n

MATH 43 FINAL EXAM Math 43 fial exam, 3 May 28. The exam starts at 9: am ad you have 5 miutes. No textbooks or calculators may be used durig the exam. This exam is prited o both sides of the paper. Good

### Singular Continuous Measures by Michael Pejic 5/14/10

Sigular Cotiuous Measures by Michael Peic 5/4/0 Prelimiaries Give a set X, a σ-algebra o X is a collectio of subsets of X that cotais X ad ad is closed uder complemetatio ad coutable uios hece, coutable

### Chapter 3. Strong convergence. 3.1 Definition of almost sure convergence

Chapter 3 Strog covergece As poited out i the Chapter 2, there are multiple ways to defie the otio of covergece of a sequece of radom variables. That chapter defied covergece i probability, covergece i

### REAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS

REAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS 18th Feb, 016 Defiitio (Lipschitz fuctio). A fuctio f : R R is said to be Lipschitz if there exists a positive real umber c such that for ay x, y i the domai

### Lecture 3 The Lebesgue Integral

Lecture 3: The Lebesgue Itegral 1 of 14 Course: Theory of Probability I Term: Fall 2013 Istructor: Gorda Zitkovic Lecture 3 The Lebesgue Itegral The costructio of the itegral Uless expressly specified

### Sequences and Series of Functions

Chapter 6 Sequeces ad Series of Fuctios 6.1. Covergece of a Sequece of Fuctios Poitwise Covergece. Defiitio 6.1. Let, for each N, fuctio f : A R be defied. If, for each x A, the sequece (f (x)) coverges

### University of Colorado Denver Dept. Math. & Stat. Sciences Applied Analysis Preliminary Exam 13 January 2012, 10:00 am 2:00 pm. Good luck!

Uiversity of Colorado Dever Dept. Math. & Stat. Scieces Applied Aalysis Prelimiary Exam 13 Jauary 01, 10:00 am :00 pm Name: The proctor will let you read the followig coditios before the exam begis, ad

### Integrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number

MATH 532 Itegrable Fuctios Dr. Neal, WKU We ow shall defie what it meas for a measurable fuctio to be itegrable, show that all itegral properties of simple fuctios still hold, ad the give some coditios

### (A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3

MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special

### Math Solutions to homework 6

Math 175 - Solutios to homework 6 Cédric De Groote November 16, 2017 Problem 1 (8.11 i the book): Let K be a compact Hermitia operator o a Hilbert space H ad let the kerel of K be {0}. Show that there

### s = and t = with C ij = A i B j F. (i) Note that cs = M and so ca i µ(a i ) I E (cs) = = c a i µ(a i ) = ci E (s). (ii) Note that s + t = M and so

3 From the otes we see that the parts of Theorem 4. that cocer us are: Let s ad t be two simple o-egative F-measurable fuctios o X, F, µ ad E, F F. The i I E cs ci E s for all c R, ii I E s + t I E s +

### Chapter 6 Infinite Series

Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat

### Theorem 3. A subset S of a topological space X is compact if and only if every open cover of S by open sets in X has a finite subcover.

Compactess Defiitio 1. A cover or a coverig of a topological space X is a family C of subsets of X whose uio is X. A subcover of a cover C is a subfamily of C which is a cover of X. A ope cover of X is

### FUNDAMENTALS OF REAL ANALYSIS by

FUNDAMENTALS OF REAL ANALYSIS by Doğa Çömez Backgroud: All of Math 450/1 material. Namely: basic set theory, relatios ad PMI, structure of N, Z, Q ad R, basic properties of (cotiuous ad differetiable)

### Boundaries and the James theorem

Boudaries ad the James theorem L. Vesely 1. Itroductio The followig theorem is importat ad well kow. All spaces cosidered here are real ormed or Baach spaces. Give a ormed space X, we deote by B X ad S

### BIRKHOFF ERGODIC THEOREM

BIRKHOFF ERGODIC THEOREM Abstract. We will give a proof of the poitwise ergodic theorem, which was first proved by Birkhoff. May improvemets have bee made sice Birkhoff s orgial proof. The versio we give

### A NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS

Acta Math. Hugar., 2007 DOI: 10.1007/s10474-007-7013-6 A NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS L. L. STACHÓ ad L. I. SZABÓ Bolyai Istitute, Uiversity of Szeged, Aradi vértaúk tere 1, H-6720

### A REMARK ON A PROBLEM OF KLEE

C O L L O Q U I U M M A T H E M A T I C U M VOL. 71 1996 NO. 1 A REMARK ON A PROBLEM OF KLEE BY N. J. K A L T O N (COLUMBIA, MISSOURI) AND N. T. P E C K (URBANA, ILLINOIS) This paper treats a property

### Introductory Ergodic Theory and the Birkhoff Ergodic Theorem

Itroductory Ergodic Theory ad the Birkhoff Ergodic Theorem James Pikerto Jauary 14, 2014 I this expositio we ll cover a itroductio to ergodic theory. Specifically, the Birkhoff Mea Theorem. Ergodic theory

### Notes 19 : Martingale CLT

Notes 9 : Martigale CLT Math 733-734: Theory of Probability Lecturer: Sebastie Roch Refereces: [Bil95, Chapter 35], [Roc, Chapter 3]. Sice we have ot ecoutered weak covergece i some time, we first recall

### McGill University Math 354: Honors Analysis 3 Fall 2012 Solutions to selected problems

McGill Uiversity Math 354: Hoors Aalysis 3 Fall 212 Assigmet 3 Solutios to selected problems Problem 1. Lipschitz fuctios. Let Lip K be the set of all fuctios cotiuous fuctios o [, 1] satisfyig a Lipschitz

### MAT1026 Calculus II Basic Convergence Tests for Series

MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real

### Solution. 1 Solutions of Homework 1. Sangchul Lee. October 27, Problem 1.1

Solutio Sagchul Lee October 7, 017 1 Solutios of Homework 1 Problem 1.1 Let Ω,F,P) be a probability space. Show that if {A : N} F such that A := lim A exists, the PA) = lim PA ). Proof. Usig the cotiuity

### PRELIM PROBLEM SOLUTIONS

PRELIM PROBLEM SOLUTIONS THE GRAD STUDENTS + KEN Cotets. Complex Aalysis Practice Problems 2. 2. Real Aalysis Practice Problems 2. 4 3. Algebra Practice Problems 2. 8. Complex Aalysis Practice Problems

### MATH301 Real Analysis (2008 Fall) Tutorial Note #7. k=1 f k (x) converges pointwise to S(x) on E if and

MATH01 Real Aalysis (2008 Fall) Tutorial Note #7 Sequece ad Series of fuctio 1: Poitwise Covergece ad Uiform Covergece Part I: Poitwise Covergece Defiitio of poitwise covergece: A sequece of fuctios f

### The Borel hierarchy classifies subsets of the reals by their topological complexity. Another approach is to classify them by size.

Lecture 7: Measure ad Category The Borel hierarchy classifies subsets of the reals by their topological complexity. Aother approach is to classify them by size. Filters ad Ideals The most commo measure

### Math 341 Lecture #31 6.5: Power Series

Math 341 Lecture #31 6.5: Power Series We ow tur our attetio to a particular kid of series of fuctios, amely, power series, f(x = a x = a 0 + a 1 x + a 2 x 2 + where a R for all N. I terms of a series

### BETWEEN QUASICONVEX AND CONVEX SET-VALUED MAPPINGS. 1. Introduction. Throughout the paper we denote by X a linear space and by Y a topological linear

BETWEEN QUASICONVEX AND CONVEX SET-VALUED MAPPINGS Abstract. The aim of this paper is to give sufficiet coditios for a quasicovex setvalued mappig to be covex. I particular, we recover several kow characterizatios

### The Pointwise Ergodic Theorem and its Applications

The Poitwise Ergodic Theorem ad its Applicatios Itroductio Peter Oberly 11/9/2018 Algebra has homomorphisms ad topology has cotiuous maps; i these otes we explore the structure preservig maps for measure

### Entropy Rates and Asymptotic Equipartition

Chapter 29 Etropy Rates ad Asymptotic Equipartitio Sectio 29. itroduces the etropy rate the asymptotic etropy per time-step of a stochastic process ad shows that it is well-defied; ad similarly for iformatio,

### ON MEAN ERGODIC CONVERGENCE IN THE CALKIN ALGEBRAS

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX0000-0 ON MEAN ERGODIC CONVERGENCE IN THE CALKIN ALGEBRAS MARCH T. BOEDIHARDJO AND WILLIAM B. JOHNSON 2

### Lecture 3 : Random variables and their distributions

Lecture 3 : Radom variables ad their distributios 3.1 Radom variables Let (Ω, F) ad (S, S) be two measurable spaces. A map X : Ω S is measurable or a radom variable (deoted r.v.) if X 1 (A) {ω : X(ω) A}

### 7.1 Convergence of sequences of random variables

Chapter 7 Limit Theorems Throughout this sectio we will assume a probability space (, F, P), i which is defied a ifiite sequece of radom variables (X ) ad a radom variable X. The fact that for every ifiite

### Council for Innovative Research

ABSTRACT ON ABEL CONVERGENT SERIES OF FUNCTIONS ERDAL GÜL AND MEHMET ALBAYRAK Yildiz Techical Uiversity, Departmet of Mathematics, 34210 Eseler, Istabul egul34@gmail.com mehmetalbayrak12@gmail.com I this

### Archimedes - numbers for counting, otherwise lengths, areas, etc. Kepler - geometry for planetary motion

Topics i Aalysis 3460:589 Summer 007 Itroductio Ree descartes - aalysis (breaig dow) ad sythesis Sciece as models of ature : explaatory, parsimoious, predictive Most predictios require umerical values,

### Lecture 19: Convergence

Lecture 19: Covergece Asymptotic approach I statistical aalysis or iferece, a key to the success of fidig a good procedure is beig able to fid some momets ad/or distributios of various statistics. I may

### REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS

REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS LIVIU I. NICOLAESCU ABSTRACT. We ivestigate the geeralized covergece ad sums of series of the form P at P (x, where P R[x], a R,, ad T : R[x] R[x]

### Homework 2. Show that if h is a bounded sesquilinear form on the Hilbert spaces X and Y, then h has the representation

omework 2 1 Let X ad Y be ilbert spaces over C The a sesquiliear form h o X Y is a mappig h : X Y C such that for all x 1, x 2, x X, y 1, y 2, y Y ad all scalars α, β C we have (a) h(x 1 + x 2, y) h(x

### Final Solutions. 1. (25pts) Define the following terms. Be as precise as you can.

Mathematics H104 A. Ogus Fall, 004 Fial Solutios 1. (5ts) Defie the followig terms. Be as recise as you ca. (a) (3ts) A ucoutable set. A ucoutable set is a set which ca ot be ut ito bijectio with a fiite

### lim za n n = z lim a n n.

Lecture 6 Sequeces ad Series Defiitio 1 By a sequece i a set A, we mea a mappig f : N A. It is customary to deote a sequece f by {s } where, s := f(). A sequece {z } of (complex) umbers is said to be coverget

### FUNDAMENTALS OF REAL ANALYSIS by. V.1. Product measures

FUNDAMENTALS OF REAL ANALSIS by Doğa Çömez V. PRODUCT MEASURE SPACES V.1. Product measures Let (, A, µ) ad (, B, ν) be two measure spaces. I this sectio we will costruct a product measure µ ν o that coicides

### Properties of Fuzzy Length on Fuzzy Set

Ope Access Library Joural 206, Volume 3, e3068 ISSN Olie: 2333-972 ISSN Prit: 2333-9705 Properties of Fuzzy Legth o Fuzzy Set Jehad R Kider, Jaafar Imra Mousa Departmet of Mathematics ad Computer Applicatios,

### AN EXTENSION OF SIMONS INEQUALITY AND APPLICATIONS. Robert DEVILLE and Catherine FINET

2001 vol. XIV, um. 1, 95-104 ISSN 1139-1138 AN EXTENSION OF SIMONS INEQUALITY AND APPLICATIONS Robert DEVILLE ad Catherie FINET Abstract This article is devoted to a extesio of Simos iequality. As a cosequece,

### Real Numbers R ) - LUB(B) may or may not belong to B. (Ex; B= { y: y = 1 x, - Note that A B LUB( A) LUB( B)

Real Numbers The least upper boud - Let B be ay subset of R B is bouded above if there is a k R such that x k for all x B - A real umber, k R is a uique least upper boud of B, ie k = LUB(B), if () k is

### Chapter 3 Inner Product Spaces. Hilbert Spaces

Chapter 3 Ier Product Spaces. Hilbert Spaces 3. Ier Product Spaces. Hilbert Spaces 3.- Defiitio. A ier product space is a vector space X with a ier product defied o X. A Hilbert space is a complete ier

### Real and Complex Analysis, 3rd Edition, W.Rudin

Real ad Complex Aalysis, 3rd ditio, W.Rudi Chapter 6 Complex Measures Yug-Hsiag Huag 206/08/22. Let ν be a complex measure o (X, M ). If M, defie { } µ () = sup ν( j ) : N,, 2, disjoit, = j { } ν () =

### The log-behavior of n p(n) and n p(n)/n

Ramauja J. 44 017, 81-99 The log-behavior of p ad p/ William Y.C. Che 1 ad Ke Y. Zheg 1 Ceter for Applied Mathematics Tiaji Uiversity Tiaji 0007, P. R. Chia Ceter for Combiatorics, LPMC Nakai Uivercity

### Assignment 5: Solutions

McGill Uiversity Departmet of Mathematics ad Statistics MATH 54 Aalysis, Fall 05 Assigmet 5: Solutios. Let y be a ubouded sequece of positive umbers satisfyig y + > y for all N. Let x be aother sequece

### An alternative proof of a theorem of Aldous. concerning convergence in distribution for martingales.

A alterative proof of a theorem of Aldous cocerig covergece i distributio for martigales. Maurizio Pratelli Dipartimeto di Matematica, Uiversità di Pisa. Via Buoarroti 2. I-56127 Pisa, Italy e-mail: pratelli@dm.uipi.it

### MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.265/15.070J Fall 2013 Lecture 21 11/27/2013

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.265/15.070J Fall 2013 Lecture 21 11/27/2013 Fuctioal Law of Large Numbers. Costructio of the Wieer Measure Cotet. 1. Additioal techical results o weak covergece

### HOMEWORK #4 - MA 504

HOMEWORK #4 - MA 504 PAULINHO TCHATCHATCHA Chapter 2, problem 19. (a) If A ad B are disjoit closed sets i some metric space X, prove that they are separated. (b) Prove the same for disjoit ope set. (c)

### On Weak and Strong Convergence Theorems for a Finite Family of Nonself I-asymptotically Nonexpansive Mappings

Mathematica Moravica Vol. 19-2 2015, 49 64 O Weak ad Strog Covergece Theorems for a Fiite Family of Noself I-asymptotically Noexpasive Mappigs Birol Güdüz ad Sezgi Akbulut Abstract. We prove the weak ad

### The value of Banach limits on a certain sequence of all rational numbers in the interval (0,1) Bao Qi Feng

The value of Baach limits o a certai sequece of all ratioal umbers i the iterval 0, Bao Qi Feg Departmet of Mathematical Scieces, Ket State Uiversity, Tuscarawas, 330 Uiversity Dr. NE, New Philadelphia,

### Riesz-Fischer Sequences and Lower Frame Bounds

Zeitschrift für Aalysis ud ihre Aweduge Joural for Aalysis ad its Applicatios Volume 1 (00), No., 305 314 Riesz-Fischer Sequeces ad Lower Frame Bouds P. Casazza, O. Christese, S. Li ad A. Lider Abstract.

### Empirical Processes: Glivenko Cantelli Theorems

Empirical Processes: Gliveko Catelli Theorems Mouliath Baerjee Jue 6, 200 Gliveko Catelli classes of fuctios The reader is referred to Chapter.6 of Weller s Torgo otes, Chapter??? of VDVW ad Chapter 8.3

### Topologie. Musterlösungen

Fakultät für Mathematik Sommersemester 2018 Marius Hiemisch Topologie Musterlösuge Aufgabe (Beispiel 1.2.h aus Vorlesug). Es sei X eie Mege ud R Abb(X, R) eie Uteralgebra, d.h. {kostate Abbilduge} R ud

### Research Article A Note on Ergodicity of Systems with the Asymptotic Average Shadowing Property

Discrete Dyamics i Nature ad Society Volume 2011, Article ID 360583, 6 pages doi:10.1155/2011/360583 Research Article A Note o Ergodicity of Systems with the Asymptotic Average Shadowig Property Risog

### Seunghee Ye Ma 8: Week 5 Oct 28

Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value

### SOME SEQUENCE SPACES DEFINED BY ORLICZ FUNCTIONS

ARCHIVU ATHEATICU BRNO Tomus 40 2004, 33 40 SOE SEQUENCE SPACES DEFINED BY ORLICZ FUNCTIONS E. SAVAŞ AND R. SAVAŞ Abstract. I this paper we itroduce a ew cocept of λ-strog covergece with respect to a Orlicz

### Distribution of Random Samples & Limit theorems

STAT/MATH 395 A - PROBABILITY II UW Witer Quarter 2017 Néhémy Lim Distributio of Radom Samples & Limit theorems 1 Distributio of i.i.d. Samples Motivatig example. Assume that the goal of a study is to

### The Boolean Ring of Intervals

MATH 532 Lebesgue Measure Dr. Neal, WKU We ow shall apply the results obtaied about outer measure to the legth measure o the real lie. Throughout, our space X will be the set of real umbers R. Whe ecessary,

### 5. Matrix exponentials and Von Neumann s theorem The matrix exponential. For an n n matrix X we define

5. Matrix expoetials ad Vo Neuma s theorem 5.1. The matrix expoetial. For a matrix X we defie e X = exp X = I + X + X2 2! +... = 0 X!. We assume that the etries are complex so that exp is well defied o

### Chapter IV Integration Theory

Chapter IV Itegratio Theory Lectures 32-33 1. Costructio of the itegral I this sectio we costruct the abstract itegral. As a matter of termiology, we defie a measure space as beig a triple (, A, µ), where

### MAS111 Convergence and Continuity

MAS Covergece ad Cotiuity Key Objectives At the ed of the course, studets should kow the followig topics ad be able to apply the basic priciples ad theorems therei to solvig various problems cocerig covergece

### Metric Space Properties

Metric Space Properties Math 40 Fial Project Preseted by: Michael Brow, Alex Cordova, ad Alyssa Sachez We have already poited out ad will recogize throughout this book the importace of compact sets. All

### 62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +

62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of

### Research Article Approximate Riesz Algebra-Valued Derivations

Abstract ad Applied Aalysis Volume 2012, Article ID 240258, 5 pages doi:10.1155/2012/240258 Research Article Approximate Riesz Algebra-Valued Derivatios Faruk Polat Departmet of Mathematics, Faculty of

### The Choquet Integral with Respect to Fuzzy-Valued Set Functions

The Choquet Itegral with Respect to Fuzzy-Valued Set Fuctios Weiwei Zhag Abstract The Choquet itegral with respect to real-valued oadditive set fuctios, such as siged efficiecy measures, has bee used i

### Approximation by Superpositions of a Sigmoidal Function

Zeitschrift für Aalysis ud ihre Aweduge Joural for Aalysis ad its Applicatios Volume 22 (2003, No. 2, 463 470 Approximatio by Superpositios of a Sigmoidal Fuctio G. Lewicki ad G. Mario Abstract. We geeralize

### n p (Ω). This means that the

Sobolev s Iequality, Poicaré Iequality ad Compactess I. Sobolev iequality ad Sobolev Embeddig Theorems Theorem (Sobolev s embeddig theorem). Give the bouded, ope set R with 3 ad p

### ANSWERS TO MIDTERM EXAM # 2

MATH 03, FALL 003 ANSWERS TO MIDTERM EXAM # PENN STATE UNIVERSITY Problem 1 (18 pts). State ad prove the Itermediate Value Theorem. Solutio See class otes or Theorem 5.6.1 from our textbook. Problem (18

### Lecture 8: Convergence of transformations and law of large numbers

Lecture 8: Covergece of trasformatios ad law of large umbers Trasformatio ad covergece Trasformatio is a importat tool i statistics. If X coverges to X i some sese, we ofte eed to check whether g(x ) coverges

### An Introduction to Randomized Algorithms

A Itroductio to Radomized Algorithms The focus of this lecture is to study a radomized algorithm for quick sort, aalyze it usig probabilistic recurrece relatios, ad also provide more geeral tools for aalysis

### Introduction to Optimization Techniques

Itroductio to Optimizatio Techiques Basic Cocepts of Aalysis - Real Aalysis, Fuctioal Aalysis 1 Basic Cocepts of Aalysis Liear Vector Spaces Defiitio: A vector space X is a set of elemets called vectors

### Lecture 7: Properties of Random Samples

Lecture 7: Properties of Radom Samples 1 Cotiued From Last Class Theorem 1.1. Let X 1, X,...X be a radom sample from a populatio with mea µ ad variace σ

### AN ARC-LIKE CONTINUUM THAT ADMITS A HOMEOMORPHISM WITH ENTROPY FOR ANY GIVEN VALUE

AN ARC-LIKE CONTINUUM THAT ADMITS A HOMEOMORPHISM WITH ENTROPY FOR ANY GIVEN VALUE CHRISTOPHER MOURON Abstract. A arc-like cotiuum X is costructed with the followig properties: () for every ɛ [0, ] there

### 7.1 Convergence of sequences of random variables

Chapter 7 Limit theorems Throughout this sectio we will assume a probability space (Ω, F, P), i which is defied a ifiite sequece of radom variables (X ) ad a radom variable X. The fact that for every ifiite

Advaced Stochastic Processes. David Gamarik LECTURE 2 Radom variables ad measurable fuctios. Strog Law of Large Numbers (SLLN). Scary stuff cotiued... Outlie of Lecture Radom variables ad measurable fuctios.

### 6.3 Testing Series With Positive Terms

6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial

### On forward improvement iteration for stopping problems

O forward improvemet iteratio for stoppig problems Mathematical Istitute, Uiversity of Kiel, Ludewig-Mey-Str. 4, D-24098 Kiel, Germay irle@math.ui-iel.de Albrecht Irle Abstract. We cosider the optimal

### 2 Banach spaces and Hilbert spaces

2 Baach spaces ad Hilbert spaces Tryig to do aalysis i the ratioal umbers is difficult for example cosider the set {x Q : x 2 2}. This set is o-empty ad bouded above but does ot have a least upper boud

### 5 Birkhoff s Ergodic Theorem

5 Birkhoff s Ergodic Theorem Amog the most useful of the various geeralizatios of KolmogorovâĂŹs strog law of large umbers are the ergodic theorems of Birkhoff ad Kigma, which exted the validity of the

### Fall 2013 MTH431/531 Real analysis Section Notes

Fall 013 MTH431/531 Real aalysis Sectio 8.1-8. Notes Yi Su 013.11.1 1. Defiitio of uiform covergece. We look at a sequece of fuctios f (x) ad study the coverget property. Notice we have two parameters

### MAXIMAL INEQUALITIES AND STRONG LAW OF LARGE NUMBERS FOR AANA SEQUENCES

Commu Korea Math Soc 26 20, No, pp 5 6 DOI 0434/CKMS20265 MAXIMAL INEQUALITIES AND STRONG LAW OF LARGE NUMBERS FOR AANA SEQUENCES Wag Xueju, Hu Shuhe, Li Xiaoqi, ad Yag Wezhi Abstract Let {X, } be a sequece

### Notes #3 Sequences Limit Theorems Monotone and Subsequences Bolzano-WeierstraßTheorem Limsup & Liminf of Sequences Cauchy Sequences and Completeness

Notes #3 Sequeces Limit Theorems Mootoe ad Subsequeces Bolzao-WeierstraßTheorem Limsup & Limif of Sequeces Cauchy Sequeces ad Completeess This sectio of otes focuses o some of the basics of sequeces of

### DANIELL AND RIEMANN INTEGRABILITY

DANIELL AND RIEMANN INTEGRABILITY ILEANA BUCUR We itroduce the otio of Riema itegrable fuctio with respect to a Daiell itegral ad prove the approximatio theorem of such fuctios by a mootoe sequece of Jorda

### ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS

ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS EDUARD KONTOROVICH Abstract. I this work we uify ad geeralize some results about chaos ad sesitivity. Date: March 1, 005. 1 1. Symbolic Dyamics Defiitio

### Application to Random Graphs

A Applicatio to Radom Graphs Brachig processes have a umber of iterestig ad importat applicatios. We shall cosider oe of the most famous of them, the Erdős-Réyi radom graph theory. 1 Defiitio A.1. Let