מונה מדיד

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

הגדרה

• מונה κ ייקרא מונה מדיד אם κ אינו בן מניה, וקיים על מסנן κ-שלם לא ראשי על κ. בניסוח שקול - מונה הוא מדיד אם קיימת מידה κ-אדיטיבית לא טריוויאלית המקבלת את הערכים {0,1} בלבד.
• מונה κ ייקרא מונה מדיד ממשי (Real-valued measurable cardinal) אם κ אינו בן מניה, וקיימת מידה κ-אדיטיבית לא טריוויאלית על κ.

היסטוריה

מושג המונה המדיד הוגדר בשנת 1930 על ידי אולם, בהקשר לתורת המידה שפותחה אז על ידי לבג.

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

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

בהמשך, אולם פיצל את האפשרויות לגבי אופי המידה לשני מקרים: אם המידה היא חסרת אטומים או שיש למידה אטום. במקרה הראשון הוא הראה כי $\kappa \le 2^{\aleph_0}$ ובמקרה השני הוא הראה שיש מידה על κ שמקבלת רק את הערכים {0,1}, וש-κ הוא אי-נשיג חזק. המקרה הראשון נקרא מונה מדיד ממשי והמקרה השני נקרא מונה מדיד.

קל להראות כי מונה מדיד הוא אי נשיג חזק - אם $\lambda < \kappa, 2^{\lambda} \ge \kappa$ אז יש אוסף: $\{f_\alpha | f_\alpha:\lambda\rightarrow 2\,, \,\alpha < \kappa\}$ של פונקציות שונות. נסמן $\epsilon_i = m(\{ \alpha < \kappa | f_{\alpha}(i) = 1\})$ ונקבל כי מצד אחד: $m(\{\alpha|\forall i f_\alpha(i) = \epsilon_i\}) = 1$ (מה-κ שלמות - כי זה חיתוך של פחות מ-κ קבוצות ממידה 1) ומצד שני קבוצה זו מכילה לכל היותר איבר אחד, ולכן קיבלנו סתירה.

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

הפער חודד בעקבות העבודה של סקוט בשנות ה-60 על שימוש במונים מדידים כדי לייצר מודל פנימי באמצעות לקיחת על-חזקות של V, עם על-המסנן שמוגדר על המונה המדיד. כיוון שעל המסנן הוא סיגמה-שלם - על החזקה יוצאת מבוססת היטב (כלומר אין בה סדרת $\in$ יורדת אינסופית) ולכן היא איזומורפית למחלקה טרנזיטיבית M שמכילה את כל הסודרים. מתוך שיטה זו נובע כי יש מידת 0-1 על κ בה אוסף כל האי-נשיגים, אוסף כל הקומפקטיים-חלש (ואף מונים עם תכונות חזקות יותר) הם ממידה 1.

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

תכונות של מונים מדידים

• ההנחה שקיים מונה מדיד גוררת את שלילת אקסיומת הקונסטרוקטיביליות (דנה סקוט). תוצאה זו הייתה התוצאה הראשונה שהדגימה את ההגבלה שמטילה האקסיומה V=L על גדלי המונים הגדולים.
• מונה κ הינו מונה מדיד אם ורק אם κ הינו נקודה קריטית של שיכון אלמנטרי $\ j: V \rightarrow M$ (כאשר השיכון גדיר מתוך איברים של V). עבור שיכון אלמנטרי j האוסף: $U = \{X \subset \kappa | \kappa \in j(X)\}$ הוא על-מסנן κ-שלם נורמלי.
• כל מונה מדיד הינו בלתי נגיש (לכן הוא מונה גדול). בנוסף, κ מקיים את תכונת העץ, לכן κ הינו מונה קומפקטי חלש - כי עבור כל עץ בגובה κ שכל רמה בו היא בעלת פחות מ-κ איברים - אנחנו יכולים לבנות באינדוקציה ענף: בכל שלב נבחר את הקודקוד שמידת הקודקודים שמתחתיו בעץ היא 1. יש בדיוק קודקוד יחיד כזה, ומ-κ שלמות תמיד מידת קבוצת האיברים שנמצאים מתחת לכל האיברים שבחרנו בשלב ביניים כלשהו היא 1, ולכן ניתן להמשיך בתהליך.
• $< V_{\kappa + 1},\in> \approx \prod_\alpha < V_{\alpha + 1},\in >/U$, כאשר U על-מסנן κ שלם ונורמלי. כלומר $V_{\kappa + 1}$ איזומורפית לעל-מכפלה של הרישות הקטנות יותר $V_{\alpha + 1}$. בפרט, כל תכונה שניתן לנסח על κ במסגרת $V_{\kappa + 1}$ מתקיימת גם בקבוצה ממידה 1 של סודרים מתחתיו - בפרט יש קבוצה ממידה 1 של קומפקטיים-חלש מתחת המדיד וכן הלאה.
• במודל ללא אקסיומת הבחירה, מונה מדיד לא חייב להיות אי-נשיג. למשל במודל של אקסיומת ההכרעה (כלומר שכל משחק על הממשיים מוכרע), מתקיים שאוסף הקבוצות הסגורות והלא-חסומות ב-$\omega_1$ יוצר על מסנן (סיגמא-שלם), כלומר $\aleph_1$ מדיד.

לקריאה נוספת

• Set theory, third millennium edition - Thomas Jech, Springer 2002
• The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings, 2nd ed - Akihiro Kanamori, Springer 2003