A note on product of measures

Grzegorz Andrzejczak

DOI: https://doi.org/10.48550/arXiv.1810.11485

2018-10-27

Abstract:A slight modification to Halmos' definition of product of measures yields a uniquely characterized associative product. The operation applies to arbitrary (not necessarily $\sigma-$finite) measures and is consistent with the Fubini--Tonelli theorem.

Functional Analysis

What problem does this paper attempt to address?

General Countable Product Measures

Juan Carlos Sampedro

DOI: https://doi.org/10.48550/arXiv.1910.04914

2019-10-10

Functional Analysis

Abstract:A new construction of product measures is given for an arbitrary sequence of measure spaces via outer measure techniques giving a coherent extension of the classical theory of finite product measures to countable many. Moreover, the Lebesgue spaces of this measures are simplified in terms of finite product measures. This decomposition simplifies all the considerations regarding infinite dimensional integration and gives to it a computational framework.
Measures Defined on Quantum Logics of Sets

A. Aizpuru,A. Gutiérrez-Dávila,Wu Junde

DOI: https://doi.org/10.1007/s10773-005-4779-6

2005-01-01

International Journal of Theoretical Physics

Abstract:We study families formed with subsets of any set X which are quantum logics but which are not Boolean algebras. We consider sequences of measures defined on a sets quantum logics and valued on an effect algebra and obtain a sufficient condition for a sequences of such measures to be uniformly strongly additive with respect to order topology of effect algebras.
Existence of Infinite Product Measures

Juan Carlos Sampedro

2024-11-07

Abstract:A construction of product measures is given for an arbitrary sequence of measure spaces via outer measure techniques without imposing any condition on the underlying measure spaces. This approach concludes finally the problem of the existence of product measures in an elementary manner. Moreover, the $L_{p}$ spaces of this measures are simplified in terms of finite product measures following the approach of [21]. This decomposition simplifies infinite dimensional integration and gives to this theory a computational framework.

Functional Analysis
On the Applied Basis of Λ-Additive Fuzzy Measures

HZ Ye,Q Zhang

DOI: https://doi.org/10.1109/icips.1997.672792

1997-01-01

Abstract:The relationship between probability measures and /spl lambda/-additive fuzzy measures is used to give the definition of the product measures of /spl lambda/-additive fuzzy measures and Fubini's theorem is discussed. A Lebesgue decomposition-like theorem, Kolmogorov's zero-one law and the important Borel-Cantelli lemma for /spl lambda/-additive fuzzy measures are established.
A note on tempered measures

Michael Baake,Nicolae Strungaru

DOI: https://doi.org/10.4064/cm8796-7-2022

2022-10-17

Abstract:The relation between tempered distributions and measures is analysed and clarified. While this is straightforward for positive measures, it is surprisingly subtle for signed or complex measures.

Functional Analysis,Mathematical Physics
Fubini-Tonelli type theorem for non product measures in a product space

Jorge Salazar

DOI: https://doi.org/10.48550/arXiv.1806.04124

2018-06-12

Abstract:I prove a theorem about iterated integrals for non-product measures in a product space. The first task is to show the existence of a family of measures on the second space, indexed by the points on of the first space (outside a negligible set), such that integrating the measures on the index against the first marginal gives back the original measure (see Theorem 2.1). At the end, I give a simple application in Optimal Transport.

Probability
Fubini’s Theorem on Measure

Noboru Endou

DOI: https://doi.org/10.1515/forma-2017-0001

2017-03-28

Formalized Mathematics

Abstract:Summary The purpose of this article is to show Fubini’s theorem on measure [16], [4], [7], [15], [18]. Some theorems have the possibility of slight generalization, but we have priority to avoid the complexity of the description. First of all, for the product measure constructed in [14], we show some theorems. Then we introduce the section which plays an important role in Fubini’s theorem, and prove the relevant proposition. Finally we show Fubini’s theorem on measure.
Product Pre-Measure

Noboru Endou

DOI: https://doi.org/10.1515/forma-2016-0006

2016-03-01

Formalized Mathematics

Abstract:Summary In this article we formalize in Mizar [5] product pre-measure on product sets of measurable sets. Although there are some approaches to construct product measure [22], [6], [9], [21], [25], we start it from σ-measure because existence of σ-measure on any semialgebras has been proved in [15]. In this approach, we use some theorems for integrals.
Positive positive-definite functions and measures on locally compact abelian groups

Alexandr Borisov

DOI: https://doi.org/10.48550/arXiv.math/9906126

1999-06-19

