A First Course in Mathematical Analysis

by David Alexander Brannan

Overview

Mathematical Analysis (often called Advanced Calculus) is generally found by students to be one of their hardest courses in Mathematics. This text uses the so-called sequential approach to continuity, differentiability and integration to make it easier to understand the subject.Topics that are generally glossed over in the standard Calculus courses are given careful study here. For example, what exactly is a 'continuous' function? And how exactly can one give a careful definition of 'integral'? The latter question is often one of the mysterious points in a Calculus course - and it is quite difficult to give a rigorous treatment of integration! The text has a large number of diagrams and helpful margin notes; and uses many graded examples and exercises, often with complete solutions, to guide students through the tricky points. It is suitable for self-study or use in parallel with a standard university course on the subject.

Product Details

ISBN-13:	9780521684248
Publisher:	Cambridge University Press
Publication date:	08/17/2006
Edition description:	Revised Edition
Pages:	468
Product dimensions:	7.44(w) x 9.72(h) x 0.94(d)

About the Author

David Brannan is Professor, Dean and Director of Studies of the Maths & Computing Faculty at the Open University

Read an Excerpt

Cambridge University Press
0521864399 - A First Course in Mathematical Analysis - by David Alexander Brannan
Excerpt

1 Numbers

In this book we study the properties of real functions defined on intervals of the real line (possibly the whole real line) and whose image also lies on the real line. In other words, they map ℝ into ℝ. Our work will be from a very precise point of view in order to establish many of the properties of such functions which seem intuitively obvious; in the process we will discover that some apparently true properties are in fact not necessarily true!

The types of functions that we shall examine include:

• exponential functions, such as x ↦ a^x, where a, x ∈ ℝ,
• trigonometric functions, such as x ↦ sinx, where x ∈ ℝ,
• root functions, such as x ↦ √x, where x ≥ 0.

The types of behaviour that we shall examine include continuity, differentiability and integrability – and we shall discover that functions with these properties can be used in a number of surprising applications.

However, to put our study of such functions on a secure foundation, we need first to clarify our ideas of the real numbers themselves andtheir properties. In particular, we need to devote some time to the manipulation of inequalities, which play a key role throughout the book.

---

For example, what exactly is the number √2?

---

In Section 1.1, we start by revising the properties of rational numbers and their decimal representation. Then we introduce the real numbers as infinite decimals, and describe the difficulties involved in doing arithmetic with such decimals.

In Section 1.2, we revise the rules for manipulating inequalities and show how to find the solution set of an inequality involving a real number, x, by applying the rules. We also explain how to deal with inequalities which involve modulus signs.

In Section 1.3, we describe various techniques for proving inequalities, including the very important technique of Mathematical Induction.

The concept of a least upper bound, which is of great importance in Analysis, is introduced in Section 1.4, and we discuss the Least Upper Bound Property of ℝ.

Finally, in Section 1.5, we describe how least upper bounds can be used to define arithmetical operations in ℝ.

---

You may omit this section at a first reading.

---

Even though you may be familiar with much of this material we recommend that you read through it, as we give the system of real numbers a more careful treatment than you may have met before. The material on inequalities and least upper bounds is particularly important for later on.

In later chapters we shall define exactly what the numbers π and e are, and find various ways of calculating them. But, first, we examine numbers in general.

1.1 Real numbers

We start our study of the real numbers with the rational numbers, and investigate their decimal representations, then we proceed to the irrational numbers.

1.1.1 Rational numbers

We assume that you are familiar with the set of natural numbers

Display matter not available in HTML version

and with the set of integers

Display matter not available in HTML version

---

Note that 0 is not a natural number.

---

The set of rational numbers consists of all fractions (or ratios of integers)

Display matter not available in HTML version

Remember that each rational number has many different representations as a ratio of integers; for example

Display matter not available in HTML version

We also assume that you are familiar with the usual arithmetical operations of addition, subtraction, multiplication and division of rational numbers.

It is often convenient to represent rational numbers geometrically as points on a number line. We begin by drawing a line and marking on it points corresponding to the integers 0 and 1. If the distance between 0 and 1 is taken as a unit of length, then the rationals can be arranged on the line with positive rationals to the right of 0 and negative rationals to the left.

Image not available in HTML version

For example, the rational 3/2 is placed at the point which is one-half of the way from 0 to 3.

