מספר לבג – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
הבהרה
יותר יפה.
שורה 4:
 
==הוכחה==
תהא ''' <math>X'''</math> קבוצה קומפקטית במרחב מטרי, ויהא <math>\mathcal A</math> כיסוי פתוח של ''' <math>X'''</math>.
 
מהקומפקטיות נובע שקיים תת-כיסוי סופי. נסמן אותו <math>\{A_1, \dots, A_n\} \subseteq \mathcal A</math>