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
Related questions
Question

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

This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
This is a popular solution!
Trending now
This is a popular solution!
Step by step
Solved in 3 steps with 4 images

Recommended textbooks for you

Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated

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…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY

Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated

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…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY

Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,

