מחלקה מונוטונית

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש
Nuvola apps edu mathematics blue-p.svg

בערך זה
נעשה שימוש
בסימנים מוסכמים
מתחום המתמטיקה.
להבהרת הסימנים
ראו סימון מתמטי.

מחלקה מונוטונית היא משפחה של קבוצות המקיימת תכונות סגירות מסוימות.

משפט המחלקה המונוטונית קובע קשר בין מחלקות מונוטוניות לבין סיגמא-אלגברות, וקשר זה מאפשר להוכיח תכונות רבות בתורת המידה ובתורת ההסתברות, כדוגמת משפט פוביני.

הגדרה

תהי קבוצה. משפחה של תתי-קבוצות נקראת מחלקה מונוטונית, אם היא סגורה לאיחוד וחיתוך שרשראות מונוטוניות בנות-מניה, כלומר:

  1. לכל סדרה המקיימת , מתקיים כי .
  2. לכל סדרה המקיימת , מתקיים כי .

משפט המחלקה המונוטונית

תהי קבוצה ותהי משפחה כלשהי של תתי-קבוצות.

נסמן את המחלקה המונוטונית הנוצרת על ידי להיות , ונסמן את הסיגמא-אלגברה הנוצרת על ידי להיות . לא קשה לראות כי היא חיתוך כל המחלקות המונוטוניות המכילות את וכי היא חיתוך כל הסיגמא-אלגבראות המכילות את .

משפט: תהי אלגברה של קבוצות על קבוצה (כלומר משפחה הסגורה ללקיחת משלים ולאיחודים סופיים). אזי .

הוכחה

ברור שכל סיגמא-אלגברה היא מחלקה מונוטונית, ולכן ודאי . כדי להראות את ההכלה ההפוכה די להראות כי מהווה סיגמא-אלגברה בעצמה.

לא קשה לראות שאם מחלקה מונוטונית היא אלגברה, אז היא גם סיגמא-אלגברה, ולכן די להראות כי היא אלגברה. אם כך נראה כי היא סגורה ללקיחת משלים ולאיחודים סופיים.

תהי . נגדיר . לא קשה לראות כי מהווה מחלקה מונוטונית וכן כי מהיות אלגברה. כמו כן ניתן לראות כי לכל מתקיים .

לכל , לכל מתקיים כי מהיות אלגברה. לכן נובע כי . נזכור כי מהווה מחלקה מונוטונית, ולכן נסיק כי .

אם כך לכל מתקיים , ובאופן שקול , ולכן נובע כי גם לכל .

אם כך לכל מתקיים , כלומר , ולכן סגורה למשלים.

לסיום, קל לראות שמחלקה מונוטונית הסגורה למשלים סגורה גם לאיחודים סופיים, ועל כן מהווה אלגברה.

משפט המחלקה המונוטונית לפונקציות

משפט: תהי מערכת-π ותהי קבוצה השייכת ל-, ותהי משפחה של פונקציות , המקיימת את שלוש התכונות הבאות:

  1. לכל מתקיים , כאשר היא הפונקציה המציינת.
  2. אם אז וכן לכל .
  3. לכל סדרה מונוטונית עולה של פונקציות אי-שליליות המתכנסת לפונקציה גבולית , מתקיים .

אזי מכילה את כל הפונקציות החסומות והמדידות ביחס לסיגמא-אלגברה הנוצרת על ידי .

הוכחה

הוכחה זו מבוססת על משפט π−λ.

ההנחה כי יחד עם תכונות 2,3 גוררת כי המשפחה מהווה מערכת-λ.

מתכונה 1 וממשפט π−λ נובע כי .

תכונה 2 מראה כי מכילה את כל הפונקציות הפשוטות, ומתכונה 3 נובע כי היא מכילה את כל הפונקציות המדידות והחסומות, שכן כל פונקציה מדידה וחסומה היא גבול של סדרה מונוטונית של פונקציות פשוטות.

Logo hamichlol 3.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0