בתשובה להשפן הכותב, 08/03/03 22:37
 |
|
 |
||
|
||||
 |
מכיוון שכבר הועלו כאן מספר גרסאות לפרדוקס, כדאי להבהיר מאיפה הוא בא. במקור, בנך וטארסקי ביקשו להדגיש את האבסורדיות שבאקסיומת הבחירה (כל כך אבסורדית, עד שמי שמאמין באקסיומה הזו נדרש להאמין גם בתוצאות משונות כמו האפשרות לפרק כדור לעשרה חלקים שמהם אפשר להרכיב שני כדורים באותו גודל, ועוד דברים משונים כאלה). התוצאה היתה, (כך נראה,) שמתמטיקאים אימצו בחדווה את המשפט החדש, ואף נתנו שם לתופעה (''קבוצות פרדוקסליות'', שנחקרות במסגרת תורת המידה). כמה מוצלחת אקסיומת הבחירה, אם אפשר להוכיח ממנה כאלו תוצאות יפות. לעניין הגרסאות השונות שהוזכרו, ה''פרדוקס'' נובע מהעובדה שלחבורת הסיבובים של הכדור (בכל מימד משלוש ומעלה) יש תת-חבורה חופשית (מאינדקס סופי). לחבורה החופשית יש הרבה תת-חבורות שגם הן חופשיות, ומכאן בעצם מתחילה החגיגה. כל הוריאציות של הפרדוקס נובעות מפירוק החבורה החופשית למחלקות שהן ''בעצם'' החבורה כולה. |
 |
 |
 |
|
|
|
||
|
||||
|
רגע, אז למה בעצם לקבל את אקסיומת הבחירה? מה ה"מחיר" של אי-קבלתה? |
|
|
|
|
|
|
||
|
||||
|
אתר מצוין שעונה בשפה פשוטה על שתי שאלותיו של גיל (ועל רבות אחרות): |
|
|
|
|
|
|
||
|
||||
|
ראה תגובה 132635. הלמה של צורן שקולה לטענה "לכל חוג (עם יחידה) יש אידיאל מקסימלי", ובלי זה תורת המבנה של חוגים תהיה מוגבלת לחוגים "קטנים" (שבהם אפשר להוכיח את קיום האידיאלים המקסימליים בדרכים אחרות). פרקטית, זו הסיבה שאני מקבל את אקסיומת הבחירה. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |