the emants of real analysis, second edition (1976) Questions & Answers

The primary goal of Bartle's Elements of Real Analysis is to provide a rigorous, axiomatic, and comprehensive introduction to the fundamental concepts of real analysis. It aims to develop the theory of real numbers, sequences, limits, continuity, differentiation, and integration with a strong emphasis on precise definitions and formal proofs, preparing students for more advanced mathematics.

The book establishes the properties of real numbers by assuming the existence of a set R with certain axioms: the algebraic properties (field axioms), the order properties, and crucially, the Completeness Property (Least Upper Bound Property). It then rigorously derives other fundamental properties and theorems based on these axioms, rather than constructing the real numbers from, for example, rational numbers.

The Completeness Property of R (every non-empty set bounded above has a supremum) is profoundly significant. It distinguishes the real numbers from the rational numbers and is essential for proving many core theorems in real analysis, such as the Monotone Convergence Theorem, the Bolzano-Weierstrass Theorem, the existence of square roots, and the convergence of Cauchy sequences. Without it, many fundamental results would not hold.

Bartle defines the limit of a function f at a point c as L if, for every positive number ε (no matter how small), there exists a positive number δ such that if x is within δ distance of c (but not equal to c) and within the domain of f, then f(x) is within ε distance of L. This rigorous definition formalizes the intuitive idea that f(x) gets arbitrarily close to L as x gets arbitrarily close to c.

A sequence is convergent if its terms approach a unique real number (its limit) as the index goes to infinity, formally defined using epsilon-N. The Cauchy Criterion states that a sequence of real numbers is convergent if and only if it is a Cauchy sequence. A Cauchy sequence is one where its terms get arbitrarily close to each other as the sequence progresses, meaning for any ε > 0, there's an index after which any two terms are less than ε apart.

Bartle defines a function f to be continuous on an interval I if it is continuous at every point c within that interval. Continuity at a point c is defined using the epsilon-delta criterion: for every ε > 0, there exists a δ > 0 such that for all x in the domain of f satisfying |x - c| < δ, we have |f(x) - f(c)| < ε. This extends the point-wise definition to the entire interval.

In Bartle's context for R, a set is compact if and only if it is closed and bounded (Heine-Borel Theorem). Compact sets are important because continuous functions on compact sets exhibit desirable properties. For instance, a continuous function on a compact set is uniformly continuous, and it attains its absolute maximum and minimum values (Extreme Value Theorem). These properties are crucial for many proofs and applications in analysis.

The Intermediate Value Theorem states that if a function f is continuous on a closed interval [a, b], then it takes on every value between f(a) and f(b). In simpler terms, to go from point (a, f(a)) to point (b, f(b)) without lifting the pen (due to continuity), the function's graph must cross every horizontal line between y=f(a) and y=f(b) at least once. It guarantees the existence of solutions to equations.

The Extreme Value Theorem states that if a function f is continuous on a closed and bounded interval [a, b], then f attains an absolute maximum value and an absolute minimum value on that interval. The conditions are crucial: the function must be continuous, and the domain must be a closed and bounded interval. If any of these conditions are not met, the theorem does not guarantee the existence of such extreme values.

Bartle introduces differentiation by defining the derivative of a function f at a point c as the limit of the difference quotient (f(x) - f(c))/(x - c) as x approaches c. He then rigorously explores the properties of differentiable functions, including rules for sums, products, quotients, and the chain rule, all based on this limit definition. The geometric interpretation as the slope of the tangent line is also discussed.

The Fundamental Theorem of Calculus (FTC) is presented in two parts by Bartle, establishing the inverse relationship between differentiation and integration. The first part states that if f is continuous, then the integral function F(x) = ∫a^x f(t) dt is differentiable, and F'(x) = f(x). The second part provides a method for evaluating definite integrals: ∫a^b f(x) dx = F(b) - F(a), where F is any antiderivative of f.

Bartle defines the Riemann integral of a bounded function f on a closed interval [a, b] using upper and lower Riemann sums. He partitions the interval, forms upper and lower sums based on the supremum and infimum of f on each subinterval, and then defines the upper and lower integrals. A function is Riemann integrable if its upper integral equals its lower integral, with this common value being the Riemann integral.

Infinite series play a significant role in Bartle's book, building upon the theory of sequences. He defines convergence of a series in terms of the convergence of its sequence of partial sums. The book covers various convergence tests (e.g., comparison, ratio, root, integral tests), absolute and conditional convergence, and properties of power series, illustrating their importance in representing functions and solving problems.

Bartle clearly distinguishes between pointwise and uniform convergence. Pointwise convergence means that for each fixed x in the domain, the sequence of function values (fn(x)) converges to f(x). Uniform convergence is a stronger condition: for any ε > 0, there exists an N (independent of x) such that for all n ≥ N and all x in the domain, |fn(x) - f(x)| < ε. Uniform convergence preserves continuity, differentiability, and integrability, unlike pointwise convergence.

The Bolzano-Weierstrass Theorem states that every bounded sequence of real numbers has a convergent subsequence. It is crucial because it guarantees the existence of convergent subsequences even if the original sequence does not converge. This theorem is fundamental in proving other key results, such as the Heine-Borel Theorem and the Extreme Value Theorem, highlighting the 'compactness' property of closed and bounded sets in R.

Bartle defines open sets using the concept of interior points: a set is open if every point in the set is an interior point (meaning it has an epsilon-neighborhood entirely contained within the set). Closed sets are defined as the complements of open sets. He also characterizes closed sets as those containing all their limit points. These topological concepts are foundational for understanding continuity, compactness, and connectedness.

Bartle's Elements of Real Analysis typically expects readers to have a solid background in calculus (single-variable) and a certain level of mathematical maturity. This includes familiarity with basic set theory, functions, limits (intuitively), and a willingness to engage with rigorous proofs. While not explicitly requiring a 'proofs' course, it assumes the reader is ready to learn and construct formal mathematical arguments.

Proofs are central to Bartle's approach. The book is designed to teach students how to construct and understand rigorous mathematical arguments. Every definition, theorem, and property is accompanied by a detailed proof, emphasizing logical deduction from axioms and previously established results. This focus on proof-writing is essential for developing a deep and precise understanding of the subject matter.

Bartle's Elements of Real Analysis typically does not delve into the explicit construction of the real numbers (e.g., via Dedekind cuts or Cauchy sequences of rationals). Instead, it assumes the existence of the set of real numbers R, endowed with its fundamental algebraic, order, and completeness properties (axioms). The book then proceeds to rigorously develop all subsequent concepts based on these assumed properties of R.

Students often find the rigorous, proof-based approach challenging, especially the extensive use of epsilon-delta arguments for limits and continuity. The abstract nature of concepts like compactness and uniform convergence, and the need to precisely articulate mathematical arguments, can be difficult. Overcoming the reliance on intuition from calculus and embracing formal logic is a common hurdle.