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

מ
←‏הוכחה: תקלדה
מ (איטגרבילית->אינטגרבילית - תיקון תקלדה בקליק)
מ (←‏הוכחה: תקלדה)
כאשר השוויון האחרון הוא מהגדרת מידת המכפלה. מכאן כי <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>i \to \infty</math> מתקיים <math>\mu \times \nu (E) = \int_Y \mu(E^y)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>, אז כפי שנובע מהחלק הקודם של ההוכחה מתקיים כי: