מספר לבג

תבנית:מקורות בטופולוגיה, מספר לֶבֶּג של כיסוי פתוח של קבוצה במרחב מטרי, הוא המספר δ הגדול ביותר שכל תת-קבוצה שלה שקוטרה קטן ממנו, מוכלת באחד ממרכיבי הכיסוי. לפי הלמה של לבג, לכל כיסוי פתוח של קבוצה קומפקטית יש מספר לבג חיובי ממש. את הלמה הוכיח המתמטיקאי אנרי לבג.

הוכחה

תהא $X$ קבוצה קומפקטית במרחב מטרי, ויהא $𝒜$ כיסוי פתוח של $X$. מהקומפקטיות נובע שקיים תת-כיסוי סופי. נסמן אותו ב-$\{A_1,\dots ,A_n\}\subseteq 𝒜$. לכל $i\in \{1,\dots ,n\}$, נגדיר $C_i:=X\setminus A_i$; אלו קבוצות סגורות. נגדיר פונקציה $f:X\to ℝ$ לפי הנוסחה $f(x):=\underset{i}{\max }d(x,C_i)$ (כאן d מסמן את המרחק בין הנקודה לקבוצה. מרחק זה יכול גם להיות 0).

כיוון ש-$𝒜$ הוא כיסוי, לכל נקודה $x\in X$ יש אינדקס i כך ש $x\in A_i$. כיוון ש$A_i$ קבוצה פתוחה, הרי שקיים ε > 0 כך שה־ε-סביבה של $x$ מוכלת ב $A_i$, ואז $f(x)\ge d(x,C_i)\ge ϵ>0$. בפרט, הפונקציה $f(x)$ לעולם אינה מתאפסת. אבל זוהי פונקציה רציפה על קבוצה קומפקטית, ולכן היא מקבלת שם מינימום. מינימום זה הוא חסם תחתון למספר לבג של הכיסוי.