It is well known that the sets of the first category in a metric space can be described using the so-called Banach-Mazur game. We will show that if we change the rules of the Banach-Mazur game (by forcing the second player to choose large balls) then we can describe sets which can be covered by countably many closed uniformly porous sets. A characterization of σ-very porous sets and a sufficient condition for σ-porosity are also given in the terminology of games.
We construct a differentiable function () such that the set is a nonempty set of Hausdorff dimension . This answers a question posed by Z. Buczolich.
Let , . We construct a function which has Lipschitz Fréchet derivative on but is not a d.c. function.
We show that there exists a closed non--porous set of extended uniqueness. We also give a new proof of Lyons’ theorem, which shows that the class of -sets is not large in .
Let f be a Borel measurable mapping of a Luzin (i.e. absolute Borel metric) space L onto a metric space M such that f(F) is a Borel subset of M if F is closed in L. We show that then is a set for all except countably many y ∈ M, that M is also Luzin, and that the Borel classes of the sets f(F), F closed in L, are bounded by a fixed countable ordinal. This gives a converse of the classical theorem of Arsenin and Kunugui. As a particular case we get Taĭmanov’s theorem saying that the image of...
The main aim of this paper is to give a simpler proof of the following assertion. Let A be an analytic non-σ-porous subset of a locally compact metric space, E. Then there exists a compact non-σ-porous subset of A. Moreover, we prove the above assertion also for σ-P-porous sets, where P is a porosity-like relation on E satisfying some additional conditions. Our result covers σ-⟨g⟩-porous sets, σ-porous sets, and σ-symmetrically porous sets.
We show that in every Polish, abelian, non-locally compact group G there exist non-Haar null sets A and B such that the set {g ∈ G; (g+A) ∩ B is non-Haar null} is empty. This answers a question posed by Christensen.
We construct, for each countable ordinal ξ, a closed graph with Borel chromatic number 2 and Baire class ξ chromatic number ℵ₀.
We show that a comeager Π₁¹ hereditary family of compact sets must have a dense subfamily which is also hereditary. Using this, we prove an “abstract” result which implies the existence of independent ℳ ₀-sets, the meagerness of ₀-sets with the property of Baire, and generalizations of some classical results of Mycielski. Finally, we also give some natural examples of true sets.
Let be a porosity-like relation on a separable locally compact metric space . We show that the -ideal of compact --porous subsets of (under some general conditions on and ) forms a -complete set in the hyperspace of all compact subsets of , in particular it is coanalytic and non-Borel. Our general results are applicable to most interesting types of porosity. It is shown in the cases of the -ideals of -porous sets, --porous sets, -strongly porous sets, -symmetrically porous sets...
We show a general method of construction of non--porous sets in complete metric spaces. This method enables us to answer several open questions. We prove that each non--porous Suslin subset of a topologically complete metric space contains a non--porous closed subset. We show also a sufficient condition, which gives that a certain system of compact sets contains a non--porous element. Namely, if we denote the space of all compact subsets of a compact metric space with the Vietoris topology...
S. Solecki proved that if is a system of closed subsets of a complete separable metric space , then each Suslin set which cannot be covered by countably many members of contains a set which cannot be covered by countably many members of . We show that the assumption of separability of cannot be removed from this theorem. On the other hand it can be removed under an extra assumption that the -ideal generated by is locally determined. Using Solecki’s arguments, our result can be used...
Download Results (CSV)