הפרדוקס של בנך-טרסקי
מתוך ויקיפדיה, האנציקלופדיה החופשית
הפרדוקס של בנך-טרסקי (Banach-Tarski Paradox) הוא משפט מתמטי, הקובע שאפשר לחלק כדור למספר קטן וסופי של נתחים זרים באופן כזה שניתן להרכיב מהם שני כדורים זהים במידותיהם לכדור המקורי, על ידי הזזה וסיבוב בלבד. המשפט מסתמך במידה רבה על עבודה קודמת של האוסדורף, ויש המכנים אותו "פרדוקס בנך-האוסדורף-טרסקי" בשל כך.
[עריכה] הסבר מפורט לתוכן המשפט
נגדיר יחס שקילות בין תתי קבוצות של מרחב אוקלידי (n-ממדי) כך: A ו-B תקראנה חופפות-בחלקים אם ניתן להציג את A ו-B כאיחוד זר של קבוצות , כך שלכל מתקיים ש Ai ו- Bi חופפות, כלומר כך שקיימות העתקות צפידות (שומרות מרחק) חח"ע ועל .
דומה, שאם שתי צורות הן חופפות-בחלקים, נכון לומר שיש להן אותו "שטח" או "נפח". ואומנם כבר אוקלידס השתמש ברעיון זה ב"יסודות" כדי להגדיר מתי לשתי צורות במישור הדו-ממדי יש אותו שטח; ניתן להראות שהגדרה זו מתיישבת עם ההגדרה המודרנית של שטח.
אולם כאשר מנסים להחיל הגדרה זו על קבוצות מממדים גבוהים יותר, מתברר שעבור כל שתי קבוצות חסומות בעלות פנים לא ריק הן חופפות בחלקים. זהו תוכנו של המשפט שהוכח על ידי סטפן בנך ואלפרד טרסקי ב-1924. חשוב להעיר שחלק הארי של ההוכחה פורסם כבר בשנת 1914 על ידי פליקס האוסדורף, שבנה "פרדוקס" דומה עבור מעטפת כדורית דו-ממדית.
[עריכה] המשמעות המיוחסת לפרדוקס
כבר עמדנו על כך, שכל פונקציית שטח "סבירה" צריכה לכבד חפיפה-בחלקים, כלומר - שלקבוצות חופפות-בחלקים יהיה אותו שטח. באמצעות פרדוקס דומה, האוסדורף ביקש להראות שלא ניתן להגדיר פונקציית שטח "סבירה" שכזו על כל תתי הקבוצות של הספירה הדו-ממדית (אף על פי שעל הקבוצות הדו-ממדיות במישור כן ניתן לעשות זאת).
את פרדוקס בנך-טרסקי ניתן לפרש ברוח זו כהעשרה משמעותית של אותה טענה: עבור , אם מנסים להגדיר שוויון נפח בין תתי קבוצות של המרחב האוקלידי ה-n-ממדי, חייבים לקבל אחת מבין שלוש המגבלות הבאות:
- היחס לא יהיה מוגדר על כל תתי-הקבוצות של המרחב, אלא רק על קומץ מבין מגוון הקבוצות.
- היחס לא יכבד חפיפה-בחלקים - כלומר, צורות חופפות-בחלקים יוגדרו לעתים כבעלות נפח שונה.
- היחס יהיה מנוון - כל שתי קבוצות (חסומות ובעלות פנים לא ריק) תוגדרנה כשוות נפח.
טרסקי ובנך הדגישו את העובדה, שהבניה של הפרדוקס מסתמכת על אקסיומת הבחירה (ולמעשה ניתן להראות, שבלעדיה בניית הפירוק איננה אפשרית). נראה שמטרתם הייתה להשתמש בפרדוקס כעדות לכך שיש לזנוח את אקסיומת הבחירה. עם זאת, חשוב להדגיש שעל אף שהוא מכונה "פרדוקס", אין במשפט זה הוכחה של סתירה לוגית, שהייתה מחייבת שינוי באקסיומות. מרבית המתמטיקאים ממשיכים להאמין ולהשתמש באקסיומת הבחירה, ורואים במשפט כ"מוזרות" המצביעה על אחד הפערים בין האינטואיציה האנושית לאמת המתמטית.
[עריכה] סקיצה של הוכחה
- באופן דומה להוכחה של משפט קנטור-ברנשטיין ניתן להראות שהיחס "A חופף-בחלקים לתת-קבוצה של B" הוא יחס סדר חלקי. לכן אם נצליח להראות שכדור חופף-בחלקים ל-2 כדורים מאותו גודל (ומכאן שהוא חופף-בחלקים לכל מספר סופי של כדורים מאותו גודל), נוכל להראות שכל שתי קבוצות חסומות עם פנים לא ריק (כלומר, המכילות כדור וניתנות לכיסוי על-ידי מספר סופי של כדורים מכל גודל נתון) הן חופפות-בחלקים זו לזו.
עושים זאת כך:
- מראים שבחבורת הסיבובים של ספירת היחידה, , ניתן למצוא תת-חבורה חופשית, F, בשני יוצרים, a ו-b.
- ניתן למצוא "פירוק פרדוקסלי" ל- F, כלומר להציג אותה כאיחוד זר של חמש קבוצות:
כך שניתן להרכיב שני עותקים של F מהקבוצות הללו על-ידי הכפלת הקבוצות באיברים מ-F :
וכן .
- אם מסירים מספירת היחידה את הקבוצה (בת המניה) של נקודות השבת של F מתקבלת תת-קבוצה, T, ש-F פועלת עליה באופן חופשי - כלומר, שאף איבר מ-F, למעט איבר היחידה, אינו משאיר אף איבר מ-T במקומו.
- על-ידי בחירת קבוצת נציגים מכל אחד מהמסלולים שבהן F פועלת על T, והפעלת הקבוצות מהפירוק הפרדוקסלי של F על קבוצת נציגים זו, מתקבל "פירוק פרדוקסלי" של T - כלומר הצגה של T כאיחוד זר של חמש קבוצות, כך שמשני זוגות של קבוצות ניתן להרכיב עותק של T על-ידי הפעלת איזשהו סיבוב על הקבוצות.
- נותר רק להראות ש-T חופפת-בחלקים לכל הספירה (כלומר, שניתן להחזיר מספר בן-מניה של נקודות על-ידי פירוק והרכבה מחדש של T). כך מתקבל פירוק פרדוקסלי של הספירה. כעת, קל לחלק את הכדור כולו על ידי מתיחת קו ישר מכל נקודה בספירה למרכזה. כך מתקבל פירוק פרדוקסלי של הכדור כולו, למעט המרכז. על-ידי חפיפה-בחלקים אחרונה מוסיפים את הנקודה הזו, כך שמתקבל פירוק פרדוקסלי של הכדור לשני כדורים זהים, כנדרש.