Memorandum on multiplicative bijections and order (Q731317)

Let \(C(X,I)\) denote the semigroup of all continuous functions from the topological space \(X\) into the unit interval \(I=[0,1]\) equipped with the pointwise multiplication. The main aim of the authors is to study the semigroup isomorphisms between such structures and also between some other related semigroups of functions. Special emphasis is put on the representations (descriptions of the forms) of the isomorphisms. The crucial observation of the authors is that in the context under consideration the semigroup homomorphisms preserve the order and hence the semigroup isomorphisms are automatically lattice isomorphisms. The paper is well-organized and contains many interesting results. Section 1 presents the background on lattice homomorphisms of \(C(X,I)\). Section 2 contains the main result on semigroup isomorphisms of the semigroups \(C(X,I)\) for compact Hausdorff spaces \(X\). In Section 3, the authors present several applications relating to isomorphisms of other semigroups of functions. They describe the general forms of multiplicative bijections of {\parindent=6mm \begin{itemize}\item[(1)] the semigroups \(C(X,I)\) for metric spaces \(X\), \item[(2)] the semigroups \(U(X,I)\) of uniformly continuous functions on complete metric spaces \(X\), \item[(3)] the semigroups \(\text{Lip}(X,I)\) of Lipschitz functions on metric spaces \(X\) (in the case of complete metric spaces the representation is much simpler), \item[(4)] the semigroup \(L^\infty (\mu,I)\) of essentially bounded measurable functions on standard measure spaces. \end{itemize}} Several illustrating examples and remarks and a few open problems are also given (two of the presented four have already been solved).