Properties of functions on a bounded charge space

DOI10.1515/AGMS-2022-0134MaRDI QIDQ2154471zbMATH OpenOpenAlexFDO

Authors Jonathan M. Keith

Publication date 19 July 2022

Published in Analysis and Geometry in Metric Spaces (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2106.10894

zbMATH Keywords

\(L_p\) space\(T_1\)-measurabilityBanach spacecomplete measure spacefinitely additive measurePeano-Jordan completion

Mathematics Subject Classification ID

Measurable and nonmeasurable functions, sequences of measurable functions, modes of convergence (28A20) Integration with respect to measures and other set functions (28A25) Spaces of measurable functions ((L^p)-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc.) (46E30)

Abstract: A charge space $(X,mathcalA,mu)$ is a generalisation of a measure space, consisting of a sample space $X$, a field of subsets $mathcalA$ and a finitely additive measure $mu$, also known as a charge. Key properties a real-valued function on $X$ may possess include $T_1$-measurability and integrability. These properties are generalisations of corresponding properties of real-valued functions on a (countably additive) measure space. However, these properties are less well studied than their measure-theoretic counterparts. This paper describes new characterisations of $T_1$-measurability and integrability in the case that the charge space is bounded, that is, $mu(X)<infty$. These characterisations are convenient for analytic purposes; for example, they facilitate simple proofs that $T_1$-measurability is equivalent to conventional measurability and integrability is equivalent to Lebesgue integrability, if $(X,mathcalA,mu)$ is a complete measure space. Several additional contributions to the theory of bounded charges are also presented. New characterisations of equality almost everywhere of two real-valued functions on a bounded charge space are provided. Necessary and sufficient conditions for the function space $L_1(X,mathcalA,mu)$ to be a Banach space are determined. Lastly, the concept of completion of a measure space is generalised for charge spaces, and it is shown that under certain conditions, completion of a charge space adds no new equivalence classes to the quotient space $mathcal{L}_p(X,mathcalA,mu)$.

Recommendations

• A remark on E. Green's paper "Completeness of $L^p$-spaces over finitely additive set functions
• scientific article; zbMATH DE number 3902963
• Spaces of complex functions and vector measures in incomplete spaces
• Completeness of L^ p spaces with respect to finitely additive measures
• Completeness of function spaces

Cites work

• \(L_ p\) spaces over finitely additive measures
• A remark on E. Green's paper "Completeness of $L^p$-spaces over finitely additive set functions
• Applications of the Theory of Boolean Rings to General Topology
• Completeness of L^p-spaces over finitely additive set functions
• Completeness of L₁ spaces over finitely additive probabilities
• Completeness of L^ p spaces with respect to finitely additive measures
• Completeness of \(L_p\)-spaces in the finitely additive setting and related stories
• scientific article; zbMATH DE number 3816010 (Why is no real title available?)
• scientific article; zbMATH DE number 3304085 (Why is no real title available?)
• scientific article; zbMATH DE number 3060775 (Why is no real title available?)
• Introduction to Boolean Algebras
• Notes on Jordan fields based on an article by Maharam
• On the completeness of ℒ_p-spaces over a charge
• Peano on derivative of measures: strict derivative of distributive set functions

Cited in

(4)

• Topological properties of the space of integrable functions with respect to a charge.
• scientific article; zbMATH DE number 20353 (Why is no real title available?)
• scientific article; zbMATH DE number 5047 (Why is no real title available?)
• Measurability of functions mapping a charge space into a uniform space

This page was built for publication: Properties of functions on a bounded charge space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2154471)