משפט הפירוק של ז'ורדן

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

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

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

מבוא ומונחים בסיסיים

עבור מרחב מדיד כלשהו $(\Omega ,\Sigma )$, מידה מסומנת היא פונקציה $\mu :\Sigma \to \mathbb {R} \cup \{-\infty ,\infty \}$ (כאשר $\mathbb {R}$ הוא שדה המספרים הממשיים) המקיימת סיגמא-חיבוריות, מתאפסת עבור הקבוצה הריקה ומקבלת לכל היותר את אחד הערכים $\infty$ ו-$-\infty$ (לא את שניהם). בהקשר זה פונקציית מידה "רגילה" תקרא מידה חיובית, והיא למעשה מידה מסומנת אשר מקבלת אך ורק ערכים אי-שליליים או $\infty$.

ניסוח פורמלי

עבור מרחב מדיד כלשהו $(\Omega ,\Sigma )$ ומידה מסומנת על המרחב $\mu$, קיים זוג מידות חיוביות $\mu ^{+},\mu ^{-}$ כך ש:

1. $\mu =\mu ^{+}-\mu ^{-}$.
2. $\mu ^{+},\mu ^{-}$ סינגולריות אחת ביחס לשנייה.

פירוק זה נקרא פירוק ז'ורדן והוא פירוק יחיד.

הוכחה

קיום

על-פי משפט הפירוק של האן קיימת קבוצה חיובית $P\in \Sigma$ (קבוצה שכל תתי-הקבוצות שלה ממידה אי-שלילית) כך שהמשלים שלה $\Omega \backslash P$ הוא קבוצה שלילית (קבוצה שכל תתי-הקבוצות שלה ממידה אי-חיובית). מגדירים את המידות $\mu ^{+},\mu ^{-}$ כך שלכל $A\in \Sigma$:

$\mu ^{+}(A):=\mu (A\cap P)$

$\mu ^{-}(A):=-\mu (A\backslash P)$

על פי היותה של $P$ קבוצה חיובית ו-$\Omega \backslash P$ קבוצה שלילית, בהכרח $\mu ^{+},\mu ^{-}$ שתיהן חיוביות לכל $A\in \Sigma$. יתרה מזאת:

$\mu (A)=\mu ((A\cap P)\cup (A\backslash P))=\mu (A\cap P)+\mu (A\backslash P)=\mu ^{+}(A)-\mu ^{-}(A)$

ולכן $\mu =\mu ^{+}-\mu ^{-}$.

מכל זאת נובע כי $\mu ^{+},\mu ^{-}$ הוא פירוק לפי ז'ורדן של $\mu$. מ.ש.ל.

יחידות

בהינתן $\mu _{1}^{+},\mu _{1}^{-}$ ו-$\mu _{2}^{+},\mu _{2}^{-}$ שני פירוקים לפי ז'ורדן, לפי סינגולריות קיימות שתי קבוצות מדידות $P_{1},P_{2}\in \Sigma$ כך ש:

• $\mu _{1}^{-}$ מתאפסת על $P_{1}$
• $\mu _{1}^{+}$ מתאפסת על $\Omega \backslash P_{1}$
• $\mu _{2}^{-}$ מתאפסת על $P_{2}$
• $\mu _{2}^{+}$ מתאפסת על $\Omega \backslash P_{2}$

ניתן להבחין כי לכל $\Sigma \ni A\subseteq P_{1}$ מתקיים:

$\mu (A)=\mu _{1}^{+}(A)-\underbrace {\mu _{1}^{-}(A)} _{=0}=\mu _{1}^{+}(A)\geq 0$

ולכל $\Sigma \ni A\subseteq \Omega \backslash P_{1}$ מתקיים:

$\mu (A)=\underbrace {\mu _{1}^{+}(A)} _{=0}-\mu _{1}^{-}(A)=-\mu _{1}^{-}(A)\leq 0$

כלומר $P_{1}$ קבוצה חיובית ו-$\Omega \backslash P_{1}$ קבוצה שלילית. נובע מכך כי $P_{1},\Omega \backslash P_{1}$ הוא פירוק לפי האן, ובאופן דומה גם $P_{2},\Omega \backslash P_{2}$ הוא פירוק לפי האן. בגלל שפירוק לפי האן הוא יחיד עד כדי קבוצות ממידה אפס, מתקיים $\mu (P_{1}\Delta P_{2})=0$. מכאן נובע כי לכל $A\in \Sigma$ מתקיים כי:

$\mu _{1}^{+}(A)=\mu (A\cap P_{1})=\mu (A\cap P_{2})=\mu _{2}^{+}(A)$

כאשר השוויונות הימני והשמאלי הם לפי הגדרה והשוויון האמצעי נובע מהיותן של $P_{1},P_{2}$ שונות עד כדי קבוצה ממידה אפס. הדבר נכון לכל $A\in \Sigma$, לכן $\mu _{1}^{+}=\mu _{2}^{+}$ ובאופן דומה גם $\mu _{1}^{-}=\mu _{2}^{-}$.

מכאן שפירוק ז'ורדן הוא יחיד. מ.ש.ל.

מידת השתנות כוללת

בהינתן מידה מסומנת $\mu$ ופירוק ז'ורדן שלה $\mu ^{+},\mu ^{-}$, ניתן להגדיר את מידת ההשתנות הכוללת המסומנת ב-$|\mu |$ ומוגדרת להיות $|\mu |:=\mu ^{+}+\mu ^{-}$. בגלל היחידות של פירוק ז'ורדן, מידת ההשתנות הכוללת מוגדרת היטב לכל $\mu$.

קישורים חיצוניים

• Jordan Decomposition Theorem, באתר Pr∞fWiki (באנגלית)