Related papers: Gauge-measurable functions
In this paper we show that if $(X,\mathcal{A})$ is a measurable space and if $Y$ is a topological model of a Lawvere theory $\mathcal{T}$ equipped with $\mathcal{B}$ the Borel $\sigma$-algebra on $Y$, then the set of…
This paper addresses the natural question: ``How should frames be compared?'' We answer this question by quantifying the overcompleteness of all frames with the same index set. We introduce the concept of a frame measure function: a…
It is well-known that a random variable, i.e., a function defined on a probability space, with values in a Borel space, can be represented on the special probability space consisting of the unit interval with Lebesgue measure. We show an…
We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of bounded operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a…
The Bochner integral is a generalization of the Lebesgue integral, for functions taking their values in a Banach space. Therefore, both its mathematical definition and its formalization in the Coq proof assistant are more challenging as we…
Lecture notes as per the title. In the first part, the concepts of a measurable space, measurable maps between measurable spaces and that of a measure on a measurable space are introduced, after which the fundamentals of the theory of…
Let $X$ be a complete measure space of finite measure. The Lebesgue transform of an integrable function $f$ on $X$ encodes the collection of all the mean-values of $f$ on all measurable subsets of $X$ of positive measure. In the problem of…
We consider Choquet integrals with respect to dyadic Hausdorff content of non-negative functions which are not necessarily Lebesgue measurable. We study the theory of Lebesgue points. The studies yield convergence results and also a density…
A bounded function $\phi: G\to \C$ on an LCA group $G$ is called Hartman measurable if it can be extended to a Riemann integrable function $\phi^*: X\to \C$ on some group compactification $(\iota_X,X)$, i.e. on a compact group $X$ such that…
It is shown that the approximating functions used to define the Bochner integral can be formed using geometrically nice sets, such as balls, from a differentiation basis. Moreover, every appropriate sum of this form will be within a…
Motivic measure on the space of functions was introduced by Campillo, Delgado and Gusein-Zade as an analog of the motivic measure on the space of arcs . In this paper we prove that the measure on the space of functions can be related to the…
The conceptual relation between the measurability of quantum mechanical observables and the computability of numerical functions is re-examined. A new formulation is given for the notion of measurability with finite precision in order to…
In this paper we define a type of generalized Riemann-Lebesgue (decomposition) integral for non-negative real functions with respect to two non-additive set functions. For this integral we present some classical properties.
The theory of integration over infinite-dimensional spaces is known to encounter serious difficulties. Categorical ideas seem to arise naturally on the path to a remedy. Such an approach was suggested and initiated by Segal in his…
We construct measure which determines a two-variable mean in a very natural way. Using that measure we can extend the mean to infinite sets as well. E.g. we can calculate the geometric mean of any set with positive Lebesgue measure. We also…
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…
In generalized Riemann integration (or Henstock-Kurzweil integration), the formation of the partitions used in Riemann sum construction is regulated by rules known as gauges. This article examines gauges for multi-dimensional Cartesian…
We study Measurable Imbeddability between groups, which is an order-like generalization of Measure Equivalence that allows the imbedded group to have an infinite measure fundamental domain. We prove if $\Lambda_1$ measurably imbeds into…
We define and develop a framework to understand functional integrals as countable families of Banach-valued Haar integrals on locally compact topological groups. The definition forgoes the goal of constructing a genuine measure on an…
Weighted model counting (WMC) is a popular framework to perform probabilistic inference with discrete random variables. Recently, WMC has been extended to weighted model integration (WMI) in order to additionally handle continuous…