מרחב L^p

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

באנליזה מתמטית, מרחבי L^p הם מרחבי פונקציות על מרחב מידה, המוגדרים על ידי הכללה טבעית של נורמות-p של מרחבים וקטוריים סוף-ממדיים. הם מהווים מחלקה חשובה של דוגמאות למרחבי בנך ולמרחבים וקטוריים טופולוגיים. יש להם שימושים בפיזיקה, סטטיסטיקה, כלכלה, הנדסה ובתחומים אחרים. לעיתים הם קרויים מרחבי לבג, על שמו של אנרי לבג.

הנורמה האוקלידית על המרחב האוקלידי ${\displaystyle \mathbb {R} ^{n}}$ היא זו המושרית מן המכפלה הפנימית הסטנדרטית: האורך של וקטור ${\displaystyle x=\left(x_{1},x_{2},\dots ,x_{n}\right)}$ נתון על ידי ${\displaystyle \|x\|_{2}=\left(x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}\right)^{1/2}}$.

אך זוהי בהחלט לא הדרך היחידה להגדיר 'אורך' ב-${\displaystyle \mathbb {R} ^{n}}$. אם ${\displaystyle p\geq 1}$ הוא מספר ממשי, נגדיר את נורמת ${\displaystyle {\ell }^{p}}$ של וקטור ${\displaystyle x}$ להיות

${\displaystyle \|x\|_{p}=\left(|x_{1}|^{p}+|x_{2}|^{p}+\cdots +|x_{n}|^{p}\right)^{1/p}}$

(ולכן נורמת ${\displaystyle {\ell }_{n}^{2}}$ היא הנורמה האוקלידית המוכרת, בעוד שהמרחק בנורמת ${\displaystyle {\ell }_{n}^{1}}$ ידוע בתור מטריקת מנהטן).

ניתן גם להגדיר נורמה ל-${\displaystyle p=\infty }$ על ידי

${\displaystyle \|x\|_{\infty }=\max \left\{|x_{1}|,|x_{2}|,\ldots ,|x_{n}|\right\}}$

למעשה מתקיים ${\displaystyle \left\Vert x\right\Vert _{\infty }=\lim _{p\to \infty }\left\Vert x\right\Vert _{p}}$ ולכן מקובל סימון זה. נורמה זו ידועה בשמות נורמת הסופרמום, נורמת המקסימום או נורמת התכנסות במידה שווה.

לכל ${\displaystyle p\geq 1}$ ההגדרות לעיל מקיימות את התכונות של נורמה. מפורשות:

• חיוביות - ${\displaystyle ||x||_{p}\geq 0}$ ו-${\displaystyle ||x||_{p}=0}$ אם ורק אם ${\displaystyle x=0}$,
• הומוגניות חיובית - ${\displaystyle ||c\cdot x||_{p}=|c|\cdot ||x||_{p}}$, ו-
• אי-שוויון המשולש (ובמקרה פרטי זה קרוי גם אי-שוויון מינקובסקי) - ${\displaystyle ||x+y||_{p}\leq ||x||_{p}+||y||_{p}}$.

יתרה מזאת, לכל ${\displaystyle p\geq 1}$,${\displaystyle \mathbb {R} ^{n}}$ יחד עם נורמת ${\displaystyle {\ell }^{p}}$ (או פשוט נורמת-p) מהווה מרחב בנך, כלומר הנורמה שלמה. מרחב זה מסומן לעיתים על ידי ${\displaystyle \ell _{n}^{p}}$.

לעיתים מגדירים את ${\displaystyle \ell _{n}^{p}}$ להיות המרחב הווקטורי ${\displaystyle \mathbb {C} ^{n}}$ מעל שדה המספרים המרוכבים. ההגדרות הן כלעיל (הפעם הערך המוחלט הוא מרוכב), והתכונות הן אותן תכונות (בפרט, מתקבל מרחב בנך).

ב-${\displaystyle \mathbb {R} ^{n}}$ כאשר ${\displaystyle n>1}$, הנוסחה

