הצגת המקור של הדף "מרחב קשיר מסילתית"

<!--[[קובץ:Path-connected space.svg|שמאל|המחשת מושג הקשירות המסילתית]]-->
ב[[טופולוגיה]], '''קְשירוּת מסילָתית''' היא עידון של תכונת ה[[קשירות (טופולוגיה)|קשירות]] של [[מרחב טופולוגי|מרחבים טופולוגיים]].

מרחב טופולוגי הוא '''מרחב קָשיר מסילתית''' אם ניתן לחבר כל שתי נקודות שלו על ידי [[מסילה (מתמטיקה)|מסילה]] רציפה במרחב. במילים אחרות: מרחב <math>X</math> הוא קשיר מסילתית, אם לכל שתי נקודות <math>x,y</math> ב־<math>X</math>, קיימת [[פונקציה]] רציפה <math>f</math> מקטע היחידה <math>[0,1]</math> אל <math>X</math>, המקיימת <math>f(0)=x, f(1)=y</math>.

דוגמאות: <math>\mathbb{R}</math>, וכן כל קטע ב־<math>\mathbb{R}</math>, הם קשורים מסילתית. גם כל [[מרחב אוקלידי]] <math>d</math>־ממדי, לכל <math>d</math>, הוא קשיר מסילתית. 

אם מוציאים מספר בן־מניה של נקודות ממרחב אוקלידי <math>d</math>־ממדי כלשהו, כאשר <math>d > 1</math>, השארית קשורה מסילתית.

== הקשר בין קשירות מסילתית לקשירות ==
'''טַענה''': כל מרחב קשיר מסילתית הוא [[מרחב קשיר|קשיר]].

