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

{{מפנה|קשירות|מושג ב[[תורת הגרפים]]|גרף קשיר}}
[[קובץ:Connected and disconnected spaces.svg|שמאל|ממוזער|המחשה גרפית למושג. המרחב העליון A קשיר, בעוד שהתחתון B אינו קשיר]]

'''קשירוּת''' היא תכונה העשויה לאפיין [[מרחב טופולוגי]]. היא מבחינה בין מרחבים שהם "חתיכה אחת" לבין מרחבים שאפשר לפרק לכמה מרכיבים שונים.

דוגמאות למרחבים קשירים: מרחב המספרים הממשיים (<math>\mathbb{R}</math>), הקטע הממשי <math>[0,1]</math>, המישור (<math>\mathbb{R}^2</math>), ריבוע במישור. דוגמאות למרחבים לא קשירים: הישר הממשי שהוציאו ממנו נקודה אחת, האיחוד של שני הקטעים <math>[0,1]</math> ו־<math>[2,3]</math>.

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

== הגדרה ==

זוג של [[קבוצה פתוחה|קבוצות פתוחות]] [[קבוצות זרות|זרות]] ב[[מרחב טופולוגי]], ש[[איחוד (מתמטיקה)|איחודן]] שווה לכל המרחב, נקרא '''פירוק''' של המרחב.

אם אחת משתי הקבוצות היא הקבוצה הריקה והשנייה היא כל המרחב, הפירוק נקרא [[טריוויאלי (מתמטיקה)|טריוויאלי]].

מרחב שהפירוק היחיד שלו הוא הפירוק הטריוויאלי נקרא '''מרחב קשיר'''.

=== דוגמאות ===
מרחב המספרים הממשיים הוא קשיר. אומנם אפשר להציג את <math>\mathbb{R}</math> כאיחוד של שתי קבוצות זרות, למשל <math>\mathbb{R} = (-\infty,0) \cup [0,\infty)</math>, אבל <math> [0,\infty)</math> אינה פתוחה ב־<math>\mathbb{R}</math>. לא ניתן להציגו כאיחוד של שתי קבוצות פתוחות זרות. 

מרחב המספרים הממשיים, שהוציאו ממנו את הראשית, אינו קשיר. ניתן להציג אותו כאיחוד של שתי קבוצות פתוחות: <math>(-\infty,0) \cup (0,\infty)</math>.

לעומת זאת, המישור, שהוציאו ממנו את הראשית (או קבוצה בת־מניה כלשהי של נקודות), הוא עדיין קשיר.

המרחב <math>X=[0,1]\cup[2,3]</math> אינו קשיר. ניתן להציג אותו כאיחוד של שתי הקבוצות <math>[0,1]</math>, <math>[2,3]</math>. הקבוצות הללו הן אומנם סגורות ב־<math>\mathbb{R}</math> אבל הן פתוחות במרחב <math>X</math>. 

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

מרחב המספרים הרציונליים אינו קשיר, וכך גם [[קבוצת קנטור]].

=== הגדרות שקולות ===

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

אותו טיעון מעיד על נוסח שקול נוסף: מרחב הוא קשיר אם ורק אם אין לו תת־קבוצה לא טריוויאלית (לא הקבוצה הריקה ולא המרחב כולו) שהיא פתוחה וסגורה כאחת. קבוצה כזאת נקראת "סגוחה" ([[הלחם בסיסים]] של סגורה+פתוחה; ב[[אנגלית]]: clopen).

