מרחב בנך

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

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

## תכונות

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

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

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

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

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

## דוגמאות

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

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

*כהכללה של הדוגמה הקודמת, אם  \ 1\leq p , מגדירים את המרחב  \ \ell _p  להיות אוסף הסדרות  \ (a_n)_{n\in \mathbb{N}} שמקיימות  \ \sum _{n=1} ^{\infty} |a_n|^p . מרחב זה הוא מרחב בנך תחת הנורמה  \| (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, המרחב המתקבל הוא מרחב מטרי שלם (ואפילו מרחב פרשה) אבל איננו מרחב בנך כי אין עליו נורמה.

### מרחבי פונקציות
*אוסף רחב יותר של דוגמאות מתקבל באופן הבא: אם  \ (X,\mu )  הוא מרחב מידה מגדירים את  \ L_p (X,\mu )  להיות אוסף מחלקות השקילות של פונקציות  \ f:X\to \mathbb{C}  המקיימות  \ \int _{X} |f(x)|^{p} d\mu (x)  תחת יחס השקילות של שוויון כמעט תמיד. מרחב זה הוא מרחב בנך תחת הנורמה
 \ \| 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 אז  \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, הוא ספרבילי.

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

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

* 
* 
* 

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