最后更新: 2026-04-08 20:57 查看: 40 次纠错评论(0) 课件开VIP

Tietze 扩张定理

## 2.2 Tietze 扩张定理
分析学中有连续延拓定理：定义在 $\boldsymbol{E}^1$ 的某个闭集上的有界连续函数可延拓为定义在 $\boldsymbol{E}^1$ 上的连续函数．利用 Урысон 引理，可以推广这个定理为 Tietze 扩张定理．

**定理 2.3（Tietze 扩张定理）** 如果 $X$ 满足 $T_4$ 公理，则定义在 $X$ 的闭子集 $F$ 上的连续函数可连续地扩张到 $X$ 上。

证明 我们分两步证明：先对有界连续函数证明，然后推广到一般连续函数．
（1）设 $f: F \rightarrow \boldsymbol{E}^1$ 连续，且 $f(F) \subset[-1,1]$ ．记 $A= f^{-1}([-1,-1 / 3]), B=f^{-1}([1 / 3,1])$ ，则 $A, B$ 是 $F$ 的不相交闭子集．因为 $F$ 是 $X$ 的闭集，所以 $A, B$ 也是 $X$ 的闭集．用 Урысон 引理，可作 $X$ 上连续函数 $\varphi_1$ ，使得 $\varphi_1(X) \subset [-1 / 3,1 / 3]$ ，并且 $\varphi_1$ 在 $A$ 和 $B$ 上分别取值 $-1 / 3$ 和 $1 / 3$ ．令 $f_1 =f-\varphi_1: F \rightarrow \boldsymbol{E}^1$ ，则 $f_1(F) \subset[-2 / 3,2 / 3]$ ．用 $f_1$ 替代 $f$ ，重复以上过程，构造出 $X$ 上连续函数 $\varphi_2$ ，使得 $\varphi_2(X) \subset[-2 / 9,2 / 9], F$上的连续函数 $f_2=f_1-\varphi_2=f-\varphi_1-\varphi_2$ 满足 $f_2(F) \subset$ ［－4／9，4／9］．不断重复以上做法，归纳地作出 $X$ 上的连续函数序列 $\left\{\varphi_n\right\}$ ，使得

（i）$\varphi_n(X) \subset\left[-\frac{2^{n-1}}{3^n}, \frac{2^{n-1}}{3^n}\right]$ ；
（ii）$\left|f(x)-\sum_{i=1}^n \varphi_i(x)\right| \leqslant \frac{2^n}{3^n}, \quad \forall x \in F$ ．
根据（i），函数 $\widetilde{f}:=\sum_{n=1}^{\infty} \varphi_n$ 有意义，连续，并且 $|\widetilde{f}(x)| \leqslant 1, \forall x \in X$ 。
根据（ii），$\widetilde{f}(x)=f(x), \forall x \in F$ ，即 $\widetilde{f}$ 是 $f$ 的扩张．
（2）设 $f$ 是 $F$ 上的连续函数，不一定有界．规定 $f^{\prime}: F \rightarrow \boldsymbol{E}^1$为 $f^{\prime}(x)=\frac{2}{\pi} \arctan (f(x)) ; \forall x \in F$ ，则 $f^{\prime}(F) \subset(-1,1)$ ．由 （1），有 $f^{\prime}$ 的扩张 $\widetilde{f}^{\prime}: X \rightarrow \boldsymbol{E}^1, \widetilde{f}^{\prime}$ 连续，且 $\widetilde{f}^{\prime}(X) \subset[-1,1]$ 。记 $E =\left(\widetilde{f}^{\prime}\right)^{-1}(\{-1,1\})$ ，则 $E$ 是 $X$ 的闭集，并且 $F \cap E=\varnothing$ 。根据 Урысон 引理，存在 $X$ 上的连续函数 $h$ ，使得 $h(X) \subset[0,1]$ ，并且 $h$在 $E$ 和 $F$ 上分别取值 0 和 1 。于是对 $\forall x \in X, h(x) \widetilde{f}^{\prime}(x) \in (-1,1)$ ，因此可规定 $\widetilde{f}: X \rightarrow \boldsymbol{E}^1$ 为
$$
\widetilde{f}(x)=\tan \left(\frac{\pi}{2} h(x) \widetilde{f}^{\prime}(x)\right), \quad \forall x \in X,
$$