This means that rationals have a natural order on the number-line. For example, 19/22 lies to the left of 7/8 because

Display matter not available in HTML version

If a lies to the left of b on the number-line, then

Display matter not available in HTML version

and we write

Display matter not available in HTML version

For example

Display matter not available in HTML version

We write a ≤ b, or b ≥ a, if either a < b or a = b.

Problem 1 Arrange the following rational numbers in order:

Display matter not available in HTML version

Problem 2 Show that between any two distinct rational numbers there is another rational number.

1.1.2 Decimal representation of rational numbers

The decimal system enables us to represent all the natural numbers using only the ten integers

Display matter not available in HTML version

which are called digits. We now remind you of the basic facts about the representation of rational numbers by decimals.

Definition A decimal is an expression of the form Display matter not available in HTML version where a0 is a non-negative integer and a1, a2, a3, … are digits.

---

For example

Display matter not available in HTML version

---

If only a finite number of the digits a₁, a₂, a₃, … are non-zero, then the decimal is called terminating or finite, and we usually omit the tail of 0s.

---

For example,

Display matter not available in HTML version

---

Terminating decimals are used to represent rational numbers in the following way

Display matter not available in HTML version

---

For example

Display matter not available in HTML version

---

It can be shown that any fraction whose denominator contains only powers of 2 and/or 5 (such as 20 = 2² × 5) can be represented by such a terminating decimal, which can be found by long division.

However, if we apply long division to many other rationals, then the process of long division never terminates and we obtain a non-terminating or infinite decimal. For example, applying long division to 1/3 gives 0.333 …, and for 19/22 we obtain 0.86363 ….

Problem 3  Apply long division to 1/7 and 2/13 to find the corresponding decimals.

These non-terminating decimals, which are obtained by applying the long division process, have a certain common property. All of them are recurring; that is, they have a recurring block of digits, and so can be written in shorthand form, as follows:

Display matter not available in HTML version

---

Another commonly used notation is

Display matter not available in HTML version

---

It is not hard to show, whenever we apply the long division process to a fraction p/q, that the resulting decimal is recurring. To see why we notice that there are only q possible remainders at each stage of the division, and so one of these remainders must eventually recur. If the remainder 0 occurs, then the resulting decimal is, of course, terminating; that is, it ends in recurring 0s.

Non-terminating recurring decimals which arise from the long division of fractions are used to represent the corresponding rational numbers. This representation is not quite so straight-forward as for terminating decimals, however. For example, the statement

Display matter not available in HTML version

can be made precise only when we have introduced the idea of the sum of a convergent infinite series. For the moment, when we write the statement 1/3 =  0.3¯ we mean simply that the decimal 0.3¯ arises from 1/3 by the long division process.

---

We return to this topic in Chapter 3.

---

The following example illustrates one way of finding the rational number with a given decimal representation.

Example 1    Find the rational number (expressed as a fraction) whose decimal representation is 0.863¯¯.

Solution    First we find the fraction x such that x =  0.63¯¯.

If we multiply both sides of this equation by 10² (because the recurring block has length 2), then we obtain

Display matter not available in HTML version

Hence

Display matter not available in HTML version

Thus

Display matter not available in HTML version

□

The key idea in the above solution is that multiplication of a decimal by 10^k moves the decimal point k places to the right.

Problem 4 Using the above method, find the fractions whose decimal representations are:

(a) 0.231¯¯¯;   (b) 2.281¯¯.

The decimal representation of rational numbers has the advantage that it enables us to decide immediately which of two distinct positive rational numbers is the greater. We need only examine their decimal representations and notice the first place at which the digits differ. For example, to order 7/8 and 19/22 we write

Display matter not available in HTML version

and so

Display matter not available in HTML version

Problem 5 Find the first two digits after the decimal point in the decimal representations of 17/20 and 45/53, and hence determine which of these two rational numbers is the greater.

Warning Decimals which end in recurring 9s sometimes arise as alternative representations for terminating decimals. For example

Display matter not available in HTML version

---

Whenever possible, we avoid using the form of a decimal which ends in recurring 9s.

---

You may find this rather alarming, but it is important to realise that this is a matter of convention. We wish to allow the decimal 0.999 … to represent a number x, so x must be less than or equal to 1 and greater than each of the numbers

Display matter not available in HTML version

