הצגת המקור של הדף "משפט ואן קמפן"

ב[[טופולוגיה אלגברית]], '''משפט ואן קמפן''' (van Kampen theorem) הוא משפט המאפשר למצוא [[חבורה יסודית]] של [[מרחב טופולוגי]] באמצעות [[מכפלת היתוך]] של החבורות היסודיות של שתי תתי [[קבוצה פתוחה|קבוצות פתוחות]] שלו, המקיימות תנאים מסוימים. זהו משפט יסודי וחשוב בטופולוגיה אלגברית, המהווה את אחד הכלים המרכזיים לחישוב חבורות יסודיות. בפרט, משתמשים בו כדי לחשב את החבורה היסודית של [[מרחבי CW]].

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

==ניסוח==
יהי <math>X</math> [[מרחב טופולוגי]] [[מרחב קשיר מסילתית|קשיר מסילתית]], ויהיו <math>U_1,U_2 \subseteq X</math> שתי תתי [[קבוצה פתוחה|קבוצות פתוחות]], המקיימות:
* <math>X=U_1 \cup U_2</math>
* <math>U_1 \cap U_2</math> לא ריק וקשיר מסילתית.
* <math>U_1,U_2</math> קשירים מסילתית.

אזי החבורה היסודית <math>\pi_1(X)</math> איזומורפית ל[[מכפלת היתוך|מכפלת ההיתוך]] 

<center><math>\pi_1(U_1)\underset { \overset { i_1 \nwarrow \nearrow i_2 }{ \pi_1(U_1 \cap U_2) }  }{ * } \pi_1(U_2)</math>
</center>
כאשר ההעתקות <math>i_1,i_2,j_1,j_2</math> הן הומומורפיזמי ההכלה היחסיים (למשל, <math>\forall \phi \in \pi_1(U\cap V):i_1(\phi)=i_1 \circ \phi</math>).


הדיאגרמה הבאה ממחישה את שרטוט החבורות:

[[קובץ:VanKampen-01.png|750px|מרכז]]

כאן <math>k</math> הוא ההומומורפיזם הנובע מבניית [[מכפלת היתוך|מכפלת ההיתוך]], וטענת המשפט היא שהוא איזומורפיזם.

==שימושים==
===דוגמאות בסיסיות===
* '''<math>n</math>-זר''' - זהו מרחב בו הולחמו <math>n</math> מעגלים בנקודה משותפת. לוקחים את <math>U_1</math> להיות כל הזר בלי איבר מהמעגל הראשון, ואת <math>U_2</math> להיות המעגל הראשון וקצת מהמעגלים ליד (כדי שתהיה קבוצה פתוחה). החיתוך של כל שתי סביבות הוא [[מרחב כוויץ]] ולכן בעל חבורה יסודית טריוויאלית (ולכן אין משמעות להעתקות <math>i_1,j_1</math>). לפי במשפט ואן קמפן ואינדוקציה, נובע כי החבורה היסודית היא <math>F_n</math>, [[חבורה חופשית]] ב-<math>n</math> יוצרים.

* '''[[מישור פרויקטיבי]] <math>P</math>''' - אחת ההצגות של המישור הפרויקטיבי היא בעזרת [[מרחב מנה|הדבקה]] של שפה של [[טבעת מביוס]] עם שפה של עיגול, כאשר ההדבקה היא של השפה. מהצגה זו ניתן לחשב את החבורה היסודית בעזרת משפט ואן קמפן - נבחר את <math>U_1</math> להיות השפה של טבעת מביוס וקצת מהעיגול (כדי שתהיה פתוחה), ובדומה את <math>U_2</math> להיות השפה של העיגול וקצת מהטבעת. החיתוך הוא הטבעת ולכן <math>\pi_1(U_1 \cap U_2) = \pi_1(S^1)=F_1</math>, ל-<math>U_1</math> יש [[נסג]] עיוותי לטבעת ולכן <math>\pi_1(U_1) = \pi_1(S^1)=F_1</math>, ול-<math>U_2</math> יש נסג עיוותי לדיסק והוא בעל חבורה טריוויאלית. כעת, היות שמדובר בשפה של טבעת מוביוס, ההעתקה <math>i_1</math> שולחת את היוצר (סיבוב אחד על המעגל) ליוצר בטבעת מביוס, שהוא שני סיבובים על המעגל, ולכן ההעתקה היא <math>i_1 : a \mapsto a^2</math>. לכן, לפי [[הצגה על ידי יוצרים ויחסים]] של [[מכפלת היתוך]], מקבלים:

<center><math>\pi_1(P) \cong F_1\underset { \overset { i_1 \nwarrow \nearrow i_2  }{ F_1 }  }{ * } \{1\}=\langle x \mid x^2 \rangle=\mathbb{Z}/2\mathbb{Z}</math>
</center>

* החבורה היסודית של [[סכום קשיר]] <math>n</math> [[טורוס|טורוסים]], המסומן <math>nT</math> היא:

<center><math>\pi_1(nT) \cong \langle a_1,...,a_{2n} \mid [a_1,a_2]\cdot...\cdot[a_{2n-1},a_{2n}] \rangle</math>
</center>
: כאשר <math>[\cdot,\cdot]</math> הוא ה[[קומוטטור]]. בפרט נובע כי ה[[אבליניזציה]] שלו היא [[חבורה אבלית חופשית]] ב-<math>2n</math> יוצרים.

