×

Morita-extensions and nearness-completions. (English) Zbl 0894.54022

The authors compare K. Morita’s notions of completeness and completion for \(T\)-uniform spaces [Proc. Japan Acad. 27, 65-72 (1951; Zbl 0042.41203), No. 3, 130-137, No. 4, 166-171 (1951; Zbl 0043.16504); 632-636 (1951; Zbl 0045.11702)] to more recent corresponding notions in the context of nearness spaces, which were introduced by the second author in [General Topol. Appl. 4, 191-212 (1974; Zbl 0288.54004)]. To facilitate the comparison, a nearness space is called Morita-complete if every strong Cauchy filter converges and is called complete if every cluster has an adherent point (equivalently, if every round Cauchy filter converges). Every complete nearness space is Morita-complete, and the notions coincide for regular spaces. However, there exist separated Morita-complete spaces which fail to be complete. The authors investigate some results concerning three classes of nearness spaces: regular (Morita-)complete spaces, separated complete spaces, and separated Morita-complete spaces. The first (respectively, second) class forms an epireflective subcategory of the category of regular (respectively, separated) nearness spaces, and its members are precisely those regular (respectively, separated) spaces which do not admit a proper dense regular (respectively, separated) extension. However, the third class does not even form a reflective subcategory of the category of nearness spaces, and there exist separated Morita-complete spaces which possess proper dense separated extensions. The authors also show that Morita’s canonical completion of a nearness space can be regarded in a natural way as a subspace of the completion constructed by the second author in 1974. In the regular case these completions coincide, but they may fail to be equivalent in the separated case.

MSC:

54E17 Nearness spaces
54D35 Extensions of spaces (compactifications, supercompactifications, completions, etc.)
54E15 Uniform structures and generalizations
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Bentley, H. L., Normal nearness spaces, Quaestiones Math., 2, 513 (1977) · Zbl 0369.54013
[2] Bentley, H. L.; Herrlich, H., Extensions of topological spaces, (Franklin, S. P.; Thomas, B. V.Smith, Topology, Proc. Memphis State Univ. Conf.. Topology, Proc. Memphis State Univ. Conf., 1975 (1976), Marcel Dekker), 129-184 · Zbl 0345.54027
[3] Bentley, H. L.; Herrlich, H., Completion as reflection, Comment. Math. Univ. Carolin., 19, 541-568 (1978) · Zbl 0407.54020
[4] Bentley, H. L.; Herrlich, H., Completeness for nearness spaces, (CWI Tracts, 115 (1979)), 10-29 · Zbl 0463.54022
[5] H.L. Bentley, H. Herrlich and M. Hušek, The historical development of uniform, proximal, and nearness concepts in topology, in: C.E. Aull and R. Lowen, eds., Handbook of the History of General Topology (Kluwer, to appear).; H.L. Bentley, H. Herrlich and M. Hušek, The historical development of uniform, proximal, and nearness concepts in topology, in: C.E. Aull and R. Lowen, eds., Handbook of the History of General Topology (Kluwer, to appear). · Zbl 0936.54028
[6] Carlson, J. W., \(B\)-completeness for nearness spaces, Gen. Topology Appl., 5, 263-268 (1975) · Zbl 0306.54005
[7] Carlson, J. W., An ultrafilter completion of a nearness space, Canad. Math. Bull., 24, 13-22 (1981) · Zbl 0457.54021
[8] Harris, D., Structures in topology, Mem. Amer. Math. Soc., 115 (1971) · Zbl 0239.54020
[9] Herrlich, H., A concept of nearness, Gen. Topology Appl., 4, 191-212 (1974) · Zbl 0288.54004
[10] Herrlich, H., Topological structures, (CWI Tracts, 52 (1974)), 59-122
[11] Herrlich, H., Topologie II: Uniforme Räume (1988), Heldermann · Zbl 0644.54001
[12] Ivanova, V. M.; Ivanov, A. A., Contiguity spaces and bicompact extensions of topological spaces, Izv. Akad. Nauk SSSR, 23, 613-634 (1959) · Zbl 0091.35902
[13] Morita, K., On the simple extension of a space with respect to a uniformity I-IV, (Proc. Japan. Acad., 27 (1951)), 632-636 · Zbl 0045.11702
[14] Morita, K., Extension of mappings I, (Morita, K.; Nagata, J., Topics in General Topology (1989), North-Holland: North-Holland Amsterdam), 1-39
[15] Rinow, W., Über die verallgemeinerten uniformen Strukturen von Morita und ihre Vervollständigung, (Novak, J., General Topology and its Relations to Modern Analysis and Algebra II. General Topology and its Relations to Modern Analysis and Algebra II, Proc. 2nd Prague Topology Symp. 1966 (1967), Academic Press), 297-305 · Zbl 0167.21102
[16] Rinow, W., Lehrbuch der Topologie (1975), VEB Deutscher Verlag der Wiss · Zbl 0317.54001
[17] Smirnov, Yu. M., On proximity spaces, Math. Sb., 31, 543-574 (1952) · Zbl 0047.41903
[18] Smirnov, Yu. M., On completeness of proximity spaces I, II, Trudy Moskov. Mat. Obshch., 4, 421-438 (1955) · Zbl 0065.38005
[19] Steiner, A. K.; Steiner, E. F., On semi-uniformities, Fund. Math., 83, 47-58 (1973) · Zbl 0271.54019
[20] Terwilliger, W. L., On contiguity spaces, (Dissertation (1965), Washington State University)
[21] Tukey, J. W., Convergence and Uniformity in Topology (1940), Princeton Univ. Press · Zbl 0025.09102
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.