Universality of Measure Space
Noboru Endou
National Institute of Technology, Gifu College 2236-2 KamimakuwaGifu, Japan
Orcid-ProfilSuche nach diesem Autor auf
und 31. Dez. 2024
Über diesen Artikel
Online veröffentlicht: 31. Dez. 2024
Seitenbereich: 149 - 163
Eingereicht: 09. Dez. 2024
DOI: https://doi.org/10.2478/forma-2024-0012
Schlüsselwörter
© 2024 Noboru Endou et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.
This paper deals with the interconversion between Cartesian product types and tuple types and their integration for measures in higher dimensional spaces. We prove the universality between both types and construct a measure (and also underlying integral) based on the set of tuple types.