2. Let D be a relation on the natural numbers N de?ned by D = {(m,n)...

80.2K

Verified Solution

Question

Advance Math

2. Let D be a relation on the natural numbers N de?ned by D ={(m,n) : m | n} (i.e., D(m,n) is true when n is divisible by m. Forthis problem, you’ll be proving that D is a partial order. Thismeans that you’ll need to prove that it is re?exive,anti-symmetric, and transitive.

(a) Prove that D is re?exive. (Yes, you already did this problemon one of the minihomework assignments. You don’t have to redo theproblem, but you should at least copy over your answer from thatassignments to this one.)

(b) Prove that D is anti-symmetric. You may use the followingfact: for any two natural numbers m and n, if m·n = 1, then m = 1and n = 1. (Note that D is only anti-symmetric because the domainis the natural numbers. If we switched to the domain of integers,then things would be completely di?erent.)

(c) Prove that D is transitive. (You’ve probably done a problemalready that is almost exactly the same as this.)

Answer & Explanation Solved by verified expert
4.5 Ratings (881 Votes)
    See Answer
Get Answers to Unlimited Questions

Join us to gain access to millions of questions and expert answers. Enjoy exclusive benefits tailored just for you!

Membership Benefits:
  • Unlimited Question Access with detailed Answers
  • Zin AI - 3 Million Words
  • 10 Dall-E 3 Images
  • 20 Plot Generations
  • Conversation with Dialogue Memory
  • No Ads, Ever!
  • Access to Our Best AI Platform: Flex AI - Your personal assistant for all your inquiries!
Become a Member

Other questions asked by students