מידה מסומנת

במתמטיקה, מידה מסומנת (signed measure) היא העתקה המכלילה את רעיון המידה, באפשרה ערכים שליליים.

הגדרה פורמלית

יהא $(X,\Sigma )$ מרחב מדיד, אז העתקה מהצורה $\nu :\Sigma \rightarrow {\overline {\mathbb {R} }}$ (כאשר ${\overline {\mathbb {R} }}=\mathbb {R} \cup \{{-\infty ,+\infty }\}$) המקיימת את התכונות הבאות:

1. $\nu (\emptyset )=0$
2. העתקה $\nu$ רשאית לקבל רק אחד מהערכים $+\infty$ או $-\infty$.
3. העתקה $\nu$ היא סיגמא-אדיטיבית. כלומר, לכל סדרה של קבוצות מדידות וזרות $(A_{n})_{n=1}^{\infty }$ מתקיים ש- $v(\bigsqcup _{n=1}^{\infty }A_{n})=\sum _{n=1}^{\infty }\nu (A_{n})$. כמו כן, אנחנו דורשים שלכל $(A_{n})_{n=1}^{\infty }$ הטור $\sum _{n=1}^{\infty }\nu (A_{n})$ חייב להתכנס בהחלט.

הערה

על מנת למנוע בלבול מיותר בהמשך המאמר, מעתה ואילך (במאמר זה) העתקת המידה "הרגילה" תקרא מידה חיובית.

קבוצות חיוביות, שליליות ואפסיות

תהא $\nu$ מידה מסומנת על מרחב מדיד $(X,\Sigma )$. נאמר ש-$A\in \Sigma$ היא קבוצה $\nu$-חיובית אם לכל $\Sigma \ni B\subseteq A$ מתקיים ש-$\nu (B)\geq 0$. באופן אנלוגי אנחנו נגדיר אתה הקבוצה $A\in \Sigma$ להיות קבוצה $\nu$-שלילית אם לכל $\Sigma \ni B\subseteq A$מתקיים ש-$\nu (B)\leq 0$.

נאמר שהקבוצה $A\in \Sigma$ היא $\nu$-אפסית אם היא $\nu$-חיובית וגם $\nu$-שלילית.

רציפות בהחלט

תהא $\mu$ מידה חיובית ותהא $\nu$ מידה מסומנת על אותו מרחב מדיד $(X,\Sigma )$. נאמר ש-$\nu$ היא רציפה בהחלט ביחס ל-$\mu$, ונסמן זאת על ידי $\nu <<\mu$, אם לכל $A\in \Sigma$ קבוצה מדידה מתקיים: $\mu (A)=0\Longrightarrow \nu (A)=0$.

סינגולריות של מידות

יהיו $\nu ,\mu$ מידות מסומנות על המרחב המדיד $(X,\Sigma )$. נאמר ש-$\nu$ ו-$\mu$ הן סינגולריות אחת ביחס לשניה ונסמן זאת על ידי $\nu \perp \mu$ אם קיימות שתי תת קבוצות $A,B\subseteq X$ מדידות המהוות פירוק זר ל-$X$ וגם $A$ היא $\mu$-אפסית ו-$B$ היא $\nu$-אפסית.

משפטים, למות ותכונות מעניינות הנוגעות למידות מסומנות

משפטי רציפות

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

1. תהא $\nu$ מידה מסומנת ותהא $(B_{n})_{n=1}^{\infty }$ סדרה של קבוצות עולות (ביחס להכלה) אזי מתקיים $\nu (\bigcup _{n=1}^{\infty }B_{n})=\lim _{n\to \infty }\nu (B_{n})$
2. תהא $\nu$ מידה מסומנת ותהא $(B_{n})_{n=1}^{\infty }$ סדרה של קבוצות יורדות (ביחס להכלה) וגם $|\nu (B_{1})|<\infty$ אזי $\nu (\bigcap _{n=1}^{\infty }B_{n})=\lim _{n\to \infty }\nu (B_{n})$

