Baire category from an abstract viewpoint
We investigate Baire classes of strongly affine mappings with values in Fréchet spaces. We show, in particular, that the validity of the vector-valued Mokobodzki result on affine functions of the first Baire class is related to the approximation property of the range space. We further extend several results known for scalar functions on Choquet simplices or on dual balls of L₁-preduals to the vector-valued case. This concerns, in particular, affine classes of strongly affine Baire mappings, the...
For a countable ordinal α we denote by the class of separable, reflexive Banach spaces whose Szlenk index and the Szlenk index of their dual are bounded by α. We show that each admits a separable, reflexive universal space. We also show that spaces in the class embed into spaces of the same class with a basis. As a consequence we deduce that each is analytic in the Effros-Borel structure of subspaces of C[0,1].
For every α < ω₁ we establish the existence of a separable Banach space whose Szlenk index is and which is universal for all separable Banach spaces whose Szlenk index does not exceed . In order to prove that result we provide an intrinsic characterization of which Banach spaces embed into a space admitting an FDD with Tsirelson type upper estimates.
A topological space is called base-base paracompact (John E. Porter) if it has an open base such that every base has a locally finite subcover . It is not known if every paracompact space is base-base paracompact. We study subspaces of the Sorgenfrey line (e.g. the irrationals, a Bernstein set) as a possible counterexample.
We construct Bernstein sets in ℝ having some additional algebraic properties. In particular, solving a problem of Kraszewski, Rałowski, Szczepaniak and Żeberski, we construct a Bernstein set which is a < c-covering and improve some other results of Rałowski, Szczepaniak and Żeberski on nonmeasurable sets.
In this paper we study simultaneous approximation of real-valued functions in and give a generalization of some related results.
We prove that a Borel equivalence relation is classifiable by countable structures if and only if it is Borel reducible to a countable level of the hereditarily countable sets. We also prove the following result which was originally claimed in [FS89]: the zero density ideal of sets of natural numbers is not classifiable by countable structures.
We construct, for each countable ordinal ξ, a closed graph with Borel chromatic number 2 and Baire class ξ chromatic number ℵ₀.
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 the existence of Carathéodory selections and representations of a closed convex valued, lower Carathéodory multifunction from a set A in into a separable Banach space Y, where ℰ is a sub-σ-field of the Borel σ-field ℬ(E) of a Polish space E, X is a Polish space and A is the Suslin operation. As applications we obtain random versions of results on extensions of continuous functions and fixed points of multifunctions. Such results are useful in the study of random differential equations...
For a linear operator T in a Banach space let denote the point spectrum of T, let for finite n > 0 be the set of all such that dim ker(T - λ) = n and let be the set of all for which ker(T - λ) is infinite-dimensional. It is shown that is , is and for each finite n the set is the intersection of an set and a set provided T is closable and the domain of T is separable and weakly σ-compact. For closed densely defined operators in a separable Hilbert space a more detailed decomposition...
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.