Introduction to Proof in Abstract MathematicsThe primary purpose of this undergraduate text is to teach students to do mathematical proofs. It enables readers to recognize the elements that constitute an acceptable proof, and it develops their ability to do proofs of routine problems as well as those requiring creative insights. The self-contained treatment features many exercises, problems, and selected answers, including worked-out solutions. Starting with sets and rules of inference, this text covers functions, relations, operation, and the integers. Additional topics include proofs in analysis, cardinality, and groups. Six appendixes offer supplemental material. Teachers will welcome the return of this long-out-of-print volume, appropriate for both one- and two-semester courses. |
Other editions - View all
Common terms and phrases
a₁ a₂ arbitrary Assume Axiom Axiom of Choice b₁ b₂ bijection binary operation called cardinality Cauchy sequence codomain congruence consider contradiction Corollary coset cosets of H countable def.¹ def.² Define the function defined by f Definition Theorem denoted equivalence classes equivalence relation Example Exercise f is one-to-one function f given group G hypothesis induction Inference Rule infinite isomorphism language statements left inverse Let f Let G Let H mathematics metalanguage natural number need to show negation nonempty set normal subgroup notation one-to-one function order isomorphism poset proof of Theorem proof steps prop Prove Theorem real numbers right cosets right inverse rule for proving rules of inference Scrap Paper Section sequence subgroup of G Supplementary Problems Suppose symbol symmetry unique upper bound variable