ON THE SET OF ALL CONTINUOUS FUNCTIONS WITH UNIFORMLY CONVERGENT FOURIER SERIES
|
|
- Silvester Shelton
- 6 years ago
- Views:
Transcription
1 PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 24, Number, November 996 ON THE SET OF ALL CONTINUOUS FUNCTIONS WITH UNIFORMLY CONVERGENT FOURIER SERIES HASEO KI Communicated by Andreas R. Blass) Abstract. In this article we calculate the exact location in the Borel hierarchy of UCF, the set of all continuous functions on the unit circle with uniformly convergent Fourier series. It turns out to be complete F σδ. Also we prove that any G δσ set that includes UCF must contain a continuous function with divergent Fourier series. Introduction There are many criteria for uniform convergence of a Fourier series on the unit circle. One can find those tests in [Zy]. In the present paper, we study UCF from the point of view of descriptive set theory. In [Ke], it was a conjecture that UCF is complete F σδ i.e., F σδ but not G δσ ). A lot of natural complete F σδ sets have been found. For example, the collection of reals that are normal or simply normal to base n [KL]; C T), the class of infinitely differentiable functions viewed as a2π-periodic function on R); and UC X, the class of convergent sequences in a separable Banach space X, are complete F σδ [Ke]. It turns out that UCF is complete F σδ. We give two different proofs for it. Ajtai and Kechris [AK] have shown that ECF, the set of all continuous functions with everywhere convergent Fourier series, is complete CA, i.e., coanalytic non-borel. We show that there is no G δσ set A such that UCF A ECF. Hence any G δσ set that includes UCF must contain a continuous function with divergent Fourier series. From this point of view, although there are many natural complete F σδ sets, we can claim that UCF is a very interesting set in analysis. Definitions and background Let N = {, 2, 3, }be the set of positive integers and N N the Polish space with the usual product topology and N discrete. Let X be a Polish space. A subset A of X is CA if there is a Borel funtion from N N to X such that f N N) = X A. ACA F σδ ) subset A of X is called complete CA F σδ ) if for any CA F σδ ) subset B of N N, there is a Borel continuous) function f from N N to X such that the preimage of A of f is B, i.e., B = f A). From the definition, it is easy to see that no Received by the editors May 26, 994 and, in revised form, May 2, Mathematics Subject Classification. Primary 04A5, 26A2; Secondary 42A20. Key words and phrases. Descriptive set theory, Fourier series, complete F σδ, uniformly convergent Fourier series. The author was partially supported by GARC-KOSEF c 996 American Mathematical Society
2 3508 HASEO KI complete CA F σδ ) set is Borel G δσ ). In paticular, if an F σδ subset A of a Polish space is complete F σδ and the continuous preimage of an F σδ subset B of a Polish space, then B is also complete F σδ. Let R be the set of real numbers. Let T denote the unit circle and I the unit interval. Let E be T or I. We denote by CE) the Polish space of continuous functions on E with the uniform metric df,g) =sup{ fx) gx) : x E}. CT) can also be considered as the space of all continuous 2π-periodic functions on R, viewing T as R/2πZ. Let UC denote the set of all sequences of continuous functions on I that are uniformly convergent, i.e., UC = {f n ) CI) N :f n ) converges uniformly }. To each f CT), we associate its Fourier series S[f] where ˆfn) = 2π 2π 0 ft)e int dt. Let S n f,t) = n= n k= n ˆfn)e inx, ˆfk)e ikt be the nth partial sum of the Fourier series of f. We say the Fourier series of f converges at a point t T if the sequence S n f,t)) converges. Similarly, we define the uniform convergence of the Fourier series of f. Let ECF denote the set of all continuous functions with everywhere convergent Fourier series. According to a standard theorem [Ka], the Fourier series of f at t converges to ft) ifitconverges. Hence we have ) ECF ={f CT) : t [0, 2π] S n f,t)) converges } ) ={f CT) : t [0, 2π] ft) = lim S nf,t) }. n We denote by NCF the complement of ECF. Let UCF denote the set all continuous functions with uniformly convergent Fourier series, i.e., UCF = {f CT) : the Fourier series of f converges uniformly }. Results Theorem [AK]). ECF is complete CA. See [AK].) Proposition. UCF and UC are F σδ.
3 FUNCTIONS WITH UNIFORMLY CONVERGENT FOURIER SERIES 3509 Proof. Let Q be the set of all rational numbers. We consider T as [0, 2π] with0 and 2π identified. By the definition of UCF, f UCF S N f ) converges uniformly a N b N c, d N e Q S b+c f,e) S b+d f,e) ) a f V a, b, c, d, e), a N b N c,d N e Q [0,2π] where V a, b, c, d, e) is the collection of f CT) such that S b+c f,e) S b+d f,e) /a, which is closed, since the function f ˆfn) is continuous. Hence UFC is F σδ. Similarly, so is UC. We are done. Lemma 2. The set C 3 = {α N N : lim n αn) = } is complete F σδ. See [Ke, p. 80].) This set will be used to prove our main theorem. Proposition 3. UC is complete F σδ. Proof. We define the function F from N N to CI) N as follows: for each β N N, ) F β) =. βn) Then it is easy to see that β C 3 F β ) converges to 0 F β ) converges uniformly, since F β) is a sequence of constant functions. Clearly, F is continuous. Hence UC is the continuous preimage of C 3. By Proposition and Lemma 2, UC is complete F σδ. Theorem 4. There is a continuous function H from N N to CT) such that for all A with UCF A ECF, and β C 3 H β ) A, β/ C 3 H β ) NCF. In particular, UCF is complete F σδ. By this theorem, we have the following corollary. Corollary 5. There is no G δσ set A such that UCF A ECF, i.e., any G δσ set that includes UCF must contain a continuous function with divergent Fourier series. Proof. Suppose a G δσ set A satisfies UCF A ECF. Then by Theorem 4, we obtain H A) =C 3.Since A is G δσ, so is C 3. By Lemma 2, this contradicts our assumption.
4 350 HASEO KI It is a basic fact of descriptive set theory [Ke] that any Borel set is coanalytic. Since ECF is complete CA by Theorem [AK], it is a very natural guess that the complement of C 3 can be reducible to ECF UCF. In fact, we have the following theorem. Theorem 6. There is a continuous function H from N N to CT) such that and In particular, UCF is complete F σδ. β C 3 H β ) UCF, β/ C 3 H β ) ECF UCF. In order to prove Theorem 4 and Theorem 6, we need the following criterion due to Dini and Lipschitz [Zy, p. 63]. Let f be defined in a closed interval J, and let ωδ) =ωδ;f)=sup{ fx) fy) : x, y J and x y δ}. The function ωδ) is called the modulus of continuity of f. The Dini-Lipschitz test. If f is continuous and its modulus of continuity ωδ) satisfies the condition ωδ)logδ 0, then the Fourier series of f converges uniformly. We introduce the Féjer polynomials, for given 0 <n<n Nand x R, n sin kx Qx, N, n) =2sinNx, k k= n sin kx Rx, N, n) =2cosNx. k These two polynomials were used in [Zy] to prove that there exists a continuous function whose Fourier series diverges at a point. k= Lemma 7. There are positive numbers C,C 2 >0 such that Q <C and R <C 2, i.e., these polynomials are uniformly bounded in x, N, n. Since n k= sin kx k is uniformly bounded in n and x, Lemma 7 follows. By Lemma 7, we immediately have the following. Proposition 8. Let N k ) and n k ) be any two sequences of positive integers, with n k <N k,andlet )be a sequence of real numbers such that α + α 2 + α 3 + <. Then the series Qx, N k,n k ), αk Rx, N k,n k ) converge to continuous functions.
5 FUNCTIONS WITH UNIFORMLY CONVERGENT FOURIER SERIES 35 Proof of Theorem 4. We fix A with UCF A ECF. Let = 2 k, n k = N k /2=2 2k k=,2,3, ). We define H from N N to CT) as follows: for all β N N, Hβ) = βk) Qx, N k,n k ). Claim. H is continuous and well-defined. Proof. By Proposition 8, H is well-defined. By Lemma 7, it is easy to see that H is continuous. We divide the rest of proof into two parts so that we have more intuition. Case. lim n βk). We want to show that Hβ) NCF. For each k N the inequality ) ) SNk +n k Hβ), 0 SNk Hβ), 0 = Ĥβ)l) Ĥβ)l) l N k +n k l N k = + 2 ) ) βk) + + nk > βk) log n k =2 k log 22k βk) = βk) log 2 holds. Since lim n βk), there exists a p N such that for infinitely many k s, βk) = p. Hence the Fourier series of Hβ) does not converge, since in ) we have /p log 2 for infinitely many k s. So we derive Hβ) NCF. Case 2. lim n βk) =. We show that H β) UCF. We will demonstrate that ωδ; Hβ)) log δ 0as δ 0.Then by the Dini-Lipschitz test, this shows that the Fourier series of Hβ) converges uniformly. We take any 0 <δ /2 and define ν = νδ) as the largest integer k satifying 2 2k /δ By Lemma 7, we have the following inequality: 2) k=ν+ 2C βk) Qx + δ, N k,n k ) k=ν+ k=ν+ 2C sup{ βk) βk) : k>ν} βk) Qx, N k,n k ) k=ν+ =4Csup{ βk) : k>ν}2 ν 4Csup{ log 2 : k>ν} βk) log δ. Now we calculate the rest of Hβ). We clearly have Q x, N, n) =NRx, N, n)+2sinnx n cos kx, Q NC +2n=nC, k=
6 352 HASEO KI for N =2nand C =2C+2. By the mean value theorem, we have the following inequality: βk) Qx + δ, N k,n k ) βk) Qx, N k,n k ) C δ β) + +2 ν 2 ) 3) 2ν βν) C 2 2 ν 2 k 2 2k βk) C ν log δ k k βk). By 2) and 3), we have the following: 4) ωδ; Hβ)) log δ max{4c sup{ βk) : k>ν}log 2,C 2 2 ν 2 2k k βk) }. Now if δ 0, then ν.so it suffices to show that the right part of 4) goes to0asν.since βν) as ν,sup{/βk) :k>ν}goes to 0. We need to show that the rest goes to zero as ν diverges to infinity. This requires the following small claim. Claim 2. 22k k 2 2ν ν+. Proof. Use induction on ν. For ν =,2 2 = =2 2.Suppose it is true for ν. By the induction assumption, k 22k +2 2ν+ ν+) 2 2ν ν+ +2 2ν+ ν+). It is enough to show that 2 2ν ν+ +2 2ν+ ν+) 2 2ν+ +. Letting θ =2 2ν,one can verify this inequality. Fix ɛ. Take N 0 such that /βk) <ɛfor all k N 0. For this N 0, we choose N>N 0 so that 2 2ν +ν k N 0 2 2k k <ɛfor all ν N. Then for all ν N, by claim 2, the following inequality is valid: 2 2k k 2C 2 2ν 2 ν < 2C 2 2ν +ν < 2C ɛ +2 2ν +ν ɛ 2 2 k k +ν βk) +2 2ν k N 0 N 0< 2 2k k ) 2 2k k βk) N 0< ) ) ν+4 < 2ɛC + 22ν 2 2ν ν =34ɛC. Hence the right side of 4) converges to zero as ν goes to the infinity, i.e., as δ 0. So we derive Hβ) UCF. By case and case 2, we obtain β/ C 3 Hβ) NCF and β C 3 Hβ) UCF, respectively. Since NCF and A are disjoint, we have the following: β/ C 3 H β ) NCF and β C 3 H β ) A.
7 FUNCTIONS WITH UNIFORMLY CONVERGENT FOURIER SERIES 353 We have shown the first assertion of the theorem. In particular, C 3 is the preimage of UCF. Hence by Lemma 2, the second assertion follows. We have completed the proofoftheorem4. Proof of Theorem 6. Instead of Q, we use R. With N k,n k, and as in the proof of Theorem 4, we define H from N N to CT) as follows: for each β N N, Hβ) = βk) Rx, N k,n k ). The same proof as before will demonstrate that this function is well-defined and continuous and that if lim n βn) =,then the Fourier series of Hβ) converges uniformly. So it suffices to show that if lim n βn), then Hβ) ECF UCF. Suppose lim n βn). The representation of Hβ) as Fourier series is av sin vx. We see that a v sin vx converges uniformly for δ x πfor any δ>0,since the partial sums of Rx, N k,n k ) are uniformly bounded in k and x, for δ x π. The series a v sin vx contains sines only, and hence it converges for x =0,and so everywhere. Now we will show that a v sin vx does not converge uniformly. It is easy to see that 3n k 2n k a v sin vx a v sin vx = v= v= So if we let x = π/4n k, then we have 3n k v=2n k + 3n k 2n k a v sin vx a v sin vx =2 k βk) v= v= since, for all v in the interval v n k, a v sin vx =2 k βk) n k v= sin2n k + v)x v 3 4 π π 2n k + v) π 4n k 2. So finally, 3n k 2n k a v sin vx a v sin vx 2 k βk) sin π 4 5) v= v= = log 2 2 βk). n k v= n k v= sin2n k + v)x. v 2 k βk) sin π 4 n k v= v 2 k βk) log n k sin π 4 Hence a v sin vx does not converge uniformly, since in 5) the same value appears for infinitely many k s. Hence, as in the proof of Theorem 4, we finish the proof of Theorem 6. v, Acknowledgment I wish to thank Professor A. Kechris for his constant guidance. The author is indebted to the referee and Professor A. R. Blass for many valuable comments.
8 354 HASEO KI References [AK] M. Ajtai and A. S. Kechris, The set of continuous functions with everywhere convergent Fourier series, Trans. Amer. Math. Soc ), MR 89b:04005 [Ka] Y. Katznelson, An introduction to harmonic analysis, Dover, New York, 976. MR 54:0976 [Ke] Alexander S. Kechris, Classical Descriptive Set Theory, Springer Verlag, 995. CMP 95:09 [KL] Haseo Ki and Tom Linton, Normal numbers and subsets of N with given densities, Fundamenta Mathematicae 2) ), MR 95e:04005 [Zy] A. Zygmund, Trigonometric series, 2nd ed., Cambridge Univ. Press, 959. MR 2:6498 Department of Mathematics, California Institute of Technology, Pasadena, California 925 Current address: GARC, Department of Mathematics, Seoul National University, Seoul 5-742, Korea address: haseo@math.snu.ac.kr
REAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More informationFOURIER SERIES WITH THE CONTINUOUS PRIMITIVE INTEGRAL
Real Analysis Exchange Summer Symposium XXXVI, 2012, pp. 30 35 Erik Talvila, Department of Mathematics and Statistics, University of the Fraser Valley, Chilliwack, BC V2R 0N3, Canada. email: Erik.Talvila@ufv.ca
More informationMath 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1
Math 8B Solutions Charles Martin March 6, Homework Problems. Let (X i, d i ), i n, be finitely many metric spaces. Construct a metric on the product space X = X X n. Proof. Denote points in X as x = (x,
More informationChapter 3: Baire category and open mapping theorems
MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A
More informationTopics in Fourier analysis - Lecture 2.
Topics in Fourier analysis - Lecture 2. Akos Magyar 1 Infinite Fourier series. In this section we develop the basic theory of Fourier series of periodic functions of one variable, but only to the extent
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationINTRODUCTION TO REAL ANALYSIS II MATH 4332 BLECHER NOTES
INTRODUCTION TO REAL ANALYSIS II MATH 433 BLECHER NOTES. As in earlier classnotes. As in earlier classnotes (Fourier series) 3. Fourier series (continued) (NOTE: UNDERGRADS IN THE CLASS ARE NOT RESPONSIBLE
More informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
More informationKatznelson Problems. Prakash Balachandran Duke University. June 19, 2009
Katznelson Problems Prakash Balachandran Duke University June 9, 9 Chapter. Compute the Fourier coefficients of the following functions (defined by their values on [ π, π)): f(t) { t < t π (t) g(t) { t
More informationA note on a construction of J. F. Feinstein
STUDIA MATHEMATICA 169 (1) (2005) A note on a construction of J. F. Feinstein by M. J. Heath (Nottingham) Abstract. In [6] J. F. Feinstein constructed a compact plane set X such that R(X), the uniform
More informationMath 321 Final Examination April 1995 Notation used in this exam: N. (1) S N (f,x) = f(t)e int dt e inx.
Math 321 Final Examination April 1995 Notation used in this exam: N 1 π (1) S N (f,x) = f(t)e int dt e inx. 2π n= N π (2) C(X, R) is the space of bounded real-valued functions on the metric space X, equipped
More informationSINGULAR MEASURES WITH ABSOLUTELY CONTINUOUS CONVOLUTION SQUARES ON LOCALLY COMPACT GROUPS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 127, Number 10, Pages 2865 2869 S 0002-9939(99)04827-3 Article electronically published on April 23, 1999 SINGULAR MEASURES WITH ABSOLUTELY CONTINUOUS
More informationMATH 117 LECTURE NOTES
MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set
More informationBochner s Theorem on the Fourier Transform on R
Bochner s heorem on the Fourier ransform on Yitao Lei October 203 Introduction ypically, the Fourier transformation sends suitable functions on to functions on. his can be defined on the space L ) + L
More informationA NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS. Masaru Nagisa. Received May 19, 2014 ; revised April 10, (Ax, x) 0 for all x C n.
Scientiae Mathematicae Japonicae Online, e-014, 145 15 145 A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS Masaru Nagisa Received May 19, 014 ; revised April 10, 014 Abstract. Let f be oeprator monotone
More informationMath 140A - Fall Final Exam
Math 140A - Fall 2014 - Final Exam Problem 1. Let {a n } n 1 be an increasing sequence of real numbers. (i) If {a n } has a bounded subsequence, show that {a n } is itself bounded. (ii) If {a n } has a
More informationReal Analysis Chapter 4 Solutions Jonathan Conder
2. Let x, y X and suppose that x y. Then {x} c is open in the cofinite topology and contains y but not x. The cofinite topology on X is therefore T 1. Since X is infinite it contains two distinct points
More informationMATH 131A: REAL ANALYSIS (BIG IDEAS)
MATH 131A: REAL ANALYSIS (BIG IDEAS) Theorem 1 (The Triangle Inequality). For all x, y R we have x + y x + y. Proposition 2 (The Archimedean property). For each x R there exists an n N such that n > x.
More informationThe Hilbert Transform and Fine Continuity
Irish Math. Soc. Bulletin 58 (2006), 8 9 8 The Hilbert Transform and Fine Continuity J. B. TWOMEY Abstract. It is shown that the Hilbert transform of a function having bounded variation in a finite interval
More informationConvergence of Fourier series
Convergence of Fourier series Final Degree Dissertation Degree in Mathematics Javier Canto Llorente Supervisor: Javier Duoandikoetxea Zuazo Leioa, June 26 Contents Introduction v rigonometric Fourier
More informationPERIODIC HYPERFUNCTIONS AND FOURIER SERIES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 128, Number 8, Pages 2421 2430 S 0002-9939(99)05281-8 Article electronically published on December 7, 1999 PERIODIC HYPERFUNCTIONS AND FOURIER SERIES
More informationOutline of Fourier Series: Math 201B
Outline of Fourier Series: Math 201B February 24, 2011 1 Functions and convolutions 1.1 Periodic functions Periodic functions. Let = R/(2πZ) denote the circle, or onedimensional torus. A function f : C
More informationThe Heine-Borel and Arzela-Ascoli Theorems
The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationMATH NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS
MATH. 4433. NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS TOMASZ PRZEBINDA. Final project, due 0:00 am, /0/208 via e-mail.. State the Fundamental Theorem of Algebra. Recall that a subset K
More informationNew York Journal of Mathematics. A Refinement of Ball s Theorem on Young Measures
New York Journal of Mathematics New York J. Math. 3 (1997) 48 53. A Refinement of Ball s Theorem on Young Measures Norbert Hungerbühler Abstract. For a sequence u j : R n R m generating the Young measure
More informationFUNCTIONAL SEQUENTIAL AND TRIGONOMETRIC SUMMABILITY OF REAL AND COMPLEX FUNCTIONS
International Journal of Analysis Applications ISSN 91-8639 Volume 15, Number (17), -8 DOI: 1.894/91-8639-15-17- FUNCTIONAL SEQUENTIAL AND TRIGONOMETRIC SUMMABILITY OF REAL AND COMPLEX FUNCTIONS M.H. HOOSHMAND
More informationW. Lenski and B. Szal ON POINTWISE APPROXIMATION OF FUNCTIONS BY SOME MATRIX MEANS OF CONJUGATE FOURIER SERIES
F A S C I C U L I M A T H E M A T I C I Nr 55 5 DOI:.55/fascmath-5-7 W. Lenski and B. Szal ON POINTWISE APPROXIMATION OF FUNCTIONS BY SOME MATRIX MEANS OF CONJUGATE FOURIER SERIES Abstract. The results
More informationFINAL EXAM Math 25 Temple-F06
FINAL EXAM Math 25 Temple-F06 Write solutions on the paper provided. Put your name on this exam sheet, and staple it to the front of your finished exam. Do Not Write On This Exam Sheet. Problem 1. (Short
More informationCONVERGENCE OF RANDOM FOURIER SERIES
CONVERGENCE OF RANDOM FOURIER SERIES MICH HILL Abstract. his paper will study Fourier Series with random coefficients. We begin with an introduction to Fourier series on the torus and give some of the
More informationCzechoslovak Mathematical Journal
Czechoslovak Mathematical Journal Oktay Duman; Cihan Orhan µ-statistically convergent function sequences Czechoslovak Mathematical Journal, Vol. 54 (2004), No. 2, 413 422 Persistent URL: http://dml.cz/dmlcz/127899
More informationMeasurable Choice Functions
(January 19, 2013) Measurable Choice Functions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/choice functions.pdf] This note
More informationMATH 5640: Fourier Series
MATH 564: Fourier Series Hung Phan, UMass Lowell September, 8 Power Series A power series in the variable x is a series of the form a + a x + a x + = where the coefficients a, a,... are real or complex
More informationMath 117: Continuity of Functions
Math 117: Continuity of Functions John Douglas Moore November 21, 2008 We finally get to the topic of ɛ δ proofs, which in some sense is the goal of the course. It may appear somewhat laborious to use
More informationThe Borel-Cantelli Group
The Borel-Cantelli Group Dorothy Baumer Rong Li Glenn Stark November 14, 007 1 Borel-Cantelli Lemma Exercise 16 is the introduction of the Borel-Cantelli Lemma using Lebesue measure. An approach using
More informationYunhi Cho and Young-One Kim
Bull. Korean Math. Soc. 41 (2004), No. 1, pp. 27 43 ANALYTIC PROPERTIES OF THE LIMITS OF THE EVEN AND ODD HYPERPOWER SEQUENCES Yunhi Cho Young-One Kim Dedicated to the memory of the late professor Eulyong
More informationSummer Jump-Start Program for Analysis, 2012 Song-Ying Li. 1 Lecture 7: Equicontinuity and Series of functions
Summer Jump-Start Program for Analysis, 0 Song-Ying Li Lecture 7: Equicontinuity and Series of functions. Equicontinuity Definition. Let (X, d) be a metric space, K X and K is a compact subset of X. C(K)
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationCopyright 2010 Pearson Education, Inc. Publishing as Prentice Hall.
.1 Limits of Sequences. CHAPTER.1.0. a) True. If converges, then there is an M > 0 such that M. Choose by Archimedes an N N such that N > M/ε. Then n N implies /n M/n M/N < ε. b) False. = n does not converge,
More informationMAT 544 Problem Set 2 Solutions
MAT 544 Problem Set 2 Solutions Problems. Problem 1 A metric space is separable if it contains a dense subset which is finite or countably infinite. Prove that every totally bounded metric space X is separable.
More informationSyllabus Fourier analysis
Syllabus Fourier analysis by T. H. Koornwinder, 1996 University of Amsterdam, Faculty of Science, Korteweg-de Vries Institute Last modified: 7 December 2005 Note This syllabus is based on parts of the
More informationFall f(x)g(x) dx. The starting place for the theory of Fourier series is that the family of functions {e inx } n= is orthonormal, that is
18.103 Fall 2013 1. Fourier Series, Part 1. We will consider several function spaces during our study of Fourier series. When we talk about L p ((, π)), it will be convenient to include the factor 1/ in
More informationInvariant measures for iterated function systems
ANNALES POLONICI MATHEMATICI LXXV.1(2000) Invariant measures for iterated function systems by Tomasz Szarek (Katowice and Rzeszów) Abstract. A new criterion for the existence of an invariant distribution
More informationLIMITS OF DIFFERENTIABLE FUNCTIONS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 1, January 1996 LIMITS OF DIFFERENTIABLE FUNCTIONS UDAYAN B. DARJI (Communicated by J. Marshall Ash) Abstract. Suppose that {f n} is
More informationQuasi-invariant measures for continuous group actions
Contemporary Mathematics Quasi-invariant measures for continuous group actions Alexander S. Kechris Dedicated to Simon Thomas on his 60th birthday Abstract. The class of ergodic, invariant probability
More informationAN ELEMENTARY PROOF OF THE TRIANGLE INEQUALITY FOR THE WASSERSTEIN METRIC
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 136, Number 1, January 2008, Pages 333 339 S 0002-9939(07)09020- Article electronically published on September 27, 2007 AN ELEMENTARY PROOF OF THE
More informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
More informationMultidimensional Riemann derivatives
STUDIA MATHEMATICA 235 (1) (2016) Multidimensional Riemann derivatives by J. Marshall Ash and Stefan Catoiu (Chicago, IL) Abstract. The well-known concepts of nth Peano, Lipschitz, Riemann, Riemann Lipschitz,
More informationYuqing Chen, Yeol Je Cho, and Li Yang
Bull. Korean Math. Soc. 39 (2002), No. 4, pp. 535 541 NOTE ON THE RESULTS WITH LOWER SEMI-CONTINUITY Yuqing Chen, Yeol Je Cho, and Li Yang Abstract. In this paper, we introduce the concept of lower semicontinuous
More informationNORMAL FAMILIES OF HOLOMORPHIC FUNCTIONS ON INFINITE DIMENSIONAL SPACES
PORTUGALIAE MATHEMATICA Vol. 63 Fasc.3 2006 Nova Série NORMAL FAMILIES OF HOLOMORPHIC FUNCTIONS ON INFINITE DIMENSIONAL SPACES Paula Takatsuka * Abstract: The purpose of the present work is to extend some
More informationFOURIER SERIES OF CONTINUOUS FUNCTIONS AT GIVEN POINTS
FOURIER SERIES OF CONTINUOUS FUNCTIONS AT GIVEN POINTS ALEXANDER STRATMANN Abstract. The purpose of this paper is to show that, for fixed x in the closed interval [,], the set of periodic continuous functions
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhof.tex April 25, 2018 van Rooij, Schikhof: A Second Course on Real Functions Notes from [vrs]. Introduction A monotone function is Riemann integrable. A continuous function is Riemann integrable.
More informationAn extremal problem in Banach algebras
STUDIA MATHEMATICA 45 (3) (200) An extremal problem in Banach algebras by Anders Olofsson (Stockholm) Abstract. We study asymptotics of a class of extremal problems r n (A, ε) related to norm controlled
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 046-424
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied Mathematics NEWER APPLICATIONS OF GENERALIZED MONOTONE SEQUENCES L. LEINDLER Bolyai Institute, University of Szeged, Aradi vértanúk tere 1 H-6720 Szeged, Hungary
More informationAustin Mohr Math 704 Homework 6
Austin Mohr Math 704 Homework 6 Problem 1 Integrability of f on R does not necessarily imply the convergence of f(x) to 0 as x. a. There exists a positive continuous function f on R so that f is integrable
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
More informationAbsolutely convergent Fourier series and classical function classes FERENC MÓRICZ
Absolutely convergent Fourier series and classical function classes FERENC MÓRICZ Bolyai Institute, University of Szeged, Aradi vértanúk tere 1, Szeged 6720, Hungary, e-mail: moricz@math.u-szeged.hu Abstract.
More informationHomework 11. Solutions
Homework 11. Solutions Problem 2.3.2. Let f n : R R be 1/n times the characteristic function of the interval (0, n). Show that f n 0 uniformly and f n µ L = 1. Why isn t it a counterexample to the Lebesgue
More informationABSTRACT INTEGRATION CHAPTER ONE
CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed
More informationHilbert Spaces. Contents
Hilbert Spaces Contents 1 Introducing Hilbert Spaces 1 1.1 Basic definitions........................... 1 1.2 Results about norms and inner products.............. 3 1.3 Banach and Hilbert spaces......................
More informationDefining the Integral
Defining the Integral In these notes we provide a careful definition of the Lebesgue integral and we prove each of the three main convergence theorems. For the duration of these notes, let (, M, µ) be
More informationlim f f(kx)dp(x) = cmf
proceedings of the american mathematical society Volume 107, Number 3, November 1989 MAGNIFIED CURVES ON A FLAT TORUS, DETERMINATION OF ALMOST PERIODIC FUNCTIONS, AND THE RIEMANN-LEBESGUE LEMMA ROBERT
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationFrom now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.
Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x
More informationSTATISTICAL LIMIT POINTS
proceedings of the american mathematical society Volume 118, Number 4, August 1993 STATISTICAL LIMIT POINTS J. A. FRIDY (Communicated by Andrew M. Bruckner) Abstract. Following the concept of a statistically
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More informationProblem Set 5: Solutions Math 201A: Fall 2016
Problem Set 5: s Math 21A: Fall 216 Problem 1. Define f : [1, ) [1, ) by f(x) = x + 1/x. Show that f(x) f(y) < x y for all x, y [1, ) with x y, but f has no fixed point. Why doesn t this example contradict
More informationPOINTWISE PRODUCTS OF UNIFORMLY CONTINUOUS FUNCTIONS
SARAJEVO JOURNAL OF MATHEMATICS Vol.1 (13) (2005), 117 127 POINTWISE PRODUCTS OF UNIFORMLY CONTINUOUS FUNCTIONS SAM B. NADLER, JR. Abstract. The problem of characterizing the metric spaces on which the
More informationCALCULUS JIA-MING (FRANK) LIOU
CALCULUS JIA-MING (FRANK) LIOU Abstract. Contents. Power Series.. Polynomials and Formal Power Series.2. Radius of Convergence 2.3. Derivative and Antiderivative of Power Series 4.4. Power Series Expansion
More informationCESARO OPERATORS ON THE HARDY SPACES OF THE HALF-PLANE
CESARO OPERATORS ON THE HARDY SPACES OF THE HALF-PLANE ATHANASIOS G. ARVANITIDIS AND ARISTOMENIS G. SISKAKIS Abstract. In this article we study the Cesàro operator C(f)() = d, and its companion operator
More informationNotes on uniform convergence
Notes on uniform convergence Erik Wahlén erik.wahlen@math.lu.se January 17, 2012 1 Numerical sequences We begin by recalling some properties of numerical sequences. By a numerical sequence we simply mean
More informationMath 117: Topology of the Real Numbers
Math 117: Topology of the Real Numbers John Douglas Moore November 10, 2008 The goal of these notes is to highlight the most important topics presented in Chapter 3 of the text [1] and to provide a few
More informationCONVERGENCE OF THE STEEPEST DESCENT METHOD FOR ACCRETIVE OPERATORS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 127, Number 12, Pages 3677 3683 S 0002-9939(99)04975-8 Article electronically published on May 11, 1999 CONVERGENCE OF THE STEEPEST DESCENT METHOD
More informationP-adic Functions - Part 1
P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant
More informationA BOOLEAN ACTION OF C(M, U(1)) WITHOUT A SPATIAL MODEL AND A RE-EXAMINATION OF THE CAMERON MARTIN THEOREM
A BOOLEAN ACTION OF C(M, U(1)) WITHOUT A SPATIAL MODEL AND A RE-EXAMINATION OF THE CAMERON MARTIN THEOREM JUSTIN TATCH MOORE AND S LAWOMIR SOLECKI Abstract. We will demonstrate that if M is an uncountable
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationON THE DEFINITION OF RELATIVE PRESSURE FOR FACTOR MAPS ON SHIFTS OF FINITE TYPE. 1. Introduction
ON THE DEFINITION OF RELATIVE PRESSURE FOR FACTOR MAPS ON SHIFTS OF FINITE TYPE KARL PETERSEN AND SUJIN SHIN Abstract. We show that two natural definitions of the relative pressure function for a locally
More informationFACULTY OF SCIENCE FINAL EXAMINATION MATHEMATICS MATH 355. Analysis 4. Examiner: Professor S. W. Drury Date: Tuesday, April 18, 2006 INSTRUCTIONS
FACULTY OF SCIENCE FINAL EXAMINATION MATHEMATICS MATH 355 Analysis 4 Examiner: Professor S. W. Drury Date: Tuesday, April 18, 26 Associate Examiner: Professor K. N. GowriSankaran Time: 2: pm. 5: pm. INSTRUCTIONS
More informationMetric Spaces Lecture 17
Metric Spaces Lecture 17 Homeomorphisms At the end of last lecture an example was given of a bijective continuous function f such that f 1 is not continuous. For another example, consider the sets T =
More information2 Sequences, Continuity, and Limits
2 Sequences, Continuity, and Limits In this chapter, we introduce the fundamental notions of continuity and limit of a real-valued function of two variables. As in ACICARA, the definitions as well as proofs
More information1 Take-home exam and final exam study guide
Math 215 - Introduction to Advanced Mathematics Fall 2013 1 Take-home exam and final exam study guide 1.1 Problems The following are some problems, some of which will appear on the final exam. 1.1.1 Number
More informationIndeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )
Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationPCA sets and convexity
F U N D A M E N T A MATHEMATICAE 163 (2000) PCA sets and convexity by Robert K a u f m a n (Urbana, IL) Abstract. Three sets occurring in functional analysis are shown to be of class PCA (also called Σ
More informationMath 489AB A Very Brief Intro to Fourier Series Fall 2008
Math 489AB A Very Brief Intro to Fourier Series Fall 8 Contents Fourier Series. The coefficients........................................ Convergence......................................... 4.3 Convergence
More informationBanach Journal of Mathematical Analysis ISSN: (electronic)
Banach J. Math. Anal. 7 (2013), no. 1, 59 72 Banach Journal of Mathematical Analysis ISSN: 1735-8787 (electronic) www.emis.de/journals/bjma/ WEIGHTED COMPOSITION OPERATORS BETWEEN VECTOR-VALUED LIPSCHITZ
More informationON CLASSES OF EVERYWHERE DIVERGENT POWER SERIES
ON CLASSES OF EVERYWHERE DIVERGENT POWER SERIES G. A. KARAGULYAN Abstract. We prove the everywhere divergence of series a n e iρn e inx, and 1 [ρn] a n cos nx, for sequences a n and ρ n satisfying some
More informationMath 320-2: Final Exam Practice Solutions Northwestern University, Winter 2015
Math 30-: Final Exam Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A closed and bounded subset of C[0, 1] which is
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationMcGill University Math 354: Honors Analysis 3
Practice problems McGill University Math 354: Honors Analysis 3 not for credit Problem 1. Determine whether the family of F = {f n } functions f n (x) = x n is uniformly equicontinuous. 1st Solution: The
More informationC.7. Numerical series. Pag. 147 Proof of the converging criteria for series. Theorem 5.29 (Comparison test) Let a k and b k be positive-term series
C.7 Numerical series Pag. 147 Proof of the converging criteria for series Theorem 5.29 (Comparison test) Let and be positive-term series such that 0, for any k 0. i) If the series converges, then also
More information16 1 Basic Facts from Functional Analysis and Banach Lattices
16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness
More informationAn Elementary Proof that any Natural Number can be Written as the Sum of Three Terms of the Sequence n2
1 47 6 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.6 An Elementary Proof that any Natural Number can be Written as the Sum of Three Terms of the Sequence n Bakir Farhi Department of Mathematics
More informationMath 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible.
Math 320: Real Analysis MWF pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible. Do the following problems from the book: 4.3.5, 4.3.7, 4.3.8, 4.3.9,
More informationHARMONIC ANALYSIS TERENCE TAO
HARMONIC ANALYSIS TERENCE TAO Analysis in general tends to revolve around the study of general classes of functions (often real-valued or complex-valued) and operators (which take one or more functions
More informationAn idea how to solve some of the problems. diverges the same must hold for the original series. T 1 p T 1 p + 1 p 1 = 1. dt = lim
An idea how to solve some of the problems 5.2-2. (a) Does not converge: By multiplying across we get Hence 2k 2k 2 /2 k 2k2 k 2 /2 k 2 /2 2k 2k 2 /2 k. As the series diverges the same must hold for the
More informationReducing subspaces. Rowan Killip 1 and Christian Remling 2 January 16, (to appear in J. Funct. Anal.)
Reducing subspaces Rowan Killip 1 and Christian Remling 2 January 16, 2001 (to appear in J. Funct. Anal.) 1. University of Pennsylvania, 209 South 33rd Street, Philadelphia PA 19104-6395, USA. On leave
More informationProblem set 5, Real Analysis I, Spring, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, 1 x (log 1/ x ) 2 dx 1
Problem set 5, Real Analysis I, Spring, 25. (5) Consider the function on R defined by f(x) { x (log / x ) 2 if x /2, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, R f /2
More information