Multidimensional Measure Space and Integration
Noboru Endou
National Institute of Technology, Gifu CollegeGifu, Japan
Profil OrcidWyszukaj tego autora
oraz 31 gru 2023
O artykule
Data publikacji: 31 gru 2023
Zakres stron: 181 - 192
Przyjęty: 21 lis 2023
DOI: https://doi.org/10.2478/forma-2023-0017
Słowa kluczowe
© 2023 Noboru Endou et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.
This paper introduces multidimensional measure spaces and the integration of functions on these spaces in Mizar. Integrals on the multidimensional Cartesian product measure space are defined and appropriate formal apparatus to deal with this notion is provided as well.