סדרת מאייר-ויאטוריס – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
שורה 93:
[[משפט העקומה של ז'ורדן]] קובע כי עקומה סגורה רציפה במישור מחלקת אותו לשני חלקים, כלומר לשני [[מרחב קשיר#רכיבי קשירות|רכיבי קשירות]].
 
על אף שהוא דיי אינטואיטיבי, אין לו הוכחה פשוטה. אחת ההוכחות הקלות למשפט נתונות בעזרת הומולוגיה: למעשה, בהינתן שיכון <math>f: IS^1 \to \mathbb{R}^2</math>, המשפט טוען שהמרחב <math>\mathbb{R}^2 \setminus f(IS^1)</math> הוא בעל שני רכיבי קשירות, כלומר שחבורת ההומולוגיה האפס של המרחב היא <math>\mathbb{Z}^2</math>. את החבורה הזו ניתן לחשב בעזרת סדרת מאייר-ויאטוריס - מחלקים את <math>IS^1</math> לפילחצי העיגול העליון <math>A=\left[0,\frac{1}{2}\right]</math> ,וחצי העיגול התחתון <math>B=\left[\frac{1}{2},1\right]</math>, ומשתמשים בסדרה עבור <math>U=\mathbb{R}^2 \setminus f(A) , V=\mathbb{R}^2 \setminus f(B) </math>.
 
==הומולוגיה של מרחב CW==