Related papers: Lebesgue integration on $\sigma$-locales: simple f…
The paper, that continuous some previous work of Sch\"onherr & Schuricht, treats density measures on ${\mathbb R}^n$ that concentrate in any neighborhood of a Lebesgue null set. Such measures are typical for purely finitely additive…
In this paper, we introduce the integration of algebroidal functions on Riemann surfaces for the first time. Some properties of integration are obtained. By giving the definition of residues and integral function element, we obtain the…
In this paper, we introduce the notion of a $\gamma$-density point for Lebesgue-measurable subsets of $\mathbb{R}$, where $\gamma$ is a modulus function, and study its basic measure-theoretic properties. We show that every $\gamma$-density…
We give a necessary and sufficient condition for non-local functionals on vector-valued Lebesgue spaces to be weakly sequentially lower semi-continuous. Here a non-local functional shall have the form of a double integral of a density which…
In this article, we show that a function $f\in M^{s,p}(X),$ $0<s\leq 1,$ $0<p<1,$ where $X$ is a doubling metric measure space, has generalized Lebesgue points outside a set of $\mathcal{H}^h$-Hausdorff measure zero for a suitable gauge…
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…
We prove a Cauchy-type integral formula for slice-regular functions where the integration is performed on the boundary of an open subset of the quaternionic space, with no requirement of axial symmetry. In particular, we get a local…
The Levi-Civita field $\mathcal{R}$ is the smallest non-Archimedean ordered field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order. In this paper we develop a new theory of…
The Bochner integral is a generalization of the Lebesgue integral, for functions taking their values in a Banach space. Therefore, both its mathematical definition and its formalization in the Coq proof assistant are more challenging as we…
A $\sigma$-frame is a poset with countable joins and finite meets in which binary meets distribute over countable joins. The aim of this paper is to show that $\sigma$-frames, actually $\sigma$-locales, can be seen as a branch of Formal…
It is shown that the approximating functions used to define the Bochner integral can be formed using geometrically nice sets, such as balls, from a differentiation basis. Moreover, every appropriate sum of this form will be within a…
We consider the pointwise approximation of a subharmonic function by the logarithm of the modulus of an entire function up to a bounded quantity. In the case of finite order an estimate from below of the planar Lebesgue measure of an…
Let $X$ be a complete measure space of finite measure. The Lebesgue transform of an integrable function $f$ on $X$ encodes the collection of all the mean-values of $f$ on all measurable subsets of $X$ of positive measure. In the problem of…
The Koba-Nielsen local zeta functions are integrals depending on several complex parameters, used to regularize the Koba-Nielsen string amplitudes. These integrals are convergent and admit meromorphic continuations in the complex…
We consider nonlinear, or "event-dependent", sampling, i.e. such that the sampling instances {tk} depend on the function being sampled. The use of such sampling in the construction of Lebesgue's integral sums is noted and discussed as…
We study Lebesgue integration of sums of products of globally subanalytic functions and their logarithms, called constructible functions. Our first theorem states that the class of constructible functions is stable under integration. The…
In this paper studied isometries of $F$-spaces of integrable functions with logarithm. In particular, using passports of Boolean algebra, a necessary and sufficient condition of isometry $F$-spaces of integrable functions of logarithm with…
We prove a generalization of the classical Gauss-Bonnet formula for metrics with logarithmic singularities on compact Riemann surfaces, under the condition that the Gaussian curvature is Lebesgue integrable with respect to the metric's area…
In this short note a new proof of the monotone con- vergence theorem of Lebesgue integral on \sigma-class is given.
Given a model of the theory of the real field with restricted analytic functions such that its value group has finite archimedean rank we show how one can extend the restricted logarithm to a global logarithm with values in the polynomial…