משפט ההצגה של ריס

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

גרסה אינטגרלית של המשפט נוסחה על ידי המתמטיקאי הצרפת<nowiki/>י רנה מוריס פרשה, על כן לעיתים קרוי משפט ריס-פרשה.<ref></ref>

==משפט ההצגה לפונקציונלים ליניאריים חסומים על מרחב הילברט==

משפט זה מספק תיאור מלא של המרחב הדואלי של מרחב הילברט: אם השדה שמעליו עובדים הוא שדה המספרים הממשיים, שני מרחבים אלו הם איזומורפיים (כמרחבים נורמיים) ואם השדה הוא שדה המספרים המרוכבים, שני המרחבים הם אנטי-איזומורפיים. נוסף לכך, ה(אנטי-)איזומורפיזם המתואר במשפט הוא טבעי ביותר ונוח לשימושים תאורטיים.

יהי <math>\mathcal{H}</math> מרחב הילברט עם מכפלה פנימית <math>\left\langle \cdot,\cdot\right\rangle </math> ונסמן ב-<math>\mathcal{H}^{*}</math> את המרחב הדואלי שלו, כלומר את מרחב כל הפונקציונלים הליניאריים הרציפים מ-<math>\mathcal{H}</math> לשדה הבסיס <math>\mathbb{R}</math> או <math>\mathbb{C}</math>. בהינתן <math>x\in\mathcal{H}</math> ההעתקה המוגדרת על ידי

<math>\phi_{x}\left(y\right)=\left\langle y,x\right\rangle </math> לכל <math>y\in\mathcal{H}</math>

מהווה פונקציונל ליניארי רציף על <math>\mathcal{H}</math>. משפט ההצגה של ריס אומר שכל איבר ב-<math>\mathcal{H}^{*}</math> ניתן להיכתב בצורה אחת ויחידה כזו.

משפט: ההעתקה

<math> \Phi: \mathcal{H} \rightarrow \mathcal{H}^{*}, \quad \Phi(x) = \phi_x </math>

היא (אנטי-) איזומורפיזם איזומטרי, כלומר:

* <math>\ \Phi</math> היא חד חד ערכית ועל.

* מתקיים <math>\left\Vert \Phi\left(x\right)\right\Vert =\left\Vert x\right\Vert </math> לכל <math>x\in\mathcal{H}</math>, כאשר <math>\left\Vert \cdot\right\Vert </math> מסמן את הנורמות הסטנדרטיות המושרות על מרחב הילברט ועל המרחב הדואלי שלו (ראו נורמה אופרטורית).

* <math>\ \Phi</math> היא אדיטיבית: <math>\ \Phi( x_1 + x_2 ) = \Phi( x_1 ) + \Phi( x_2 )</math> לכל <math>x_{1},x_{2}\in\mathcal{H}</math>.

* אם שדה הבסיס הוא <math>\mathbb{R}</math>, אז <math>\ \Phi(\lambda x) = \lambda \Phi(x)</math> לכל מספר ממשי <math>\ \lambda</math>.

* אם שדה הבסיס הוא <math>\mathbb{C}</math>, אז <math>\ \Phi(\lambda x) = \bar{\lambda} \Phi(x)</math> לכל מספר מרוכב <math>\ \lambda</math>.

את ההעתקה ההפוכה ל-<math>\ \Phi</math> ניתן לתאר באופן הבא. יהי <math>\ \varphi</math> פונקציונל ליניארי רציף על <math>\mathcal{H}</math> ונפריד למקרים. אם <math>\ \varphi</math> הוא פונקציונל האפס, ניתן פשוט לבחור <math>\ x=0</math>. אחרת, משפט בסיסי בתורה של מרחבי הילברט אומר שקיים וקטור <math>z\ne 0</math> אשר שייך למשלים האורתוגונלי של <math>\ker\varphi</math>. כעת אם נגדיר <math>x=\frac{\overline{\varphi\left(z\right)}}{\left\Vert z\right\Vert ^{2}}z</math> אז יתקיים <math>\Phi\left(x\right)=\varphi</math>, כפי שרצינו.

==משפט ההצגה לתבניות ססקווילינאריות חסומות על מרחב הילברט==