${\displaystyle \|x\|_{p}=\left(|x_{1}|^{p}+|x_{2}|^{p}+\cdots +|x_{n}|^{p}\right)^{1/p}}$

מגדירה מספר ממשי אי-שלילי אם ${\displaystyle 0<p<1}$, אבל ההעתקה המתקבלת ${\displaystyle x\mapsto \left\Vert x\right\Vert _{p}}$ איננה נורמה, מכיוון שהיא לא מקיימת את אי-שוויון המשולש. למרות זאת, הפונקציה

${\displaystyle d_{p}\left(x,y\right)=\left\Vert x-y\right\Vert _{p}^{p}=\sum _{i=1}^{n}\left|x_{i}-y_{i}\right|^{p}}$

היא מטריקה. בדומה למקרה ${\displaystyle p\geq 1}$, נהוג לסמן את המרחב המטרי ${\displaystyle \left(\mathbb {R} ^{n},d_{p}\right)}$ ב-${\displaystyle \ell _{n}^{p}}$ וגם אותו ניתן להגדיר בדומה מעל המרוכבים.

אף על פי שכדור היחידה במטריקה ${\displaystyle d_{p}}$, המסומן ${\displaystyle B_{n}^{p}}$, הוא "קעור" (קרי, לא קמור), הטופולוגיה המושרית על ${\displaystyle \mathbb {R} ^{n}}$ על ידה היא הטופולוגיה הסטנדרטית על ${\displaystyle \mathbb {R} ^{n}}$ ולכן ${\displaystyle \ell _{n}^{p}}$ הוא מרחב וקטורי טופולוגי קמור מקומית. מעבר לטענה איכותית זו, דרך כמותית למדוד את חוסר הקמירות של ${\displaystyle \ell _{n}^{p}}$ היא להתבונן ב-${\displaystyle C_{p}\left(n\right)}$, הקבוע הקטן ביותר ${\displaystyle C}$ שעבורו הניפוח ${\displaystyle C\cdot B_{n}^{p}}$ של כדור היחידה בנורמת-p מכיל את הקמור של ${\displaystyle B_{n}^{p}}$ (שהוא למעשה ${\displaystyle B_{n}^{1}}$ לכל ${\displaystyle 0<p<1}$). מסתבר שמתקיים ${\displaystyle C_{p}\left(n\right)=n^{-1+1/p}}$ לכל ${\displaystyle n}$ טבעי. העובדה שערך זה שואף לאינסוף כאשר ${\displaystyle n\to \infty }$ (עבור ${\displaystyle 0<p<1}$ קבוע) משקפת את העובדה שמרחב הסדרות האינסוף-ממדי ${\displaystyle \ell ^{p}}$ (המוגדר למטה) הוא כבר לא קמור מקומית.

במתמטיקה בדידה, נורמת-p מוגדרת גם עבור ${\displaystyle p=0}$ לפי

${\displaystyle \left\Vert x\right\Vert _{0}=\lim _{p\searrow 0}\left(\left|x_{1}\right|^{p}+\left|x_{2}\right|^{p}+\cdots +\left|x_{n}\right|^{p}\right)}$

שהוא פשוט מספר הרכיבים השונים מאפס בוקטור ${\displaystyle x}$. אם נגדיר ${\displaystyle 0^{0}=0}$, אז נורמת האפס של ${\displaystyle x}$ שווה ל-${\displaystyle \left|x_{1}\right|^{0}+\cdots +\left|x_{n}\right|^{0}}$. זוהי אינה נורמה במובן הרגיל של המילה, אך היא יכולה לשמש למדידת דלילות, למשל בתחום של Compressed sensing.

כהכללה של הממד הסופי, מגדירים את המרחב ${\displaystyle \ell ^{p}}$ להיות אוסף הסדרות ${\displaystyle \{x_{n}\}_{n\in \mathbb {N} }}$ כך ש-${\displaystyle \sum _{n=1}^{\infty }{|x_{n}|^{p}}<\infty }$, ומגדירים את נורמת-p להיות ${\displaystyle ||x_{n}||_{p}={\sqrt[{p}]{\sum _{n=1}^{\infty }{|x_{n}|^{p}}}}}$.

