Lebesgue积分与广义积分的关系

利用Lebesgue积分与Riemann积分的关系，给出了Lebesgue积分与广义积分之间的关系，并且具体展示了所得结果在计算函数的Lebesgue积分值和判别函数的Lebesgue可积性两方面的实用性。     

20世纪数学的一项开创性的伟大成就

综述Lebesgue积分创立的背景,简介并评论Riemann积分和Lebesgue积分的基本思想,L积分对于R积分的传承和发展、革新的关系,以及这项"积分革命"对于20世纪数学发展的深远影响,以此作为对一百年前Lebesgue积分诞生的纪念.     

Lebesgue积分与反常积分的关系

利用Lebesgue积分与Riemann积分的关系,进一步研究了Lebesgue积分与反常积分的关系.     

Lebesgue积分与反常积分的关系

利用Lebesgue积分与Riemann积分的关系,进一步研究了Lebesgue积分与反常积分的关系。     

从新视角看 Lebesgue 积分与 Riemann 积分的关系

证明了:任何一个非负Lebesgue可积函数的Lebesgue积分都可以表示成一个单调递减函数的Riemann积分(含Riemann瑕积分、Riemann无穷区间积分);任何一个Lebesgue可积函数的积分都可以表示成两个单调递减函数之差在(0,+∞)上的Riemann积分,或一个在(-∞,0)和(0,+∞)上单调递减函数的Riemann积分.     

关于Lebesgue积分的另一种定义

文章证明了Lebesgue积分的两个定理，它给出Lebesgue积分的另一种定义方式。     

两个积分定义的等价性

黄绍文教授在连续函数的 Riemann 积分的基础上定义了一个新的积分,并且证明了该积分具有Lebesgue 积分的一些性质和结果.本文直接证明了这个新积分和由有界可测函数引进的 Lebesgue 积分是等价的.     

Lebesgue测度与Lebesgue积分的简化定义

给出了Lebesgue测度与积分的简单定义，并通过此定义作出了一系列命题的简单证明，对Lebesgue积分取代Riemann作了初步的探索尝试。     

Lebesgue积分在数学分析中的应用

在数学分析中的Riemann积分存在较大的缺陷,Lebesgue积分是Riemann积分的一种推广,是现代分析中最合适的一种积分工具.探讨了用Lebesgue积分解决数学分析中的一些积分问题.     

基于模式识别的Lebesgue积分在PVS中的形式化证明与分析

针对传统模型验证方法存在效率低和模型较为复杂的缺点,将Lebesgue积分的运算特征引入模型验证和测试,提出一种基于Lebesgue积分的形式化验证和测试方法。通过不等式计算、闭区间子集可积分性、多重分部、线性运算、Cauchy可积分准则以及极限定理等方面的形式化,实现Lebesgue积分的运算特征在PVS(Prototype Verification System)定理证明器中的形式化。以标准反相积分器为应用模型验证数学理论和公式推导的正确性,通过数理分析验证Lebesgue积分形式化定理库在计算机信息安全领域应用的正确性。测试结果证明了Lebesgue积分在PVS中进行形式化的可行性和有效性。