כיסוי (טופולוגיה)

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

הגדרה

כיסוי של קבוצה  הוא משפחה של תת-קבוצות  המקיימת .

משפחה  נקראת תת-כיסוי, אם גם  מהווה כיסוי של .

אם  זוג כיסויים של קבוצה כלשהי, אומרים כי  הוא עידון של , אם לכל איבר   קיים איבר  המקיים .

בטופולוגיה

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

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

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

דוגמאות

באופן טריוויאלי, לכל קבוצה , האוסף המנוון  הוא כיסוי של .

בנוסף, לכל תת-קבוצה , האוסף  הוא כיסוי של .

אם  קבוצה סדורה לא חסומה (מלעיל ומלרע), אז לכל  ניתן להגדיר , ואז האוסף  מהווה כיסוי.

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

ראו גם

כיסוי בזיקוביץ'

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


קטגוריה:טופולוגיה