Hostname: page-component-78c5997874-j824f Total loading time: 0 Render date: 2024-11-15T11:37:56.994Z Has data issue: false hasContentIssue false

Some remarks on quasi-uniform spaces

Published online by Cambridge University Press:  18 May 2009

Hans-Peter A. Künzi
Affiliation:
Department of Mathematics, University of Berne, Siddlerstrasse 5, 3012 Berne, Switzerland
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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 ℒ of open sets of a topological space is called interior-preserving if the intersection of an arbitrary subcollection of ℒ 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.

Type
Research Article
Copyright
Copyright © Glasgow Mathematical Journal Trust 1989

References

1.Brown, L. M., On topological spaces with a unique compatible quasi-uniformity, Glasgow Math. J. 18 (1977), 1112.CrossRefGoogle Scholar
2.Fletcher, P. and Lindgren, W. F., Quasi-uniform spaces, Lectures Notes Pure Appl. Math. 77, (New York, 1982).Google Scholar
3.Gregori, V. and Ferrer, J., Quasi-metrization and completion for Pervin's quasi-uniformity, Stochastica 6 (1982), 151155.Google Scholar
4.Gregori, V. and Ferrer, J., Some classes of topological spaces with unique quasi-uniformity, Canad. Math. Bull. 29 (1986), 446449.CrossRefGoogle Scholar
5.Künzi, H. P. A., On strongly quasi-metrizable spaces, Arch. Math. 41 (1983), 5763.CrossRefGoogle Scholar
6.Künzi, H. P. A., Topological spaces with a unique compatible quasi-proximity, Arch. Math. 43 (1984), 559561.CrossRefGoogle Scholar
7.Künzi, H. P. A., Transitivity is neither hereditary nor finitely productive, Top. Appl. 19 (1985), 165168.CrossRefGoogle Scholar
8.Künzi, H. P. A., Topological spaces with a unique compatible quasi-uniformity, Canad. Math. Bull. 29 (1986), 4043.CrossRefGoogle Scholar
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), 237247.CrossRefGoogle Scholar
10.Lindgren, W. F., Topological spaces with a unique compatible quasi-uniformity, Canad. Math. Bull. 14 (1971), 369372.CrossRefGoogle Scholar
11.Rainwater, J., Spaces whose finest uniformity is metric, Pacific J. Math. 9 (1959), 567570.CrossRefGoogle Scholar
12.Stone, A. H., Hereditarily compact spaces, Amer. J. Math. 82 (1960), 900916.CrossRefGoogle Scholar