הפרדוקס של בנך-טרסקי (באנגלית: Banach-Tarski Paradox) הוא משפט מתמטי, הקובע שאפשר לחלק כדור למספר סופי של חלקים לא חופפים באופן כזה שאחרי הזזה וסיבוב של החלקים, ניתן יהיה להרכיב מהם שני כדורים מלאים, זהים במידותיהם לכדור המקורי. המשפט מסתמך במידה רבה על עבודה קודמת של האוסדורף, ויש המכנים אותו "פרדוקס בנך-האוסדורף-טרסקי" בשל כך.
התוצאה נקראת "פרדוקס" משום שהיא סותרת את האינטואציה ואת הגישה הגאומטרית והפיזיקלית השכיחה. עם זאת, אין במשפט שום בעיה לוגית. הוכחת המשפט דורשת שימוש באקסיומת הבחירה.
דומה, שאם שתי צורות הן חופפות-בחלקים, נכון לומר שיש להן אותו "שטח" או "נפח". ואומנם כבר אוקלידס השתמש ברעיון זה בספרו "יסודות" כדי להגדיר מתי לשתי צורות במישור הדו-ממדי יש אותו שטח; ניתן להראות שהגדרה זו מתיישבת עם ההגדרה המודרנית של שטח.
אולם כאשר מנסים להחיל הגדרה זו על קבוצות מממדים גבוהים יותר, מתברר שעבור כל שתי קבוצות חסומות בעלות פנים לא ריק הן חופפות בחלקים. זהו תוכנו של המשפט שהוכח על ידי סטפן בנך ואלפרד טרסקי ב-1924. חשוב להעיר שחלק הארי של ההוכחה פורסם כבר בשנת 1914 על ידי פליקס האוסדורף, שבנה "פרדוקס" דומה עבור מעטפת כדורית דו-ממדית.
המשמעות המיוחסת לפרדוקס
כבר עמדנו על כך, שכל פונקציית שטח "סבירה" צריכה לכבד חפיפה-בחלקים, כלומר - שלקבוצות חופפות-בחלקים יהיה אותו שטח. באמצעות פרדוקס דומה, האוסדורף ביקש להראות שלא ניתן להגדיר פונקציית שטח "סבירה" שכזו על כל תת-הקבוצות של הספֵירה הדו-ממדית (אף על פי שעל הקבוצות הדו-ממדיות במישור כן ניתן לעשות זאת). ב-1914 מצא האוסדורף בחבורת המטריצות האורתוגונליות תת-חבורה שהיא מכפלה חופשית ולכן פועלת פעולה פרדוקסלית על הספירה (לאחר סילוק קבוצה בת מנייה).
את פרדוקס בנך-טרסקי ניתן לפרש ברוח זו כהעשרה משמעותית של אותה טענה: עבור , אם מנסים להגדיר שוויון נפח בין תת-קבוצות של המרחב האוקלידי ה--ממדי, חייבים לקבל אחת מבין שלוש המגבלות הבאות:
היחס לא יהיה מוגדר על כל תת-הקבוצות של המרחב, אלא רק על קומץ מבין מגוון הקבוצות;
היחס לא יכבד חפיפה-בחלקים - כלומר, צורות חופפות-בחלקים יוגדרו לעיתים כבעלות נפח שונה;
היחס יהיה מנוון - כל שתי קבוצות (חסומות ובעלות פנים לא ריק) תוגדרנה כשוות נפח.
טרסקי ובנך הדגישו את העובדה, שהבניה של הפרדוקס מסתמכת על אקסיומת הבחירה (ולמעשה ניתן להראות, שבלעדיה בניית הפירוק איננה אפשרית). נראה שמטרתם הייתה להשתמש בפרדוקס כעדות לכך שיש לזנוח את אקסיומת הבחירה. עם זאת, על אף שהוא מכונה "פרדוקס", אין במשפט זה הוכחה של סתירה לוגית, שהייתה מחייבת שינוי באקסיומות. מרבית המתמטיקאים ממשיכים להשתמש באקסיומת הבחירה, ורואים במשפט "מוזרות" המצביעה על אחד הפערים בין האינטואיציה האנושית לאמת המתמטית. החלקים עצמם מהם מרכיבים את הכדורים בפרדוקס הם קבוצות בלתי מדידות לפי מידת לבג, כלומר אי אפשר להגדיר להן נפח באופן טבעי. עובדה זו תורמת ל"קבלת" הפרדוקס בקרב מתמטיקאים.
סקיצה של הוכחה
באופן דומה להוכחה של משפט קנטור-שרדר-ברנשטיין ניתן להראות שהיחס " חופף-בחלקים לתת-קבוצה של " הוא יחס סדר חלקי. לכן אם נצליח להראות שכדור חופף-בחלקים ל-2 כדורים מאותו גודל (ומכאן שהוא חופף-בחלקים לכל מספר סופי של כדורים מאותו גודל), נוכל להראות שכל שתי קבוצות חסומות עם פנים לא ריק (כלומר, המכילות כדור וניתנות לכיסוי על ידי מספר סופי של כדורים מכל גודל נתון) הן חופפות-בחלקים זו לזו.
עושים זאת כך:
מראים שבחבורת הסיבובים של ספירת היחידה, , ניתן למצוא תת-חבורה חופשית, , בשני יוצרים, ו-.
ניתן למצוא "פירוק פרדוקסלי" ל- , כלומר להציג אותה כאיחוד זר של חמש קבוצות:
כך שניתן להרכיב שני עותקים של מהקבוצות הללו על ידי הכפלת הקבוצות באיברים מ-:
וכן
.
אם מסירים מספירת היחידה את הקבוצה (בת המנייה) של נקודות השבת של מתקבלת תת-קבוצה, , ש- פועלת עליה באופן חופשי - כלומר, שאף איבר מ-, למעט איבר היחידה, אינו משאיר אף איבר מ- במקומו.
על ידי בחירת קבוצת נציגים מכל אחד מהמסלולים שבהן פועלת על , והפעלת הקבוצות מהפירוק הפרדוקסלי של על קבוצת נציגים זו, מתקבל "פירוק פרדוקסלי" של - כלומר הצגה של כאיחוד זר של חמש קבוצות, כך שמשני זוגות של קבוצות ניתן להרכיב עותק של על ידי הפעלת איזשהו סיבוב על הקבוצות.
נותר רק להראות ש- חופפת-בחלקים לכל הספירה (כלומר, שניתן להחזיר מספר בן מנייה של נקודות על ידי פירוק והרכבה מחדש של ). כך מתקבל פירוק פרדוקסלי של הספירה. כעת, קל לחלק את הכדור כולו על ידי מתיחת קו ישר מכל נקודה בספירה למרכזה. כך מתקבל פירוק פרדוקסלי של הכדור כולו, למעט המרכז. על ידי חפיפה-בחלקים אחרונה מוסיפים את הנקודה הזו, כך שמתקבל פירוק פרדוקסלי של הכדור לשני כדורים זהים, כנדרש.