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

נוספו 89 בתים ,  לפני 6 שנים
(←‏הוכחה: קישורים פנימיים)
 
==הוכחה==
 
לאורך כל ההוכחה נוכיח עבור "צד אחד" של השוויון במשפט, כלומר כאשר מתחילים לבצע אינטגרציה במשתנה הראשון ואז בשני, וההוכחה לסדר ההפוך סימטרית.
 
ההוכחה הנפוצה למשפט עושה שימוש ב[[משפט המחלקה המונוטונית]]. מבנה ההוכחה הוא כדלהלן: (1) תחילה מוכיחים את המשפט עבור פונקציות מדידות מסוג מסוים במרחבי מידה סופיים, (2) מכלילים את המשפט למרחבים סיגמא-סופיים, (3) מכלילים את המשפט לפונקציות מדידות כלליות.
* נניח כי שני המרחבים הם מרחבי מידה סופיים. בהינתן קבוצה <math>E \in \mathcal{M} \times \mathcal{N}</math>, לכל <math>y \in Y</math> נגדיר <math>E^y = \left\{ x \in X | (x,y) \in E \right\}</math>. נגדיר פונקציה <math>f:Y \to [0,\infty)</math> על ידי <math>f(y) = \mu(E^y)</math>. תהי <math>\mathcal{A}</math> האלגברה הנוצרת על ידי הקבוצות <math>A \times B</math> עבור <math>A \in \mathcal{M}, B \in \mathcal{N}</math>, ותהי <math>\mathcal{C}</math> אוסף כל הקבוצות המדידות שעבורן מתקיים המשפט. נראה כי <math>\mathcal{C}</math> היא [[מחלקה מונוטונית]] וכי <math>\mathcal{A} \subset \mathcal{C}</math>, ומ[[משפט המחלקה המונוטונית]] נוכל להסיק כי <math>\mathcal{M} \otimes \mathcal{N} = \sigma(\mathcal{A}) \subset \mathcal{C}</math>, כנדרש.
 
בהינתן <math>A \times B \in \mathcal{A}</math>, מתקיים כי <math>f(y) = \mu(E^y) = 1_B(y) \cdot \mu(A)</math> ולכן ניתן להסיק מיד כי <math>f</math> פונקציה מדידה. אם כך נובע כי <math>\int_Yf(y)d\nu = \int_Y1_B(y) \mu(A)d\nu = \mu(A)\nu(B)=\mu \times \nu (A \times B)</math>, כאשר השוויון האחרון הוא מהגדרת מידת המכפלה. באותו אופן ניתן להראות את הטענה עבור <math>E_x = \left\{ y \in Y | (x,y) \in E \right\}</math> ועבור הפונקציה <math>g(x) = \nu(E_x)</math>. מכאן כי <math>\mathcal{A} \subset \mathcal{C}</math>.{{ש}}כדי להראות כי <math>\mathcal{C}</math> היא מחלקה מונוטונית יש להראות סגירות לאיחוד שרשראות עולות וחיתוך שרשראות יורדות, אך זה לא קשה להסיק תוך שימוש ב[[משפט ההתכנסות המונוטונית]].:
<center>
<math>\int_Yf(y)d\nu = \int_Y1_B(y) \mu(A)d\nu = \mu(A)\nu(B)=\mu \times \nu (A \times B)</math>
</center>
כאשר השוויון האחרון הוא מהגדרת מידת המכפלה. מכאן כי <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>\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>.
משתמש אלמוני