משפט פוביני – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 68:
# נניח כי שני המרחבים הם מרחבי מידה סופיים.{{ש}}בהינתן קבוצה <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> היא מחלקה מונוטונית יש להראות סגירות לאיחוד שרשראות עולות וחיתוך שרשראות יורדות, אך זה לא קשה להסיק תוך שימוש ב[[משפט ההתכנסות המונוטונית]].
# כעת נניח כי שני המרחבים הם סיגמא-סופיים. נציג <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 \
==הערות שוליים==
| |||