מידה הטלתית

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

הגדרה פורמלית[עריכת קוד מקור | עריכה]

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

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

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

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

תכונות נוספות של מידות הטלתיות[עריכת קוד מקור | עריכה]

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

אם \Omega הוא מרחב טופולוגי ו-\mathcal{M} היא אלגברת בורל שלו, אומרים ש-P היא רגולרית אם כל אחת מהמידות המרוכבות P_{u,v} היא רגולרית. באופן שקול, P היא רגולרית אם מתקיים

\mbox{Im}P\left(E\right)=\overline{\mbox{span}\left\{ \mbox{Im}P\left(K\right)\mid K\subseteq E\mbox{ is compact}\right\} }

לכל קבוצת בורל E.

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

אינטגרציה ביחס למידה הטלתית[עריכת קוד מקור | עריכה]

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

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

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

תכונות האינטגרל[עריכת קוד מקור | עריכה]

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

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

  • \int_{\Omega}\left(f+g\right)\, dP=\int_{\Omega}f\, dP+\int_{\Omega}g\, dP לכל f,g\in B\left(\Omega\right).
  • \int_{\Omega}cf\, dP=c\int_{\Omega}f\, dP לכל f\in B\left(\Omega\right) ולכל סקלר c\in\mathbb{C}.
  • \int_{\Omega}fg\, dP=\left(\int_{\Omega}f\, dP\right)\left(\int_{\Omega}g\, dP\right) לכל f,g\in B\left(\Omega\right).
  • \int_{\Omega}\bar{f}\, dP=\left(\int_{\Omega}f\, dP\right)^{*} לכל f\in B\left(\Omega\right).
  • זוהי העתקה רציפה. יתרה מזאת, מתקיים אי-השוויון \left\Vert \int_{\Omega}f\, dP\right\Vert \le\left\Vert f\right\Vert _{\mbox{sup}} לכל f\in B\left(\Omega\right).

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

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

המבנה של מידות הטלתיות[עריכת קוד מקור | עריכה]

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

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

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

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

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

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

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

משפט האן-הלינגר (נוסח שני): תהי P מידה \mathcal{H}-הטלתית על מרחב מדיד \left(\Omega,\mathcal{M}\right) ונניח ש-\mathcal{H} הוא מרחב הילברט מרוכב ספרבילי. אזי קיימת סדרה של מידות חיוביות סופיות סינגולריות הדדית \mu_{\infty}, \mu_1, \mu_2, \dots על \left(\Omega,\mathcal{M}\right) והעתקה אוניטרית 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) כך ש-SP\left(A\right)S^{-1}f=\chi_{A}f לכל A\in\mathcal{M} ולכל 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). אם \nu_{\infty}, \nu_1, \nu_2, \dots היא סדרה נוספת של מידות חיוביות סופיות סינגולריות הדדית עם התכונה לעיל, אז \mu_{n}\sim\nu_{n} לכל 1\le n\le \infty.

אם כן, סדרת המחלקות \left[\mu_{\infty}\right],\left[\mu_{1}\right],\left[\mu_{2}\right],\dots המיוחסת ל-P במשפט האן-הלינגר היא אינוריאנטה של P המאפיינת אותה לחלוטין עד כדי דמיון אוניטרי. בתורה הספקטרלית נעשה שימוש במושגים הבאים באופן שכיח:

  • אומרים של-P יש כפליות (או ריבוי) \aleph_0 אם \left[\mu_{\infty}\right]\ne\left[0\right] (כלומר \mu_\infty אינה שקולה למידת האפס).
  • אומרים של-P יש כפליות n (עבור 1\le n < \infty) אם \left[\mu_{n}\right]\ne\left[0\right] ו-\left[\mu_{k}\right]=\left[0\right] לכל k\ge n+1.
  • אומרים של-P יש כפליות יוניפורמית n (עבור 1\le n\le \infty) אם \left[\mu_{n}\right]\ne\left[0\right] ו-\left[\mu_{k}\right] = \left[0\right] לכל k \ne n.

ראו גם[עריכת קוד מקור | עריכה]

לקריאה נוספת[עריכת קוד מקור | עריכה]

  • Functional Analysis, Walter Rudin, McGraw-Hill Science, 1991
  • Spectral Theory of Dynamical Systems, M.G. Nadkarni, Birkhäuser Advanced Texts Basler Lehrbücher, 1998