On Borel-measurable collections of countable-dimensional 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,...
In this note we give a measure-theoretic criterion for the completeness of an inner product space. We show that an inner product space is complete if and only if there exists a -additive state on , the orthomodular poset of complete-cocomplete subspaces of . We then consider the problem of whether every state on , the class of splitting subspaces of , can be extended to a Hilbertian state on ; we show that for the dense hyperplane (of a separable Hilbert space) constructed by P. Pták and...
We find necessary and sufficient conditions for a Lipschitz map f : E ⊂ ℝk → X into a metric space to satisfy ℋk(f(E)) = 0. An interesting feature of our approach is that despite the fact that we are dealing with arbitrary metric spaces, we employ a variant of the classical implicit function theorem. Applications include pure unrectifiability of the Heisenberg groups.