积分查看源代码讨论查看历史
积分 |
积分是微积分学与数学分析里的一个核心概念。通常分为定积分和不定积分两种。直观地说,对于一个给定的正实值函数,在一个实数区间上的定积分可以理解为在坐标平面上,由曲线、直线以及轴围成的曲边梯形的面积值(一种确定的实数值)。积分的一个严格的数学定义由波恩哈德·黎曼给出(参见条目“黎曼积分”)。黎曼的定义运用了极限的概念,把曲边梯形设想为一系列矩形组合的极限。从十九世纪起,更高级的积分定义逐渐出现,有了对各种积分域上的各种类型的函数的积分。比如说,路径积分是多元函数的积分,积分的区间不再是一条线段(区间[a,b]),而是一条平面上或空间中的曲线段;在面积积分中,曲线被三维空间中的一个曲面代替。对微分形式的积分是微分几何中的基本概念。
简介
积分发展的动力源自实际应用中的需求。实际操作中,有时候可以用粗略的方式进行估算一些未知量,但随着科技的发展,很多时候需要知道精确的数值。要求简单几何形体的面积或体积,可以套用已知的公式。比如一个长方体状的游泳池的容积可以用长×宽×高求出。但如果游泳池是卵形、抛物型或更加不规则的形状,就需要用积分来求出容积。物理学中,常常需要知道一个物理量(比如位移)对另一个物理量(比如力)的累积效果,这时也需要用到积分。勒贝格积分的出现源于概率论等理论中对更为不规则的函数的处理需要。黎曼积分无法处理这些函数的积分问题。因此,需要更为广义上的积分概念,使得更多的函数能够定义积分。同时,对于黎曼可积的函数,新积分的定义不应当与之冲突。勒贝格积分就是这样的一种积分。 黎曼积分对初等函数和分段连续的函数定义了积分的概念,勒贝格积分则将积分的定义推广到测度空间里。
评价
如果一个函数f在某个区间上黎曼可积,并且在此区间上大于等于零。那么它在这个区间上的积分也大于等于零。如果f勒贝格可积并且几乎总是大于等于零,那么它的勒贝格积分也大于等于零。作为推论,如果两个 上的可积函数f和g相比,f(几乎)总是小于等于g,那么f的(勒贝格)积分也小于等于g的(勒贝格)积分。如果黎曼可积的非负函数f在 上的积分等于0,那么除了有限个点以外, 。如果勒贝格可积的非负函数f在 上的积分等于0,那么f几乎处处为0。如果 中元素A的测度 等于0,那么任何可积函数在A上的积分等于0。函数的积分表示了函数在某个区域上的整体性质,改变函数某点的取值不会改变它的积分值。对于黎曼可积的函数,改变有限个点的取值,其积分不变。对于勒贝格可积的函数,某个测度为0的集合上的函数值改变,不会影响它的积分值。如果两个函数几乎处处相同,那么它们的积分相同。如果对中任意元素A,可积函数f在A上的积分总等于(大于等于)可积函数g在A上的积分,那么f几乎处处等于(大于等于)g。[1]