'''הוכחה''': יהי <math>X</math> מרחב קשיר מסילתית. [[הוכחה בדרך השלילה|נניח בשלילה]] כי הוא אינו קשיר, לכן קיימת העתקה <math>f:X\to\{0,1\}</math> שהיא רציפה ועל.
: נבחר <math>x\in f^{-1}(0)</math> ו־<math>y\in f^{-1}(1)</math>. מכיוון ש־<math>X</math> קשיר מסילתית, קיימת מסילה <math>\gamma \colon [0,1]\to X</math> מ־<math>x</math> ל־<math>y</math>.
: נתבונן בהעתקה <math>f\circ\gamma \colon [0,1]\to\{0,1\}</math>. היא רציפה (כהרכבת רציפות) ועל. אבל זה עומד בסתירה לכך ש־<math>[0,1]</math> קשיר.
לעומת זאת, ההפך אינו נכון כפי שניתן לראות בדוגמה הבאה.
=== דוגמה למרחב קשיר אשר אינו קשיר מסילתית ===
[[קובץ:Topologist's sine curve.svg|ממוזער|250x250 פיקסלים|[[עקומת הסינוס של הטופולוגים]] - דוגמה לקבוצה קשירה שאינה קשירה מסילתית]]
נתבונן בקבוצות 
: <math>A = \{(x,\sin(1/x)): 0<x<1\}</math>
: <math>B = \{(0,y) : -1\leq y \leq 1\}</math>
נבחין כי שתיהן קשירות מסילתית. עם זאת, איחודן, <math>A\cup B</math>, המכונה [[עקומת הסינוס של הטופולוגים]] ומופיע בתרשים משמאל, הוא קבוצה קשירה, שאינה קשירה מסילתית: לא ניתן לחבר במסילה נקודה של <math>A</math> עם נקודה של <math>B</math>.

== קשירות מסילתית ורציפות ==
* תמונת רציפה של מרחב קשיר מסילתית היא קשירה מסילתית. 
'''הוכחה''':
תמונה רציפה של מסילה היא מסילה.

'''מסקנה''': מרחבי מנה של מרחבים קשורים מסילתית הם קשורים מסילתית (כי העתקות מנה הן פונקציות רציפות ועל).

== מכפלה של מרחבים קשורים מסילתית ==
מכפלה של מרחבים היא קשירה מסילתית [[אם ורק אם]] כל קואורדינטה קשירה מסילתית.

באופן פורמלי: בהינתן <math>\{X_\alpha\}_{\alpha\in I}</math> מרחבים לא ריקים. אז הם קשירים מסילתית אמ"מ מכפלתם, <math>\prod_{\alpha\in I}X_\alpha</math>, קשירה מסילתית.

'''הוכחה''':
כיוון ראשון: נניח כי כל <math>X_\alpha</math> קשיר מסילתית.
: יהיו <math>x=(x_\alpha)</math> ו־<math>y=(y_\alpha)</math> שתי נקודות ב <math>\prod_{\alpha\in I}X_\alpha</math>. לכל <math>\alpha\in I</math> קיימת מסילה <math>\gamma_\alpha \colon [0,1]\to X_\alpha</math> בין <math>x_\alpha</math> ל־<math>y_\alpha</math>. לכן נתבונן ב־
:<math>\gamma:=\times_\alpha\gamma_\alpha \colon [0,1]\to\prod_{\alpha\in I}X_\alpha</math> (כלומר, מתקיים <math>\pi_\alpha \circ \gamma = \gamma_\alpha</math> לכל <math>\alpha \in I</math> כאשר <math>\pi_\alpha \colon \prod_{i \in I} X_i \to X_\alpha</math> ההטלה על הרכיב ה־<math>\alpha</math> של המכפלה)
: היא רציפה כיוון שכל הקואורדינטות שלה רציפות ומתקיים: <math>\gamma(0)=x</math> וגם <math>\gamma(1)=y</math> כנדרש.
: כיוון שני: נניח כי <math>\prod_{\alpha\in I}X_\alpha</math> קשירה מסילתית. כל <math>X_\alpha</math> לא ריק. לכן נבחר <math>a_\alpha\in X_\alpha</math> לכל <math>\alpha\in I</math>. יהי <math>\beta\in I</math> כלשהו. ויהיו <math>x_\beta,y_\beta \in X_\beta</math> נגדיר:
: <math>x=\{x_\beta\}\times \prod _{\alpha\neq\beta }a_\alpha</math>
: <math>y=\{y_\beta\}\times \prod _{\alpha\neq\beta }a_\alpha</math>
: (בסדר הנכון של ההכפלה. מקוצר לנוחות הכתיבה).
: נבחין כי <math>x,y\in\prod_{\alpha\in I}X_\alpha</math> ומכיוון שהמכפלה קשירה מסילתית קיימת מסילה <math>\gamma \colon [0,1]\to\prod_{\alpha\in I}X_\alpha</math> המחברת בין <math>x</math> ל־<math>y</math>. נטיל את המסילה על הקואורידנטה ה־<math>\beta</math> ונקבל מסילה <math>\pi_\beta\circ\gamma \colon [0,1]\to X_\beta</math> המחברת בין <math>x_\beta</math> ל־<math>y_\beta</math> כנדרש.

== רכיבי קשירות מסילתית ==
בדומה לפירוק של מרחב למרכיבי קשירות, אפשר לפרק כל מרחב טופולוגי ל'''רכיבי קשירות מסילתית''', כאשר כל רכיב הוא קבוצה קשירה מסילתית שלא ניתן לחבר את נקודותיה במסילות לאף נקודה אחרת (זו למעשה חלוקה של המרחב ל[[מחלקות שקילות]]). בדוגמה של [[עקומת הסינוס של הטופולוגים]], <math>A</math> ו־<math>B</math> הם רכיבי הקשירות המסילתית של המרחב <math>A\cup B</math>. חלוקת המרחב לרכיבי קשירות מסילתית היא עידון של החלוקה לרכיבי קשירות: כל רכיב קשירות הוא איחוד זר של רכיבי קשירות מסילתית.

רכיב הקשירות המסילתית של נקודה <math>x</math> במרחב <math>X</math> הוא הקבוצה הקשירה מסילתית הגדולה ביותר המכילה את <math>x</math> (כלומר איחוד של כל הקבוצות הקשירות מסילתית המכילות את <math>x</math>).

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

==קישורים חיצוניים==
* {{MathWorld}}

[[קטגוריה:מרחבים טופולוגיים|קשיר מסילתית]]
[[קטגוריה:קשירות]]