黎曼积分
数学
勒贝格积分
丹尼尔积分
Lebesgue–Stieltjes集成
Riemann-Stieltjes积分
迭代函数系统
反常积分
纯数学
变量(数学)
积分方程
数学分析
傅里叶积分算子
分形
作者
Noboru Endou,Yasunari Shidama
出处
期刊:Formalized Mathematics
[De Gruyter]
日期:2023-09-01
卷期号:31 (1): 309-324
标识
DOI:10.2478/forma-2023-0025
摘要
Summary 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.
科研通智能强力驱动
Strongly Powered by AbleSci AI