On scaling entropy sequence of dynamical system
|
|
- Camron Freeman
- 6 years ago
- Views:
Transcription
1 O scalig etropy sequece of dyamical system P. B. Zatitskiy arxiv: v1 [math.ds] 22 Sep 2014 November 6, 2017 Abstract We preset a series of statemets about scalig etropy, a metric ivariat of dyamical systems proposed by A. M. Vershik i the late 90 s (see [9], [7], ad [10]). We show that it is a metric ivariat ideed ad calculate it i several special cases. All measure spaces cosidered below are stadard probability spaces (Lebesgue Rokhli spaces). Probability spaces with cotiuous measures are of major iterest of this article, however all the defiitios deal with geeral Lebesgue spaces (i.e. its measures may have atoms). We omit the sigma-algebra otatio whe we talk about probability spaces. 1 Defiitio ad properties of scalig etropy sequece Recall the defiitio of admissible semimetric ad its ε-etropy (see, e.g., [12], [11]): Defiitio 1. Semimetric ρ o a stadard probability space (X, µ) is called measurable if it is measurable o (X 2,µ 2 ) as a fuctio of two variables, ad admissible if it is separable o some subset X 1 X of full measure. I this latter case we call the triple (X,µ,ρ) a admissible semimetric triple. The followig defiitio goes back to A. N. Kolmogorov. Defiitio 2. The fuctio ε H ε (X,µ,ρ) is called a epsilo etropy of a semimetric triple (X,µ,ρ) if it is defied for ε > 0 as follows. Let k N be the least atural umber, such that the space X ca be partitioed ito disjoit measurable subsets X 0,X 1,...,X k, such that µ(x 0 ) < ε ad for ay j = 1,...,k the diameter of the set X j i semimetric ρ is less tha ε. Defie the ε-etropy of the triple (X,µ,ρ) as H ε (X,µ,ρ) = log 2 k. If oe ca ot fid such a umber k, the we defie H ε (X,µ,ρ) = +. Supported by Chebyshev Laboratory (SPbSU), RF Govermet grat 11.G , by JSC Gazprom Neft, by the RFBR grats ofi_m2 ad _A, by Presidet of Russia grat for youg researchers MK The author ackowledge Sait-Petersburg State Uiversity for a research grat
2 Recall that a measurable semimetric ρ o a stadard probability space(x, µ) is admissible if ad oly if H ε (X,µ,ρ) < + for ay ε > 0 (see [12] for details). I what follows we assume T to be a ergodic automorphism of a stadard probability space (X,µ). Let ρ be a measurable semimetric o (X,µ). Clearly, the shifts T k ρ(x,y) = ρ(t k x,t k y) are also measurable semimetrics o (X,µ), moreover, for ay ε > 0 oe has H ε (X,µ,ρ) = H ε (X,µ,T k ρ). Defie fiite averages of a semimetric ρ with respect to T by the formula Tavρ = 1 T k ρ. 1 k=0 The followig geeratig property is a importat dyamical property of semimetrics: Defiitio 3. We say that a measurable semimetric ρ o (X,µ) is (two-sided) geeratig for a metric dyamical system (X,µ,T) if its shifts T k ρ,k Z, separate poits mod zero, i.e. there exists some measurable subset X X of full measure, such that for ay two differet x,y X oe ca fid k Z, such that T k ρ(x,y) > 0. Note that ay admissible metric is a geeratig semimetric for ay automorphism T because it separates poits itself. Recall the defiitio give by A. M. Vershik i [9], [10], [7]. Defiitio 4. Let (X,µ,T) be a metric dyamical system ad ρ be a admissible semimetric o (X,µ). A sequece {h } of positive umbers is called a scalig sequece for the semimetric ρ, if for ay ε > 0 oe has lim sup ad for ε > 0 small eough oe has 0 < limif H ε (X,µ,T avρ) h < +, (1) H ε (X,µ,T av ρ) h. (2) We deote by H(X,µ,T,ρ) the class of all scalig sequeces for the semimetric ρ. Remark 1. If ρ is some admissible semimetric, h = {h } H(X,µ,T,ρ), ad h = {h } is a sequece of positive umbers, the h H(X,µ,T,ρ) if ad oly if 0 < limif h h limsup h h <. The followig theorem cofirms the hypothesis of Vershik [10] about idepedece of a scalig sequece from a semimetric. It was proved i [12] (see Theorem 4 below) for automorphisms with purely poit spectrum. Theorem 1. Let ρ, ρ Adm(X, µ) be two summable admissible geeratig semimetrics o (X,µ). The H(X,µ,T,ρ) = H(X,µ,T, ρ). Theorem 1 leads to the followig defiitio. 2
3 Defiitio 5. A sequece h = {h } of positive umbers is called a scalig etropy sequece of a metric dyamical system (X,µ,T) if h H(X,µ,T,ρ) for some (ad the for ay) summable admissible geeratig semimetric ρ Adm(X,µ). We will deote by H(X,µ,T) the class of all scalig etropy sequeces for the dyamical system H(X,µ,T). Corollary 1. The class of scalig etropy sequeces is a metric ivariat of ergodic dyamical systems. It is a iterestig questio whether a scalig etropy sequece exists for ay dyamical system (i.e. the set H(X,µ,T) is oempty). The class of scalig etropy sequeces is mootoe i the followig sese: Corollary 2. Suppose that a metric dyamical system (X 2,µ 2,T 2 ) is a factor of a system (X 1,µ 1,T 1 ), ad h 1 = {h 1 }, h2 = {h 2 } are correspodig scalig etropy sequeces. The h 2 = O(h1 ), +. 2 Examples 2.1 Relatio to Kolmogorov etropy The followig theorem clarifies the relatio betwee scalig etropy sequeces ad Kolmogorov etropy. Theorem 2. Let T be a ergodic automorphism of a stadard probability space (X, µ). The: 1) if Kolmogorov etropy h µ (T) is fiite ad positive, the the sequece h = is a scalig etropy sequece of a system (X,µ,T); 2) if h is a scalig etropy sequece of a system (X,µ,T), the h µ (T) = 0 if ad oly if h = o(), +. It is ot difficult to calculate scalig etropy sequeces of Beroulli shifts. Let (A,ν) be a stadard probability space, X = A Z be the space of two-sided sequeces, µ = ν Z be the product measure o X, ad T: X X be the left shift. Theorem 3. If the measure ν does ot have atoms, the the sequece h = is a scalig etropy sequece of the Beroulli shift (X,µ,T). If the measureν is cotiuous, the the etropy of the space(a,ν) is ifiite. I this case accordig to the Kolmogorov theorem (see [1, 2, 3]) Kolmogorov etropy h µ (T) is ifiite. Therefore the coverse of Theorem 2 first statemet does ot hold i geeral. 2.2 Automorphisms with pure poit spectrum The followig characterizatio of automorphisms with pure poit spectrum i terms of scalig etropy sequeces was proved i [12]. Theorem 4. Let T be a ergodic automorphism of a stadard probability space (X,µ). The the followig are equivalet: 3
4 1) the spectrum of the system (X,µ,T) is purely poit; 2) the set H(X,µ,T) cosists of all positive bouded separated from zero sequeces. We compare this result with aother criterio of the pure poitess of the dyamical system spectrum due to A. G. Kushireko (see [4]). Recall the defiitio of A-etropy (sequetial etropy) of a ergodic automorphism T of a stadard probability space (X,µ). Suppose that A = {a } is a icreasig sequece of atural umbers ad ξ is a measurable partitio of (X,µ) with fiite etropy H(ξ) < + (H stads for etropy of measurable partitio). Defie h A (T,ξ) = limsup H( i=1 Ta iξ) ad A-etropy h A (T) = sup ξ h A (T,ξ) of automorphism T, where supremum is take over all partitios with fiite etropy. I [4] Kushireko proved that a automorphism T has purely poit spectrum if ad oly if h A (T) = 0 for ay sequece A. We compare this result with Theorem 4 ad obtai that if h A (T) > 0, the the scalig etropy sequece icreases. The followig statemet gives a quatitative estimate of this remark. Theorem 5. If A = {a }, h A (T) > 0, ad h = {h } is the scalig etropy h sequece of a automorphism T, the limif a loglog > Substitutios of costat legth Now we calculate the scalig etropy sequeces of substitutioal dyamical systems of costat legth. We refer the reader to the moograph [8] for detailed iformatio cocerig substitutioal dyamical systems. Let ξ be a substitutio of legth q o a alphabet A (i.e. it is a map from A toa q ). We assume that for some symbolα A the first symbol of the wordξ(α) is α agai. I such a case oe ca fid a ifiite word u A N0 startig with α such that ξ(u) = u. Let T be the left shift o A N0, ad X ξ be the closure of the sequece T u, N, i the product topology. If the substitutio ξ is primitive, the the topological dyamical system (X ξ,t) is miimal ad uique ergodic with uique ivariat measure µ ξ. I such a maer we associate the metric dyamical system (X ξ,µ ξ,t) with the primitive substitutio ξ. It turs out that the scalig etropy sequece of this dyamical system ca be expressed i terms of two combiatorial parameters of the substitutio. First of them, the height h(ξ), ca be defied for example as the greatest umber k relatively prime to q such that if u = u 0 for some, the k. Secod, the colum umber c(ξ), is defied as mi{ {ξ (a) k : a A} : N,0 k < q } (ote that this defiitio differs a little from the classical oe give i [6] ad [8]). Theorem 6. Let ξ be a ijective primitive costat legth substitutio o a alphabet A, A > 1. The the sequece h = 1+(c(ξ) h(ξ))log is a scalig etropy sequece of the substitutioal dyamical system (X ξ,µ ξ,t). The idea of the proof of this theorem is to study ξ-ivariat semimetrics o a alphabet A. Theorems 6 ad 4 imply the followig corollary. Corollary 3. Let ξ be a ijective primitive costat legth substitutio o a alphabet A, A > 1. The the spectrum of the correspodig dyamical system (X ξ,µ ξ,t) is purely poit if ad oly if c(ξ) = h(ξ). 4
5 Note that the similar criterio was first obtaied i [5] ad [6], but it was formulated a little bit differet there. The differece is as follows. If the height h(ξ) is bigger tha oe, the c(ξ) is defied via some modified substitutio. The result of Corollary 3 coicides with their criterio for the case h(ξ) = 1: the spectrum is pure poit if ad oly if c(ξ) = 1. But if h(ξ) > 1, the criterio 3 (ulike the Kamae-Dekkig criterio) does ot require to cosider modified substitutios. The author thaks F. V. Petrov ad A. M. Vershik for a lot of discussios, advises ad help. Refereces [1] A. N. Kolmogorov, New Metric Ivariat of Trasitive Dyamical Systems ad Edomorphisms of Lebesgue Spaces, Doklady of Russia Academy of Scieces, 119, N5, , 1958 (I Russia). [2] A. N. Kolmogorov, Etropy per uit time as a metric ivariat of automorphism, Doklady of Russia Academy of Scieces, 124, , 1959 (I Russia). [3] Ya. G. Siai, O the Notio of Etropy of a Dyamical System, Doklady of Russia Academy of Scieces, 124, , 1959 (I Russia). [4] A. G. Kushireko, Metric ivariats of etropy type, UMN, 22:5(137), 57-65, 1967 (I Russia); Traslatio: Russia Math. Surveys, 22(5), 53 61, [5] Kamae, T. A topological ivariat of substitutio miimal sets., J. Math. Soc. Japa, 24 (1972), [6] Dekkig, F. M. The spectrum of dyamical systems arisig from substitutios of costat legth., Z. Wahrscheilichkeitstheorie ud Verw. Gebiete, 41 (1977/78), o. 3, [7] A. M. Vershik, A. D. Gorbul skii, Scaled etropy of filtratios of σ-fields, TVP, 52(3), , 2007 (I Russia); Traslatio: Theory Probab. Appl., 52:3, , [8] Queffélec, M. Substitutio dyamical systems spectral aalysis. Secod editio., Lecture Notes i Mathematics, Spriger-Verlag, Berli, xvi+351 pp. ISBN: [9] A. Vershik, Dyamics of metrics i measure spaces ad their asymptotic ivariats, Markov Processes ad Related Fields, 16:1, , [10] A. M. Vershik, Scalig etropy ad automorphisms with pure poit spectrum, Algebra i aaliz, 23:1, , 2011 (I Russia); Traslatio: St. Petersburg Math. J., 23:1, 75 91, [11] P. B. Zatitskiy, F. V. Petrov, Correctio of metrics, Zap. Nauch. Semi. POMI, 390, , 2011 (I Russia); Traslatio: J. Math. Sci., New York 181, No. 6, (2012). 5
6 [12] A. M. Vershik, P. B. Zatitskiy, F. V. Petrov, Geometry ad dyamics of admissible metrics i measure spaces, Cetral Europea Joural of Mathematics, 11 (3), , Chebyshev Laboratory, St. Petersburg State Uiversity, , Russia, Sait Petersburg, 14th Lie, 29b; PDMI RAS, , Russia, St. Petersburg, Fotaka, paxa239@yadex.ru 6
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,
More informationLecture 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
More informationIf 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
More informationA 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
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationConvergence 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
More informationMath 155 (Lecture 3)
Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,
More informationProduct 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
More informationReview Problems 1. ICME and MS&E Refresher Course September 19, 2011 B = C = AB = A = A 2 = A 3... C 2 = C 3 = =
Review Problems ICME ad MS&E Refresher Course September 9, 0 Warm-up problems. For the followig matrices A = 0 B = C = AB = 0 fid all powers A,A 3,(which is A times A),... ad B,B 3,... ad C,C 3,... Solutio:
More informationUnit 6: Sequences and Series
AMHS Hoors Algebra 2 - Uit 6 Uit 6: Sequeces ad Series 26 Sequeces Defiitio: A sequece is a ordered list of umbers ad is formally defied as a fuctio whose domai is the set of positive itegers. It is commo
More informationFall 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
More informationMeasure 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
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 19 11/17/2008 LAWS OF LARGE NUMBERS II THE STRONG LAW OF LARGE NUMBERS
MASSACHUSTTS INSTITUT OF TCHNOLOGY 6.436J/5.085J Fall 2008 Lecture 9 /7/2008 LAWS OF LARG NUMBRS II Cotets. The strog law of large umbers 2. The Cheroff boud TH STRONG LAW OF LARG NUMBRS While the weak
More informationCommutativity in Permutation Groups
Commutativity i Permutatio Groups Richard Wito, PhD Abstract I the group Sym(S) of permutatios o a oempty set S, fixed poits ad trasiet poits are defied Prelimiary results o fixed ad trasiet poits are
More informationThe 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
More information6.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
More informationn=1 a n is the sequence (s n ) n 1 n=1 a n converges to s. We write a n = s, n=1 n=1 a n
Series. Defiitios ad first properties A series is a ifiite sum a + a + a +..., deoted i short by a. The sequece of partial sums of the series a is the sequece s ) defied by s = a k = a +... + a,. k= Defiitio
More informationA 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
More informationLecture 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
More informationMAT1026 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
More informationMAS111 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
More informationOn Random Line Segments in the Unit Square
O Radom Lie Segmets i the Uit Square Thomas A. Courtade Departmet of Electrical Egieerig Uiversity of Califoria Los Ageles, Califoria 90095 Email: tacourta@ee.ucla.edu I. INTRODUCTION Let Q = [0, 1] [0,
More informationIntegrable 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
More informationInformation Theory and Statistics Lecture 4: Lempel-Ziv code
Iformatio Theory ad Statistics Lecture 4: Lempel-Ziv code Łukasz Dębowski ldebowsk@ipipa.waw.pl Ph. D. Programme 203/204 Etropy rate is the limitig compressio rate Theorem For a statioary process (X i)
More informationChapter 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
More informationCLOSED FORM FORMULA FOR THE NUMBER OF RESTRICTED COMPOSITIONS
Submitted to the Bulleti of the Australia Mathematical Society doi:10.1017/s... CLOSED FORM FORMULA FOR THE NUMBER OF RESTRICTED COMPOSITIONS GAŠPER JAKLIČ, VITO VITRIH ad EMIL ŽAGAR Abstract I this paper,
More informationRandom Models. Tusheng Zhang. February 14, 2013
Radom Models Tusheg Zhag February 14, 013 1 Radom Walks Let me describe the model. Radom walks are used to describe the motio of a movig particle (object). Suppose that a particle (object) moves alog the
More informationBIRKHOFF 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
More information7.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
More information(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
More informationThe 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
More informationSOME GENERALIZATIONS OF OLIVIER S THEOREM
SOME GENERALIZATIONS OF OLIVIER S THEOREM Alai Faisat, Sait-Étiee, Georges Grekos, Sait-Étiee, Ladislav Mišík Ostrava (Received Jauary 27, 2006) Abstract. Let a be a coverget series of positive real umbers.
More informationDefinition 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
More informationOn 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
More informationMath 2784 (or 2794W) University of Connecticut
ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really
More informationSequence A sequence is a function whose domain of definition is the set of natural numbers.
Chapter Sequeces Course Title: Real Aalysis Course Code: MTH3 Course istructor: Dr Atiq ur Rehma Class: MSc-I Course URL: wwwmathcityorg/atiq/fa8-mth3 Sequeces form a importat compoet of Mathematical Aalysis
More informationFUNDAMENTALS 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)
More informationLecture 27. Capacity of additive Gaussian noise channel and the sphere packing bound
Lecture 7 Ageda for the lecture Gaussia chael with average power costraits Capacity of additive Gaussia oise chael ad the sphere packig boud 7. Additive Gaussia oise chael Up to this poit, we have bee
More informationMath 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
More informationA Characterization of Compact Operators by Orthogonality
Australia Joural of Basic ad Applied Scieces, 5(6): 253-257, 211 ISSN 1991-8178 A Characterizatio of Compact Operators by Orthogoality Abdorreza Paahi, Mohamad Reza Farmai ad Azam Noorafa Zaai Departmet
More informationMASSACHUSETTS 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
More informationThe 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
More informationDANIELL 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
More informationlim 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
More informationThe 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,
More informationA constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference
MPRA Muich Persoal RePEc Archive A costructive aalysis of covex-valued demad correspodece for weakly uiformly rotud ad mootoic preferece Yasuhito Taaka ad Atsuhiro Satoh. May 04 Olie at http://mpra.ub.ui-mueche.de/55889/
More informationAn analog of the arithmetic triangle obtained by replacing the products by the least common multiples
arxiv:10021383v2 [mathnt] 9 Feb 2010 A aalog of the arithmetic triagle obtaied by replacig the products by the least commo multiples Bair FARHI bairfarhi@gmailcom MSC: 11A05 Keywords: Al-Karaji s triagle;
More information2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F.
CHAPTER 2 The Real Numbers 2.. The Algebraic ad Order Properties of R Defiitio. A biary operatio o a set F is a fuctio B : F F! F. For the biary operatios of + ad, we replace B(a, b) by a + b ad a b, respectively.
More informationSingular 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
More informationSequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence
Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece 1, 1, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet
More informationSolution. 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
More informationSequences. A Sequence is a list of numbers written in order.
Sequeces A Sequece is a list of umbers writte i order. {a, a 2, a 3,... } The sequece may be ifiite. The th term of the sequece is the th umber o the list. O the list above a = st term, a 2 = 2 d term,
More informationA sequence of numbers is a function whose domain is the positive integers. We can see that the sequence
Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece,, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet as
More informationsin(n) + 2 cos(2n) n 3/2 3 sin(n) 2cos(2n) n 3/2 a n =
60. Ratio ad root tests 60.1. Absolutely coverget series. Defiitio 13. (Absolute covergece) A series a is called absolutely coverget if the series of absolute values a is coverget. The absolute covergece
More informationSequences and Series
Sequeces ad Series Sequeces of real umbers. Real umber system We are familiar with atural umbers ad to some extet the ratioal umbers. While fidig roots of algebraic equatios we see that ratioal umbers
More informationThe 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,
More informationABOUT 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
More informationResearch 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
More information62. 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
More informationMath 140A Elementary Analysis Homework Questions 3-1
Math 0A Elemetary Aalysis Homework Questios -.9 Limits Theorems for Sequeces Suppose that lim x =, lim y = 7 ad that all y are o-zero. Detarime the followig limits: (a) lim(x + y ) (b) lim y x y Let s
More informationThe average-shadowing property and topological ergodicity
Joural of Computatioal ad Applied Mathematics 206 (2007) 796 800 www.elsevier.com/locate/cam The average-shadowig property ad topological ergodicity Rogbao Gu School of Fiace, Najig Uiversity of Fiace
More informationThe normal subgroup structure of ZM-groups
arxiv:1502.04776v1 [math.gr] 17 Feb 2015 The ormal subgroup structure of ZM-groups Marius Tărăuceau February 17, 2015 Abstract The mai goal of this ote is to determie ad to cout the ormal subgroups of
More informationBasics of Probability Theory (for Theory of Computation courses)
Basics of Probability Theory (for Theory of Computatio courses) Oded Goldreich Departmet of Computer Sciece Weizma Istitute of Sciece Rehovot, Israel. oded.goldreich@weizma.ac.il November 24, 2008 Preface.
More information6a Time change b Quadratic variation c Planar Brownian motion d Conformal local martingales e Hints to exercises...
Tel Aviv Uiversity, 28 Browia motio 59 6 Time chage 6a Time chage..................... 59 6b Quadratic variatio................. 61 6c Plaar Browia motio.............. 64 6d Coformal local martigales............
More informationNotes #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
More informationSolutions to Math 347 Practice Problems for the final
Solutios to Math 347 Practice Problems for the fial 1) True or False: a) There exist itegers x,y such that 50x + 76y = 6. True: the gcd of 50 ad 76 is, ad 6 is a multiple of. b) The ifiimum of a set is
More informationREGULARIZATION 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]
More informationLecture Chapter 6: Convergence of Random Sequences
ECE5: Aalysis of Radom Sigals Fall 6 Lecture Chapter 6: Covergece of Radom Sequeces Dr Salim El Rouayheb Scribe: Abhay Ashutosh Doel, Qibo Zhag, Peiwe Tia, Pegzhe Wag, Lu Liu Radom sequece Defiitio A ifiite
More informationIT is well known that Brouwer s fixed point theorem can
IAENG Iteratioal Joural of Applied Mathematics, 4:, IJAM_4 0 Costructive Proof of Brouwer s Fixed Poit Theorem for Sequetially Locally No-costat ad Uiformly Sequetially Cotiuous Fuctios Yasuhito Taaka,
More informationTheorem 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
More informationExercises 1 Sets and functions
Exercises 1 Sets ad fuctios HU Wei September 6, 018 1 Basics Set theory ca be made much more rigorous ad built upo a set of Axioms. But we will cover oly some heuristic ideas. For those iterested studets,
More informationReal 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 { } ν () =
More informationThe multiplicative structure of finite field and a construction of LRC
IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio
More information6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer.
6 Itegers Modulo I Example 2.3(e), we have defied the cogruece of two itegers a,b with respect to a modulus. Let us recall that a b (mod ) meas a b. We have proved that cogruece is a equivalece relatio
More informationFINALTERM EXAMINATION Fall 9 Calculus & Aalytical Geometry-I Questio No: ( Mars: ) - Please choose oe Let f ( x) is a fuctio such that as x approaches a real umber a, either from left or right-had-side,
More informationIntroductory Analysis I Fall 2014 Homework #7 Solutions
Itroductory Aalysis I Fall 214 Homework #7 Solutios Note: There were a couple of typos/omissios i the formulatio of this homework. Some of them were, I believe, quite obvious. The fact that the statemet
More information} is said to be a Cauchy sequence provided the following condition is true.
Math 4200, Fial Exam Review I. Itroductio to Proofs 1. Prove the Pythagorea theorem. 2. Show that 43 is a irratioal umber. II. Itroductio to Logic 1. Costruct a truth table for the statemet ( p ad ~ r
More informationMathematical Methods for Physics and Engineering
Mathematical Methods for Physics ad Egieerig Lecture otes Sergei V. Shabaov Departmet of Mathematics, Uiversity of Florida, Gaiesville, FL 326 USA CHAPTER The theory of covergece. Numerical sequeces..
More informationBoundaries 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
More informationM17 MAT25-21 HOMEWORK 5 SOLUTIONS
M17 MAT5-1 HOMEWORK 5 SOLUTIONS 1. To Had I Cauchy Codesatio Test. Exercise 1: Applicatio of the Cauchy Codesatio Test Use the Cauchy Codesatio Test to prove that 1 diverges. Solutio 1. Give the series
More information7 Sequences of real numbers
40 7 Sequeces of real umbers 7. Defiitios ad examples Defiitio 7... A sequece of real umbers is a real fuctio whose domai is the set N of atural umbers. Let s : N R be a sequece. The the values of s are
More informationApproximation 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
More informationRiesz-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.
More informationAbout the use of a result of Professor Alexandru Lupaş to obtain some properties in the theory of the number e 1
Geeral Mathematics Vol. 5, No. 2007), 75 80 About the use of a result of Professor Alexadru Lupaş to obtai some properties i the theory of the umber e Adrei Verescu Dedicated to Professor Alexadru Lupaş
More informationFUNDAMENTALS 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
More informationMi-Hwa Ko and Tae-Sung Kim
J. Korea Math. Soc. 42 2005), No. 5, pp. 949 957 ALMOST SURE CONVERGENCE FOR WEIGHTED SUMS OF NEGATIVELY ORTHANT DEPENDENT RANDOM VARIABLES Mi-Hwa Ko ad Tae-Sug Kim Abstract. For weighted sum of a sequece
More informationDiscrete-Time Systems, LTI Systems, and Discrete-Time Convolution
EEL5: Discrete-Time Sigals ad Systems. Itroductio I this set of otes, we begi our mathematical treatmet of discrete-time s. As show i Figure, a discrete-time operates or trasforms some iput sequece x [
More informationA Note on the Kolmogorov-Feller Weak Law of Large Numbers
Joural of Mathematical Research with Applicatios Mar., 015, Vol. 35, No., pp. 3 8 DOI:10.3770/j.iss:095-651.015.0.013 Http://jmre.dlut.edu.c A Note o the Kolmogorov-Feller Weak Law of Large Numbers Yachu
More information4 The Sperner property.
4 The Sperer property. I this sectio we cosider a surprisig applicatio of certai adjacecy matrices to some problems i extremal set theory. A importat role will also be played by fiite groups. I geeral,
More informationLinear chord diagrams with long chords
Liear chord diagrams with log chords Everett Sulliva Departmet of Mathematics Dartmouth College Haover New Hampshire, U.S.A. everett..sulliva@dartmouth.edu Submitted: Feb 7, 2017; Accepted: Oct 7, 2017;
More informationAxioms of Measure Theory
MATH 532 Axioms of Measure Theory Dr. Neal, WKU I. The Space Throughout the course, we shall let X deote a geeric o-empty set. I geeral, we shall ot assume that ay algebraic structure exists o X so that
More informationSolutions to HW Assignment 1
Solutios to HW: 1 Course: Theory of Probability II Page: 1 of 6 Uiversity of Texas at Austi Solutios to HW Assigmet 1 Problem 1.1. Let Ω, F, {F } 0, P) be a filtered probability space ad T a stoppig time.
More informationFLOOR AND ROOF FUNCTION ANALOGS OF THE BELL NUMBERS. H. W. Gould Department of Mathematics, West Virginia University, Morgantown, WV 26506, USA
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (2007), #A58 FLOOR AND ROOF FUNCTION ANALOGS OF THE BELL NUMBERS H. W. Gould Departmet of Mathematics, West Virgiia Uiversity, Morgatow, WV
More information1 Convergence in Probability and the Weak Law of Large Numbers
36-752 Advaced Probability Overview Sprig 2018 8. Covergece Cocepts: i Probability, i L p ad Almost Surely Istructor: Alessadro Rialdo Associated readig: Sec 2.4, 2.5, ad 4.11 of Ash ad Doléas-Dade; Sec
More informationON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS
ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS NORBERT KAIBLINGER Abstract. Results of Lid o Lehmer s problem iclude the value of the Lehmer costat of the fiite cyclic group Z/Z, for 5 ad all odd. By complemetary
More informationIJITE Vol.2 Issue-11, (November 2014) ISSN: Impact Factor
IJITE Vol Issue-, (November 4) ISSN: 3-776 ATTRACTIVITY OF A HIGHER ORDER NONLINEAR DIFFERENCE EQUATION Guagfeg Liu School of Zhagjiagag Jiagsu Uiversit of Sciece ad Techolog, Zhagjiagag, Jiagsu 56,PR
More informationDistribution 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
More informationHOMEWORK #10 SOLUTIONS
Math 33 - Aalysis I Sprig 29 HOMEWORK # SOLUTIONS () Prove that the fuctio f(x) = x 3 is (Riema) itegrable o [, ] ad show that x 3 dx = 4. (Without usig formulae for itegratio that you leart i previous
More informationf 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
More informationTopological Folding of Locally Flat Banach Spaces
It. Joural of Math. Aalysis, Vol. 6, 0, o. 4, 007-06 Topological Foldig of Locally Flat aach Spaces E. M. El-Kholy *, El-Said R. Lashi ** ad Salama N. aoud ** *epartmet of Mathematics, Faculty of Sciece,
More information