מרחב קשיר מקומית
מרחב קשיר מקומית בטופולוגיה, ובתחומים מתמטיים נוספים, הוא מרחב טופולוגי שבו כל סביבה של נקודה מכילה סביבה פתוחה וקשירה. תכונת הקשירות המקומית קרובה באופייה לתכונת הקשירות, אבל השתיים אינן גוררות זו את זו.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/79/Neighborhood_illust1.svg/220px-Neighborhood_illust1.svg.png)
רקע
עריכהקשירות וקומפקטיות הן שתי תכונות בסיסיות בטופולוגיה. חשיבותן של תכונות אלה הוכרה בתחילה עבור תת-קבוצות של המרחב האוקלידי, אלא שעד מהרה הוברר שהתכונות אינן תלויות במטריקה המוגדרת על המרחב, אלא במאפיינים הטופולוגיים שלו.
משפט היינה-בורל, ומשפטים חזקים נוספים, מאפשרים לתאר את הקבוצות הקומפקטיות במרחב האוקלידי. אפילו במקרה זה, המבנה של קבוצות קשירות מורכב יותר. לדוגמה, כל מרחב האוסדורף קומפקטי הוא קומפקטי מקומית, ועם זאת, מרחב קשיר אינו חייב להיות קשיר מקומית, אפילו אם מדובר על תת-מרחב של המרחב האוקלידי (ראו מרחב המסרק באיור משמאל).
הגדרות ותכונות בסיסיות
עריכהמרחב טופולוגי הוא קשיר מקומית בנקודה , אם לכל קבוצה פתוחה המכילה את , קיימת תת-קבוצה קשירה ופתוחה עבורה . מרחב שהוא קשיר מקומית בכל נקודה הוא מרחב קשיר מקומית[1].
אם לכל קבוצה פתוחה המכילה את קיימת קבוצה פתוחה וקשירה כך ש- נמצא בפנים של , אומרים ש- קשיר מקומית באופן חלש ב- .[2]. המרחב קשיר מקומית בנקודה אם יש לו בסיס מקומי של קבוצות פתוחות וקשירות, וקשיר מקומית באופן חלש, אם יש לו שם בסיס מקומי של סביבות קשירות (כל קבוצה פתוחה הכוללת את הנקודה היא סביבה שלה, אבל ההפך אינו נכון). מכאן שאם המרחב קשיר מקומית בנקודה, הוא גם קשיר שם מקומית באופן חלש. ההפך אינו נכון, ועם זאת, מרחב שהוא קשיר מקומית באופן חלש בכל נקודה שלו, הוא בהכרח קשיר מקומית בכל נקודה.[3]
כל מרחב קשיר מסילתית הוא קשיר, ולכן מרחב קשיר מסילתית מקומית הוא גם קשיר מקומית.
דוגמאות
עריכה- לכל מספר טבעי , המרחב האוקלידי קשיר וקשיר מקומית.
- המרחב קשיר מקומית, איך אינו קשיר.
- המרחב (הידוע כ"עקומת הסינוס של הטופולוגים") קשיר, אך אינו קשיר מקומית ואינו קשיר מסילתית.[4]
- מרחב המספרים הרציונליים , עם הטופולוגיה המושרית מן הישר הממשי, אינו קשיר ואינו קשיר מקומית.
- מרחב המסרק (ראו תמונה למעלה) קשיר וקשיר מסילתית אך אינו קשיר מקומית.
- תהי קבוצה אינסופית בת מנייה. תחת הטופולוגיה הקו-סופית מתקיים כי קשירה מקומית אך לא קשירה מסילתית מקומית.[5]
תכונות נוספות
עריכהעל פי ההגדרה, קשירות מקומית היא תכונה מקומית. עם זאת, כל התכונות המתקיימות במרחב קשיר מתקיימות באופן מקומי במרחב קשיר מקומית, למשל:
- מרחב הוא קשיר מקומית אם ורק אם קיים לו בסיס המכיל רק קבוצות קשירות.
- איחוד זר של מרחבים הוא קשיר מקומית אם ורק אם כל אחד מהמאוחדים קשיר מקומית. בפרט, היות שמרחב הנקודה קשיר מקומית, כל מרחב דיסקרטי הוא קשיר מקומית. מצד שני, מרחב דיסקרטי הוא בלתי קשיר לחלוטין ועל כן הוא קשיר אם ורק אם יש בו לכל היותר נקודה אחת.
- מרחב בלתי קשיר לחלוטין יהיה קשיר מקומית אם ורק אם הוא דיסקרטי. מכאן נובעת באופן מיידי הטענה בדוגמאות לפיה המספרים הרציונליים אינם מהווים מרחב קשיר מקומית.
רכיבי קשירות
עריכהההגדרות המובאות בחלק זה מבוססות על התוצאה הבאה:
- למה: תהי משפחה של תת-קבוצות במרחב טופולוגי , שהחיתוך של כולן אינו ריק. אם כל קבוצה קשירה (קשירה מסילתית) אזי האיחוד קשיר (קשיר מסילתית)[6].
עתה נוכל לדון ביחס השקילות המוגדר כך ש- אם קיימת תת-קבוצה קשירה של המכילה את ואת . ברור כי היחס הזה רפלקסיבי וסימטרי, והטרנזיטיביות שלו נובעת מהלמה. מחלקות השקילות של היחס נקראות רכיבי הקשירות של . מחלקת השקילות המכילה את נקראת רכיב הקשירות של ונהוג לסמנה על ידי .
מהלמה נובע כי רכיב הקשירות של הוא תת-הקבוצה הקשירה המקסימלית המכילה את . היות שהסגור של הוא קבוצה קשירה, ניתן להסיק שכל רכיבי הקשירות סגורים ב- .
אם למרחב יש מספר סופי של רכיבי קשירות, אזי כל רכיב קשירות הוא המשלים של איחוד סופי של קבוצות סגורות ועל כן פתוח בעצמו. באופן כללי רכיבי קשירות אינם מוכרחים להיות פתוחים (לדוגמה ניתן לקחת את מרחב קנטור, שהוא מרחב בלתי קשיר לחלוטין אך אינו מרחב דיסקרטי). עם זאת, רכיבי הקשירות של מרחב קשיר מקומי הם פתוחים. מכאן מתקבל שמרחב קשיר מקומית שווה לאיחוד רכיבי הקשירות שלו. מצד שני, אם לכל קבוצה סופית של מתקיים שרכיבי הקשירות של פתוחים, אזי ל- בסיס של קבוצות קשירות ולכן קשיר מקומית[7].
דוגמה: הקבוצה כאשר , ביחד עם טופולוגיית הסדר המושרית מיחס הסדר הלקסיקוגרפי היא בעלת רכיב קשירות אחד (כי היא קשירה). עם זאת, כל קבוצה מהצורה מהווה רכיב קשירות מסילתית.
רכיבי קשירות של מרחב קשיר מקומית
עריכה- טענה: בהינתן מרחב קשיר מקומית, כל רכיבי הקשירות שלו פתוחים.[8]
- הוכחה: יהי מרחב קשיר מקומית ויהי רכיב קשירות. לכל יש קבוצה פתוחה קשירה כך ש- וגם . לכן:
- ומכאן פתוחה כאיחוד פתוחות.
מקורות
עריכה- John L. Kelley; General Topology; ISBN 0-387-90125-6
- Munkres, James (1999), Topology (2nd ed.), Prentice Hall, ISBN 0-13-181629-2
- Stephen Willard; General Topology; Dover Publications, 2004.
ראו גם
עריכהקישורים חיצוניים
עריכה- מרחב קשיר מקומית, באתר MathWorld (באנגלית)