W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/17773| Tytuł: | Universality of Measure Space |
| Autorzy: | Endou, Noboru Shidama, Yasunari |
| Słowa kluczowe: | product measure Lebesgue integration |
| Data wydania: | 2024 |
| Data dodania: | 3-sty-2025 |
| Wydawca: | DeGruyter Open |
| Źródło: | Formalized Mathematics, Volume 32, Issue 1, Pages 149–163 |
| Abstrakt: | 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. |
| Afiliacja: | Noboru Endou - National Institute of Technology, Gifu College, 2236-2 Kamimakuwa, Motosu, Gifu, Japan Yasunari Shidama - Karuizawa Hotch 244-1, Nagano, Japan |
| URI: | http://hdl.handle.net/11320/17773 |
| DOI: | 10.2478/forma-2024-0012 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| metadata.dc.identifier.orcid: | 0000-0002-5922-2332 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/3.0/ |
| Właściciel praw: | © 2024 The Author(s) CC BY-SA 3.0 license |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2024, Volume 32, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Universality-of-Measure-Space.pdf | 299,84 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
