Contents

Preface to the Second Edition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

xi

Preface to the First Edition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xiv

To the Student . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xix
To the Instructor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xxiii
Part I

PROOFS

Informal Logic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Statements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 Relations Between Statements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4 Valid Arguments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.5 Quantifiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3
3
4
15
25
34

Strategies for Proofs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.1 Mathematical ProofsWhat They Are and Why We Need Them . . .
2.2 Direct Proofs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 Proofs by Contrapositive and Contradiction . . . . . . . . . . . . . . . . . . . . .
2.4 Cases, and If and Only If . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5 Quantifiers in Theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6 Writing Mathematics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

47
47
53
57
64
70
80

Part II
3

FUNDAMENTALS

Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 SetsBasic Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

91
91
93

viii

Contents

3.3
3.4
3.5

Set Operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101

Families of Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
Axioms for Set Theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115

Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1 Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2 Image and Inverse Image . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3 Composition and Inverse Functions . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4 Injectivity, Surjectivity and Bijectivity . . . . . . . . . . . . . . . . . . . . . . . . .
4.5 Sets of Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

129
129
140
146
154
164

Relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.1 Relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2 Congruence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.3 Equivalence Relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

171
171
177
185

Finite Sets and Infinite Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2 Properties of the Natural Numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.3 Mathematical Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.4 Recursion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.5 Cardinality of Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.6 Finite Sets and Countable Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.7 Cardinality of the Number Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . .

195
195
196
201
212
221
231
240

Part III

EXTRAS

Selected Topics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.1 Binary Operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.2 Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.3 Homomorphisms and Isomorphisms . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.4 Partially Ordered Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.5 Lattices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.6 Counting: Products and Sums . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.7 Counting: Permutations and Combinations . . . . . . . . . . . . . . . . . . . . .
7.8 Limits of Sequences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

251
251
257
265
270
280
288
297
312

Explorations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.2 Greatest Common Divisors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.3 Divisibility Tests . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.4 Real-Valued Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.5 Iterations of Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.6 Fibonacci Numbers and Lucas Numbers . . . . . . . . . . . . . . . . . . . . . . .
8.7 Fuzzy Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

323
323
324
326
326
327
328
330

Contents

8.8

ix

You Are the Professor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 332

Appendix: Properties of Numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 341

References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 351

http://www.springer.com/978-1-4419-7126-5