(Annexe) Convergence en mesure des séries aléatoires vectorielles à multiplicateur borné
Some notions of limit weaker than the topological one are studied.
The necessary and sufficient condition for a function to be Borel measurable (given by Theorem stated below) provides a technique to prove (in Corollary 2) the existence of a Borel measurable map such that holds for each , where denotes Bernoulli sequence of random variables with .
Let be a locally compact group. Let be the left translation in , given by . We characterize (undre a mild set-theoretical hypothesis) the functions such that the map from into is scalarly measurable (i.e. for , is measurable). We show that it is the case when is measurable for each character , and if is compact, if and only if is Riemann-measurable. We show that is Borel measurable if and only if is left uniformly continuous.Some of the measure-theoretic tools used there...
We review the known facts and establish some new results concerning continuous-restrictions, derivative-restrictions, and differentiable-restrictions of Lebesgue measurable, universally measurable, and Marczewski measurable functions, as well as functions which have the Baire properties in the wide and restricted senses. We also discuss some known examples and present a number of new examples to show that the theorems are sharp.