On Borel, Baire and Lebesgue sets.
Let X be an abelian Polish group. For every analytic Haar-null set A ⊆ X let T(A) be the set of test measures of A. We show that T(A) is always dense and co-analytic in P(X). We prove that if A is compact then T(A) is dense, while if A is non-meager then T(A) is meager. We also strengthen a result of Solecki and we show that for every analytic Haar-null set A, there exists a Borel Haar-null set B ⊇ A such that T(A)∖ T(B) is meager. Finally, under Martin’s Axiom and the negation of Continuum Hypothesis,...
Let G be a locally compact group, and let U be its unitary representation on a Hilbert space H. Endow the space ℒ(H) of bounded linear operators on H with the weak operator topology. We prove that if U is a measurable map from G to ℒ(H) then it is continuous. This result was known before for separable H. We also prove that the following statement is consistent with ZFC: every measurable homomorphism from a locally compact group into any topological group is continuous.
Let X, Y be uncountable Polish spaces and let μ be a complete σ-finite Borel measure on X. Denote by K and L the families of all meager subsets of X and of all subsets of Y with μ measure zero, respectively. It is shown that the product of the ideals K and L restricted to C-sets of Selivanovskiĭ is σ-saturated, which extends Gavalec's results.
We investigate an algebraic notion of decidability which allows a uniform investigation of a large class of notions of forcing. Among other things, we show how to build σ-fields of sets connected with Laver and Miller notions of forcing and we show that these σ-fields are closed under the Suslin operation.
We prove that in Polish, abelian, non-locally-compact groups the family of Haar null sets of Christensen does not fulfil the countable chain condition, that is, there exists an uncountable family of pairwise disjoint universally measurable sets which are not Haar null. (Dougherty, answering an old question of Christensen, showed earlier that this was the case for some Polish, abelian, non-locally-compact groups.) Thus we obtain the following characterization of locally compact, abelian groups: Let...
For , let be the set of points at which is Lipschitz from the left but not from the right. L.V. Kantorovich (1932) proved that, if is continuous, then is a “()-reducible set”. The proofs of L. Zajíček (1981) and B.S. Thomson (1985) give that is a -strongly right porous set for an arbitrary . We discuss connections between these two results. The main motivation for the present note was the observation that Kantorovich’s result implies the existence of a -strongly right porous set ...
We construct algebras of sets which are not MB-representable. The existence of such algebras was previously known under additional set-theoretic assumptions. On the other hand, we prove that every Boolean algebra is isomorphic to an MB-representable algebra of sets.