Related papers: Covering theorems and Lebesgue integration

Much of the vast literature on the integral during the last two centuries concerns extending the class of integrable functions. In contrast, our viewpoint is akin to that taken by Hassler Whitney [{\it Geometric integration theory},…

Let $0<p<\infty$ and $\Psi: [0,1) \to (0,\infty)$, and let $\mu$ be a finite positive Borel measure on the unit disc $\mathbb{D}$ of the complex plane. We define the Lebesgue-Zygmund space $L^p_{\mu,\Psi}$ as the space of all measurable…

Suppose $\Lambda$ is a discrete infinite set of nonnegative real numbers. We say that $ {\Lambda}$ is of type 1 if the series $s(x)=\sum_{\lambda\in\Lambda}f(x+\lambda)$ satisfies a zero-one law. This means that for any non-negative…

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…

We propose a unified treatment of extensions of group-valued contents (i.e., additive set functions defined on a ring) by means of adding new null sets. Our approach is based on the notion of a completion ring for a content $\mu$. With…

We discuss boundedness and compactness properties of the embedding $M_\Lambda^1\subset L^1(\mu)$, where $M_\Lambda^1$ is the closure of the monomials $x^{\lambda_n}$ in $L1([0,1])$ and $\mu$ is a finite positive Borel measure on the…

For $i = 0, 1, 2, \dots, k$, let $\mu_i$ be a Borel probability measure on $[0,1]$ which is equivalent to Lebesgue measure $\lambda$ and let $T_i:[0,1] \rightarrow [0,1]$ be $\mu_i$-preserving ergodic transformations. We say that…

The Riemann Mapping Theorem states existence of a conformal homeomorphism $\varphi$ of a simply connected plane domain $\Omega\subset\mathbb C$ with non-empty boundary onto the unit disc $\mathbb D\subset \mathbb C$. In the first part of…

Completeness relations are associated through Mercer's theorem to complete orthonormal basis of square integrable functions, and prescribe how a Dirac delta function can be decomposed into basis of eigenfunctions of a Sturm-Liouville…

Let $n, m, k$ be positive integers with $k=n-m+1$. We establish an abstract Morse-Sard-type theorem which allows us to deduce, on the one hand, a previous result of De Pascale's for Sobolev $W^{k,p}_{\textrm{loc}}(\mathbb{R}^n,…

In this paper we study nonlinear interpolation problems for interpolation and peak-interpolation sets of function algebras. The subject goes back to the classical Rudin-Carleson interpolation theorem. In particular, we prove the following…

We prove a version of the Lebesgue Differentiation Theorem for mappings that are defined on a measure space and take values into a metric space, with respect to the differentiation basis induced by a von Neumann lifting. As a consequence,…

New partial results are obtained related to the following old problem of Erd\"os: for any infinite set $X$ of real numbers to show that there is always a measurable (or, equivalently, closed) subset of reals of positive Lebesgue measure…

The Levi-Civita field $\mathcal{R}$ is the smallest non-Archimidean ordered field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order. In an earlier paper [Shamseddine-Berz-2003], a…

This paper presents a point-free version of the Lebesgue integral for simple functions on $\sigma$-locales. It describes the integral with respect to a measure defined on the coframe of all $\sigma$-sublocales, moving beyond the constraints…

Let $\Omega\subset \mathbb{R}^n$ be a bounded domain that can be written as $\Omega=\bigcup_{t} \Omega_t$, where $\{\Omega_t\}_{t\in\Gamma}$ is a countable collection of domains with certain properties. In this work, we develop a technique…

A generalization of the Lebesgue number lemma is obtained. It is proved that, if each countably infinite locally finite open cover of a chainable metric space $X$ has a Lebesgue number, then $X$ is totally bounded. A property of metric…

We remark a variant of the existence part of the fundamental theorem of calculus, which, together with the Lebesgue differentiation theorem, constitute a new proof that every Riemann-integrable function on a compact interval having limit…

We study the problem of differentiation of integrals for certain bases in the infinite-dimensional torus $\mathbb{T}^\omega$. In particular, for every $p_0 \in [1,\infty)$, we construct a basis $\mathcal{B}$ which differentiates…

We prove existence of solutions for a class of singular elliptic problems with a general measure as source term whose model is $$\begin{cases} -\Delta u = \frac{f(x)}{u^{\gamma}} +\mu & \text{in}\ \Omega, u=0 &\text{on}\ \partial\Omega, u>0…