Related papers: The Real-Valued Bochner integral and the Modern Re…

Within Bishop-style constructive mathematics we study the classical McShane-Whitney theorem on the extendability of real-valued Lipschitz functions defined on a subset of a metric space. Using a formulation similar to the formulation of…

We give a notion of BV function on an oriented manifold where a volume form and a family of lower semicontinuous quadratic forms $G_p: T_pM \to [0,\infty]$ are given. When we consider sub-Riemannian manifolds, our definition coincide with…

In generalized Lebesgue spaces L^{p(.)} with variable exponent p(.) defined on the real axis, we obtain several inequalities of approximation by integral functions of finite degree. Approximation properties of Bernstein singular integrals…

It has been proven in previous papers that each Henstock-Kurzweil-Pettis integrable multifunction with weakly compact values can be represented as a sum of one of its selections and a Pettis integrable multifunction. We prove here that if…

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

We prove martingale-ergodic and ergodic-martingale theorems for vector valued Bochner integrable functions. We obtain dominant and maximal inequalities. We also prove weighted and multiparameter martingale-ergodic and ergodic martingale…

Measure and integral are two closely related, but distinct objects of study. Nonetheless, they are both real-valued lattice valuations: order preserving real-valued functions $\phi$ on a lattice $L$ which are modular, i.e.,…

A charge space $(X,\mathcal{A},\mu)$ is a generalisation of a measure space, consisting of a sample space $X$, a field of subsets $\mathcal{A}$ and a finitely additive measure $\mu$, also known as a charge. Key properties a real-valued…

In this article, we first try to make the known analogy between convexity and plurisubharmonicity more precise. Then we introduce a notion of strict plurisubharmonicity analogous to strict convexity, and we show how this notion can be used…

We introduce Kuelbs-Steadman-type spaces for real-valued functions, with respect to countably additive measures, taking values in Banach spaces. We investigate their main properties and embeddings in $L^p$-type spaces, considering both the…

We investigate integral representation of vector-valued function spaces, i.e., of subspaces $H\subset C(K,E)$, where $K$ is a compact space and $E$ is a (real or complex) Banach space. We point out that there are two possible ways of…

In this paper, we analyze multi-dimensional $({\mathrm R}_{X},{\mathcal B})$-almost periodic type functions and multi-dimensional Bohr ${\mathcal B}$-almost periodic type functions. The main structural characterizations and composition…

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 non-Archimedean…

In this paper we study best \(m\)-term trigonometric approximation in weighted Wiener spaces and its consequences for Besov and Sobolev spaces with bounded mixed derivative/difference. We obtain several sharp asymptotic bounds for weighted…

Some reverses of the continuous triangle inequality for Bochner integral of vector-valued functions in complex Hilbert spaces are given. Applications for complex-valued functions are provided as well.

Let $A$ be a vector space of real valued functions on a non-empty set $X$ and $L:A\rightarrow\mathbb{R}$ a linear functional. Given a $\sigma$-algebra $\mathcal{A}$, of subsets of $X$, we present a necessary condition for $L$ to be…

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…

We demonstrate the almost everywhere convergence of the planar Bochner-Riesz means for $L^p$ functions in the optimal range when $5/3\leq p\leq 2$. This is achieved by establishing a sharp $L^{5/3}$ estimate for a maximal operator closely…

H. Cartan in his book on differential calculus proved a theorem generalizing a Cauchy's mean-value theorem to the case of functions taking values in a Banach space. Cartan used this theorem in a masterful way to develop the entire theory of…

We collect several open questions in Banach spaces, mostly related to measure theoretic aspects of the theory. The problems are divided into five categories: miscellaneous problems in Banach spaces (non-separable $L^p$ spaces, compactness…