מרחב קשיר

המחשה גרפית למושג. המרחב העליון 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.

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

==קישורים חיצוניים==
* 
* 

*
קשיר