משפט הפירוק של האן
בערך זה |
במתמטיקה, ובפרט בתורת המידה, משפט הפירוק של האן הוא משפט הקובע כי מרחב מדיד עם מידה מסומנת ניתן לפירוק לקבוצה חיובית וקבוצה שלילית.
למשפט חשיבות רבה בתורת המידה והוא מהווה בסיס למרבית ההוכחות של משפט הפירוק של ז'ורדן, משפט הפירוק של לבג ומשפט רדון-ניקודים.
מבוא ומונחים בסיסיים
עריכהעבור מרחב מדיד כלשהו , מידה מסומנת היא פונקציה (כאשר הוא שדה המספרים הממשיים) המקיימת סיגמא-חיבוריות, מתאפסת עבור הקבוצה הריקה ומקבלת לכל היותר את אחד הערכים ו- (לא את שניהם).
קבוצה תקרא קבוצה חיובית אם ורק אם לכל מתקיים .
קבוצה תקרא קבוצה שלילית אם ורק אם לכל מתקיים .
משפט הפירוק של האן מאפשר להפריד את לקבוצה חיובית וקבוצה שלילית.
ניסוח מתמטי
עריכהעבור מרחב מדיד ומידה מסומנת קיימות קבוצות כך ש:[2]
- חיובית לפי .
- שלילית לפי .
- .
- .
תקציר ההוכחה
עריכהמאחר ש- מקבלת לכל היותר את אחד הערכים ו- אבל לא את שניהם, ניתן להניח בלי הגבלת הכלליות כי היא אינה מקבלת את הערך (אחרת מוכיחים את המשפט עבור המידה המסומנת ).
ראשית מוכיחים את הלמה הבאה: לכל קיימת חיובית כך ש- .[3]
לאחר מכן מגדירים ב- . לפי הגדרת הסופרימום קיימת סדרה כך ש- . בגלל הלמה ניתן להניח כי הסדרה מורכבת מקבוצות חיוביות בלבד. מגדירים ומאחר ומדובר באיחוד של קבוצות חיוביות, היא קבוצה חיובית. כמו כן, לפי בניית הסדרה , בהכרח מתקיים כי .
כעת מגדירים . ברור כי מדידה וכי .
כדי לסיים את ההוכחה יש להוכיח כי היא קבוצה שלילית. לשם כך לוקחים כלשהי. לפי חיבוריות של :
כאשר אי השוויון הימני נובע מהגדרת הסופרימום. מחסירים את משני האגפים (ניתן לעשות זאת כי בהכרח ) ומתקבל . הדבר נכון לכל כזו, ועל כן היא קבוצה שלילית. מ.ש.ל.
יחידות
עריכהבעוד שמשפט הפירוק אינו מוכיח יחידות של הפירוק, ניתן להוכיח כי הפירוק יחיד עד כדי קבוצה ממידה אפס.
בהינתן שני פירוקים לפי משפט הפירוק של האן ו- ניתן להסיק כי הקבוצות ו- הן בהכרח ממידה אפס, זאת מאחר שהן תת-קבוצות הן של קבוצה חיובית והן שלילית. לכן:
כלומר, ההפרשים הסימטריים בין הקבוצות החיוביות ובין הקבוצות השליליות הם ממידה אפס.
הערות שוליים
עריכה- ^ Hans Hahn, Theorie der reellen Funktionen, SpringerLink doi: 10.1007/978-3-642-52624-4#toc
- ^ Hahn decomposition theorem, planetmath.org
- ^ RAOUF DOSS, THE HAHN DECOMPOSITION THEOREM, American Mathematical Society, October 1980 (באנגלית)