קבוצה בעלת מידה אפס היא קבוצה שמידת לבג שלה שווה אפס. "מידת לבג" היא מדד שמודד את ה"אורך" או הגודל של קבוצה במובן האנליטי.
קבוצה E בתר הממשי היא בעלת מידה אפס אם ולכל ε>0 אפשר למצוא כיסוי בן-מנייה של קטעים פתוחים שמכסה את E. כיסוי בן-מנייה זה הוא אוסף קטעים פתוחים שניתן למנות (I1, I2, ...).
הדרישה היא שסכום אורכיהם של הקטעים הללו יהיה קטן מ-ε. זאת אומרת, אפשר לכסות את הקבוצה בקטעים שסכום האורכים שלהם קטן ככל שנרצה.
עבור מידה שלמה (ומידת לבג אכן שלמה) כל קבוצה בעלת מידה אפס היא מדידה. גם כל תת-קבוצה שלה היא מדידה ובעלת מידה אפס.
באופן אינטואיטיבי, קבוצה בעלת מידה אפס היא "זניחה" מבחינת אינטגרל לבג. אינטגרל לבג הוא דרך למדוד סכומים/שטחים של פונקציות, ולכן קבוצות אפס אינן משפיעות על ערכי אינטגרל אלה.
להלן מספר דוגמאות ומקרים כלליים של קבוצות בעלות מידה אפס:
קבוצה בעלת מידה אפס היא קבוצה ש"הגודל" שלה אפס לפי מדד מיוחד. מדד זה נקרא מידה של לבג.
זה אומר: לכל מספר קטן מאוד ε אפשר לכסות את הקבוצה בקטעים פתוחים. קטע פתוח הוא חתיכת קו בלי הקצוות.
כיסוי בן-מנייה זה רשימה של קטעים שאפשר למנות. סכום אורכי הקטעים צריך להיות קטן מ-ε.
קבוצה כזו היא מאוד קטנה. היא לא משנה חישובים של אינטגרל לבג. אינטגרל לבג זו דרך למדוד "שטח" של פונקציה.
להלן מספר דוגמאות ומקרים כלליים של קבוצות בעלות מידה אפס:
תגובות גולשים