הצגת המקור של הדף "השערת המונה החריג"

ב[[תורת הקבוצות]], '''השערת המונה החריג (SCH)''' היא ההנחה ש[[השערת הרצף]] לא נכשלת ב[[קופינאליות (תורת הקבוצות)|מונים חריגים]] באופן לא טריוויאלי. למונח "לא טריוויאלי" יש שני מובנים מקובלים:
# אם המונה החריג <math>\mu</math> הוא '''גבולי בחזק''', כלומר לכל <math>\lambda < \mu</math> מתקיים <math>2^{\lambda} < \mu</math>, אז מתקיים <math>2^{\mu} = \mu^{+}</math>
# אם <math>2^{\mbox{cf } \mu} < \mu</math> אז <math>\mu^{\mbox{cf } \mu} = \mu^{+}</math>

הגרסה השנייה גוררת את הראשונה, ואינה נובעת ממנה (<math>\mbox{cf} (\kappa)</math> היא ה[[קופינליות]] של <math>\kappa</math>).

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

לאורך הערך, הפונקציה <math>\kappa \rightarrow 2^{\kappa}</math> המקבלת [[עוצמה (מתמטיקה)|מונה]] <math>\kappa</math> ומחזירה את [[עוצמה (מתמטיקה)|עוצמת]] [[קבוצת חזקה|קבוצת החזקה]] שלו, תיקרא "פונקציית הרצף". 
== רקע ==
זמן קצר יחסית לאחר פיתוח שיטת ה[[כפייה (לוגיקה מתמטית)|כפייה]] על ידי [[פול כהן]] והדגמת אי התלות של השערת הרצף, בשנת [[1970]], פרסם [[ויליאם אסטון]] כפייה המאפשרת לקבל ערכים כרצוננו לפונקציית הרצף, עבור כל המונים הסדירים. המגבלות היחידות היו המונוטוניות של פונקציית הרצף ו[[משפט קניג (תורת הקבוצות)|משפט קניג]], <math>\mbox{cf}(2^{\kappa}) > \kappa</math>. תוצאה זאת נקראת '''משפט אסטון'''. 

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

== מגבלות ב-ZFC ==
בשנת [[1975]] פורסמו תוצאות ראשונות שהדגימו את המגבלות הנוספות שקיימות בהפרת השערת הרצף במונים חריגים. [[ג'ק סילבר]] הוכיח כי לא ניתן להפר את השערת הרצף בפעם הראשונה במונה חריג מ[[קופינליות]] [[קבוצה שאינה בת מנייה|שאינה בת מנייה]]. למשל, אם לכל <math>\alpha < \omega_1</math> מתקיים <math>2^{\aleph_\alpha} = \aleph_{\alpha + 1}</math> אז בהכרח <math>2^{\aleph_{\omega_1}} = \aleph_{\omega_1 + 1}</math>.
זמן קצר לאחר מכן פורסם משפט Hajnal-Galvin. המשפט קבע כי אם <math>\aleph_\alpha</math> מונה חריג עם קופינליות לא [[קבוצה בת מנייה|בת מנייה]], אז <math>2^{\aleph_{\alpha}} < \aleph_{\gamma}</math> כאשר <math>\gamma = (2^{|\alpha|})^{+}</math>. 

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

בשנת [[1978]], [[שהרן שלח]] התחיל לפרסם תוצאות מתורת ה-pcf, אותה הוא פיתח. הרעיון הכללי שבבסיס תורה זו הוא שניתוח נכון של התנהגות אריתמטיקת המונים במונים חריגים ינבע מהבנה של יחסי סדר מהצורה <math>\prod_{i \in A} \lambda_i / I</math>, כאשר <math>\lambda_i</math> מונים סדירים שגבולם המונה החריג בו אנו מתעניינים ו-I הוא [[מסנן (תורת הקבוצות)|אידיאל]] על קבוצת האינדקסים A. רעיונות דומים, בצורה הרבה פחות מפותחת, הופיעו בהוכחות של משפט סילבר ומשפט Hajnal-Galvin. שיטה זו אפשרה להשיג תוצאות על התנהגות פונקציית הרצף במונים חריגים מקופינאליות בת מנייה. במסגרת הזו, בשנת [[1982]], שלח הוכיח את החסם המפורסם:
:<math>2^{\aleph_\omega} < \aleph_{\omega_4}</math>, תחת ההנחה ש-<math>\aleph_\omega</math> גבולי חזק.
חסם זה לא שופר מאז.
==תוצאות אי תלות ==
כדי להוכיח את עקביות שלילת השערת המונה החריג יש להניח קיום [[מונה גדול|מונים גדולים]] למדי. קיים קשר הדוק בין שלילת SCH לבין שלילת השערת הרצף במונה מדיד. בכיוון אחד, הסיבה היא קיום כפייה (הנקראת כפיית פריקרי, Prikry Forcing) שהופכת מונה מדיד למונה חריג מקופינליות <math>\omega</math>, בלי למוטט מונים. לכן מתוך מודל בו השערת הרצף נכשלת במונה מדיד ניתן לעבור, על ידי כפיית פריקרי, למודל בו השערת הרצף נכשלת במונה חריג. הכיוון השני הוא מורכב יותר וניתן על ידי [[תורת המודלים]] הפנימיים. 

[[מוטי גיטיק]] הוכיח כי [[חוזק התיישבות|חוזק ההתיישבות]] של שלילת SCH הוא בדיוק קיום [[מונה מדיד]] <math>\kappa</math> מ[[מונה מדיד#סדר מיטשל של מונה מדיד|סדר מיטשל]] <math>\kappa^{++}</math>. הוא הראה זאת, מצד אחד, על ידי בניית כפייה שמשאירה את <math>\kappa</math> מדיד אך מגדילה את קבוצת החזקה שלו לעוצמה <math>\kappa^{++}</math>. כפייה זו מבוססת על בנייה דומה של סילבר, שהשתמשה ב[[מונה על-קומפקטי]]. מצד שני, על ידי שימוש בתורת [[מודל פנימי (תורת הקבוצות)|המודלים הפנימיים]], הוא הוכיח כי אם SCH נכשלת במונה מסוים, אז יש מודל פנימי עם מונה מדיד <math>\kappa</math> מסדר מיטשל <math>\kappa^{++}</math>.

[[מנחם מגידור]] הוכיח כי שלילת SCH במונה המינימלי האפשרי, <math>\aleph_\omega</math>, היא עקבית תחת הנחת קיום מונה על קומפקטי. במודל שמתקבל, מתקיים <math>2^{\aleph_n} = \aleph_{n+1}</math> לכל [[מספר טבעי]] אבל <math>2^{\aleph_\omega} = \aleph_{\omega + 2}</math>. תוצאה זו מדגימה כי משפט סילבר אינו תקף במונים מקופינאליות בת מנייה. בהמשך, מגידור ושלח שיפרו את הבנייה הזו והראו כי ניתן להשיג <math>2^{\aleph_\omega} = \aleph_{\beta + 1}</math> לכל סודר בן מנייה אינסופי <math>\beta</math>. 

השאלה האם ייתכן כי <math>2^{\aleph_\omega} > \aleph_{\omega_1}</math>, כאשר <math>\aleph_\omega</math> גבולי חזק, היא [[בעיה פתוחה]] מרכזית בתורת הקבוצות.

[[קטגוריה:תורת הקבוצות]]
[[קטגוריה:בעיות פתוחות במתמטיקה]]