Extensions of functions on product spaces (Q1379790)

For an infinite cardinal \(\lambda\), a subspace \(S\) of a space \(X\) is said to be \(P^\lambda\)-embedded in \(X\) if every continuous map from \(S\) to a Banach space \(Y\) with \(w(Y)\leq\lambda\) admits a continuous extension over \(X\), and \(S\) is said to be \(C^\ast\)-embedded in \(X\) if every bounded real-valued continuous function on \(S\) admits a continuous extension over \(X\). A \(P^{\aleph_0}\)-embedded subspace is usually called a \(C\)-embedded subspace. To state the authors' results briefly, let us say that a pair of spaces \(X\) and \(Y\) satisfies the condition \(\pi(A=B)\) if for every \(B\)-embedded subspace \(S\) of \(X\), \(S\times Y\) is \(A\)-embedded in \(X\times Y\) if and only if \(S\times Y\) is \(B\)-embedded in \(X\times Y\). It is an interesting problem what pair of spaces satisfies the condition \(\pi(C^{\ast}=C)\) or \(\pi(C=P^\lambda)\) for some or for any infinite cardinal \(\lambda\). In this paper, the authors prove that (i) a pair of a space and a Tychonoff space \(Y\) which is homeomorphic to \(Y^2\) and has a compact subset \(K\) with \(w(K)=\lambda\) satisfies \(\pi(C^{\ast}=P^\lambda)\); (ii) a pair of a collectionwise normal \(\Sigma\)-space and a paracompact \(\Sigma\)-space satisfies \(\pi(C^\ast=P)\); and (iii) a pair of a space and a paracompact \(\sigma\)-space satisfies \(\pi(C=P)\). The problem of when a pair of spaces satisfies \(\pi(C^{\ast}=P)\) is closely related to the problem when a normal product space is collectionwise normal. The authors also prove that if the product \(X\times Y\) of a collectionwise normal \(\Sigma\)-space \(X\) and a paracompact \(\Sigma\)-space \(Y\) is normal, then \(X\times Y\) is collectionwise normal.