Extreme points and descriptive sets
A class of closed, bounded, convex sets in the Banach space is shown to be a complete PCA set.
A class of closed, bounded, convex sets in the Banach space is shown to be a complete PCA set.
We prove that an -additive cover of a Čech complete, or more generally scattered-K-analytic space, has a σ-scattered refinement. This generalizes results of G. Koumoullis and R. W. Hansell.
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 .
In [2], D. E. Grow and M. Insall construct a countable compact set which is not the union of two H-sets. We make precise this result in two directions, proving such a set may be, but need not be, a finite union of H-sets. Descriptive set theory tools like Cantor-Bendixson ranks are used; they are developed in the book of A. S. Kechris and A. Louveau [6]. Two proofs are presented; the first one is elementary while the second one is more general and useful. Using the last one I prove in my thesis,...
The following theorem is proved. Let f: X → Y be a finite-to-one map such that the restriction is an inductively perfect map for every countable compact set S ⊂ Y. Then Y is a countable union of closed subsets such that every restriction is an inductively perfect map.
The concept of the distinguished sets is applied to the investigation of the functionally countable spaces. It is proved that every Baire function on a functionally countable space has a countable image. This is a positive answer to a question of R. Levy and W. D. Rice.
Let X and Y be two Polish spaces. Functions f,g: X → Y are called equivalent if there exists a bijection φ from X onto itself such that g∘φ = f. Using a theorem of J. Saint Raymond we characterize functions equivalent to Borel measurable ones. This characterization answers a question asked by M. Morayne and C. Ryll-Nardzewski.
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.
For a σ-ideal I of sets in a Polish space X and for A ⊆ , we consider the generalized projection (A) of A given by (A) = x ∈ X: Ax ∉ I, where =y ∈ X: 〈x,y〉∈ A. We study the behaviour of with respect to Borel and analytic sets in the case when I is a -supported σ-ideal. In particular, we give an alternative proof of the recent result of Kechris showing that [ for a wide class of -supported σ-ideals.
We examine the boundary behaviour of the generic power series with coefficients chosen from a fixed bounded set in the sense of Baire category. Notably, we prove that for any open subset of the unit disk with a nonreal boundary point on the unit circle, is a dense set of . As it is demonstrated, this conclusion does not necessarily hold for arbitrary open sets accumulating to the unit circle. To complement these results, a characterization of coefficient sets having this property is given....
We investigate the following question: under which conditions is a σ-compact partial two point set contained in a two point set? We show that no reasonable measure or capacity (when applied to the set itself) can provide a sufficient condition for a compact partial two point set to be extendable to a two point set. On the other hand, we prove that under Martin's Axiom any σ-compact partial two point set such that its square has Hausdorff 1-measure zero is extendable.
By Fin(X) (resp. ), we denote the hyperspace of all non-empty finite subsets of X (resp. consisting of at most k points) with the Vietoris topology. Let ℓ₂(τ) be the Hilbert space with weight τ and the linear span of the canonical orthonormal basis of ℓ₂(τ). It is shown that if or E is an absorbing set in ℓ₂(τ) for one of the absolute Borel classes and of weight ≤ τ (α > 0) then Fin(E) and each are homeomorphic to E. More generally, if X is a connected E-manifold then Fin(X) is homeomorphic...
It is shown that the following hyperspaces, endowed with the Hausdorff metric, are true absolute -sets: (1) ℳ ²₁(X) of Sierpiński universal curves in a locally compact metric space X, provided ℳ ²₁(X) ≠ ∅ ; (2) ℳ ³₁(X) of Menger universal curves in a locally compact metric space X, provided ℳ ³₁(X) ≠ ∅ ; (3) 2-cells in the plane.