W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/19679| Tytuł: | Measure for Product Space of Real Normed Spaces |
| Autorzy: | Endou, Noboru Shidama, Yasunari |
| Słowa kluczowe: | product measure Lebesgue integration measure on n-dimensional normed space |
| Data wydania: | 2025 |
| Data dodania: | 29-sty-2026 |
| Wydawca: | University of Białystok |
| Źródło: | Formalized Mathematics, Volume 33, Issue 1, Pages 117-135 |
| Abstrakt: | This paper deals with Cartesian product spaces of real linear spaces and Cartesian product spaces of real normed spaces. In principle, both are attributed to the direct product of real linear spaces, but the direct product of normed spaces is needed to deal with the calculus of n-dimensional spaces. We also prove that the Lebesgue measure on tuple-type sets introduced in [6] is σ-finite. |
| Afiliacja: | Noboru Endou - National Institute of Technology, Gifu College, 2236-2 Kamimakuwa, Motosu, Gifu, Japan Yasunari Shidama - Karuizawa Hotch 244-1, Nagano, Japan |
| Sponsorzy: | This work was supported by JSPS KAKENHI Grant Number 23K11242. |
| URI: | http://hdl.handle.net/11320/19679 |
| DOI: | 10.2478/forma-2025-0010 |
| 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/4.0/ |
| Właściciel praw: | 2025 The Author(s) CC BY-SA 4.0 license |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2025, Volume 33, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Measure_for_Product_Space_of_Real_Normed_Spaces.pdf | 296,9 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
