סריג שלם

במתמטיקה, ובפרט בתורת הסדר, סריג שלם הוא קבוצה סדורה שבה לכל תת-קבוצה קיים אינפימום וסופרמום. הדבר מאפשר להגדיר מצרף ומפגש לכל תת-קבוצה שהיא בתוך הקבוצה הסדורה.

תכונה חשובה ומרכזית של סריגים שלמים היא שלכל קבוצה סדורה קיים שיכון סדר ממנה לסריג שלם. בכך ניתן לראות במחלקת הסריגים השלמים כמחלקה שמאגדת בתוכה מידע על כל הקבוצות הסדורות באשר הן.

 הגדרה פורמלית 
קבוצה סדורה  תקרא סריג שלם אם ורק אם לכל :

 קיים מצרף (סופרמום) אשר מסמנים ב-.
 קיים מפגש (אינפימום) אשר מסמנים ב-.

אם  מקיימת רק את תנאי 1, היא תקרא סריג-למחצה עליון שלם. אם  מקיימת רק את תנאי 2, היא תקרא סריג-למחצה תחתון שלם.

 תכונות 

 כל סריג שלם הוא סריג, ובפרט סריג חסום.
 כל סריג-למחצה עליון (תחתון) שלם עם איבר קטן (גדול) ביותר הוא סריג שלם.
 בפרט, כל קבוצה סדורה היטב וחסומה מלמעלה היא סריג שלם.
 כל סריג סופי הוא סריג שלם.
 כל קבוצה סדורה שאיזומורפית סדר לסריג שלם היא סריג שלם בעצמה. יתרה מזאת, ניתן להראות שהאיזומורפיזם בין שתי הקבוצות משמר מצרף ומפגש.

 דוגמאות 

 בהינתן קבוצה כלשהי , קבוצה החזקה שלה  סדורה לפי יחס ההכלה . קבוצה זו היא סריג שלם מכיוון שלכל  הסופרמום שלה הוא  והאינפימום שלה הוא .
 בהינתן מרחב וקטורי , מסמנים ב- את אוסף כל תתי-המרחבים שלו. ניתן להראות כי  הוא קבוצה סדורה לפי יחס ההכלה . זהו סריג שלם מכיוון שלכל קבוצת מרחבים וקטוריים  הסופרמום שלה הוא  והאינפימום שלה הוא .
 מסתכלים על קבוצת המספרים הטבעיים ביחד עם המספר אפס  ומסדרים אותם לפי היחס "מחלק את" . לכל תת-קבוצה סופית או אינסופית קיים אינפימום שהוא המחלק המשותף המקסימלי של הקבוצה. לכל קבוצה סופית קיים סופרמום שהוא הכפולה המשותפת המינימלית. לכל קבוצה אינסופית אין כפולה משותפת מינימלית במובן הרגיל של המונח, ולכן הסופרמום שלהם הוא 0 (מכיוון שהוא מתחלק בכל מספר אבל לא מחלק שום מספר. מכל זה,  היא סריג שלם לפי היחס .

 תוצאות חשובות 

 השלמת דדקינד-מקניל 
כאמור לעיל, ניתן לשכן כל קבוצה סדורה בתוך סריג שלם. שיכון זה נקרא השלמת דדקינד-מקניל  והוא הוכח לראשונה על-ידי המתמטיקאי הולברוק מאן מקניל בשנת 1937.

יהי קבוצה סדורה . לכל קבוצה , מגדירים:

מגדירים את הקבוצה . ניתן להוכיח כי  עם יחס הסדר  היא סריג שלם וש- משוכנת סדר בו. יתרה מזאת, ניתן להוכיח כי אם  הוא סריג שלם כך ש- משוכן סדר בו, אז בהכרח  משוכן סדר בו. כלומר,  הוא הסריג השלם המינימלי כך ש- משוכן סדר בו.

 משפט קנסטר-טרסקי 
בהינתן פונקציה כלשהי מקבוצה לעצמה, ניתן לשאול עבור אילו ערכים הקלט של הפונקציה שווה לפלט שלה. ערכים אלו נקראים נקודות שבת ויש להם חשיבות רבה במגוון תחומים במתמטיקה.

בהינתן סריג שלם  ופונקציה מונוטונית , משפט קנסטר-טרסקי  קובע שלפונקציה זו יש לפחות נקודת שבת אחת, ושכל נקודות השבת של הפונקציה מהוות סריג שלם בעצמן לפי היחס . מסקנה חשובה ממשפט זה היא שלפונקציה  יש בהכרח נקודת שבת קטנה ביותר וגדולה ביותר, זאת מכיוון שקבוצת נקודות השבת היא סריג שלם וכל סריג שלם הוא בהכרח חסום.

 ראו גם 

 קשר גלואה 

 הערות שוליים 

קטגוריה:תורת הסדר