Article
Full entry |
PDF
(0.2 MB)
Feedback
PDF
(0.2 MB)
Feedback
Keywords:
uniform space; frame; uniform frame; uniform frame homomorphism; $C$-ideal; frame coproduct; entourage; Weil uniform frame; Weil homomorphism
uniform space; frame; uniform frame; uniform frame homomorphism; $C$-ideal; frame coproduct; entourage; Weil uniform frame; Weil homomorphism
Summary:
In pointfree topology, the notion of uniformity in the form of a system of covers was introduced by J. Isbell in [11], and later developed by A. Pultr in [14] and [15]. Another equivalent notion of locale uniformity was given by P. Fletcher and W. Hunsaker in [6], which they called “entourage uniformity”. The purpose of this paper is to formulate and investigate an alternative definition of entourage uniformity which is more likely to the Weil pointed entourage uniformity, since it is expressed in terms of products of locales. We show that our definition is equivalent to the previous ones by proving that our category of Weil uniform frames is isomorphic to the one defined in [6].
References:
[1] Banaschewski B.: Another look at the localic Tychonoff Theorem. Comment. Math. Univ. Carolinae 29 (1988), 647-656. MR 0982782 | Zbl 0667.54009
[2] Banaschewski B.: Bourbaki's Fixpoint Lemma reconsidered. Comment. Math. Univ. Carolinae 33 (1992), 303-309. MR 1189661 | Zbl 0779.06004
[3] Banaschewski B., Brümmer G.C.L., Hardie K.A.: Biframes and bispaces. Quaestiones Math. 6 (1983), 13-25. MR 0700237
[4] Bourbaki N.: Topologie générale. Hermann, Paris, 1982. Zbl 1107.54001
[5] Dowker C.H., Strauss D.: Sums in the category of frames. Houston J. Math. 3 (1977), 7-15. MR 0442900 | Zbl 0341.54001
[6] Fletcher P., Hunsaker W.: Entourage uniformities for frames. Monatsh. Math. 112 (1991), 271-279. MR 1141095 | Zbl 0736.54023
[7] Fletcher P., Hunsaker W., Lindgren W.: Characterizations of frame quasi-uniformities. Quaestiones Math. 16 (1993), 371-383. MR 1254164 | Zbl 0792.54026
[8] Fletcher P., Hunsaker W., Lindgren W.: Totally bounded frame quasi-uniformities. Comment. Math. Univ. Carolinae 34 (1993), 529-537. MR 1243084 | Zbl 0786.54028
[9] Fletcher P., Hunsaker W., Lindgren W.: Frame quasi-uniformities. Monatsh. Math. 117 (1994), 223-236. MR 1279114 | Zbl 0796.54037
[10] Frith J.L.: Structured frames. PhD Thesis, University of Cape Town, 1987.
[11] Isbell J.: Atomless parts of spaces. Math. Scand. 31 (1972), 5-32. MR 0358725 | Zbl 0246.54028
[12] Johnstone P.T.: Stone spaces. Cambridge Studies in Advanced Mathematics 3, Cambridge University Press, 1982. MR 0698074 | Zbl 0586.54001
[13] Picado J.: Frame quasi-uniformities by entourages. preprint (Universidade de Coimbra, 1994). MR 1722578 | Zbl 1005.54030
[14] Pultr A.: Pointless uniformities I. Complete regularity. Comment. Math. Univ. Carolinae 25 (1984), 91-104. MR 0749118 | Zbl 0543.54023
[15] Pultr A.: Pointless uniformities II. (Dia)metrization. Comment. Math. Univ. Carolinae 25 (1984), 105-120. MR 0749119
[16] Tukey J.W.: Convergence and uniformity in topology. Ann. of Math. Studies 2, Princeton University Press, 1940. MR 0002515 | Zbl 0025.09102
[17] Weil A.: Sur les espaces à structure uniforme et sur la topologie générale. Hermann, Paris, 1938. Zbl 0019.18604
Search
Partner of
