**证明:**令 为任意开放集;我们要证明 是开放的。现在, 上拓扑的基底 由 以下给出
- .
由于交集与原像可交换, 对 是开放的。但是 中的所有开放集都是 中元素的并集,并且原像与并集可交换,所以 是连续的。
命题(拓扑空间的范畴):
所有拓扑空间的集合,以及它们之间的连续函数作为态射,构成一个 范畴。
证明:事实上,连续函数的复合仍然是连续的,而且恒等映射(它在与其他任何恒等映射复合后都是唯一的)是定义良好的。
证明: 首先假设所有函数 是连续的,并且令 是开放的,这样我们就可以写成
- ,
由于我们看到这样定义的集合 构成 初始拓扑的基。然后 在 中是开集,因为取逆像与取并集和交集是可交换的。此外,观察到所有函数 都是连续的,因此函数 在 连续的情况下也是连续的。
证明:令另一个在该图上方的锥给出,它包含 作为点,但没有态射,假设该锥的对象称为 ,该锥的箭头称为 ,使得 是拓扑空间,而 是连续函数。为了简化符号,令 ,并定义
- .
请注意, 是唯一一个具有以下性质的映射:,因为投影只是通过取 项来实现的。此外,请注意, 是连续的,因为 是连续的, 具有 的初始拓扑,并且我们通过初始拓扑空间的函数连续性的特征 推出结论。因此, 是一个乘积。
连续性是一个局部性质,因为它可以用函数可能在每个点处具有的性质来表征。
证明: 首先假设 是连续的,并设 。设 是 的一个开邻域,则由连续性 是 的一个开邻域,根据原像的定义, 。 现在假设 在每个点 处都是连续的,设 为任意开集。 我们需要证明 是开的。 事实上,设 为任意点,使得 。 由在 处的连续性,我们发现,对于 的所有邻域 的集合 ,满足 是非空的。(注意:这里我们增加了一个步骤,为每个 选择了一个典型的邻域,以避免选择公理。) 定义
- ,
它是一个关于 的开邻域,并具有性质 ,也就是说 。然后我们得到
- ,即 ,
它作为开集的并集是开的。
证明: 连续当且仅当对于所有开子集 ,集合 在 中是开的。 的开子集与 的闭子集通过映射 一一对应,对于 也是如此。 现在注意到 ,因此当且仅当前者是开的时,后者是闭的。 特别地,只要 总是开的,后者总是闭的;如果后者总是闭的,那么 总是开的。
证明: 我们证明 对所有闭集 都是闭集,从而根据 闭集的原像刻画连续函数 来证明连续性。实际上,设 是闭集。注意
- ,
也就是说, 是两个闭集的并,因此它本身也是闭集。
证明: 设 为开集。则 在 中是开集,因此 在 的子空间拓扑中是开集。
证明: 是连续的,因为 连续函数的限制是连续的。进一步,,它同样是连续的,因为它是连续映射的限制。因此, 是一个同胚。
证明: 令 。根据等度连续性的定义,只要 是 的邻域,我们就可以找到 的邻域 和 的邻域 ,使得只要 对任意 成立,则 。但由于 ,我们有 ,因此 且 在 处连续。
当 是一个一致空间时,等度连续性的定义会简化,并且在这种情况下,等度连续子集与 中的紧致子集相关。这将在关于一致结构的章节中看到。
换句话说,一个函数 是一个局部同胚当且仅当对于所有 ,都存在 的一个开邻域 以及 的一个开邻域 ,使得 是从 到 的同胚。
命题(局部同胚是开映射):
设 是一个局部同胚。则 是一个开映射。
证明: 实际上,令 是开的,并令 是任意的。选择任意的 。由于 是局部同胚,我们发现 是开的,并且 ,使得 是开的。此外,。由于 是任意的, 是开的。
证明: 连续当且仅当对于所有开集 ,集合 在 中是开集。这反过来等价于 在所有拓扑 () 中是开集,对于任意开集 。而这个条件说明 关于所有拓扑 () 在 上是连续的。
证明: 是连续的,当且仅当对于所有开集 而言,集合 是开集。如果是这种情况,那么所有集合 都是开集,其中 ( 是任意的),因此 关于所有拓扑 是连续的。现在假设 关于所有这些拓扑是连续的。注意到,由于 关于 的最小上界拓扑是由 生成的,后者构成了最小上界拓扑的子基。因此,我们可以应用 关于子基的连续性表征。