הצגת המקור של הדף "משפט העקום של ז'ורדן"

[[קובץ:Curved Jordan.png|ממוזער|120x120 פיקסלים|המחשה של משפט עקומת ז'ורדן. עקומת ז'ורדן מחלקת את המישור לאזור "פנימי" (בכחול) ואזור חיצוני (בורוד).]]
'''עקום ז'ורדן''' הוא [[לולאה (טופולוגיה)|לולאה]] פשוטה במישור, כלומר [[מסילה (מתמטיקה)|מסילה]] המתחילה ומסתיימת באותה הנקודה ושאינה חותכת את עצמה. '''משפט העקום של ז'ורדן''' קובע שכל עקום ז'ורדן מחלק את המישור לשני תחומים [[קשירות|קשירים]]: התחום ה"פנימי" החסום, וה[[משלים (מתמטיקה)|משלים]] שלו – התחום ה"חיצוני" שאינו חסום. תמונתו של העקום במישור היא [[שפה (טופולוגיה)|שפתם]] המשותפת של שני רכיבי הקשירות. בפרט נובע שכל מסילה העוברת בשני התחומים חייבת לחתוך את העקום.

[[ברנרד בולצאנו]] היה הראשון לנסח את המשפט באופן פורמלי והציג אותו כהשערה. המשפט נראה מובן מאליו, ואכן הוכחת המשפט עבור עקומי ז'ורדן [[מצולע]]ים היא אלמנטרית, אך עם זאת ההוכחה עבור עקום ז'ורדן כללי אינה פשוטה כלל ועיקר. למרות ההגדרה האלמנטרית למושג של עקום ז'ורדן, עקומים כאלה יכולים להיות מסובכים למדי כדוגמת [[פרקטל]], ולהיראות מקומית למשל כמו [[פונקציית ויירשטראס]]. במקרים כאלה קשה להסיק מרציפות העקומה, שהיא תכונה מקומית, מסקנות לגבי קשירוּת של קבוצות המישור, שהיא תכונה גלובלית, וכן קשה לעיתים להבין מהו התחום הפנימי, שכן אין דרך להגדיר "פנים" ו"חוץ" לעקומה.{{הערה|Fiona Rossa and William T. Rossb, [http://www.maths.ed.ac.uk/~aar/papers/jordan-revised "The Jordan curve theorem is non-trivial"]|כיוון=שמאל}} המשפט נקרא על שם ה[[מתמטיקאי]] [[קאמי ז'ורדן]] שניסח אותו לראשונה בשנת [[1887]].{{הערה|באתר [http://www.maths.ed.ac.uk/~aar/jordan/jordan.pdf cours d'analyse] באתר [[אוניברסיטת אדינבורו]]}} תקפותה של ההוכחה שז'ורדן הציג למשפט הייתה נתונה לוויכוח,{{הערה|Thomas C. Hales, [http://www.maths.ed.ac.uk/~aar/papers/hales1.pdf Jordan’s Proof of the Jordan Curve Theorem]|כיוון=שמאל}} ובכל מקרה המשפט הוכח באופן מלא בשנת [[1905]] על ידי [[אוסוולד וובלן]] {{אנ|Oswald Veblen}}.

==נוסח פורמלי והכללות==

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

להלן בכל המקרים נסמן <math>I := \left[0,1\right]</math> ונסמן את התמונה של העתקה <math>\gamma</math> על ידי <math>\mathcal{G}</math>.

'''משפט העקום של ז'ורדן''': תהי <math>\gamma:I \to \mathbb{R}^2</math> לולאה פשוטה במישור (ניתן להתייחס למישור גם כאל <math>\mathbb{C}</math>, היות שכ[[מרחב טופולוגי]] הם שקולים). אזי המרחב <math>X := \mathbb{R}^2 \backslash \mathcal{G}</math> הוא איחוד של שני רכיבי קשירות, האחד חסום והאחר לא חסום, ששפתם המשותפת היא <math>\mathcal{G}</math>.

'''משפט ההפרדה של ז'ורדן-בראואר''' (הכללה לממד גבוה): נסמן את קוביית היחידה ה-<math>n</math>-ממדית על ידי <math>I^n = \left[0,1\right]^n \subset \mathbb{R}^n</math>. נגדיר "עקום ז'ורדן <math>n</math>-ממדי" להיות העתקה רציפה מהצורה <math>\gamma:I^n \to \mathbb{R}^{n+1}</math>, שהיא "לולאה" במובן זה שהיא מקבלת את אותו הערך על שפת התיבה <math>I^n</math>, והיא "פשוטה" במובן זה שהיא לא חותכת את עצמה, כלומר חח"ע, על פנים התיבה <math>I^n</math>. אזי המרחב <math>X := \mathbb{R}^{n+1} \backslash \mathcal{G}</math> הוא איחוד של שני רכיבי קשירות, האחד חסום והאחר לא חסום, ששפתם המשותפת היא <math>\mathcal{G}</math>.

'''משפט אלכסנדר''' (הכללה ליריעות): כל תת-[[יריעה טופולוגית]] <math>n</math>-ממדית קשירה ו[[קבוצה קומפקטית|קומפקטית]] של המרחב האוקלידי <math>\mathbb{R}^{n+1}</math> מחלקת את המרחב לשני רכיבי קשירות, האחד חסום והאחר לא חסום, כאשר היריעה היא השפה המשותפת שלהם.

'''משפט ז'ורדן-שונפילד''': תהי <math>\gamma:I \to \mathbb{R}^2</math> לולאה פשוטה במישור. אזי קיים [[הומאומורפיזם]] <math>\Phi:\mathbb{R}^2 \to \mathbb{R}^2</math> המקיים כי <math>\Phi \left(\mathcal{G}\right)</math> הוא מעגל היחידה <math>S^1</math>.

===הוכחה באמצעות טופולוגיה אלגברית===

בהוכחה זו נראה את החלק הראשון במשפט, לפיו ישנם שני רכיבי קשירות, האחד חסום והשני לא חסום. כדי להשלים את הוכחת המשפט יש להראות כי <math>\mathcal{G}</math> היא שפתם של שני רכיבי הקשירות. חלק זה לא נובע ישירות מהאפיון על ידי טופולוגיה אלגברית, אולם הוא ניתן להוכחה באופן אלמנטרי כפי שמופיע בהוכחה לפי משפט נקודת השבת של בראואר.

נסמן ב-<math>S^n</math> את ה[[ספירה (טופולוגיה)|ספירה]] ה-<math>n</math>-ממדית. נבחין כי עקום ז'ורדן מהצורה <math>\gamma:I \to \mathbb{R}^2</math> הוא למעשה שיכון (כלומר העתקה רציפה וחח"ע, שההופכית שלה רציפה) מהצורה <math>\gamma:S^1 \to \mathbb{R}^2</math>. עוד נבחין כי אם נבצע [[קומפקטיפיקציה]] של <math>\mathbb{R}^2</math> על ידי זיהוי כל הנקודות באינסוף, נקבל את <math>S^2</math>.

נסמן את תמונת העקום על ידי <math>\mathcal{G}</math>. זוהי תמונה רציפה של המעגל, ולכן <math>\mathcal{G}</math> קבוצה קומפקטית ולכן חסומה, ומכאן שלמרחב <math>\mathbb{R}^{2}\backslash\mathcal{G}</math> רכיב קשירות לא חסום יחיד, וכל שאר רכיבי הקשירות חסומים. לכן נובע כי השיכון <math>\mathcal{G} \subset S^2</math> משמר את רכיבי הקשירות, כלומר מספיק להראות כי למרחב <math>S^{2}\backslash\mathcal{G}</math> יש שני רכיבי קשירות, ומיד ינבע כי האחד חסום והשני לא חסום.

בטופולוגיה אלגברית רכיבי הקשירות נספרים על ידי ה[[הומולוגיה (מתמטיקה)|הומולוגיה]] <math>H_0</math> של המרחב. כדי לחשב הומולוגיה זו עבור המרחב <math>S^{2}\backslash\mathcal{G}</math> נשתמש ב[[משפט מאייר-ויאטוריס]]. תהי <math>D_+ \subset S^1</math> המחצית העליונה של המעגל יחד עם תוספת קצרה מתחת לקו האפס, כלומר <math>D_{+}:=\left\{ \left(x,y\right)\in S^{1}\mid x>-\epsilon\right\} </math>, ובאופן דומה תהי <math>D_{-}:=\left\{ \left(x,y\right)\in S^{1}\mid x<\epsilon\right\} </math>. נסמן <math>U=S^2 \backslash \gamma(D_+)</math> ונסמן <math>V=S^2 \backslash \gamma(D_-)</math>. מתקיים כי <math>U \cap V = S^{2}\backslash\mathcal{G}</math> ומתקיים כי <math>U \cup V = S^2 \backslash \left\{\text{two points}\right\} \cong S^1</math>.

ברור כי <math>U,V</math> מרחבים כוויצים ולכן <math>\tilde{H}_{i}\left(U\right)=\tilde{H}_{i}\left(V\right)=0</math> לכל <math>i</math>. לכן ממשפט מאייר-ויאטוריס לכל <math>i</math> מתקבל [[איזומורפיזם]] ב[[הומולוגיה מצומצמת|הומולוגיה המצומצמת]]:<math display="block">\tilde{H}_{i+1}\left(S^1\right)=\tilde{H}_{i+1}\left(U\cup V\right)\cong\tilde{H}_{i}\left(U\cap V\right)=\tilde{H}_{i}\left(S^{2}\backslash\mathcal{G}\right)</math>
בפרט עבור <math>i=0</math> נקבל את האיזומורפיזם:<math display="block">\mathbb{Z}\cong \tilde{H}_{1}\left(S^1\right)\cong\tilde{H}_{0}\left(S^{2}\backslash\mathcal{G}\right)</math>
לכן בסך הכל <math>H_{0}\left(S^{2}\backslash\mathcal{G}\right)=\tilde{H}_{0}\left(S^{2}\backslash\mathcal{G}\right)\oplus\mathbb{Z}=\mathbb{Z}\oplus\mathbb{Z}</math>, כלומר יש שני רכיבי קשירות.

אותה הוכחה תהיה תקפה באינדוקציה עבור המשפט בממדים גבוהים יותר. כלומר שימוש זהה במשפט מאייר-ויאטוריס מראה כי לכל שיכון מהצורה <math>\gamma: S^n \to S^{n+1}</math> מתקיים עבור <math>\mathcal{G} = \text{Im}\gamma</math> כי <math>H_{0}\left(S^{n+1}\backslash\mathcal{G}\right)=\mathbb{Z}\oplus\mathbb{Z}</math>.

===הוכחה באמצעות משפט נקודת השבת של בראואר===

נציג להלן את הוכחתו של ריוג'י מאהרה (Ryuji Maehara) מ-[[1984]], העושה שימוש ב[[משפט נקודת השבת של בראואר]].

נבחין תחילה בשתי העובדות הבאות:
# אם <math>U\subset X</math> רכיב קשירות כלשהו, אז <math>U</math> [[קבוצה פתוחה]] וקשירה-מסילתית (כי <math>\mathbb{C}</math> מרחב קשיר-מסילתית מקומית).
# <math>\mathcal{G}</math> קבוצה קומפקטית ולכן חסומה, ונובע כי <math>X</math> בעל רכיב קשירות לא-חסום יחיד. אם כך, כדי להוכיח את המשפט די להראות כי <math>X</math> בעל רכיב קשירות חסום יחיד, וכי שפתו של כל רכיב קשירות היא <math>\mathcal{G}</math>.

לאורך ההוכחה נשתמש בשתי הטענות הבאות, אותן ניתן להוכיח על ידי משפט נקודת השבת של בראואר:
* '''טענה 1''': אם <math>X</math> לא קשיר, אז השפה של כל רכיב קשירות היא <math>\mathcal{G}</math>.
* '''טענה 2''': יהיו <math>f,g:I\to\left[0,1\right]\times\left[0,1\right]</math> זוג מסילות כך שהמסילה f מתחילה "למטה" ומסתיימת "למעלה" (כלומר <math>\pi_{x}f\left(0\right)=0,\,\pi_{x}f\left(1\right)=1</math>), והמסילה g מתחילה "משמאל" ומסתיימת "מימין" (כלומר <math>\pi_{y}g\left(0\right)=0,\,\pi_{y}g\left(1\right)=1</math>). אזי קיימים <math>s,t\in I</math> כך שמתקיים <math>f\left(s\right)=g\left(t\right)</math>.

מעובדה 2 לעיל יחד עם טענה 1, די להראות כי <math>X:=\mathbb{C}\backslash\mathcal{G}</math> הוא בעל רכיב קשירות חסום יחיד.

נשים לב כי <math>\mathcal{G}</math> קומפקטית, לכן יש <math>a,b\in\mathcal{G}</math> המקיימות,<math display="block">\left\Vert a-b\right\Vert =\max\left\{ \left\Vert x-y\right\Vert \mid x,y\in\mathcal{G}\right\}</math> נניח [[ללא הגבלת הכלליות]] כי <math>a=\left(-1,0\right),\,b=\left(1,0\right)</math> (ניתן לסובב ולמתוח ללא שינוי רכיבי הקשירות), ונקבל כי המלבן <math>\mathcal{R}:=\left[-1,1\right]\times\left[-2,2\right]</math> מכיל את <math>\mathcal{G}</math>, וכי שפתו <math>\Gamma:=\partial\mathcal{R}</math> מקיימת <math>\Gamma\cap\mathcal{G}=\left\{ a,b\right\}</math>.

נתבונן בנקודות האמצע של ארבע צלעות <math>\mathcal{R}</math>. שתיים מהן הן הנקודות <math>a,b</math> והשתיים האחרות הן <math>n:=\left(0,2\right),\,s:=\left(0,-2\right)</math>. נשים לב כי הנקודות <math>a,b</math> מחלקות את <math>\mathcal{G}</math> לתמונות של שתי מסילות, שנסמן <math>\mathcal{G}_{n},\mathcal{G}_{s}</math>, שנקודת ההתחלה שלהן היא <math>a</math> ונקודת הסיום שלהן היא <math>b</math>.

נשים לב כי הקטע האנכי <math>\left[n,s\right]</math> הוא מסילה המחברת את צלעותיו האופקיות של <math>\mathcal{R}</math>. אם כך, מטענה 2 עבור המסילות <math>\left[n,s\right],\,\mathcal{G}_{n}</math> נקבל כי החיתוך <math>\left[n,s\right] \cap \mathcal{G}_n</math> לא ריק. תהי <math>l</math> הנקודה הגבוהה ביותר בחיתוך הנ"ל, ותהי <math>m</math> הנקודה הנמוכה ביותר (אולי <math>m=l</math>).

נתבונן במסילה <math>\beta\equiv\left[n,l\right]\star\mathcal{G}\mid_{\left[l,m\right]}\star\left[m,s\right]</math>. נשתמש בטענה 2 עבור המסילות <math>\beta,\mathcal{G}_{s}</math>, ונקבל כי הן נחתכות. יהיו <math>p,q\in\beta\cap\mathcal{G}_{s}</math> כך ש-<math>p</math> הגבוהה ביותר ו-<math>q</math> הנמוכה ביותר (אולי <math>p=q</math>).

נשים לב כי מאופן בחירת <math>l</math> נובע כי <math>\left[m,s\right]\cap\mathcal{G}_{s}\neq\emptyset</math>, שכן אם <math>\mathcal{G}\mid_{\left[l,m\right]}\cap\mathcal{G}_{s}\neq\emptyset</math> זו לא לולאה פשוטה, ואם <math>\left[n,l\right]\cap\mathcal{G}_{s}\neq\emptyset</math> אז <math>l</math> לא מקסימלי.

תהי <math>x_{0}\in\left[m,p\right]</math> נקודת אמצע הקטע. מאופן בחירת <math>m,p</math> נקבל כי <math>x_{0}\notin\mathcal{G}</math> ולכן <math>x_{0}\in X</math>. יהי <math>U\subset X</math> רכיב קשירות המכיל את <math>x_0</math>. נראה כי רכיב הקשירות <math>U</math> חסום ויחיד, ובזאת נסיים.
* נראה כי <math>U</math> חסום: נניח בשלילה כי <math>U</math> אינו חסום. תהי <math>w_{0}\in U\cap\mathbb{C}\backslash\mathcal{R}</math>. נזכור כי <math>U</math> קשיר מסילתית, אז תהי <math>\alpha:I\to U</math> מסילה עם <math>\alpha\left(0\right)=x_{0},\,\alpha\left(1\right)=w_{0}</math>. תהי <math>w\in\mbox{Im}\alpha\cap\Gamma</math> הנקודה הראשונה בחיתוך הנ"ל. לא ייתכן כי <math>w</math> היא בגובה <math>0</math>, כי אז <math>w\in\left\{ a,b\right\}</math>, אבל גם <math>w\in U</math> ומתקיים <math>U\cap\mathcal{G}=\emptyset</math>. נניח כי <math>w</math> אינו גבוה מ-<math>0</math>, אז יש מסילה <math>\widehat{ws}</math> ב-<math>\Gamma</math> המחברת את <math>w,s</math>, שאינה חותכת את <math>a,b</math>. נתבונן במסילה,<math display="block">\left[n,l\right]\star\mathcal{G}\mid_{\left[l.m\right]}\star\left[m,x_{0}\right]\star\alpha\mid_{\left[x_{0},w\right]}\star\widehat{ws}</math> מסילה זו אינה חותכת את <math>\mathcal{G}_{s}</math>, בסתירה לטענה 2. באופן סימטרי, אם <math>w</math> גבוה מ-<math>0</math>, יש מסילה <math>\widehat{wn}</math> ב-<math>\Gamma</math> שלא חותכת את <math>a,b</math>, בסתירה לטענה 2, כי המסילות <math>\mathcal{G}_{s},\,\left[s,x_{0}\right]\star\alpha\mid_{\left[x_{0},m\right]}\star\widehat{ws}</math> לא נחתכות.
* נראה כי <math>U</math> יחיד: יהי <math>W\subset X</math> רכיב קשירות חסום. כדי להראות <math>W=U</math> די להראות כי <math>U\cap W\neq\emptyset</math>. נשים לב כי <math>W\subset\mathcal{R}</math>. נניח בשלילה <math>U\cap W=\emptyset</math>. נתבונן במסילה <math display="block">\beta\equiv\left[n,l\right]\star\mathcal{G}_{\left[l,m\right]}\star\left[m,p\right]\star\mathcal{G}_{\left[p,q\right]}\star\left[q,s\right]</math> ניתן לראות כי <math>\beta</math> לא חותכת את <math>W</math>. נשים לב כי <math>\mbox{Im}\beta</math> לא חותכת את <math>a,b</math>, ולכן יש כדורים פתוחים <math>\mathbf{B}_{a},\mathbf{B}_{b}</math> סביבות של <math>a,b</math> בהתאמה, שלא נחתכים עם <math>\mbox{Im}\beta</math>. מטענה 1 נובע כי <math>\mathcal{G}=\partial W</math>, ולכן יש <math>a_{1}\in W\cap\mathbf{B}_{a},\,b_{1}\in W\cap\mathbf{B}_{b}</math>. תהי <math>\widehat{a_{1}b_{1}}</math> מסילה ב-<math>W</math> המחברת את <math>a_{1},b_{1}</math>. נתבונן במסילה <math>\left[a,a_{1}\right]\star\widehat{a_{1}b_{1}}\star\left[b_{1},b\right]</math> שבתוך <math>W</math>. מסילה זו לא נחתכת עם <math>\beta</math>, בסתירה לטענה 2.

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* [http://www.maths.ed.ac.uk/~aar/jordan/index.htm The Classification of Surfaces and the Jordan Curve Theorem]
* {{MathWorld}}
* {{בריטניקה}}

==הערות שוליים==
{{הערות שוליים}}

[[קטגוריה:משפטים בטופולוגיה]]
[[קטגוריה:עקומות]]