初拓扑

在一般拓扑学与数学的相关领域中，给定集合 $X$ 与 $X$ 上的一族函数，其初拓扑（the initial topology）是使得这一族函数连续的最粗糙拓扑。

子空間拓撲与積拓撲都是初拓扑的特例。事实上，初拓扑可以看作是这两种结构的推广。

与初拓扑对偶的结构稱為终拓扑。

定义

给定集合 $X$ ，一族拓扑空间 $(Y_{i})_{(}i\in I)$ ，与一族映射

$f_{i}:X\rightarrow Y_{i}$

$X$ 上的初拓扑 $\tau$ ，是使得

$f_{i}:(X,\tau )\rightarrow Y_{i}$

均為连续的最粗糙拓扑。

更精確地说，初拓扑可以描述为由 $f_{i}^{-1}(U)$ 为子基生成的拓扑，这里的 $U$ 是 $Y_{i}$ 中的开集。集合 $f_{i}^{-1}(U)$ 通常也被叫做「圓柱集合」，如果指标集 $I$ 只包含一个元素，那么 $(X,\tau )$ 的全体开集都是圓柱集合。

实例

子空间拓扑是在子空間上，关于包含映射的初拓扑。
積拓撲是关于一族投影映射的初拓扑。
局部凸拓撲向量空間的弱拓扑是关于映射至其对偶空间的连续线性算子的初拓扑。

性质

特征性质

给出任意拓扑空间 $Z$ ，X上的初拓扑依照上面所给的定义。则有以下性质成立：
从 $Z$ 到 $X$ 的映射 $g$ 是连续的，当且仅当 $f_{i}\circ g$ 是连续的。

从闭集分离点

称 $f_{i}:X\rightarrow Y_{i}$ 从闭集分离点，如果 $X$ 中任意闭集 $A$ ，与任意不属于 $A$ 的点 $x$ ， $\exists i\in I$ ，使得
$f_{i}(x)\notin \operatorname {cl} (f_{i}(A))$
这里的cl是闭包算子。

关于初拓扑有如下定理：
一族连续映射从闭集分离点，当且仅当the cylinder sets构成集合 $X$ 的一个基。

从这个定理可以得到，如果 $X$ 上有一族连续映射从闭集分离点，那么关于这族映射就存在一个初拓扑。反之是不成立的，因为初拓扑是由 $f^{-1}(U)$ 为子基生成的拓扑，在这个定理中要求the cylinder sets是集合 $X$ 的一个基。

参考资料

Willard, Stephen. . Reading, Massachusetts: Addison-Wesley. 1970. ISBN 0-486-43479-6.
PlanetMath上Initial topology的資料。
PlanetMath上Product topology and subspace topology的資料。

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.