The only rational with these properties is 1.

1.1.3 Irrational numbers

One of the surprising mathematical discoveries made by the Ancient Greeks was that the system of rational numbers is not adequate to describe all the magnitudes that occur in geometry. For example, consider the diagonal of a square of side 1. What is its length? If the length is x, then, by Pythagoras’ Theorem, x must satisfy the equation x² = 2. However, there is no rational number which satisfies this equation.

---

Image not available in HTML version

---

Theorem 1 There is no rational number x such that x2 = 2.

---

Display matter not available in HTML version

---

Proof Suppose that such a rational number x exists. Then we can write x = p/q. By cancelling, if necessary, we may assume that p and q have no common factor. The equation x² = 2 now becomes

Display matter not available in HTML version

---

This is a proof by contradiction.

---

Now, the square of an odd number is odd, and so p cannot be odd. Hence p is even, and so we can write p = 2r, say. Our equation now becomes

Display matter not available in HTML version

---

For

Display matter not available in HTML version

---

Reasoning as before, we find that q is also even.

Since p and q are both even, they have a common factor 2, which contradicts our earlier statement that p and q have no common factors.

Arguing from our original assumption that x exists, we have obtained two contradictory statements. Thus, our original assumption must be false. In other words, no such x exists.

■

Problem 6 By imitating the above proof, show that there is no rational number x such that x³ = 2.

Since we want equations such as x² = 2 and x³ = 2 to have solutions, we must introduce new numbers which are not rational numbers. We denote these new numbers by √2 and ³√2, respectively; thus (√2)² =  2 and (³√2)³ =  2. Of course, we must introduce many other new numbers, such as √3, ⁵√11, and so on. Indeed, it can be shown that, if m, n are natural numbers and x^m = n has no integer solution, then ^m√n cannot be rational. A number which is not rational is called irrational.

---

The case m = 2 is treated in Exercise 5 for this section in Section 1.6.

---

There are many other mathematical quantities which cannot be described exactly by rational numbers. For example, the number π which denotes the area of a disc of radius 1 (or half the length of the perimeter of such a disc) is irrational, as is the number e.

---

Lambert proved that π is irrational in 1770.

---

It is natural to ask whether irrational numbers, such as √2 and π, can be represented as decimals. Using your calculator, you can check that (1.41421356)² is very close to 2, and so 1.41421356 is a very good approximate value for √2. But is there a decimal which represents √2 exactly? If such a decimal exists, then it cannot be recurring, because all the recurring decimals correspond to rational numbers.

---

In fact

Display matter not available in HTML version

---

In fact, it is possible to represent all the irrational numbers mentioned so far by non-recurring decimals. For example, there are non-recurring decimals such that

Display matter not available in HTML version

---

We prove that √2 has a decimal representation in Section 1.5.

---

It is also natural to ask whether non-recurring decimals, such as

Display matter not available in HTML version

represent irrational numbers. In fact, a decimal corresponds to a rational number if and only if it is recurring; so a non-recurring decimal must correspond to an irrational number.

We may summarise this as:

• recurring decimal ⇔ rational number
• non-recurring decimal ⇔ irrational number

1.1.4 The real number system

Taken together, the rational numbers (recurring decimals) and irrational numbers (non-recurring decimals) form the set of real numbers, denoted by ℝ.

As with rational numbers, we can determine which of two real numbers is greater by comparing their decimals and noticing the first pair of corresponding digits which differ. For example

Display matter not available in HTML version

---

When comparing decimals in this way, we do not allow either decimal to end in recurring 9s.

---

We now associate with each irrational number a point on the number-line. For example, the irrational number x = 0.123456789101112 … satisfies each of the inequalities

Display matter not available in HTML version

We assume that there is a point on the number-line corresponding to x, which lies to the right of each of the (rational) numbers 0.1, 0.12, 0.123 …, and to the left of each of the (rational) numbers 0.2, 0.13, 0.124, ….

Image not available in HTML version

As usual, negative real numbers correspond to points lying to the left of 0; and the ‘number-line’, complete with both rational and irrational points, is called the real line.

Image not available in HTML version

There is thus a one–one correspondence between the points on the real line and the set ℝ of real numbers (or decimals).

We now state several properties of ℝ, with which you will be already familiar, although you may not have met their names before. These properties are used frequently in Analysis, and we do not always refer to them explicitly by name.

