Related papers: On Riemann Integration in Metrizable Vector Spaces

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…

We remark a variant of the existence part of the fundamental theorem of calculus, which, together with the Lebesgue differentiation theorem, constitute a new proof that every Riemann-integrable function on a compact interval having limit…

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…

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…

In this paper we focus on the relation between Riemann integrability and weak continuity. A Banach space $X$ is said to have the weak Lebesgue property if every Riemann integrable function from $[0,1]$ into $X$ is weakly continuous almost…

We show that the set of Lebesgue integrable functions in $[0,1]$ which are nowhere essentially bounded is spaceable, improving a result from [F. J. Garc\'{i}a-Pacheco, M. Mart\'{i}n, and J. B. Seoane-Sep\'ulveda. \textit{Lineability,…

We prove a uniformly continuous linear extension principle in topological vector spaces from which we derive a very short and canonical construction of the Lebesgue integral of Banach space valued maps on a finite measure space. The Vitali…

Rademacher theorem states that every Lipschitz function on the Euclidean space is differentiable almost everywhere, where "almost everywhere" refers to the Lebesgue measure. In this paper we prove a differentiability result of similar type,…

We study Riemann-Lebesgue integrability of a vector function relative to an arbitrary non-negative set function. We obtain some classical integral properties. Results regarding the continuity properties of the integral and relationships…

The Lebesgue property (order-continuity) of a monotone convex function on a solid vector space of measurable functions is characterized in terms of (1) the weak inf-compactness of the conjugate function on the order-continuous dual space,…

The aim of this paper is to provide characterizations of the Lebesgue-almost everywhere continuity of a function f : [a, b] $\rightarrow$ R. These characterizations permit to obtain necessary and sufficient conditions for the Riemann…

In this paper, we introduce the notion of a $\gamma$-density point for Lebesgue-measurable subsets of $\mathbb{R}$, where $\gamma$ is a modulus function, and study its basic measure-theoretic properties. We show that every $\gamma$-density…

We consider the space of functions almost in $L_p$ and endow it with the topology of asymptotic $L_p$-convergence. This yields a completely metrizable topological vector space which, on finite measure spaces, coincides with the space of…

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…

The linear continuity of a function defined on a vector space means that its restriction on every affine line is continuous. For functions defined on $\mathbb R^m$ this notion is near to the separate continuity for which it is required only…

We consider the space $C_{\lambda}$ of all continuous interval maps preserving the Lebesgue measure $\lambda$. A continuous function $f\colon~[0,1]\to \mathbb R$ is called Besicovitch if it does not have any finite or infinite unilateral…

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

In this article, we propose a general theory of integration of the Riemann and Lebesgue types with respect to arbitrary measures and functions, connected by a continuous bilinear product, with values in abstract vector spaces endowed with a…

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…

We provide several characterizations of the Lebesgue property for fuzzy metric spaces. It is known that a fuzzy metric space is Lebesgue if and only if every real-valued continuous function is uniformly continuous. Here we show that it…