כאשר ${\displaystyle p=\infty }$ מגדירים, כמו במקרה הסופי, ${\displaystyle ||\{x_{n}\}||_{\infty }=sup\{x_{n}\}}$, וגם כאן מתקיים ${\displaystyle \left\Vert x\right\Vert _{\infty }=\lim _{p\to \infty }\left\Vert x\right\Vert _{p}}$ .

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

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

פורמלית, עבור ${\displaystyle 1\leq p<\infty }$ מגדירים את ${\displaystyle {\mathcal {L}}^{p}(\mathbb {K} ,X,S,\mu )}$ עבור מרחב מידה ${\displaystyle (X,S,\mu )}$ ושדה ${\displaystyle \mathbb {K} \in \{\mathbb {R} ,\mathbb {C} \}}$ להיות-

${\displaystyle {\mathcal {L}}^{p}(\mathbb {K} ,X,S,\mu )=\{f:X\to \mathbb {K} :\int _{X}{|f|^{p}d\mu }<\infty \}}$

כאשר האינטגרל הוא אינטגרל לבג. מגדירים את נורמת-p להיות ${\displaystyle ||f||_{p}={\sqrt[{p}]{\int _{X}{|f|^{p}}d\mu }}}$. מיפוי זה איננו נורמה, מפני שפונקציות ששוות כמעט בכל מקום לאפס, עדיין יחזירו אינטגרל אפס. כדי להתגבר על בעיה זו, מגדירים את המרחב ${\displaystyle L_{\mathbb {K} }^{p}(X,S,\mu )}$ שאיבריו הוא אוסף מחלקות השקילות עד כדי שוויון כמעט בכל מקום. כעת, ${\displaystyle ||\cdot ||_{p}}$ היא אכן נורמה - היא חיובית והומוגנית חיובית, ומקיימת את אי שוויון המשולש - זהו אי-שוויון מינקובסקי. המרחבים גם שלמים - ניתן להוכיח זאת בשימוש משפטי התכנסות מתורת המידה (למשל, משפט ההתכנסות הנשלטת של לבג).

מרחבי ${\displaystyle L^{p}}$ הם הדוגמה הקלאסית למרחב בנך באנליזה ובטופולוגיה.

