הצגת המקור של הדף "מידה הטלתית"

ב[[אנליזה פונקציונלית]], '''מידה <math>\mathcal{H}</math>-הטלתית''' (או פשוט "מידה הטלתית", וב[[אנגלית]]: Projection-valued measure) היא [[פונקציה|העתקה]] המוגדרת על תתי-קבוצות מסוימות של קבוצה נתונה, כך שעבור כל תת-קבוצה מביניהן ההעתקה מחזירה [[הטלה (מתמטיקה)|אופרטור הטלה]] [[אופרטור הרמיטי|צמוד עצמית]] על [[מרחב הילברט]] קבוע <math>\mathcal{H}</math>. מידות הטלתיות משמשות כדי לבטא תוצאות ב[[התורה הספקטרלית|תורה הספקטרלית]], כדוגמת [[משפט הפירוק הספקטרלי]] לאופרטורים צמודים עצמית. מידות הטלתיות מהווה מעין הכללה של [[מידה מרוכבת|מידות מרוכבות]].

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

יהי <math>\mathcal{H}</math> [[מרחב הילברט]] ונסמן ב-<math>\mathcal{L}\left(\mathcal{H}\right)</math> את קבוצת כל [[אופרטור ליניארי חסום|האופרטורים הליניאריים החסומים]] מ-<math>\mathcal{H}</math> ל-<math>\mathcal{H}</math>. יהי <math>\left(\Omega,\mathcal{M}\right)</math> [[מרחב מדיד]]. מידה <math>\mathcal{H}</math>-הטלתית על <math>\left(\Omega,\mathcal{M}\right)</math> היא העתקה <math>P:\mathcal{M}\to\mathcal{L}\left(\mathcal{H}\right)</math> המקיימת את התכונות הבאות:

# לכל <math>E\in\mathcal{M}</math>, האופרטור <math>P\left(E\right)</math> הוא [[הטלה אורתוגונלית]], כלומר: <math>P\left(E\right)^{2}=P\left(E\right)=P\left(E\right)^{*}</math>.
# <math>P\left(\varnothing\right)=0</math> ו-<math>P\left(\Omega\right)=I</math>, כאשר <math>I</math> מסמן את [[אופרטור הזהות]] על <math>\mathcal{H}</math>.
# <math>P\left(E\cap F\right)=P\left(E\right)P\left(F\right)</math> לכל <math>E,F\in\mathcal{M}</math>, כאשר הפעולה באגף ימין היא [[הרכבת פונקציות|הרכבה]] של העתקות.
# לכל סדרה <math>E_{1},E_{2},\dots</math> של [[קבוצות זרות]] בזוגות השייכות ל-<math>\mathcal{M}</math> מתקיים:<br /><math>P\left(\bigcup_{n=1}^{\infty}E_{n}\right)=\sum_{n=1}^{\infty}P\left(E_{n}\right)</math> <br />כאשר ההתכנסות באגף ימין היא ב[[הטופולוגיה האופרטורית החזקה|טופולוגיה האופרטורית החזקה]] (כלומר, נקודתית).

תכונה 4 למעשה נגררת מתכונות 1-3, אך נהוג לציין אותה כחלק מההגדרה.

'''דוגמה''': אם <math>\left(\Omega,\mathcal{M},\mu\right)</math> הוא [[מרחב מידה]], נבחר <math>\mathcal{H}=L^{2}\left(\mu\right)</math> (ראו [[מרחב Lp]]) ונגדיר <math>P\left(E\right)f=\chi_{E}f</math>, כאשר <math>\chi_{E}</math> היא ה[[פונקציה מציינת|פונקציה המציינת]] של <math>E</math> והכפל באגף ימין הוא נקודתית. אז <math>P</math> היא מידה <math>\mathcal{H}</math>-הטלתית על <math>\left(\Omega,\mathcal{M}\right)</math>.
זוהי דוגמה מרכזית מאוד ל[[אנליזה ספקטרלית]] מכיוון ש[[משפט הפירוק הספקטרלי]] באחד מגרסאותיו (הידועה כ'משפט הפירוק הספקטרלי בצורת מידה הטלתית') מוכיח קיום התאמה חד-חד-ערכית ועל בין אופרטורים חסומים וצמודים לעצמם לבין המידות הספקטרליות הנוצרות כפי שמתואר בדוגמה. הכללה של הצורה הזאת לאופרטורים לא חסומים היא התוצאה המרכזית ביותר בחקר אופרטורים לא חסומים על מרחבי הילברט.

