Show that if WOP holds for N then PMI also holds for N.

Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
icon
Related questions
Question
PMI Principle of Mathematical Induction: If SCN and 0 € S and (k+1) € S whenever
kES, then S=N.
WOP Well-Orderering Property: N is well-ordered by the relation <.
Show that if WOP holds for N then PMI also holds for N. Hint: Follow the idea given in the
proof from the lecture showing that if PMI is true then WOP holds, for all subsets of N in the
form S = {n EN:P (n)}, where P (n) is a first order formula.
Start arguing by contradiction: Suppose that SCN, 0 ES and (k+1) ES whenever k E S
and S‡N.
• Define T=M\S and explain why T # 0.
• Explain why mo = min (T) exists and argue that mō > 0.
. Consider k= (mo-1) and argue that k E T. Then explain why k E S.
• What do you know about S which you can use to conclude that (k+1) € S. Then show that
k+1=mo.
. Conclude that mo E S. Explain why does this yield a contradiction.
• Finish your argument.
Transcribed Image Text:PMI Principle of Mathematical Induction: If SCN and 0 € S and (k+1) € S whenever kES, then S=N. WOP Well-Orderering Property: N is well-ordered by the relation <. Show that if WOP holds for N then PMI also holds for N. Hint: Follow the idea given in the proof from the lecture showing that if PMI is true then WOP holds, for all subsets of N in the form S = {n EN:P (n)}, where P (n) is a first order formula. Start arguing by contradiction: Suppose that SCN, 0 ES and (k+1) ES whenever k E S and S‡N. • Define T=M\S and explain why T # 0. • Explain why mo = min (T) exists and argue that mō > 0. . Consider k= (mo-1) and argue that k E T. Then explain why k E S. • What do you know about S which you can use to conclude that (k+1) € S. Then show that k+1=mo. . Conclude that mo E S. Explain why does this yield a contradiction. • Finish your argument.
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 3 steps with 4 images

Blurred answer
Similar questions
Recommended textbooks for you
Advanced Engineering Mathematics
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
Numerical Methods for Engineers
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
Introductory Mathematics for Engineering Applicat…
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
Mathematics For Machine Technology
Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,
Basic Technical Mathematics
Basic Technical Mathematics
Advanced Math
ISBN:
9780134437705
Author:
Washington
Publisher:
PEARSON
Topology
Topology
Advanced Math
ISBN:
9780134689517
Author:
Munkres, James R.
Publisher:
Pearson,