On the product property of the Carathéodory pseudodistance (Q5926041)

Let \(\Omega\) (resp. \(E\)) be a completely regular Hausdorff space (resp. a complex Banach space) and let \(C_{b}(\Omega,E)\) be the Banach space of all continuous bounded vector-valued functions of \(\Omega\) into \(E\). Whenever \(D\) is a domain in a Banach space, let \(C_{D}\) denote the Carathéodory distance in \(D\). A domain \(\mathbb D\subset C_{b}(\Omega,E)\) is said to be the continuous \(\Omega\)-product of the family \((D_{\omega})_{\omega\in \Omega}\) of bounded domains in \(E\) if \(\mathbb D\) is the interior of\(\{f\in C_{b}(\Omega,E): f(\omega)\in D_{\omega}\), \((\omega\in \Omega)\}\), \(D_{\omega}= \{ f(\omega): f\in \mathbb D\}\), \((\omega\in \Omega)\). The continuous product property (CPP for short) holds for the space \(C_{b}(\Omega,E)\) if, whenever\((D_{\omega})\) is a family whose \(\Omega\)-product \(\mathbb D\) is a domain in \(C_{b}(\Omega,E)\), the Carathéodory distance \(C_{\mathbb D}\) satisfies \(C_{\mathbb D}(f,g)=sup_{\omega\in \Omega}C_{D_{\omega}}[f(\omega),g(\omega)]\), \((f,g\in \mathbb D)\). In [Math. Ann. 285, No. 1, 161-164 (1989; Zbl 0662.32023)] \textit{M. Jarnicki} and \textit{P. Pflug} proved that the Carathéodory distance has the product property whenever \(\Omega\) is finite and \(E\) is finite dimensional. In the present paper the authors consider the extension of the product property todomains which are continuous \(\Omega\)-products. They prove that the CPP holds in the following cases: NEWLINENEWLINENEWLINE(1) \(\Omega\) is a finite set and \(E\) is a Banach space; NEWLINENEWLINENEWLINE(2) \(\mathbb D\) is contained ina space of sequences converging to zero at infinity; and NEWLINENEWLINENEWLINE(3) \(\Omega\) is an infinite set withthe discrete topology and we consider an infinite product of copies of the same domain \(D\subset \mathbb C^{n}\), with an additional hypothesis on \(D\).