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

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

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

==נוסח פורמלי==
העתקות ההכלה
יהי <math>X</math> מרחב טופולוגי. כעת, יהיו <math>U,V</math> שני תתי-מרחבים של <math>X</math>, המהווים כיסוי טוב של המרחב (כלומר, איחוד הפנימים שלהם שווה למרחב: <math>\operatorname{int}(U) \cup \operatorname{int}(V) = X</math>), ונניח שחיתוכם לא ריק. מתקבלת הדיאגרמה שמשמאל, כאשר ההעתקות i,j,k,l הן העתקות ההכלה הטבעית.

לכל n טבעי נביט בסדרה הבאה:
<center>
<math>0 \longrightarrow C_n(U \cap V) \overset{a\mapsto (i_{\#}(a),-j_{\#}(a))}{\longrightarrow} C_n(U) \oplus C_n(V) \overset{(a,b)\mapsto k_{\#}(a)+l_{\#}(b)}{\longrightarrow} C_n(X) \longrightarrow 0</math>
</center>

ממנה מתקבלת סדרה מדויקת של חבורות ההומולוגיה:
<center>
<math>\dots \longrightarrow H_n(U \cap V) \longrightarrow H_n(U) \oplus H_n(V) \longrightarrow H_n^{U,V}(X) \longrightarrow H_{n-1}(U \cap V)\longrightarrow \dots</math>
</center>
כאשר <math>H_n^{\{U,V\}}(X)</math> היא חבורת ההומולוגיה ביחס לכיסוי.

משפט מאייר-ויאטוריס קובע כי העתקת ההכלה <math>i:C_n^{\{U,V\}}(X) \to C_n(X)</math> משרה איזומורפיזם טבעי של חבורות <math>i_*: H_n^{\{U,V\}}(X) \to H_n(X)</math>, ולכן (אם מרכיבים הומומורפיזם זה בדיאגרמה) מתקבלת סדרת מאייר-ויאטוריס:
<center>
<math>\dots \longrightarrow H_n(U \cap V) \longrightarrow H_n(U) \oplus H_n(V) \longrightarrow H_n(X) \longrightarrow H_{n-1}(U \cap V)\longrightarrow \dots</math>
</center>

לרוב נוח להשתמש בסדרת מאייר-ויאטוריס על חבורות ההומולוגיה המצומצמות:
<center>
<math>\dots \longrightarrow \tilde{H}_n(U \cap V) \longrightarrow \tilde{H}_n(U) \oplus \tilde{H}_n(V) \longrightarrow \tilde{H}_n(X) \longrightarrow \tilde{H}_{n-1}(U \cap V)\longrightarrow \dots</math>
</center>

===טבעיות===

האיזומורפיזם <math>i_*: H_n^{\{U,V\}}(X) \to H_n(X)</math> שהוזכר לעיל הוא למעשה איזומורפיזם טבעי ביחס להעתקות המכבדות את הכיסוי. כלומר, נניח שנתונים שני מרחבים טופולוגיים בעלי כיסויים טובים <math>\operatorname{int}(A_1) \cup \operatorname{int}(B_1) = X_1</math> ,<math>\operatorname{int}(A_2) \cup \operatorname{int}(B_2) = X_2</math>, והעתקה <math>f:X_1 \to X_2</math> רציפה המכבדת את הכיסויים (כלומר, <math>f(A_1) \subseteq A_2, f(B_1) \subseteq B_2</math>. אז ההעתקות בסדרת מאייר-ויאטוריס (ובעיקר ההעתקה המחברת) מתחלפות עם ההעתקה המושרית <math>f_*</math>, ומקבלים דיאגרמה מתחלפת:
750px

בפרט, המעבר מ-<math>H_n^{\{U,V\}}(X)</math> אל <math>H_n(X)</math> בסדר מאייר-ויאטוריס הוא טבעי.

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

==דוגמאות==

===ספירות===

ספירה <math>S^2</math>]]

נוכיח שחבורות ההומולוגיה של הספירות הן
<center>
<math>\tilde{H}_i(S^n)=\begin{cases}\mathbb{Z} & i=n\\0 & i\neq n\end{cases}</math>.
</center>
נחלק את הספירה לשתי המיספרות עם קצת חיתוך: <math>B = \{\bar{x} \in S^n : x_n < -\frac{1}{10}\}</math>, <math>A = \{\bar{x} \in S^n : x_n > \frac{1}{10}\}</math>. שתיהן כוויצות, ולכן <math>\tilde{H_i(A)}=\tilde{H_i(B)} = 0</math>. לכן מסדרת מאייר-ויאטוריס אפשר להסיק:
<center>
<math>0 \to \tilde{H}_i(S^n) \to \tilde{H}_{i-1}(S^{n-1})\to 0</math>
</center>
כלומר יש איזומורפיזם, ומסיימים באינדוקציה.

נובעות מכך המסקנות הבאות:
# השפה של דיסק איננה נסג שלו, אחרת היה מונומורפיזם <math>\mathbb{Z}=\tilde{H}_{n-1}(S^{n-1}) \hookrightarrow \tilde{H}_{n-1}(D^n)=0</math> (זהו מקרה פרטי של משפט בורסוק-אולם).
# משפט נקודת השבת של בראוור קובע כי לכל פונקציה רציפה <math>f:D^n \to D^n</math> יש נקודת שבת. מוכיחים אותו בשלילה: אחרת, ניתן להגדיר נסיגה <math>r:D^n \to \partial D^n</math> על ידי <math>r(x)</math> יהיה נקודת החיתוך של הקו מ-<math>x</math> ל-<math>f(x)</math> עם הספירה. מגיעים לסתירה למסקנה לעיל.

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

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

ניישם את הטבעיות למקרה לעיל של הספירות; נוכיח כי השיקוף <math>R_i:S^n\to S^n , ^n R_i(x_1\dots,x_n)=(x_1,\dots,-x_i,\dots,x_n)</math>, משרה את <math>-\operatorname{id}</math> על חבורת ההומולוגיה. ההוכחה באינדוקציה - הטענה עבור <math>n=0</math> ברורה; כעת, נחלק את הספירה לכיסוי טוב כלעיל, אך נדאג ש-<math>A,B</math> לא יבחרו בציר השיקוף <math>i</math> (כדי שהשיקוף יכבד את הכיסוי); נשתמש בטבעיות:

מרכז

כאשר החלק האדום נכון באינדוקציה. לכן: <math>^{ n }R{ _{ i_* } }(z)=\Delta ^{ -1 }(^{ n-1 }R{ _{ i_{ * } } }(\Delta (z)))=\Delta ^{ -1 }(-\Delta (z))=-z</math> כדרוש.

מהטענה לעיל ניתן להעסיק כי כאשר <math>n=2k</math> זוגי, ההעתקה האנטיפודית <math>A:S^n \to S^n , A(v)=-v</math> איננה הומוטופית לזהות <math>\operatorname{id}:S^n \to S^n</math>, שכן שתיהן משרות העתקות שונות על ההומולוגיה: הזהות את הזהות, אך האנטיפודית היא הרכבה של <math>2k+1</math> שיקופים, ולכן משרה את <math>(-1)^{2k+1}\operatorname{id}=-\operatorname{id}</math>.

טענה טכנית נוספת היא - אם <math>f,g:S^n \to S^n</math> כ ש-<math>f(x) \neq g(x)</math> לכל <math>x \in S^n</math>, אז <math>f \sim g</math> (רואים זאת על ידי ההומוטופיה <math>H(x,t)=\frac{(1-t) f(x)+f g(x)}{||(1-t) f(x)+f g(x)||}</math>).

מהטענות לעיל ניתן להסיק כי כאשר <math>n</math> זוגי, לכל העתקה רציפה <math>f:S^n \to S^n</math> יש נקודה בה <math>f(x) = x</math> או <math>f(x) = -x</math> - אחרת <math>f \neq \operatorname{id}</math> ולכן <math>f \sim -\operatorname{id}=A</math>, וגם <math>f \neq -\operatorname{id}</math> ולכן <math>f \sim \operatorname{id}</math>, וביחד <math>\operatorname{id} \sim A</math> בסתירה לנאמר לעיל.

מטענה זו ניתן להסיק גם כי כל העתקה רציפה מהמרחב הפרויקטיבי הממשי מממד זוגי <math>f:\mathbb{R}P^n \to \mathbb{R}P^n</math> יש נקודת שבת. ניתן גם להסיק כי כל שדה וקטורי של הספירה מממד זוגי חייב להתאפס.

לכל הטענות יש דוגמה נגדית כאשר <math>n</math> אי-זוגי.

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

n-זר של ספירות הוא איחוד נקודתי שלהן - <math>S^{k_1} \vee \dots \vee S^{k_n}</math>. בעזרת סדרת מאייר ויאטוריס ואינדוקציה ניתן להראות שמתקיים
<center>
<math>\tilde{H}_i(S^{k_1} \vee \dots S^{k_t}) = \mathbb{Z}^{\sum_{j=1}^{n}{\delta_{i,k_j}}}</math>
</center>

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

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

===n-טורוס===

כדי להשתמש בסדרת מאייר-ויאטוריס, ניקח את <math>U</math> להיות עיגול קטן על ה-<math>n</math>-טורוס, ואת <math>V</math> להיות כל השאר, עם טבעת חפיפה (כמו במשפט ואן קמפן). אז נקבל <math>V \cong * , U \cap V \cong S^1</math>; התיאור של <math>U</math> הוא גאומטרי - לאחר הוצאת דיסק מהטורוס ניתן להרחיב את החור סביב הכיוונים האופקי והאנכי, ואז מקבלים מרחב השקול ל-<math>2n</math>-זר, וההומולוגיה שלו חושבה בסעיף לעיל. אם כן הסדרה היא 
<center>
<math>
\cdots \longrightarrow \begin{matrix} 0 \\ \tilde { H } _{ 3 }(U\cap V) \end{matrix}\longrightarrow \begin{matrix} 0 \\ \tilde { H } _{ 3 }(U)\oplus \tilde { H } _{ 3 }(V) \end{matrix}\longrightarrow \begin{matrix} 0 \\ \tilde { H } _{ 3 }(X) \end{matrix}\longrightarrow 
</math>

<math>
\longrightarrow \begin{matrix} 0 \\ \tilde { H } _{ 2 }(U\cap V) \end{matrix}\longrightarrow \begin{matrix} 0 \\ \tilde { H } _{ 2 }(U)\oplus \tilde { H } _{ 2 }(V) \end{matrix}\longrightarrow \begin{matrix} \mathbb{Z} \\ \tilde { H } _{ 2 }(X) \end{matrix}\longrightarrow 
</math>

<math>
\longrightarrow \begin{matrix} \mathbb{Z} \\ \tilde { H } _{ 1 }(U\cap V) \end{matrix}\overset { 1\to (\bar { 0 } ,0) }{ \longrightarrow } \begin{matrix} { \mathbb{Z} }^{ 2n } \\ \tilde { H } _{ 1 }(U)\oplus \tilde { H } _{ 1 }(V) \end{matrix}\longrightarrow \begin{matrix} { \mathbb{Z} }^{ 2n } \\ \tilde { H } _{ 1 }(X) \end{matrix}\longrightarrow 0
</math>
</center>

כאשר את ההעתקה <math>\tilde { H } _{ 1 }(U\cap V) \to \tilde{H}_{1}(V)</math> מבינים לפי ההערה לעיל על הטבעיות - ההעתקה המקבילה עבור החבורה היסודית היא (כאמור בחישוב המקביל בערך על משפט ואן קמפן) <math>a \mapsto [a_1,b_1] \cdot \dots \cdot [a_n,b_n]</math>, ובמקרה שלנו החבורות אבליות ולכן ההעתקה היא אכן העתקת האפס. שאר החישוב הוא לפי דיוק הסדרה.

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

החלוקה לסביבות היא בדיוק כמו ב-<math>n</math>-טורוס. במקרה זה, ההעתקה החשובה שנורשת מהחישוב של החבורה היסודית היא <math>a \to a_1^2 \dots a_n^2</math>, והחבורות הן:
<center>
<math>\tilde{H}_{i}(nP)=\begin{cases} \mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}^{n-1} & i=1\\ 0 & i\neq1 \end{cases} </math>
</center>

===מתיחה של מרחב===

המתיחה של מרחב טופולוגי <math>X</math> מוגדרת להיות <math>SX = (X \times I)/\{(x_1,0)\sim(x_2,0),(x_1,1)\sim(x_2,1) \mbox{ for all } x_1,x_2 \in X\}</math>. ההומולוגיה של המתיחה עולה מדרגה אחת מההומולוגיה של המרחב עצמו, כלומר <math>\tilde{H}_n(X) = \tilde{H}_{n+1}(SX)</math>. טענה זו מוכיחים בעזרת סדרת מאייר-ויאטוריס - נגדיר
<center>
<math>V=X \times \left[\frac{1}{2},1 \right]/\sim</math>, <math>U=X \times \left[ 0,\frac{1}{2} \right]/\sim</math>
</center>
שניהם מרחבים כוויצים, שכן יש נסג עיוותי אל בבסיסים <math>X \times \{1\}</math>,<math>X \times \{0\}</math>, והם מכווצים לנקודה. החיתוך הוא <math>X\times \left\{ \frac{1}{2} \right\}</math> שהומיאומורפי ל-<math>X</math> (היחס לא משפיע עליו). לכן, לפי הסדרה:
<center>
<math>0=\tilde{H}_{n+1}(U) \oplus \tilde{H}_{n+1} (V) \to \tilde{H}_{n+1}(SX) \to \tilde{H}_{n} (X) \to \tilde{H}_{n}(U) \oplus \tilde{H}_{n}(V)=0</math>
</center>
מתקבל איזומורפיזם.

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

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

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

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

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

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

קטגוריה:תורת ההומולוגיה