iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: http://ncatlab.org/nlab/show/diff/Hausdorff implies sober
Hausdorff implies sober (changes) in nLab

nLab Hausdorff implies sober (changes)

Showing changes from revision #9 to #10: Added | Removed | Changed

Context

Topology

topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Contents

Statement

Proposition

Assuming excluded middle, then:

Every Hausdorff topological space is a sober topological space.

More specifically, in a Hausdorff topological space the irreducible closed subspaces are precisely the singleton subspaces.

Proof

The second statement clearly implies the first. To see the second statement, suppose that FF is an irreducible closed subspace which contained two distinct points xyx \neq y. Then by the Hausdorff property there are disjoint neighbourhoods U x,U yU_x, U_y, and hence it would follow that the relative complements F \U x F \backslash \setminus U_x and F \U y F \backslash \setminus U_y were distinct proper closed subsets of FF with

F=(F \U x)(F \U y) F = (F \backslash \setminus U_x) \cup (F \backslash \setminus U_y)

in contradiction to the assumption that FF is irreducible.

This proves by contradiction that every irreducible closed subset is a singleton. Conversely, generally the topological closure of every singleton is irreducible closed.

Strictness of implication

There are many examples of sober spaces which are not Hausdorff. For example, the spectrum of a ring which is not zero-dimensional is sober but not Hausdorff.

Any Hausdorff space is not only sober, but also T 1T_1. However, even the converse to this fails. For example, let XX be the real line with a new point pp added, topologized such that any open set in the real line is open, and any cofinite set containing pp is open. Then XX is sober and T 1T_1 but not Hausdorff.

References

Last revised on September 20, 2018 at 19:51:10. See the history of this page for a list of all contributions to it.