Une remarque sur le schéma de Bernoulli et quelques extensions
Galvin and Prikry defined completely Ramsey sets and showed that the class of completely Ramsey sets forms a σ-algebra containing open sets. However, they used two definitions of completely Ramsey. We show that they are not equivalent as they remarked. One of these definitions is a more uniform property than the other. We call it the uniformly completely Ramsey property. We show that some of the results of Ellentuck, Silver, Brown and Aniszczyk concerning completely Ramsey sets also hold for uniformly...
Let be a unimodular Pisot substitution over a letter alphabet and let be the associated Rauzy fractals. In the present paper we want to investigate the boundaries () of these fractals. To this matter we define a certain graph, the so-called contact graph of . If satisfies a combinatorial condition called the super coincidence condition the contact graph can be used to set up a self-affine graph directed system whose attractors are certain pieces of the boundaries . From this graph...
For α∈(0, 1) an α-trimming, P∗, of a probability P is a new probability obtained by re-weighting the probability of any Borel set, B, according to a positive weight function, f≤1/(1−α), in the way P∗(B)=∫Bf(x)P(dx). If P, Q are probability measures on euclidean space, we consider the problem of obtaining the best L2-Wasserstein approximation between: (a) a fixed probability and trimmed versions of the other; (b) trimmed versions of both probabilities. These best trimmed approximations naturally...
We prove that, up to scalar multiples, there exists only one local regular Dirichlet form on a generalized Sierpi´nski carpet that is invariant with respect to the local symmetries of the carpet. Consequently, for each such fractal the law of Brownian motion is uniquely determined and the Laplacian is well defined.
Let X be a Banach space, a norming set and (X,B) the topology on X of pointwise convergence on B. We study the following question: given two (non-negative, countably additive and finite) measures μ₁ and μ₂ on Baire(X,w) which coincide on Baire(X,(X,B)), does it follow that μ₁ = μ₂? It turns out that this is not true in general, although the answer is affirmative provided that both μ₁ and μ₂ are convexly τ-additive (e.g. when X has the Pettis Integral Property). For a Banach space Y not containing...
We prove that each analytic set in ℝⁿ contains a universally null set of the same Hausdorff dimension and that each metric space contains a universally null set of Hausdorff dimension no less than the topological dimension of the space. Similar results also hold for universally meager sets. An essential part of the construction involves an analysis of Lipschitz-like mappings of separable metric spaces onto Cantor cubes and self-similar sets.
A subset of a topological space is said to be universally measurable if it is measured by the completion of each countably additive σ-finite Borel measure on the space, and universally null if it has measure zero for each such atomless measure. In 1908, Hausdorff proved that there exist universally null sets of real numbers of cardinality ℵ₁, and thus that there exist at least such sets. Laver showed in the 1970’s that consistently there are just continuum many universally null sets of reals....