Tietze扩张定理
设 D ⊂ R n D \sub \R^n D⊂Rn为闭子集, f : D → R \bm{f}:D \rightarrow \R f:D→R是有界连续函数,则存在连续函数 g : R n → R \bm{g}:\R^n\rightarrow\R g:Rn→R,满足 g ∣ D = f \bm{g}|_D=\bm{f} g∣D=f。
证明:
主要参考了:度量空间上映射的扩张,Tietze 扩张定理
思路:不断构造 g i \bm{g}_i gi,使得 f − ∑ j = 1 i g i \bm{f}-\sum_{j=1}^i\bm{g}_i f−∑j=1igi的界减少。
设 M M M为 f \bm{f} f的界, A 1 = { x ∣ f ( x ) ≥ M 3 } , B 1 = { x ∣ f ( x ) ≤ − M 3 } A_1=\{\bm{x}|\bm{f}(\bm{x})\ge \frac{M}{3}\},B_1= \{\bm{x}|\bm{f}(\bm{x})\le -\frac{M}{3}\} A1={ x∣f(x)≥3M