Foundations of Abstract Mathematics Paul L. Bailey Department of Mathematics, Southern Arkansas University E-mail address:
[email protected] Date: January 21, 2009 i Contents Preface vii 1. Purpose vii 2. Description of the Blocks vii 2.1. Commentary vii 2.2. Developmental Blocks vii 2.3. Orientation Blocks viii 3. Description of the Volumes viii 3.1. Foundations of Abstract Mathematics viii 3.2. Objects of Abstract Mathematics viii 3.3. Categories of Abstract Mathematics viii 4. Description of this Volume viii 4.1. Goals viii 4.2. Similar Treatments ix Chapter 1. Sets 1 1. Orientation 1 2. Axioms of Set Theory 2 3. Subsets 3 4. Set Operations 4 5. Cartesian Product 7 6. Relations 9 7. Numbers 10 8. Problems and Exercises 11 Chapter 2. Functions 13 1. Mappings 13 2. Functions 14 3. Images and Preimages 15 4. Injective and Surjective Functions 15 5. Restrictions and Constrictions 16 6. Composition of Functions 17 7. Identities and Inverses 17 8. Retractions and Sections 18 9. Monos and Epis 19 10. Inclusions and Projections 20 11. Problems and Exercises 21 Chapter 3. Collections 23 1. Collections 23 2. Power Sets 23 iii iv CONTENTS 3. Mapping Sets 24 4. Function Sets 24 5. Characteristic Functions 25 6. Products 26 7. Coproducts 27 8. Families 28 9. Partitions 29 10. Problems and Exercises 30 Chapter 4. Relations 31 1. Relations 31 2. Properties of Relations 31 3. Order Relations 32 4. Equivalence Relations 34 5. Equivalence Classes 35 6. Equivalence Relations and Partitions 35 7. Equivalence Relations and Functions 37 8.