1 / 5

Digraphs and Relations Warm Up

Digraphs and Relations Warm Up. The Divisibility Relation. Let “|” be the binary relation on N×N such that a|b (“a divides b ”) iff there is an n∈N such that a∙ n = b . Examples: 2|4 but not 2|3 and not 4|2 1|a for any a since 1 ∙a=a What about 0|a? What about a|0?

salim
Télécharger la présentation

Digraphs and Relations Warm Up

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Digraphs and Relations Warm Up

  2. The Divisibility Relation • Let “|” be the binary relation on N×N such that a|b (“a divides b”) iffthere is an n∈N such that a∙n=b. • Examples: • 2|4 but not 2|3 and not 4|2 • 1|a for any a since 1∙a=a • What about 0|a? • What about a|0? • Show that “|” is a partial order but not a total order. • What does that mean? • Reflexive, transitive, antisymmetric • But not true that for any a and b, either a|b or b|a

  3. a|biff for some n∈N, a∙n = b • Reflexive? a|a for any a since a∙1=a. • Transitive? If a|b and b|c, then there exist n, m∈N such that a∙n=b and b∙m=c. Then a∙(nm)=c so a|c. • Antisymmetric? Suppose a|b and a≠b. We want to say “then a<b” but that is not right! Why? If b≠0 then a<b (why?) so it cannot be that b|a. If b=0 then NOT b|a since 0|a only if a=0.

  4. So “|” is a partial order. It is not a total order because, for example, neither 2|3 nor 3|2 is true.

  5. FINIS

More Related