Abstract:The author was recently able to provide a cohomological interpretation of Tate's Riemann-Roch formula for number fields using some new harmonic analysis objects, ghost-spaces. When trying to investigate these objects in general, we realized the importance of functions and measures on locally compact abelian groups that are both positive and positive-definite at the same time. It looks like this class of functions and measures was not systematically studied before. The goal of this paper is to partially fill in this gap. We answer some of the natural questions involving these functions and measures, especially those that satisfy some extra integrability conditions. We also study some operations and constructions involving these functions and measures. There are several very interesting open questions, that we are only able to point out at this moment. In particular, the structure of the cone of such functions is not clear even when the group is just $\R.$

Functional Analysis
On a class of Hausdorff measure of cartesian product sets

Hajer Jebali,Riheb Guedri,Najmeddine Attia

2024-01-06

Abstract:In this paper, we study, in a separable metric space, a class of Hausdorff measures $\mathcal{H}_\mu^{q, \xi}$ defined using a measure $\mu$ and a premeasure $\xi$. We discuss a Hausdorff structure of product sets. Weighted Hausdorff measures $\mathcal{W}_\mu^{q, \xi}$ appeared as an important tool when studying the product sets. When $\mu$ and $\xi$ are blanketed, we prove that $\mathcal{H}_\mu^{q, \xi} = \mathcal{W}_\mu^{q, \xi}$. As an application, the case when $\xi$ is defined as the Hausdorff function is considered.

Classical Analysis and ODEs
An Inner Product on Adelic Measures: With Applications to the Arakelov-Zhang Pairing

Peter J. Oberly

2024-05-18

Abstract:We define an inner product on a vector space of adelic measures over a number field. We find that the norm induced by this inner product governs weak convergence at each place of $K$. The canonical adelic measure associated to a rational map is in this vector space, and the square of the norm of the difference of two such adelic measures is the Arakelov-Zhang pairing from arithmetic dynamics. We prove a sharp lower bound on the norm of adelic measures with points of small adelic height. We find that the norm of a canonical adelic measure associated to a rational map is commensurate with the Arakelov height on the space of rational functions with fixed degree. As a consequence, the Arakelov-Zhang pairing of two rational maps $f$ and $g$ can be bounded from below as a function of $g$.

Number Theory,Dynamical Systems
A Product on Lorenz Hulls, Zonoids, and Vector Measure Ranges

John Steinberger,Zhe Zhang

2023-09-07

Abstract:A Lorenz hull is the convex hull of the range of an $n$-dimensional vector of finite signed measures defined on a common measurable space. We show that the set of $n$-dimensional Lorenz hulls is endowed with a natural product that is commutative, associative, and distributive over Minkowski sums. The same holds with "zonoid" in place of "Lorenz hull" as the two concepts give rise to the same set of subsets of $\mathbb{R}^n$. The product is defined via the common notion of a product measure.

Dynamical Systems,Probability
On additive property of finitely additive measures

Ryoichi Kunisada

DOI: https://doi.org/10.48550/arXiv.1905.09206

2019-05-22

Abstract:By the additive property, we mean a condition under which $L^p$ spaces over finitely additive measures are complete. Basile and Rao gives a necessary and sufficient condition that a finite sum of finitely additive measures has the additive property. We generalize this result to the case of a countable sum of finitely additive meaures. An application of this result to density measures are also presented.

Functional Analysis,General Topology
A Functional Characterization of Measures and the Banach–Ulam Problem

Lixin Cheng,Huihua Shi

DOI: https://doi.org/10.1016/j.jmaa.2010.06.020

IF: 1.417

2011-01-01

Journal of Mathematical Analysis and Applications

Abstract:For a measurable space (Ω,A), let ℓ∞(A) be the closure of span{χA:A∈A} in ℓ∞(Ω). In this paper we show that a sufficient and necessary condition for a real-valued finitely additive measure μ on (Ω,A) to be countably additive is that the corresponding functional ϕμ defined by 〈ϕμ,x〉=∫Ωxdμ (for x∈ℓ∞(A)) is w*-sequentially continuous. With help of the Yosida–Hewitt decomposition theorem of finitely additive measures, we show consequently that every continuous functional on ℓ∞(A) can be uniquely decomposed into the ℓ1-sum of a w*-continuous functional, a purely w*-sequentially continuous functional and a purely (strongly) continuous functional. Moreover, several applications of the results to measure extension are given.
A note on the smash product and regular associativity

Marco Grandis

2024-09-03

Abstract:This note is about the smash product of pointed topological spaces, without relying on some convenient subcategory. We deal with its partial associativity properties and their connection with the function spaces, introducing a property of regular associativity related to the colax monoidal structure of the product. We also study a large class of triples of pointed spaces where associativity fails. Lax and colax monoidal structures are unusual and interesting, in category theory. Some parts of this note will be obvious to a topologist and others to a categorist, in order to take into account both backgrounds.

Algebraic Topology
The nonabelian product modulo sum

Samuel M. Corson

2023-09-28

