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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש

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

הסדרה נקראת על שם שני המתמטיקאים האוסטרים לאופולד ויאטוריס ווולטר מאייר, שעסקו רבות בטופולוגיה.

נוסח פורמלי[עריכת קוד מקור | עריכה]

העתקות ההכלה

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

לכל n טבעי נביט בסדרה הבאה[1]:

לכן, מתקבלת סדרה מדויקת של חבורות ההומולוגיה:

כאשר היא חבורת ההומולוגיה ביחס לכיסוי.

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

לרוב נוח להשתמש בסדרת מאייר-ויאטוריס על חבורות ההומולוגיה המצומצמות:

טבעיות[עריכת קוד מקור | עריכה]

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

Mayer-Vietoris naturality.png

בפרט, המעבר מ- אל בסדר מאייר-ויאטוריס הוא טבעי.

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

דוגמאות[עריכת קוד מקור | עריכה]

ספירות[עריכת קוד מקור | עריכה]

כיסוי טוב של הספירה

נוכיח שחבורות ההומולוגיה של הספירות הן

.

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

כלומר יש איזומורפיזם, ומסיימים באינדוקציה.

נובעות מכך המסקנות הבאות:

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


שיקופים, נקודות שבת ושדות וקטוריים[עריכת קוד מקור | עריכה]

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

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

Naturality.jpg

כאשר החלק האדום נכון באינדוקציה. לכן: כדרוש.

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

טענה טכנית נוספת היא - אם כ ש- לכל , אז (רואים זאת על ידי ההומוטופיה ).

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

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

לכל הטענות יש דוגמה נגדית כאשר אי-זוגי.

n-זרים ומשטחים סגורים[עריכת קוד מקור | עריכה]

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

כלומר, זו חבורה אבלית חופשית מסדר כמספר הממדים של הספרות ששווה לסדר החבורה.

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

n-טורוס[עריכת קוד מקור | עריכה]

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

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

המרחב הפרויקטיבי[עריכת קוד מקור | עריכה]

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

מתיחה של מרחב[עריכת קוד מקור | עריכה]

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

,

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

מתקבל איזומורפיזם.

משפט העקומה של ז'ורדן[עריכת קוד מקור | עריכה]

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

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

הומולוגיה של מרחב CW[עריכת קוד מקור | עריכה]

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

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ עבור הסימונים ראו בערך חבורות ההומולוגיה