scientific article; zbMATH DE number 1444768

Publication date 31 August 2001

bicomplete quasi-uniform space paratopological group quasi-uniformity of uniform convergence uniform equicontinuity

Structure of topological semigroups (22A15) Function spaces in general topology (54C35) Uniform structures and generalizations (54E15)

Review text

Let \((X,\mathcal{U})\) be a quasi-uniform space and let \(Q(X)\) be the set of all (quasi)-uniform self-isomorphisms of \((X,\mathcal U)\). Generalizing a known result about uniformities to quasi-uniformities, \textit{P. Fletcher} [Arch. Math. 22, 88-93 (1971; Zbl 0215.52604)] proved that if we equip \(Q(X)\) with the quasi-uniformity \({\mathcal Q_{U}}\) of (quasi-)uniform convergence, then \(Q(X)\) is a paratopological group under composition, \(\circ\), and \({\mathcal Q_{U}}\) is the right quasi-uniformity of the paratopological group \((Q(X),\circ,\tau({\mathcal Q_{U}}))\). In this is survey article the theory of quasi-uniformities on functions spaces, mainly homeomorphism groups, is discussed. Among other things, the problem is considered how for a given quasi-uniform space \((X,\mathcal U)\) the properties of \(\mathcal U\) influence the properties of the so-called bilateral quasi-uniformity \(\mathcal U_{\mathcal B}\) of the paratopological group \((Q(X),\circ,\tau({\mathcal Q_{U}}))\). Besides mentioning many important known results in this area, the paper also contains and proves some new observations. Among others, we quote the following: (1) If \((X,\mathcal U)\) is a bicomplete quasi-uniform \(T_{0}\)-space, the bilateral quasi-uniformity \(\mathcal U_{\mathcal B}\) of the paratopological group \((Q(X),\circ,\tau({\mathcal Q_{U}}))\) is bicomplete, too. (2) For \(H(X)\) denoting the group of self-homeomorphisms of a topological space \(X\), if \(X\) is a Baire space that is metrizable, \(\mathcal U\) is the fine quasi-uniformity of \(X\) and \({\mathcal Q_{U}}\) the quasi-uniformity of uniform convergence on \(H(X)\), then \((H(X),\circ,\tau({\mathcal Q_{U}}))\) is a topological group. Some other properties of the quasi-uniformity of uniform convergence are discussed, in particular, completeness and (uniform) equicontinuity. One of the nice features of this paper is the inclusion of many examples and remarks which are helpful in order to place conveniently the notions which are dealt with by the author. For the entire collection see [Zbl 0935.00020].

Recommendations

Cited in

(10)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4952347)