Professional Documents
Culture Documents
Fundamentals
of Abstract Analysis
Chapter 1. Sets
1-1. The notion of set 1
1-2. Equality 2
1-3. Parentheses 3
1-4. Membership 3
1-5. The empty set 3
1-6. The list notation 4
1-7. Set inclusion 5
Chapter 2. Logic
2-1. Propositions and logical connectives 8
2-2. Tautologies 10
2-3. The conditional 13
2-4. Propositional schemes and quantifiers 15
2-5. Proof and inference^ 19
2-6. Set formation 24
2-7. The set-theoretic paradoxes 25
2-8. Dummy variables 26
Chapter 3. The Set-Theoretic Machinery
3-1. Binary set combinations 29
3-2. The power set 37
3-3. Ordered pairs and direct products 37
3-4. Functions 40
3-5. Relations 49
3-6. Indexed unions and intersections 0 50
3-7. Indexed direct products 53
Chapter 4. Mathematical Configurations
4-1. Structures and configurations 55
4-2. Definitions, postulates, and theorems . . . ._;. . . . . 59
4-3. Consistency 62
4-4. The classification problem 63
Chapter 5. Equivalence
5-1. Equivalence relations and partitions . 65
5-2. Factoring functions 67
Chapter 6. Order
6-1. Order relations 70
6-2. Maps of ordered sets 73
ix
CONTENTS
Index 397