Hostname: page-component-cd9895bd7-gbm5v Total loading time: 0 Render date: 2024-12-25T14:26:35.308Z Has data issue: false hasContentIssue false

Sobrification and bicompletion of totally bounded quasi-uniform spaces

Published online by Cambridge University Press:  24 October 2008

H. P. A. Künzi
Affiliation:
Department of Mathematics, University of Berne, Berne, Switzerland
G. C. L. Brümmer
Affiliation:
Department of Mathematics, University of Cape Town, Rondebosch, South Africa

Abstract

We observe that if is a compatible totally bounded quasi-uniformity on a T0-space (X,), then the bicompletion of (X, ) is a strongly sober, locally quasicompact space. It follows that the b-closure S of (X, ) in is homeomorphic to the sobrification of the space (X, ). We prove that S is equal to if and only if (X, ) is a core-compact space in which every ultrafilter has an irreducible convergence set and is the coarsest quasi-uniformity compatible with . If is the Pervin quasi-uniformity on X, then S is equal to if and only if X is hereditarily quasicompact, or equivalently, is the Pervin quasi-uniformity on .

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1987

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Banaschewski, B.. Coherent frames. Continuous Lattices (Proc. Bremen, 1979). Lecture Notes in Mathematics 871 (Springer, 1981), 111.Google Scholar
[2]Bourbaki, N.. Algèbre Commutative (Hermann, 1961).Google Scholar
[3]Brümmer, G. C. L.. Initial quasi-uniformities. Indag. Math. 31, (1969), 403409.Google Scholar
[4]Brümmer, G. C. L.. On some bitopologically induced monads in Top. Structure of topological categories (Proc. Bremen, 1978).Google Scholar
Mathematik-Arbeitspapiere 18, Universität Bremen (1979) 13–30a.Google Scholar
[5]Fletcher, P. and Lindgren, W. F.. Quasi-uniform spaces. Lecture notes in pure and applied mathematics 77 (Marcel Dekker, 1982).Google Scholar
[6]Fletcher, P. and Lindgren, W. F.. Compactifications of totally bounded quasi-uniform spaces. Glasgow Math. J. 28 (1986) 3136.CrossRefGoogle Scholar
[7]Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. and Scott, D. S.. A Compendium of Continuous Lattices (Springer, 1980).CrossRefGoogle Scholar
[8]Gierz, G. and Keimel, K.. Continuous ideal completions and compactifications. Continuous lattices (Proc. Bremen, 1979).Google Scholar
Lecture Notes in Mathematics 871 (Springer, 1981), 97124.Google Scholar
[9]Hochster, M.. Prime ideal structure in commutative rings, Trans. Amer. Math. Soc. 142 (1969) 4360.CrossRefGoogle Scholar
[10]Hoffmann, R.-E.. Charakterisierung nüchterner Räume, Manuscripta Math. 15 (1975) 185191.CrossRefGoogle Scholar
[11]Hoffmann, R.-E.. Topological functors admitting generalized Cauchy-completions. Categorical topology (Proc. Mannheim, 1975), Lecture Notes in Mathematics 540 (Springer, 1976), 286344.Google Scholar
[12]Hoffmann, R.-E.. Irreducible filters and sober spaces, Manuscripta Math. 22 (1977) 365380.CrossRefGoogle Scholar
[13]Hoffmann, R.-E.. Essentially complete T 0-spaces, Manuscripta Math. 27 (1979) 401432.CrossRefGoogle Scholar
[14]Hoffmann, R.-E.. On the sobrification remainder δX/X. Pacific J. Math. 83 (1979), 145156.CrossRefGoogle Scholar
[15]Hoffmann, R.-E.. Continuous posets, prime spectra of completely distributive complete lattices, and Hausdorff compactifications. Continuous lattices (Proc. Bremen, 1979), Lecture Notes in Mathematics 871 (Springer, 1981), 159208.Google Scholar
[16]Hoffmann, R.-E.. The Fell compactification revisited. Continuous lattices and their applications, Lecture notes in pure and applied mathematics (Marcel Dekker, 1985), 57116.Google Scholar
[17]Hoffmann, R.-E.. Essentially complete T 0-spaces II. A lattice-theoretic approach. Math. Z. 179 (1982), 7390.CrossRefGoogle Scholar
[18]Hofmann, K. H. and Lawson, J. D.. The spectral theory of distributive continuous lattices. Trans. Amer. Math. Soc. 246 (1978) 285310.CrossRefGoogle Scholar
[19]Hofmann, K. H. and Mislove, M. W.. Local compactness and continuous lattices. Continuous lattices (Proc. Bremen, 1979), Lecture Notes in Mathematics 871 (Springer, 1981), 209248.Google Scholar
[20]Hofmann, K. H.. Stably continuous frames, and their topological manifestations. Categorical Topology (Proc. Toledo, Ohio, 1983) (Heldermann, 1984), 282307.Google Scholar
[21]Isbell, J. R.. Function spaces and adjoints. Math. Scand. 36 (1975), 317339.CrossRefGoogle Scholar
[22]Künzi, H. P. A.. Topological spaces with a unique compatible quasi-proximity. Arch. Math. 43 (1984), 559561.CrossRefGoogle Scholar
[23]Künzi, H. P. A.. Topological spaces with a unique compatible quasi-uniformity. Canad. Math. Bull. 29 (1986), 4043.CrossRefGoogle Scholar
[24]Priestley, H. A.. Ordered topological spaces and the representation of distributive lattices, Proc. London Math. Soc. 24 (1972), 507530.CrossRefGoogle Scholar
[25]Salbany, S.. Bitopological spaces, compactifications and completions. Math. Monographs of the University of Cape Town. No. 1, Dep. of Math., Univ. of Cape Town (1974).Google Scholar
[26]Salbany, S.. Reflective subcategories and closure operators. Categorical topology (Proc. Mannheim, 1975), Lecture Notes in Mathematics 540 (Springer, 1976), 548565.Google Scholar
[27]Salbany, S.. A bitopological view of topology and order. Categorical topology (Proc. Toledo, Ohio, 1983) (Heldermann, 1984), 481504.Google Scholar
[28]Simmons, H.. A couple of triples. Topology Appl. 13 (1982), 201223.CrossRefGoogle Scholar
[29]Skula, L.. On a reflective subcategory of the category of all topological spaces. Trans. Amer. Math. Soc. 142 (1969), 3741.Google Scholar
[30]Ward, A. S.. Problem in ‘Topology and its applications’ (Proc. Herceg Novi, 1968) (Belgrade, 1969), 352.Google Scholar
[31]Wyler, O.. Compact ordered spaces and prime Wallman compactifications. Categorical Topology (Proc. Toledo, Ohio, 1983) (Heldermann, 1984), 618635.Google Scholar