Integral of Real-Valued Measurable Function

被引：8
|
作者：
Shidama, Yasunari [1 ]
Endou, Noboru [2 ]
机构：
[1] Shinshu Univ, Nagano, Japan
[2] Gifu Natl Coll Technol, Gifu, Japan
来源：
FORMALIZED MATHEMATICS | 2006年 / 14卷 / 04期
关键词：
D O I：
10.2478/v10037-006-0018-8
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Based on [16], authors formalized the integral of an extended real valued measurable function in [12] before. However, the integral argued in [12] cannot be applied to real-valued functions unconditionally. Therefore, in this article we have formalized the integral of a real-value function.
引用
收藏
页码：143 / 152
页数：10
相关论文
共 50 条
12345