הצגת המקור של הדף "משפט ויטלי"

{{פירוש נוסף|נוכחי=משפט על אודות קבוצות מדידות|אחר=משפט העוסק בהתכנסות בממוצע של סדרות פונקציות|ראו=משפט ההתכנסות של ויטלי}}

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

==הוכחת המשפט==

'''למה''': תהי <math>\ A</math> קבוצה מדידה לבג עם מידה חיובית <math> \ a = m^*(A) > 0</math>. אז קבוצת ההפרשים <math> A - A = \{x - y \,|\, x \,, y \in A \} </math> מכילה [[קטע פתוח]] לא ריק סביב נקודת האפס.

'''הוכחה''': לפי ההגדרה של מידת לבג, קיימת סדרת קטעים פתוחים זרים <math> \ I_n </math> המכסה את <math>\ A</math>, עם <math>\ \sum_{n = 0}^{\infty}{ \ m^*\left(I_n\right) } < \left(1 + \frac{1}{3} \right) m^*(A) \ </math>. 

נסמן <math>\ A_n = A \cap I_n</math>. אוסף החיתוכים האלה הוא כיסוי של A בקבוצות זרות ומדידות. קיים n עבורו <math>\ |I_n| = m^*\left(I_n\right) <  \frac{4}{3} \ m^*\left(A_n\right)</math>, משום שאחרת <math>\  \sum_{n = 0}^{\infty}{ m^*\left(I_n\right) } \ge \frac{4}{3} \sum_{n = 0}^{\infty}{ \ m^*\left(A_n\right) } =  \frac{4}{3} \ m^*\left(A\right) = \frac{4}{3} a</math>, בסתירה לבחירת הקטעים <math> \ I_n </math>.

נסמן <math>\ I_n = I</math> ,<math>\ A_n = J</math>. אז <math>\ \frac{3}{4} m^*\left(I\right) <   \ m^*\left(J\right)</math> מכיוון ש-<math>\ m^*\left(I_n\right) <  \frac{4}{3} \ m^*\left(A_n\right)</math>.

כעת נראה שלכל <math> |d| < \frac{1}{2} |I|</math>, החיתוך <math>J \cap \left( J + d \right)</math> אינו ריק. אחרת, <math>\ 2 m^*\left(J\right) = m^*\left(J\right) + m^*\left(J + d\right) = m^*\left(J \cup (J+d)\right) \le m^*\left(I \cup (I+d)\right) \le |I| + |d| \le |I| + \frac{1}{2} |I| = \frac{3}{2} |I|  </math>, ומכאן <math>\  m^*\left(J\right) \le \frac{3}{4} |I|  </math>, סתירה.

לכן לכל d כנ"ל, <math>\  d \in J - J = A_n - A_n \subseteq A-A</math>, והקטע <math> \left(-\frac{1}{2} |I| \,, \frac{1}{2} |I| \right)</math> כולו מוכל בהפרש <math>\ A-A</math>, כנדרש.

'''הוכחת המשפט'''. תהי <math>\ A</math> מדידת לבג עם מידה חיובית. נבחר (באמצעות אקסיומת הבחירה) קבוצה P של נציג אחד מכל מחלקה של חבורת המנה <math>\ \mathbb{R}/\mathbb{Q}</math> (ביחס לחיבור). נקבע מספור <math>\ \mathbb{Q} = \{r_1,r_2,\dots\}</math> של המספרים הרציונליים.

נגדיר <math>\ A_n = A \cap (P+r_n)</math>, אז <math>\ \bigcup_{n=1}^{\infty}{ A_n}</math> איחוד זר של A, ולכן, אם הקבוצות <math>\ A_n</math> כולן מדידות, אז מתקיים <math>m^*\left(A\right) = \sum_{n=1}^{\infty}{m^*\left(A_n\right)}</math>, ומכאן שיש קבוצה <math>\ A_n</math> עם מידה חיובית. זה סותר את הלמה, משום שההפרש <math>\ A_n - A_n</math> אינו יכול להכיל מספר רציונלי שונה מאפס: אחרת יש <math>x \,, y \in P</math> כך ש <math>(r_n + x) - (r_n + y) = x - y \in \Q</math>, בסתירה לבחירת הקבוצה P.

==הסבר אינטואיטיבי==

נוכיח שקיימת קבוצה לא-מדידה של מספרים ממשיים בקטע [0,1]. ראשית, נגדיר את קבוצת המספרים הממשיים בקטע [0,1] כ"העולם". 

נגדיר את המספר 0 כ"נציג א" ואת קבוצת המספרים הרציונליים בקטע [0,1] כ"קבוצה א". נוריד את קבוצה א מהעולם. עכשיו יש בעולם רק מספרים אי-רציונליים.

נבחר מספר כלשהו מהמספרים שנשארו בעולם (לשם כך נשתמש באקסיומת הבחירה); נקרא לו "נציג ב". נגדיר את "קבוצה ב" בתור: כל המספרים ששווים לנציג ב ועוד מספר רציונלי כלשהו. כל המספרים הללו לא רציונליים ולכן כולם נמצאים בעולם. עכשיו נוריד את קבוצה ב מהעולם.

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

נמשיך כך לבחור נציג מהמספרים שנשארו בעולם ולהוריד את הקבוצה המתאימה לו מהעולם, עד שהעולם יתרוקן. כמובן שזה ייקח אינסוף זמן - כל אחת מהקבוצות היא בת-מניה, ולכן מספר הקבוצות הכללי יהיה כעוצמת הרצף. אבל אנחנו הרי לא ממהרים לשום מקום. בסוף מתקבלת חלוקה של הקטע [0,1] למספר רציף של קבוצות בנות-מניה.

עכשיו נתבונן על קבוצת כל הנציגים. זוהי קבוצה שעוצמתה כמספר הקבוצות - כלומר [[עוצמת הרצף]]. מה המידה של קבוצה זו? יש שתי אפשרויות:
* אפשרות א: המידה של קבוצת הנציגים גדולה מאפס. אם כך, גם המידה של כל קבוצת נציגים אחרת גדולה מאפס. אם כך, מהי המידה של הקטע [0,1] כולו? לפי תכונת האדיטיביות בהגדרה של מידה, מידה של סכום בן-מניה של קבוצות, צריכה להיות שווה לסכום המידות של הקבוצות. אם כך, המידה של הקטע [0,1] צריכה להיות שווה לסכום כל המידות של קבוצות הנציגים. אבל המספר של קבוצות הנציגים הוא אינסופי (כמספר המספרים הרציונליים), ולכן המידה של הקטע [0,1] צריכה להיות אינסופית. אבל אנחנו יודעים שהמידה של הקטע היא 1 - הגענו לסתירה.
* אפשרות ב: המידה של קבוצת הנציגים היא אפס. לפי אותם שיקולים, המידה של הקטע [0,1] צריכה להיות אפס - שוב הגענו לסתירה.

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


[[קטגוריה:משפטים בתורת המידה|ויטלי]]
[[קטגוריה:הוכחות]]
[[קטגוריה:פרדוקסים]]