查看“︁盒拓扑”︁的源代码

在[[拓扑学]]中，[[拓扑空间]]的[[笛卡儿积|笛卡尔积]]上有數種不同可行的拓扑。其中一个較自然的選擇是'''盒拓扑'''（{{lang-en| box topology}}），其中[[基 (拓撲學)|基]]由组件空间中开集的笛卡尔积给出。 <ref>Willard, 8.2 pp. 52-53.</ref>另一种選擇是[[积空间|乘积拓扑]]，其中基也由组件空间中开集的笛卡尔积给出，但其中只有有限個開集嚴格小於整个组件空间。

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



== 定义 ==
對於<math>X</math>使得

: <math>X := \prod_{i \in I} X_i,</math>

或拓扑空间的（可能是无限的）笛卡尔积<math>X_i</math> ，[[指标集|索引]]为<math>i \in I</math> ，'''盒子拓扑'''<math>X</math>由[[基 (拓撲學)|基]]

: <math>\mathcal{B} = \left\{ \prod_{i \in I} U_i \mid U_i \text{ open in } X_i \right\}</math>

生成。''盒子''这个名字来自于<math>\mathbb{R}^n</math>的情况，因為其拓撲基中的[[開集合|開集]]看起来像盒子。乘積公間<math>\prod_{i \in I} X_i</math>的盒拓扑的有时用<math>\underset{i \in I}{\square} X_i</math>表示。


== 性質 ==
考慮<math>\mathbb{R}^\omega</math>上的盒拓扑： <ref>Steen, Seebach, 109. pp. 128-129.</ref>

* 盒拓扑是[[吉洪诺夫空间|完全规则的]]
* 盒子拓扑既不[[紧空间|紧凑]]也不[[连通空间|连通]]
* 盒子拓扑不是[[第一可數空間|第一可数的]]（因此不是[[度量空间|可度量的]]）
* 盒子拓扑不可[[可分空间|分离]]
* 如果[[连续统假设]]成立，则盒子拓扑是[[仿紧空间|仿紧的]]（因此是正则的和完全正则的）

=== 示例 -- 連續性 ===
對[[可數集|可數]]個<math>\mathbb{R}</math>的乘積<math>\mathbb{R}^\omega</math>（例如由所有實數[[数列]]組成的集合），考慮<math>\mathbb{R}</math>的常見拓撲以及<math>\mathbb{R}^\omega</math>的盒拓撲。定義

:<math>\begin{cases} f : \mathbb{R} \to \mathbb{R}^\omega \\ x \mapsto (x,x,x, \ldots) \end{cases}</math>

所有[[複合函數|因子函數]]都是[[恆等函數]]，因而連續，但下面會證明<math>f</math>並不連續。

考慮盒拓撲中的開集
:<math> U = \prod_{n=1}^{\infty} \left ( -\tfrac{1}{n}, \tfrac{1}{n} \right )</math>，
如果<math>f</math>連續，由於

:<math>f(0) = (0,0,0, \ldots ) \in U,</math>

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

:<math> f\left (\tfrac{\varepsilon}{2} \right ) = \left ( \tfrac{\varepsilon}{2}, \tfrac{\varepsilon}{2}, \tfrac{\varepsilon}{2}, \ldots \right ) \in U,</math>

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

=== 示例 -- 緊湊性 ===
同樣地考慮可數乘積空閶 <math>X = \prod_{i \in \N} X_i</math>，其中每個<math>X_i = \{0,1\}</math>都為[[離散拓撲]]。則<math>X</math>上的盒拓撲也是離散的。注意離散拓撲緊湊當且僅當該拓撲空間有限，所以即使所有因子空間都緊湊，<math>X</math>不緊湊。

<math>X</math>也不是[[序列緊|序列緊空間]]：考慮<math>X</math>中元素（可以視為序列）組成的序列<math>\{x_n\}_{m=1}^\infty</math>

:<math>(x_n)_n=\begin{cases}
  0 & m < n \\
  1 & m \ge n 
\end{cases}</math>

由於序列中所有的元素都不同，該序列沒有[[極限點]]，因此<math>X</math>不是序列緊的。

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

因為盒拓撲比積拓撲更加精細，盒拓撲的收斂條件會更為嚴格。假設<math>X</math>是[[郝斯多夫|郝斯多夫空間]]，<math>X^S</math>上的函數序列<math>(f_n)_n</math>在盒拓撲中收斂於函數<math>f\in X^S</math>當且僅當它逐點收斂至<math>f</math>，同時存在有限子集<math>S_0\subset S</math>及<math>N</math>使得對所有<math>n>N</math>，<math>X</math>中的序列<math>(f_n(s))_n</math>在集合<math>s\in S\setminus S_0</math>上是[[常數函數]]。<ref>{{cite web|last1=Scott|first1=Brian M.|title=Difference between the behavior of a sequence and a function in product and box topology on same set|url=https://math.stackexchange.com/q/448575|website=math.stackexchange.com}}</ref>


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

<math>\mathcal{B} = \left\{ \prod_{i \in I} U_i \mid U_i \text{ open in } X_i, U_i \subsetneq X_i \text{ only for finitely many }i \in I \right\}</math>。

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

== 參見 ==
*[[乘積空間|積拓撲]]

== 註釋 ==
{{Reflist}}

== 参考文獻 ==

*{{cite book | author=[[林恩·斯蒂恩|Steen, Lynn A.]], Seebach, J. Arthur Jr. | title=Conuterexamples in Topology | url=https://archive.org/details/counterexamplesi0000stee | publisher=	Springer-Verlag | year=1970 | isbn=0030794854}}

*{{cite book | author=Willard, Stephen | title=General Topology | url=https://archive.org/details/generaltopology0000will | publisher=Dover Publications | year=2004 | isbn=0-486-43479-6}}

== 外部链接 ==

* {{Planetmath reference|urlname=BoxTopology|title=Box topology}}
[[Category:拓扑空间]]