Real Analysis: A Constructive Approach Through Interval Arithmetic cover image

Real Analysis: A Constructive Approach Through Interval Arithmetic

By Mark Bridger
American Mathematical Society; Reprint edition


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.

Related books

Global Analysis and Harmonic Analysis
Jean Pierre Bourguignon, Thomas Branson, Oussama Hijazi (Ed.)
Exercises in Analysis: Part 2: Nonlinear Analysis
Leszek Gasinski, Nikolaos S. Papageorgiou
Michael Růžička
Fourier analysis on groups and partial wave analysis
Robert Hermann
Analysis I
Herbert Amann, Joachim Escher
Etwas Analysis: Eine Einführung in die eindimensionale Analysis
Jürgen Pöschel (auth.)