משפט ואן קמפן

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

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

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

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

יהי מרחב טופולוגי קשיר מסילתית, ויהיו שתי תתי קבוצות פתוחות, המקיימות:

  • לא ריק וקשיר מסילתית.
  • קשירים מסילתית.

אזי החבורה היסודית איזומורפית למכפלת ההיתוך

כאשר ההעתקות הן הומומורפיזמי ההכלה היחסיים (למשל, ).


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

VanKampen-01.png

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

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

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

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

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

  • באופן דומה לדוגמה הקודמת, החבורה היסודית של סכום קשיר של מישורים פרויקטיביים, המסומן , היא

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

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

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

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

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

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

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

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

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

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

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

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

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