יהיו <math>\mathcal{H}_{1}</math> ו-<math>\mathcal{H}_{2}</math> מרחבי הילברט. תבנית ססקווילינארית על זוג מרחבים אלה היא העתקה <math>\left[\cdot,\cdot\right]:\mathcal{H}_{1}\times\mathcal{H}_{2}\to\mathbb{C}</math> שליניארית במשתנה הראשון ואנטי-ליניארית במשתנה השני. אומרים שהיא חסומה אם קיים קבוע ממשי <math>C \ge 0</math> כך ש-<math>\left|\left[u,v\right]\right| \le C\left\Vert u\right\Vert \left\Vert v\right\Vert </math> לכל <math>u\in\mathcal{H}_{1}</math> ו-<math>v\in\mathcal{H}_{2}</math>, כאשר <math>\left\Vert \cdot\right\Vert </math> מסמן הן את הנורמה המושרית מהמכפלה הפנימית ב-<math>\mathcal{H}_{1}</math> והן את הנורמה המושרית על <math>\mathcal{H}_{2}</math>. תבנית ססקווילינארית היא חסומה אם ורק אם היא פונקציה רציפה (ביחס לטופולוגית המכפלה על <math>\mathcal{H}_{1}\times\mathcal{H}_{2}</math>) ולכן כששני המרחבים <math>\mathcal{H}_{1},\mathcal{H}_{2}</math> הם סוף-ממדיים, כל תבנית ססקווילינארית היא חסומה.

נסמן ב-<math>\left\langle \cdot,\cdot\right\rangle </math> את המכפלה הפנימית על <math>\mathcal{H}_{2}</math>.

משפט: בהינתן העתקה ליניארית חסומה <math>T:\mathcal{H}_{1}\to\mathcal{H}_{2}</math>, ניתן להגדיר תבנית ססקווילינארית חסומה <math>\left[\cdot,\cdot\right]:\mathcal{H}_{1}\times\mathcal{H}_{2}\to\mathbb{C}</math> על ידי <math>\left[u,v\right]=\left\langle Tu,v\right\rangle </math> (החסימות נובעת מאי-שוויון קושי-שוורץ). יתרה מזאת, עבור כל תבנית ססקווילינארית חסומה <math>\left[\cdot,\cdot\right]:\mathcal{H}_{1}\times\mathcal{H}_{2}\to\mathbb{C}</math> קיימת העתקה ליניארית חסומה יחידה <math>T:\mathcal{H}_{1}\to\mathcal{H}_{2}</math> כך שהשוויון <math>\left[u,v\right]=\left\langle Tu,v\right\rangle </math> מתקיים לכל <math>u\in\mathcal{H}_{1}</math> ו-<math>v\in\mathcal{H}_{2}</math>.

