Real Analysis a Comprehensive Course in Analysis, Part 1

Total Page:16

File Type:pdf, Size:1020Kb

Real Analysis a Comprehensive Course in Analysis, Part 1 Real Analysis A Comprehensive Course in Analysis, Part 1 Barry Simon Real Analysis A Comprehensive Course in Analysis, Part 1 http://dx.doi.org/10.1090/simon/001 Real Analysis A Comprehensive Course in Analysis, Part 1 Barry Simon Providence, Rhode Island 2010 Mathematics Subject Classification. Primary 26-01, 28-01, 42-01, 46-01; Secondary 33-01, 35-01, 41-01, 52-01, 54-01, 60-01. For additional information and updates on this book, visit www.ams.org/bookpages/simon Library of Congress Cataloging-in-Publication Data Simon, Barry, 1946– Real analysis / Barry Simon. pages cm. — (A comprehensive course in analysis ; part 1) Includes bibliographical references and indexes. ISBN 978-1-4704-1099-5 (alk. paper) 1. Mathematical analysis—Textbooks. I. Title. QA300.S53 2015 515.8—dc23 2014047381 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Permissions to reuse portions of AMS publication content are handled by Copyright Clearance Center’s RightsLink service. For more information, please visit: http://www.ams.org/rightslink. Send requests for translation rights and licensed reprints to [email protected]. Excluded from these provisions is material for which the author holds copyright. In such cases, requests for permission to reuse or reprint material should be addressed directly to the author(s). Copyright ownership is indicated on the copyright page, or on the lower right-hand corner of the first page of each article within proceedings volumes. c 2015 by the American Mathematical Society. All rights reserved. Printed in the United States of America. ∞ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at http://www.ams.org/ 10987654321 201918171615 To the memory of Cherie Galvez extraordinary secretary, talented helper, caring person and to the memory of my mentors, Ed Nelson (1932-2014) and Arthur Wightman (1922-2013) who not only taught me Mathematics but taught me how to be a mathematician Contents Preface to the Series xi Preface to Part 1 xvii Chapter 1. Preliminaries 1 §1.1. Notation and Terminology 1 §1.2. Metric Spaces 3 §1.3. The Real Numbers 6 §1.4. Orders 9 §1.5. The Axiom of Choice and Zorn’s Lemma 11 §1.6. Countability 14 §1.7. Some Linear Algebra 18 §1.8. Some Calculus 30 Chapter 2. Topological Spaces 35 §2.1. Lots of Definitions 37 §2.2. Countability and Separation Properties 51 §2.3. Compact Spaces 63 §2.4. The Weierstrass Approximation Theorem and Bernstein Polynomials 76 §2.5. The Stone–Weierstrass Theorem 88 §2.6. Nets 93 §2.7. Product Topologies and Tychonoff’s Theorem 99 §2.8. Quotient Topologies 103 vii viii Contents Chapter 3. A First Look at Hilbert Spaces and Fourier Series 107 §3.1. Basic Inequalities 109 §3.2. Convex Sets, Minima, and Orthogonal Complements 119 §3.3. Dual Spaces and the Riesz Representation Theorem 122 §3.4. Orthonormal Bases, Abstract Fourier Expansions, and Gram–Schmidt 131 §3.5. Classical Fourier Series 137 §3.6. The Weak Topology 168 §3.7. A First Look at Operators 174 §3.8. Direct Sums and Tensor Products of Hilbert Spaces 176 Chapter 4. Measure Theory 185 §4.1. Riemann–Stieltjes Integrals 187 §4.2. The Cantor Set, Function, and Measure 198 §4.3. Bad Sets and Good Sets 205 §4.4. Positive Functionals and Measures via L1(X) 212 §4.5. The Riesz–Markov Theorem 233 §4.6. Convergence Theorems; Lp Spaces 240 §4.7. Comparison of Measures 252 §4.8. Duality for Banach Lattices; Hahn and Jordan Decomposition 259 §4.9. Duality for Lp 270 §4.10. Measures on Locally Compact and σ-Compact Spaces 275 §4.11. Product Measures and Fubini’s Theorem 281 §4.12. Infinite Product Measures and Gaussian Processes 292 §4.13. General Measure Theory 300 §4.14. Measures on Polish Spaces 306 §4.15. Another Look at Functions of Bounded Variation 314 §4.16. Bonus Section: Brownian Motion 319 §4.17. Bonus Section: The Hausdorff Moment Problem 329 §4.18. Bonus Section: Integration of Banach Space-Valued Functions 337 §4.19. Bonus Section: Haar Measure on σ-Compact Groups 342 Contents ix Chapter 5. Convexity and Banach Spaces 355 §5.1. Some Preliminaries 357 §5.2. H¨older’s and Minkowski’s Inequalities: A Lightning Look 367 §5.3. Convex Functions and Inequalities 373 §5.4. The Baire Category Theorem and Applications 394 §5.5. The Hahn–Banach Theorem 414 §5.6. Bonus Section: The Hamburger Moment Problem 428 §5.7. Weak Topologies and Locally Convex Spaces 436 §5.8. The Banach–Alaoglu Theorem 446 §5.9. Bonus Section: Minimizers in Potential Theory 447 §5.10. Separating Hyperplane Theorems 454 §5.11. The Krein–Milman Theorem 458 §5.12. Bonus Section: Fixed Point Theorems and Applications 468 Chapter 6. Tempered Distributions and the Fourier Transform 493 §6.1. Countably Normed and Fr´echet Spaces 496 §6.2. Schwartz Space and Tempered Distributions 502 §6.3. Periodic Distributions 520 §6.4. Hermite Expansions 523 §6.5. The Fourier Transform and Its Basic Properties 540 §6.6. More Properties of Fourier Transform 548 §6.7. Bonus Section: Riesz Products 576 §6.8. Fourier Transforms of Powers and Uniqueness of Minimizers in Potential Theory 583 §6.9. Constant Coefficient Partial Differential Equations 588 Chapter 7. Bonus Chapter: Probability Basics 615 §7.1. The Language of Probability 617 §7.2. Borel–Cantelli Lemmas and the Laws of Large Numbers and of the Iterated Logarithm 632 §7.3. Characteristic Functions and the Central Limit Theorem 648 §7.4. Poisson Limits and Processes 660 §7.5. Markov Chains 667 x Contents Chapter 8. Bonus Chapter: Hausdorff Measure and Dimension 679 §8.1. The Carath´eodory Construction 680 §8.2. Hausdorff Measure and Dimension 687 Chapter 9. Bonus Chapter: Inductive Limits and Ordinary Distributions 705 §9.1. Strict Inductive Limits 706 §9.2. Ordinary Distributions and Other Examples of Strict Inductive Limits 711 Bibliography 713 Symbol Index 765 Subject Index 769 Author Index 779 Index of Capsule Biographies 789 Preface to the Series Young men should prove theorems, old men should write books. —Freeman Dyson, quoting G. H. Hardy1 Reed–Simon2 starts with “Mathematics has its roots in numerology, ge- ometry, and physics.” This puts into context the division of mathematics into algebra, geometry/topology, and analysis. There are, of course, other areas of mathematics, and a division between parts of mathematics can be artificial. But almost universally, we require our graduate students to take courses in these three areas. This five-volume series began and, to some extent, remains a set of texts for a basic graduate analysis course. In part it reflects Caltech’s three-terms- per-year schedule and the actual courses I’ve taught in the past. Much of the contents of Parts 1 and 2 (Part 2 is in two volumes, Part 2A and Part 2B) are common to virtually all such courses: point set topology, measure spaces, Hilbert and Banach spaces, distribution theory, and the Fourier transform, complex analysis including the Riemann mapping and Hadamard product theorems. Parts 3 and 4 are made up of material that you’ll find in some, but not all, courses—on the one hand, Part 3 on maximal functions and Hp-spaces; on the other hand, Part 4 on the spectral theorem for bounded self-adjoint operators on a Hilbert space and det and trace, again for Hilbert space operators. Parts 3 and 4 reflect the two halves of the third term of Caltech’s course. 1Interview with D. J. Albers, The College Mathematics Journal, 25, no. 1, January 1994. 2M. Reed and B. Simon, Methods of Modern Mathematical Physics, I: Functional Analysis, Academic Press, New York, 1972. xi xii Preface to the Series While there is, of course, overlap between these books and other texts, there are some places where we differ, at least from many: (a) By having a unified approach to both real and complex analysis, we are able to use notions like contour integrals as Stietljes integrals that cross the barrier. (b) We include some topics that are not standard, although I am sur- prised they are not. For example, while discussing maximal functions, I present Garcia’s proof of the maximal (and so, Birkhoff) ergodic the- orem. (c) These books are written to be keepers—the idea is that, for many stu- dents, this may be the last analysis course they take, so I’ve tried to write in a way that these books will be useful as a reference. For this reason, I’ve included “bonus” chapters and sections—material that I do not expect to be included in the course. This has several advantages. First, in a slightly longer course, the instructor has an option of extra topics to include. Second, there is some flexibility—for an instructor who can’t imagine a complex analysis course without a proof of the prime number theorem, it is possible to replace all or part of the (non- bonus) chapter on elliptic functions with the last four sections of the bonus chapter on analytic number theory. Third, it is certainly possible to take all the material in, say, Part 2, to turn it into a two-term course.
Recommended publications
  • 286365111.Pdf
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Caltech Authors PROOF OF THE STRONG SCOTT CONJECTURE FOR CHANDRASEKHAR ATOMS RUPERT L. FRANK, KONSTANTIN MERZ, HEINZ SIEDENTOP, AND BARRY SIMON Dedicated to Yakov Sinai on the occasion of his 85th birthday. Abstract. We consider a large neutral atom of atomic number Z, taking rel- ativistic effects into account by assuming the dispersion relation pc2p2 + c4. We study the behavior of the one-particle ground state density on the length scale Z−1 in the limit Z; c ! 1 keeping Z=c fixed and find that the spher- ically averaged density as well as all individual angular momentum densities separately converge to the relativistic hydrogenic ones. This proves the gen- eralization of the strong Scott conjecture for relativistic atoms and shows, in particular, that relativistic effects occur close to the nucleus. Along the way we prove upper bounds on the relativistic hydrogenic density. 1. Introduction 1.1. Some results on large Z-atoms. The asymptotic behavior of the ground state energy and the ground state density of atoms with large atomic number Z have been studied in detail in non-relativistic quantum mechanics. Soon after the advent of quantum mechanics it became clear that the non- relativistic quantum multi-particle problem is not analytically solvable and of in- creasing challenge with large particle number. This problem was addressed by Thomas [51] and Fermi [11, 12] by developing what was called the statistical model of the atom. The model is described by the so-called Thomas{Fermi functional (Lenz [28]) Z ZZ TF 3 5=3 Z 1 ρ(x)ρ(y) (1) EZ (ρ) := 10 γTFρ(x) − ρ(x) dx + dx dy ; 3 jxj 2 3 3 jx − yj R R ×R | {z } =:D[ρ] 2 2=3 where γTF = (6π =q) is a positive constant depending on the number q of spin states per electron, i.e., physically 2.
    [Show full text]
  • 1.5. Set Functions and Properties. Let Л Be Any Set of Subsets of E
    1.5. Set functions and properties. Let A be any set of subsets of E containing the empty set ∅. A set function is a function µ : A → [0, ∞] with µ(∅)=0. Let µ be a set function. Say that µ is increasing if, for all A, B ∈ A with A ⊆ B, µ(A) ≤ µ(B). Say that µ is additive if, for all disjoint sets A, B ∈ A with A ∪ B ∈ A, µ(A ∪ B)= µ(A)+ µ(B). Say that µ is countably additive if, for all sequences of disjoint sets (An : n ∈ N) in A with n An ∈ A, S µ An = µ(An). n ! n [ X Say that µ is countably subadditive if, for all sequences (An : n ∈ N) in A with n An ∈ A, S µ An ≤ µ(An). n ! n [ X 1.6. Construction of measures. Let A be a set of subsets of E. Say that A is a ring on E if ∅ ∈ A and, for all A, B ∈ A, B \ A ∈ A, A ∪ B ∈ A. Say that A is an algebra on E if ∅ ∈ A and, for all A, B ∈ A, Ac ∈ A, A ∪ B ∈ A. Theorem 1.6.1 (Carath´eodory’s extension theorem). Let A be a ring of subsets of E and let µ : A → [0, ∞] be a countably additive set function. Then µ extends to a measure on the σ-algebra generated by A. Proof. For any B ⊆ E, define the outer measure ∗ µ (B) = inf µ(An) n X where the infimum is taken over all sequences (An : n ∈ N) in A such that B ⊆ n An and is taken to be ∞ if there is no such sequence.
    [Show full text]
  • Integration 1 Measurable Functions
    Integration References: Bass (Real Analysis for Graduate Students), Folland (Real Analysis), Athreya and Lahiri (Measure Theory and Probability Theory). 1 Measurable Functions Let (Ω1; F1) and (Ω2; F2) be measurable spaces. Definition 1 A function T :Ω1 ! Ω2 is (F1; F2)-measurable if for every −1 E 2 F2, T (E) 2 F1. Terminology: If (Ω; F) is a measurable space and f is a real-valued func- tion on Ω, it's called F-measurable or simply measurable, if it is (F; B(<))- measurable. A function f : < ! < is called Borel measurable if the σ-algebra used on the domain and codomain is B(<). If the σ-algebra on the domain is Lebesgue, f is called Lebesgue measurable. Example 1 Measurability of a function is related to the σ-algebras that are chosen in the domain and codomain. Let Ω = f0; 1g. If the σ-algebra is P(Ω), every real valued function is measurable. Indeed, let f :Ω ! <, and E 2 B(<). It is clear that f −1(E) 2 P(Ω) (this includes the case where f −1(E) = ;). However, if F = f;; Ωg is the σ-algebra, only the constant functions are measurable. Indeed, if f(x) = a; 8x 2 Ω, then for any Borel set E containing a, f −1(E) = Ω 2 F. But if f is a function s.t. f(0) 6= f(1), then, any Borel set E containing f(0) but not f(1) will satisfy f −1(E) = f0g 2= F. 1 It is hard to check for measurability of a function using the definition, because it requires checking the preimages of all sets in F2.
    [Show full text]
  • The Heisenberg Group Fourier Transform
    THE HEISENBERG GROUP FOURIER TRANSFORM NEIL LYALL Contents 1. Fourier transform on Rn 1 2. Fourier analysis on the Heisenberg group 2 2.1. Representations of the Heisenberg group 2 2.2. Group Fourier transform 3 2.3. Convolution and twisted convolution 5 3. Hermite and Laguerre functions 6 3.1. Hermite polynomials 6 3.2. Laguerre polynomials 9 3.3. Special Hermite functions 9 4. Group Fourier transform of radial functions on the Heisenberg group 12 References 13 1. Fourier transform on Rn We start by presenting some standard properties of the Euclidean Fourier transform; see for example [6] and [4]. Given f ∈ L1(Rn), we define its Fourier transform by setting Z fb(ξ) = e−ix·ξf(x)dx. Rn n ih·ξ If for h ∈ R we let (τhf)(x) = f(x + h), then it follows that τdhf(ξ) = e fb(ξ). Now for suitable f the inversion formula Z f(x) = (2π)−n eix·ξfb(ξ)dξ, Rn holds and we see that the Fourier transform decomposes a function into a continuous sum of characters (eigenfunctions for translations). If A is an orthogonal matrix and ξ is a column vector then f[◦ A(ξ) = fb(Aξ) and from this it follows that the Fourier transform of a radial function is again radial. In particular the Fourier transform −|x|2/2 n of Gaussians take a particularly nice form; if G(x) = e , then Gb(ξ) = (2π) 2 G(ξ). In general the Fourier transform of a radial function can always be explicitly expressed in terms of a Bessel 1 2 NEIL LYALL transform; if g(x) = g0(|x|) for some function g0, then Z ∞ n 2−n n−1 gb(ξ) = (2π) 2 g0(r)(r|ξ|) 2 J n−2 (r|ξ|)r dr, 0 2 where J n−2 is a Bessel function.
    [Show full text]
  • A Bayesian Level Set Method for Geometric Inverse Problems
    Interfaces and Free Boundaries 18 (2016), 181–217 DOI 10.4171/IFB/362 A Bayesian level set method for geometric inverse problems MARCO A. IGLESIAS School of Mathematical Sciences, University of Nottingham, Nottingham NG7 2RD, UK E-mail: [email protected] YULONG LU Mathematics Institute, University of Warwick, Coventry CV4 7AL, UK E-mail: [email protected] ANDREW M. STUART Mathematics Institute, University of Warwick, Coventry CV4 7AL, UK E-mail: [email protected] [Received 3 April 2015 and in revised form 10 February 2016] We introduce a level set based approach to Bayesian geometric inverse problems. In these problems the interface between different domains is the key unknown, and is realized as the level set of a function. This function itself becomes the object of the inference. Whilst the level set methodology has been widely used for the solution of geometric inverse problems, the Bayesian formulation that we develop here contains two significant advances: firstly it leads to a well-posed inverse problem in which the posterior distribution is Lipschitz with respect to the observed data, and may be used to not only estimate interface locations, but quantify uncertainty in them; and secondly it leads to computationally expedient algorithms in which the level set itself is updated implicitly via the MCMC methodology applied to the level set function – no explicit velocity field is required for the level set interface. Applications are numerous and include medical imaging, modelling of subsurface formations and the inverse source problem; our theory is illustrated with computational results involving the last two applications.
    [Show full text]
  • Generalized Stochastic Processes with Independent Values
    GENERALIZED STOCHASTIC PROCESSES WITH INDEPENDENT VALUES K. URBANIK UNIVERSITY OF WROCFAW AND MATHEMATICAL INSTITUTE POLISH ACADEMY OF SCIENCES Let O denote the space of all infinitely differentiable real-valued functions defined on the real line and vanishing outside a compact set. The support of a function so E X, that is, the closure of the set {x: s(x) F 0} will be denoted by s(,o). We shall consider 3D as a topological space with the topology introduced by Schwartz (section 1, chapter 3 in [9]). Any continuous linear functional on this space is a Schwartz distribution, a generalized function. Let us consider the space O of all real-valued random variables defined on the same sample space. The distance between two random variables X and Y will be the Frechet distance p(X, Y) = E[X - Yl/(l + IX - YI), that is, the distance induced by the convergence in probability. Any C-valued continuous linear functional defined on a is called a generalized stochastic process. Every ordinary stochastic process X(t) for which almost all realizations are locally integrable may be considered as a generalized stochastic process. In fact, we make the generalized process T((p) = f X(t),p(t) dt, with sp E 1, correspond to the process X(t). Further, every generalized stochastic process is differentiable. The derivative is given by the formula T'(w) = - T(p'). The theory of generalized stochastic processes was developed by Gelfand [4] and It6 [6]. The method of representation of generalized stochastic processes by means of sequences of ordinary processes was considered in [10].
    [Show full text]
  • LEBESGUE MEASURE and L2 SPACE. Contents 1. Measure Spaces 1 2. Lebesgue Integration 2 3. L2 Space 4 Acknowledgments 9 References
    LEBESGUE MEASURE AND L2 SPACE. ANNIE WANG Abstract. This paper begins with an introduction to measure spaces and the Lebesgue theory of measure and integration. Several important theorems regarding the Lebesgue integral are then developed. Finally, we prove the completeness of the L2(µ) space and show that it is a metric space, and a Hilbert space. Contents 1. Measure Spaces 1 2. Lebesgue Integration 2 3. L2 Space 4 Acknowledgments 9 References 9 1. Measure Spaces Definition 1.1. Suppose X is a set. Then X is said to be a measure space if there exists a σ-ring M (that is, M is a nonempty family of subsets of X closed under countable unions and under complements)of subsets of X and a non-negative countably additive set function µ (called a measure) defined on M . If X 2 M, then X is said to be a measurable space. For example, let X = Rp, M the collection of Lebesgue-measurable subsets of Rp, and µ the Lebesgue measure. Another measure space can be found by taking X to be the set of all positive integers, M the collection of all subsets of X, and µ(E) the number of elements of E. We will be interested only in a special case of the measure, the Lebesgue measure. The Lebesgue measure allows us to extend the notions of length and volume to more complicated sets. Definition 1.2. Let Rp be a p-dimensional Euclidean space . We denote an interval p of R by the set of points x = (x1; :::; xp) such that (1.3) ai ≤ xi ≤ bi (i = 1; : : : ; p) Definition 1.4.
    [Show full text]
  • 1 Measurable Functions
    36-752 Advanced Probability Overview Spring 2018 2. Measurable Functions, Random Variables, and Integration Instructor: Alessandro Rinaldo Associated reading: Sec 1.5 of Ash and Dol´eans-Dade; Sec 1.3 and 1.4 of Durrett. 1 Measurable Functions 1.1 Measurable functions Measurable functions are functions that we can integrate with respect to measures in much the same way that continuous functions can be integrated \dx". Recall that the Riemann integral of a continuous function f over a bounded interval is defined as a limit of sums of lengths of subintervals times values of f on the subintervals. The measure of a set generalizes the length while elements of the σ-field generalize the intervals. Recall that a real-valued function is continuous if and only if the inverse image of every open set is open. This generalizes to the inverse image of every measurable set being measurable. Definition 1 (Measurable Functions). Let (Ω; F) and (S; A) be measurable spaces. Let f :Ω ! S be a function that satisfies f −1(A) 2 F for each A 2 A. Then we say that f is F=A-measurable. If the σ-field’s are to be understood from context, we simply say that f is measurable. Example 2. Let F = 2Ω. Then every function from Ω to a set S is measurable no matter what A is. Example 3. Let A = f?;Sg. Then every function from a set Ω to S is measurable, no matter what F is. Proving that a function is measurable is facilitated by noticing that inverse image commutes with union, complement, and intersection.
    [Show full text]
  • Lecture Notes: Harmonic Analysis
    Lecture notes: harmonic analysis Russell Brown Department of mathematics University of Kentucky Lexington, KY 40506-0027 August 14, 2009 ii Contents Preface vii 1 The Fourier transform on L1 1 1.1 Definition and symmetry properties . 1 1.2 The Fourier inversion theorem . 9 2 Tempered distributions 11 2.1 Test functions . 11 2.2 Tempered distributions . 15 2.3 Operations on tempered distributions . 17 2.4 The Fourier transform . 20 2.5 More distributions . 22 3 The Fourier transform on L2. 25 3.1 Plancherel's theorem . 25 3.2 Multiplier operators . 27 3.3 Sobolev spaces . 28 4 Interpolation of operators 31 4.1 The Riesz-Thorin theorem . 31 4.2 Interpolation for analytic families of operators . 36 4.3 Real methods . 37 5 The Hardy-Littlewood maximal function 41 5.1 The Lp-inequalities . 41 5.2 Differentiation theorems . 45 iii iv CONTENTS 6 Singular integrals 49 6.1 Calder´on-Zygmund kernels . 49 6.2 Some multiplier operators . 55 7 Littlewood-Paley theory 61 7.1 A square function that characterizes Lp ................... 61 7.2 Variations . 63 8 Fractional integration 65 8.1 The Hardy-Littlewood-Sobolev theorem . 66 8.2 A Sobolev inequality . 72 9 Singular multipliers 77 9.1 Estimates for an operator with a singular symbol . 77 9.2 A trace theorem. 87 10 The Dirichlet problem for elliptic equations. 91 10.1 Domains in Rn ................................ 91 10.2 The weak Dirichlet problem . 99 11 Inverse Problems: Boundary identifiability 103 11.1 The Dirichlet to Neumann map . 103 11.2 Identifiability . 107 12 Inverse problem: Global uniqueness 117 12.1 A Schr¨odingerequation .
    [Show full text]
  • Riemann-Liouville Fractional Calculus of Blancmange Curve and Cantor Functions
    Journal of Applied Mathematics and Computation, 2020, 4(4), 123-129 https://www.hillpublisher.com/journals/JAMC/ ISSN Online: 2576-0653 ISSN Print: 2576-0645 Riemann-Liouville Fractional Calculus of Blancmange Curve and Cantor Functions Srijanani Anurag Prasad Department of Mathematics and Statistics, Indian Institute of Technology Tirupati, India. How to cite this paper: Srijanani Anurag Prasad. (2020) Riemann-Liouville Frac- Abstract tional Calculus of Blancmange Curve and Riemann-Liouville fractional calculus of Blancmange Curve and Cantor Func- Cantor Functions. Journal of Applied Ma- thematics and Computation, 4(4), 123-129. tions are studied in this paper. In this paper, Blancmange Curve and Cantor func- DOI: 10.26855/jamc.2020.12.003 tion defined on the interval is shown to be Fractal Interpolation Functions with appropriate interpolation points and parameters. Then, using the properties of Received: September 15, 2020 Fractal Interpolation Function, the Riemann-Liouville fractional integral of Accepted: October 10, 2020 Published: October 22, 2020 Blancmange Curve and Cantor function are described to be Fractal Interpolation Function passing through a different set of points. Finally, using the conditions for *Corresponding author: Srijanani the fractional derivative of order ν of a FIF, it is shown that the fractional deriva- Anurag Prasad, Department of Mathe- tive of Blancmange Curve and Cantor function is not a FIF for any value of ν. matics, Indian Institute of Technology Tirupati, India. Email: [email protected] Keywords Fractal, Interpolation, Iterated Function System, fractional integral, fractional de- rivative, Blancmange Curve, Cantor function 1. Introduction Fractal geometry is a subject in which irregular and complex functions and structures are researched.
    [Show full text]
  • Math 35: Real Analysis Winter 2018 Chapter 2
    Math 35: Real Analysis Winter 2018 Monday 01/22/18 Lecture 8 Chapter 2 - Sequences Chapter 2.1 - Convergent sequences Aim: Give a rigorous denition of convergence for sequences. Denition 1 A sequence (of real numbers) a : N ! R; n 7! a(n) is a function from the natural numbers to the real numbers. Though it is a function it is usually denoted as a list (an)n2N or (an)n or fang (notation from the book) The numbers a1; a2; a3;::: are called the terms of the sequence. Example 2: Find the rst ve terms of the following sequences an then sketch the sequence a) in a dot-plot. n a) (−1) . n n2N b) 2n . n! n2N c) the sequence (an)n2N dened by a1 = 1; a2 = 1 and an = an−1 + an−2 for all n ≥ 3: (Fibonacci sequence) Math 35: Real Analysis Winter 2018 Monday 01/22/18 Similar as for functions from R to R we have the following denitions for sequences: Denition 3 (bounded sequences) Let (an)n be a sequence of real numbers then a) the sequence (an)n is bounded above if there is an M 2 R, such that an ≤ M for all n 2 N : In this case M is called an upper bound of (an)n. b) the sequence (an)n is bounded below if there is an m 2 R, such that m ≤ an for all n 2 N : In this case m is called a lower bound of (an)n. c) the sequence (an)n is bounded if there is an M~ 2 R, such that janj ≤ M~ for all n 2 N : In this case M~ is called a bound of (an)n.
    [Show full text]
  • Introduction to Real Analysis I
    ROWAN UNIVERSITY Department of Mathematics Syllabus Math 01.330 - Introduction to Real Analysis I CATALOG DESCRIPTION: Math 01.330 Introduction to Real Analysis I 3 s.h. (Prerequisites: Math 01.230 Calculus III and Math 03.150 Discrete Math with a grade of C- or better in both courses) This course prepares the student for more advanced courses in analysis as well as introducing rigorous mathematical thought processes. Topics included are: sets, functions, the real number system, sequences, limits, continuity and derivatives. OBJECTIVES: Students will demonstrate the ability to use rigorous mathematical thought processes in the following areas: sets, functions, sequences, limits, continuity, and derivatives. CONTENTS: 1.0 Introduction 1.1 Real numbers 1.1.1 Absolute values, triangle inequality 1.1.2 Archimedean property, rational numbers are dense 1.2 Sets and functions 1.2.1 Set relations, cartesian product 1.2.2 One-to-one, onto, and inverse functions 1.3 Cardinality 1.3.1 One-to-one correspondence 1.3.2 Countable and uncountable sets 1.4 Methods of proof 1.4.1 Direct proof 1.4.2 Contrapositive proof 1.4.3 Proof by contradiction 1.4.4 Mathematical induction 2.0 Sequences 2.1 Convergence 2.1.1 Cauchy's epsilon definition of convergence 2.1.2 Uniqueness of limits 2.1.3 Divergence to infinity 2.1.4 Convergent sequences are bounded 2.2 Limit theorems 2.2.1 Summation/product of sequences 2.2.2 Squeeze theorem 2.3 Cauchy sequences 2.2.3 Convergent sequences are Cauchy sequences 2.2.4 Completeness axiom 2.2.5 Bounded monotone sequences are
    [Show full text]