Abstract
A filterF on a convergence space is called irreducible, iff the set convF of convergence points ofF belongs toF. A space is sober, iff for every irreducible filterF there is a unique point x with convF=conv x. The categorySob-Conv of sober convergence spaces is a full productive, but not a reflective subcategory of the categoryConv of convergence spaces and continuous maps. For a topological space (X,t) the following are equivalent: (i) for every irreducible filterF on (X,t) there is a point x withF=x (ii) (X,t) is both sober and TD (iii) every subspace of (X,t) is sober (iv) every topological space finer than (X,t) is sober (v) whenever (Y,s) is a To-space whose latticeO(Y,s) of open sets is isomorphic toO(x,t), then (Y,s)≈(X,t). The categorySob-T 1ß of sober T1-spaces is the greatest epi-reflective subcategory ofTop consisting of sober spaces, moreoverSob-T 1ß is a “dis-connectedness” in the sense of Preuß- Arhangelskii-Wiegandt (generated by all irreducible spaces), henceSob-T 1 is (extremal epi)-reflective inTop. It is strictly between T1 and T2 and different from various sorts of weak Hausdorffness discussed in the literature.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
ARHANGEL'SKII,A.V. and R.WIEGANDT: Connectednesses and disconnectednesses in topology. Gen.Topol.Appl.5, 9–33 (1975)
ARTIN,M., A.GROTHENDIECK, and J.VERDIER: Théorie des topos et cohomologie étale des schémas. Lect. Notes in Math.269, Berlin-Heidelberg-New York: Springer 1972
AULL,C.E.: Separation of bicompact sets. Math. Ann.153, 197–202 (1965)
—— and W.J.Thron: Separation axioms between T0 and T1. Indag.Math.24, 26–37 (1963).
BARON,S.: Reflectors as compositions of epi-reflectors. Trans.A.M.S.136, 499–508 (1969).
BLANKSMA,T.: Lattice characterizations and compactifications. Doctoral dissertation: Rijksuniversiteit te Utrecht 1968; MR37, 5851.
BOURBAKI,N.: General Topology. Engl.Transl. Paris: Hermann 1966.
BÜCHI,J.R.: Representation of complete lattices by sets. Portugaliae Math.11, 151–167 (1952); MR14,940.
CULLEN,H.F.: Unique sequential limits. Boll.Un.Mat. Ital.20, 123–124 (1965).
DOWKER,C.H. and D.PAPERT: Quotient frames and subspaces. Proc. London Math.Soc. (3)16, 275–296 (1966)
FUNAYAMA,N.: Notes on lattice theory and its application I. The lattice of all closed subsets of a T or T0 -space. Bulletin of Yamagata University1, 91–100 (1950); MR17, 286.
HERRLICH,H.: Topologische Reflexionen und Coreflexionen. Lect.Notes in Math.78, Berlin-Heidelberg-New York: Springer 1968.
--: On the concept of reflections in general topology. In: Contributions to Extension Theory of Topological Structures. Proc. of the Symp.held in Berlin 1967 ed. Flachsmeyer, Poppe, Terpe, pp.105–114. VEB Deutscher Verl. d. Wissenschaften Berlin 1969.
HOFFMANN,R.-E.: On weak Hausdorff spaces and quasicompactness (1975), unpublished.
——: Bemerkungen über TD-Räume. Manuscripta Math.12, 195–196 (1974).
——: Charakterisierung nüchterner Räume. Manuscripta math.15, 185–191 (1975).
--: (E,M)-universally topological functors. Habilitationsschrift Düsseldorf 1974.
——: Topological functors admitting generalized Cauchy-completions. In: Categorical Topology. Proc. of the Conf. held at Mannheim 1975 ed.Binz and Herrlich, pp.286–344. Lect.Notes in Math.540, Berlin-Heidelberg-New York: Springer 1976.
HOFFMANN,K.H. and K.Keimel: A general character theory for partially ordered sets and lattices. Mem.A.M.S.122 (1972).
HONG,S.S.: Extensive subcategories of the category of T0 -spaces. Canad.J.Math.27, 311–318 (1975).
ISBELL,J.R.: Atomless parts of spaces. Math.Scandinav.31, 5–32 (1972)
KENT,D.C.: On convergence groups and convergence uniformities. Fund.Math.60, 213–222 (1967)
KOWALSKY,H.J.: Verbandstheoretische Kennzeichnung topologischer Räume. Math.Nachr.21, 297–318 (1960)
LAWSON,J. and B.MADISON: Quotients of k-semigroups. Semigroup Forum9, 1–8 (1974).
--: Comparisons of notions of weak Hausdorffness. Preprint Louisiana State University, Baton Rouge U.S.A.
LEVINE,N.:When are compact and closed equivalent? Amer.Math.Monthly72, 41–44 (1965).
McCORD,M.C.: Classifying spaces and infinite symmetric products. Trans.A.M.S.146, 273–298 (1969).
MUKHERJI,T.K.: On weak Hausdorff spaces. Bull. Calcutta Math.Soc.58, 153–157 (1966).
MURDESHWAR,M.G. and S.A.NAIMPALLY: Semi-Hausdorff spaces. Canad.Math.Bull.9, 353–356 (1966).
NEL,L.D.: Latticesof lower semi-continuous functions and associated topological spaces. Pac.J.Math.40, 667–673 (1972)
——and R.G.WILSON: Epireflections in the category of T0 -spaces. Fund.Math.75, 69–74 (1972).
NOIRI,T.: Remarks on weak Hausdorff spaces. Bull. Calcutta Math.Soc.66, 33–37 (1974).
PAPERT,S.: Which distributive lattices are lattices of closed sets? Proc.Cambridge Phil.Soc.55, 172–176 (1959).
PREUSS, G.: Über denE-Zusammenhang und seine Lokalisation. Diss.FU Berlin 1967.
——:E-zusammenhängende Räume. Manuscripta Math.3, 331–342 (1970).
——: Trennung und Zusammenhang. Monatsh. Math.74, 70–87 (1970).
——: Eine Galois-Korrespondenz in der Topologie. ibid.75, 447–452 (1971)
ROBINSON,S.M. and Y.C.WU: A note on separation axioms weaker than T1. J.Aust.Math.Soc.9, 233–236 (1969).
SKULA,L.: On a reflective subcategory of the category of all topological spaces. Trans.A.M.S.142, 37–41 (1969).
THRON,W.J.: Lattice-equivalence of topological spaces. Duke Math.J.29, 671–679 (1962).
WILANSKY,A.: Between T1 and T2. Amer.Math.Monthly74 261–266 (1967).
WILANSKY, A.: Life without T2. Amer.Math.Monthly77, 157–161 (1970). Correction, ibid.77, 728 (1970).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hoffmann, R.E. Irreducible filters and sober spaces. Manuscripta Math 22, 365–380 (1977). https://doi.org/10.1007/BF01168223
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01168223