תנאי נוסף השקול לקשירות הוא [[משפט ערך הביניים#תכונת ערך הביניים|תכונת ערך הביניים]]: מרחב <math>X</math> הוא קשיר, אם ורק אם לכל פונקציה רציפה <math>f</math> מ־<math>X</math> אל <math>\mathbb{R}</math> (המספרים הממשיים), התמונה <math>f(X)</math> היא קטע ב־<math>\mathbb{R}</math>. הוכחת שקילות: אם <math>X</math> לא קשיר, הפונקציה ששולחת את אחת מהקבוצות הפתוחות ל־<math>0</math> והשנייה ל־<math>1</math> היא רציפה. בכיוון השני, אם <math>x < r < y</math> ו־<math>x,y</math> בתמונה אך <math>r</math> לא, התמונות ההפוכות של <math>(-\infty,r)</math> ושל <math>(r,\infty)</math> הן פתוחות.

== קשירוּת ורציפות ==

תמונה רציפה של קבוצה קשירה היא קבוצה קשירה.

בפרט, כל [[מרחב מנה]] של מרחב קשיר הוא מרחב קשיר, כי העתקת המנה היא רציפה.

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

== מכפלה של קבוצות קשירות ==

ה[[מרחב מכפלה (טופולוגיה)|מכפלה]] של מרחבים טופולוגיים היא קשירה אם ורק אם כל המרחבים המשתתפים במכפלה קשירים.

=== סגור ופנים של קבוצה קשירה ===

ה[[סגור (טופולוגיה)|סגור]] של קבוצה קשירה הוא קבוצה קשירה. מעבר לכך, אם <math>\ A\subseteq X</math> קשירה, אז גם כל <math>\ A\subseteq B\subseteq \textrm{Cl}(A)</math> קשירה. באופן פיגורטיבי: כאשר מוסיפים לקבוצה קשירה נקודות ה"נוגעות" בה, הקשירות אינה נפגמת.

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

=== איחוד וחיתוך של קבוצות קשירות ===

איחוד של קבוצות קשירות אינו בהכרח קשיר. למשל, האיחוד של שני קטעים פתוחים זרים ב־<math>\mathbb{R}</math>, אינו קשיר.

אולם, אם חיתוכן של הקבוצות אינו ריק, אז איחודן הוא קשיר. כך קובע "משפט הפרח": אם <math>\left\{D_n\right\}_{n\isin\Lambda}</math> היא משפחה של תת־קבוצות קשירות שה[[חיתוך (מתמטיקה)|חיתוך]] של כל שתיים מהן לא ריק, אז <math>D=\bigcup_{n \in\Lambda} D_n</math> גם קשירה. לדוגמה, איחוד של ישרים במישור העוברים דרך הראשית (בצורת "פרח") הוא קשיר. התוצאה נכונה גם כאשר מניחים רק שכל שתי קבוצות במשפחה אינן מופרדות.

חיתוך של קבוצות קשירות אינו בהכרח קשיר. למשל, חיתוך של שני מעגלים במישור (שאינם משיקים) הוא שתי נקודות.

== תת־קבוצות קשירות ==

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

== רכיבי קשירות ==

התת־קבוצות הקשירות המקסימליות של מרחב נקראות '''רכיבי קשירות''', וכל מרחב טופולוגי מתפרק לאיחוד זר של רכיבי קשירות. כל רכיב קשירות הוא קבוצה סגורה (כי בהינתן רכיב <math>C</math> שהוא מחלקת שקילות המתאימה לאיבר <math>x</math>, מכך ש־<math>C \subseteq \bar{C}</math> מתקיים <math>x \in \bar{C}</math>, ובנוסף מכך ש־<math>C</math> קשיר נובע שגם <math>\bar{C}</math> קשיר. אבל <math>C</math> הקבוצה הקשירה המקסימלית שמכילה את <math>x</math>, ולכן <math>\bar{C} \subseteq C</math>. לכן <math>\bar{C} = C</math>, מה שאומר ש־<math>C</math> סגור). 

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

=== קשירות מסילתית ===
{{ערך מורחב|מרחב קשיר מסילתית}}
מסילות במרחב הטופולוגי מאפשרות להגדיר גם יחסי שקילות עדינים יותר. כל [[פונקציה רציפה (טופולוגיה)|תמונה רציפה]] של הקטע <math>[0,1]</math> במרחב נקראת '''מסילה''', והקצוות שלה '''קשורים מסילתית'''. אם המסילה אינה חותכת את עצמה, היא נקראת '''קשת''', והקצוות שלה '''קשורים קשתית'''. קשירות מסילתית וקשירות קשתית של נקודות הם יחסי שקילות, ויש להן [[מחלקות שקילות]], הנקראות, בהתאמה, '''רכיבי קשירות מסילתית''' ו'''רכיבי קשירות קשתית'''.
מרחב קשיר מסילתית מקומית שבנוסף לכך הוא קשיר, הוא קשיר מסילתית. זה נובע מכך שבמרחב קשיר מסילתית מקומית, כל רכיב קשירות מסילתית הוא קבוצה פתוחה, לכן רכיבי קשירות שונים (שהם תמיד זרים זה לזה) יתנו פירוק לפתוחות זרות, בסתירה לקשירות. לכן במרחב כזה קיים רכיב קשירות מסילתית יחיד.

=== הקשר בין המרכיבים השונים ===

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

==מקורות==
* דניאלה ליבוביץ, '''טופולוגיה קבוצתית''', פרק 4 (כרך ב'), הוצאת האוניברסיטה הפתוחה, 1997.
* Counterexamples in Toplogy, L.A. Seen and J.A. Seebach Jr., Chapter 4.

==ראו גם==
* [[מרחב קשיר מקומית]]
* [[מרחב קשיר מסילתית]]
* [[מרחב בלתי קשיר לחלוטין]]

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* {{אנציקלופדיה למתמטיקה|Connected_space}}
* {{MathWorld}}

{{טופולוגיה}}
{{בקרת זהויות}}

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