Tychonoff 定理

形式陈述 ​

设 $I$ 是任意指标集，$\{X_i{\}}_{i\in I}$ 是一族紧空间公理库紧空间Compact space每个开覆盖都有有限子覆盖的空间。。则笛卡尔积

$$X=\prod _{i\in I}{X}_i$$

在积拓扑公理库积拓扑Product topology由有限坐标限制的基本开集生成的笛卡尔积拓扑。下紧。若某个因子为空，则 $X=\varnothing$，结论平凡；以下证明骨架可假设每个因子非空。在 ZFC 中可同时选择坐标点，且可使用超滤子引理或 Alexander 子基定理。

用超滤子刻画紧性。取 $X$ 上任意超滤子公理库超滤子Ultrafilter集合的幂集上满足向上封闭、有限交封闭并对每个子集作二择一判定的极大滤子。 $\mathcal{U}$。每个投影

$${\pi }_i:X\to X_i$$

把 $\mathcal{U}$ 推成 $X_i$ 上的超滤子 $({\pi }_i{)}_{\ast }\mathcal{U}$。因 $X_i$ 紧，该超滤子至少收敛到某点 $x_i\in X_i$。选择每个坐标的极限，得到 $x=(x_i{)}_{i\in I}\in X$。

若

$$W=\bigcap _{k=1}^m{\pi }_{i_k}^{-1}(U_{i_k})$$

是 $x$ 的基本邻域，每个 $U_{i_k}$ 属于对应推前超滤子，所以每个柱集 ${\pi }_{i_k}^{-1}(U_{i_k})$ 属于 $\mathcal{U}$；超滤子对有限交封闭，故 $W\in \mathcal{U}$。于是 $\mathcal{U}\to x$，每个超滤子都有聚限点，$X$ 紧。

在 ZF 中，“任意紧空间族的积紧”这一完整版本与选择公理公理库选择公理Axiom of choice · AC任意非空集合族都存在一个同时从每个成员中选取元素的选择函数。等价。限制到紧 Hausdorff 空间时，所需选择强度可降到 Boolean prime ideal theorem／ultrafilter lemma，通常严格弱于完整 AC。陈述逻辑强度时必须说明使用的是哪个版本。

直觉 ​

积拓扑的基本邻域只限制有限多个坐标。每个坐标中的紧性分别给出候选极限，而任何一次邻域检验只需同时满足有限多个坐标条件；这正与滤子的有限交封闭相匹配。若允许一个基本开集同时限制无限多个坐标，这个有限协调机制便消失。

无限乘积的难点不是逐个因子本身，而是把无限多个局部选择组织成一个全局点。选择公理出现在这里并非历史注脚，而是定理一般形式的逻辑成本。

例子与边界 ​

对任意指标集 $I$，

$$[0,1{]}^I$$

在逐点收敛对应的积拓扑下紧。更一般地，有限离散空间 $\{0,1\}$ 的任意幂 $\{0,1{\}}^I$ 紧；当 $I=\mathbb{N}$ 时，它给出 Cantor 空间的标准乘积模型。

拓扑必须是积拓扑。取可数乘积 $\{0,1{\}}^{\mathbb{N}}$，若每个因子取离散拓扑，则 box 拓扑允许同时指定每个坐标，因而整个乘积成为无限离散空间，不紧。相同集合在积拓扑下却紧。

各因子紧也不能删除。若某个投影因子 $X_j$ 不紧且其他因子非空，那么乘积若紧，其连续像 ${\pi }_j(X)=X_j$ 应紧，矛盾。无限乘积更不能用有限乘积紧性的数学归纳法证明，因为没有“最后一个因子”。

推论与应用 ​

Tychonoff 定理支撑函数空间中的逐点收敛紧性、概率测度的乘积构造和泛函分析中的弱拓扑论证。它把每个坐标的有限可控性提升为无限维全局紧性，但所得拓扑通常比一致收敛或范数拓扑弱。

定理也提供检验选择公理强度的标准接口。使用时应区分：有限积不需要完整 AC；全体紧空间的任意积给出完整 Tychonoff；紧 Hausdorff 版本对应较弱的超滤子原则。把这些版本全部笼统写成“等价于 AC”会丢失真实逻辑边界。

参考资料

• John L. Kelley, General Topology, Springer, 1955, Ch. 5, products and compactness.
• James R. Munkres, Topology, 2nd ed., Prentice Hall, 2000, §37, the Tychonoff theorem.
• Horst Herrlich, Axiom of Choice, Springer, 2006, Chs. 4–6, choice principles and compact products.