An Effect-Theoretic Account of Lebesgue Integration

Effect algebras have been introduced in the 1990s in the study of the foundations of quantum mechanics, as part of a quantum-theoretic version of probability theory. This paper is part of that programme and gives a systematic account of Lebesgue integration for 0,1-valued functions in terms of effect algebras and effect modules. The starting point is the 'indicator' function for a measurable subset. It gives a homomorphism from the effect algebra of measurable subsets to the effect module of 0,1-valued measurable functions which preserves countable joins.It is shown that the indicator is free among these maps: any such homomorphism from the effect algebra of measurable subsets can be thought of as a generalised probability measure and can be extended uniquely to a homomorphism from the effect module of 0,1-valued measurable functions which preserves joins of countable chains. The extension is the Lebesgue integral associated to this probability measure. The preservation of joins by it is the monotone convergence theorem.

[1]  Josef Stoer,et al.  Integration von Funktionen , 1972 .

[2]  Steven Vickers.  A monad of valuation locales , 2011 .

[3]  R. Schilling.  Measures, Integrals and Martingales: Frontmatter , 2006 .

[4]  A. Vannucci,et al.  BICS Bath Institute for Complex Systems A note on time-dependent DiPerna-Majda measures , 2008 .

[5]  Roman Fric,et al.  A Categorical Approach to Probability Theory , 2010, Stud Logica.

[6]  Bart Jacobs,et al.  Measurable Spaces and Their Effect Logic , 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.

[7]  D. Mundici,et al.  Algebraic Foundations of Many-Valued Reasoning , 1999 .

[8]  Bart Jacobs,et al.  The Expectation Monad in Quantum Foundations , 2011, ArXiv.

[9]  D. Foulis,et al.  Effect algebras and unsharp quantum logics , 1994 .

[10]  Roberto Giuntini,et al.  Toward a formal language for unsharp properties , 1989 .

[11]  Sylvia Pulmannová,et al.  New trends in quantum structures , 2000 .

[12]  Dexter Kozen,et al.  Semantics of probabilistic programs , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

[13]  Stanley Gudder.  Morphisms, tensor products and σ-effect algebras , 1998 .

[14]  S. Bochner,et al.  Integration von Funktionen, deren Werte die Elemente eines Vektorraumes sind , 1933 .

[15]  Thierry Coquand,et al.  Integrals and valuations , 2008, J. Log. Anal..

[16]  B. Banaschewski,et al.  Categorical Aspects of Topology and Analysis , 1982 .

[17]  T. Heinosaari,et al.  The Mathematical Language of Quantum Theory: From Uncertainty to Entanglement , 2012 .

[18]  Tom Avery,et al.  Codensity and the Giry monad , 2014, 1410.4432.

[19]  Bart Jacobs,et al.  Coreflections in Algebraic Quantum Logic , 2012 .

[20]  P. Halmos.  Introduction to Hilbert Space: And the Theory of Spectral Multiplicity , 1998 .

[21]  Prakash Panangaden,et al.  Labelled Markov Processes , 2009 .

[22]  B. Pettis.  On integration in vector spaces , 1938 .

[23]  Abbas Edalat.  Domain Theory and Integration , 1995, Theor. Comput. Sci..

[24]  T. Heinosaari,et al.  The Mathematical Language of Quantum Theory , 2012 .

[25]  E. Alfsen,et al.  Order theoretic foundations of integration , 1963 .