That is:
- Principle of Finite Induction: Given a subset
S⊆N of the natural numbers which has these properties:-
0∈S -
n∈S⟹n+1∈S
-
- then
S=N .
- Principle of Complete Induction: Given a subset
S⊆N of the natural numbers which has these properties:-
0∈S -
{0,1,…,n}⊆S⟹n+1∈S
-
- then
S=N .
- Well-Ordering Principle: Every non-empty subset of
N has a minimal element.
Proof
To save space, we will refer to:
- The Well-Ordering Principle as WOP;
- The Principle of Finite Induction as PFI;
- The Principle of Complete Induction as PCI.
PFI implies PCI
Let us assume that the PFI is true.Let
-
(A):0∈S -
(B):{0,1,…,n}⊆S⟹n+1∈S .
Let
P(n)⟺{0,1,…,n}⊆S
S ′ ={n∈N:P(n) is true}
Assume
So
So by
Thus
That last statement means
This means
Thus we have satisfied the conditions:
-
0∈S ′ -
n∈S ′ ⟹n+1∈S ′ .
Hence, by definition,
So PFI gives that
Therefore PFI implies PCI.
PCI implies WOP
Let us assume that the PCI is true.Let
We need to show that
With a view to obtaining a contradiction, assume that:
(C):S has no minimal element.
Let
-
n∉S
We have that
Hence by Lower Bound for Subset,
This contradicts our supposition
So
Suppose
That is:
∀j∈[0..k]:j∉S
Now if
So then
Thus we have proved that:
(1):P(0) holds(2):(∀j∈[0..k]:P(j))⟹P(k+1) .
But this means that
So, by Proof by Contradiction,
That is,
Thus PCI implies WOP.
WOP implies PFI
We assume the truth of the Well-Ordering Principle.Let
-
(D):0∈S -
(E):n∈S⟹n+1∈S .
With a view to obtaining a contradiction, assume that:
S≠N
From Set Difference is Subset,
So from WOP,
A lower bound of
By Lower Bound for Subset,
By hypothesis,
From the definition of set difference,
So this minimal element of
We have that the Natural Numbers are Elements of Minimal Infinite Successor Set.
From Peano's Axioms Uniquely Define Natural Numbers it is noted that
Thus
From
Thus if
This contradicts the Well-Ordering Principle, and so
So
Thus we have proved that WOP implies PFI.
Final assembly
So, we have that:- PFI implies PCI: The Principle of Finite Induction implies the Principle of Complete Induction
- PCI implies WOP: The Principle of Complete Induction implies the Well-Ordering Principle
- WOP implies PFI: The Well-Ordering Principle implies the Principle of Finite Induction.
댓글 없음:
댓글 쓰기