Revision #164 → #1286 · back to history
addedSeparated by neighbourhoodsaf75d4b410cf
addedHausdorff spacedf76ad1dc731
addedPreregular space93249054043a
addedHausdorff iff preregular and Kolmogorovc95a26210747
addedPreregular iff Kolmogorov quotient is Hausdorffc4ed03f24899
addedCharacterizations of Hausdorff spacescc83446e074d
addedReal numbers are Hausdorff331f13110a31
addedMetric spaces are Hausdorffe0423f5b1bc0
addedT1 but not Hausdorff: cofinite/cocountablebfe042699a10
addedPseudometric spaces are preregular not Hausdorff1a89b4d03f98
addedNon-preregular spaces in algebra/geometry034692f3e334
addedUS spaces0aa05f9343d3
addedUS equals weakly Hausdorff for sequential spaces138857c7a900
addedSubspaces and products of Hausdorff are Hausdorff5792025271d4
addedEvery space is a quotient of a Hausdorff space26908ac31273
addedHausdorff spaces are T17eb63242ffdd
addedPreregular spaces are R0efffbe5cebc6
addedEvery Hausdorff space is sober0c2b2302f55f
addedCompact sets are closed in Hausdorff spaces2d8d6dc1a7bd
addedDisjoint compact sets separated by neighbourhoodse9e889ef8905
addedLocally compact preregular implies completely regular87ce55007ad9
addedCompact preregular spaces are normal4b609dd9c41d
addedLocally compact Hausdorff is Tychonofff3d3a98be3ac
addedCompact Hausdorff is normal Hausdorffacd3df0577f0
addedGraph of continuous map into Hausdorff is closedf544ac7c64e4
addedKernel is closed when codomain Hausdorff2abad863b70d
addedOpen surjection with closed kernel implies Hausdorff7feafd7d87d6
addedOpen quotient: Hausdorff iff kernel closed113759e40833
addedEqualizer into Hausdorff space is closedc68cd4b878c0
addedMaps to Hausdorff determined on dense subsets2c13f2f4a3fb
addedClosed surjection with compact fibers preserves Hausdorff258f51863140
addedQuotient of compact Hausdorff equivalences7436c7d4c5b0
addedRegular and Hausdorff spaces are preregularae71017c0583
addedLocally compact Hausdorff is regularc123b5d6c99d
addedCauchy spaces are always preregularb20d177a1474
addedComplete iff every Cauchy net has a limit392d376b6c72
addedHausdorff iff Cauchy nets have at most one limitbe776cb66c32
addedContinuous functions form a commutative C*-algebraf46f98ad572c
addedBanach–Stone theoreme85cb7e9279d