משפט ההרחבה של טיצה

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

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

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

## ניסוח פורמלי
מרחב טופולוגי \ X הוא מרחב נורמלי אם ורק אם לכל קבוצה סגורה \ A\subseteq X אם \ f : A \to [0,1] רציפה, אז קיימת הרחבה רציפה שלה למרחב כולו \ F: X \to [0,1] כלומר, כזו עבורה לכל x \in A מתקיים \ F(x) = f(x). בניסוח קטגורי, ניתן לנסח את המשפט כך: בקטגוריה של מרחבים טופולוגיים, הקטע \,[0,1] הוא אובייקט אינג'קטיבי.

## הוכחה
כדי להוכיח את המשפט, נוכיח קודם כל את הלמה:

**למה:** יהיו X מרחב נורמלי, K תת-קבוצה סגורה שלו ו-f :K\rightarrow\left[-M,M\right] (עבור M>0) רציפה. אז קיימת פונקציה רציפה g :X\rightarrow\left[-\frac{M}{3},\frac{M}{3}\right] המקיימת \left \vert f(x)-g(x) \right \vert\leq\frac{2M}{3} לכל x\in K.

**הוכחת הלמה:** נסמן A=f^{-1}\left(\left [-M,-\frac{M}{3}\right]\right),B=f^{-1}\left(\left[\frac{M}{3},M\right]\right). לפי הרציפות של f, הקבוצות A,B סגורות ב-K. אבל K סגורה ב-Xלכן A,B סגורות ב-X. הן זרות זו לזו לכן לפי הלמה של אוריסון בשינויים המתבקשים, קיימת פונקציה רציפה g:X\rightarrow\left[-\frac{M}{3},\frac{M}{3}\right] כך ש-g(A)=\left \{ -\frac{M}{3} \right \},g(B)=\left \{ \frac{M}{3} \right \}. 

לכל x\in K, נפצל לשלושה מקרים: 

1) אם x\in A אז -M\leq f(x)\leq-\frac{M}{3} וגם g(x)=-\frac{M}{3} לכן \left \vert f(x)-g(x) \right \vert\leq\frac{2M}{3} 

2) אם x\in B אז \frac{M}{3}\leq f(x)\leq M וגם g(x)=\frac{M}{3} לכן \left \vert f(x)-g(x) \right \vert\leq\frac{2M}{3} 

3) אם x\notin A\cup B אז \left\vert f(x)\right\vert וגם\left\vert g(x)\right\vert\leq\frac{M}{3} לכן \left\vert f(x)-g(x)\right\vert\leq\frac{2M}{3} 

לכן g מקיימת את הלמה.  

כעת נוכל להוכיח את המשפט. 

**כיוון אחד:** נניח ש-X מרחב טופולוגי כך שלכל K\subseteq X סגורה ולכל פונקציה רציפה f :K\rightarrow\left[0,1\right] יש הרחבה רציפה למרחב. יהיו A,B קבוצות סגורות זרות ב-X. נגדיר f:A\cup B\rightarrow\left[0,1\right] כך ש-f(x)=0 לכל x\in A ו-f(x)=1 לכל x\in B. מכך ש-A,B סגורות וזרות נובע ש-f רציפה כפונקציה מתת-המרחב A\cup B. לפי ההנחה, ניתן להרחיב את f לפונקציה רציפה מ-X ל-\left[0,1\right]. אז קיימת פונקציה רציפה \ F: X \to [0,1]כך ש-F(x)=0 לכל x\in A ו-F(x)=1 לכל x\in B. נסמןU=F^{-1}\left(\left[0,\frac{1}{2}\right)\right),V=F^{-1}\left(\left(\frac{1}{2},1\right]\right). אז U,V קבוצות פתוחות (לפי רציפות F) וזרות המקיימות A\subseteq U,B\subseteq V. מכאן הנורמליות של X. 

**כיוון שני:** נוכיח גרסה שקולה של המשפט שבה הטווח של f הוא \left[-1,1\right]. יהיו X מרחב נורמלי, K תת-קבוצה סגורה שלו ו-f :K\rightarrow\left[-1,1\right] רציפה. עתה נשתמש בלמה שהוכחנו לעיל כדי לבנות באינדוקציה סדרת פונקציות רציפות g_n:X\rightarrow\left[-\frac{2^{n-1}}{3^n},\frac{2^{n-1}}{3^n}\right] כך שייתקיים \left\vert f(x)-\sum_{k=0}^n {g_k (x)}\right\vert\leq\frac{2^n}{3^n} לכל x\in K: 

עבור n=0 נגדיר g_0(x)\equiv0. 

כעת נניח ש-g_0,...,g_n פונקציות המקיימות \left\vert f(x)-\sum_{k=0}^n {g_k (x)}\right\vert\leq\frac{2^n}{3^n} לכל x\in K. נשתמש בלמה שהוכחנו עבור הפונקציה f-\sum_{k=0}^n {g_k} ונקבל פונקציה g_{n+1}:X\rightarrow\left[-\frac{2^n}{3^{n+1}},\frac{2^n}{3^{n+1}}\right] כך ש-\left\vert f(x)-\sum_{k=0}^{n+1} {g_k (x)}\right\vert\leq\frac{2^{n+1}}{3^{n+1}} לכל x\in K. 

לכל x\in X ולכל n\geq0 שלם מתקיים \left\vert g_n(x)\right\vert\leq\frac{2^{n-1}}{3^n} ולכן טור הפונקציות \sum_{n=0}^{\infty} g_n מתכנס לפונקציה רציפה ב-X. נסמן את הפונקציה הזו ב-F. לפי האי-שוויון \left\vert f(x)-\sum_{k=0}^n {g_k (x)}\right\vert\leq\frac{2^n}{3^n}, הפונקציה F היא הרחבה של f, וההוכחה הושלמה. 
## קישורים חיצוניים
* 

טיצה