Related papers: Universal and complete sets in martingale theory
This article establishes a real-variable argument for Zygmund's theorem on almost everywhere convergence of strong arithmetic means of partial sums of Fourier series on $\mathbb{T}$, up to passing to a subsequence. Our approach extends to,…
The Lebesgue dominated convergence theorem of the measure theory implies that the Riemann integral of a bounded sequence of continuous functions over the interval [ 0,1] pointwise converging to zero, also converges to zero. The validity of…
We continue the analysis of random series associated to the multidimensional harmonic oscillator $-\Delta + |x|^2$ on $\mathbb{R}^d$ with d \geq 2$$. More precisely we obtain a necessary and sufficient condition to get the almost sure…
We prove the Martingale Convergence Theorem by using the work of L. Dubins and I. Monroe about embedding a given discrete-time martingale in the sample paths of a Brownian motion.
The concept of uniform distribution in $[0,1]$ is extended for a certain strictly separated maximal (in the sense of cardinality) family $(\lambda_t)_{t \in [0,1]}$ of invariant extensions of the linear Lebesgue measure $\lambda$ in…
We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete 1-types, then it has a Borel complete reduct. Similarly, if $Th(M)$ is not small, then $M^{eq}$ has…
We prove a universal projection theorem, giving conditions on a parametrized family of maps $\Pi_\lambda : X \to \mathbb{R}^d$ and a collection M of measures on X under which for almost every $\lambda$ equality $\dim_H \Pi_\lambda \mu =…
In this paper we investigate algorithmic randomness on more general spaces than the Cantor space, namely computable metric spaces. To do this, we first develop a unified framework allowing computations with probability measures. We show…
Let $G$ be a second-countable amenable group with a uniform $k$-approximate lattice $\Lambda$. For a projective discrete series representation $(\pi, \mathcal{H}_{\pi})$ of $G$ of formal degree $d_{\pi} > 0$, we show that $D^-(\Lambda) \geq…
In this paper we establish a complete representation theorem for $G$-martingales. Unlike the existing results in the literature, we provide the existence and uniqueness of the second order term, which corresponds to the second order…
We provide a composite version of Ville's theorem that an event has zero measure if and only if there exists a nonnegative martingale which explodes to infinity when that event occurs. This is a classic result connecting measure-theoretic…
For a transcendental entire function $f$ of finite order in the Eremenko-Lyubich class $\mathcal{B}$, we give conditions under which the Lebesgue measure of the escaping set $\mathcal{I}(f)$ of $f$ is zero. This is inspired by the recent…
Here I prove some extension theorem for multifunctions in a space with an arbitrary uniform structure and orbital completeness. The motivation comes from a fixed point theorem due to Dhage which is proved as a special case of the theorem…
We prove the theorem stated in the title. This answers a question of John Cobb (1994). We also consider the case of the Hilbert space $\ell _2$.
We prove an analogue of the portmanteau theorem on weak convergence of probability measures allowing measures which are unbounded on an underlying metric space but finite on the complement of any Borel neighbourhood of a fixed element.
Cantor sets in \(\mathbb{R}\) are common examples of sets for which Hausdorff measures can be positive and finite. However, there exist Cantor sets for which no Hausdorff measure is supported and finite. The purpose of this paper is to try…
This note describes Fatou's lemma and Lebesgue's dominated convergence theorem for a sequence of measures converging weakly to a finite measure and for a sequence of functions whose negative parts are uniformly integrable with respect to…
Consider a measurable space with an atomless finite vector measure. This measure defines a mapping of the $\sigma$-field into an Euclidean space. According to the Lyapunov convexity theorem, the range of this mapping is a convex compactum.…
We characterize the uniform convergence points set of a pointwisely convergent sequence of real-valued functions defined on a perfectly normal space. We prove that if $X$ is a perfectly normal space which can be covered by a disjoint…
This survey paper is based on a talk given at the 44th Summer Symposium in Real Analysis in Paris. This line of research was initiated by a question of Haight and Weizs\"aker concerning almost everywhere convergence properties of series of…