משפט ההעתקה הפתוחה

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

המשפט 

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

הוכחת המשפט 

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

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

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

מאחר שהראנו שההעתקה  מעבירה כדור פתוח לכדור פתוח נובע שהיא העתקה פתוחה.

שימושים ומסקנות 

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

ראו גם 
 קבוצה פתוחה
 נקודת מרכז
 נקודת פנים
 משפט הגרף הסגור

ההעתקה הפתוחה
העתקה פתוחה

de:Offenheitssatz
it:Teorema della funzione aperta
ru:Принцип сохранения области