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