fundamentals of mathematics lecture 5:...
TRANSCRIPT
![Page 1: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/1.jpg)
Fundamentals of MathematicsLecture 5: Induction
Guan-Shieng Huang
National Chi Nan University, Taiwan
Spring, 2008
1 / 26
![Page 2: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/2.jpg)
Mathematical Induction
Mathematical Induction: Basic Form I
1 ∈ F ; ∀n[n ∈ F =⇒ n + 1 ∈ F ]
N ⊆ F
orP(1); ∀n∈N[P(n) =⇒ P(n + 1)]
∀n∈NP(n).
2 / 26
![Page 3: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/3.jpg)
Mathematical Induction
Mathematical Induction: Basic Form II
Example
1 Show that 1 + 2 + · · ·+ n = n(n+1)2 .
2 Show that 13 + 23 + · · ·+ n3 = [n(n+1)2 ]2.
3 Show that 11·2 + 1
2·3 + · · ·+ 1n(n+1) = n
n+1 .
3 / 26
![Page 4: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/4.jpg)
Mathematical Induction
Mathematical Induction: Basic Form III
Example
How many regions are there that n lines in a plane can divide at most?(2D → 3D)
Example (Wrong)
Show that all numbers are equal.
4 / 26
![Page 5: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/5.jpg)
Mathematical Induction
Mathematical Induction: Basic Form IV
Proof.
Let A be a set of n numbers.
Basis : n = 1. The claim follows for just one number.
Induction : Suppose “Given any set of k numbers where k < n, thesenumbers must be equal.”
1 Let A be a set of n numbers and let α ∈ A. Then allnumbers in A\{α} are equal by induction hypothesis.
2 Let β ∈ A\{α}. We will show that α equals to β, andhence all numbers in A are equal.
3 Remove a number from A and keep α and β inside.Hence all numbers in this set must be equal, and thus αequals to β.
5 / 26
![Page 6: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/6.jpg)
Mathematical Induction
Mathematical Induction: Strong Form
P(1); ∀n∈N[∀1≤k<nP(k) =⇒ P(n)]
∀n∈NP(n).
1 Basis: Show that P(1) is true.
2 Induction: Assume P(1),P(2), . . . ,P(k) are true, and derive thatP(k + 1) is true for all k ≥ 1.
6 / 26
![Page 7: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/7.jpg)
Mathematical Induction
Examples I
1 Show that 2n ≥ n2 for n ≥ 4.
2 The marble game of two piles.
3 Let r(n) be the number of solutions (x , y) for x + 2y = n, where
n, x , y ≥ 0 and are integers. Show that r(n) = n+12 + 1+(−1)n
4 .
7 / 26
![Page 8: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/8.jpg)
Mathematical Induction
Examples II
4 Let a2k = 3k2, a2k−1 = 3k(k − 1) + 1. Let Sn = a1 + a2 + · · ·+ an.Show that {
S2k−1 = k2 (4k2 − 3k + 1)
S2k = k2 (4k2 + 3k + 1) for k ≥ 1.
8 / 26
![Page 9: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/9.jpg)
Mathematical Induction
Examples III
5 Show that
a1 + · · ·+ an
n≥ (a1 · · · an)
1n where ai ≥ 0
9 / 26
![Page 10: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/10.jpg)
Mathematical Induction
Examples IV
6 Show that for any n + 1 numbers out of 1, 2, . . . , 2n, there alwaysexist two numbers such that one is a multiple of the other.
10 / 26
![Page 11: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/11.jpg)
Mathematical Induction
Examples V
7 Let Sn = 1 · 1! + 2 · 2! + · · ·+ n · n!. Show that Sn = (n + 1)!− 1.
8 Show that (1 + a)n ≥ 1 + na for any integer n ≥ 0 and real numbera > −1.
11 / 26
![Page 12: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/12.jpg)
Mathematical Induction
Examples VI
9 Show that1√1
+1√2
+ · · ·+ 1√n≥√
n
for all integers n ≥ 1.
12 / 26
![Page 13: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/13.jpg)
Mathematical Induction
Examples VII
10 Prove the Euler’s formula for planar graphs: E = V + F − 1 forconnected planar graphs.
13 / 26
![Page 14: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/14.jpg)
Mathematical Induction
Examples VIII
11 Let G be any graph. Show that there exists an independent set I ofG such that all nodes in G is reachable from I in at most two steps.
14 / 26
![Page 15: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/15.jpg)
Noetherian Induction
Noetherian Induction
Well-founded ordering
Induction principle
15 / 26
![Page 16: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/16.jpg)
Noetherian Induction
Well-Founded Ordering
We say a strict partial order (A,≺) is well-founded if there is noinfinite descending chain
a0 � a1 � · · · � ak � · · ·
where ak ∈ A.
Strict Partial Order
1 irreflexive: a 6≺ a for all a ∈ A
2 transitive: a ≺ b and b ≺ c =⇒ a ≺ c .
16 / 26
![Page 17: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/17.jpg)
Noetherian Induction
Examples
(N, <)
Set inclusion: A ≺ B iff A B
Interval overlap relation
string containment relation: x ≺ y iff x occurs in y
17 / 26
![Page 18: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/18.jpg)
Noetherian Induction
Examples
(N, <) is well-founded.
(Z, <) is not well-founded.
“Set inclusion relation” is well-founded iff the universe is a finite set.
Most finite structures are well-founded.
18 / 26
![Page 19: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/19.jpg)
Noetherian Induction
Noetherian Induction Principle
Let (A,≺) be well-founded. Then
∀x∈A[∀y∈A,y≺xP(y) =⇒ P(x)]
∀x∈AP(x)
Remark
Where is the basis? They are the minimal elements of (A,≺).
This is a backward process (i.e., from x towards the bases).
19 / 26
![Page 20: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/20.jpg)
Noetherian Induction
More on Well-Founded Orderings
Structural ordering (Inductive ordering)
Lexicographic ordering
Multiset ordering
They can be used to construct new well-founded orderings based on knownones.
20 / 26
![Page 21: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/21.jpg)
Structural Induction
Structural Ordering
Tree
The definition of a tree can be
Basis: A node called root is a tree.
Induction: If T1, . . . ,Tk are trees, then N(T1,T2, . . . ,Tk) is a treewhere N is a node.
Expression
The definition of an expression is as follows.
Basis: Any number or variable is an expression
Induction: If E and F are expressions, then so are
E + F ,E ∗ F , and (E ).
21 / 26
![Page 22: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/22.jpg)
Structural Induction
Recursive Definition for Structures
It has the following pattern in order to define a structure S:
Basis: A set of basic elements (i.e., the basis) are assigned to S.
Induction: New elements of S are constructed based on a finitenumber of elements in S recursively.
Remark
When the basis is well-founded, the above inductive definition inducesa well-founded ordering.
Induction based on this is called the structural induction.
Structural induction is especially important to computer science sinceone of our jobs is to deal with recursive structures (e.g., trees, graphs,lists, strings).
22 / 26
![Page 23: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/23.jpg)
Structural Induction
Lexicographic Ordering
Let (A,≺) be a strict partial order.
(A×A,≺lex): Define (a1, a2) ≺lex (b1, b2) iff a1 ≺ b1 or (a1 = b1 anda2 ≺ b2).
(Ak ,≺lex): Define (a1a2 . . . ak) ≺lex (b1b2 . . . bk) iff there exists twhere 1 ≤ t ≤ k such that ai = bi for i with 1 ≤ i < t and at ≺ bt .
Theorem
If (A,≺) is well-founded, then (Ak ,≺lex) is well-founded.
Example
(1, 5) <lex (2, 2)
23 / 26
![Page 24: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/24.jpg)
Structural Induction
Multiset Ordering
Let (A,≺) be a strict partial order. Let M(x) be the multiplicity of x in amultiset M.
M ≺mul N iff M(x) > N(x) implies there is y � x such thatM(y) < N(y).
Theorem (Dershowitz & Manna, 1979)
If (A,≺) is well-founded, then (A,≺mul) is well-founded.
Example
{1, 1, 1, 4, 4} <mul {1, 2, 4, 4}
24 / 26
![Page 25: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/25.jpg)
Structural Induction
Summary
Mathematical Induction principle: basic form & strong form
Noetherian induction principle
Well-founded ordering
Structural induction principle
25 / 26
![Page 26: Fundamentals of Mathematics Lecture 5: Inductionstaffweb.ncnu.edu.tw/shieng/courses/Math962/5-induction.pdf · Lecture 5: Induction Guan-Shieng Huang National Chi Nan University,](https://reader035.vdocument.in/reader035/viewer/2022081621/61268d8b5c00f9279f0b9062/html5/thumbnails/26.jpg)
References
References
U. Manber, Introduction to Algorithms, Addison-Wesley, 1989.
L. Bachmair, Canonical Equational Proofs, Birkhauser, 1991.
J. E. Hopcroft, R. Motwani, J. D. Ullman, Introduction to AutomataTheory, language, and Computation, Addison-Wesley, 2001.
徐道寧, 數學歸納法, 凡異出版社, 1986.
華羅庚, 數學歸納法, 凡異出版社, 1994.
26 / 26