则 $\widetilde{f}$ 连续，并且当 $x \in F$ 时，因为 $h(x)=1$ ，所以

$$
\widetilde{f}(x)=\tan \left(\frac{\pi}{2} \widetilde{f}^{\prime}(x)\right)=\tan (\arctan (f(x)))=f(x),
$$

即 $\widetilde{f}$ 是 $f$ 的扩张．
从 Tietze 定理的结论容易推出 $X$ 满足 $T_4$ 公理，因此它是 $T_4$公理的另一个等价条件．

## 理解：Tietze 扩张定理
**Tietze 扩张定理**（也译作**蒂策/蒂茨扩张定理**）是拓扑学中关于**连续函数延拓**的核心定理，通俗来说就是：
> **在一个“性质良好”的空间里，定义在一块“封闭区域”上的任何连续曲线/函数，都能无缝、平滑地延展到整个空间，且不会断开、突变。**

---

### 一、核心通俗版
假设：
- 你有一张**完整、无破洞**的画布 **X**（正规空间）
- 在画布上圈出一块**带边框的封闭区域 A**（闭集）
- 在 A 上**连续、无断点**地画了一条曲线 **f**（连续函数）

**定理结论**：
你一定能把这条曲线**完整、平滑、无断裂**地画满**整张画布 X**，且在原来的 A 区域上**完全不变**。

### 二、数学条件（简单版）
要让上面的“无缝延展”成立，必须满足 3 个条件：
1. **空间 X 是正规空间（Normal Space）**
   - 直观：任意两个不相交的闭集，都能被两个不相交的开集“隔开”
   - 常见例子：**欧氏空间 ℝⁿ、度量空间、紧豪斯多夫空间**（现实中几乎所有空间都满足）
2. **子集 A 是 X 中的闭集（Closed Set）**
   - 直观：A 包含它自己的所有边界点（比如圆、线段、闭区间；**开区间、不带边界的区域不行**）
3. **函数 f: A → ℝ 是连续函数**
   - 直观：f 在 A 上没有跳跃、断点

**结论**：
存在**连续函数 F: X → ℝ**，使得
- **F(x) = f(x)，对所有 x ∈ A**（在 A 上完全重合）
- **F 在整个 X 上连续**（延展后依然平滑）

### 三、直观例子
**例 1：数轴上的闭区间**
- X = 实数轴 ℝ（正规）
- A = [0, 1]（闭集）
- f(x) = sin(1/x)，x ∈ (0,1]，f(0)=0（连续）

**Tietze 定理保证**：
一定存在 **F: ℝ→ℝ 连续**，且
- F(x)=sin(1/x)，x∈(0,1]
- F(0)=0
- F 在 x<0 与 x>1 处平滑连接，**无断点**。

**例 2：平面上的圆周**
- X = 平面 ℝ²
- A = 单位圆 x²+y²=1（闭集）
- f: A→ℝ 是圆上的连续高度函数

**定理保证**：
能把 f **平滑铺满整个平面**，形成一张连续曲面，在圆周上高度不变。

### 四、关键要点（为什么重要）
1. **闭集是必须的**
   - 如果 A 是**开集**（如 (0,1)），定理**不成立**：
     - 反例：f(x)=1/x 在 (0,1) 连续，但**无法连续延拓到 0 点**（趋于无穷）

2. **正规空间 = 可延拓**
   - Tietze 定理与 **Urysohn 引理等价**，也等价于“X 是正规空间”
   - 意义：**正规空间的核心特征就是连续函数可从闭集延拓到全空间**

3. **保持有界性**
   - 若 f 在 A 上有界（|f|≤M），则延拓 F 也可做到 |F|≤M

### 五、一句话总结
**只要空间够好、区域封闭、函数连续，就能无缝延展到全空间。**

