Integral of Continuous Functions of Two Variables
Noboru Endou
National Institute of Technology, Gifu CollegeGifu, Japan
Orcid profileSearch for this author on
and Dec 31, 2023
About this article
Published Online: Dec 31, 2023
Page range: 309 - 324
Accepted: Dec 18, 2023
DOI: https://doi.org/10.2478/forma-2023-0025
Keywords
© 2023 Noboru Endou et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
We extend the formalization of the integral theory of one-variable functions for Riemann and Lebesgue integrals, showing that the Lebesgue integral of a continuous function of two variables coincides with the Riemann iterated integral of a projective function.