-
On the measurability of a numerical function with respect to a family of sets
Authors:
Jonathan M. Keith,
Gabriele H. Greco
Abstract:
The following document is a translation (from French to English) of: Gabriele H. Greco, Sur la mesurabilité d'une fonction numérique par rapport à une famille d'ensembles, Rendiconti del Seminario Matematico della Università di Padova}, tome 65 (1981), pp. 163--176. Translated by: Jonathan M. Keith, School of Mathematics, Monash University, [email protected]. With thanks to: Prof. Andrea D…
▽ More
The following document is a translation (from French to English) of: Gabriele H. Greco, Sur la mesurabilité d'une fonction numérique par rapport à une famille d'ensembles, Rendiconti del Seminario Matematico della Università di Padova}, tome 65 (1981), pp. 163--176. Translated by: Jonathan M. Keith, School of Mathematics, Monash University, [email protected]. With thanks to: Prof. Andrea D'Agnolo, Editor-in-Chief of the above journal, for permission to publish this translation.
△ Less
Submitted 3 January, 2024; v1 submitted 7 September, 2023;
originally announced September 2023.
-
Measurable functions on charge spaces
Authors:
Jonathan M. Keith
Abstract:
The concept of measurability of functions on a charge space is generalised for functions taking values in a uniform space. Several existing forms of measurability generalise naturally in this context, and new forms of measurability are proposed. Conditions under which the various forms of measurability are logically equivalent are identified. Applying these concepts to real-valued functions, some…
▽ More
The concept of measurability of functions on a charge space is generalised for functions taking values in a uniform space. Several existing forms of measurability generalise naturally in this context, and new forms of measurability are proposed. Conditions under which the various forms of measurability are logically equivalent are identified. Applying these concepts to real-valued functions, some recent characterisations of measurable functions on a bounded charge space are generalised to the unbounded case.
△ Less
Submitted 3 January, 2024; v1 submitted 11 April, 2023;
originally announced April 2023.
-
Binary sequences with a Cesàro limit
Authors:
Jonathan M. Keith,
Greg Markowsky
Abstract:
The Cesàro limit - the asymptotic average of a sequence of real numbers - is an operator of fundamental importance in probability, statistics and mathematical analysis. To better understand sequences with Cesàro limits, this paper considers the space $\mathcal{F}$ comprised of all binary sequences with a Cesàro limit, and the associated functional $ν: \mathcal{F} \rightarrow [0,1]$ map** each su…
▽ More
The Cesàro limit - the asymptotic average of a sequence of real numbers - is an operator of fundamental importance in probability, statistics and mathematical analysis. To better understand sequences with Cesàro limits, this paper considers the space $\mathcal{F}$ comprised of all binary sequences with a Cesàro limit, and the associated functional $ν: \mathcal{F} \rightarrow [0,1]$ map** each such sequence to its Cesàro limit. The basic properties of $\mathcal{F}$ and $ν$ are enumerated, and chains (totally ordered sets) in $\mathcal{F}$ on which $ν$ is countably additive are studied in detail. The main result of the paper concerns a structural property of the pair $(\mathcal{F},ν)$, specifically that $\mathcal{F}$ can be factored (in a certain sense) to produce a monotone class on which $ν$ is countably additive. In the process, a slight generalisation and clarification of the monotone class theorem for Boolean algebras is proved.
△ Less
Submitted 28 June, 2021;
originally announced July 2021.
-
Properties of functions on a bounded charge space
Authors:
Jonathan M. Keith
Abstract:
A charge space $(X,\mathcal{A},μ)$ is a generalisation of a measure space, consisting of a sample space $X$, a field of subsets $\mathcal{A}$ and a finitely additive measure $μ$, 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…
▽ More
A charge space $(X,\mathcal{A},μ)$ is a generalisation of a measure space, consisting of a sample space $X$, a field of subsets $\mathcal{A}$ and a finitely additive measure $μ$, 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, $μ(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,\mathcal{A},μ)$ 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,\mathcal{A},μ)$ 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,\mathcal{A},μ)$.
△ Less
Submitted 27 June, 2021; v1 submitted 21 June, 2021;
originally announced June 2021.
-
A theory of integration for Cesàro limits
Authors:
Jonathan M. Keith,
Greg Markowsky
Abstract:
The Cesàro limit - the asymptotic average of a sequence of real numbers - is an operator of fundamental importance in probability, statistics and analysis. Surprisingly, spaces of sequences with Cesàro limits have not previously been studied. This paper introduces spaces of such sequences, denoted $K_p(\mathcal{A})$, with the Cesàro limit acting as a kind of integral. The space $\mathcal{F}$ compr…
▽ More
The Cesàro limit - the asymptotic average of a sequence of real numbers - is an operator of fundamental importance in probability, statistics and analysis. Surprisingly, spaces of sequences with Cesàro limits have not previously been studied. This paper introduces spaces of such sequences, denoted $K_p(\mathcal{A})$, with the Cesàro limit acting as a kind of integral. The space $\mathcal{F}$ comprised of all binary sequences with a Cesàro limit is studied first, along with the associated functional $ν: \mathcal{F} \rightarrow [0,1]$ map** each such sequence to its Cesàro limit. It is shown that $\mathcal{F}$ can be factored to produce a monotone class on which $ν$ induces a countably additive set function. The space $K_p(\mathcal{A})$ is then defined, and a quotient denoted $\mathcal{K}_p(\mathcal{A})$ is shown to be isometrically isomorphic, under certain conditions, to the function space $\mathcal{L}_p(\mathbb{N},\mathcal{A},ν)$, where $\mathcal{A}$ is a field of sets isomorphic to a subset of $\mathcal{F}$, and $ν$ is a finitely additive measure induced by the functional mentioned above. The Cesàro limit of an element of $K_p(\mathcal{A})$ is shown to be equal to its integral. The complete $\mathcal{L}_p(\mathbb{N},\mathcal{A},ν)$ spaces (and by implication, the $\mathcal{K}_p(\mathcal{A})$ spaces isomorphic to them) are characterised, and a sufficient condition for these spaces to be separable is identified.
△ Less
Submitted 16 March, 2022; v1 submitted 18 April, 2021;
originally announced April 2021.