Related papers: A nice example of Lebesgue integration
We study Riemann-Lebesgue integrability of a vector function relative to an arbitrary non-negative set function. We obtain some classical integral properties. Results regarding the continuity properties of the integral and relationships…
We present in this survey some results regarding Riemann_Lebesgue integrability with respect to arbitrary non-additive set functions.
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.
Alternative approaches to Lebesgue integration are considered.
We present a new type of integral that is supposed to extend the usability of the Lebesgue integral in certain types of investigations. It is based on the Hausdorff dimension and measure. We examine the basic properties of the integral and…
We consider Choquet integrals with respect to dyadic Hausdorff content of non-negative functions which are not necessarily Lebesgue measurable. We study the theory of Lebesgue points. The studies yield convergence results and also a density…
This is a review of some of the interesting properties of the Riemann Zeta Function.
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…
It is well-known that the Lebesgue integral generalises the Riemann integral. However, as is also well-known but less frequently well-explained, this generalisation alone is not the reason why the Lebesgue integral is important and needs to…
This text grew out of notes I have used in teaching a one quarter course on integration at the advanced undergraduate level. My intent is to introduce the Lebesgue integral in a quick, and hopefully painless, way and then go on to…
This work proves pointwise convergence of the truncated Fourier double integral of non-Lebesgue integrable bounded variation functions. This leads to the Dirichlet-Jordan theorem proof for non-Lebesgue integrable functions, which has not…
Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains. Formalizing the mathematical concept of integration and the associated results in a formal proof assistant helps in…
We present a modification of Riesz's construction of the Lebesgue integral, leading directly to finite or infinite integrals, at the same time simplifying the proofs.
We study a version of the Lebesgue differentiation theorem in which the integral averages are replaced with medians over Busemann--Feller differentiation bases. Our main result gives several characterizations for the differentiation…
In this note we give an example of an ergodic non-singular map whose unitary operator admits a Lebesgue component of multiplicity one in its spectrum.
Integrating with respect to functions which are constant on intervals whose bounds are discontinuity points (of those functions) is frequent in many branches of Mathematics, specially in stochastic processes. For such functions and alike…
A Banach space is said to have the Lebesgue property if every Riemann-integrable function $f:[0,1]\to X$ is Lebesgue almost everywhere continuous. We give a characterization of the Lebesgue property in terms of a new sequential asymptotic…
In classical analysis, Lebesgue first proved that $\mathbb{R}$ has the property that each Riemann integrable function from $[a,b]$ into $\mathbb{R}$ is continuous almost everywhere. This property is named as the Lebesgue property. Though…
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…
The aim of this paper is to provide characterizations of the Lebesgue-almost everywhere continuity of a function f : [a, b] $\rightarrow$ R. These characterizations permit to obtain necessary and sufficient conditions for the Riemann…