盒拓扑

在拓扑学中，拓扑空间的笛卡尔积上有數種不同可行的拓扑。其中一个較自然的選擇是盒拓扑（Template:Lang-en），其中基由组件空间中开集的笛卡尔积给出。 另一种選擇是乘积拓扑，其中基也由组件空间中开集的笛卡尔积给出，但其中只有有限個開集嚴格小於整个组件空间。

虽然盒拓扑的定義比乘积拓扑更直观，但它满足的性質较少。特别地，如果所有组件空间都是紧凑的，则它们的笛卡尔积上的盒拓扑不一定是紧凑的，而它们的笛卡尔积上的乘积拓扑始终是紧凑的。一般而言，盒拓扑比乘积拓扑更精细，尽管在有限乘积的情况下（或当除了有限多个因子之外的所有因子都是平凡的时候），两者是一致的。

定义

對於$X$使得

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

或拓扑空间的（可能是无限的）笛卡尔积$X_i$ ，索引为$i\in I$ ，盒子拓扑$X$由基

$ℬ=\{\prod _{i\in I}{U}_i\mid U_i\text{ open in }{X}_i\}$

生成。盒子这个名字来自于${ℝ}^n$的情况，因為其拓撲基中的開集看起来像盒子。乘積公間$\prod _{i\in I}{X}_i$的盒拓扑的有时用$\underset{i\in I}{◻}{X}_i$表示。

性質

考慮${ℝ}^{\omega }$上的盒拓扑：

• 盒拓扑是完全规则的
• 盒子拓扑既不紧凑也不连通
• 盒子拓扑不是第一可数的（因此不是可度量的）
• 盒子拓扑不可分离
• 如果连续统假设成立，则盒子拓扑是仿紧的（因此是正则的和完全正则的）

示例 -- 連續性

對可數個$ℝ$的乘積${ℝ}^{\omega }$（例如由所有實數数列組成的集合），考慮$ℝ$的常見拓撲以及${ℝ}^{\omega }$的盒拓撲。定義

$\{\begin{array}{c}f:ℝ\to {ℝ}^{\omega }\\ x\mapsto (x,x,x,\dots )\end{array}$

所有因子函數都是恆等函數，因而連續，但下面會證明$f$並不連續。

考慮盒拓撲中的開集

$U=\prod _{n=1}^{\mathrm{\infty }}(-\frac{1}{n},\frac{1}{n})$，

如果$f$連續，由於

$f(0)=(0,0,0,\dots )\in U,$

由連續性的定義，存在 $\epsilon >0$ 使得 $(-\epsilon ,\epsilon )\subset f^{-1}(U).$。但這意味著

$f\left(\frac{\epsilon }{2}\right)=(\frac{\epsilon }{2},\frac{\epsilon }{2},\frac{\epsilon }{2},\dots )\in U,$

然而對足夠大的正整數$n>\frac{2}{ϵ}$，有$\frac{ϵ}{2}>\frac{1}{n}$。所有即使所有因子函數都連續，$f$不連續。

示例 -- 緊湊性

同樣地考慮可數乘積空閶 $X=\prod _{i\in \mathbb{N}}{X}_i$，其中每個$X_i=\{0,1\}$都為離散拓撲。則$X$上的盒拓撲也是離散的。注意離散拓撲緊湊當且僅當該拓撲空間有限，所以即使所有因子空間都緊湊，$X$不緊湊。

$X$也不是序列緊空間：考慮$X$中元素（可以視為序列）組成的序列$\{x_n{\}}_{m=1}^{\mathrm{\infty }}$

$(x_n{)}_n=\{\begin{array}{cc}0& m<n\\ 1& m\ge n\end{array}$

由於序列中所有的元素都不同，該序列沒有極限點，因此$X$不是序列緊的。

示例 -- 盒拓撲中的收斂

理解一個拓撲空間最好的方法之一是理解序列如何在該拓撲空間中收斂。 一般地，空間$X$關於自身及指標集 $S$的笛卡爾積是由$S$到$X$的函數空間，表示為$\prod _{s\in S}X=X^S$。積空間上的收斂等價於逐點收斂：函數序列$\{f_n{\}}_{n=1}^{\mathrm{\infty }}$收斂當且僅當對所有$s\in S$，每個函數在$s$上的值組成的序列$\{f_n(s){\}}_{n=1}^{\mathrm{\infty }}$收斂。

因為盒拓撲比積拓撲更加精細，盒拓撲的收斂條件會更為嚴格。假設$X$是郝斯多夫空間，$X^S$上的函數序列$(f_n{)}_n$在盒拓撲中收斂於函數$f\in X^S$當且僅當它逐點收斂至$f$，同時存在有限子集$S_0\subset S$及$N$使得對所有$n>N$，$X$中的序列$(f_n(s){)}_n$在集合$s\in S\setminus S_0$上是常數函數。

與乘積拓撲之異同

乘积拓扑中基中的開集的定义与上述盒拓撲几乎相同，除了一个限制：除了有限个U _i之外，其他分量開集都等于整個分量空间X _i 。換言之，積空間中的拓撲基定義為

$ℬ=\{\prod _{i\in I}{U}_i\mid U_i\text{ open in }{X}_i,U_i⊊X_i\text{ only for finitely many }i\in I\}$。

乘积拓扑满足關於分量空间的映射$f_i:Y\to X_i$的一个非常理想的性质：由分量函数f _i定义的乘积映射$f:Y\to X$连续当且仅当所有的$f_i$都连续。然而這在盒拓扑中不總是成立。這使盒拓扑非常适用于構造反例—许多特性，例如紧凑性、连通性、可度量性等。即使所有因子空间都具有这些特性，在盒拓扑中通常不会保留。

參見

• 積拓撲

参考文獻

• Template:Cite book

• Template:Cite book

外部链接

• Template:Planetmath reference