המקרה ${\displaystyle p=2}$ הוא מקרה מיוחד, מפני שבמקרה זה המרחב ${\displaystyle L^{2}}$ הוא אף מרחב הילברט - מרחב מכפלה פנימית שלם מעל השדה, כאשר המכפלה הפנימית היא ${\displaystyle <f,g>=\int _{X}{f\cdot {\overline {g}}d\mu }}$. זוהי דוגמה קלאסית למרחב הילברט, ולמעשה ידוע יותר מכך - כל מרחב הילברט איזומורפי למרחב ${\displaystyle L^{2}(A,P(A),\#)}$, כאשר ${\displaystyle A}$ קבוצה כלשהי.

במקרה ${\displaystyle p=\infty }$ אי אפשר להגדיר, כמו במקרה הסופי, את ${\displaystyle L^{\infty }}$ להיות אוסף הפונקציות החסומות, משום שפונקציה יכולה לקבל את הערך אינסוף על קבוצה ממידה אפס. כדי להתגבר על הבעיה, מגדירים essential supremum של פונקציה:

${\displaystyle \operatorname {esssup} f=\inf\{a\in \mathbb {R} :\mu (f^{-1}(a,\infty ))=0\}}$

והמרחב ${\displaystyle L^{\infty }}$ הוא אוסף הפונקציות עבורן ${\displaystyle \operatorname {esssup} |f|<\infty }$, הנקראות גם פונקציות חסומות בעיקר (essentially bounded functions). המרחב שמתקבל אף הוא מרחב בנך, ומתקיים ${\displaystyle ||f||_{\infty }=\lim _{p\rightarrow \infty }{||f||_{p}}}$. מרחב זה חשוב במיוחד בתורת המרחבים המטריים והשלמות, ראו מרחב מטרי שלם.

המקרה הסוף-ממדי ${\displaystyle \ell _{n}^{p}}$ מתקבל כמקרה פרטי של ${\displaystyle L^{p}}$, עבור ${\displaystyle X=\{1,...,n\}}$ ו-${\displaystyle \mu =\#}$ מידת הספירה (הסופרת כמה איברים יש בקבוצה).

המקרה הבן-מנייה מתקבל עבור ${\displaystyle X=\mathbb {N} }$ ומידת הספירה. בפרט אפשר להסיק ש-${\displaystyle \ell ^{p}}$ מרחב בנך בלי להוכיח זאת בנפרד. נובע גם ש-${\displaystyle \ell ^{2}}$ הוא מרחב הילברט, ומפורשות ניתן לאמר ש-${\displaystyle \ell ^{2}\cong L^{2}(\mathbb {N} ,P(\mathbb {N} ),\#)}$.

היות שהמרחב ${\displaystyle L^{p}}$ הוא מרחב נורמי, מתאימה עבורו התכנסות בנורמה - נאמר שסדרת פונקציות ${\displaystyle \{f_{n}\}}$ מתכנסת בנורמה-p לפונקציה ${\displaystyle f}$ אם ${\displaystyle ||f_{n}-f||_{p}\to 0}$ כאשר ${\displaystyle n\to \infty }$. המשפט הבסיסי והחשוב בנושא הוא:

משפט: תהי ${\displaystyle \{f_{n}\}\subseteq L_{\mathbb {K} }^{p}(X,S,\mu )}$ כך ש- ${\displaystyle f_{n}\to f}$ נקודתית כמעט בכל מקום, וכן נניח שיש ${\displaystyle g\in L_{\mathbb {K} }^{p}(X,S,\mu )}$ כך ש-${\displaystyle |f_{n}|\leq g}$ (כלומר ${\displaystyle f_{n}}$ נשלטת על ידי ${\displaystyle g}$), אז ההתכנסות היא גם בנורמה-p, כלומר ${\displaystyle \lim _{n\rightarrow \infty }{||f_{n}-f||_{p}}=0}$.

בכיוון ההפוך יש טענה מעט חלשה יותר-

משפט - תהי ${\displaystyle f\in L_{\mathbb {K} }^{p}(X,S,\mu )}$ ונניח שיש סדרה ${\displaystyle \{f_{n}\}}$ כך ש-${\displaystyle \lim _{n\rightarrow \infty }{||f_{n}-f||_{p}}=0}$. אזי ל-${\displaystyle \{f_{n}\}}$ יש תת-סדרה המתכנסת נקודתית ל-${\displaystyle f}$ כמעט בכל מקום.

במקרה של התכנסות במידה שווה, הטיעון 'חלק' יותר:

משפט: במרחב ממידה סופית, אם ${\displaystyle f_{n}\to f}$ במידה שווה, אז ההתכנסות היא גם בנורמה-p.

תכונה טופולוגית נוספת של המרחב, היא שאוסף הפונקציות הפשוטות היא קבוצה צפופה ב-${\displaystyle L^{p}}$. ניתן לראות זאת בקלות לפי המשפטים לעיל - ידוע שלכל פונקציה אינטגרבילית יש סדרה מונוטונית של פונקציות פשוטות ${\displaystyle \phi _{n}}$ שמתכנסת אליה, ומפני שמתקיים ${\displaystyle |f-\phi _{n}|^{p}\leq 2^{p-1}(|f|^{p}+|\phi _{n}|^{p})\to 2^{p}|f|^{p}}$, נקבל שיש התכנסות גם בנורמת-p. למעשה, המרחב ${\displaystyle L_{\mathbb {K} }^{p}(X,S,\mu )}$ הוא ההשלמה של מרחב הפונקציות הפשוטות שיושב בו.

במרחבים ממידה סופית, יש שיכונים בין מרחבי ${\displaystyle L^{p}}$, ביחס הפוך לסדר.

משפט - יהי ${\displaystyle (X,M,\mu )}$ מרחב מידה סופי, כלומר ${\displaystyle \mu (X)<\infty }$. אזי:

• אם ${\displaystyle 1<p<q}$ יש שיכון טבעי - ${\displaystyle L_{\mathbb {K} }^{q}(X,S,\mu )\hookrightarrow L_{\mathbb {K} }^{p}(X,S,\mu )}$. יותר מכך, השיכון רציף, משום שזהו אופרטור ליניארי חסום. מפורשות, אי-שוויון ינסן (באחת מגרסאותיו) טוען כי ${\displaystyle ||f||_{p}\leq \mu (X)^{{\frac {1}{p}}-{\frac {1}{q}}}\cdot ||f||_{q}}$.
• לכל ${\displaystyle p>1}$ מתקיים ${\displaystyle L_{\mathbb {K} }^{\infty }(X,S,\mu )\subseteq L_{\mathbb {K} }^{p}(X,S,\mu )}$.

• מרחב Lp, באתר אנציקלופדיה למתמטיקה (באנגלית)

מרחבי פונקציות והכללותיהן

היפר-פונקציות     ${\displaystyle C^{-\infty }}$ פונקציות מוכללות מתונות ${\displaystyle C_{c}^{-\infty }}$                        ${\displaystyle L_{loc}^{1,-s}}$ ${\displaystyle L^{1,-s}}$ ${\displaystyle L_{c}^{1,-s}}$            ${\displaystyle L_{loc}^{p,-s}}$ ${\displaystyle L^{p,-s}}$ ${\displaystyle L_{c}^{p,-s}}$         מידות[1] מידות[1] נתמכות קומפקטית ${\displaystyle L_{loc}^{1}}$ ${\displaystyle L^{1}}$ ${\displaystyle L_{c}^{1}}$ ${\displaystyle L_{loc}^{p}}$ ${\displaystyle L_{}^{p}}$ ${\displaystyle L_{c}^{p}}$         ${\displaystyle L_{loc}^{1,s}}$ ${\displaystyle L^{1,s}}$ ${\displaystyle L_{c}^{1,s}}$ ${\displaystyle L_{loc}^{p,s}}$ ${\displaystyle L^{p,s}}$ ${\displaystyle L_{c}^{p,s}}$ ${\displaystyle L_{loc}^{2,s}}$ ${\displaystyle L_{loc}^{2}}$ ${\displaystyle L_{loc}^{2,-s}}$                   ${\displaystyle L^{2,s}}$ ${\displaystyle L^{2,-s}}$      ${\displaystyle L^{2}}$            ${\displaystyle L_{c}^{2,s}}$ ${\displaystyle L_{c}^{1}}$ ${\displaystyle L_{c}^{1,-s}}$         ${\displaystyle C_{c}^{-s}}$ ${\displaystyle C^{-s}}$ ${\displaystyle L_{c}^{\infty ,-s}}$ ${\displaystyle L^{\infty ,-s}}$ ${\displaystyle L_{loc}^{\infty ,-s}}$ ${\displaystyle L_{c}^{q,-s}}$ ${\displaystyle L^{q,-s}}$ ${\displaystyle L_{loc}^{q,-s}}$             ${\displaystyle C_{c}}$ ${\displaystyle C}$ ${\displaystyle L_{c}^{\infty }}$ ${\displaystyle L_{}^{\infty }}$ ${\displaystyle L_{loc}^{\infty }}$ ${\displaystyle L_{c}^{q}}$ ${\displaystyle L_{}^{q}}$ ${\displaystyle L_{loc}^{q}}$         ${\displaystyle C_{c}^{s}}$ ${\displaystyle C^{s}}$ ${\displaystyle L_{c}^{\infty ,s}}$ ${\displaystyle L^{\infty ,s}}$ ${\displaystyle L_{loc}^{\infty ,s}}$ ${\displaystyle L_{c}^{q,s}}$ ${\displaystyle L^{q,s}}$ ${\displaystyle s>0}$ ${\displaystyle L_{loc}^{q,s}}$       ${\displaystyle C_{c}^{\infty }}$ פונקציות שוורץ פונקציות מתונות ${\displaystyle C^{\infty }}$   × × €4.95 / month Favourites List Audio Listining Color Mode Monthly New Updates Fullname * Email * Credit or debit card Subscribe A PHP Error was encountered Severity: Notice Message: Undefined variable: userid Filename: user/popup_modal.php Line Number: 68 Backtrace: File: /var/www/wikizero/data/www/wikizero.com/application/views/user/popup_modal.php Line: 68 Function: _error_handler File: /var/www/wikizero/data/www/wikizero.com/application/views/page/index.php Line: 478 Function: view File: /var/www/wikizero/data/www/wikizero.com/application/controllers/Main.php Line: 107 Function: view File: /var/www/wikizero/data/www/wikizero.com/index.php Line: 315 Function: require_once "> Subscribe Now × €4.95 € 9.90 / Modal title × Close Save changes × A PHP Error was encountered Severity: Notice Message: Undefined variable: user_membership Filename: user/popup_modal.php Line Number: 192 Backtrace: File: /var/www/wikizero/data/www/wikizero.com/application/views/user/popup_modal.php Line: 192 Function: _error_handler File: /var/www/wikizero/data/www/wikizero.com/application/views/page/index.php Line: 478 Function: view File: /var/www/wikizero/data/www/wikizero.com/application/controllers/Main.php Line: 107 Function: view File: /var/www/wikizero/data/www/wikizero.com/index.php Line: 315 Function: require_once A PHP Error was encountered Severity: Warning Message: Invalid argument supplied for foreach() Filename: user/popup_modal.php Line Number: 192 Backtrace: File: /var/www/wikizero/data/www/wikizero.com/application/views/user/popup_modal.php Line: 192 Function: _error_handler File: /var/www/wikizero/data/www/wikizero.com/application/views/page/index.php Line: 478 Function: view File: /var/www/wikizero/data/www/wikizero.com/application/controllers/Main.php Line: 107 Function: view File: /var/www/wikizero/data/www/wikizero.com/index.php Line: 315 Function: require_once A PHP Error was encountered Severity: Notice Message: Undefined variable: userid Filename: user/popup_modal.php Line Number: 208 Backtrace: File: /var/www/wikizero/data/www/wikizero.com/application/views/user/popup_modal.php Line: 208 Function: _error_handler File: /var/www/wikizero/data/www/wikizero.com/application/views/page/index.php Line: 478 Function: view File: /var/www/wikizero/data/www/wikizero.com/application/controllers/Main.php Line: 107 Function: view File: /var/www/wikizero/data/www/wikizero.com/index.php Line: 315 Function: require_once "> Harry Potter Books × A PHP Error was encountered Severity: Notice Message: Undefined variable: products Filename: user/popup_harry_book.php Line Number: 24 Backtrace: File: /var/www/wikizero/data/www/wikizero.com/application/views/user/popup_harry_book.php Line: 24 Function: _error_handler File: /var/www/wikizero/data/www/wikizero.com/application/views/page/index.php Line: 479 Function: view File: /var/www/wikizero/data/www/wikizero.com/application/controllers/Main.php Line: 107 Function: view File: /var/www/wikizero/data/www/wikizero.com/index.php Line: 315 Function: require_once A PHP Error was encountered Severity: Warning Message: Invalid argument supplied for foreach() Filename: user/popup_harry_book.php Line Number: 24 Backtrace: File: /var/www/wikizero/data/www/wikizero.com/application/views/user/popup_harry_book.php Line: 24 Function: _error_handler File: /var/www/wikizero/data/www/wikizero.com/application/views/page/index.php Line: 479 Function: view File: /var/www/wikizero/data/www/wikizero.com/application/controllers/Main.php Line: 107 Function: view File: /var/www/wikizero/data/www/wikizero.com/index.php Line: 315 Function: require_once