Wet eee IVa ey A TRANSITION TO ADVANCED MATHEMATICS FIFTH EDITION DOUGLAS SMITH MAURICE EGGEN RICHARD ST. ANDREINSTRUCTOR’S SOLUTIONS MANUAL FOR A Transition to Advanced Mathematics FIETH EDITION Douglas Smith University of North Carolina at Wilmington Maurice Eggen Trinity University Richard St. Andre Central Michigan University BROOKS/COLE ‘Ausalia «Canada» Mexico «Singapore» Spun United Kingdom + United StatesChapter Chapter Chapter Chapter Chapter Chapter Chapter MW 12 3 1a 1s 16 17 24 22 23 24 25 26 31 32 33 34 35 CONTENTS Propositions and Connectives 1 Conditionals and Biconditionals. 5 Quantifiers 12 Basic Proof Methods 15 Basic Proof Methods Il 21 Proofs Involving Quantifiers 25 Additional Examples of Proofs 28 Basic Notations of Set Theory 32 Set Operations 33, Extended Set Operations and Indexed Families of Sets 38 Induction 41 Equivalent Forms of Induction 47 Principles of Counting 50 Cartesian Products and Relations S4 Equivalence Relations 57 Partitions 61 Ordering Relations — 64 Graphs of Relations 68 Functions as Relations 71 Constructions of Functions 73 Functions That Ate Onto; One-to-One Functions 77 Induced Set Functions. | 81 Equivalent Sets; Finite Sets 84 Infinite Sets | 87 Countable Sets 89 ‘The Ordering of Cardinal Numbers 92 ‘Comparability of Cardinal Numbers and the Axiom of Choice 94 Algebraic Structures 96 Groups 99) Examples of Groups 101 Subgroups 104 Cosets and Lagrange's Theorem 107 Quotient Groups 108 Isomorphism; The Fundamental Theorem of Group Homomorphisms 110 Ordered Field Properties of the Real Numbers. 112 ‘The Heine-Borel Theorem 114 ‘The Bolzano-Weierstrass Theorem 117 ‘The Bounded Monotone Sequence Theorem 118 Equivalents of Completeness 121