בתשובה לעוזי ו., 31/08/03 0:26
 |
|
 |
||
|
||||
 |
למה סדר טוב גורר סודר? נראה לי שזה עובד רק אם אתה מגדיר סודר בתור כל קבוצה סגורה טרנזיטיבית, במצגת ההגדרה היתה באמצעות פעולות עוקב וגבול. בהצגה כזו, נראה כאילו כל הזמן יש לך איחוד בן מניה של קבוצות בנות מניה. לגבי אקסיומת הבחירה, היא מתחילה להשמע לי פחות ופחות מתאימה למודלים אינטואיטיבים. סדר טוב על הממשיים נשמע "לא טבעי". |
 |
 |
 |
|
|
|
||
|
||||
|
אולי זו סטיה של האינטואציה שלי, אבל כל דבר שקשור ל"אינסופים" גדולים יותר מאלף-אפס נשמע לי "לא טבעי". מעניין גם, אותי לפחות, לדעת למה אני מתכוון כשאני אומר "לא טבעי". למה אתה מתכוון? |
|
|
|
|
|
|
||
|
||||
|
המספרים הטבעיים, מן הסתם, טבעיים בעיניך. קבוצות של מספרים טבעיים - גם (יש להניח). אלא מה, אי-אפשר למנות את כל הקבוצות של מספרים טבעיים (כלומר, למספר אותן, 1,2,3,..., בלי לפספס אפילו אחת). מכאן שהגודל של קבוצת הקבוצות של מספרים טבעיים הוא "יותר מאלף-אפס". מה לא טבעי כאן? |
|
|
|
|
|
|
||
|
||||
|
ראשית, "סודר" מוגדר כקבוצה טרנזיטיבית שהיא גם סדורה-היטב (לגבי יחס השייכות). מסתבר שכל סודר שייך לאחד משני סוגים: עוקב ("גדול באחד" מן הסודר שקדם לו, כמו כל המספרים הטבעיים), או גבול (איחוד כל הסודרים שקטנים ממנו, כמו למשל omega). כמובן שהסודר הראשון שאינו בן מניה, לא יכול להיות עוקב, ולכן הוא גבולי. אם כך, הוא מהווה איחוד (שאינו בן מניה!) של קבוצות בנות מניה. לא בעיה. לא אנסה לשכנע אותך באינטואיטיביות של אקסיומת הבחירה (מה לסאוונות אפריקאיות ולאקסיומות של תורת הקבוצות?). הסדר הרגיל על הממשיים, כמובן, אינו סדר טוב - ואולי בגלל זה נראה לך מוזר ש*קיים* סדר טוב. |
|
|
|
|
|
|
||
|
||||
|
הכל ברור מלבד ה"מסתבר" בראשית המשפט השני בתגובתך, הרי זו בדיוק שאלתי. לגבי סדר טוב על הממשיים, לא "טענתי" שהוא לא אינטואיטיבי אלא "סיפרתי" שהוא לא כזה בעיני. הסדר הרגיל הוא לא סדר טוב גם על הרציונליים ובכל זאת מאוד משכנע (ונכון) שיש עליהם סדר טוב. אגב, האם מספיק להניח את אקסיומת הבחירה על קבוצות בעוצמה כלשהי או שיש צורך להניח אותה על כל הקבוצות? האם קונסיסטנטי להניח, למשל, שאקסיומת הבחירה מתקיימת לעוצמת הרצף אבל לא לעוצמות גבוהות יותר? |
|
|
|
|
|
|
||
|
||||
|
הטענה היא שכל סודר1 הוא עוקב3 או גבולי4. "Take the following rule on faith": כל שני סודרים אפשר להשוות (אם הם שונים, אחד מהם קטן מהשני).כעת, יהי a סודר, ו- b האיחוד של כל האיברים של a (שכמובן גם הוא סודר). אם a=b, סיימנו. אם b>a אז a הוא איבר של b, ולכן איבר של אחת הקבוצות המשתתפות באיחוד של b, שהן איברי a. זה בלתי אפשרי (כי השייכות היא יחס א-סימטרי). נשאר המקרה b<a. אלא שאז, ניקח b'=b+1 (כפי שהוגדר ב3). אם b'>a אז a שייך ל- b+1, ואז a=b או a<b (וזה בלתי אפשרי). אם b'=a, סיימנו. נשאר המקרה b'<a; אז b (המוגדר כאיחוד אברי a) מכיל את b', ובפרט {b} הוא איבר של b - שוב סתירה לא-סימטריות. 1 אולי הגיע הזמן לתת הגדרה מסודרת: סודר הוא קבוצה שיחס השייכות עליה הוא טרנזיטיבי (כלומר, לכל איבר של הקבוצה, כל האיברים שלו הם איברים שלה2) ו*טוב* (לכל תת-קבוצה לא ריקה יש איבר מינימלי). 2 זו תורת-הקבוצות פמיניסטית. 3 דהיינו, מהצורה b+1 כאשר b הוא סודר. הסודר החדש b+1 מוגדר כאיחוד הקבוצה b עם הקבוצה {b} (שיש לה איבר אחד). מבחינת הסדר, זה כמו להדביק נקודה חדשה בראש הסודר הקודם. 4 שווה לאיחוד כל הסודרים הקטנים ממנו (= שייכים לו). |
|
|
|
|
|
|
||
|
||||
|
את קיום W (אומגה, יעני) מניחים ב"אקסיומת האינסוף". מכאן אפשר להגיע לסודרים מעוצמות גבוהות יותר ע"י אקסיומה נוספת ומספר עובדות בסיסיות: ראשית, איחוד של קבוצת סודרים היא בברור סודר. מכאן נגיע למסקנה ש"אוסף כל הסודרים" או כל אוסף של סודרים אשר -איננו חסום-, לא יכול להיות קבוצה. כעת נניח בשלילה שכל סודר K מעל W הוא מעוצמה א0. אם כך, קיימת פונקציה חח"ע f:K ----> W, ופונקציה זו מגדירה על W סדר טוב מה"טיפוס סדר" של K. אולם אם כך, נוכל כעת להגדיר פונקציה שתחומה (P(WxW (קבוצת החזקה של WxW), כך שתמונתו של איבר היא אפס אם איננו סדר טוב, והסודר המתאים a באם הוא סדר טוב מטיפוס a. בכך יצרנו פונקציה שתחומה הוא קבוצה (לפי אקסיומת החזקה), והטווח שלה הוא מחלקת כל הסודרים פחות W, אשר איננה קבוצה. זה בלתי אפשרי לפי "אקסיומת ההחלפה". עד כמה שאני מבין עוזי מדייק - הרבה מאוד מודלים שמוכיחים טענות אי-תלות בתורת הקבוצות הם בני-מניה לחלוטין. זה נוח מאוד מכיוון שבדר"כ מנסים "להרחיב" מודל בן-מניה כך שיכלול מה שקרוי "קבוצה גנרית", ובכך "לכפות" על ההרחבה הגנרית לקיים תכונות מסוימות. במודל בן-מניה מובטח לנו שקיימת קבוצה גנרית לכל אוסף תנאים מתיישבים, גם מבלי להשתמש בכלים כגון אקסיומת מרטין (אשר מבטיחה לנו קיום קבוצה גנרית לעוצמות גדולות יותר מ א0). במודל בן-מניה, בפרט כל הסודרים והמונים הם בני מניה. |
|
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |