No label defined (Q4705693)

The author announces his joint work with the reviewer, which gives a solution to Przymusiński's problem raised in his unpublished manuscript in 1983. An outline and a brief exposition of essential ideas of the proof of the main theorem are given. For an infinite cardinal \(\lambda\), a subset \(A\) of a space \(X\) is said to be \(P^\lambda\)-embedded in \(X\) if every continuous map from \(A\) to a Banach space \(Y\) with \(w(Y)\leq\lambda\) admits a continuous extension over \(X\). Further, a subset \(A\) is said to be \(C^\ast\)-embedded in \(X\) if every bounded continuous function \(f:A\to{\mathbb{R}}\) admits a continuous extension over \(X\); and \(A\) is said to be \(U^\omega\)-embedded in \(X\) if for every continuous function \(f:A\to{\mathbb{R}}\), there exists a continuous function \(g:X\to{\mathbb{R}}\) such that \(f(x)\leq g(x)\) for each \(x\in A\). The main theorem is: Let \(\lambda\) be an infinite cardinal and \(A\) a \(P^\lambda\)-embedded subset of a space \(X\). Then, for every metric space \(M\), the following conditions (a), (b) and (c) are equivalent: (a) \(A\times M\) is \(P^\lambda\)-embedded in \(X\times M\); (b) \(A\times M\) is \(C^\ast\)-embedded in \(X\times M\); (c) \(A\times M\) is \(U^\omega\)-embedded in \(X\times M\). The complete proof has been published in \textit{V. Gutev} and \textit{H. Ohta} [Does \(C^*\)-embedding imply \(C\)-embedding in the realm of products with a non-discrete metric factor, Fundam. Math. 163, No.~3, 241-265 (2000)].