Product Pre-Measure
By:
Abstract
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.
Language: English
Page range: 69 - 79
Submitted on: Dec 31, 2015
Published on: Aug 31, 2016
Published by: University of Białystok, Department of Pedagogy and Psychology
In partnership with: Paradigm Publishing Services
Publication frequency: 1 times per year
Related subjects:
© 2016 Noboru Endou, published by University of Białystok, Department of Pedagogy and Psychology
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.