Order Properties of ℝ Trichotomy Property If a, b ∈ ℝ, then exactly one of the following inequalities holds Display matter not available in HTML version Transitive Property If a, b, c ∈ ℝ, then Display matter not available in HTML version Archimedean Property If a ∈ ℝ, then there is a positive integer n such that Display matter not available in HTML version Density Property If a, b ∈ ℝ and a < b, then there is a rational number x and an irrational number y such that Display matter not available in HTML version

---

The first three of these properties are almost self-evident, but the Density Property is not so obvious.

---

Remark

The Archimedean Property is sometimes expressed in the following equivalent way: for any positive real number a, there is a positive integer n such that 1/n < a.

The following example illustrates how we can prove the Density Property.

Example 2 Find a rational number x and an irrational number y satisfying

Display matter not available in HTML version

where a =  0.123¯ and b =  0.12345 ….

Solution The two decimals

Display matter not available in HTML version

differ first at the fourth digit. If we truncate b after this digit, we obtain the rational number x = 0.1234, which satisfies the requirement that a < x < b.

To find an irrational number y between a and b, we attach to x a (sufficiently small) non-recurring tail such as 010010001 … to give y = 0.1234|010010001 …. It is then clear that y is irrational (because its decimal is non-recurring) and that a < y < b.

□

Problem 7 Find a rational number x and an irrational number y such that a < x < b and a < y < b, where a = 0.3¯ and b = 0.3401.

Theorem 2 Density Property of ℝ If a, b ∈ ℝ and a < b, then there is a rational number x and an irrational number y such that Display matter not available in HTML version

---

You may omit the following proof on a first reading.

---

Proof For simplicity, we assume that a, b ≥ 0. So, let a and b have decimal representations

Display matter not available in HTML version

where we arrange that a does not end in recurring 9s, whereas b does not terminate (this latter can be arranged by replacing a terminating representation by an equivalent representation that ends in recurring 9s).

---

Here a₀, b₀ are non-negative integers, and a₁, b₁, a₂, b₂, … are digits.

---

Since a < b, there must be some integer n such that

Display matter not available in HTML version

Then x = a₀ · a₁a₂a₃ … a_n−1b_n is rational, and a < x < b as required.

Finally, since x < b, it follows that we can attach a sufficiently small non-recurring tail to x to obtain an irrational number y for which a < y < b.

■

Remark

One consequence of the Density Property is that between any two real numbers there are infinitely many rational numbers and infinitely many irrational numbers.

Problem 8 Prove that between any two real numbers a and b there are at least two distinct rational numbers.

---

A proof of the previous remark would involve ideas similar to those involved in tackling Problem 8.

---

1.1.5 Arithmetic in ℝ

We can do arithmetic with recurring decimals by first converting the decimals to fractions. However, it is not obvious how to perform arithmetical operations with non-recurring decimals.

Assuming that we can represent √2 and π by the non-recurring decimals

Display matter not available in HTML version

can we also represent the sum √2 + π and the product √2 × π as decimals? Indeed, what do we mean by the operations of addition and multiplication when non-recurring decimals (irrationals) are involved, and do these operations satisfy the same properties as addition and multiplication of rationals?

It would take many pages to answer these questions fully. Therefore, we shall assume that it is possible to define all the usual arithmetical operations with decimals, and that they do satisfy the usual properties. For definiteness, we now list these properties.

Arithmetic in ℝ
Addition		Multiplication
A1	If a, b ∈ ℝ, then a + b ∈ ℝ.	M1	If a, b ∈ ℝ, then a × b ∈ ℝ.
A2	If a ∈ ℝ, then a + 0 = 0 + a = a.	M2	If a ∈ ℝ, then a × 1 = 1 × a = a.
A3	If a ∈ ℝ, then there is a number − a ∈ ℝ such that a + (− a) = (− a) + a = 0.	M3	If a ∈ ℝ − {0}, then there is a number a− 1 ∈ ℝ such that a × a− 1 = a− 1 × a = 1.
A4	If a, b, c ∈ ℝ, then (a + b) + c = a + (b + c).	M4	If a, b, c ∈ ℝ, then (a × b) × c = a × (b × c).
A5	If a, b ∈ ℝ, then a + b = b + a.	M5	If a, b ∈ ℝ, then a × b = b × a.
D	If a, b, c ∈ ℝ, then a × (b + c) = a × b + a × c.

