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

באנליזה מתמטית, כיסוי בזיקוביץ' של תת־קבוצה  במרחב אוקלידי הוא כיסוי של  על ידי כדורים פתוחים כך שכל נקודה של  היא המרכז של כדור מהכיסוי.

משפט הכיסוי של בזיקוביץ' קובע שלכל מרחב אוקלידי  יש קבוע  שמקיים את התכונה הבאה:
לכל כיסוי בזיקוביץ'  של קבוצה חסומה  קיימות  תת־קבוצות בנות־מנייה של  שכל אחת מהן מורכבת מכדורים זרים, כך שאיחודן מכסה את .

את המשפט הוכיח המתמטיקאי הרוסי אברם סמוילוביץ' בזיקוביץ'.

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

תהי  קבוצה חסומה במרחב אוקלידי, ולכל נקודה  של  תהי  קבוצה שמקיימת את שתי התכונות הבאות:

יש מספר חיובי  שאינו תלוי ב-, ויש כדור סגור  סביב , כך ש- מכילה את  ומוכלת בכדור סביב  שרדיוסו גדול פי  מרדיוס .

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

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

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

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

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

הוכחה: תהי  קבוצה חסומה של נקודות קריטיות, מספיק להוכיח שהמידה של תמונת  היא אפס. מספיק להוכיח שהיא קטנה כרצוננו, ולכן יהי  חיובי.  חסומה ולכן מוכלת בקבוצה פתוחה וחסומה . תהי  נקודה ב-. כיוון ש- היא נקודה קריטית נוכל (מהגדרת הסימון האסימפטוטי ) למצוא קובייה סביבה שמוכלת ב- ושנפחה גדול פי לפחות  ממידת תמונתה. נתאים לכל נקודה את הקובייה שמצאנו, ונקבל כך כיסוי בזיקוביץ' של . לפי משפט הכיסוי נוכל לבחור משפחה בת־מנייה  מתוך הקוביות הללו שמכסה את  כך שכל איבר של  מופיע בלכל היותר  מהקוביות הללו. המשפחה מוכלת כמובן ב-, ולכן:

והביטוי האחרון קטן כרצוננו; מש"ל.

קטגוריה:אנליזה מתמטית