Jordan fields and improper integrals (Q1117339): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: On functions whose improper Riemann integral is absolutely convergent / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5183830 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extensions of positive operators and extreme points. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4164085 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3764386 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3259769 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5813281 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5340517 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3663565 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topology and measure / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Criterion for Weak Convergence of Measures with an Application to Convergence of Measures on $D[0, 1]$. / rank
 
Normal rank

Latest revision as of 14:32, 19 June 2024

scientific article
Language Label Description Also known as
English
Jordan fields and improper integrals
scientific article

    Statements

    Jordan fields and improper integrals (English)
    0 references
    0 references
    1988
    0 references
    Let \({\mathcal E}\) be a field of subsets of a set X and let \(\mu:{\mathcal E}\to [0,\infty]\) be additive and satisfy \(\mu (E)=\sup \{\mu (A):A\subset E\quad and\quad \mu (A)<\infty \}\) for all \(E\in {\mathcal E}.\) The author calls a function \(f:X\to [0,\infty)\) integrable, in symbol, \(f\in \hat {\mathcal I},\) if the usual Riemann type integral\(\int_{A}\min (f,c)d\mu\) exists for all \(c>0\) and \(A\in {\mathcal E}\) with \(\mu (A)<\infty.\) The supremum of those integrals is denoted by \(\hat I(f)\). For finite \(\mu\) this integral coincides with that due to Dunford and Schwartz. In general, it can happen that \(f\in \hat {\mathcal I}\) and \(\hat I(f)<\infty\) but f is not integrable in the Dunford-Schwartz sense. Denote by \(\hat {\mathcal J}\) the ``extended Jordan field'' generated by \(\mu\), i.e., \(\hat {\mathcal J}=\{H\subset X:\chi_ H\in \hat {\mathcal I}\}\) and let \({\hat \mu}\) stand for the restriction of \(\hat I\) to \(\hat {\mathcal J}.\) The main result of the paper is as follows. For \(f:X\to [0,\infty)\) such that \(\mu_*f^{-1}[t,\infty)\) is finite for all \(t>0\) the following two conditions are equivalent: \((1)\quad f\in \hat {\mathcal I};\) \((2)\quad f^{-1}[t,\infty)\in \hat {\mathcal J}\) for all but countably many t. These conditions imply \(\hat I(f)=\int^{\infty}_{0}{\hat \mu}f^{- 1}[t,\infty)dt,\) this last integral being a Lebesgue integral. (The formula goes back, in the case where \(\mu (X)<\infty\) and f is bounded, to Choquet.) The proof is quite involved. \{Reviewer's remarks: (1) Reference [2] by \textit{C. Klein} has appeared in Stud. Math. 85, 247-255 (1987; Zbl 0618.28010). (2) For related results see \textit{G. H. Greco}, Ann. Mat. Pura Appl., IV. Ser. 132, 243-255 (1982; Zbl 0553.28005).\}
    0 references
    finitely additive measure
    0 references
    improper Riemann integral
    0 references
    nearly measurable
    0 references
    extended Jordan field
    0 references

    Identifiers