Mathematical Proofs
A Transition to Advanced Mathematics
Published on 8. April 2003
Book
Hardback
384 pages
978-0-201-71090-8 (ISBN)
Description
Mathematical Proofs is designed to prepare students for the more abstract mathematics courses that follow calculus. This text introduces students to proof techniques and writing proofs of their own. As such, it is an introduction to the mathematics enterprise providing solid introductions to relations, functions, and cardinalities of sets.
More details
Language
English
Place of publication
United States
Publishing group
Pearson Education (US)
Target group
Professional and scholarly
Dimensions
Height: 245 mm
Width: 196 mm
Thickness: 16 mm
Weight
662 gr
ISBN-13
978-0-201-71090-8 (9780201710908)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
New editions
Gary Chartrand | Albert D. Polimeni | Ping Zhang
Mathematical Proofs
A Transition to Advanced Mathematics: International Edition
Book
11/2007
2nd Edition
Pearson
€69.32
Article exhausted; check for reprint
Content
0. Communicating Mathematics.
Learning Mathematics.
What Others Have Said About Writing.
Mathematical Writing.
Using Symbols.
Writing Mathematical Expressions.
Common Words and Phrases in Mathematics.
Some Closing Comments About Writing.
1. Sets.
Describing a Set.
Special Sets.
Subsets.
Set Operations.
Indexed Collections of Sets.
Partitions of Sets.
Cartesian Products of Sets.
2. Logic.
Statements.
The Negation of a Statement.
The Disjunction and Conjunction of Statements.
The Implication.
More On Implications.
The Biconditional.
Tautologies and Contradictions.
Logical Equivalence.
Some Fundamental Properties of Logical Equivalence.
Characterizations of Statements.
Quantified Statements and Their Negations.
3. Direct Proof and Proof by Contrapositive.
Trivial and Vacuous Proofs.
Direct Proofs.
Proof by Contrapositive.
Proof by Cases.
Proof Evaluations.
4. More on Direct Proof and Proof by Contrapositive.
Proofs Involving Divisibility of Integers.
Proofs Involving Congruence of Integers.
Proofs Involving Real Numbers.
Proofs Involving Sets.
Fundamental Properties of Set Operations.
Proofs Involving Cartesian Products of Sets.
5. Proof by Contradiction.
Proof by Contradiction.
Examples of Proof by Contradiction.
The Three Prisoners Problem.
Other Examples of Proof by Contradiction.
The Irrationality of A2.
A Review of the Three Proof Techniques.
6. Prove or Disprove.
Conjectures in Mathematics.
A Review of Quantifiers.
Existence Proofs.
A Review of Negations of Quantified Statements.
Counterexamples.
Disproving Statements.
Testing Statements.
A Quiz of "Prove or Disprove" Problems.
7. Equivalence Relations.
Relations.
Reflexive, Symmetric, and Transitive Relations.
Equivalence Relations.
Properties of Equivalence Classes.
Congruence Modulo n.
The Integers Modulo n.
8. Functions.
The Definition of Function.
The Set of All Functions From A to B.
One-to-one and Onto Functions.
Bijective Functions.
Composition of Functions.
Inverse Functions.
Permutations.
9. Mathematical Induction.
The Well-Ordering Principle.
The Principle of Mathematical Induction.
Mathematical Induction and Sums of Numbers.
Mathematical Induction and Inequalities.
Mathematical Induction and Divisibility.
Other Examples of Induction Proofs.
Proof By Minimum Counterexample.
The Strong Form of Induction.
10. Cardinalities of Sets.
Numerically Equivalent Sets.
Denumerable Sets.
Uncountable Sets.
Comparing Cardinalities of Sets.
The Schroder-Bernstein Theorem.
11. Proofs in Number Theory.
Divisibility Properties of Integers.
The Division Algorithm.
Greatest Common Divisors.
The Euclidean Algorithm.
Relatively Prime Integers.
The Fundamental Theorem of Arithmetic.
Concepts Involving Sums of Divisors.
12. Proofs in Calculus.
Limits of Sequences.
Infinite Series.
Limits of Functions.
Fundamental Properties of Limits of Functions.
Continuity.
Differentiability.
13. Proofs in Group Theory.
Binary Operations.
Groups.
Permutation Groups.
Fundamental Properties of Groups.
Subgroups.
Isomorphic Groups.
Answers and Hints to Selected Odd-Numbered Exercises.
References Index of Symbols.
Index of Mathematical Terms.
Learning Mathematics.
What Others Have Said About Writing.
Mathematical Writing.
Using Symbols.
Writing Mathematical Expressions.
Common Words and Phrases in Mathematics.
Some Closing Comments About Writing.
1. Sets.
Describing a Set.
Special Sets.
Subsets.
Set Operations.
Indexed Collections of Sets.
Partitions of Sets.
Cartesian Products of Sets.
2. Logic.
Statements.
The Negation of a Statement.
The Disjunction and Conjunction of Statements.
The Implication.
More On Implications.
The Biconditional.
Tautologies and Contradictions.
Logical Equivalence.
Some Fundamental Properties of Logical Equivalence.
Characterizations of Statements.
Quantified Statements and Their Negations.
3. Direct Proof and Proof by Contrapositive.
Trivial and Vacuous Proofs.
Direct Proofs.
Proof by Contrapositive.
Proof by Cases.
Proof Evaluations.
4. More on Direct Proof and Proof by Contrapositive.
Proofs Involving Divisibility of Integers.
Proofs Involving Congruence of Integers.
Proofs Involving Real Numbers.
Proofs Involving Sets.
Fundamental Properties of Set Operations.
Proofs Involving Cartesian Products of Sets.
5. Proof by Contradiction.
Proof by Contradiction.
Examples of Proof by Contradiction.
The Three Prisoners Problem.
Other Examples of Proof by Contradiction.
The Irrationality of A2.
A Review of the Three Proof Techniques.
6. Prove or Disprove.
Conjectures in Mathematics.
A Review of Quantifiers.
Existence Proofs.
A Review of Negations of Quantified Statements.
Counterexamples.
Disproving Statements.
Testing Statements.
A Quiz of "Prove or Disprove" Problems.
7. Equivalence Relations.
Relations.
Reflexive, Symmetric, and Transitive Relations.
Equivalence Relations.
Properties of Equivalence Classes.
Congruence Modulo n.
The Integers Modulo n.
8. Functions.
The Definition of Function.
The Set of All Functions From A to B.
One-to-one and Onto Functions.
Bijective Functions.
Composition of Functions.
Inverse Functions.
Permutations.
9. Mathematical Induction.
The Well-Ordering Principle.
The Principle of Mathematical Induction.
Mathematical Induction and Sums of Numbers.
Mathematical Induction and Inequalities.
Mathematical Induction and Divisibility.
Other Examples of Induction Proofs.
Proof By Minimum Counterexample.
The Strong Form of Induction.
10. Cardinalities of Sets.
Numerically Equivalent Sets.
Denumerable Sets.
Uncountable Sets.
Comparing Cardinalities of Sets.
The Schroder-Bernstein Theorem.
11. Proofs in Number Theory.
Divisibility Properties of Integers.
The Division Algorithm.
Greatest Common Divisors.
The Euclidean Algorithm.
Relatively Prime Integers.
The Fundamental Theorem of Arithmetic.
Concepts Involving Sums of Divisors.
12. Proofs in Calculus.
Limits of Sequences.
Infinite Series.
Limits of Functions.
Fundamental Properties of Limits of Functions.
Continuity.
Differentiability.
13. Proofs in Group Theory.
Binary Operations.
Groups.
Permutation Groups.
Fundamental Properties of Groups.
Subgroups.
Isomorphic Groups.
Answers and Hints to Selected Odd-Numbered Exercises.
References Index of Symbols.
Index of Mathematical Terms.