On idempotent filters
The classification problem for measure preserving transformations is strictly more complicated than that of graph isomorphism.
Let T be the standard Cantor-Lebesgue function that maps the Cantor space onto the unit interval ⟨0,1⟩. We prove within ZFC that for every , X is meager additive in iff T(X) is meager additive in ⟨0,1⟩. As a consequence, we deduce that the cartesian product of meager additive sets in ℝ remains meager additive in ℝ × ℝ. In this note, we also study the relationship between null additive sets in and ℝ.
Let be a Polish ideal space and let be any set. We show that under some conditions on a relation it is possible to find a set such that is completely -nonmeasurable, i.e, it is -nonmeasurable in every positive Borel set. We also obtain such a set simultaneously for continuum many relations Our results generalize those from the papers of K. Ciesielski, H. Fejzić, C. Freiling and M. Kysiak.
We answer in the affirmative [Th. 3 or Corollary 1] the question of L. V. Keldysh [5, p. 648]: can every Borel set X lying in the space of irrational numbers ℙ not and of the second category in itself be mapped onto an arbitrary analytic set Y ⊂ ℙ of the second category in itself by an open map? Note that under a space of the second category in itself Keldysh understood a Baire space. The answer to the question as stated is negative if X is Baire but Y is not Baire.
We investigate some geometrical properties of squares of special Sierpiński sets. In particular, we prove that (under CH) there exists a Sierpiński set S and a function p: S → S such that the images of the graph of this function under π'(⟨x,y⟩) = x - y and π''(⟨x,y⟩) = x + y are both Lusin sets.
We study the generalized Cantor space and the generalized Baire space as analogues of the classical Cantor and Baire spaces. We equip with the topology where a basic neighborhood of a point η is the set ν: (∀j < i)(ν(j) = η(j)), where i < κ. We define the concept of a strong measure zero set of . We prove for successor that the ideal of strong measure zero sets of is -additive, where is the size of the smallest unbounded family in , and that the generalized Borel conjecture...
The cardinal invariants of are known to satisfy that . We prove that all inequalities can be strict. We also introduce a new upper bound for and show that it can be less than . The key method is to utilize finite support matrix iterations of ccc posets following paper Ultrafilters with small generating sets by A. Blass and S. Shelah (1989).
Let (X,τ) be a countable topological space. We say that τ is an analytic (resp. Borel) topology if τ as a subset of the Cantor set (via characteristic functions) is an analytic (resp. Borel) set. For example, the topology of the Arkhangel’skiĭ-Franklin space is . In this paper we study the complexity, in the sense of the Borel hierarchy, of subspaces of . We show that has subspaces with topologies of arbitrarily high Borel rank and it also has subspaces with a non-Borel topology. Moreover,...
Let be the set of all Dirichlet measures on the unit circle. We prove that is a non Borel analytic set for the weak* topology and that is not norm-closed. More precisely, we prove that there is no weak* Borel set which separates from (or even , the set of all measures singular with respect to every measure in . This extends results of Kaufman, Kechris and Lyons about and and gives many examples of non Borel analytic sets.