הפרדוקס של שרפינסקי-מזורקביץ'

במתמטיקה, **הפרדוקס של שרפינסקי-מזורקביץ**' מתייחס לעובדה הלא אינטואיטיבית שקיימת תת-קבוצה (לא ריקה) של המישור, אותה ניתן לפצל לשתי תת-קבוצות זרות שכל אחת מהן חופפת לקבוצה המקורית.

המילה "פרדוקס" משמשת כדי לציין את חוסר האינטואיטיביות של התוצאה, ואין בכך רמיזה שישנה בעיה לוגית כלשהי בנכונותה.

התוצאה הוכחה ב-1914 על ידי ואצלב שרפינסקי ותלמידו סטפן מזורקביץ', שהדגימו בנייה מפורשת של הקבוצה. 

הפרדוקס של שרפינסקי-מזורקביץ הוא דוגמה מוקדמת יחסית לפירוק פרדוקסלי. הוא נחשב למפתיע פחות מהפרדוקס של בנך-טרסקי, אולם בניגוד לפרדוקס של בנך-טרסקי הוא אינו מסתמך על אקסיומת הבחירה, והבנייה של הקבוצה היא קונסטרוקטיבית לחלוטין.

## תיאור הפרדוקס
הפרדוקס קובע כי קיים אוסף A של נקודות במישור שניתן לחלק אותו לשתי קבוצות זרות: A_1 ו-A_2, כך שמתקיימת התכונה הבאה:
*הזזה של A_1 יחידה אחת שמאלה נותנת את A המקורית.
*סיבוב של A_2 רדיאן אחד בכיוון השעון סביב הראשית נותן את A המקורית.

הקבוצה A הנבנית בהוכחה היא קבוצה אינסופית בת מנייה לא חסומה.

## בניית הקבוצה
לצורך נוחות נעבוד עם המישור המרוכב. נבחר מספר מרוכב טרנסצנדנטי (מספר שאינו שורש של אף פולינום במקדמים שלמים) c=e^{i\theta} שנמצא על מעגל היחידה. קיומו של מספר כזה מובטח משיקולי ספירה: עוצמת מעגל היחידה היא עוצמת הרצף, בעוד יש רק מספר בן-מנייה של מספרים שאינם טרנסצנדנטיים.

נגדיר את הקבוצות:
*A היא קבוצת כל הפולינומים במקדמים טבעיים ב-c (כאשר אנו מחשיבים גם את 0 כמספר טבעי) - A=\{a_nc^n+\ldots+a_1c+a_0 \mid a_n\ldots,a_0\in \mathbb{N}\}
*A_1 היא קבוצת כל הפולינומים במקדמים טבעיים ב-c עם מקדם חופשי חיובי - A_1=\{a_nc^n+\ldots+a_1c+a_0 \mid a_n\ldots,a_0\in \mathbb{N}\ , a_0>0\}
*A_2 היא קבוצת כל הפולינומים במקדמים טבעיים ב-c עם מקדם חופשי אפס - A_2=\{a_nc^n+\ldots+a_1c \mid a_n\ldots,a_1\in \mathbb{N}\}

ברור כי A=A_1\cup A_2. נוכיח כי זהו איחוד זר: נניח בשלילה שקיים איבר בחיתוך. כלומר קיימים פולינומים p_1(t),p_2(t)\in \mathbb{N}[t] כך ש-p_1(c)=p_2(c), כאשר ל-p_1 מקדם חופשי חיובי ול-p_2 מקדם חופשי 0. מכאן ש-(p_1-p_2)(c)=0, אולם c מספר טרנסצנדנטי, ולכן p_1-p_2 פולינום האפס, בסתירה לכך ש-p_1\ne p_2 (מקדמים חופשיים שונים).

כעת נבחין בחפיפות הבאות:
:הזזה של A ב-1 נותנת את A_1: A+1=\{a_nc^n+\ldots+a_1c+a_0+1 \mid a_n\ldots,a_0\in \mathbb{N}\}=A_1
:סיבוב של A בזווית \theta נותן את A_2 (נזכור שבמישור המרוכב סיבוב בזווית \theta שקול לכפל ב-c): cA=\{a_nc^{n+1}+\ldots+a_1c^2+a_0c \mid a_n\ldots,a_0\in \mathbb{N}\}=A_2

דרך נוספת להסתכל על A היא כקבוצה הקטנה ביותר שמכילה את הראשית וסגורה לפעולת ההזזה ב-1 והסיבוב ב-\theta סביב הראשית.

אם נבחר את c=e^i נקבל בדיוק את הדוגמה שניתנה בתיאור הפרדוקס (זהו מספר טרנסצנדנטי לפי משפט לינדמן).

## תוצאות נוספות
שרפינסקי הוכיח שלא קיימת קבוצה דומה בישר. למעשה נכונה גם תוצאה חזקה יותר: לא קיימת קבוצה בישר שמתפרקת לשתי קבוצות חופפות לה בחלקים (שתי קבוצות חופפות בחלקים אם ניתן לפרק אותן למספר סופי של חלקים כך שכל חלק בפירוק של אחת חופף לחלק המקביל בפירוק של האחרת).

לא קיימת קבוצה חסומה במישור שמקיימת את הפרדוקס. לעומת זאת קיימת קבוצה חסומה במישור שמתפרקת לשני חלקים שחופפים לה בחלקים.

סטפן בנך הוכיח שקיימת הרחבה של מידת לבג לפונקציה \mu המוגדרת על כל הקבוצות במישור והיא אדיטיבית (סופית) ואינווריאנטית לאיזומטריות. מכך נובע שכל קבוצה מדידה שמקיימת את הפרדוקס של שרפינסקי-מזורקביץ' היא בהכרח ממידה אפס או אינסוף (מכיוון ש-\mu(A)=\mu(A_1)+\mu(A_2)=2\mu(A)).

## קישורים חיצוניים

*Miklós Laczkovich, Equidecomposability of sets, invariant measures, and paradoxes

שרפינסקי-מזורקביץ'
שרפינסקי-מזורקביץ'
שרפינסקי-מזורקביץ'