מסנן (מתמטיקה)
![]() |
ערך זה דורש ידע מוקדם. אם אתם מתקשים להבין את הערך מומלץ לעיין ב: |
במתמטיקה, מסנן הוא תת-קבוצה של קבוצה סדורה ביחס סדר חלקי אשר מקיימת תנאים מסוימים (ראו להלן). למסננים חשיבות רבה בתחומים רבים במתמטיקה כגון תורת הקבוצות, טופולוגיה ולוגיקה.
הגדרה מתמטית
עריכהבהינתן קבוצה ועליה יחס סדר חלקי , הקבוצה תקרא מסנן על אם ורק אם היא מקיימת את התכונות הבאות:[1]
- אינה ריקה. כלומר, .
- כיווניות כלפי מטה: לכל קיים כך ש- וגם
- סגירות כלפי מעלה: לכל ולכל המקיים , מתקיים בהכרח ש-
סוגי מסננים
עריכהמסנן טריוויאלי ומסנן אמיתי
עריכהניתן להיווכח כי עצמו הוא מסנן על . מסנן זה נקרא המסנן הטריוויאלי של . אם הוא מסנן על שאיננו המסנן הטריוויאלי, יקרא מסנן אמיתי על .
מסנן ראשי
עריכהבהינתן קבוצה סדורה ואיבר כלשהו , מגדירים את המסנן הראשי של באופן הבא:
כלומר, הוא אוסף כל האיברים שגדולים מ- . ניתן להוכיח כי זהו מסנן.
קבוצה תקרא מסנן ראשי אם ורק אם קיים כך ש- . ניתן להוכיח כי מסנן הוא מסנן ראשי אם ורק אם יש לו איבר מינימלי. על כן, אם קבוצה סדורה ביחס סדר טוב, אז כל מסנן בה הוא מסנן ראשי.
על-מסנן
עריכהבהינתן קבוצה סדורה ומסנן , יקרא על-מסנן אם ורק אם הוא מסנן מקסימלי שאיננו טריוויאלי. כלומר, לא קיים מסנן אחר כך ש- .
משפט העל-מסננים קובע כי כל מסנן אמיתי מוכל בעל-מסנן. כלומר, לכל מסנן כלשהו קיים על-מסנן כך ש- , כאשר אם ורק אם בעצמה על-מסנן. הוכחת המשפט מתבצעת באמצעות הלמה של צורן.
שימושים
עריכהתורת הקבוצות
עריכה- ערך מורחב – מסנן (תורת הקבוצות)
שימוש מרכזי של מסננים בתורת הקבוצות הוא במסננים לפי יחס ההכלה. בהינתן קבוצה כלשהי , מסנן במובנים של תורת הקבוצות הוא משפחה של תת-קבוצות של שמהווה מסנן על (קבוצת כל תת-הקבוצות של ) לפי יחס ההכלה . מסנן זה יקרא מסנן קבוצתי על . כאשר ברור מן ההקשר שהמסנן הוא מסנן קבוצתי, ניתן לקרוא לו פשוט מסנן על , זאת למרות שהוא הלכה-למעשה מסנן על .
עבור מסננים קבוצתיים, ניתן להמיר את האקסיומות של מסננים כללים באקסיומות הבאות:
- .
- לכל מתקיים ש-
- לכל ולכל , מתקיים בהכרח ש-
מתכונות אלו נובע בהכרח כי עצמו הוא איבר של . למסננים קבוצתיים לרוב דורשים בנוסף כי , אחרת הוא המסנן הטריוויאלי.
דוגמה חשובה למסנן מתחום תורת הקבוצות הוא המסנן הקו-סופי שנקרא גם מסנן פרשה על שם המתמטיקאי רנה מוריס פרשה. בהינתן קבוצה מעוצמה אינסופית, מסנן פרשה מוגדר כך: . כלומר, הוא אוסף כל תתי-הקבוצות של שהמשלים שלהם הוא ממידה סופית. מסנן זה הוא מסנן אמיתי שאיננו מסנן ראשי.
טופולוגיה
עריכהלמסננים יש מספר שימושים בטופולוגיה. עבור מרחב טופולוגי ונקודה , מערכת הסביבות של המסומנת ב- היא מסנן קבוצתי.
מסננים קבוצתיים יכולים לשמש כאמצעי חלופי להגדרת מושג ההתכנסות במרחבים טופולוגיים. מגדירים כי מסנן מתכנס לנקודה אם ורק אם . כלומר, אם מכילה את כל הסביבות של , היא מתכנסת ל- . ניתן להוכיח כי אם המרחב הוא מרחב האוסדורף, אז כל מסנן מתכנס לכל היותר לנקודה אחת.
שימוש נוסף במסננים בטופולוגיה הוא בהגדרה של מרחב אחיד על-ידי כיסוי אחיד. בהינתן זוג כיסויים של המסומנים ב- \ אומרים כי הוא עידון-כוכב של ומסמנים , אם ורק אם לכל קיים כך שלכל המקיים , מתקיים ש- . במילים אחרות, לכל קבוצה מהכיסוי יש קבוצה ב- שמכילה את כל הקבוצות מהכיסוי ש"נוגעות בה". אוסף כיסויים של ייקרא כיסוי אחיד אם ורק אם הוא מסנן ביחס ל- . כיסוי אחיד מגדיר באופן חד-חד ערכי מרחב אחיד על .
לוגיקה
עריכההשימוש העיקרי של מסננים בלוגיקה הוא על-ידי על-מכפלות.
בהינתן קבוצת אינדקסים , מגדירים לכל אינדקס קבוצה . בנוסף מגדירים מסנן קבוצתי על אינדקסים אלו. כעת מגדירים יחס שקילות על המכפלה הקרטזית כך שלכל מתקיים ש- אם ורק אם . מרחב המנה על לפי יחס שקילות זה מסומן ב- ונקרא על-מכפלה.
משפט מרכזי בלוגיקה הוא משפט לוס שנקרא גם המשפט היסודי של העל-מכפלות שקובע כי בהינתן על-מכפלה של מודלי שפה מסדר ראשון, נוסחה נכונה עבור העל-מכפלה אם ורק אם קבוצת האינדקסים שבה הנוסחה נכונה עבור מודלי השפה שמרכיבים את העל מכפלה היא קבוצה מתוך המסנן.
קשר לאידיאלים בחוג הפונקציות על הקבוצה
עריכהדוגמאות נוספות
עריכה- בהינתן מרחב מידה , הקבוצה היא מסנן קבוצתי על .
- בהינתן מרחב הפונקציות הממשיות הרציפות , ניתן להגדיר יחס סדר חלקי כך ש- אם ורק אם לכל (כלומר, אי-שוויון נקודה-נקודה). מגדירים את הקבוצה . ניתן להוכיח כי הוא מסנן על לפי .
ראו גם
עריכהקישורים חיצוניים
עריכההערות שוליים
עריכה- ^ Filter - Encyclopedia of Mathematics, encyclopediaofmath.org