Abstract
For a topological space X (a), (b), (c), (d) are equivalent: (a) X is an essentially complete To-space. (b) (i) X is sober; (ii) X is an upper semi-lattice with o with regard to its induced partial order such that the binary sup: X × X → X is continuous. (c) (i) X is a To-space; (ii) X is a complete lattice in its induced partial order such that for every set I the I-indexed sup: XI → X is continuous (d) (i) For every ordinary proper filter F on X there is a unique x ∈ X with X=conv\(\dot x^ - _1 \). —The essential hull λ X of a To-space X can be constructed as a space
of “convergence sets”. —Suitably topologizing a poset (X, ≤) one obtains (i) Frink's ideal completion, (ii) MacNeille's completion as the lattice underlying
.
Similar content being viewed by others
References
ALEXANDROV, P. S.: Diskrete Räume. Mat. Sb.2, 501–519 (1937)
ANDIMA, Susan J. and W. J. THRON: Order induced topological properties. Pacific J. Math.75, 297–318 (1978)
ARTIN, M., A. GROTHENDIECK, and J. VERDIER: Théorie des topos et cohomologie étale des schémas. Lect. Notes in Math.269 (rev. ed. of SGA 4, 1962/63), Springer: Berlin-Heidelberg-New York 1972
AULL, C. E. and W. J. THRON: Separation axioms between T0 and T1. Indag. Math.24, 26–37 (1963)
BANASCHEWSKI, B.: Extensions of topological spaces. Can. Bull. Math.7, 1–22 (1964)
: Essential extensions of T0-spaces. General Topology Appl.7, 233–246 (1977)
and G. BRUNS: Categorical characterizations of the MacNeille completion. Arch. Math. (Basel)18, 369–377 (1967)
BIRKHOFF, G.: Lattice Theory. 3rd edn. Providence: 1967
and O. FRINK: Representations of lattices by sets. Trans. Amer. Math. Soc.64, 299–316 (1948)
BOURBAKI, N.: Algèbre commutative (chap. 2: Localisation) Hermann: Paris 1961
BRUNS, G.: Darstellungen und Erweiterungen geordneter Mengen. I. J. reine angew. Math.209, 167–200 (1962); II, ibidem BRUNS, G.: Darstellungen und Erweiterungen geordneter Mengen. I. J. reine angew. Math.210, 1–23 (1962). (Habilitationsschrift Mainz 1960)
and J. SCHMIDT: Zur Äquivalenz von Moore-Smith-Folgen und Filtern. Math. Nachr.13, 169–186 (1955)
DAY, A.: Filter monads, continuous lattices and closure systems. Canad. J. Math.27 (1975), 50–59
DAY, B. J. and G. M. KELLY: On topological quotient maps preserved by pullbacks or products. Proc. Cambridge Philos. Soc.67, 553–558 (1970)
FELL, J. M. G.: A Hausdorff topology for the closed subsets of a locally compact non-Hausdorff space. Proc. Amer. Math. Soc.13, 472–476 (1962)
FLACHSMEYER, J.: Verschiedene Topologisierungen im Raum der abgeschlossenen Mengen. Math. Nachr.26, 321–337 (1964)
FRINK, O.: Topology in lattices. Trans. Amer. Math. Soc.51, 569–582 (1942)
: Ideals in partially ordered sets. Amer. Math. Monthly61, 223–234 (1954)
GRIMEISEN, G.: Topologische Räume, in denen alle Filter konvergieren. Math. Ann.173, 241–252 (1967)
HERRLICH, H.: Topologische Reflexionen und Coreflexionen. Lect. Notes in Math.78, Springer: Berlin-Heidelberg-New York 1968
HOCHSTER, M.: Prime ideal structure in commutative rings. Trans. Amer. Math. Soc.142, 43–60 (1969)
HOFFMANN, R.-E.: Die kategorielle Auffassung der Initial- und Finltopologie. Dissertation RU Bochum 1972
HOFFMANN, R.-E.: (E,M)-universally topological functors. Habilitationsschrift Universität Düsseldorf 1974
: Irreducible, filters and sober spaces. Manuscripta Math.22, 365–380 (1977)
HOFFMANN, R.-E.: Sobrification of partially ordered sets. Semigroup Forum (to appear)
HOFFMANN, R.-E.: On the sobrification remainderSX-X. Pacific J. Math. (submitted)
HOFMANN, K. H. and J. D. LAWSON: The spectral theory of distributive continuous lattices. Preprint
ISBELL, J. R.: Meet-continuous lattices. Symposia Mathematica16 (Convegno sulla Topologica Insiemsistica e generale INDAM, Roma, Marzo 1973), pp. 41–54. Academic Press: London 1974
: Function spaces and adjoints. Math. Scand.36, 317–339 (1975)
KOWALSKY, H. J.: Verbandstheoretische Kennzeichnung topologischer Räume. Math. Nachr.21, 297–318 (1960)
LARSON, R. E.: Minimal T0-spaces and minimal TD-spaces. Pacific J. Math.31, 451–458 (1969)
MacNEILLE, H.: Partially ordered sets. Trans. Amer. Math. Soc.42, 416–460 (1937)
MICHAEL, E.: Topologies on spaces of subsets. Trans. Amer. Math. Soc.71, 152–182 (1951)
PAPERT, S.: Which distributive lattices are lattices of closed sets? Proc. Cambridge Phil. Soc.55, 172–176 (1959)
ROSICKY, J.: On a characterization of the lattice of M-ideals of an ordered set. Arch. Math. (Brno)8, 137–142 (1972/3)
SCHUBERT, H.: Categories. Springer: Berlin-Heidelberg-New York 1972
SCOTT, D.: Continuous lattices. in: Toposes, Algebraic Geometry and Logic, pp. 97–136. Lect. Notes in Math.274, Springer: Berlin-Heidelberg-New York 1972
SCS (=Seminar on Continuity in (Semi-) Lattices): A compendium of continuous lattices, part I: The lattice-theoretical and topological foundations of continuous lattices. Prepared by K.H. Hofamnn (chap. I–III), J. Lawson (chap. IV), G. Gierz (chap. V), K. Keimel. Preliminary version (distributed at the workshop II “continuous lattices” at TH Darmstadt, July 1978)
WYLER, O.: Dedekind complete posets and Scott topologies. Memo, April 18, 1977 (distributed to members of SCS)
WYLER, O.: a) Compact complete lattices. b) Algebraic theories of continuous lattices (second version of (a)). c) On continuous lattices of topological algebras
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hoffmann, RE. Essentially complete TO-spaces. Manuscripta Math 27, 401–432 (1979). https://doi.org/10.1007/BF01507294
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01507294