Related papers: A categorical derivation of Lebesgue integration

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…

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…

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…

For each $1\leq p<\infty$ a space of integrable Schwartz distributions, $L^'^{\,p}$, is defined by taking the distributional derivative of all functions in $L^p$. Here, $L^p$ is with respect to Lebesgue measure on the real line. If $f\in…

L^p spaces of mappings taking values in arbitrary metric spaces, which we call nonlinear Lebesgue spaces, play an important role in several fields of mathematics. For instance, membership in these spaces is typically required for transport…

We develop integration theory for integrating functions taking values into a Dedekind complete unital $f$-algebra $\mathbb{L}$ with respect to $\mathbb{L}$-valued measures. We then discuss and prove completeness results of…

The classical Banach space $L_1(L_p)$ consists of measurable scalar functions $f$ on the unit square for which $$\|f\| = \int_0^1\Big(\int_0^1 |f(x,y)|^p dy\Big)^{1/p}dx < \infty.$$ We show that $L_1(L_p)$ $(1 < p < \infty)$ is primary,…

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…

The class of Banach spaces $(L^{q},L^{p}) ^{\alpha}(X,d,\mu)$, $1\leq q\leq \alpha \leq p\leq \infty ,$ introduced in \cite{F1} in connection with the study of the continuity of the fractional maximal operator of Hardy-Littlewood and of the…

We introduce the $\mathcal{L}^p$ spaces of measurable functions whose $p$-th power is summable with respect to the uniform measure over the Levi-Civita field $\mathcal{R}$. These spaces are the counterparts of the real $L^p$ spaces based…

We extend the well-known characterizations of convergence in the spaces $l_p$ ($1\le p<\infty$) of $p$-summable sequence and $c_0$ of vanishing sequences to a general characterization of convergence in a Banach space with a Schauder basis…

In this work we consider the general functional-integral equation: \begin{equation*} y(t) = f\left(t, \int_{a}^{b} k(t,s)g(s,y(s))ds\right), \qquad t\in [a,b], \end{equation*} and give conditions that guarantee existence and uniqueness of…

This work develops, from a functional analytic perspective, the construction of random variables in Lebesgue spaces L^p. It extends classical notions of measurability, integrability, and expectation to L^p valued functions, using Pettis's…

We establish an explicit characterisation of L\'evy measures on both $L^p$-spaces and UMD Banach spaces. In the case of $L^p$-spaces, L\'evy measures are characterised by an integrability condition, which directly generalises the known…

There are several characterizations of coarse embeddability of a discrete metric space into a Hilbert space. In this note we give such characterizations for general metric spaces. By applying these results to the spaces $L_p(\mu)$, we get…

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 Lebesgue-type decomposition for a representable functional on a $^*$-algebra into absolutely continuous and singular parts with respect to an other. This generalizes the corresponding results of S. P. Gudder for unital Banach…

In the first part we show that a vector-valued almost separably valued function $f$ is holomorphic (harmonic) if and only if it is dominated by an $L^1_\mathrm{loc}$ function and there exists a separating set $W\subset X'$ such that…

We study the problem of differentiation of integrals for certain bases in the infinite-dimensional torus $\mathbb{T}^\omega$. In particular, for every $p_0 \in [1,\infty)$, we construct a basis $\mathcal{B}$ which differentiates…

In this paper, we investigate the geometric properties of the variable mixed Lebesgue-sequence space $\ell^{q(\cdot)} (L^{p(\cdot)})$ as a Banach space. We show that, if $ 1<q_-,p_-,q_+,p_+<\infty $, then $\ell^{q(\cdot)} (L^{p(\cdot)})$ is…