Borel measurability of separately continuous functions
Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Continuity and differentiation questions (26B05) Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Real-valued functions in general topology (54C30) Function spaces in general topology (54C35) Baire category, Baire spaces (54E52) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)
It is a very important problem to discuss properties of separately continuous functions of two variables. Some symbols and concepts used in this paper: \(X\) denotes a completely regular space; \(C(X)\) the continuous real functions on \(X\). \(C_p(X)\) is \(C(X)\) with the topology of pointwise convergence and \({\mathcal F}_X\) the family of subsets \(A\) of \(X\) such that \(A = \bigcup_{n<\omega}\) \((U_n\) open)\(\cap(F_n\) closed). Put \(Y = C_p(X)\). Then \(Y\) is narrow: there are \(Y_{n<\omega}\in {\mathcal F}_Y\) such that \(Y =\cup Y_n\) and for each \(f\in Y\) and \(\varepsilon > 0\), there exist \(n < \omega\) and an open neighbourhood \(V\) of \(f\) such that \(f\in Y_n\) and for each \(g\in Y_n\cap V\), \(\|f-g\|_{\infty}<\varepsilon\). Remark: For a metric space \(X\), \(C_p(X)\) is narrow \(\Leftrightarrow X\) is compact. Moreover, there exists a countably linearly ordered space \(X\) such that the clopen sets in \(X\) are not \(\sigma\)-discrete in \(C_p(X)\) and not narrow. Let \(X =\Pi_{i<\omega} X_i\times Y\), where each \(X_i\) is a separable linearly ordered space, and \(Y\) is any space. If \(f : X\times Y\to \mathbb{R}\) is separately continuous, then for every open interval \(I\subset \mathbb{R}\), \(f^{-1}(I)\) is an \(F_\sigma\)-set. There is an interesting example; let \(X=[0,1]\times 2\), ordered lexicographically, and \(Y = \{f\in \{0,1\}^X : f\) is continuous\}. For \(Y\) with the topology of pointwise convergence, the evaluation map \(F :X\times Y\to \mathbb{R}\) is separately continuous, but not of Baire class 1. An interesting result is: Let us assume that there is a regular uncountable cardinal \(\kappa\) such that \(2^{<\kappa}=\kappa\). Then there exists a linearly ordered space \(X\) and a separately continuous function \(X\times X \to \mathbb{R}\) such that \(f\) is not Borel measurable. The final section of the paper is concerned with the case of products of ordinals. Some useful results on ordinals with the usual topology are mentioned and a generalization of classical results is obtained: if \(X\) is a finite product of ordinals and \(Y\) is separable or a ccc Baire space, then the space of all separately continuous functions \(f : X\times Y\to\mathbb{R}\) is of Baire class 1.
- Borel measurability of separately continuous functions. II.
- Lebesgue measurability of separately continuous functions and separability
- BAIRE MEASURABILITY OF SEPARATELY CONTINUOUS FUNCTIONS
- Approximation and Baire classification of separately continuous functions on products of generalized ordered and compact spaces
- On Baire classification of strongly separately continuous functions
- BAIRE MEASURABILITY OF SEPARATELY CONTINUOUS FUNCTIONS
- Continuous functions on products of compact Hausdorff spaces
- Continuous functions on totally ordered spaces that are compact in their order topologies
- Criteres de Compacite dans les Espaces Fonctionnels Generaux
- Descriptive sets and the topology of nonseparable Banach spaces
- scientific article; zbMATH DE number 3969623 (Why is no real title available?)
- scientific article; zbMATH DE number 3764213 (Why is no real title available?)
- scientific article; zbMATH DE number 42114 (Why is no real title available?)
- scientific article; zbMATH DE number 510713 (Why is no real title available?)
- Kadec norms and Borel sets in a Banach space
- On injective Banach spaces and the spaces \(L^ \infty(\mu)\) for finite measures \(\mu\)
- On the classification of stationary sets
- On weakly locally uniformly rotund Banach spaces
- Separate Continuity and Supports of Measures
- Set theory. An introduction to independence proofs. 2nd print
- Some Applications of Projective Resolutions of Identity
- Even continuity and topological equicontinuity in topologized semigroups
- Borel measures in nonseparable metric spaces
- Separate and joint continuity
- Borel measurable selections of Paretian utility functions
- Borel measurability of separately continuous functions. II.
- Borel properties of linear operators.
- A criterion for measurability of countable-to-one functions
- Approximation and Baire classification of separately continuous functions on products of generalized ordered and compact spaces
- Upper and lower Lebesgue classes of multivalued functions of two variables
- Note on separate continuity and the Namioka property
- Diagonals of separately absolutely continuous mappings coincide with the sums of absolutely convergent series of continuous functions
- Sums, Products and Continuity of Borel Maps in Nonseparable Metric Spaces
- Functions Equivalent to Borel Measurable Ones
- BAIRE MEASURABILITY OF SEPARATELY CONTINUOUS FUNCTIONS
- Equiconnected spaces and Baire classification of separately continuous functions and their analogs
- scientific article; zbMATH DE number 1293631 (Why is no real title available?)
- scientific article; zbMATH DE number 733114 (Why is no real title available?)
- Diagonals of separately pointwise Lipschitz mappings
- scientific article; zbMATH DE number 1900173 (Why is no real title available?)
- Tukey classification of some ideals on \(\omega\) and the lattices of weakly compact sets in Banach spaces
- On some problems concerning Borel structures in function spaces
- Separately Continuous Functions are Baire Functions
- Separately Fσ-measurable functions are close to functions of the first Baire class
- Pseudotrees and equivalent norms in the space of continuous functions.
- Making Borel functions look continuous
- Products of derived structures on topological spaces
- Diagonals of separately pointwise Lipschitz functions of n variables
- Luzin measurability of Carathéodory type mappings
- Existence and comparison results for fixed points of multifunctions with applications to normal-form games
- Lebesgue measurability of separately continuous functions and separability
This page was built for publication: Borel measurability of separately continuous functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1868875)
