On Baire classification of mappings with values in connected spaces
Given topological spaces \(X\) and \(Y\), a mapping \(f:X\to Y\) is strongly functionally \(\sigma\)-discrete if there exists a family \(\mathcal{B}=\bigcup_{n=1}^\infty \mathcal{B}_n\) of subsets of \(X\) such that for every family \(\mathcal{B}_n=(B_i:i\in I_n)\) there exists a discrete family \((U_i: i\in I_n)\) of functionally open sets in \(X\) with \(\mathrm{cl}(B_i)\subset U_i\) for all \(i\in I_n\) and, moreover, the inverse image \(f^{-1}(V)\) of any open set \(V\) in \(Y\) is the union of sets from \(\mathcal{B}\). Let \(B_1(X,Y)\) be the first Baire class (pointwise limits of continuous mappings), \(H_1(X,Y)\) be the first Lebesgue class (inverse images of open sets are \(F_\sigma\)-sets), \(K_1(X,Y)\) be the first functional Lebesgue class (inverse images of open sets are functionally \(F_\sigma\)-sets), and \(\Sigma^f(X,Y)\) be the class of strongly functionally \(\sigma\)-discrete mappings. The classical Lebesgue-Hausdorff theorem tells us that the classes \(B_1(X,Y)\) and \(H_1(X,Y)\) coincide if \(X\) is a metrizable space and \(Y=[0,1]^\alpha\), where \(1\leq \alpha\leq\omega\). This theorem is generalized for mappings with values in non-separable spaces. The author proves that for a completely metrizable space \(Y\), the following statements are equivalent: {\parindent=8mm \begin{itemize}\item[(i)] \(Y\) is connected and locally arcwise connected,\item[(ii)] \(K_1(X,Y)\cap \Sigma^f(X, Y)=B_1(X,Y)\) for any topological space \(X\),\item[(iii)] \(H_1([0,1],Y)=B_1([0,1],Y)\). \end{itemize}} Further, for a completely metrizable space \(X\) and a metrizable connected and locally arcwise connected space \(Y\), the classes \(B_1(X,Y)\) and \(H_1(X,Y)\) coincide. This is not valid if \(Y\) is not metrizable: there exists a connected and locally arcwise connected first-countable Lindelöf space \(Y\) such that \(H_1(\mathbb{R}, Y)\setminus B_1(\mathbb{R}, Y)\neq\emptyset\).
- Baire classification of mappings with values on subsets of finite-dimensional spaces
- scientific article; zbMATH DE number 4067835
- Equiconnected spaces and Baire classification of separately continuous functions and their analogs
- Baire classification of -discrete mappings
- Baire classification of vector-valued mappings for the space of finite sequences
- On mappings with values in domains belonging to the first Baire class.
- Baire spaces and quasicontinuous mappings
- Classification of separately continuous mappings with values in -metrizable spaces
- scientific article; zbMATH DE number 2169844
- scientific article; zbMATH DE number 994557
- -fragmentability of multivalued maps and selection theorems
- Baire 1 functions
- Borel Measurable Mappings for Nonseparable Metric Spaces
- Extensions of zero-sets and of real-valued functions
- Functionally \(\sigma\)-discrete mappings and a generalization of Banach's theorem
- Functions of the First Baire Class
- Functions of the First Baire Class with Values in Banach Spaces
- scientific article; zbMATH DE number 3132851 (Why is no real title available?)
- scientific article; zbMATH DE number 7227247 (Why is no real title available?)
- scientific article; zbMATH DE number 18745 (Why is no real title available?)
- scientific article; zbMATH DE number 492733 (Why is no real title available?)
- scientific article; zbMATH DE number 3305683 (Why is no real title available?)
- Normality in Subsets of Product Spaces
- On inversion of non-linear transformations
- Paracompactness and product spaces
- When are Borel functions Baire functions?
- A generalization of a Baire theorem concerning barely continuous functions
- Extension of fragmented Baire-one functions on Lindelöf spaces
- The first homotopic Baire class of maps with values in ANR's coincides with the first Baire class
- On Baire one mappings and Lebesgue one mappings with values in inductive limits.
- Baire classification of vector-valued mappings for the space of finite sequences
- Separately continuous \(\sigma\)-discrete representations
- Baire classification of -discrete mappings
- Functions of the First Baire Class
- Equiconnected spaces and Baire classification of separately continuous functions and their analogs
- scientific article; zbMATH DE number 492733 (Why is no real title available?)
- When are Borel functions Baire functions?
- On σ-discrete borel mappings via quasi-metrics
- Extensions of vector-valued functions with preservation of derivatives
- Geodesic connected spaces and uniform limit of the Baire one functions
- Baire classification of mappings with values on subsets of finite-dimensional spaces
- Porosity of Baire measurable, quasi-continuous and cliquish functions between metric spaces
- On composition of Baire functions
- Limits of sequences of continuous functions depending on finitely many coordinates
- The Baire property for the space of mappings of the first functional Lebesgue class
This page was built for publication: On Baire classification of mappings with values in connected spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q300500)
