A metastable dominated convergence theorem

DOI10.4115/JLA.2012.4.3MaRDI QIDQ3145970zbMATH OpenOpenAlexFDO

Authors Jeremy Avigad, Edward T. Dean, Jason Rute

Publication date 17 December 2012

Published in Journal of Logic and Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

metastabilityquantitative convergence theorems

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Measurable and nonmeasurable functions, sequences of measurable functions, modes of convergence (28A20)

Abstract: The dominated convergence theorem implies that if (f_n) is a sequence of functions on a probability space taking values in the interval [0,1], and (f_n) converges pointwise a.e., then the sequence of integrals converges to the integral of the pointwise limit. Tao has proved a quantitative version of this theorem: given a uniform bound on the rates of metastable convergence in the hypothesis, there is a bound on the rate of metastable convergence in the conclusion that is independent of the sequence (f_n) and the underlying space. We prove a slight strengthening of Tao's theorem which, moreover, provides an explicit description of the second bound in terms of the first. Specifically, we show that when the first bound is given by a continuous functional, the bound in the conclusion can be computed by a recursion along the tree of unsecured sequences. We also establish a quantitative version of Egorov's theorem, and introduce a new mode of convergence related to these notions.

Recommendations

• Model theory and metric convergence. I: Metastability and dominated convergence model theory and metric convergence
• Dominated convergence theorems for the integration of function sequence with respect to weak convergence probability measure sequence
• scientific article; zbMATH DE number 3886824
• Limit theorems for the integration of measurable function sequence with respect to weak convergence probability measure sequence
• A note on convergence theorems for integrals

Cited in

(13)

• Towards an effective theory of absolutely continuous measures
• Model theory and metric convergence. I: Metastability and dominated convergence model theory and metric convergence
• A computational study of a class of recursive inequalities
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
• A quantitative Robbins-Siegmund theorem
• Proof mining and probability theory
• Generalized learnability of stochastic principles
• On quantitative convergence for stochastic processes: crossings, fluctuations and martingales
• A finitary Kronecker's lemma and large deviations in the strong law of large numbers on Banach spaces
• Quantitative strong laws of large numbers
• Algorithmic randomness, reverse mathematics, and the dominated convergence theorem
• Proof mining and high-level proof-theoretic reasoning: a case study on greedy approximation schemes
• Logical metatheorems for abstract spaces axiomatized in positive bounded logic

This page was built for publication: A metastable dominated convergence theorem

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