Related papers: Measure theory and higher order arithmetic

Advancements in modern science have led to an increased prevalence of functional data, which are usually viewed as elements of the space of square-integrable functions $L^2$. Core methods in functional data analysis, such as functional…

Suppose $0 < \alpha \leq n$, $H: \Bbb R^n \to [0,1]$ is a Lebesgue measurable function, and $A_\alpha(H)$ is the infimum of all numbers $C$ for which the inequality $\int_B H(x) dx \leq C R^\alpha$ holds for all balls $B \subset \Bbb R^n$…

An integral on Euclidean space, equivalent to the Lebesgue integral, is constructed by extending the notion of Riemann sums. In contrast to the Henstock--Kurzweil and McShane integrals, the construction recovers the full measure-theoretic…

For continuous maps on a compact manifold M, particularly for those that do not preserve the Lebesgue measure m, we define the observable invariant probability measures as a generalization of the physical measures. We prove that any…

The theory of uniform approximation of real numbers motivates the study of products of consecutive partial quotients in regular continued fractions. For any non-decreasing positive function $\varphi:\mathbb{N}\to [2,\infty)$, we determine…

We show that for any locally compact second countable group $G$ and any continuous positive definite function $\phi:G\rightarrow\mathbb{C}$, there exists an ergodic measure preserving system $(X,\mathscr{B},\mu,\{T_g\}_{g \in G})$ and a…

We consider averages $\kappa$ of spectral measures of rank one perturbations with respect to a $\sigma$-finite measure $\nu$. It is examined how various degrees of continuity of $\nu$ with respect to $\alpha$-dimensional Hausdorff measures…

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…

Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman…

We prove that if a Borel probability measure (\mu) on (\T) is invariant under the action of a "large" multiplicative semigroup (lower logarithmic density is positive) and the action of the whole semigroup is ergodic then (\mu) is either…

A central topic in mathematical logic is the classification of theorems from mathematics in hierarchies according to their logical strength. Ideally, the place of a theorem in a hierarchy does not depend on the representation (aka coding)…

We show that for any set $A\subseteq [0,1]^n$ with $\text{Vol}(A)\ge 1/2$ there exists a line $\ell $ such that the one-dimensional Lebesgue measure of $\ell \cap A$ is at least $\Omega ( n^{1/4} )$. The exponent $1/4$ is tight. More…

Let $G$ be a connected compact group equipped with the normalised Haar measure $\mu$. Our first result shows that given $\alpha, \beta>0$, there is a constant $c = c(\alpha,\beta)>0$ such that for any compact sets $A,B\subseteq G$ with $…

Let $(\Omega,\Sigma,\mu)$ be a finite measure space, $Z$ be a Banach space and $\nu:\Sigma \to Z^*$ be a countably additive $\mu$-continuous vector measure. Let $X \subseteq Z^*$ be a norm-closed subspace which is norming for $Z$. Write…

If $\mu$ is a finite complex measure in the complex plane $\C$ we denote by $C^\mu$ its Cauchy integral defined in the sense of principal value. The measure $\mu$ is called reflectionless if it is continuous (has no atoms) and $C^\mu=0$ at…

Assume L(\mathbb{R},\mu) satisfies ZF+DC+\Theta>\omega_2 + \mu is a normal fine measure on \powerset_{\omega_1}(\mathbb{R}). The main result of this paper is the characterization theorem of L(\mathbb{R},\mu) which states that…

In the paper we represent two examples which are based on the properties of discrete measures. In the first part of the paper we prove that for each probability measure $\mu$, $\operatorname{supp}{\mu}=[-1,1]$, which logarithmic potential…

Let $(X,\mathcal{B},\mu,T)$ be a measure preserving system. We say that a function $f\in L^2(X,\mu)$ is $\mu$-mean equicontinuous if for any $\epsilon>0$ there is $k\in \mathbb{N}$ and measurable sets ${A_1,A_2,\cdots,A_k}$ with…

We report on an original formalization of measure and integration theory in the Coq proof assistant. We build the Lebesgue measure following a standard construction that had not yet been formalized in proof assistants based on dependent…

We provide an algorithm to approximate a finitely supported discrete measure $\mu$ by a measure $\nu_{N}$ corresponding to a set of $N$ points so that the total variation between $\mu$ and $\nu_N$ has an upper bound. As a consequence if…