Handbook of Mathematical Induction : Theory and Applications

This comprehensive handbook presents hundreds of classical theorems and proofs that span many areas, including basic equalities and inequalities, combinatorics, linear algebra, calculus, trigonometry, geometry, set theory, game theory, recursion, and algorithms. It derives many forms of mathematical induction, such as infinite descent and the axiom of choice, from basic principles. Requiring only a modest amount of mathematical maturity to understand most results and proofs, the book contains more than 750 exercises—with complete solutions to at least 500. It also includes nearly 600 bibliographic references, numerous cross references, and an extensive index of over 3,000 entries.

Handbook of Mathematical Induction: Theory and Applications shows how to find and write proofs via mathematical induction. This comprehensive book covers the theory, the structure of the written proof, all standard exercises, and hundreds of application examples from nearly every area of mathematics.

In the first part of the book, the author discusses different inductive techniques, including well-ordered sets, basic mathematical induction, strong induction, double induction, infinite descent, downward induction, and several variants. He then introduces ordinals and cardinals, transfinite induction, the axiom of choice, Zorn’s lemma, empirical induction, and fallacies and induction. He also explains how to write inductive proofs.

The next part contains more than 750 exercises that highlight the levels of difficulty of an inductive proof, the variety of inductive techniques available, and the scope of results provable by mathematical induction. Each self-contained chapter in this section includes the necessary definitions, theory, and notation and covers a range of theorems and problems, from fundamental to very specialized.

The final part presents either solutions or hints to the exercises. Slightly longer than what is found in most texts, these solutions provide complete details for every step of the problem-solving process.