Related papers: A Coq Formalization of the Bochner integral
We identify simple universal properties that uniquely characterize the Lebesgue $L^p$ spaces. There are two main theorems. The first states that the Banach space $L^p[0, 1]$, equipped with a small amount of extra structure, is initial as…
A function of positive type can be defined as a positive functional on a convolution algebra of a locally compact group. In the case where the group is abelian, by Bochner's theorem a function of positive type is, up to normalization, the…
We prove two versions of Bochner's theorem for locally compact quantum groups. First, every completely positive definite "function" on a locally compact quantum group $\G$ arises as a transform of a positive functional on the universal…
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…
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…
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].
A classical result by J. Diestel establishes that the composition of a summing operator with a (strongly measurable) Pettis integrable function gives a Bochner integrable function. In this paper we show that a much more general result is…
By using Cauchy integral formula in the theory of complex functions, the authors establish some integral representations for the principal branches of several complex functions involving the logarithmic function, find some properties, such…
In this paper we give a simple proof of inequalities of integrals of functions which are the composition of nonnegative continous convex functions on a vector space ${\bf R}^m$ and vector-valued functions in a weakly compact subset of a…
In this paper, we study integral functionals defined on spaces of functions with values on general (non-separable) Banach spaces. We introduce a new class of integrands and multifunctions for which we obtain measurable selection results.…
Let $\Bc$ denote the real-valued functions continuous on the extended real line and vanishing at $-\infty$. Let $\Br$ denote the functions that are left continuous, have a right limit at each point and vanish at $-\infty$. Define $\acn$ to…
Integral properties of multifunctions determined by vector valued functions are presented. Such multifunctions quite often serve as examples and counterexamples. In particular it can be observed that the properties of being integrable in…
This paper deals with functions that defined in metric spaces and valued in complete paranormed vector spaces or valued in Banach spaces, and obtains some necessary and sufficient conditions for weak convergence of finite measures.
In this paper we determine the Bochner measure for spherical functions on a semi-simple Lie group of rank one.
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…
We investigate the fundamental properties of quantum Borcherds-Bozec algebras and their representations. Among others, we prove that the quantum Borcherds-Bozec algebras have a triangular decomposition and the category of integrable…
While teaching untyped $\lambda$-calculus to undergraduate students, we were wondering why $\alpha$-equivalence is not directly inductively defined. In this paper, we demonstrate that this is indeed feasible. Specifically, we provide a…
A new integral representation is derived using a definite integral given by Cauchy and used to evaluate a number of integrals containing the finite series of special functions.
Functional integrals are defined in terms of locally compact topological groups and their associated Banach-valued Haar integrals. This approach generalizes the functional integral scheme of Cartier and DeWitt-Morette. The definition allows…
We investigate Bochner integrabilities of generalized Wiener functionals. We further formulate an It\^o formula for a diffusion in a distributional setting, and apply to investigate differentiability-index $s$ and integrability-index $p…