Preface |
|
ix | |
|
Chapter 1 Proofs, Sets, Functions, and Induction |
|
|
1 | (28) |
|
|
1 | (9) |
|
1.1.1 Important Sets in Mathematics |
|
|
1 | (2) |
|
1.1.2 How to Prove an Equation |
|
|
3 | (1) |
|
1.1.3 How to Prove an Inequality |
|
|
4 | (2) |
|
1.1.4 Important Properties of Absolute Value |
|
|
6 | (1) |
|
|
7 | (3) |
|
|
10 | (5) |
|
1.2.1 Basic Definitions of Set Theory |
|
|
10 | (1) |
|
|
10 | (1) |
|
1.2.3 Indexed Families of Sets |
|
|
11 | (1) |
|
1.2.4 Generalized Unions and Intersections |
|
|
12 | (2) |
|
1.2.5 Unindexed Families of Sets |
|
|
14 | (1) |
|
|
15 | (8) |
|
1.3.1 Real-Valued Functions |
|
|
16 | (1) |
|
1.3.2 Injections and Surjections |
|
|
16 | (1) |
|
1.3.3 Composition of Functions |
|
|
17 | (1) |
|
|
18 | (1) |
|
1.3.5 Functions Acting on Sets |
|
|
19 | (4) |
|
1.4 MATHEMATICAL INDUCTION |
|
|
23 | (6) |
|
1.4.1 The Well-Ordering Principle |
|
|
23 | (1) |
|
1.4.2 Proof by Mathematical Induction |
|
|
23 | (6) |
|
Chapter 2 The Real Numbers |
|
|
29 | (26) |
|
|
29 | (1) |
|
2.2 R Is An Ordered Field |
|
|
30 | (6) |
|
2.2.1 The Absolute Value Function |
|
|
33 | (3) |
|
2.3 The Completeness Axiom |
|
|
36 | (11) |
|
2.3.1 Proofs on the Supremum of a Set |
|
|
39 | (1) |
|
2.3.2 Proofs on the Infimum of a Set |
|
|
40 | (3) |
|
2.3.3 Alternative Proof Strategies |
|
|
43 | (4) |
|
2.4 The Archimedean Property |
|
|
47 | (3) |
|
2.4.1 The Density of the Rational Numbers |
|
|
48 | (2) |
|
2.5 Nested Intervals Theorem |
|
|
50 | (5) |
|
|
51 | (4) |
|
|
55 | (46) |
|
|
56 | (12) |
|
3.2 Limit Theorems For Sequences |
|
|
68 | (7) |
|
3.2.1 Algebraic Limit Theorems |
|
|
68 | (4) |
|
3.2.2 The Squeeze Theorem |
|
|
72 | (1) |
|
3.2.3 Order Limit Theorems |
|
|
73 | (2) |
|
|
75 | (4) |
|
|
79 | (6) |
|
3.4.1 The Monotone Subsequence Theorem |
|
|
83 | (2) |
|
3.5 Bolzano-Weierstrass Theorems |
|
|
85 | (2) |
|
|
87 | (4) |
|
|
91 | (2) |
|
3.8 Limit Superior and Limit Inferior |
|
|
93 | (8) |
|
3.8.1 The Limit Superior of a Bounded Sequence |
|
|
93 | (3) |
|
3.8.2 The Limit Inferior of a Bounded Sequence |
|
|
96 | (1) |
|
3.8.3 Connections and Relations |
|
|
97 | (4) |
|
|
101 | (28) |
|
|
101 | (9) |
|
4.2 Continuity and Sequences |
|
|
110 | (2) |
|
|
112 | (7) |
|
4.4 Consequences of Continuity |
|
|
119 | (5) |
|
4.4.1 The Extreme Value Theorem |
|
|
119 | (1) |
|
4.4.2 The Intermediate Value Theorem |
|
|
120 | (4) |
|
|
124 | (5) |
|
Chapter 5 Differentiation |
|
|
129 | (22) |
|
|
129 | (6) |
|
5.1.1 The Rules of Differentiation |
|
|
131 | (2) |
|
|
133 | (2) |
|
5.2 The Mean Value Theorem |
|
|
135 | (12) |
|
|
139 | (4) |
|
5.2.2 The Intermediate Value Theorem for Derivatives |
|
|
143 | (1) |
|
5.2.3 Inverse Function Theorems |
|
|
144 | (3) |
|
|
147 | (4) |
|
Chapter 6 Riemann Integration |
|
|
151 | (38) |
|
|
151 | (11) |
|
6.1.1 Partitions and Darboux Sums |
|
|
152 | (1) |
|
6.1.2 Basic Results Regarding Darboux Sums |
|
|
153 | (3) |
|
6.1.3 The Definition of the Riemann Integral |
|
|
156 | (2) |
|
6.1.4 A Necessary and Sufficient Condition |
|
|
158 | (4) |
|
6.2 Properties of the Riemann Integral |
|
|
162 | (8) |
|
6.2.1 Linearity Properties |
|
|
162 | (3) |
|
|
165 | (1) |
|
6.2.3 Integration over Subintervals |
|
|
166 | (2) |
|
6.2.4 The Composition Theorem |
|
|
168 | (2) |
|
6.3 Families of Integrable Functions |
|
|
170 | (7) |
|
6.3.1 Continuous Functions |
|
|
170 | (2) |
|
|
172 | (1) |
|
6.3.3 Functions of Bounded Variation |
|
|
172 | (5) |
|
6.4 The Fundamental Theorem of Calculus |
|
|
177 | (12) |
|
6.4.1 Evaluating Riemann Integrals |
|
|
177 | (1) |
|
6.4.2 Continuous Functions have Antiderivatives |
|
|
178 | (2) |
|
6.4.3 Techniques of Antidifferentiation |
|
|
180 | (4) |
|
|
184 | (5) |
|
Chapter 7 Infinite Series |
|
|
189 | (24) |
|
7.1 Convergence and Divergence |
|
|
189 | (7) |
|
|
196 | (9) |
|
|
196 | (2) |
|
|
198 | (1) |
|
|
199 | (1) |
|
7.2.4 Absolute Convergence |
|
|
200 | (1) |
|
7.2.5 The Ratio and Root Tests |
|
|
201 | (4) |
|
7.3 Regrouping and Rearranging Terms of a Series |
|
|
205 | (8) |
|
|
206 | (1) |
|
|
207 | (6) |
|
Chapter 8 Sequences and Series of Functions |
|
|
213 | (22) |
|
8.1 Pointwise and Uniform Convergence |
|
|
213 | (5) |
|
8.1.1 Sequences of Functions |
|
|
213 | (3) |
|
8.1.2 Series of Functions |
|
|
216 | (2) |
|
8.2 Preservation Theorems |
|
|
218 | (6) |
|
|
224 | (6) |
|
|
230 | (5) |
|
Appendix A Proof of the Composition Theorem |
|
|
235 | (4) |
|
Appendix B Topology on the Real Numbers |
|
|
239 | (14) |
|
|
239 | (5) |
|
B.1.1 Continuity Revisited |
|
|
241 | (1) |
|
B.1.2 Accumulation Points Revisited |
|
|
242 | (2) |
|
|
244 | (3) |
|
B.3 The Heine-Borel Theorem |
|
|
247 | (6) |
|
B.3.1 The Finite Intersection Property |
|
|
249 | (1) |
|
|
249 | (4) |
|
Appendix C Review of Proof and Logic |
|
|
253 | (8) |
Bibliography |
|
261 | (2) |
List of Symbols |
|
263 | (2) |
Index |
|
265 | |