Measure for Product Space of Real Normed Spaces

Summary 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.

Authors

Institutions

Publication Details

Journal
Formalized Mathematics
Published
2025-09-01
DOI
https://doi.org/10.2478/forma-2025-0010
Citations
1
Primary Topic
Advanced Banach Space Theory
Type
article
Field-Weighted Citation Impact
3.69
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Measure for Product Space of Real Normed Spaces

Noboru Endou, Yasunari Shidama
1 citations
Formalized Mathematics
Advanced Banach Space Theory
3.69
article

Measure for Product Space of Real Normed Spaces

Noboru Endou, Yasunari Shidama
article en
1 citations

Abstract

Summary 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.

Formalized MathematicsVol. 33(1)
National Institute of Technology, Gifu College (JP)
Openalex Percentile: Top 6%
Advanced Banach Space Theory
3.69
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.