2013년 10월 15일 화요일

Equivalence of Well-Ordering Principle and Induction

The Well-Ordering Principle, the Principle of Finite Induction and the Principle of Complete Induction are logically equivalent.

That is:
Principle of Finite Induction: Given a subset SN of the natural numbers which has these properties:
0S
nSn+1S
then S=N .
iff:
Principle of Complete Induction: Given a subset SN of the natural numbers which has these properties:
0S
{0,1,,n}Sn+1S
then S=N .
iff:
Well-Ordering Principle: Every non-empty subset of N has a minimal element.

Proof
To save space, we will refer to:


PFI implies PCI

Let us assume that the PFI is true.
Let SN which satisfy:
(A):0S
(B):{0,1,,n}Sn+1S .
We want to show that S=N , that is, the PCI is true.

Let P(n) be the propositional function:
P(n){0,1,,n}S
We define the set S as:
S ={nN:P(n) is true}

P(0) is true by (A) , so 0S .
Assume P(k) is true where k0 .
So kS , and by hypothesis, {0,1,,k}S
So by (B) , k+1S .
Thus {0,1,,k,k+1}S .
That last statement means P(k+1) is true.
This means k+1S .
Thus we have satisfied the conditions:
0S
nS n+1S .
That is, S =N , and P(n) holds for all nN .
Hence, by definition, S=N .
So PFI gives that S=N .
Therefore PFI implies PCI.



PCI implies WOP

Let us assume that the PCI is true.
Let SN .
We need to show that S has a minimal element, and so demonstrate that the WOP holds.
With a view to obtaining a contradiction, assume that:
(C):S has no minimal element.

Let P(n) be the propositional function:
nS
Suppose 0S .
We have that 0 is a lower bound for N .
Hence by Lower Bound for Subset, 0 is also a lower bound for S .
0S , otherwise 0 would be the minimal element of S .
This contradicts our supposition (C) , namely, that S does not have a minimal element.
So 0S and so P(0) holds.

Suppose P(j) for 0jk .
That is:
j[0..k]:jS
where [0..k] denotes the closed interval between 0 and k .
Now if k+1S it follows that k+1 would then be the minimal element of S .
So then k+1S and so P(k+1) .
Thus we have proved that:
(1):P(0) holds
(2):(j[0..k]:P(j))P(k+1) .
So we see that PCI implies that P(n) holds for all nN .
But this means that S= , which is a contradiction of the fact that S is non-empty.
So, by Proof by Contradiction, S must have a minimal element.
That is, N satisfies the Well-Ordering Principle.
Thus PCI implies WOP.



WOP implies PFI

We assume the truth of the Well-Ordering Principle.
Let SN which satisfy:
(D):0S
(E):nSn+1S .
We want to show that S=N , that is, the PFI is true.

With a view to obtaining a contradiction, assume that:
SN
Consider S =NS , where denotes set difference.
From Set Difference is Subset, S N .
So from WOP, S has a minimal element.
A lower bound of N is 0 .
By Lower Bound for Subset, 0 is also a lower bound for S .
By hypothesis, 0S .
From the definition of set difference, 0S .
So this minimal element of S has the form k+1 where kN .
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 k+1N is the immediate successor element of kN .
Thus kS but k+1S .
From (E) , this contradicts the definition of S .
Thus if S , it has no minimal element.
This contradicts the Well-Ordering Principle, and so S = .
So S=N .
Thus we have proved that WOP implies PFI.



Final assembly

So, we have that:
This completes the result.

댓글 없음: