Skip to main content

2018 | OriginalPaper | Buchkapitel

Coherence of the Product Law for Independent Continuous Events

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Let \(A^*\) and \(B^*\) be finite sets of continuous events (e.g., physical observables, or random variables) represented by elements of semisimple MV-algebras A and B. Suppose \(\alpha :A^*\rightarrow [0,1]\) and \(\beta :B^*\rightarrow [0,1]\) are coherent books, i.e., maps satisfying de Finetti’s coherence criterion. Suppose all events in \(A^*\) are (logically) independent of all events in \(B^*.\) Let \(C=A\otimes B\) be the semisimple tensor product of A and B. We first prove that if \(a,a'\in A^*\) and \( b,b'\in B^*\) satisfy \(a\otimes b=a'\otimes b'\), then \(\alpha (a)\beta (b)=\alpha (a')\beta (b')\). Thus by setting \(\gamma (a \otimes b)=\alpha (a)\beta (b)\) we obtain a [0, 1]-valued function \(\gamma \) defined on the set \(C^*\) of pure tensors of C of the form \(a\otimes b\) for \(a\in A^*\) and \(b\in B^*\). We then prove that \(\gamma \) is a coherent book on \(C^*\). For the proofs we need the MV-algebraic extension of de Finetti Dutch Book theorem, Fubini theorem, and the Kroupa–Panti theorem (which in turn rests on the preservation properties of the \(\varGamma \) functor, the Stone–Weierstrass theorem and the Riesz representation theorem).

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Cignoli, R., I.M.L. D’Ottaviano, and D. Mundici. 2000. Algebraic Foundations of Many-Valued Reasoning, Trends in Logic, vol. 7. Dordrecht: Kluwer Academic Publishers.CrossRef Cignoli, R., I.M.L. D’Ottaviano, and D. Mundici. 2000. Algebraic Foundations of Many-Valued Reasoning, Trends in Logic, vol. 7. Dordrecht: Kluwer Academic Publishers.CrossRef
2.
Zurück zum Zitat de Finetti, B. 1993. Sul significato soggettivo della probabilitá, Fundamenta Mathematicae, 17 (1931) 298–329. Translated into English as “On the Subjective Meaning of Probability”. In Probabilitá e Induzione, ed. P. Monari, and D. Cocchi, 291–321. Bologna: Clueb. de Finetti, B. 1993. Sul significato soggettivo della probabilitá, Fundamenta Mathematicae, 17 (1931) 298–329. Translated into English as “On the Subjective Meaning of Probability”. In Probabilitá e Induzione, ed. P. Monari, and D. Cocchi, 291–321. Bologna: Clueb.
3.
Zurück zum Zitat de Finetti, B. 1980. La prévision: ses lois logiques, ses sources subjectives, Annales de l’Institut H. Poincaré, 7 (1937) 1–68. Translated into English by Henry E. Kyburg Jr., as “Foresight: Its Logical Laws, its Subjective Sources”. In Studies in Subjective Probability, Wiley, New York, 1964, ed. H.E. Kyburg Jr., and H.E. Smokler, 53–118. New York: Second edition published by Krieger. de Finetti, B. 1980. La prévision: ses lois logiques, ses sources subjectives, Annales de l’Institut H. Poincaré, 7 (1937) 1–68. Translated into English by Henry E. Kyburg Jr., as “Foresight: Its Logical Laws, its Subjective Sources”. In Studies in Subjective Probability, Wiley, New York, 1964, ed. H.E. Kyburg Jr., and H.E. Smokler, 53–118. New York: Second edition published by Krieger.
4.
Zurück zum Zitat de Finetti, B. 2017. Theory of Probability, A Critical Introductory Treatment, Translated by Antonio Machí and Adrian Smith. Chichester, UK: Wiley.CrossRef de Finetti, B. 2017. Theory of Probability, A Critical Introductory Treatment, Translated by Antonio Machí and Adrian Smith. Chichester, UK: Wiley.CrossRef
5.
Zurück zum Zitat Horn, A., and A. Tarski. 1948. Measures in Boolean algebras. Transactions of the American Mathematical Society 64: 467–497.CrossRef Horn, A., and A. Tarski. 1948. Measures in Boolean algebras. Transactions of the American Mathematical Society 64: 467–497.CrossRef
6.
Zurück zum Zitat Kakutani, S. 1941. Concrete representation of abstract (M)-spaces, (A characterization of the space of continuous functions). Annals of Mathematics, (2), 42: 994–1024. Kakutani, S. 1941. Concrete representation of abstract (M)-spaces, (A characterization of the space of continuous functions). Annals of Mathematics, (2), 42: 994–1024.
7.
Zurück zum Zitat Koppelberg, S. 1989. General Theory of Boolean Algebras. In Handbook of Boolean Algebras (Vol.1), ed. by J.D.Monk with the cooperation of R. Bonnet, Elsevier, Amsterdam. Koppelberg, S. 1989. General Theory of Boolean Algebras. In Handbook of Boolean Algebras (Vol.1), ed. by J.D.Monk with the cooperation of R. Bonnet, Elsevier, Amsterdam.
8.
Zurück zum Zitat Kroupa, T. 2006. Every state on semisimple MV-algebra is integral. Fuzzy Sets and Systems 157: 2771–2782.CrossRef Kroupa, T. 2006. Every state on semisimple MV-algebra is integral. Fuzzy Sets and Systems 157: 2771–2782.CrossRef
9.
Zurück zum Zitat Kühr, J., and D. Mundici. 2007. De Finetti theorem and Borel states in [0,1]-valued algebraic logic. International Journal of Approximate Reasoning 46: 605–616.CrossRef Kühr, J., and D. Mundici. 2007. De Finetti theorem and Borel states in [0,1]-valued algebraic logic. International Journal of Approximate Reasoning 46: 605–616.CrossRef
10.
Zurück zum Zitat Mundici, D. 1986. Interpretation of AF \(C^{*}\)-algebras in Łukasiewicz sentential calculus. Journal of Functional Analysis 65: 15–63.CrossRef Mundici, D. 1986. Interpretation of AF \(C^{*}\)-algebras in Łukasiewicz sentential calculus. Journal of Functional Analysis 65: 15–63.CrossRef
11.
Zurück zum Zitat Mundici, D. 1993. Logic of infinite quantum systems. International Journal of Theoretical Physics 32: 1941–1955.CrossRef Mundici, D. 1993. Logic of infinite quantum systems. International Journal of Theoretical Physics 32: 1941–1955.CrossRef
12.
Zurück zum Zitat Mundici, D. 1995. Averaging the truth value in Łukasiewicz sentential logic. Studia Logica, Special issue in honor of Helena Rasiowa 55: 113–127. Mundici, D. 1995. Averaging the truth value in Łukasiewicz sentential logic. Studia Logica, Special issue in honor of Helena Rasiowa 55: 113–127.
13.
Zurück zum Zitat Mundici, D. 1999. Tensor products and the Loomis-Sikorski theorem for MV-algebras. Advances in Applied Mathematics 22: 227–248.CrossRef Mundici, D. 1999. Tensor products and the Loomis-Sikorski theorem for MV-algebras. Advances in Applied Mathematics 22: 227–248.CrossRef
14.
Zurück zum Zitat Mundici, D. 2009. Interpretation of de Finetti coherence criterion in Łukasiewicz logic. Annals of Pure and Applied Logic 161: 235–245.CrossRef Mundici, D. 2009. Interpretation of de Finetti coherence criterion in Łukasiewicz logic. Annals of Pure and Applied Logic 161: 235–245.CrossRef
15.
Zurück zum Zitat Mundici, D. 2011. Advanced Łukasiewicz calculus and MV-algebras, Trends in Logic, vol. 35. Berlin: Springer.CrossRef Mundici, D. 2011. Advanced Łukasiewicz calculus and MV-algebras, Trends in Logic, vol. 35. Berlin: Springer.CrossRef
16.
Zurück zum Zitat Mundici, D. 2017. Coherence of de Finetti coherence. Synthese 194: 4055–4063.CrossRef Mundici, D. 2017. Coherence of de Finetti coherence. Synthese 194: 4055–4063.CrossRef
17.
Zurück zum Zitat Panti, G. 2009. Invariant measures in free MV-algebras. Communications in Algebra 36: 2849–2861.CrossRef Panti, G. 2009. Invariant measures in free MV-algebras. Communications in Algebra 36: 2849–2861.CrossRef
18.
Zurück zum Zitat Sikorski, R. 1960. Boolean Algebras, 2nd edition, Ergeb. der Math. und ihrer Grenzgeb., vol. 25. Berlin: Springer. Sikorski, R. 1960. Boolean Algebras, 2nd edition, Ergeb. der Math. und ihrer Grenzgeb., vol. 25. Berlin: Springer.
19.
Zurück zum Zitat Tao, T. 2010. An Epsilon of Room I: Real Analysis, vol. 117, Graduate Studies in Mathematics. Providence RI: American Mathematical Society. Tao, T. 2010. An Epsilon of Room I: Real Analysis, vol. 117, Graduate Studies in Mathematics. Providence RI: American Mathematical Society.
20.
Zurück zum Zitat Tao, T. 2011. An Introduction to Measure Theory, vol. 126, Graduate Studies in Mathematics. Providence RI: American Mathematical Society. Tao, T. 2011. An Introduction to Measure Theory, vol. 126, Graduate Studies in Mathematics. Providence RI: American Mathematical Society.
Metadaten
Titel
Coherence of the Product Law for Independent Continuous Events
verfasst von
Daniele Mundici
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-98797-2_10