## 一维例子
好，我们用**最简单、最直观的例子**，一步一步把 Tietze 扩张定理的构造过程讲清楚。
只用到**数轴上的函数**，不用复杂拓扑。

---

### 场景设定
- 全空间：实数轴 $X = \mathbb R$（正规空间，满足条件）
- 闭集：闭区间 $A = [0,1]$
- 给定函数：$f:A\to\mathbb R$ 连续，比如就取
$$
  f(x)=x,\quad x\in[0,1]
$$

我们的目标：
**构造一个连续函数 $F:\mathbb R\to\mathbb R$，使得**
1. $F(x)=f(x)$ 在 $A=[0,1]$ 上完全一样
2. $F$ 在整条直线上连续

---

### 第一步：先看原来的函数
在 $[0,1]$ 上：
- $f(0)=0$
- $f(1)=1$
- 从 0 线性涨到 1

现在要把它**延拓到左边 $x<0$ 和右边 $x>1$**，并且不断开。

---

### 第二步：最简单的延拓（线性延拓）
最自然的想法：
- 左边 $x<0$：让它保持 $0$，或者继续往下直线延伸
- 右边 $x>1$：让它保持 $1$，或者继续往上直线延伸

我们选最简单的**常数延拓**：
$$
F(x)=
\begin{cases}
0,&x<0\\
x,&0\le x\le 1\\
1,&x>1
\end{cases}
$$

### 检查条件
1. 在 $A=[0,1]$ 上：$F(x)=x=f(x)$ ✔
2. 整条直线连续：
   - 在 $x=0$：左极限 0，右极限 0，$F(0)=0$
   - 在 $x=1$：左极限 1，右极限 1，$F(1)=1$
   中间都是直线，显然连续 ✔

这就是一个**Tietze 延拓**。

### 第三步：换一个“不太平淡”的例子
让 $f(x)$ 在 $[0,1]$ 上是：
$$
f(x)=\sin\frac{1}{x},\quad x\in(0,1],\quad f(0)=0
$$
这个函数在 $0$ 附近疯狂震荡，但**在闭集 $[0,1]$ 上仍然连续**。

Tietze 定理说：
**一定可以把它连续延拓到整条直线。**

构造思路：
$$
F(x)=
\begin{cases}
0,&x\le 0\\
\sin\dfrac1x,&0<x\le 1\\
\sin 1,&x>1
\end{cases}
$$

- 在 $x=0$：震荡被“按住”在 0，仍然连续
- 在 $x=1$：右边接常数 $\sin1$，连续
- 在 $[0,1]$ 完全不变

这也是一个合法的 Tietze 延拓。

### 第四步：真正“标准证明”的构造思路（通俗版）
拓扑课本里的通用构造，其实就是三步：

1. **用 Urysohn 函数做“过渡蒙版”**
   造一个连续函数 $\varphi:X\to[0,1]$，满足：
   - 在闭集 $A$ 上 $\varphi=1$
   - 在 $A$ 外面某个区域 $\varphi$ 慢慢降到 0

2. **把原函数“粘”到外面**
   定义：
 $$
   F(x)=\varphi(x)f(x)
 $$
   （更严谨的版本会用无穷级数/分段线性拼接）

3. **保证连续**
   - 在 $A$ 上：$\varphi=1$，所以 $F=f$
   - 在外面：$\varphi$ 平滑过渡到 0，不会突变

核心思想只有一句：
**用一个连续的“权重函数”，把原来的函数平滑地“铺”到整个空间。**

### 第五步：为什么必须是“闭集”？
如果 $A=(0,1)$（开区间），函数
$$
f(x)=\frac1x
$$
在 $A$ 上连续，但**无法延拓到 0**，因为趋向无穷。

Tietze 定理要求 $A$ 是闭集，就是为了**避免边界点爆掉**。
 
### 一句话总结整个构造
> 在闭集上给一个连续函数，
> 用一个连续的“渐变蒙版”把它往外平滑延伸，
> 就能得到整个空间上的连续函数，且在原集合上不变。

