קבוצת קנטור מוכללת

שמאל|ממוזער|256x256 פיקסלים| לאחר הסרת הקטעים השחורים, הנקודות הלבנות שנותרו מהוות קבוצה דלילה בעלת מידת לבג 1/2.
במתמטיקה, **קבוצת קנטור** **מוכללת,** היא דוגמה לקבוצת נקודות במישור הממשי שהיא קבוצה דלילה (בפרט היא אינה מכילה קטעים לא מנוונים), ובכל זאת היא בעלת מידת לבג חיובית. קבוצת קנטור המוכללת היא הכללה של קבוצת קנטור ושתיהן נקראות על שם המתמטיקאי גיאורג קנטור. במאמר משנת 1875, המתמטיקאי הנרי סמית' דן בקבוצה דלילה בעלת מידה חיובית על המישור הממשי, והמתמטיקאי ויטו וולטרה הציג דוגמה דומה ב־1881. בעוד קבוצת קנטור המוכרת כיום התפרסמה בשנת 1883. מבחינה טופולוגית קבוצות קנטור המוכללות מקבילות מבחינה טופולוגית לקבוצת קנטור הסטנדרטית.

## הגדרה פורמלית
בדומה לבניית קבוצת קנטור, קבוצת קנטור מוכללת בנויה על ידי הסרת קטעים מסוימים מקטע היחידה \left[0,1\right].

בהינתן סדרה של מספרים ממשיים (\delta_{1}, \delta_{2},\ldots) באשר 0  לכל k \in \mathbb{N}_{+} נגדיר בצורה רקורסיבית קבוצות בצורה הבאה, הקטע שבו עובדים הוא C_{0} = [0, 1] והקבוצה C_n תוגדר להיות C_{n-1} לאחר הוצאה ממרכזו של כל קטע I ב־C_{n-1} קטע באורך \delta_{n} \cdot \lambda(I), באשר \lambda מייצגת את מידת לבג, לבסוף קבוצת קנטור המוכללת היא הקבוצה המתקבלת מלקיחת חיתוך על פני כל האיטרציות של התהליך, קרי \mathcal{C} = \bigcap_{n=1}^{\infty} C_n.

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

### קבוצת קנטור
בעזרת הליך הבנייה מלעיל ניתן להגדיר את קבוצת קנטור בדרך הראשונה שהוצגה על ידי בחירת \delta = \frac{1}{3}, כלומר הסדרה הקבועה 1/3. ראה ערך מלא על קבוצת קנטור. בעקבות בחירת סדרת גודל הקטעים שמוסרים בכל שלב קבוצת קנטור היא בעלת מידה אפס, זאת לעומת קבוצות קנטור מוכללות רבות.

### קבוצת סמית'-וולטרה-קנטור

קבוצת סמית'-וולטרה-קנטור היא קבוצת קנטור מוכללת אשר נקראת על שמם של שלושה מתמטיקאים, הנרי סמית', ויטו וולטרה וגאורג קנטור. תהליך יצירת הקבוצה מתחיל בהסרת ה־1/4 האמצעי מקטע היחידה [0, 1] (זהה להסרת 1/8 משני צידי הנקודה האמצעית בקטע היחידה) כך שהקבוצה הנותרת היא\left[0, \tfrac{3}{8}\right] \cup \left[\tfrac{5}{8}, 1\right]השלבים הבאים מורכבים מהסרת 1/4^n מאמצע כל אחד מה־2^{n-1} קטעי משנה שנותרו. לכן בשלב השני של התהליך הקטעים (5/32, 7/32) וכן (25/32, 27/32) נמחקים, מה שמשאיר את הקבוצה\left[0, \tfrac{5}{32}\right] \cup \left[\tfrac{7}{32}, \tfrac{3}{8}\right] \cup \left[\tfrac{5}{8}, \tfrac{25}{32}\right] \cup \left[\tfrac{27}{32}, 1\right].לאחר המשכת התהליך בצורה רקורסיבית עד אינסוף, קבוצת סמית'-וולטרה-קנטור היא קבוצת הנקודות שלעולם לא מוסרות בתהליך. התמונה למטה מציגה את הקבוצה המקורית וכן את חמשת האיטרציות העוקבות של תהליך זה,
מרכז|512x512 פיקסלים
כל איטרציה שלאחר מכן בתהליך בנייתה של הקבוצה מסיר באופן יחסי פחות מהקטעים הנותרים, זאת לעומת קבוצת קנטור.

## תכונות ושימושיהן
לפי תהליך הבנייה, קבוצת קנטור מוכללת אינה מכילה קטעים ולכן בעלת פנים ריק, כלומר \text{int}(\mathcal{C})=\emptyset. בנוסף קבוצת קנטור מוכללת היא חיתוך בן מנייה של קבוצות סגורות, ולכן קבוצת קנטור מוכללת בעצמה קבוצה סגורה.

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

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

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

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

### קריטריון לזניחות
בהיתן קבוצת קנטור מוכללת \mathcal{C} הנוצרה מסדרה \delta כמתואר בהגדרה הפומרלית, מתקיים כי, \mathcal{C} קבוצה זניחה אם"ם \sum_{n=1}^{\infty}\delta_{n} = \infty.

## חישוב מידת לבג של קבוצת קנטור מוכללת
על מנת לחשב את מידת הלבג של קבוצת קנטור מוכללת, ניתן לחשב את מידת הלבג של כל קטע אשר מורידים במהלך הבנייה הרקורסיבית של הקבוצה. לדוגמה, נניח כי נמצאים מסירים את הקטעים האמצעיים בעלי אורך a^n באיטרציה ה־n של התהליך, באשר 0 \leq a \leq \dfrac{1}{3} אזי לקבוצת הקנטור המוכללת המתקבלת יש מידת לבג הניתנת לחישוב בצורה הבאה,\begin{align}
1 - \sum _{n=0}^\infty 2^n a ^ {n+1} &= 1 - a \sum _{n=0}^\infty (2a)^n \\[5pt]
 &= 1 - a \frac{1}{1 - 2a} \\[5pt]
 &= \frac{1 - 3a}{1 - 2a}
\end{align}
אשר עולה מ־0 ל־1 כאשר a יורדת מ־1/3 ל־0 (וכן המקרה בו a > 1/3 בלתי אפשרי בצורת בנייה זו).

### מידת לבג של קבוצת סמית'-וולטרה-קנטור
לקבוצת סמית'-וולטרה-קנטור יש מידת לבג חיובית בעוד לקבוצת קנטור יש מידה אפס. במהלך התהליך, הקטעים המוסרים הם בעלי אורך כולל של\sum_{n=0}^\infty \frac{2^n}{2^{2n + 2}} = \frac{1}{4} + \frac{1}{8} + \frac{1}{16} + \cdots = \frac{1}{2}\,מה שמראה שלקבוצת הנקודות הנותרות יש מידה חיובית של 1/2. מה שהופך את קבוצת סמית'-וולטרה-קנטור לדוגמה לקבוצה סגורה בעלת שפה עם מידת לבג חיובית.

## הערות שוליים

קטגוריה:מרחבים טופולוגיים
קטגוריה:פרקטלים
קטגוריה:תורת המידה