Sobriety in Terms of Nets |
| |
Authors: | Philipp Sünderhauf |
| |
Affiliation: | (1) Department of Computing, Imperial College, 180 Queen's Gate, London, SW7 2BZ, U.K. |
| |
Abstract: | Sobriety is a subtle notion of completeness for topological spaces: A space is sober if it may be reconstructed from the lattice of its open subsets. The usual criterion to check sobriety involves either irreducible closed subsets or completely prime filters of open sets. This paper provides an alternative possibility, thus trying to make sobriety easier to understand. We define the notion of observative net, which, together with an appropriate convergence notion, characterizes sobriety. As the filter approach does not involve just usual (topological) convergence, this is not an instance of the classical net-filter translation in general topology. |
| |
Keywords: | sober space observative net completely prime filter |
本文献已被 SpringerLink 等数据库收录! |
|