סדרת מאייר-ויאטוריס

סדרת מאייר-ויאטוריס (Mayer–Vietoris sequence) היא סדרה מדויקת המקשרת את חבורות ההומולוגיה של מרחב טופולוגי אל חבורות ההומולוגיה של כיסוי טוב שלו. היא מהווה כלי מרכזי ובסיסי לחישוב ההומולוגיה של מרחב טופולוגי, ובמובן מסוים מהווה מקבילה למשפט ואן קמפן בחישוב החבורה היסודית.
הסדרה נקראת על שם שני המתמטיקאים האוסטרים לאופולד ויאטוריס ווולטר מאייר, שעסקו רבות בטופולוגיה.

נוסח פורמלי

יהי  מרחב טופולוגי. כעת, יהיו  שני תתי-מרחבים של , המהווים כיסוי טוב של המרחב (כלומר, איחוד הפנימים שלהם שווה למרחב: ), ונניח שחיתוכם לא ריק. מתקבלת הדיאגרמה שמשמאל, כאשר ההעתקות i,j,k,l הן העתקות ההכלה הטבעית.
לכל n טבעי נביט בסדרה הבאה:
לכן, מתקבלת סדרה מדויקת של חבורות ההומולוגיה:
כאשר  היא חבורת ההומולוגיה ביחס לכיסוי.
משפט מאייר-ויאטוריס קובע כי העתקת ההכלה  משרה איזומורפיזם טבעי של חבורות , ולכן (אם מרכיבים הומומורפיזם זה בדיאגרמה) מתקבלת סדרת מאייר-ויאטוריס:
לרוב נוח להשתמש בסדרת מאייר-ויאטוריס על חבורות ההומולוגיה המצומצמות:

טבעיות

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

שיקופים, נקודות שבת ושדות וקטוריים

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

n-זרים ומשטחים סגורים

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

n-טורוס

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

המרחב הפרויקטיבי

החלוקה לסביבות היא בדיוק כמו ב--טורוס. במקרה זה, ההעתקה החשובה שנורשת מהחישוב של החבורה היסודית היא , והחבורות הן:

מתיחה של מרחב

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

משפט העקומה של ז'ורדן

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

הומולוגיה של מרחב CW

סדרת מאייר-ויאטוריס היא כלי חשוב העוזר בפיתוח שיטה כללית ואלגוריתמית לחישוב כל חבורות ההומולוגיה של מרחבי CW סוף-ממדיים מסוימים. יש שימושים חוזרים ונשנים בסדרת מאייר-ויאטוריס בהוכחת השיטה.