הצגת המקור של הדף "הפרדוקס של שרפינסקי-מזורקביץ'"

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

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

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

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

==תיאור הפרדוקס==
הפרדוקס קובע כי קיים אוסף <math>A</math> של נקודות במישור שניתן לחלק אותו לשתי קבוצות זרות: <math>A_1</math> ו-<math>A_2</math>, כך שמתקיימת התכונה הבאה:
*[[הזזה (גאומטריה)|הזזה]] של <math>A_1</math> יחידה אחת שמאלה נותנת את <math>A</math> המקורית.
*[[סיבוב]] של <math>A_2</math> [[רדיאן]] אחד ב[[כיוון השעון]] סביב הראשית נותן את <math>A</math> המקורית.

הקבוצה <math>A</math> הנבנית בהוכחה היא [[קבוצה אינסופית]] [[קבוצה בת מנייה|בת מנייה]] לא [[קבוצה חסומה|חסומה]].

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

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

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

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

דרך נוספת להסתכל על <math>A</math> היא כקבוצה הקטנה ביותר שמכילה את הראשית ו[[סגירות (אלגברה)|סגורה]] לפעולת ההזזה ב-1 והסיבוב ב-<math>\theta</math> סביב הראשית.

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

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

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

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

==קישורים חיצוניים==
<div class="mw-content-ltr">
*Miklós Laczkovich, [http://rendiconti.dmi.units.it/volumi/23/04.pdf Equidecomposability of sets, invariant measures, and paradoxes]
</div>
[[קטגוריה:פרדוקסים|שרפינסקי-מזורקביץ']]
[[קטגוריה:משפטים בתורת המידה|שרפינסקי-מזורקביץ']]
[[קטגוריה:משפטים בגאומטריה|שרפינסקי-מזורקביץ']]