קבוצה תחתונה וקבוצה עליונה

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

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

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

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

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

 סגור מטה וסגור מעלה 
תהי קבוצה סדורה בקדם סדר  ויהי . מגדירים:

הקבוצה  נקראת הסגור מטה של  והקבוצה  נקראת הסגור מעלה של .

ניתן להראות כי  היא קבוצה תחתונה ו- היא קבוצה עליונה. יתרה מזאת,  היא הקבוצה התחתונה המינימלית המכילה את  ו- היא הקבוצה העליונה המינימלית המכילה את .

כעת, עבור  כלשהי, מגדירים:

הקבוצה  נקראת הסגור מטה של  והקבוצה  נקראת הסגור מעלה של .

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

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

 חסמים תחתונים וחסמים עליונים 
תהי קבוצה סדורה בקדם סדר  ויהי . מגדירים:

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

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

 שימושים 
 מסנן 

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

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

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

 טופולוגיית אלקסנדרוב 
בהינתן קבוצה סדורה בקדם סדר , מגדירים:

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

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

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

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

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

מגדירים . הקבוצה  תקרא השלמת דדקינד-מקניל .

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

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

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

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

 הערות שוליים 

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