Related papers: The Mimura Integral: A Unified Framework for Riema…

Here using some methods of combinatorial set theory, particularly the ones related to the construction of independent families of sets and some modified version of the notion of small sets originally introduced by Riecan, Riecan and…

The paper presents a new formula for the fractional integration, which generalizes the Riemann-Liouville and Hadamard fractional integrals into a single form, which when a parameter fixed at different values, produces the above integrals as…

For a given measure space $(X,{\mathscr B},\mu)$ we construct all measure spaces $(Y,{\mathscr C},\lambda)$ in which $(X,{\mathscr B},\mu)$ is embeddable. The construction is modeled on the ultrafilter construction of the Stone--\v{C}ech…

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 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,…

We develop a geometric framework for the numerical integration of mechanical systems evolving on manifolds. After briefly reviewing classical numerical methods and highlighting their limitations and shortcomings in non-flat (non-Euclidean)…

A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…

Multidimensional integration by parts formulas apply under the standard assumption that one of the functions is continuous and the other has bounded Hardy-Krause variation. Motivated by recently developed results in the probabilistic…

The Feynman path integral is defined over the space $\mathbb{R}^T$ of all possible paths; it has been a powerful tool to develop Quantum Mechanics. The absolute value of Feynman's integrand is not integrable, then Lebesgue integration…

We presented a novel geometric interpretation of the Riemann-Liouville fractional integral. We found that a Riemann-Liouville integral can be thought of as the area obtained by summing together the area of an infinite number of…

Lebesgue integration is a well-known mathematical tool, used for instance in probability theory, real analysis, and numerical mathematics. Thus its formalization in a proof assistant is to be designed to fit different goals and projects.…

Euclidean quantum measure in Regge calculus with independent area tensors is considered using example of the Regge manifold of a simple structure. We go over to integrations along certain contours in the hyperplane of complex connection…

In this paper we develop a theory of integration for locally band preserving functions, introduced by Ercan and Wickstead, on Dedekind complete $f$-algebras. Specifically, we construct Darboux and Riemann integrals and show that they are…

For essentially bounded functions on a (closed) compact Riemannian manifold, the noncommutative residue and the Dixmier trace formulation of the noncommutative integral are shown to equate to a multiple of the Lebesgue integral. The…

We suggest a construction that, given a trajectorial diffeomorphism between two Hamiltonian systems, produces integrals of them. As the main example we treat geodesic equivalence of metrics. We show that the existence of a non-trivially…

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…

Let $\mu$ be a positive finite measure on the unit circle. The Dirichlet type space $\mathcal{D}(\mu)$, associated to $\mu$, consists of holomorphic functions on the unit disc whose derivatives are square integrable when weighted against…

In this paper we develop a measure-theoretic method to treat problems in hypergraph theory. Our central theorem is a correspondence principle between three objects: An increasing hypergraph sequence, a measurable set in an ultraproduct…

Within a framework of noncommutative geometry, we develop an analogue of (pseudo) Riemannian geometry on finite and discrete sets. On a finite set, there is a counterpart of the continuum metric tensor with a simple geometric…

It is of course well known that the usual definitions of Riemann integration and Riemann integrals are equivalent to simpler definitions which can be expressed in terms of just one sequence of partitions, using dyadic intervals or dyadic…