סגירות של קבוצות $\nu$-חיוביות תחת איחוד בן מניה

תהא $\nu$ מידה מסומנת ויהיו $(B_{n})_{n=1}^{\infty }$ סדרה של קבוצות $\nu$ חיוביות. אזי, $B=\bigcup _{n=1}^{\infty }B_{n}$ היא קבוצה $\nu$-חיובית.

משפט הפירוק של האן

תהא $\nu$ מידה מסומנת על מרחב מדיד $(X,\Sigma )$. אזי, קיימות שתי קבוצות זרות $P,N\subseteq X$ שכך שמתקיימים התנאים הבאים:

1. הקבוצות $P$ ו-$N$ מהוות פירוק זר של $X$. כלומר, $X=P\sqcup N$.
2. הקבוצה $P$ היא $\nu$-חיובית.
3. הקבוצה $N$ היא $\nu$-שלילית.
4. הפירוק הוא יחיד במובן הבא: אם $P',N'\subseteq X$ הן גם פירוק Hahn של $X$ אזי הקבוצות $P'-P,P-P',N-N',N'-N$ הן קבוצות אפסיות ביחס ל-$\nu$.

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

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

1. המידות $\nu ^{+}$ ו-$\nu ^{-}$ מהוות פירוק של המידה $\nu$. כלומר, $\nu =v^{+}-v^{-}$.
2. המידות $\nu ^{+}$ ו-$\nu ^{-}$ הן מידות סינגולריות אחת ביחס לשניה.

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

אם $\nu$ היא מידה מסומנת, ו-$\nu ^{+}$ וגם $\nu ^{-}$ מהוות פירוק של $\nu$, אז העתקה $|\nu |=\nu ^{+}+\nu ^{-}$ היא מידה חיובית הנקראת פונקציית ההשתמנות הכללית של $\nu$.

בניית מידה מסומנת בעזרת אינטגרציה

יהא $(X,\Sigma ,\mu )$ מרחב מידה כאשר $\mu$ היא מדיה חיובית, ותהא $f:X\to \mathbb {R}$ אינטגרבילית באופן מוחלט. אזי, העתקה שמוגדרת על קבוצה $A\in \Sigma$ באופן הבא $\nu :A\to \int _{A}f\cdot d\mu$ היא מידה מסומנת. יתירה מכך, אם $f\in L^{1}(\mu )$ אזי $\nu$ היא מידה סופית וגם $\nu <<\mu$.

משפט רדון-ניקודים

יהא $(X,\Sigma )$ מרחב מדיד. תהא $\mu$ מידה חיובית ו-$\sigma$-סופית ותהא $\nu$ מידה מסומנת ו-$\sigma$-סופית. אזי קיימות $\lambda$ מידה חיובית ו-$\rho$ מידה מסומנת המקיימות את התנאים הבאים:

1. המידות $\lambda$ ו-$\rho$ מהוות פירוק של המידה $\nu$. כלומר, $\nu =\lambda +\rho$.
2. המידות $\lambda$ ו-$\mu$ הן סינגולריות אחת ביחס לשניה. כלומר, $\lambda \perp \mu$.
3. המידה $\rho$ רציפה בהחלט ביחס למידה $\mu$. כלומר, $\rho <<\mu$. בפרט, קיימת $f:X\to \mathbb {R}$ אינטגרבילית באופן מוחלט כך ש-$\rho (A)=\int _{A}f\cdot d\mu$.

מסקנה של משפט רדון-ניקודים עבור $\nu <<\mu$

אם $\nu <<\mu$ אזי $\lambda =0$ ולכן $\nu (A)=\int _{A}f\cdot d\mu$. במקרה הזה, הפונקציה $f$ נקראת נגזרת רדון-נקודים ונהוג לסמן

$d\nu (A)=f\cdot d\mu \Longrightarrow f={d\nu \over d\mu }$

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

• Signed Measures, באתר של אוניברסיטת ווטרלו (באנגלית)
• מידה מסומנת, באתר אנציקלופדיה למתמטיקה (באנגלית)