3,189
עריכות
מ (איטגרבילית->אינטגרבילית - תיקון תקלדה בקליק) |
מ (←הוכחה: תקלדה) |
||
כאשר השוויון האחרון הוא מהגדרת מידת המכפלה. מכאן כי <math>\mathcal{A} \subset \mathcal{C}</math>.{{ש}}כדי להראות כי <math>\mathcal{C}</math> היא מחלקה מונוטונית יש להראות סגירות לאיחוד שרשראות עולות וחיתוך שרשראות יורדות, אך זה לא קשה להסיק תוך שימוש ב[[משפט ההתכנסות המונוטונית]].
כעת נניח כי שני המרחבים הם סיגמא-סופיים. נציג <math>X = \bigcup_{i=1}^{\infty}X_i , Y = \bigcup_{i=1}^{\infty}Y_i</math> כאשר מידות הקבוצות באיחוד סופיות כולן, ונניח ללא הגבלת הכלליות כי אלו איחודים של שרשראות עולות. בהינתן <math>E</math> מדידה, בהמשך לסימונים הקודמים ניתן להסיק מהמקרה הסופי כי מתקיים <math display="block">\mu \times \nu (E \cap(X_i \times Y_i)) = \int\nu(E^y \cap X_i) \cdot 1_{Y_i}d\nu</math>
כעת נראה את המקרה הכללי של המשפט. תהי <math>f:X \times Y \to \mathbb{C}</math> פונקציה אינטגרבילית במרחב המכפלה. נניח ללא הגבלת הכלליות כי <math>f</math> פונקציה ממשית ואי-שלילית (כי כל פונקציה ממשית היא הפרש של זוג פונקציות חיוביות, וכל פונקציה מרוכבת היא סכום של שתי פונקציות ממשיות). נדון תחילה ב[[פונקציה מציינת|פונקציות מציינות]] מהצורה <math>f=1_E</math> עבור קבוצה מדידה <math>E \in \mathcal{M} \otimes \mathcal{N}</math>, אז כפי שנובע מהחלק הקודם של ההוכחה מתקיים כי:
|