שינויים
/* שאלה בנוגע למידה */
:: <math>\liminf_{n \rightarrow \infty} A_n = \bigcup_{n=1}^{\infty} \bigcap_{m=n}^{\infty} A_m</math>
:: סדרה מתכנסת אם הגבול העליון שווה לתחתון (וערכם גם תהיה קבוצת הגבול). כרגיל גבול של סדרת קבוצות עולה הוא האיחוד ושל יורדת החיתוך. ז"א שאם <math>\mu</math> סגורה לגבולות אז היא גם סגורה לאיחודים וחיתוכים בני-מנייה. אבל האם יש לזה קשר לחיבוריות?
::: ראשית אציין שלא כל מידה זוכה לקיים תכונה זו: למשל מידת לבג <math>m</math> על <math>(\mathbb{R},\mathcal{L})</math>, עם סדרת הקבוצות <math>A_n=(n,\infty) \rightarrow \empty</math>. אני יכול להוכיח שאם <math>\mu</math> היא חיבורית '''סופית''', כלומר <math>\mu \left( \bigcup_{n=1}^N A_n \right)=\sum_{n=1}^N \mu(A_n)</math> עבור קבוצות זרות בזוגות, ומקיימת את הדרישה שלך אזי היא תהיה גם <math>\sigma</math>-חיבורית:
:::<math>\mu \left( \bigcup_{n=1}^\infty E_n \right)=\mu \left( \lim_{N \to \infty} \bigcup_{n=1}^N E_n \right)=\lim_{N \to \infty} \mu \left( \bigcup_{n=1}^N E_n \right)</math>
:::ועכשיו על פי חיבורית זה שווה ל <math>\lim_{N \to \infty} \sum_{n=1}^N \mu\left(E_n\right)</math> - וזוהי בדיוק ההגדרה של הטור האינסופי <math>\sum_{n=1}^\infty \mu \left( E_n \right)</math>
::: אני חושב שבלי חיבוריות סופית אין תוצאה, אבל ליתר בטחון כדאי לשאול את ד"ר הורוביץ. --[[משתמש:Michael|Michael]] 14:55, 21 בנובמבר 2012 (IST)
