Related papers: A Remark on Lebesgue Criterion

In this paper we consider a fragment of the first-order theory of the real numbers that includes systems of equations of continuous functions in bounded domains, and for which all functions are computable in the sense that it is possible to…

The present article is devoted to one example which related to the Salem function. The main attention is given to properties of one type of functions including items related to functional equations, graphs, the Lebesgue integral, etc.

Let $F:[a,b]\longrightarrow \R$ have zero derivative in a dense subset of $[a,b]$. What else we need to conclude that $F$ is constant in $[a,b]$? We prove a result in this direction using some new Mean Value Theorems for integrals which are…

In this paper we develop a general theoretical tool for the establishment of the boundedness of notoriously difficult operators (such as potentials) on certain specific types of rearrangement-invariant function spaces from analogous…

We give a sharp sufficient condition on the distribution function, $|\{x\in \Omega :\,p(x)\leq 1+\lambda\}|$, $\lambda>0$, of the exponent function $p(\cdot): \Omega \to [1,\infty)$ that implies the embedding of the variable Lebesgue space…

Let X be a non-empty set and U a ring of subsets of X. The countable additive functions U->{0,1} are called measures. The paper gives some definitions (derivable measures, the Lebesgue-Stieltjes measures) and properties of these functions,…

Two representations theorems are presented: 1. Any Borel action of a second countable locally compact group $G$ on a standard Borel space $X$ admits an injective $G$-equivariant Borel map into the shift space of $1$-Lipschitz functions from…

We consider continuous maps of the interval which preserve the Lebesgue measure. Except for the identity map or $1 - \id$ all such maps have topological entropy at least $\log2/2$ and generically they have infinite topological entropy. In…

We introduce a notion being a $k$-fold Lebesgue function for measure preserving transformations, where any $2$-fold Lebesgue function is just ordinary Lebesgue. We discuss how this new metrical isomorphisms invariant of dynamical systems is…

For the functions $f$, which can be represented in the form of the convolution $f(x)=\frac{a_{0}}{2}+\frac{1}{\pi}\int\limits_{-\pi}^{\pi}\sum\limits_{k=1}^{\infty}e^{-\alpha k^{r}}\cos(kt-\frac{\beta\pi}{2})\varphi(x-t)dt$,…

We obtain results concerning the so-called factorization for the convergence of random variables almost everywhere (almost surely or with probability one), belonging to the classical Lebesgue-Riesz spaces and we extend these results to the…

We construct a uniformly expanding map of the interval, preserving Lebesgue measure, such that the corresponding transfer operator admits a spectral gap on the space of Lipschitz functions, but does not act continuously on the space of…

A generalization of the classical Sard theorem in the plane is the following. Let $f$ be a function defined on a subset $A\subset{\mathbb R}^2$. If $f$ has modulus of continuity $\omega(r)\lesssim r^2$, then $f(A)\subset{\mathbb R}$ has…

Lebesgue's dominated convergence theorem is a crucial pillar of modern analysis, but there are certain areas of the subject where this theorem is deficient. Deeper criteria for convergence of integrals are described in this article.

We describe a construction process of a relevant measure in any non-empty compact metric space. This probability measure has invariance properties with respect to isometric maps defined on open sets. These properties imply that this measure…

We lay out novel foundations for the computer-aided verification of guaranteed bounds on expected outcomes of imperative probabilistic programs featuring (i) general loops, (ii) continuous distributions, and (iii) conditioning. To handle…

In this paper we develop a rigorous foundation for the study of integration and measures on the space $\mathscr{G}(V)$ of all graphs defined on a countable labelled vertex set $V$. We first study several interrelated $\sigma$-algebras and a…

In this short note a new proof of the monotone con- vergence theorem of Lebesgue integral on \sigma-class is given.

We show that under rather general circumstances, the almost everywhere pointwise inequality $|f|(x) \le Mf (x)$ is equivalent to a weak form of the Lebesgue density theorem, for totally bounded closed sets. We derive both positive and…

In calculus, an indefinite integral of a function $f$ is a differentiable function $F$ whose derivative is equal to $f$. In present paper, we generalize this notion of the indefinite integral from the ring of real functions to any ring. The…