Extension of continuous functions and metrizability of paracompact \(p\)- spaces (Q1326056): Difference between revisions

A mapping \(\alpha: C_{vc}(X,R)\to C(X)\), where \(C_{vc}(X,R)\) is the space of partial mappings whose domains of definitions are bicompact subsets of \(X\) and where \(C(X)\) is the space of bounded continuous functions on \(X\), is called an extension operator. A mapping \(\Phi: X^ 2\setminus \Delta\to C(X)\) satisfying the conditions \(\Phi(x,y)= \varphi_{xy}\) and \(\varphi_{xy}(x)\neq \varphi_{xy}(y)\) for each \((x,y)\in X^ 2\setminus \Delta\) is called separating. The following theorem is obtained: Let \(X\) be a preimage of a metric space under perfect mapping (\(\equiv X\) is a paracompact \(p\)-space or a paracompact \(M\)-space). Then the following conditions are equivalent: (1) \(X\) is metrizable; (2) there exists a continuous separating mapping \(\Phi: X^ 2\setminus \Delta\to C(X)\); (3) there exists a continuous extension operator \(\alpha: C_{vc}(X,R)\to C(X)\).