מונה מדיד

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

היסטוריה

מושג המונה המדיד הוגדר בשנת 1930 על ידי אולם, בהקשר לתורת המידה שפותחה אז על ידי לבג. 
כאשר לבג פיתח את תורת המידה, הוא העלה את השאלה הבאה: האם ייתכן שכל תתי הקבוצות של הממשיים יהיו מדידות? שאלה זו זכתה במהרה לתשובה שלילית על ידי משפט ויטלי, עבור מידת לבג (כלומר מידה שהיא אינווריאנטית להזזות). 
בעקבות זאת, בנך העלה את השאלה הבאה: עבור קבוצה S כלשהי, האם קיימת מידה שמוגדרת על כל תת-הקבוצות של S, שהיא סיגמא-אדיטיבית ומתאפסת על כל יחידון? ברור שתשובה לשאלה הזו תלויה רק בעוצמה של S, ולא במבנה הפנימי שלה. אולם הראה שעבור מונה κ, אם קיימת עליו מידה כזו, אז הוא בהכרח אי-נשיג חלש (הוכחה זו משתמשת באקסיומת הבחירה). יתר על כן הוא הראה שבמונה הראשון בו יש מידה כזו, המידה היא κ-אדיטיבית (כלומר לכל אוסף קטן מ-κ של תתי קבוצות זרות, רק אוסף בן מנייה של קבוצות מתוכו הוא בעל מידה חיובית ומידת האיחוד היא סכום המידות). 
בהמשך, אולם פיצל את האפשרויות לגבי אופי המידה לשני מקרים: אם המידה היא חסרת אטומים או שיש למידה אטום. במקרה הראשון הוא הראה כי  ובמקרה השני הוא הראה שיש מידה על κ שמקבלת רק את הערכים {0,1}, וש-κ הוא אי-נשיג חזק. המקרה הראשון נקרא מונה מדיד ממשי והמקרה השני נקרא מונה מדיד.
קל להראות כי מונה מדיד הוא אי נשיג חזק - אם  אז יש אוסף:  של פונקציות שונות. נסמן  ונקבל כי מצד אחד:  (מה-κ שלמות - כי זה חיתוך של פחות מ-κ קבוצות ממידה 1) ומצד שני קבוצה זו מכילה לכל היותר איבר אחד, ולכן קיבלנו סתירה.
במשך תקופה ארוכה לא היה ידוע האם ייתכן שהאי-נשיג הראשון יהיה מדיד. רק לאחר התוצאות על מונים קומפקטיים חלשים היה ניתן להראות כי מתחת למונה המדיד הראשון יש אי-נשיגים רבים. 
הפער חודד בעקבות העבודה של סקוט בשנות ה-60 על שימוש במונים מדידים כדי לייצר מודל פנימי באמצעות לקיחת על-חזקה של V, עם על-המסנן שמוגדר על המונה המדיד. כיוון שעל המסנן הוא סיגמה-שלם - על החזקה יוצאת מבוססת היטב (כלומר אין בה סדרת  יורדת אינסופית) ולכן היא איזומורפית למחלקה טרנזיטיבית M שמכילה את כל הסודרים. מתוך שיטה זו נובע כי יש מידת 0-1 על κ בה אוסף כל האי-נשיגים, אוסף כל הקומפקטיים-חלש (ואף מונים עם תכונות חזקות יותר) הם ממידה 1. 
סולוביי הראה בשנות ה-70 כי אם κ הוא מדיד אז על ידי כפייה ניתן לייצר מודל בו κ הוא מדיד ממשית, וכן שאם κ מדיד ממשית אז יש מודל פנימי בו הוא מדיד, ובכך הוא הראה שחוזק ההתיישבות של שני המושגים הוא זהה - כלומר ניתן להראות שטענה היא עקבית בהנחה שקיים מונה מדיד אם ורק אם ניתן להראות כי היא עקבית בהנחה שקיים מדיד ממשית.

על מסננים נורמליים

על מסנן U ייקרא נורמלי אם מתקיימת בו גרסה של למת פודור: אם  מקיימת  ו-A קבוצה ממידה 1 אז יש קבוצה B ממידה 1 בה f קבועה. 
דרך נוספת לאפיין את תכונת הנורמליות, היא באופן הבא: על מסנן U הוא נורמלי אם מתקיים  (כאשר ,  ו- היא מחלקת השקילות של הפונקציה id כאיבר של על-החזקה, אותה זיהינו עם M). כיוון שכל ערכי id הם סודרים, לפי משפט Łoś, גם  הוא סודר בעל חזקה, וכיוון שהיא מבוססת היטב - הוא סודר ב-V. באופן כללי, תמיד יתקיים כי , ולכן אפשר לחשוב על הנורמליות כתכונת מזעור. 
נעיר כי על מסננים נורמליים מתקבלים באופן טבעי מתוך שיכונים אלמנטריים, כמו שציינו קודם:  הוא על מסנן נורמלי.
אם U על מסנן נורמלי, נוכל להשתמש במשפט Łoś כדי להשיג מגוון של תוצאות השתקפות, כלומר תוצאות המראות כי אם המונה המדיד מקיים תכונה מסוימת אז קיימת קבוצה ממידה 1 מתחתיו (ובפרט לא חסומה) המקיימת את אותה תכונה. נדגים זאת לגבי קומפקטיות חלשה: ראינו כי כל מונה מדיד κ הוא קומפקטי-חלש. נסתכל על המונה κ ב-M. גם שם הוא קומפקטי חלש, כיוון ש-M מכיל את כל תתי הקבוצות של κ (מ-V). כיוון שכל עץ ניתן לייצג כתת-קבוצה של κ וחשוב יותר - כל ענף ניתן לייצוג כזה, נקבל כי גם ב-M מתקיימת תכונת העץ ב-κ. כעת, κ מיוצג על ידי הפונקציה id ולכן לפי משפט Łoś: על קבוצה ממידה 1 של סודרים, , כלומר  יקיים את תכונת העץ ב-V.