## 二维例子
我们直接来一个**平面上的 Tietze 扩张**，全程用画图逻辑讲，不堆公式。

### 场景设定（二维版本）
- 整个空间：平面 $X=\mathbb R^2$
- 闭集 A：**单位圆周** $x^2+y^2=1$（闭集，满足定理条件）
- 给定连续函数：
  在圆上定义一个高度函数
  $$
  f:S^1\to\mathbb R
  $$
  比如你在圆上画一圈连续起伏的“花边”：
  东边高、西边低，总之**没有断点、没有跳变**。

### Tietze 定理说什么？
你一定可以把这个**只定义在圆上**的连续高度，
**连续地铺满整个平面**，得到一个曲面
$$
F:\mathbb R^2\to\mathbb R
$$
满足：
1. 在圆上：$F(x,y)=f(x,y)$（完全不变）
2. 在整个平面：$F$ 连续（曲面光滑无裂口）

---

### 直观构造：从圆往外“抹平”
我们手动造一个最简单的 F。

#### 1. 极坐标下想
平面上任意一点可以写成：
$$
(r,\theta),\quad r\ge 0
$$
- 圆 A 就是 $r=1$
- 圆内：$r<1$
- 圆外：$r>1$

原函数只在 $r=1$ 有定义：
$$
f(1,\theta)
$$

### 2. 往圆内延拓（r ≤ 1）
最简单的方式：**径向线性收缩**
$$
F(r,\theta) = r\cdot f(1,\theta)
$$

- 在圆上 r=1：F = f ✔
- 在圆心 r=0：F=0
- 从圆心到圆，高度平滑渐变，**没有断裂**

### 3. 往圆外延拓（r ≥ 1）
继续往外平滑延伸，比如：
- 最简单：圆外保持高度不变
  $$
  F(r,\theta)=f(1,\theta),\quad r\ge1
  $$

合起来就是：
$$
F(r,\theta)=
\begin{cases}
r\,f(1,\theta),&0\le r\le 1\\
f(1,\theta),&r\ge 1
\end{cases}
$$

### 这就是一个 Tietze 扩张
- 在闭集 A（圆周）上：完全等于 f
- 整个平面连续：
  - 内部是锥面一样平滑
  - 外部是柱面一样平滑
  - 在 r=1 处完美衔接，没有尖角裂口

---

### 换一个更“漂亮”的延拓
不想圆外是平的？可以用**过渡函数**抹平：

设
$$
\varphi(r)=
\begin{cases}
r,&0\le r\le1\\
2-r,&1< r\le2\\
0,&r>2
\end{cases}
$$
这是一个**连续的“帽子函数”**：
0→1→0，在 r=1 处等于 1。

然后定义：
$$
F(p)=\varphi(|p|)\,f\Big(\frac{p}{|p|}\Big)
$$

- 在圆上 |p|=1：φ=1 ⇒ F=f
- 在圆内：高度平滑上升
- 在 1<r<2：高度慢慢降回 0
- r>2：高度为 0
- 全程连续

这也是标准的 Tietze 扩张。

---

# 核心逻辑总结（二维人话版）
> 给你一个**封闭曲线（闭集）**，
> 上面画了一条**连续的线（连续函数）**，
> 你总能用“从边界向内向外慢慢抹平”的方式，
> 把它变成一整张**没有裂缝、没有台阶的曲面**。

这就是 Tietze 扩张定理在二维的直观意义。

---

### 对比：为什么 A 必须是“闭集”？
如果 A 不是闭集，比如**去掉一点的圆**，
函数在那一点附近爆掉，就没法延拓。
Tietze 要求 A 闭，就是保证：
**边界上不会出现函数失控的点**。

科数题库(单机版) 会议室预约系统(book)

今日还可看 0 篇未注册用户每天查看4篇，注册用户每天8篇，开通VIP会员无限制查看。

免费注册

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

上一篇：引理Urysohn 及其应用

下一篇： Urysohn 可度量化定理

本文对您是否有用？有用 (0) 无用 (0)