מרחב בנך

במתמטיקה, מרחב בנך (באנגלית: Banach space) הוא מרחב וקטורי נורמי שהוא שלם במטריקה המושרית מן הנורמה. מרחב בנך הוא אחד המרחבים הנפוצים שנחקרים במסגרת האנליזה פונקציונלית.

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

תכונות

כדור היחידה $\ \{x:||x||<1\}$ במרחב נורמי הוא תמיד קמור, פתוח וסימטרי לשיקוף סביב 0. במרחב ממימד סופי, גם ההפך נכון: כל גוף בעל פנים לא ריק בעל תכונות אלה הוא כדור היחידה של נורמה מתאימה. התנאי על קמירות כדור היחידה שקול לאי-שוויון המשולש שהנורמה צריכה לקיים.

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

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

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

לפי משפט מזור-אולם, המבנה המטרי על מרחב בנך קובע את המבנה הליניארי שלו: אם $\ f:X\to Y$ היא איזומטריה בין מרחבי בנך וגם על, אז $\ f$ היא ליניארית.

דוגמאות

• המרחב האוקלידי הוא מרחב בנך. באופן כללי יותר, כל מרחב הילברט הוא מרחב בנך.

מרחבי סדרות

• אוסף הסדרות של מספרים ממשיים $\ (a_{n})_{n\in \mathbb {N} }$ שמקיימות $\ \sum _{n=1}^{\infty }|a_{n}|<\infty$ הוא מרחב בנך עם הנורמה $\|(a_{n})\|_{1}=\sum _{n=1}^{\infty }|a_{n}|$. מרחב זה מסומן ב $\ \ell _{1}$.

• כהכללה של הדוגמה הקודמת, אם $\ 1\leq p<\infty$, מגדירים את המרחב $\ \ell _{p}$ להיות אוסף הסדרות $\ (a_{n})_{n\in \mathbb {N} }$ שמקיימות $\ \sum _{n=1}^{\infty }|a_{n}|^{p}<\infty$. מרחב זה הוא מרחב בנך תחת הנורמה $\|(a_{n})\|_{p}=\left(\sum _{n=1}^{\infty }|a_{n}|^{p}\right)^{1/p}$. אם $\ p=\infty$ מגדירים את המרחב $\ \ell _{\infty }$ להיות אוסף הסדרות החסומות עם הנורמה $\ \|(a_{n})\|_{\infty }=\sup |a_{n}|$ וזהו מרחב נורמי. אם $\ p<1$, המרחב המתקבל הוא מרחב מטרי שלם (ואפילו מרחב פרשה) אבל איננו מרחב בנך כי אין עליו נורמה.

מרחבי פונקציות

• אוסף רחב יותר של דוגמאות מתקבל באופן הבא: אם $\ (X,\mu )$ הוא מרחב מידה מגדירים את $\ L_{p}(X,\mu )$ להיות אוסף מחלקות השקילות של פונקציות $\ f:X\to \mathbb {C}$ המקיימות $\ \int _{X}|f(x)|^{p}d\mu (x)<\infty$ תחת יחס השקילות של שוויון כמעט תמיד. מרחב זה הוא מרחב בנך תחת הנורמה

$\ \|f\|_{p}=\left(\int _{X}|f(x)|^{p}d\mu (x)\right)^{1/p}$

• מרחב הפונקציות החסומות ממשיך את הדוגמה הקודמת למקרה $\ p=\infty$. אם X מרחב מטרי, $\ L^{\infty }(X)$ הוא המרחב של הפונקציות החסומות $\ X\rightarrow \mathbb {C}$ (לפעמים מדובר בפונקציות ממשיות דווקא). זהו מרחב נורמי, עם נורמת הסופרימום של הפונקציות. שיכון קורטובסקי ($\ x\mapsto (y\mapsto d(x,y)-d(x_{0},y))$ כאשר $\,x_{0}$ נקודה קבועה) מראה שכל מרחב מטרי משוכן במרחב הפונקציות החסומות המתאים לו.

• מרחב הפונקציות הרציפות $\ C(X)$ ממרחב מטרי X אל המספרים המרוכבים (או הממשיים).

טיפוסים של מרחבי בנך

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

