A Banach-Stone theorem for uniformly continuous functions (Q1596336)

It is a well-known fact in functional analysis that for a compact space \(X\) the metric linear structure of the sup-normed Banach space \(C(X)\) of all real-valued continuous functions defined on it characterizes the topological structure of the space. The first theorem in this direction is due to Banach when \(X\) is a compact metric space. Stone extended Banach's result to arbitrary compact spaces in what is now known as the Banach-Stone theorem. This basic theorem has been extended in different ways, including Hewitt and Shirota's respective achievements for the so-called realcompact spaces. In fact, there is now a formidable amount of literature generated by this sort of results that is impossible to be summarized here [see, e.g., \textit{L. Gillman} and \textit{M. Jerison}, Rings of continuous functions (1960; Zbl 0093.30001)]. \textit{J. Nagata} [Osaka Math. J. 1, 166-181 (1949; Zbl 0036.38602)] considered a kind of similar problems for uniform spaces \(\mu X\) and proved that the ring structure of \(C(\mu X)\) (the set of all real-valued uniformly continuous functions on \(X\) characterizes the uniform structure of \(\mu X\). In the last few years, there have appeared some results which deal with the characterization of the uniform structure of certain uniform spaces \(\mu X\) by means of the metric linear structure of the sup-normed Banach space \(C^{\ast}(\mu X)\) of all bounded real-valued uniformly continuous functions defined on \(X\) [see \textit{J. Araujo} and \textit{J. J. Font}, Proc. Edinb. Math. Soc., II. Ser. 43, No. 1, 139-147 (2000; Zbl 0945.46032) and \textit{S. Hernández}, Uniformly continuous mappings defined by isometries of spaces of bounded uniformly continuous functions, Houston J. Math., to appear]. In the note under review, the authors deal with a variation of the results above. They consider a complete metric space \(\mu X\) and prove in a very concise and elegant way that the vector lattice structure of the space \(C(\mu X)\) (resp. \(C^{\ast}(\mu X)\)) of all real-valued uniformly continuous functions (resp. and bounded) completely determines the uniform structure of \(\mu X\).