On the average of inner and outer measures
D. Fremlin (1991)
Fundamenta Mathematicae
Similarity:
D. Fremlin (1991)
Fundamenta Mathematicae
Similarity:
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.
Yoshihiro Kubokawa (1995)
Czechoslovak Mathematical Journal
Similarity:
Kharazishvili, A.B. (1997)
Journal of Applied Analysis
Similarity:
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.
A. B. Kharazishvili (2008)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
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.
Jenkins, Russell S., Garimella, Ramesh V. (2000)
International Journal of Mathematics and Mathematical Sciences
Similarity: