אי-שוויון בסל

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

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

אי-השוויון נקרא על שם פרידריך בסל, שהוכיח אותו בשנת 1828.

ניסוח אי-השוויון

יהי מרחב וקטורי $V$ מעל שדה המרוכבים $\mathbb{ℂ}$ מממד אינסופי עם מכפלה פנימית $⟨\cdot ,\cdot ⟩$ ונורמה $\Vert \cdot \Vert$ המושרית ממנה. כמו כן, תהי $e_1,e_2,\dots \in V$ קבוצה אורתונורמלית, כלומר:

• $\Vert e_i\Vert =1$ לכל $i\in \mathbb{\mathbb{N}}$ ($\mathbb{\mathbb{N}}$ היא קבוצת המספרים הטבעיים)
• $⟨e_i,e_j⟩=0$ לכל $i,j\in \mathbb{\mathbb{N}}$ כך ש-$i\ne j$

אזי, לכל $x\in V$ מתקיים אי-השוויון הבא:

$\sum _{i=1}^{\mathrm{\infty }}{\left|⟨x,e_i⟩\right|}^2\le {\Vert x\Vert }^2$

אי-שוויון זה הוא אי-שוויון בסל.

הוכחת אי-השוויון

לכל $i\in \mathbb{\mathbb{N}}$ מגדירים $c_i=⟨x,e_i⟩$. יש להוכיח כי:

$\sum _{i=1}^{\mathrm{\infty }}{\left|c_i\right|}^2\le {\Vert x\Vert }^2$

בוחרים $n\in \mathbb{\mathbb{N}}$ כלשהו. ניתן לראות כי:

$\begin{array}{r}0\le {\Vert x-\sum _{i=1}^n{c}_i{e}_i\Vert }^2={\Vert x\Vert }^2-2\sum _{i=1}^n\mathrm{Re}(⟨x,c_i{e}_i⟩)+\sum _{i=1}^n\sum _{j=1}^n{c}_i\overline{c_j}⟨e_i,e_j⟩\\ ={\Vert x\Vert }^2-2\sum _{i=1}^n{\left|c_i\right|}^2+\sum _{i=1}^n{\left|c_i\right|}^2\\ ={\Vert x\Vert }^2-\sum _{i=1}^n{\left|c_i\right|}^2\end{array}$

כאשר אי-השוויון נובע מחיוביות הנורמה המושרית והשוויון הראשון נובע מליניאריות ברכיב הראשון ואנטי-ליניאריות ברכיב השני של המכפלה הפנימית. על-ידי העברת אגפים מתקבל כי $\sum _{i=1}^n{\left|c_i\right|}^2\le {\Vert x\Vert }^2$ לכל $n\in \mathbb{\mathbb{N}}$. מאחר שכל האיברים ${\left|c_i\right|}^2$ חיוביים, וכל תתי-הטורים הסופיים של הטור האינסופי המבוקש חסומים על-ידי ${\Vert x\Vert }^2$, בהכרח הטור האינסופי כולו מתכנס וחסום אף הוא על-ידי ${\Vert x\Vert }^2$ (הדבר נובע מכך שבקבוצת המספרים הממשיים $\mathbb{ℝ}$, כל סדרה מונוטונית עולה וחסומה מלעיל בהכרח מתכנסת).

מ.ש.ל.

מסקנות

תלות ליניארית בקבוצה אורתונורמלית שאינה בת מנייה

יהי מרחב וקטורי $V$ מממד אינסופי מעל שדה המרוכבים $\mathbb{ℂ}$ עם מכפלה פנימית $⟨\cdot ,\cdot ⟩$ ונורמה $\Vert \cdot \Vert$ המושרית ממנה. כמו כן, תהי $A\subseteq V$ היא קבוצה אורתונורמלית. אזי, לכל $x\in V$ הקבוצה:

$S:=\{e\in A\mid ⟨x,e⟩\ne 0\}$

מקיימת ש-$|S|\le {\mathrm{\aleph }}_0$. כלומר, $S$ היא לכל היותר קבוצה אינסופית בת-מנייה.

הוכחה

מניחים בשלילה ש-$S$ אינה בת-מנייה. מגדירים קבוצת קטעים ${\left\{I_n\right\}}_{n=0}^{\mathrm{\infty }}$ אינסופית בת-מניה באופן הבא:

1. $I_0=[1,\mathrm{\infty })$
2. $I_n=[\frac{1}{n+1},\frac{1}{n})$ לכל $n\ge 1$

ניתן לראות כי כל הקטעים הללו זרים בזוגות ושאיחודם הוא קבוצת כל המספרים הממשיים החיוביים. לכל מספר שלם אי-שלילי $n$ מגדירים $S_n:=\{e\in S\mid \left|⟨x,e⟩\right|\in I_n\}$. ניתן לראות כי $S=\bigcup _{n=0}^{\mathrm{\infty }}{S}_n$. זוהי חלוקה של $S$ למספר בן-מנייה של תתי-קבוצות זרות בזוגות. לכן בהכרח קיים $N$ כלשהו כך ש-$S_N$ היא קבוצה שאינה בת-מנייה, שכן אחרת $S$ הוא איחוד בן-מנייה של קבוצות מעצמה בת-מנייה, ולכן $S$ קבוצה בת מנייה בסתירה להנחה בשלילה.

מאחר ש-$S_N$ היא קבוצה שאינה בת-מנייה, קיימת לה תת-קבוצה $S^{\prime }\subseteq S_N$ שהיא אינסופית בת-מנייה. עולה מכך ש-$S^{\prime }$ היא קבוצה אינסופית בת-מנייה כך שלכל $e\in S^{\prime }$ מתקיים ש-$\left|⟨x,e⟩\right|\ge \frac{1}{N}$. מאחר שהקבוצה $S^{\prime }$ בת-מנייה ואורתונורמלית, איבריה מקיימים את התנאי באי-שוויון בסל, מה שמבטיח שהסכום $\sum _{e\in S^{\prime }}{\left|⟨x,e⟩\right|}^2$ מתכנס. מנגד, הסכום $\sum _{e\in S^{\prime }}{\left|⟨x,e⟩\right|}^2$ מתבדר כי הוא סכום אינסופי שכל איבריו גדולים או שווים ל-$\frac{1}{N^2}$. זו סתירה.

מ.ש.ל.

הטלה באמצעות קבוצת אורתונורמלית בת מנייה

יהי מרחב הילברט $H$ מממד אינסופי עם מכפלה פנימית $⟨\cdot ,\cdot ⟩$ ונורמה $\Vert \cdot \Vert$ המושרית ממנה. כמו כן, תהי $e_1,e_2,\dots \in H$ קבוצה אורתונורמלית. אזי, לכל $x\in H$ קיים $x^{\prime }\in H$ יחיד כך ש:

1. $⟨x^{\prime },e_i⟩=⟨x,e_i⟩$ לכל $i\in \mathbb{\mathbb{N}}$.
2. ${\Vert x^{\prime }\Vert }^2=\sum _{i=1}^{\mathrm{\infty }}{\left|⟨x,e_i⟩\right|}^2$

תקציר ההוכחה

לכל $n\in \mathbb{\mathbb{N}}$ מגדירים $x_n:=\sum _{i=1}^n⟨x,e_i⟩e_i$. ניתן להוכיח כי:

${\Vert x_n\Vert }^2=\sum _{i=1}^n{\left|⟨x,e_i⟩\right|}^2$

${\Vert x_n-x_m\Vert }^2=\sum _{i=m+1}^n{\left|⟨x,e_i⟩\right|}^2$ (כאשר $m<n$)

על-פי אי-שוויון בסל, הסכום האינסופי $\sum _{i=1}^{\mathrm{\infty }}{\left|⟨x,e_i⟩\right|}^2$ מתכנס, מה שמאפשר להוכיח כי הסדרה ${\left\{x_n\right\}}_{n=1}^{\mathrm{\infty }}$ היא סדרת קושי. מאחר ש-$H$ הוא מרחב שלם (מתוך היותו מרחב הילברט), בהכרח הסדרה ${\left\{x_n\right\}}_{n=1}^{\mathrm{\infty }}$ מתכנסת ל-$x^{\prime }\in H$ כלשהו. זהו ה-$x^{\prime }$ המבוקש.

מ.ש.ל.

שוויון פרסבל

ערך מורחב – שוויון פרסבל

יהי מרחב הילברט $H$ מממד אינסופי עם מכפלה פנימית $⟨\cdot ,\cdot ⟩$ ונורמה $\Vert \cdot \Vert$ המושרית ממנה. כמו כן, תהי $B\subseteq H$ מערכת אורתונורמלית שלמה. אזי, לכל $x\in H$ מתקיים השוויון:

${\Vert x\Vert }^2=\sum _{e\in B}{\left|⟨x,e⟩\right|}^2$

זהו שוויון פרסבל.

תקציר ההוכחה

ראשית, ניתן לצמצם את $B$ לתת-קבוצה בת-מנייה $B^{\prime }$ לפי המסקנה הראשונה לעיל, שכן המכפלה הפנימית בין $x$ לאיברי $B$ אינה מתאפסת לכל היותר לקבוצה בת-מנייה של $B$. לאחר מכן, מגדירים $x^{\prime }$ בהתאם למסקנה השנייה המופיעה לעיל. לבסוף, ניתן להוכיח כי $x^{\prime }=x$, שכן אחרת ניתן למצוא $e\in B\mathrm{\setminus }{B}^{\prime }$ כך ש-$⟨x,e⟩\ne 0$, וזו סתירה להגדרת $B^{\prime }$.

מ.ש.ל.

ראו גם

• משפט ריס-פישר (Riesz–Fischer theorem)

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

• אי-שוויון בסל, באתר MathWorld (באנגלית)

הערות שוליים

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

אי-שוויון בסל41900168Q794042