Teilbarkeit in N +/Ordnungsrelation/Beispiel

Aus Wikiversity

Wir betrachten die positiven ganzen Zahlen zusammen mit der Teilbarkeitsbeziehung. Man sagt, dass eine Zahl die Zahl teilt, geschrieben

wenn es eine weitere natürliche Zahl mit

gibt. Die Bezeichnung ist nicht sonderlich glücklich gewählt, da ein symmetrisches Symbol für eine nichtsymmetrische Relation verwendet wird. Die Teilbarkeitsrelation ist in der Tat reflexiv, da stets ist, wie zeigt. Die Transitivität sieht man so: sei und mit und . Dann ist und daher . Die Antisymmetrie folgt so: Aus und folgt . Da wir uns auf positive natürliche Zahlen beschränken, folgt und daraus . Also ist Einfache Beispiele wie und zeigen, dass hier keine totale Ordnung vorliegt, da weder von noch umgekehrt geteilt wird.