כיסוי

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

הגדרה

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

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

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

בטופולוגיה

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

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

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

דוגמאות

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

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

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

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

ראו גם

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

טופולוגיה