We prove that every (extended) Borel subset E of X × Y, where X is complete metric and Y is Polish, can be covered by countably many extended Borel sets with compact sections if the sections , x ∈ X, are σ-compact. This is a nonseparable version of a theorem of Saint Raymond. As a by-product, we get a proof of Saint Raymond’s result which does not use transfinite induction.
We give several refinements of known theorems on Borel uniformizations of sets with “large sections”. In particular, we show that a set B ⊂ [0,1] × [0,1] which belongs to , α ≥ 2, and which has all “vertical” sections of positive Lebesgue measure, has a uniformization which is the graph of a -measurable mapping. We get a similar result for sets with nonmeager sections. As a corollary we derive an improvement of Srivastava’s theorem on uniformizations for Borel sets with sections.
We prove an abstract version of the Kuratowski extension theorem for Borel measurable maps of a given class. It enables us to deduce and improve its nonseparable version due to Hansell. We also study the ranges of not necessarily injective Borel bimeasurable maps f and show that some control on the relative classes of preimages and images of Borel sets under f enables one to get a bound on the absolute class of the range of f. This seems to be of some interest even within separable spaces.
We study binormality, a separation property of spaces endowed with two topologies known in the real analysis as the Luzin-Menchoff property. The main object of our interest are Banach spaces with their norm and weak topologies. We show that every separable Banach space is binormal and the space is not binormal.
Classical analytic spaces can be characterized as projections of Polish spaces. We prove analogous results for three classes of generalized analytic spaces that were introduced by Z. Frolík, D. Fremlin and R. Hansell. We use the technique of complete sequences of covers. We explain also some relations of analyticity to certain fragmentability properties of topological spaces endowed with an additional metric.
It is proved that -mappings preserve absolute Borel classes, which improves results of R. W. Hansell, J. E. Jayne and C. A. Rogers. The proof is based on the fact that any -mapping f: X → Y of an absolute Suslin metric space X onto an absolute Suslin metric space Y becomes a piecewise perfect mapping when restricted to a suitable -set satisfying .
The notion of -convergence of a sequence of functions is stronger than pointwise convergence and weaker than uniform convergence. It is inspired by the investigation of ill-posed problems done by A.N. Tichonov. We answer a question posed by M. Katětov around 1970 by showing that the only analytic metric spaces for which pointwise convergence of a sequence of continuous real valued functions to a (continuous) limit function on implies -convergence are -compact spaces. We show that the assumption...
Page 1 Next