סריג (מבנה סדור) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ r2.5.2) (בוט מוסיף: da:Gitter (ordning) |
|||
שורה 28:
כאשר אין בסריג שרשראות אינסופיות, מן המודולריות למחצה (מאחד הטיפוסים) נובע שכל השרשראות המקסימליות מ-a ל-b הן באותו אורך. אם <math>\ a\leq b</math>, אפשר להגדיר את המרחק <math>\ d(a,b)</math> כארכה של השרשרת הקצרה ביותר מ-a ל-b. סריג הוא מודולרי-למחצה עליון, אם ורק אם <math>\ d(a\wedge b,a) \geq d(b,a\vee b)</math> לכל a ו-b; ומודולרי אם ורק אם <math>\ d(a\wedge b,a) = d(b,a\vee b)</math> לכל a ו-b.
== ראו גם ==
* [[סריג חופשי]]
== לקריאה נוספת ==
|