Related papers: Gauge-measurable functions
In 1948 Feynman introduced functional integration. Long ago the problematic aspect of measures in the space of fields was overcome with the introduction of volume elements in Probability Space, leading to stochastic formulations. More…
Let $\lambda$ be an uncountable cardinal such that $2^{< \lambda } = \lambda$. Working in the setup of generalized descriptive set theory, we study the structure of $\lambda^+$-Borel measurable functions with respect to various kinds of…
We introduce Gaussian-type measures on the manifold of all metrics with a fixed volume form on a compact Riemannian manifold of dimension $\geq 3$. For this random model we compute the characteristic function for the $L^2$ (Ebin) distance…
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.…
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 provide an observability inequality in terms of a measurable set for general Gevrey regular functions. As an application, we establish an observability estimate from a measurable set for sums of Laplace eigenfunctions in a compact and…
We generalize in this short paper the classical Luzin's theorem about existence of integral on the measurable function and its multidimensional analogues on the many popular classes of rearrangement invariant (r.i.) spaces, namely, on the…
Given a non-archimedean real closed field with archimedean value group which contains the reals, we establish for the category of semialgebraic sets and functions a full Lebesgue measure and integration theory such that the main results…
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…
We provide a two-sided inequality for the alpha-optimal partition value of a measurable space according to n nonatomic finite measures. The result extends and often improves Legut (1988) since the bounds are obtained considering several…
We study Henstock-type integrals for functions defined in a compact metric space $T$ endowed with a regular $\sigma$-additive measure $\mu$, and taking values in a Banach lattice $X$. In particular, the space $[0,1]$ with the usual Lebesgue…
This is an introduction to measure theory, integration and function spaces, with all the needed preliminaries included, and with some applications included as well. We first discuss some basic motivations, coming from discrete probability,…
The main purpose of this paper is to investigate the behaviour of fractional integral operators associated to a measure on a metric space satisfying just a mild growth condition, namely that the measure of each ball is controlled by a fixed…
This paper presents two general criteria to determine spaceability results in the complements of unions of subspaces. The first criterion applies to countable unions of subspaces under specific conditions and is closely related to the…
We consider the notion of the matrix (tensor) distribution of a measurable function of several variables. On the one hand, it is an invariant of this function with respect to a certain group of transformations of variables; on the other…
We focus on measurability and integrability for set valued functions in non-necessarily separable Fr\'echet spaces. We prove some properties concerning the equivalence between different classes of measurable multifunctions. We also provide…
We consider topological gauge theories in three dimensions which are defined by metric independent lagrangians. It has been claimed that the functional integration necessarily depends nontrivially on the gauge-fixing metric. We demonstrate…
We show how a metric space induces a linear functional (a "mean") on real-valued functions with domains in that metric space. This immediately induces a "relative" measure on a collection of subsets of the underlying set.
In this paper, modified gamma and beta functions containing generalized M-series in their kernel are defined. Also, modified Gauss and confluent hypergeometric functions are defined using the modified beta function. Then, some properties of…
An integral for a scalar function with respect to a multimeasure $N$ taking its values in a locally convex space is introduced. The definition is independent of the selections of $N$ and is related to a functional version of the…