<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this article, we first discuss the relation between measure defined using extended real numbers and probability defined using real numbers. Further, we define completeness of probability, and its completion method, and also show that they coincide with those of measure.</p></abstract>

In this article, we first discuss the relation between measure defined using extended real numbers and probability defined using real numbers. Further, we define completeness of probability, and its completion method, and also show that they coincide with those of measure.

The Relevance of Measure and Probability, and Definition of Completeness of Probability

Formalized Mathematics

In this article, we first discuss the relation between measure defined using extended real numbers and probability defined using real numbers. Further, we...

The Relevance of Measure and Probability, and Definition of Completeness of Probability

Online veröffentlicht: 13. Juni 2008

Seitenbereich: 225 - 229

DOI: https://doi.org/10.2478/v10037-006-0026-8

This content is open access.