==תכונות נוספות של מידות הטלתיות==

אם <math>P</math> היא מידה <math>\mathcal{H}</math>-הטלתית על <math>\left(\Omega,\mathcal{M}\right)</math> ו-<math>u,v</math> הם וקטורים ב-<math>\mathcal{H}</math>, ההעתקה <math>P_{u,v}\left(E\right)=\left\langle P\left(E\right)u,v\right\rangle </math> מגדירה [[מידה מרוכבת]] רגילה על <math>\left(\Omega,\mathcal{M}\right)</math>. ההתאמה <math>\left(u,v\right)\mapsto P_{u,v}</math> היא "[[מכפלה פנימית]] מידתית" במובן הבא: זוהי [[תבנית ססקווילינארית]] המחזירה ערכים ב-<math>\mathbf{M}\left(\left(\Omega,\mathcal{M}\right)\right)</math> (מרחב כל המידות המרוכבות על המרחב המדיד <math>\left(\Omega,\mathcal{M}\right)</math>), מתקיים <math>P_{v,u}=\overline{P_{u,v}}</math> לכל <math>u,v\in\mathcal{H}</math> ו-<math>P_{v,v}</math> היא [[מידה חיובית]] (סופית) לכל <math>v\in\mathcal{H}</math>. בנוסף לכך, [[מידת ההשתנות הכוללת]] של <math>P_{v,v}</math> היא, על פי הגדרה, <math>\left\Vert P_{v,v}\right\Vert =P_{v,v}\left(\Omega\right)=\left\Vert v\right\Vert ^{2}</math>.

