main separation axioms -- table

the **main separation axioms**

number | name | statement | reformulation |
---|---|---|---|

$T_0$ | Kolmogorov | given two distinct points, at least one of them has an open neighbourhood not containing the other point | every irreducible closed subset is the closure of at most one point |

$T_1$ | given two distinct points, both have an open neighbourhood not containing the other point | all points are closed | |

$T_2$ | Hausdorff | given two distinct points, they have disjoint open neighbourhoods | the diagonal is a closed map |

$T_{\gt 2}$ | $T_1$ and… | all points are closed and… | |

$T_3$ | regular Hausdorff | …given a point and a closed subset not containing it, they have disjoint open neighbourhoods | …every neighbourhood of a point contains the closure of an open neighbourhood |

$T_4$ | normal Hausdorff | …given two disjoint closed subsets, they have disjoint open neighbourhoods | …every neighbourhood of a closed set also contains the closure of an open neighbourhood … every pair of disjoint closed subsets is separated by an Urysohn function |

Last revised on September 25, 2019 at 17:24:10. See the history of this page for a list of all contributions to it.