Extension of Borel maps with values in non-metrizable spaces (Q1987685)

Given a function between (topological) spaces, $f:E\subset X\rightarrow Y$, that has a desired property $P$, the problem of preservably or nondestructively extending the function $f$ is considered under two distinguishing characteristics: (i) The property $P$ is weaker than continuity (e.g., $P:=$ Borel) and (ii) the target space $Y$ is non-metrizable (i.e., $Y$ is not homeomorphic to a metric space). {\flushleft It} is shown (in Theorems 5.3 and 5.5) that new extension results can be obtained if the non-metrizable target space $Y$ has properties that are similar/related to those of \emph{strict inductive limits} of sequences of locally convex metrizable spaces or those of small box products of sequences of metrizable spaces. Such non-metrizable spaces are shown (in Proposition 3.3) to belong to a more general class consisting of spaces that admit a sequentially absorbing covering (SAC) or super sequentially absorbing covering (SSAC). {\flushleft Based} on these covering types and other tools, several novel intermediate results are obtained. In particular, the following intermediate result is obtained: \begin{itemize} \item Using a known result that states ``A \emph{Baire-one map} (i.e., the pointwise limit of a sequence of continuous maps) to a perfectly normal space is \emph{functionally $F_\sigma$-measurable}.'', it is shown (in Corollary 2.4) that a Baire-one map to a sequential space that admits a SAC by perfectly normal subspaces is also functionally $F_\sigma$-measurable. \end{itemize} {\flushleft Among} the two new extension results obtained is the following (from Theorem 5.5): \begin{itemize} \item Assuming (a) the source space $X$ is completely regular, (b) the subspace $E\subset X$ is hereditarily Baire metrizable separable, and (c) the target space $Y$ admits a SSAC by closed completely metrizable subspaces, it is established that every \emph{functionally $F_\sigma$-measurable} map $f:E\subset X\rightarrow Y$ extends to a \emph{functionally $F_\sigma$-measurable} map $F:X\rightarrow Y$. \end{itemize}