✨Định lý mở rộng Tietze

Cho X là một không gian chuẩn tắc, lấy F là một tập đóng trong X.Cho $f\backslash ,:F\backslash longrightarrow\; R$ liên tục, khi đó có một ánh xạ liên tục $g\backslash ,:X\backslash longrightarrow\; R$ sao cho $g/\_\{F\}=f$.

Vì vậy trong một không gian định chuẩn, một hàm thực trên một không gian con đóng có thể được mở rộng thành một hàm thực liên tục trên toàn bộ không gian đó.

=Chứng minh=

• Trường hợp f bị chặn a) Trường hợp tổng quát có thể suy ra từ trường hợp khi mà $inf${F}f=0 và $sup${F}f=1 chúng ta sẽ thu hẹp sự chú ý trong trường hợp này.

b) Theo Định lý Urysohn có một hàm liên tục $g\_\{1\}:\backslash ,\; X\backslash longrightarrow[0,\backslash frac\{1\}\{3\}]$ sao cho:

Lấy $f${1}=f-g{1}. Khi đó $sup${X}g{1}=\frac{1}{3} , $sup${F}f{1}=\frac{2}{3} và $inf\_\{F\}f\_1=0$

c) Chúng ta có hàm số $f${n}\,:F\longrightarrow R,\,\, n\geq1 , chúng ta sẽ thu được một hàm số $g${n+1}:\, X\longrightarrow[0,\frac{1}{3}(\frac{2}{3})^{n}] sao cho:

Lấy $f${n+1}=f{1}-g{n+1} , Khi đó $sup${X}g{n+1}=\frac{1}{3}(\frac{2}{3})^{n} và $sup${F}f{n+1}=(\frac{2}{3})^{n+1} , và $inf${F}f_{n+1}=0

d) Chuỗi $\backslash sum${n=1}^{\infty}g{n} hội tụ đều về hàm liên tục g.

e) Vì $f${n}=f-\sum{i=1}^{\infty}g{i} , chuỗi $\backslash sum${n=1}^{\infty}g{n}/{F} hội tụ đều về f.Do đó $g/\_\{F\}=f$.

f) Chú ý rằng việc xây dựng này thì $inf\_X\{g\}=0$ và $sup\_X\{g\}=1$

• Trường hợp f không bị chặn. a) Giả sử rằng f hoặc bị chặn dưới, hoặc bị chặn trên, lấy h là một phép đồng phôi từ $(-\backslash infty,\backslash infty)$ vào $(0,1)$.Khi đó miền xác định của $f${1}=h\circ g là một tập con của $(0,1)$, do đó nó có thể mở rộng như hàm liên tục $g${1} phía trước sao cho $inf${x\in X}g{1}(x)=inf{x\in F}f{1}(x)=0 và $sup${x\in X}g{1}(x)=sup{x\in F}f{1}(x)=1

Nếu miền xác định của $g${1} bao gồm hoặc 0 hoặc 1 khi đó $g=h^\{-1\}\backslash circ\; g${1} là hàm như ta mong đợi.

Nếu có trường hợp xảy ra như sau: miền xác định của $g${1} bao gồm cả 0 và 1. Trong trường hợp này lấy $C=g${1}^{-1}({0,1}) .Chú ý rằng C giao F bằng trống.Theo bổ đề Urysohn, có một hàm liên tục $k:\backslash ,\; X\backslash longrightarrow[0,1]$ sao cho $k/${C}=0 ,$k/${F}=1 . Lấy $g${2}=kg{1}+(1-k)\frac{1}{2} . Khi đó $g${1}/{F}=g{2}/{F} và miền xác định của $g${2} là tập con của $(0,1)$, khi đó $g=h^\{-1\}\backslash circ\; g${2} là hàm như ta mong đợi.

b) Nếu f bị chặn dưới khi đó tương tự như trường hợp trước chúng ta có thể sử dụng phép đồng phôi $h:\backslash ,[a,\backslash infty)\backslash longrightarrow[0,1)$, và chúng ta đặt $C=g\_\{1\}^\{-1\}(\{1\}$

Trường hợp f bị chặn trên là tương tự