רואים זאת בעזרת משפט ואן קמפן - לוקחים את <math>U_1</math> להיות דיסק על השפה, ואת <math>U_2</math> להיות ה-<math>n</math> טורוס בלי דיסק שיושב ממש בתוך <math>U_1</math>, כך שיש ביניהם טבעת חפיפה. אז <math>U_1</math> כוויץ החיתוך שקול למעגל. הפענוח של <math>U_2</math> הוא גאומטרי - לאחר הוצאת דיסק מהטורוס ניתן להרחיב את החור סביב הכיוונים האופקי והאנכי, ואז מקבלים מרחב השקול ל-<math>2n</math> זר. ההעתקה שחשוב להבין היא מהשפה (מעגל) לתוך הזר - שיקולים גאומטריים מראים כי ההעתקה על יוצר של חבורת השפה היא <math>a \mapsto [a_1,b_1] \cdot \dots \cdot [a_n,b_n]</math>. מכאן החישוב נעשה ישירות לפי משפט ואן קמפן.

* באופן דומה לדוגמה הקודמת, החבורה היסודית של סכום קשיר של <math>n</math> מישורים פרויקטיביים, המסומן <math>nP</math>, היא 
<center>
<math>\pi_1 (nP) \cong \langle a_1,..,a_n \mid a_1^2\cdot ... \cdot a_n^2\rangle</math>
</center>
כדי לראות זאת פועלים באופן דומה: הוצאת דיסק מהמרחב מביאה מרחב השקול ל-<math>n</math> זר של מעגלים (למעשה, של [[טבעת מביוס|טבעות מביוס]]), והעתקה החשובה הפעם היא <math>a \mapsto a_1^2 \cdot \dots \cdot a_n^2</math>.

===מרחבי CW===
ניתן להשתמש במשפט ואן קמפן כדי לקבוע מפורשות מהי החבורה היסודית של [[מרחבי CW]]. בפועל, החבורה נקבעת על ידי השלד ה-2-ממדי בלבד.

ראשית, נשים לב ששלד 1-ממדי הוא [[גרף (תורת הגרפים)|גרף]]; נניח כי זהו [[גרף קשיר]] (אחרת נחלק את המרחב המקורי למרכיבי הקשירות המסילתית שלו).

לכל גרף קשיר ניתן למצוא [[עץ פורש]]. כל עץ הוא [[מרחב כוויץ|כוויץ]], ולכן הוא [[מרחב פשוט קשר|פשוט קשר]]. נראה, בעזרת משפט ואן-קמפן, כי כל צלע שנוספת על העץ הפורש נותנת עוד יוצר חופשי לחבורה היסודית: יהי <math>U_1</math> המסלול עד הצלע שנוספה ובחזרה עד השורש, <math>U_2</math> הוא אותו מסלול רק בלי הצלע שנוספה. אז <math>U_1 \cap U_2=U_2</math> שניהם פשוטי קשר, ו-<math>U_1 \cong S^1</math> ולכן החבורה היא  <math>F_1\underset { \overset { i_1 \nwarrow \nearrow i_2  }{ \{1\} }  }{ * } \{1\}=F_1</math>. לכן באינדוקציה, החבורה היסודית של עץ שנוספו לו <math>t</math> צלעות היא <math>F_t</math>.

בפרט, אם בגרף (הקשיר) יש <math>d_0</math> קדקודים ו-<math>d_1</math> צלעות, בעץ פורש שלו יהיו <math>d_0-1</math> צלעות, ולכן החבורה היסודית שלו היא <math>F_{d_1-d_0+1}</math>.

כעת, נעבור בבנייה של מרחבי CW לשלד ה-2 ממדי. בכל שלב, מדביקים את השפה של דיסק לפי העתקות ההדבקה ממבנה ה-CW. כדי למצוא את החבורה היסודית אחרי ההדבקה, נעזר שוב במשפט ואן קמפן - נסמן ב-<math>U_1</math> את המרחב שהתקבל עד כה, יחד עם חלק מהדיסק, ואת <math>U_2</math> להיות הדיסק יחד עם קצת מהמרחב שהתקבל עד כה. אזי החיתוך הוא טבעת, כלומר <math>S^1</math>, המרחב הראשון הוא בעל נסג עיוותי למה שהיה קודם, והמרחב השני הוא בעל נסג עיוותי לדיסק, שהוא פשוט קשר. לכן לפי משפט ואן קמפן, נקבל כי אחרי ההדבקה החבורה היא <math>\{1\} \underset { \overset { i_1 \nwarrow \nearrow i_2  }{ \{F_1\} }  }{ * } \pi _1(U_1)</math>, כאשר ההעתקה <math>i_2</math> מוסיפה את היחסים שבאים מהעתקות ההדבקה.

כעת, נראה שזה מספיק - כאשר נדביק כדורים מממדים גבוהים יותר, החיתוך יהיה <math>S^n , n \ge 2</math> שהוא פשוט קשר, ולכן החבורה היסודית תישאר כמו קודם.

====דוגמה====
כדי להמחיש את הבנייה, נביט במבנה CW עם <math>d_0=d_1=d_2=1</math>, כלומר הגרף הוא עיגול ולכן בעל חבורה <math>F_1</math>, ואת ההדבקה של הדיסק ניקח להיות הדבקה ששולחת סיבוב אחד על שפת הדיסק ל-<math>m</math> סיבובים על הגרף. אז היחס הנובע מההדבקה הוא <math>x^m</math>, ולכן החבורה היסודית היא <math>F_1</math> בתוספת היחס, כלומר <math>\langle x \mid x^m \rangle = \mathbb{Z} / m \mathbb{Z}</math>.

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

==ראו גם==
* [[מכפלת היתוך]]
* [[מרחבי CW]]

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* {{MathWorld}}

{{מיון רגיל:ואן, קמפן}}
[[קטגוריה:תורת ההומוטופיה]]
[[קטגוריה:משפטים בטופולוגיה]]