אם <math>\Omega</math> הוא [[מרחב טופולוגי]] ו-<math>\mathcal{M}</math> היא [[אלגברת בורל]] שלו, אומרים ש-<math>P</math> היא '''רגולרית''' אם כל אחת מהמידות המרוכבות <math>P_{u,v}</math> היא [[מידה מרוכבת#רגולריות של מידה מרוכבת|רגולרית]]. באופן שקול, <math>P</math> היא רגולרית אם מתקיים
: <math>\mbox{Im}P\left(E\right)=\overline{\mbox{span}\left\{ \mbox{Im}P\left(K\right)\mid K\subseteq E\mbox{ is compact}\right\} }</math>
לכל קבוצת בורל <math>E</math>.

בדוגמה שהוזכרה קודם לכן, מתקיים <math>P_{f,g}\left(E\right)=\int_{E}f\bar{g}\, d\mu</math> לכל <math>f,g\in L^{2}\left(\mu\right)</math> ואם <math>\mu</math> היא [[מידה רגולרית]], אז כל המידות <math>P_{f,g}</math> הן רגולריות ולכן המידה <math>P</math> היא רגולרית.

==אינטגרציה ביחס למידה הטלתית==

תהי <math>f</math> [[פונקציה מרוכבת]] [[פונקציה חסומה|חסומה]] ו-<math>\mathcal{M}</math>-[[פונקציה מדידה|מדידה]] על <math>\Omega</math>. אז ניתן להגדיר את ה[[אינטגרל]] של <math>f</math> ביחס ל-<math>P</math> באופן הבא: תחילה מראים שמתקיים <math>\left|\int_{\Omega} f\, dP_{u,v}\right|\le\left\Vert f\right\Vert _{\mbox{sup}}\left\Vert u\right\Vert \left\Vert v\right\Vert </math> לכל <math>u,v\in\mathcal{H}</math>, כאשר <math>\left\Vert f\right\Vert _{\mbox{sup}}</math> היא [[נורמת הסופרמום]] של <math>f</math>. מכאן מסיקים שהתבנית הססקווילינארית <math>\left(u,v\right)\mapsto\int_{\Omega} f\, dP_{u,v}</math> היא [[תבנית ססקווילינארית חסומה|חסומה]] ולכן לפי [[משפט ההצגה של ריס]], קיים [[אופרטור ליניארי חסום]] יחיד <math>T\in\mathcal{L}\left(\mathcal{H}\right)</math> (התלוי ב-<math>f</math>) כך ש-<math>\left\langle Tu,v\right\rangle =\int_{\Omega} f\, dP_{u,v}</math> לכל <math>u,v\in\mathcal{H}</math>. נאמר ש-<math>T</math> הוא האינטגרל של <math>f</math> ביחס ל-<math>P</math> ונסמן <math>T=\int_{\Omega} f\, dP</math>. אם כן, <math>\int_{\Omega}f\, dP</math> הוא האופרטור הליניארי החסום היחיד על <math>\mathcal{H}</math> המקיים את השוויון <math>\left\langle \left(\int_{\Omega}f\, dP\right)u,v\right\rangle =\int_{\Omega} f\, dP_{u,v}</math> לכל <math>u,v\in\mathcal{H}</math>.

ניתן להגדיר את האינטגרל ביחס למידה הטלתית גם בדרך הקונסטרוקטיבית הבאה. אם הפונקציה <math>f</math> היא [[פונקציה פשוטה]] מדידה, נרשום אותה בצורה <math>f=\sum_{j=1}^{n}c_{j}\chi_{E_{j}}</math> עבור מספרים מרוכבים <math>c_1, \dots, c_n</math> וקבוצות זרות בזוגות <math>E_1, \dots, E_n\in\mathcal{M}</math>. במקרה זה נגדיר <math>\int_{\Omega}f\, dP=\sum_{j=1}^{n}c_{j}P\left(E_{j}\right)</math>. מ[[תורת המידה]] ידוע שכל פונקציה מרוכבת מדידה וחסומה על <math>\Omega</math> היא [[התכנסות במידה שווה|גבול במידה שווה]] של [[סדרת פונקציות]] פשוטות. לכן אם <math>f</math> היא פונקציה כזו ו-<math>\left\{ f_{n}\right\} _{n=1}^{\infty}</math> היא סדרת פונקציות פשוטות המתכנסת אליה במידה שווה, נגדיר <math>\int_{\Omega}f\, dP=\lim_{n\to\infty}\int f_{n}\, dP</math>, כאשר הגבול הוא ב[[נורמה אופרטורית|טופולוגיה הנורמית]] על <math>\mathcal{H}</math> (ניתן להוכיח שהוא אכן קיים ובלתי תלוי בבחירת סדרת הפונקציות המתכנסת ל-<math>f</math>). שתי הגדרות אלה ל-<math>\int_{\Omega}f\, dP</math> הן שקולות.

עבור הדוגמה שהוזכרה בתחילת הערך, קל לחשב ולראות ש-<math>\left(\int_{\Omega}f\, dP\right)g=fg</math> לכל <math>f</math> מרוכבת מדידה וחסומה ו-<math>g\in L^{2}\left(\mu\right)</math>.

==תכונות האינטגרל==

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

'''משפט''': תהי <math>P</math> מידה <math>\mathcal{H}</math>-הטלתית על <math>\left(\Omega,\mathcal{M}\right)</math> ונסמן ב-<math>B\left(\Omega\right)</math> את מרחב כל הפונקציות המרוכבות המדידות והחסומות על <math>\Omega</math>. זוהי [[אלגברת סי כוכב]] ביחס לפעולות הנקודתיות של חיבור, [[כפל בסקלר]], כפל והצמדה מרוכבת וביחס לנורמת הסופרמום. אז ההעתקה <math>f\mapsto\int_{\Omega}f\, dP</math> היא [[הומומורפיזם]] של אלגבראות כוכב מ-<math>B\left(\Omega\right)</math> ל-<math>\mathcal{L}\left(\mathcal{H}\right)</math>, כלומר:

* <math>\int_{\Omega}\left(f+g\right)\, dP=\int_{\Omega}f\, dP+\int_{\Omega}g\, dP</math> לכל <math>f,g\in B\left(\Omega\right)</math>.

* <math>\int_{\Omega}cf\, dP=c\int_{\Omega}f\, dP</math> לכל <math>f\in B\left(\Omega\right)</math> ולכל סקלר <math>c\in\mathbb{C}</math>.

* <math>\int_{\Omega}fg\, dP=\left(\int_{\Omega}f\, dP\right)\left(\int_{\Omega}g\, dP\right)</math> לכל <math>f,g\in B\left(\Omega\right)</math>.

* <math>\int_{\Omega}\bar{f}\, dP=\left(\int_{\Omega}f\, dP\right)^{*}</math> לכל <math>f\in B\left(\Omega\right)</math>.

* זוהי העתקה רציפה. יתרה מזאת, מתקיים אי-השוויון <math>\left\Vert \int_{\Omega}f\, dP\right\Vert \le\left\Vert f\right\Vert _{\mbox{sup}}</math> לכל <math>f\in B\left(\Omega\right)</math>.

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

* האינטגרל הוא מונוטוני, במובן הבא: אם <math>f \in B\left(\Omega\right)</math> היא ממשית ואי-שלילית, אז האופרטור <math>\int_{\Omega}f\, dP</math> הוא [[אופרטור חיובי]].

* [[משפט ההתכנסות המונוטונית]] מתקיים: אם <math>f,f_1,f_2,\dots \in B\left(\Omega\right)</math> הן פונקציות ממשיות אי-שליליות כך ש-<math>f_{1}\le f_{2}\le\cdots</math> ו-<math>f_n \to f</math> נקודתית, אז <math>\int_{\Omega}f_{n}\, dP\to\int_{\Omega}f\, dP</math> כאשר ההתכנסות היא בטופולוגיה האופרטורית החזקה.

* [[משפט ההתכנסות הנשלטת]] מתקיים: אם <math>f,f_1,f_2,\dots \in B\left(\Omega\right)</math> הן פונקציות מרוכבות, <math>f_n \to f</math> נקודתית וקיים קבוע <math>C \ge 0</math> כך ש-<math>\left|f_{n} (x) \right|\le C</math> לכל <math>x \in \Omega</math> ולכל <math>n \ge 1</math>, אז <math>\int_{\Omega}f_{n}\, dP\to\int_{\Omega}f\, dP</math> ביחס לטופולוגיה האופרטורית החזקה.

==המבנה של מידות הטלתיות==

אם <math>\left(\Omega,\mathcal{M}\right)</math> הוא מרחב מדיד, <math>P_1</math> היא מידה <math>\mathcal{H}_1</math>-הטלתית על <math>\left(\Omega,\mathcal{M}\right)</math> ו-<math>P_2</math> היא מידה <math>\mathcal{H}_2</math>-הטלתית על אותו מרחב מדיד, אז אומרים ש-<math>P_1</math> ו-<math>P_2</math> הן '''דומות אוניטרית''' אם קיימת [[העתקה אוניטרית]] <math>S:\mathcal{H}_{1}\to\mathcal{H}_{2}</math> כך ש-<math>SP_{1}\left(A\right)S^{-1}=P_{2}\left(A\right)</math> לכל <math>A\in\mathcal{M}</math>.

תורת המבנה של מידות הטלתיות שואפת לייחס קבוצת [[אינווריאנטה|אינווריאנטות]] לכל מידה הטלתית אשר מאפיינת אותה לחלוטין עד כדי דמיון אוניטרי. המוטיבציה למציאת אינווריאנטות שכאלה נובעת מהתפקיד שמידות הטלתיות משחקות בתורה הספקטרלית, בה מייצגים אופרטורים נורמליים כאופרטורי אינטגרציה ביחס למידה הטלתית. אפיון של מחלקת המידות ההטלתיות עד כדי דמיון אוניטרי נותן כלי לבדיקה אם שני אופרטורים נורמליים על מרחב הילברט הם דומים אוניטרית (לפרטים נוספים, ראו [[משפט הפירוק הספקטרלי#משפט הפירוק הספקטרלי לאופרטורים חסומים צמודים עצמית|משפט הפירוק הספקטרלי]]).

האפיון המדובר ניתן על ידי '''משפט האן-הלינגר''', הקרוי על שמם של [[האנס האן]] ו[[ארנסט הלינגר]]. למשפט יש שני נוסחים ונציג את שניהם. כדי להימנע מקשיים טכניים, נציג את המשפט במקרה בו המידה ההטלתית פועלת על מרחב הילברט מרוכב ו[[מרחב ספרבילי|ספרבילי]]. נשתמש בסימון <math>\mu \ll \nu</math>, כאשר <math>\mu</math> ו-<math>\nu</math> הן מידות חיוביות על אותו מרחב מדיד, אם <math>\mu</math> היא [[רציפות_בהחלט#רציפות_בהחלט_של_מידות|רציפה בהחלט]] ביחס ל-<math>\nu</math>, כלומר אם <math>\nu\left(E\right)=0\Rightarrow\mu\left(E\right)=0</math> לכל קבוצה מדידה <math>E</math>. אם מתקיים <math>\mu \ll \nu</math> וגם <math>\nu \ll \mu</math>, נאמר ש-<math>\mu</math> ו-<math>\nu</math> הן '''[[שקילות (תורת המידה)|מידות שקולות]]''' ונסמן <math>\mu \sim \nu</math>. פירוש הדבר הוא של-<math>\mu</math> ו-<math>\nu</math> יש את אותן קבוצות ממידה אפס. זהו [[יחס שקילות]] ו[[מחלקת שקילות|מחלקת השקילות]] של <math>\mu</math> ביחס זה תסומן <math>\left[\mu\right]</math>.

'''משפט האן-הלינגר (נוסח ראשון)''': תהי <math>P</math> מידה <math>\mathcal{H}</math>-הטלתית על מרחב מדיד <math>\left(\Omega,\mathcal{M}\right)</math> ונניח ש-<math>\mathcal{H}</math> הוא מרחב הילברט מרוכב ספרבילי. אזי קיימת סדרה של מידות חיוביות סופיות <math>\mu_{1}\gg\mu_{2}\gg\mu_{3}\gg\cdots</math> על <math>\left(\Omega,\mathcal{M}\right)</math> והעתקה אוניטרית <math>S:\mathcal{H}\to\sum_{n=1}^{\infty}L^{2}\left(X,\mathcal{M},\mu_{n}\right)</math> כך ש-<math>SP\left(A\right)S^{-1}f=\chi_{A}f</math> לכל <math>A\in\mathcal{M}</math> ולכל <math>f\in\sum_{n=1}^{\infty}L^{2}\left(X,\mathcal{M},\mu_{n}\right)</math>.
אם <math>\nu_{1}\gg\nu_{2}\gg\nu_{3}\gg\cdots</math> היא סדרה נוספת של מידות חיוביות סופיות עם התכונה לעיל (כלומר, קיימת עבורה העתקה אוניטרית <math>S_{1}:\mathcal{H}\to\sum_{n=1}^{\infty}L^{2}\left(X,\mathcal{M},\nu_{n}\right)</math> כך ש-<math>S_{1}P\left(A\right)S_{1}^{-1}f=\chi_{A}f</math> לכל <math>A\in\mathcal{B}</math> ולכל <math>f\in\sum_{n=1}^{\infty}L^{2}\left(X,\mathcal{M},\nu_{n}\right)</math>), אז לכל <math>n \ge 1</math>, המידות <math>\mu_n</math> ו-<math>\nu_n</math> הן שקולות.

מהוכחת המשפט גם נובע שהמחלקה <math>\left[\mu_{1}\right]</math> המתאימה למידה <math>P</math> היא '''טיפוס ספקטרלי מקסימלי''' עבור <math>P</math>. בכך לומר ש-<math>\mu_{1}=P_{v,v}</math> עבור איזשהו <math>v\in\mathcal{H}</math> ומתקיים <math>P\left(B\right)=0\iff\mu_{1}\left(B\right)=0</math> לכל <math>B\in\mathcal{M}</math>.

לצורך הצגת הנוסח השני של משפט האן-הלינגר, נגדיר קודם מספר מושגים:
* שתי מידות חיוביות <math>\mu,\nu</math> על אותו מרחב מדיד נקראות [[מידה סינגולרית|סינגולריות הדדית]] אם קיימות תתי-קבוצות זרות ומדידות <math>A,B</math> של המרחב כולו כך ש-<math>\mu (A) = 0</math> ו-<math>\nu (B) = 0</math>. במילים אחרות, <math>\mu</math> ו-<math>\nu</math> "חיות" בחלקים שונים של המרחב.
* עבור מידה <math>\mu</math> ומספר טבעי <math>n \ge 1</math>, <math>nL^{2}\left(X,\mathcal{M},\mu\right)</math> מסמן את [[מרחב הילברט#סכום ישר של מרחבי הילברט|הסכום הישר]] של <math>n</math> עותקים של המרחב <math>L^{2}\left(X,\mathcal{M},\mu\right)</math>. ניתן לחשוב על מרחב זה גם כעל המרחב <math>L^{2}\left(X,\mathcal{M},\mu,\mathbb{C}^{n}\right)</math> של כל הפונקציות המדידות <math>f:X\to\mathbb{C}^{n}</math> שאינטגרביליות בריבוע, כלומר שעבורן <math>\int_{X}\left\Vert f\left(x\right)\right\Vert ^{2}d\mu\left(x\right)<\infty</math> (כאן <math>\left\Vert \cdot\right\Vert </math> מסמן נורמה כלשהי על <math>\mathbb{C}^{n}</math>). הפעולות האלגבריות והמכפלה הפנימית על מרחב זה מוגדרות באופן הטריוויאלי.
* באופן כללי, נגדיר את המרחב <math>L^{2}\left(X,\mathcal{M},\mu,\ell^{2}\right)</math> להיות הסכום הישר של מספר בן-מניה אינסופי של עותקים של <math>L^{2}\left(X,\mathcal{M},\mu\right)</math>. לחלופין, ניתן לחשוב על מרחב זה כעל אוסף הפונקציות המדידות <math>f:X\to\ell^{2}</math> כך ש-<math>\int_{X}\left\Vert f\right\Vert _{2}^{2}d\mu\left(x\right)<\infty</math>. למידע נוסף, ראו [[מרחב Lp]].

'''משפט האן-הלינגר (נוסח שני)''': תהי <math>P</math> מידה <math>\mathcal{H}</math>-הטלתית על מרחב מדיד <math>\left(\Omega,\mathcal{M}\right)</math> ונניח ש-<math>\mathcal{H}</math> הוא מרחב הילברט מרוכב ספרבילי. אזי קיימת סדרה של מידות חיוביות סופיות סינגולריות הדדית <math>\mu_{\infty}, \mu_1, \mu_2, \dots</math> על <math>\left(\Omega,\mathcal{M}\right)</math> והעתקה אוניטרית <math>S:\mathcal{H}\to L^{2}\left(X,\mathcal{M},\mu_{\infty},\ell^{2}\right)\oplus\bigoplus_{n=1}^{\infty}nL^{2}\left(X,\mathcal{M},\mu_{n}\right)</math> כך ש-<math>SP\left(A\right)S^{-1}f=\chi_{A}f</math> לכל <math>A\in\mathcal{M}</math> ולכל <math>f\in L^{2}\left(X,\mathcal{M},\mu_{\infty},\ell^{2}\right)\oplus\bigoplus_{n=1}^{\infty}nL^{2}\left(X,\mathcal{M},\mu_{n}\right)</math>.
אם <math>\nu_{\infty}, \nu_1, \nu_2, \dots</math> היא סדרה נוספת של מידות חיוביות סופיות סינגולריות הדדית עם התכונה לעיל, אז <math>\mu_{n}\sim\nu_{n}</math> לכל <math>1\le n\le \infty</math>.

אם כן, סדרת המחלקות <math>\left[\mu_{\infty}\right],\left[\mu_{1}\right],\left[\mu_{2}\right],\dots</math> המיוחסת ל-<math>P</math> במשפט האן-הלינגר היא אינווריאנטה של <math>P</math> המאפיינת אותה לחלוטין עד כדי דמיון אוניטרי. בתורה הספקטרלית נעשה שימוש במושגים הבאים באופן שכיח:
* אומרים של-<math>P</math> יש '''כפליות''' (או '''ריבוי''') <math>\aleph_0</math> אם <math>\left[\mu_{\infty}\right]\ne\left[0\right]</math> (כלומר <math>\mu_\infty</math> אינה שקולה ל[[מידת האפס]]).
* אומרים של-<math>P</math> יש כפליות <math>n</math> (עבור <math>1\le n < \infty</math>) אם <math>\left[\mu_{n}\right]\ne\left[0\right]</math> ו-<math>\left[\mu_{k}\right]=\left[0\right]</math> לכל <math>k\ge n+1</math>.
* אומרים של-<math>P</math> יש '''כפליות יוניפורמית''' <math>n</math> (עבור <math>1\le n\le \infty</math>) אם <math>\left[\mu_{n}\right]\ne\left[0\right]</math> ו-<math>\left[\mu_{k}\right] = \left[0\right]</math> לכל <math>k \ne n</math>.

==ראו גם==

* [[מידה מרוכבת]]
* [[משפט הפירוק הספקטרלי]]

==לקריאה נוספת==
<div style="direction: ltr;">
* ''Functional Analysis'', Walter Rudin, McGraw-Hill Science, 1991 
</div> 
<div style="direction: ltr;">
* ''Spectral Theory of Dynamical Systems'', M.G. Nadkarni, Birkhäuser Advanced Texts Basler Lehrbücher, 1998 
</div> 

[[קטגוריה:אנליזה פונקציונלית]]
[[קטגוריה:תורת המידה]]