Real Analysis
A Constructive Approach Through Interval Arithmetic
Mark Bridger
- English
- PDF
- Available on iOS & Android
Real Analysis
A Constructive Approach Through Interval Arithmetic
Mark Bridger
About This Book
Real Analysis: A Constructive Approach Through Interval Arithmetic presents a careful treatment of calculus and its theoretical underpinnings from the constructivist point of view. This leads to an important and unique feature of this book: All existence proofs are direct, so showing that the numbers or functions in question exist means exactly that they can be explicitly calculated. For example, at the very beginning, the real numbers are shown to exist because they are constructed from the rationals using interval arithmetic. This approach, with its clear analogy to scientific measurement with tolerances, is taken throughout the book and makes the subject especially relevant and appealing to students with an interest in computing, applied mathematics, the sciences, and engineering.The first part of the book contains all the usual material in a standard one-semester course in analysis of functions of a single real variable: continuity (uniform, not pointwise), derivatives, integrals, and convergence. The second part contains enough more technical materialâincluding an introduction to complex variables and Fourier seriesâto fill out a full-year course. Throughout the book the emphasis on rigorous and direct proofs is supported by an abundance of examples, exercises, and projectsâmany with hintsâat the end of every section. The exposition is informal but exceptionally clear and well motivated throughout.
Frequently asked questions
Information
Table of contents
- Cover
- Title page
- Contents
- Preface
- Acknowledgments
- Introduction
- Chapter 0. Preliminaries
- Chapter 1. The Real Numbers and Completeness
- Chapter 2. An Inverse Function Theorem and Its Applications
- Chapter 3. Limits, Sequences, and Series
- Chapter 4. Uniform Continuity
- Chapter 5. The Riemann Integral
- Chapter 6. Differentiation
- Chapter 7. Sequences and Series of Functions
- Chapter 8. The Complex Numbers and Fourier Series
- References
- Index