==משפט ההצגה לפונקציונלים ליניאריים חיוביים על (C<sub>c</sub>(X==

יהי <math>X</math> מרחב טופולוגי. המרחב <math>C_{c}\left(X\right)</math> מורכב מכל הפונקציות <math>f:X\to\mathbb{C}</math> אשר רציפות ובעלות תומך קומפקטי. ניתן לצייד מרחב זה בפעולות נקודתיות של חיבור וכפל בסקלר וכן בנורמת הסופרמום ובכך הוא הופך למרחב נורמי. פונקציונל ליניארי חיובי על מרחב זה הוא העתקה <math>\mathbb{C}</math>-ליניארית <math>\Lambda:C_{c}\left(X\right)\to\mathbb{C}</math> אשר בנוסף יש לה את התכונה הבאה: אם <math>f\in C_{c}\left(X\right)</math> היא פונקציה ממשית אי-שלילית, אז גם <math>\Lambda\left(f\right)</math> היא כזו. בהנחה והטופולוגיה על <math>X</math> היא "סבירה" דיה, משפט ההצגה של ריס אומר שכל פונקציונל ליניארי חיובי על <math>C_{c}\left(X\right)</math> ניתן להיכתב ביחידות כאופרטור אינטגרציה ביחס למידה "סבירה" מסוימת.

משפט: יהי <math>X</math> מרחב האוסדורף קומפקטי מקומית ויהי <math>\Lambda</math> פונקציונל ליניארי חיובי על <math>C_{c}\left(X\right)</math>. אז קיימת מידת רדון (כלומר מידה חיובית סופית מקומית ורגולרית) יחידה <math>\mu</math> על <math>X</math> המקיימת
:<math>\Lambda\left(f\right)=\int_{X}f \, d\mu</math> לכל <math>f\in C_{c}\left(X\right)</math>.

למידה זו יש גם שתי תכונות נוספות:

* <math>\mu</math> היא מידה שלמה.

* אם <math>X</math> הוא בנוסף מרחב סיגמא-קומפקטי, <math>\mu</math> היא מידת רדון רגולרית. 

משפט זה מהווה קשר חשוב בין תורת המידה ואנליזה פונקציונלית ומספק דרך אפקטיבית לבנות מידות על מרחבים מסוימים. לדוגמה, <math>\mathbb{R}^{n}</math> הוא מרחב האוסדורף קומפקטי מקומית וסיגמא-קומפקטי וההעתקה <math>f\mapsto\int_{\mathbb{R}^{n}}f\left(x\right) \, dx</math> (כאשר כאן האינטגרל הוא אינטגרל רימן הרגיל) מגדירה פונקציונל ליניארי חיובי על <math>C_{c}\left(\mathbb{R}^{n}\right)</math>. תנאי המשפט מתקיימים והמידה <math>\mu</math> המייצגת את הפונקציונל <math>\Lambda</math> היא מידת לבג על <math>\mathbb{R}^{n}</math>.

==משפט ההצגה לפונקציונלים ליניאריים חסומים על (C<sub>0</sub>(X==

כמו קודם, נניח כי <math>X</math> הוא מרחב טופולוגי. המשפט הבא, המכונה לעיתים משפט ריס-מרקוב, מראה שניתן להציג כל פונקציונל ליניארי רציף על המרחב <math>C_{0}\left(X\right)</math> כאופרטור אינטגרציה ביחס למידה מרוכבת מסוימת. המרחב <math>C_{0}\left(X\right)</math> מורכב מכל הפונקציות <math>f:X\to\mathbb{C}</math> שהן רציפות ומתאפסות באינסוף, כלומר לכל <math>\varepsilon > 0</math> קיימת תת-קבוצה קומפקטית <math>K \subseteq X</math> כך ש-<math>\left|f\left(x\right)\right|<\varepsilon</math> לכל <math>x\notin K</math>. זהו מרחב נורמי, כאשר פעולות החיבור והכפל בסקלר מוגדרות נקודתית והנורמה היא נורמת הסופרמום. מובן ש-<math>C_{c}\left(X\right)\subseteq C_{0}\left(X\right)</math>.

מידה מרוכבת <math>\mu</math> על <math>X</math> נקראת רגולרית אם מידת ההשתנות הכוללת שלה, כלומר <math>\left|\mu\right|</math>, היא מידת רדון רגולרית כפי שהמושג הוגדר לעיל עבור מידות חיוביות. מרחב כל המידות המרוכבות הרגולריות על <math>X</math> מסומן <math>M\left(X\right)</math> והוא מהווה מרחב וקטורי תחת הפעולות הסטנדרטיות של חיבור וכפל בסקלר של מידות. בנוסף לכך, ההעתקה <math>\mu\mapsto\left|\mu\right|\left(X\right)</math> מגדירה נורמה על <math>M\left(X\right)</math> והופכת אותו למרחב בנך. בהינתן מידה <math>\mu\in M\left(X\right)</math> ניתן להגדיר פונקציונל ליניארי רציף על <math>C_{0}\left(X\right)</math> על ידי

:<math>\Phi_{\mu}\left(f\right)=\int_{X}f \, d\mu</math> לכל <math>f\in C_{0} (X)</math>.

משפט ההצגה של ריס אומר שכל פונקציונל ליניארי רציף על <math>C_{0}\left(X\right)</math> הוא מצורה זו, בהנחה ו-X הוא מרחב טופולוגי "סביר". נוסחו הפורמלי הוא כדלקמן.

משפט: יהי <math>X</math> מרחב האוסדורף קומפקטי מקומית. אז ההעתקה 

:<math> \Psi:M\left(X\right)\to C_{0}^{*}\left(X\right), \quad \mu\mapsto\Phi_{\mu} </math>

היא איזומורפיזם של מרחבי בנך, כלומר:

* <math>\Psi</math> היא חד-חד-ערכית ועל.

* <math>\Psi</math> היא ליניארית, כלומר <math>\Psi\left(\mu_{1}+c\mu_{2}\right)=\Psi\left(\mu_{1}\right)+c\Psi\left(\mu_{2}\right)</math> לכל <math>\mu_{1},\mu_{2}\in M\left(X\right)</math> ולכל סקלר <math>c \in \mathbb{C}</math>.

* <math>\Psi</math> היא איזומטריה, כלומר <math>\left\Vert \Phi_{\mu}\right\Vert =\left\Vert \mu\right\Vert =\left|\mu\right|\left(X\right)</math>.

ל-<math>\Psi</math> יש גם תכונה שימושית נוספת. הפונקציונל <math>\Psi\left(\mu\right)=\Phi_{\mu}</math> הוא פונקציונל ליניארי חיובי אם ורק אם המידה <math>\mu</math> היא מידה חיובית.

==משפט ההצגה לפונקציונלים ליניאריים חסומים על (L<sup>p</sup>(μ==

יהי <math>\left(X,\mathcal{M},\mu\right)</math> מרחב מידה ויהי <math>L^{p}\left(\mu\right)</math> מרחב כל הפונקציות המדידות <math>f:X\to\mathbb{C}</math> שנורמת-p שלהן היא סופית: <math>\left\Vert f\right\Vert _{p}=\left(\int_{X}\left|f\right|^{p} \, d\mu\right)^{1/p}<\infty</math> (ראו מרחב Lp). מגדירים גם את <math>L^{\infty}\left(\mu\right)</math> בתור מרחב כל הפונקציות המדידות <math>f:X\to\mathbb{C}</math> עבורן <math>\left\Vert f\right\Vert _{\infty}<\infty</math> (כאשר <math>\left\Vert f\right\Vert _{\infty}</math> הוא המספר הקטן ביותר <math>C\in\left[0,\infty\right]</math> שעבורו <math>\left|f\left(x\right)\right|\le C</math> ל-<math>\mu</math>-כמעט כל <math>x \in X</math>).

ידוע כי עבור כל <math>1\le p \le\infty</math> המרחב <math>L^{p}\left(\mu\right)</math> הוא מרחב בנך ביחס לנורמה <math>\left\Vert f\right\Vert _{p}</math> ושבמקרה <math>p=2</math> (ורק בו) נורמה זו מושרית ממכפלה פנימית, אשר ניתנת על ידי <math>\left\langle f,g\right\rangle =\int_{X}f\bar{g} \, d\mu</math>. לכן <math>L^{2}\left(\mu\right)</math> הוא מרחב הילברט ומשפט ההצגה של ריס למרחב הדואלי למרחב הילברט גורר שכל פונקציונל ליניארי רציף על מרחב זה הוא מהצורה <math>f \mapsto \int_{X}{fg} \, d\mu</math> עבור <math>g\in L^{2}\left(\mu\right)</math> כלשהי. נשאלת השאלה אם ניתן לתת אפיון דומה לפונקציונלים הליניאריים הרציפים על <math>L^{p}\left(\mu\right)</math> עבור <math>p</math> כללי. יהי <math>q \ge 1</math> האקספוננט הצמוד ל-<math>p</math>, כלומר המספר הממשי המקיים את השוויון <math>\frac{1}{p}+\frac{1}{q}=1</math> (במקרה <math>p=1</math> מסכימים ש-<math>q = \infty</math>). תהי <math>g\in L^{q}\left(\mu\right)</math> ונגדיר את ההעתקה הבאה:

:<math>\Phi_{g}\left(f\right)=\int_{X}fg \, d\mu</math> לכל <math>f\in L^{p}\left(\mu\right)</math>.

מאי-שוויון הלדר נובע שהאינטגרנד <math>fg</math> שייך ל-<math>L^{1}\left(\mu\right)</math> ולכן העתקה זו היא מוגדרת היטב. יתרה מזאת, קל לבדוק שהיא מגדירה פונקציונל ליניארי רציף <math>\Phi_{g}:L^{p}\left(\mu\right)\to\mathbb{C}</math>. אם מרחב המידה <math>\left(X,\mathcal{M},\mu\right)</math> הוא "סביר" במובן מסוים ו-<math>p\ne\infty</math>, משפט ההצגה של ריס אומר שכל פונקציונל ליניארי רציף על <math>L^{p}\left(\mu\right)</math> הוא מצורה זו.

משפט: יהי <math>1\le p<\infty</math> ונניח ש-<math>\left(X,\mathcal{M},\mu\right)</math> הוא מרחב מידה סיגמא-סופי. אז ההעתקה

:<math> \Psi: L^{q}\left(\mu \right) \to \left(L^{p}\left(\mu\right)\right)^{*}, \quad g\mapsto\Phi_{g} </math>

היא איזומורפיזם של מרחבי בנך, כלומר:

* <math>\Psi</math> היא חד-חד-ערכית ועל.
* <math>\Psi</math> היא ליניארית, כלומר <math>\Psi\left(g_{1}+cg_{2}\right)=\Psi\left(g_{1}\right)+c\Psi\left(g_{2}\right)</math> לכל <math>g_{1},g_{2}\in L^{q}\left(\mu\right)</math> ולכל סקלר <math>c \in \mathbb{C}</math>.
* <math>\Psi</math> היא איזומטריה, כלומר <math>\left\Vert \Phi_{g}\right\Vert =\left\Vert g\right\Vert _{q}</math>.

בעקבות משפט זה, נהוג לומר פשוט ש-<math>L^{q}\left(\mu\right)</math> הוא המרחב הדואלי ל-<math>L^{p}\left(\mu\right)</math> (תחת הנחות המשפט, כמובן).

הערות:
* עבור <math>1<p<\infty</math> ההנחה שהמרחב <math>\left(X,\mathcal{M},\mu\right)</math> הוא סיגמא-סופי היא מיותרת.
* עבור <math>p = \infty</math> המשפט אינו נכון. במקרה זה ההעתקה לעיל מהווה שיכון איזומטרי בלבד, כלומר <math>L^{1}\left(\mu\right)\hookrightarrow\left(L^{\infty}\left(\mu\right)\right)^{*}</math>, ובדרך כלל המרחב <math>\left(L^{\infty}\left(\mu\right)\right)^{*}</math> הוא הרבה יותר גדול.

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

== הערות שוליים ==

הצגה של ריס
הצגה של ריס