为了回答什么样的拓扑空间的拓扑可以由它的某一度量诱导出来这一问题，提出了分离性公理，其中概念较为繁多，在此记录，以便日后查阅。
空间：
是一个拓扑空间，中任两个不同的点中必有一个点有一个开邻域不包含另一个点。
空间：对任两个点，每一个点都有不包含另一个点的开邻域。
)
空间：对任两个点，各自有一个开邻域，使两开邻域互不相交。
正则空间：中任一点和不包含这个点的闭集，各有一个开邻域，它们互不相交。
正规空间：任两个互不相交闭集各有一个开邻域，使得这两个邻域互不相交。
空间：正则的空间
空间：正规的
空间
引理：是一个拓扑空间，![[a,b]](https://math.jianshu.com/math?formula=%5Ba%2Cb%5D)
是一个闭区间，则是一个正规空间当且仅当对于中的任两个无交的闭集
和
，存在一个连续映射![f:X\rightarrow [a,b]](https://math.jianshu.com/math?formula=f%3AX%5Crightarrow%20%5Ba%2Cb%5D)
使得当
时%3Da)
和当
时%3Db)
扩张定理：设是一个拓扑空间，是一个闭区间，则是一个正规空间当且仅当对于中的任何一个闭集和任何一个连续映射
![f:A\rightarrow[a,b]](https://math.jianshu.com/math?formula=f%3AA%5Crightarrow%5Ba%2Cb%5D)
有一个连续映射
![g:X\rightarrow[a,b]](https://math.jianshu.com/math?formula=g%3AX%5Crightarrow%5Ba%2Cb%5D)
是
的扩张
