Integral of Continuous Functions of Two Variables

被引:1
|
作者
Endou, Noboru [1 ]
Shidama, Yasunari [2 ]
机构
[1] Gifu Coll, Natl Inst Technol, 2236-2 Kamimakuwa, Motosu, Gifu, Japan
[2] Karuizawa Hotch 244-1, Nagano, Japan
来源
FORMALIZED MATHEMATICS | 2023年 / 31卷 / 01期
关键词
double integral; repeated integral; REAL ANALYSIS;
D O I
10.2478/forma-2023-0025
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
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.
引用
收藏
页码:309 / 324
页数:16
相关论文
共 50 条