Non-separable analytic spaces and measurability
We investigate the problem if every compact space K carrying a Radon measure of Maharam type κ can be continuously mapped onto the Tikhonov cube (κ being an uncountable cardinal). We show that for κ ≥ cf(κ) ≥ κ this holds if and only if κ is a precaliber of measure algebras. Assuming that there is a family of null sets in such that every perfect set meets one of them, we construct a compact space showing that the answer to the above problem is “no” for κ = ω. We also give alternative proofs...
We establish that for a fairly general class of topologically transitive dynamical systems, the set of non-transitive points is very small when the rate of transitivity is very high. The notion of smallness that we consider here is that of σ-porosity, and in particular we show that the set of non-transitive points is σ-porous for any subshift that is a factor of a transitive subshift of finite type, and for the tent map of [0,1]. The result extends to some finite-to-one factor systems. We also show...
Let , where is a measurable space, and a topological space. We study inclusions between three classes of extended real-valued functions on which are upper semicontinuous in and satisfy some measurability conditions.
Let be a sequence of bases with . In the case when the are slowly growing and satisfy some additional weak conditions, we provide a construction of a number whose -Cantor series expansion is both -normal and -distribution normal. Moreover, this construction will result in a computable number provided we have some additional conditions on the computability of , and from this construction we can provide computable constructions of numbers with atypical normality properties.
We show a first nontrivial example of coarea formula for vector-valued Lipschitz maps defined on the three dimensional Heisenberg group. In this coarea formula, integration on level sets is performed with respect to the 2-dimensional spherical Hausdorff measure, built by the Carnot-Carathéodory distance. The standard jacobian is replaced by the so called horizontal jacobian, corresponding to the jacobian of the Pansu differential of the Lipschitz map. Joining previous results, we achieve all possible...