---

CLOSURE

IDENTITY

INVERSES

ASSOCIATIVITY

COMMUTATIVITY

DISTRIBUTATIVITY

---

To summarise the contents of this table:

• ℝ is an Abelian group under the operation of addition +;
• ℝ − {0} is an Abelian group under the operation of multiplication ×;
• These two group structures are linked by the Distributive Property.

---

Properties A1–A5

Properties M1–M5

Property D

---

It follows from the above properties that we can perform addition, subtraction (where a − b = a + (− b)), multiplication and division (where a/b = a × b⁻¹) in ℝ, and that these operations satisfy all the usual properties.

---

Any system satisfying the properties listed in the table is called a field. Both ℚ and ℝ are fields.

---

Furthermore, we shall assume that the set ℝ contains the nth roots and rational powers of positive real numbers, with their usual properties. In Section 1.5 we describe one way of justifying the existence of nth roots.

1.2 Inequalities

Much of Analysis is concerned with inequalities of various kinds; the aim of this section and the next section is to provide practice in the manipulation of inequalities.

1.2.1 Rearranging inequalities

The fundamental rule, upon which much manipulation of inequalities is based, is that the statement a < b means exactly the same as the statement b − a > 0. This fact can be stated concisely in the following way:

Rule 1 For any a, b ∈ ℝ, a < b ⇔ b − a > 0.

Put another way, the inequalities a < b and b − a > 0 are equivalent.

---

Recall that the symbol ‘⇔’ means ‘if and only if’ or ‘implies and is implied by’.

---

There are several other standard rules for rearranging a given inequality into an equivalent form. Each of these can be deduced from our first rule above. For example, we obtain an equivalent inequality by adding the same expression to both sides.

Rule 2 For any a, b, c ∈ ℝ,  a < b ⇔ a + c < b + c.

Another way to rearrange an inequality is to multiply both sides by a non-zero expression, making sure to reverse the inequality if the expression is negative.

Rule 3  For any a, b ∈ ℝ and any c > 0, a < b ⇔ ac < bc; For any a, b ∈ ℝ and any c < 0, a < b ⇔ ac > bc.

---

For example

Display matter not available in HTML version

---

Sometimes the most effective way to rearrange an inequality is to take reciprocals. However, in this case, both sides of the inequality should be positive, and the direction of the inequality has to be reversed.

Rule 4 (Reciprocal Rule) For any positive a, b ∈ ℝ, a < b ⇔ 1/a > 1/b.

---

For example

Display matter not available in HTML version

---

Some inequalities can be simplified only by taking powers. However, in order to do this, both sides must be non-negative and must be raised to a positive power.

Rule 5 (Power Rule) For any non-negative a, b ∈ ℝ, and any p > 0, a < b ⇔ ap < bp.

---

For example

Display matter not available in HTML version

---

For positive integers p, Rule 5 follows from the identity

Display matter not available in HTML version

---

We shall discuss the meaning of non-integer powers in Section 1.5.

---

thus, since the right-hand bracket is positive, we have

Display matter not available in HTML version

which is equivalent to our desired result.

---

For example,

Display matter not available in HTML version

---

Remark

There are corresponding versions of Rules 1–5 in which the strict inequality a < b is replaced by the weak inequality a ≤ b.

Problem 1 State (without proof) the versions of Rules 1–5 for weak inequalities.

We shall give one more rule for rearranging inequalities in Sub-section 1.2.3.

1.2.2 Solving inequalities

Solving an inequality involving an unknown real number x means determining those values of x for which the given inequality holds; that is, finding the solution set of the inequality. We can often do this by rewriting the inequality in an equivalent, but simpler form, using the rules given in the last sub-section.

---

The solution set is the set of those values of x for which the inequality holds.

---

---

© Cambridge University Press

Table of Contents

Preface; Introduction: calculus and analysis; 1. Numbers; 2. Sequences; 3. Series; 4. Continuity; 5. Limits and continuity; 6. Differentiation; 7. Integration; 8. Power series; Appendix 1. Sets, functions and proofs; Appendix 2. Standard derivatives and primitives; Appendix 3. The first 1,000 decimal places of the square root of 2, e and pi; Appendix 4. Solutions to the problems; Index.