Abstract:It is shown that if $\{H_n\}_{n \in \omega}$ is a sequence of groups without involutions, with $1 < |H_n| \leq 2^{\aleph_0}$, then the topologist's product modulo the finite words is (up to isomorphism) independent of the choice of sequence. This contrasts with the abelian setting: if $\{A_n\}_{n \in \omega}$ is a sequence of countably infinite torsion-free abelian groups, then the isomorphism class of the product modulo sum $\prod_{n \in \omega} A_n/\bigoplus_{n \in \omega} A_n$ is dependent on the sequence.

Group Theory,Logic
A p -adic analog of Hasse--Davenport product relation involving ŌĶ-factors

Dani Szpruch

DOI: https://doi.org/10.1515/forum-2023-0347

2024-03-27

Forum Mathematicum

Abstract:In this paper we prove some generalizations of the classical Hasse‚ÄďDavenport product relation for certain arithmetic factors defined on a p -adic field F , among them one finds the ŌĶ-factors appearing in Tate's thesis. We then show that these generalizations are equivalent to some representation theoretic identities relating the determinant of ramified local coefficients matrices defined for coverings of SL 2 ‚ĀĘ ( F ) to Plancherel measures and ő≥-factors.

mathematics, applied
An elementary proof of representation of submodular function as an supremum of measures on $σ$-algebra with totally ordered generating class

Tetsuya Hattori

2024-06-26

Abstract:We give an alternative proof of a fact that a finite continuous non-decreasing submodular set function on a measurable space can be expressed as a supremum of measures dominated by the function, if there exists a class of sets which is totally ordered with respect to inclusion and generates the sigma-algebra of the space. The proof is elementary in the sense that the measure attaining the supremum in the claim is constructed by a standard extension theorem of measures. As a consequence, a uniquness of the supremum attaining measure also follows. A Polish space is an examples of the measurable space which has a class of totally ordered sets that generates the Borel sigma-algebra.

Functional Analysis,Probability,Risk Management
Measure theoretic properties of large products of consecutive partial quotients

Adam Brown-Sarre,Gerardo González Robert,Mumtaz Hussain

2024-05-17

Abstract:The theory of uniform approximation of real numbers motivates the study of products of consecutive partial quotients in regular continued fractions. For any non-decreasing positive function $\varphi:\mathbb{N}\to\mathbb{R}_{>0}$ and $\ell\in \mathbb{N}$, we determine the Lebesgue measure and Hausdorff dimension of the set $\mathcal{F}_{\ell}(\varphi)$ of irrational numbers $x$ whose regular continued fraction $x~=~[a_1(x),a_2(x),\ldots]$ is such that for infinitely many $n\in\mathbb{N}$ there are two numbers $1\leq j<k \leq n$ satisfying \[ a_{k}(x)\cdots a_{k+\ell-1}(x)\geq \varphi(n), \; a_{j}(x)\cdots a_{j+\ell-1}(x)\geq \varphi(n). \] One of the consequences of the results is that the strong law of large numbers for products of $\ell$ consecutive partial quotients is impossible even if the block with the largest product is removed.

Number Theory
Marginals, measurable modifications of stochastic processes, and the product lifting problem

N.D. Macheras,W. Strauss

DOI: https://doi.org/10.48550/arXiv.1707.02807

2019-01-25

Abstract:This paper deals with the problem of measurable lifting modification for stochastic processes in its most general form and with the 'product lifting problem'. Solutions to the positive are reduced to the existence of marginals with respect to product probability spaces between the ordinary product and the product whose probability measure is the restriction of the skew product of the factor probabilities to the $\sigma$-algebra obtained by adjoing either the right or left nil-null sets to the ordinary product algebra. We discuss the problem of the existence of (strong) marginals.

Probability

A note on product of measures

General Countable Product Measures

Measures Defined on Quantum Logics of Sets

Existence of Infinite Product Measures

On the Applied Basis of Λ-Additive Fuzzy Measures

A note on tempered measures

Fubini-Tonelli type theorem for non product measures in a product space

Fubini’s Theorem on Measure

Product Pre-Measure

Positive positive-definite functions and measures on locally compact abelian groups

On a class of Hausdorff measure of cartesian product sets

An Inner Product on Adelic Measures: With Applications to the Arakelov-Zhang Pairing

A Product on Lorenz Hulls, Zonoids, and Vector Measure Ranges

On additive property of finitely additive measures

A Functional Characterization of Measures and the Banach–Ulam Problem

A note on the smash product and regular associativity

The nonabelian product modulo sum

A p -adic analog of Hasse--Davenport product relation involving ŌĶ-factors

An elementary proof of representation of submodular function as an supremum of measures on $σ$-algebra with totally ordered generating class

Measure theoretic properties of large products of consecutive partial quotients

Marginals, measurable modifications of stochastic processes, and the product lifting problem