Displaying similar documents to “Integration on generalized measure spaces”

On the extension of measures.

Baltasar Rodríguez-Salinas (2001)

RACSAM

Similarity:

We give necessary and sufficient conditions for a totally ordered by extension family (Ω, Σ, μ) of spaces of probability to have a measure μ which is an extension of all the measures μ. As an application we study when a probability measure on Ω has an extension defined on all the subsets of Ω.

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

Bo Zhang, Hiroshi Yamazaki, Yatsuka Nakamura (2006)

Formalized Mathematics

Similarity:

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.