סריג (מבנה סדור) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Zorrobot (שיחה | תרומות)
מ 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.
 
== ראו גם ==
 
* [[סריג חופשי]]
 
== לקריאה נוספת ==