מסנן (מתמטיקה)

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

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

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

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

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

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

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

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

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

 שימושים 
 תורת הקבוצות 

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

עבור מסננים קבוצתיים, ניתן להמיר את האקסיומות של מסננים כללים באקסיומות הבאות:

 .
 לכל  מתקיים ש-
 לכל  ולכל , מתקיים בהכרח ש-

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

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

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

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

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

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

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

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

 קשר לאידיאלים בחוג הפונקציות על הקבוצה 

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

 ראו גם 
 מסנן (תורת הקבוצות)
 מערכת סביבות
 על-מכפלה

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


 הערות שוליים 

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