勒贝格积分可加性的严格证明

文[1]在建立勒贝格积分理论体系时,勒贝格积分可加性是作为从定义出发直接导出的最基本结果,而两个变量和的上确界不小于各自上确界的和这一结果成为完成证明的关键.本文指出了该教材在证明过程中运用的上述上确界大小关系存在反例,并提出了勒贝格积分可加性的新的证明方法,避开了上述上确界大小关系.首先从定义出发证明了非负可测函数勒贝格积分加法的一个次线性性,从而给出了勒贝格积分可加性的严格证明.