principle of finite induction
The principle of finite induction, also known as mathematical induction, is commonly formulated in two ways. Both are equivalent. The first formulation is known as weak induction. It asserts that if a statement holds for and if , then holds for all natural numbers . The case is called the base case or base step and the implication is called the inductive step. In an inductive proof, one uses the term induction hypothesis or inductive hypothesis to refer back to the statement when one is trying to prove from it.
The second formulation is known as strong or complete induction. It asserts that if the implication is true, then is true for all natural numbers . (Here, the quantifiers range over all natural numbers.) As we have formulated it, strong induction does not require a separate base case. Note that the implication already entails since the statement holds vacuously (there are no natural numbers less that zero).
A moment’s thought will show that the first formulation (weak induction) is equivalent to the following:
Let be a set natural numbers such that
- 1.
belongs to , and
- 2.
if belongs to , so does .
Then is the set of all natural numbers.
Similarly, strong induction can be stated:
If is a set of natural numbers such that belongs to whenever all numbers less than belong to , then is the set of all natural numbers.
The principle of finite induction can be derived from the fact that every nonempty set of natural numbers has a smallest element. This fact is known as the well-ordering principle for natural numbers. (Note that this is not the same thing as the well-ordering principle, which is equivalent to the axiom of choice and has nothing to do with induction.)
Title | principle of finite induction |
Canonical name | PrincipleOfFiniteInduction |
Date of creation | 2013-03-22 11:46:41 |
Last modified on | 2013-03-22 11:46:41 |
Owner | CWoo (3771) |
Last modified by | CWoo (3771) |
Numerical id | 24 |
Author | CWoo (3771) |
Entry type | Theorem |
Classification | msc 03E25 |
Classification | msc 00-02 |
Related topic | TransfiniteInduction |
Related topic | AnExampleOfMathematicalInduction |
Related topic | Induction |
Related topic | WellFoundedInduction |
Defines | induction hypothesis |
Defines | inductive hypothesis |
Defines | base case |
Defines | base step |