Related papers: The Real-Valued Bochner integral and the Modern Re…
We present a new approach to define a suitable integral for functions with values in quasi-Banach spaces. The integrals of Bochner and Riemann have deficiencies in the non-locally convex setting. The study of an integral for $p$-Banach…
The purpose of this article is to present the construction and basic properties of the general Bochner integral. The approach presented here is based on the ideas from the book The Bochner Integral by J. Mikusinski where the integral is…
We discuss relationships between the McShane, Pettis, Talagrand and Bochner integrals. A large number of different methods of integration of Banach-space-valued functions have been introduced, based on the various possible constructions 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…
We define an integral of real-valued functions with respect to a measure that takes its values in the extended positive cone of a partially ordered vector space $E$. The monotone convergence theorem, Fatou's lemma, and the dominated…
A "Bochner-type" integral for vector lattice-valued functions with respect to (possibly infinite) vector lattice-valued measures is presented with respect to abstract convergences, satisfying suitable axioms, and some fundamental properties…
In [22], it was proved that as long as the integrand has certain properties, the corresponding It\^o integral can be written as a (parameterized) Lebesgue integral (or a Bochner integral). In this paper, we show that such a question can be…
We define a monad M on a category of measurable bornological sets, and we show how this monad gives rise to a theory of vector-valued integration that is related to the notion of Pettis integral. We show that an algebra X of this monad is a…
Norm estimates are developed between the Bochner integral of a vector-valued function in Banach spaces having the Radon-Nikodym property and the convex combination of function values taken on a division of the interval [a,b].
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 develop a measure and integration theory for random normed modules. Given a probability space $({\rm X},\Sigma,\mathfrak m)$, we introduce and study measures taking values into the space $L^0(\mathfrak m)$ of $\mathfrak m$-measurable…
We study when the integration maps of vector measures can be computed as pointwise limits of their finite rank Radon-Nikod\'ym derivatives. We will show that this can sometimes be done, but there are also principal cases in which this…
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…
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…
A Bochner integral formula is derived that represents a function in terms of weights and a parametrized family of functions. Comparison is made to pointwise formulations, norm inequalities relating pointwise and Bochner integrals are…
Quasi-invariant and pseudo-differentiable measures on a Banach space $X$ over a non-Archimedean locally compact infinite field with a non-trivial valuation are defined and constructed. Measures are considered with values in $\bf R$.…
Hille's theorem is a powerful classical result in vector measure theory. It asserts that the application of a closed, unbounded linear operator commutes with strong/Bochner integration of functions taking values in a Banach space. This note…
In classical analysis, the relationship between continuity and Riemann integrability is an intimate one: a continuous function on a closed and bounded interval is always Riemann integrable whereas a Riemann integrable function is continuous…
In 1973, E.J. McShane proposed an alternative definition of the Lebesgue integral based on Riemann sums, where gauges are used decide what tagged partitions are allowed. Such an approach does not require any preliminary knowledge of Measure…
In this paper, we first introduce $\mathbb{L}$-$\mu$-measurable functions and $\mathbb{L}$-Bochner integrable functions on a finite measure space $(S,\mathcal{F},\mu),$ and give an $\mathbb{L}$-valued analogue of the canonical…