正规空间 编辑
在拓扑学和相关的数学分支中，正规空间、T4 空间、T5 空间和 T6 空间是特别优秀的一类拓扑空间。这些条件是分离公理的个例。
1
相关
仿紧空间，数学中，仿紧空间是指一类拓扑空间，他们的每个开覆盖都有局部有限的加细。这类空间的概念于1944年由Dieudonné引入 。每个紧致空间都是仿紧的。每个仿紧的豪斯多夫空间都是正规空间。一个豪斯多夫空间是仿紧的当且仅当其任意开覆盖都可以单位分解。仿紧空间有时也被要求为豪斯多夫的。
在拓扑学中，林德勒夫引理所阐述的是：满足第二可数空间和T3公理的空间也满足正规空间。
仿紧空间，数学中，仿紧空间是指一类拓扑空间，他们的每个开覆盖都有局部有限的加细。这类空间的概念于1944年由Dieudonné引入 。每个紧致空间都是仿紧的。每个仿紧的豪斯多夫空间都是正规空间。一个豪斯多夫空间是仿紧的当且仅当其任意开覆盖都可以单位分解。仿紧空间有时也被要求为豪斯多夫的。
在拓扑学中，乌雷松引理，有时称为“拓扑学中的第一非平凡事实”，通常用于构造正规空间上不同性质的连续函数。这个定理有广泛的应用，因为所有的度量空间和紧空间豪斯多夫空间都是正规的。