Displaying similar documents to “On the extension of measures.”

On the uniform limit of quasi-continuous functions.

Baltasar Rodríguez-Salinas (2001)

RACSAM

Similarity:

Estudiamos cuando el límite uniforme de una red de funciones cuasi-continuas con valores en un espacio localmente convexo X es también una función cuasi-continua, resaltando que esta propiedad depende del menor cardinal de un sistema fundamental de entornos de O en X, y estableciendo condiciones necesarias y suficientes. El principal resultado de este trabajo es el Teorema 15, en el que los resultados de [7] y [10] son mejorados, en relación al Teorema de L. Schwartz.

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.

Product Pre-Measure

Noboru Endou (2016)

Formalized Mathematics

Similarity:

In this article we formalize in Mizar [5] product pre-measure on product sets of measurable sets. Although there are some approaches to construct product measure [22], [6], [9], [21], [25], we start it from σ-measure because existence of σ-measure on any semialgebras has been proved in [15]. In this approach, we use some theorems for integrals.