Weak \(C\)-embedding and \(P\)-embedding, and product spaces (Q1862086): Difference between revisions

\(Y\) is weakly \(P^\gamma\)-embedded in \(X\) if every continuous \(\gamma\)-pseudometric on \(Y\) extends to a pseudometric on \(X\) which is continuous on \(Y\). It is shown that if \(Y\subset X\) then \(Y\) is weakly \(P^\gamma\)-embedded in \(X\) if and only if each disjoint collection \(\{ G_\alpha\mid \alpha<\gamma\}\) of open subsets of \(Y\) for which \(\bigcup_{\alpha <\gamma}G_\alpha\) is a cozero set in \(Y\) extends to a disjoint collection of open subsets of \(X\). Other characterisations of this condition are given using product spaces.