A result concerning the Lipschitz realcompactification of the product of two metric spaces (Q6053449)

Let \((X, d)\) be a metric space and \(\mathrm{Lip}_d(X)\) be the set of all real-valued Lipschitz functions defined on \(X\). The authors denote by \(H(\mathrm{Lip}_d(X))\) the set of all mappings \(\varphi \colon \mathrm{Lip}_d(X) \to \mathbb{R}\) satisfying the conditions: \begin{itemize} \item \(\varphi(\lambda f + \mu g) = \lambda \varphi(f) + \mu \varphi(g)\) for all \(f\), \(g \in \mathrm{Lip}_d(X)\) and \(\lambda\), \(\mu \in \mathbb{R}\); \item \(\varphi(|f|) = |\varphi(f)|\) for every \(f \in\mathrm{Lip}_d(X)\); \item \(\varphi(\mathbf{1}) = 1\), where \(\mathbf{1}\) is the unit function, \(\mathbf{1}(x) = 1\) for every \(x \in X\). \end{itemize} The following theorem is the main result of the paper. \textbf{Theorem}. Let \((X, d)\) and \((Y, \rho)\) be metric spaces and let \(d + \rho\) be the metric on \(X \times Y\) defined as \[ (d+\rho)((x_1, y_1), (x_2, y_2)) = d(x_1, x_2) + \rho(y_1, y_2) \] for all \((x_1, y_1)\), \((x_2, y_2) \in X \times Y\). Then the following conditions are equivalent: \begin{itemize} \item \(H(\mathrm{Lip}_{d+\rho}(X \times Y)) = H(\mathrm{Lip}_{d}(X)) \times H(\mathrm{Lip}_{\rho}(Y))\); \item At least on of \((X, d)\) and \((Y, \rho)\) satisfies that every bounded subset is totally bounded; \item \(H(\mathrm{Lip}_{d}(X)) = \widetilde{X}\) or \(H(\mathrm{Lip}_{\rho}(Y)) = \widetilde{Y}\), where \(\widetilde{X}\) and \(\widetilde{Y}\) are the completions of \((X, d)\) and \((Y, \rho)\), respectively. \end{itemize} The authors point out that this theorem is a generalization of a result by Woods about the Samuel compactification of the product of metric spaces [\textit{R. G. Woods}, Fundam. Math. 147, No. 1, 39--59 (1995; Zbl 0837.54015)].