Loading AI tools
ענף במתמטיקה מוויקיפדיה, האנציקלופדיה החופשית
במתמטיקה, הענף הקרוי טופולוגיה אלגברית עוסק בחקר תכונותיהם של מרחבים טופולוגיים באמצעות כלים אלגבריים.
אחת המטרות העיקריות של הטופולוגיה היא למיין מרחבים לפי טיפוס ההומיאומורפיזם או טיפוס ההומוטופיה שלהם. כרגיל, מאמצי מיון מתמקדים בניסיון לזהות שמורות - מאפיינים המשותפים לכל המרחבים השייכים לאותה מחלקת שקילות.
משפחה עשירה של שמורות כאלה מתקבלת על ידי התאמה של מבנים אלגבריים, כגון חבורות או חוגים, למרחבים טופולוגיים, בדרכים שונות. בעזרת מציאת אינווריאנטים אלגבריים שונים למרחבים טופולוגיים, אפשר ללמוד על תכונות שלהם וכן להבדיל ביניהם. עם זאת, עד כה לא נמצאו אינווריאנטים אלגבריים מלאים - כלומר, כאלה שיאפיינו מרחבים טופולוגיים שונים באופן מלא.
החבורה היסודית היא דוגמה בסיסית וחשובה להתאמה של מבנה אלגברי למרחב טופולוגי. בהינתן מרחב טופולוגי X ונקודת בסיס , החבורה היסודית שלו מורכבת ממחלקות השקילות של מסילות ב-X המתחילות ומסתיימות ב- . מגדירים כפל של זוג מסילות על ידי "טיול בקצב כפול" לאורך המסילה האחת ואחר כך לאורך המסילה השנייה.
אינטואיטיבית, החבורה היסודית מאפשרת לתפוס "חורים" מסוג מסוים. למשל, החבורה היסודית של המישור היא טריוויאלית (החבורה המכילה רק איבר אחד), כי אין בו חורים. לעומת זאת, אם מנקבים במרחב חור מתקבלת חבורה שונה, איזומורפית ל- . אם מנקבים במרחב חור נוסף מתקבלת חבורה אחרת (החבורה החופשית בעלת שני יוצרים - יוצר לכל חור).
נשים לב שאם הנקב הוא נקודתי או בצורת דיסקה, החבורה היסודית זהה. כלומר, לזוג המרחבים ו- , כאשר 0 מייצג את הראשית ו- D מייצג את דיסקת היחידה, יש חבורות יסודיות איזומורפיות (שתיהן איזומורפיות ל- ). זה "בסדר" כי X ו- Y הומיאומורפיים.
מתברר, שלמעגל יש אותה חבורה יסודית כמו ל- X ול- Y, אף על פי שהוא אינו הומיאומורפי אליהם. אבל גם זה "בסדר", כי המרחבים X, Y ו- שקולים הומוטופית. ואומנם ניתן להוכיח שהחבורה היסודית נקבעת רק לפי טיפוס ההומוטופיה של המרחב (כפי שקורה לרוב השמורות בטופולוגיה אלגברית).
אולם בכך לא מסתיים הסיפור. למשל, לכל הספירות, , עבור , יש חבורה יסודית טריוויאלית (כמו ל- ), אף-על-פי שמרחבים אלו אינם שקולים הומוטופית זה לזה (ובפרט אינם הומיאומורפיים). אינטואיטיבית, החבורה היסודית אינה מסוגלת לתפוס חורים מממד גבוה.
כוחם של הכלים האלגבריים אינו רק במיון מרחבים. למשל, ניתן להוכיח באמצעות הכלים שהזכרנו כי בתנאים מסוימים להעתקה ממרחב X לעצמו חייבת להיות נקודת שבת (משפט נקודת השבת של בראואר, משפט נקודת השבת של ליפשיץ על שם סולומון ליפשיץ).
משפט חשוב אחר הוא משפט בורסוק-אולם, שמסקנה ממנו היא שבכל רגע נתון יש זוג נקודות נגדיות על כדור-הארץ שבהן יש בדיוק אותה טמפרטורה ואותו לחץ ברומטרי.
תוצאה יפה אחרת גורסת שלא ניתן לסרק קיפוד. בשפה פורמלית, עבור n זוגי, כל שדה וקטורי רציף על מתאפס בנקודה אחת לפחות.
אף על פי שלרוב האלגברה משרתת את הטופולוגיה, יש גם מספר תוצאות בכיוון ההפוך. כך למשל היינץ הופף הראה שאלגברות קיילי-דיקסון מממדים 1,2,4 ו-8 הן אלגברות החילוק היחידות ממימד סופי מעל , וריינהולד בר ופרידריך לוי הוכיחו את משפט נילסן-שרייר באמצעות החבורה היסודית.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.