מסנן (תורת הקבוצות)

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

מבוא

הגדרות 

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

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

על-מסננים 

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

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

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

ניסוח במונחי אלגברה בוליאנית 

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

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

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

מסננים מיוחדים 

תורת הקבוצות המודרנית עוסקת רבות במסננים על קבוצת המספרים הטבעיים. לצורך ההגדרות בהמשך, מסמנים (עבור קבוצות של מספרים טבעיים)  אם ההפרש B-A סופי, ו- אם . מסנן  המקיים את התכונות השקולות הבאות נקרא נקודת-P: 
 כל שרשרת יורדת ב- (לגבי היחס ), חסומה מלרע שם (לגבי אותו יחס).
 לכל פירוק  לקבוצות אינסופיות, או שאחד החלקים  שייך למסנן, או שיש במסנן קבוצה X שהחיתוך שלה עם כל חלק הוא סופי.
 לכל פירוק  לקבוצות אינסופיות, המסנן  אינו מכיל את המסנן  (שהוא, לפי ההגדרה, המסנן הנוצר על ידי הקבוצות , כאשר n מספר כלשהו ו-f פונקציה כלשהי.

מהשערת הרצף, או אפילו מההנחה החלשה יותר , נובע שיש נקודות-P.

הגדרה זו מוליכה ל"היררכיית-P" בת  שכבות (שיש גם מסננים מעליה). המסננים הראשיים שייכים לשכבה הראשונה , ואלו שהם נקודות-P לשכבה . ידוע שאם יש מסננים בשכבה כלשהי של ההיררכיה (מעבר לשכבת המסננים הראשיים; למשל, אם יש נקודות-P), אז יש מסננים בכל שכבה של ההיררכיה.

על-מכפלות 

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

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

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

קישורים חיצוניים
 

תורת הקבוצות