מרחב הפונקציונלים הליניארים על מרחב בנך $\ X$ גם הוא מרחב בנך תחת הנורמה $\ \|\varphi \|=\sup _{x\in X,\|x\|=1}\varphi (x)$ מרחב זה מסומן לרוב ב $\ X^{*}$. לדוגמה, אם $\ {\frac {1}{p}}+{\frac {1}{q}}=1$ וגם $\ p<\infty$ אז $\ell _{p}^{*}=\ell _{q}$. לעומת זאת, $\ell _{\infty }^{*}\neq \ell _{1}$. מדוגמה זו רואים שלא תמיד מתקיים $\,X^{**}=X$. לעומת זאת, יש שיכון טבעי $\,X\hookrightarrow X^{**}$. מרחב בנך שעבורו השיכון $\,X\hookrightarrow X^{**}$ הוא איזומורפיזם נקרא מרחב רפלקסיבי. כל מרחב הילברט הוא רפלקסיבי.

מרחב בנך שלכל תת-מרחב ספרבילי שלו, A, גם $\ A^{*}$ הוא ספרבילי, נקרא מרחב Asplund; כל מרחב רפלקסיבי הוא Asplund.

מרחב בנך שאינו מכיל עותק איזומורפי של $\ \ell _{1}$ נקרא מרחב Rosenthal. כל מרחב Asplund הוא Rosenthal.

כל מרחב בנך רפלקסיבי הוא נוצר קומפקטית-חלש (weakly compactly generated), כלומר, יש בו קבוצה קומפקטית (בטופולוגיה החלשה), הפורשת מרחב צפוף. כל מרחב כזה הוא Weakly Lindelof determined (יש בו קבוצה M הפורשת מרחב צפוף, כך שהחיתוך שלה עם התומך של כל פונקציונל ליניארי הוא בן-מניה). מרחב מסוג זה, שהוא Asplund, הוא ספרבילי.

ראו גם

• נורמה (אנליזה)
• מרחב מטרי
• מרחב מטרי שלם
• מרחב הילברט
• אופרטור
• פונקציונל
• משפט האן-בנך
• משפט בנך-שטיינהאוס
• טופולוגיה
• אנליזה מתמטית
• אנליזה פונקציונלית

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

מדיה וקבצים בנושא מרחב בנך בוויקישיתוף

• מרחב בנך, באתר אנציקלופדיה למתמטיקה (באנגלית)
• מרחב בנך, באתר MathWorld (באנגלית)
• מרחבי בנך, דף שער בספרייה הלאומית

עץ מיון של מרחבים וקטוריים טופולוגיים

מרחב וקטורי טופולוגי מרחב וקטורי טופולוגי

מקרא:   מחלקה של מרחבים וקטוריים טופולוגיים (מעל $\mathbb {R}$).   דוגמה או קבוצת דוגמאות למרחבים וקטוריים טופולוגיים.   מסלול שיורד למטה מצביע על כך שהמחלקה התחתונה היא חלק מהמחלקה העליונה.   חלק במסלול שרלוונטי רק לדוגמאות. $\cap$ מחלקה המהווה חיתוך של המחלקות שמכילות אותה ומופיעות בתרשים.

מרחב האוסדורף מרחב האוסדורף

מרחב מטריזבילי מרחב מטריזבילי

מרחב שלם מרחב שלם

מרחב קמור מקומית מרחב קמור מקומית

מרחב-F מרחב-F $\cap \,$

מרחב פרשה מרחב פרשה $\cap \,$

מרחב דואלי לפרשה מרחב דואלי לפרשה

מרחב גרעיני מרחב גרעיני

$C^{\infty }(\mathbb {R} )$ $C^{\infty }(\mathbb {R} )$

מרחב נורמי מרחב נורמי

מרחב בנך מרחב בנך $\cap \,$

$C^{-\infty }(S^{1})$ $C^{-\infty }(S^{1})$

$L_{loc}^{p}(\mathbb {R} )$ $L_{loc}^{p}(\mathbb {R} )$

$C(\mathbb {R} )$ $C(\mathbb {R} )$

$C_{c}^{\infty }(\mathbb {R} )$ $C_{c}^{\infty }(\mathbb {R} )$

מרחב מכפלה פנימית מרחב מכפלה פנימית

מרחב הילברט מרחב הילברט $\cap \,$

$C^{-\infty }(\mathbb {R} )$ $C^{-\infty }(\mathbb {R} )$

$L^{1}(\mathbb {R} )$ $L^{1}(\mathbb {R} )$

$C(S^{1})$ $C(S^{1})$

$L^{p}(\mathbb {R} );p>1$ $L^{p}(\mathbb {R} );p>1$

מרחב (ממשי) ממד סופי - $\mathbb {R} ^{n}$ מרחב (ממשי) ממד סופי - $\mathbb {R} ^{n}$ $\cap \,$

$L^{2}(\mathbb {R} )$ $L^{2}(\mathbb {R} )$