Some remarks on quasi-uniform spaces

Künzi, Hans-Peter A.

Glasgow mathematical journal, Tome 31 (1989) no. 3, pp. 309-320

Résumé

A topological space is called a uqu space [10] if it admits a unique quasi-uniformity. Answering a question [2, Problem B, p. 45] of P. Fletcher and W. F. Lindgren in the affirmative we show in [8] that a topological space X is a uqu space if and only if every interior-preserving open collection of X is finite. (Recall that a collection L of open sets of a topological space is called interior-preserving if the intersection of an arbitrary subcollection of L is open (see e.g. [2, p. 29]).) The main step in the proof of this result in [8] shows that a topological space in which each interior-preserving open collection is finite is a transitive space. (A topological space is called transitive (see e.g. [2, p. 130]) if its fine quasi-uniformity has a base consisting of transitive entourages.) In the first section of this note we prove that each hereditarily compact space is transitive. The result of [8] mentioned above is an immediate consequence of this fact, because, obviously, a topological space in which each interior-preserving open collection is finite is hereditarily compact; see e.g. [2, Theorem 2.36]. Our method of proof also shows that a space is transitive if its fine quasi-uniformity is quasi-pseudo-metrizable. We use this result to prove that the fine quasi-uniformity of a T1 space X is quasi-metrizable if and only if X is a quasi-metrizable space containing only finitely many nonisolated points. This result should be compared with Proposition 2.34 of [2], which says that the fine quasi-uniformity of a regular T1 space has a countable base if and only if it is a metrizable space with only finitely many nonisolated points (see e.g. [11] for related results on uniformities). Another by-product of our investigations is the result that each topological space with a countable network is transitive.

Détail

DOI : 10.1017/S0017089500007874

Bibliographie

[1] 1.Brown, L. M., On topological spaces with a unique compatible quasi-uniformity, Glasgow Math. J. 18 (1977), 11–12. Google Scholar | DOI

[2] 2.Fletcher, P. and Lindgren, W. F., Quasi-uniform spaces, Lectures Notes Pure Appl. Math. 77, (New York, 1982). Google Scholar

[3] 3.Gregori, V. and Ferrer, J., Quasi-metrization and completion for Pervin's quasi-uniformity, Stochastica 6 (1982), 151–155. Google Scholar

[4] 4.Gregori, V. and Ferrer, J., Some classes of topological spaces with unique quasi-uniformity, Canad. Math. Bull. 29 (1986), 446–449. Google Scholar | DOI

[5] 5.Künzi, H. P. A., On strongly quasi-metrizable spaces, Arch. Math. 41 (1983), 57–63. Google Scholar | DOI

[6] 6.Künzi, H. P. A., Topological spaces with a unique compatible quasi-proximity, Arch. Math. 43 (1984), 559–561. Google Scholar | DOI

[7] 7.Künzi, H. P. A., Transitivity is neither hereditary nor finitely productive, Top. Appl. 19 (1985), 165–168. Google Scholar | DOI

[8] 8.Künzi, H. P. A., Topological spaces with a unique compatible quasi-uniformity, Canad. Math. Bull. 29 (1986), 40–43. Google Scholar | DOI

[9] 9.Künzi, H. P. A. and Brümmer, G. C. L., Sobrification and bicompletion of totally bounded quasi-uniform spaces, Math. Proc. Camb. Phil. Soc. 101 (1987), 237–247. Google Scholar | DOI

[10] 10.Lindgren, W. F., Topological spaces with a unique compatible quasi-uniformity, Canad. Math. Bull. 14 (1971), 369–372. Google Scholar | DOI

[11] 11.Rainwater, J., Spaces whose finest uniformity is metric, Pacific J. Math. 9 (1959), 567–570. Google Scholar | DOI

[12] 12.Stone, A. H., Hereditarily compact spaces, Amer. J. Math. 82 (1960), 900–916. Google Scholar | DOI