Loading AI tools
מוויקיפדיה, האנציקלופדיה החופשית
בטופולוגיה, קשירות מסילתית היא עידון של תכונת הקשירות של מרחבים טופולוגיים.
מרחב טופולוגי הוא מרחב קשיר מסילתית אם ניתן לחבר כל שתי נקודות שלו על ידי מסילה רציפה במרחב. במילים אחרות: מרחב הוא קשיר מסילתית, אם לכל שתי נקודות ב-, קיימת פונקציה רציפה מקטע היחידה אל , המקיימת .
דוגמאות: , וכן כל קטע ב-, הם קשורים מסילתית. גם כל מרחב אוקלידי -ממדי, לכל , הוא קשיר מסילתית.
אם מוציאים מספר בן-מניה של נקודות ממרחב אוקלידי -ממדי כלשהו, כאשר , השארית קשורה מסילתית.
טענה: כל מרחב קשיר מסילתית הוא קשיר.
הוכחה: יהי מרחב קשיר מסילתית. נניח בשלילה כי הוא אינו קשיר, לכן קיימת העתקה שהיא רציפה ועל.
לעומת זאת, ההפך אינו נכון כפי שניתן לראות בדוגמה הבאה.
נתבונן בקבוצות
נבחין כי שתיהן קשירות מסילתית. עם זאת, איחודן, , המכונה עקומת הסינוס של הטופולוגים ומופיע בתרשים משמאל, הוא קבוצה קשירה, שאינה קשירה מסילתית: לא ניתן לחבר במסילה נקודה של עם נקודה של .
הוכחה: תמונה רציפה של מסילה היא מסילה.
מסקנה: מרחבי מנה של מרחבים קשורים-מסילתית הם קשורים-מסילתית (כי העתקות מנה הן פונקציות רציפות ועל).
מכפלה של מרחבים היא קשירה מסילתית אם ורק אם כל קואורדינטה קשירה מסילתית.
באופן פורמלי: בהינתן מרחבים לא ריקים. אז הם קשירים מסילתית אם"ם מכפלתם, , קשירה מסילתית.
הוכחה: כיוון ראשון: נניח כי כל קשיר מסילתית.
בדומה לפירוק של מרחב למרכיבי קשירות, אפשר לפרק כל מרחב טופולוגי לרכיבי קשירות מסילתית, כאשר כל רכיב הוא קבוצה קשירה מסילתית שלא ניתן לחבר את נקודותיה במסילות לאף נקודה אחרת (זו למעשה חלוקה של המרחב למחלקות שקילות). בדוגמה של עקומת הסינוס של הטופולוגים, ו- הם רכיבי הקשירות המסילתית של המרחב . חלוקת המרחב לרכיבי קשירות מסילתית היא עידון של החלוקה לרכיבי קשירות: כל רכיב קשירות הוא איחוד זר של רכיבי קשירות מסילתית.
רכיב הקשירות המסילתית של נקודה במרחב הוא הקבוצה הקשירה-מסילתית הגדולה ביותר המכילה את (כלומר איחוד של כל הקבוצות הקשירות מסילתית המכילות את ).
לתכונת הקשירות המסילתית חשיבות מיוחדת בטופולוגיה אלגברית. בדרך כלל החבורה היסודית של מרחב טופולוגי תלויה בבחירה של נקודת הבסיס, והיא מושפעת רק מן המבנה של מרכיב הקשירות המסילתית של אותה נקודה. אם ניתן לחבר שתי נקודות במסילה, אז החבורות היסודיות המבוססות בנקודות אלה הן איזומורפיות זו לזו. מכיוון שכך, החבורה היסודית של מרחב קשיר מסילתית אינה תלויה בנקודת הבסיס.
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.