积分






函数 f(x){displaystyle f(x)}f(x) 的定积分是函数与x轴围成的曲边梯形的有向面积：在x轴上方（蓝色）的面积为正，下方（黄色）的面积为负。































系列條目
微积分学



  • 函数

  • 极限论

  • 微分学

  • 积分学





  • 微積分基本定理

  • 微积分发现权之争（英语：Leibniz–Newton calculus controversy）















  • 查

  • 论

  • 编


积分是微积分学与数学分析裡的一个核心概念。通常分为定积分和不定积分两种。直观地说，对于一个给定的正实值函数f(x){displaystyle f(x)}f(x)，f(x){displaystyle f(x)}f(x)在一个实数区间[a,b]{displaystyle [a,b]} [a,b]上的定积分


∫abf(x)dx{displaystyle int _{a}^{b}f(x),mathrm {d} x}int_a^b f(x),mathrm{d}x

可以理解为在Oxy{displaystyle textstyle Oxy}{displaystyle textstyle Oxy}坐标平面上，由曲线(x,f(x)){displaystyle (x,f(x))} (x,f(x))、直线x=a,x=b{displaystyle x=a,x=b}x=a,x=b以及x{displaystyle x}x轴围成的曲边梯形的面积值（一种确定的实数值）。


f{displaystyle f}f的不定积分（或称原函数）是任何满足其导函数是函数f{displaystyle f} f的函数F{displaystyle F}F。一个函数f{displaystyle f}f的不定积分不是唯一的：只要F{displaystyle F} F是f{displaystyle f} f的不定积分，那么与之相差一个常数的函数 F+C{displaystyle F+C}F + C 也是f{displaystyle f}f的不定积分。本条目中主要介绍定积分，不定积分的介绍参见不定积分条目。


积分的基本原理：微积分基本定理，由艾萨克·牛顿和戈特弗里德·威廉·莱布尼茨在十七世纪分别独自确立。微积分基本定理将微分和积分联系在一起，这样，通过找出一个函数的原函数，就可以方便地计算它在一个区间上的积分。积分和导数已成为高等数学中最基本的工具，并在自然科学和工程学中得到广泛运用。


积分的一个严格的数学定义由波恩哈德·黎曼给出，稱為「黎曼积分」。黎曼的定义运用了极限的概念，把曲边梯形设想为一系列矩形组合的极限。从十九世纪起，更高级的积分定义逐渐出现，有了对各种积分域上的各种类型的函数的积分。比如说，路径积分是多元函数的积分，积分的区间不再是一条线段（区间[a,b]{displaystyle [a,b]}[a,b]），而是一条平面上或空间中的曲线段；在面积积分中，曲线被三维空间中的一个曲面代替。对微分形式的积分是微分几何中的基本概念。


对积分概念的推广来自于物理学的需要，并体现在许多重要的物理定律中，尤其是电动力学。现代的积分概念基于测度论，主要是由昂利·勒貝格建立的勒贝格积分。




目录






  • 1 简介


    • 1.1 术语和标记




  • 2 严格定义


    • 2.1 黎曼积分


    • 2.2 勒贝格积分


    • 2.3 其他定义




  • 3 性质


    • 3.1 线性


    • 3.2 保号性


    • 3.3 介值性质


    • 3.4 绝对连续性


    • 3.5 积分不等式




  • 4 微积分基本定理


  • 5 推广


    • 5.1 反常积分


    • 5.2 多重积分


    • 5.3 路径积分与曲面积分




  • 6 积分的种类


  • 7 參見


  • 8 参考来源





简介




函数f{displaystyle f}f在区间[0,1]上积分的近似 ■ 极大值（5部分）和■ 极小值（12部分）


积分发展的动力源自实际应用中的需求。实际操作中，有时候可以用粗略的方式进行估算一些未知量，但随着科技的发展，很多时候需要知道精确的数值。要求简单几何形体的面积或体积，可以套用已知的公式。比如一个长方体状的游泳池的容积可以用长 × 宽 × 高求出。但如果游泳池是卵形、抛物型或更加不规则的形状，就需要用积分来求出容积。物理学中，常常需要知道一个物理量（比如位移）对另一个物理量（比如力）的累积效果，这时也需要用到积分。




什麼是積分（動畫


我们以下面这个问题作为介绍积分概念的开始：


考虑平方根函数f:x↦x{displaystyle f:,xmapsto {sqrt {x}}}f : , x mapsto sqrt{x}，其中x∈[0,1]{displaystyle xin [0,,1]}x in [0, , 1] 。在区间[0,1]上，函数f{displaystyle f}f“下方”的面积是多少？

问题中的“下方”面积，是指函数y=f(x){displaystyle y=f(x)}y = f(x)的图象与x轴之间的部分的面积S{displaystyle S}S（见右图）。我们把这个面积称为函数f{displaystyle f}f在区间[0,1]上的积分，写作：


S=∫01xdx.{displaystyle S=int _{0}^{1}{sqrt {x}},mathrm {d} x,!.}S = int_0^1 sqrt{x} , mathrm{d}x ,!.

其中的dx{displaystyle mathrm {d} x}mathrm{d}x称为积分变量，表示要求面积的范围是用坐标轴横轴的刻度计算；∫01{displaystyle int _{0}^{1}} int_0^1则表示从0开始算起，到1为止，称为积分范围或积分域，其中0称为积分下界，1称为积分上界，∫{displaystyle int }int叫做积分号，是从拉长的字母S（拉丁文中的summa (ſumma)：求和的首字母）演变过来的。函数x{displaystyle {sqrt {x}}} sqrt{x}写在中间，称为被积函数。


由于函数下方的形状并不是多边形或圆形这样的规则图形，并没有简单的公式来求出面积S{displaystyle S}S。最初计算积分的数学家们采取的方法是估算出S{displaystyle S}S的取值可能会在的范围，然后不断缩小范围，最后求得精确的数值。首先，S{displaystyle S}S一定小于整个方框的面积，也就是1。然而这样的估计太过粗略了，因为方框左边明显要比函数图像要高。


改进的方法是用更多的小方框来将函数图象“覆盖”，如右图中的做法，就是将坐标轴横轴[0,1]等分成5个部分：[0,0.2)、[0.2,0.4)、[0.4,0.6)、[0.6,0.8)、[0.8,1]，然后每一部分上放一个黄色的长方形（见右图■）。这5个长方形的高度分别是函数在每个部分的极大值（也就是最右侧的值）：0.2{displaystyle {sqrt {0.2}}}sqrt{0.2}、0.4{displaystyle {sqrt {0.4}}}sqrt{0.4}、0.6{displaystyle {sqrt {0.6}}}sqrt{0.6}、0.8{displaystyle {sqrt {0.8}}}sqrt{0.8}、1{displaystyle 1}1。这样函数下方的部分就被5个黄色长方形覆盖了，所以面积S{displaystyle S}S小于5个黄色长方形面积之和：


0.2(0.2−0)+0.4(0.4−0.2)+0.6(0.6−0.4)+0.8(0.8−0.6)+1(1−0.8)≈0.7497.{displaystyle {sqrt {0.2}}left(0.2-0right)+{sqrt {0.4}}left(0.4-0.2right)+{sqrt {0.6}}left(0.6-0.4right)+{sqrt {0.8}}left(0.8-0.6right)+{sqrt {1}}left(1-0.8right)approx 0.7497.,!}sqrt {0.2} left (0.2 - 0 right ) + sqrt {0.4} left (0.4 - 0.2 right ) + sqrt {0.6} left (0.6 - 0.4 right ) + sqrt {0.8} left (0.8 - 0.6 right ) + sqrt {1} left (1 - 0.8 right ) approx 0.7497.,!

求出了S{displaystyle S}S的上限之后，用类似的方法可以求S{displaystyle S}S的下限。同样是将坐标轴等分成若干部分，然后在每个部分放上长方形，不过这时候长方形的高度需要是函数在这个部分的最小值，也就是最左侧的值。比如，如果将横轴等分成12个部分，然后按照以上的方法放上绿色长方形（如右图■），那么从图中可以看出，S{displaystyle S}S必定大于绿色长方形面积之和：


012(112−0)+112(212−112)+⋯+1112(1−1112)≈0.6203.{displaystyle {sqrt {frac {0}{12}}}left({frac {1}{12}}-0right)+{sqrt {frac {1}{12}}}left({frac {2}{12}}-{frac {1}{12}}right)+cdots +{sqrt {frac {11}{12}}}left(1-{frac {11}{12}}right)approx 0.6203.,!}sqrt {frac{0}{12}} left ( frac{1}{12} - 0 right ) + sqrt {frac{1}{12}} left ( frac{2}{12} - frac{1}{12} right ) + cdots + sqrt {frac{11}{12}} left (1 - frac{11}{12} right ) approx 0.6203.,!

于是，面积S{displaystyle S}S的取值介于0.6203和0.7497之间。要取得更加精确的估计，可以将横轴细分成更多的部分，并按照同样的方法放置长方形，计算长方形的面积之和。随着长方形越来越多，每个长方形越来越“细”，计算出的S{displaystyle S}S的范围会越来越窄，最后得出S{displaystyle S}S的精确值。


以上的方法可能出现的“漏洞”，是所谓的“取值范围”不一定会越来越小，最后聚集到同一个值上。虽然直观上来说，由于函数下方的图形面积是确定的，只要不断地用相似的形状“逼近”，最后总会趋向函数下方图形的真实面积。然而，对于某些“病态”的函数，以上的方法是无法得到确定的数值的。十九世纪的数学家波恩哈德·黎曼证明了，对于满足某些条件的“好函数”，以上的方法一定能求出函数下方的面积。现代的数学家将这种方法求出的面积称为黎曼积分，并给出了严格的定义（见#严格定义一节）。对于那些无法用黎曼的方法定义“函数下方图形面积”的函数，黎曼之后的数学家发展出了一些更宽泛的定义，让这些函数也能定义积分。



术语和标记


如果一个函数的积分存在，并且有限，就说这个函数是可积的。一般来说，被积函数不一定只有一个变量，积分域也可以是不同维度的空间，甚至是没有直观几何意义的抽象空间。如同上面介绍的，对于只有一个变量 x{displaystyle x}x的实值函数 f{displaystyle f}f ， f{displaystyle f}f在闭区间 [a,b]{displaystyle [a,b]}[a,b]上的积分记作


∫abf(x)dx.{displaystyle int _{a}^{b}f(x),mathrm {d} x.}int_a^b f(x),mathrm{d}x .

其中的dx{displaystyle mathrm {d} x}mathrm{d}x除了表示x{displaystyle x}x是f{displaystyle f}f 中要进行积分的那个变量（积分变量）之外，还可以表示不同的含义。在黎曼积分中，dx{displaystyle mathrm {d} x}mathrm{d}x表示分割区间的标记；在勒贝格积分中，表示一个测度；或仅仅表示一个独立的量（微分形式）。一般的区间或者积分范围J{displaystyle J}J ，J{displaystyle J} J上的积分可以记作∫Jf(x)dx.{displaystyle int _{J}f(x),mathrm {d} x.}int_J f(x), mathrm{d}x .


如果变量不只一个，比如说在二重积分中，函数f(x,y){displaystyle f(x,y),!}f(x,y),! 在区域D上的积分记作



∬Df(x,y)dσ{displaystyle iint _{D}f(x,y),!,mathrm {d} sigma }iint_{D} f(x,y),!, mathrm{d}sigma 或者 ∬Df(x,y)dxdy{displaystyle iint _{D}f(x,y),!,mathrm {d} xmathrm {d} y}iint_{D} f(x,y),!, mathrm{d}xmathrm{d}y

其中 dσ{displaystyle mathrm {d} sigma }mathrm{d}sigma 与区域D对应，是相应积分域中的微分元。



严格定义


定义积分的方法不止一种，各种定义之间也不是完全等价的。其中的差别主要是在定义某些特殊的函数：在某些积分的定义下这些函数不可积分，但在另一些定义之下它们的积分存在。然而有时也会因为教学的原因造成定义上的差别。最常见的积分定义是黎曼积分和勒贝格积分。



黎曼积分


主条目：黎曼积分



在闭区间上取定一个（不规则的）取样分割后获得的黎曼和


黎曼积分得名于德国数学家波恩哈德·黎曼，建立在函数在区间取样分割后的黎曼和之上。设有闭区间[a,b]{displaystyle [a,b]}[a,b]，那么[a,b]{displaystyle [a,b]}[a,b]的一个分割是指在此区间中取一个有限的点列a=x0<x1<x2<…<xn=b{displaystyle a=x_{0}<x_{1}<x_{2}<ldots <x_{n}=b}a=x_{0}<x_{1}<x_{2}<ldots <x_{n}=b。每个闭区间[xi,xi+1]{displaystyle [x_{i},x_{i+1}]}[x_{i},x_{i+1}]叫做一个子区间。定义λ{displaystyle lambda }lambda 为这些子区间长度的最大值：λ=max(xi+1−xi){displaystyle lambda =max(x_{i+1}-x_{i})}lambda =max(x_{i+1}-x_{i})，其中0≤i≤n−1{displaystyle 0leq ileq n-1}0leq ileq n-1。而闭区间[a,b]{displaystyle [a,b]}[a,b]上的一个取样分割是指在进行分割a=x0<x1<x2<…<xn=b{displaystyle a=x_{0}<x_{1}<x_{2}<ldots <x_{n}=b}a=x_{0}<x_{1}<x_{2}<ldots <x_{n}=b后，于每一个子区间中[xi,xi+1]{displaystyle [x_{i},x_{i+1}]}[x_{i},x_{i+1}]取出一点 xi≤ti≤xi+1{displaystyle x_{i}leq t_{i}leq x_{i+1}}x_{i}leq t_{i}leq x_{i+1}。




确定的子区间上不同的取样方式构成的黎曼和：■ 右端值，■ 极小值， ■ 极大值， ■ 左端值。


对一个在闭区间[a,b]{displaystyle [a,b]}[a,b]有定义的实值函数f{displaystyle f}f，f{displaystyle f}f关于取样分割x0,…,xn{displaystyle x_{0},ldots ,x_{n}}x_{0},ldots ,x_{n} 、t0,…,tn−1{displaystyle t_{0},ldots ,t_{n-1}}t_{0},ldots ,t_{n-1}的黎曼和定义为以下和式：


∑i=0n−1f(ti)(xi+1−xi){displaystyle sum _{i=0}^{n-1}f(t_{i})(x_{i+1}-x_{i})}sum _{i=0}^{n-1}f(t_{i})(x_{i+1}-x_{i})

和式中的每一项是子区间长度xi+1−xi{displaystyle x_{i+1}-x_{i}}x_{i+1}-x_{i}与在ti{displaystyle t_{i}}t_{i}处的函数值f(ti){displaystyle f(t_{i})}f(t_{i})的乘积。直观地说，就是以标记点ti{displaystyle t_{i}}t_{i}到X轴的距离为高，以分割的子区间为长的矩形的面积。


最简单的取样分割方法是将区间均匀地分成若干个长度相等的子区间，然后在每个子区间上按相同的准则取得标记点。例如取每个子区间右端ti=xi+1{displaystyle t_{i}=x_{i+1}}t_i =x_{i+1} （见左图左上角）或者取每个子区间上函数的极大值对应的ti{displaystyle t_{i}}t_{i}（左图左下角）等等。不同的取样分割方式得到的黎曼和一般都不相同，而如果当λ{displaystyle lambda }lambda 足够小的时候，所有的黎曼和都趋于某个极限，那么这个极限就叫做函数f{displaystyle f}f在闭区间[a,b]{displaystyle [a,b]}[a,b]上的黎曼积分。即，S{displaystyle S}S是函数f{displaystyle f}f在闭区间[a,b]{displaystyle [a,b]}[a,b]上的黎曼积分，当且仅当对于任意的ϵ>0{displaystyle epsilon >0}epsilon >0，都存在δ>0{displaystyle delta >0}delta >0，使得对于任意的取样分割x0,…,xn{displaystyle x_{0},ldots ,x_{n}}x_{0},ldots ,x_{n}、t0,…,tn−1{displaystyle t_{0},ldots ,t_{n-1}}t_{0},ldots ,t_{n-1}，只要它的子区间长度最大值λ≤δ{displaystyle lambda leq delta }lambda leq delta ，就有：


|∑i=0n−1f(ti)(xi+1−xi)−S|<ϵ.{displaystyle left|sum _{i=0}^{n-1}f(t_{i})(x_{i+1}-x_{i})-Sright|<epsilon .,}left|sum _{i=0}^{n-1}f(t_{i})(x_{i+1}-x_{i})-Sright|<epsilon .,

也就是说，对于一个函数f{displaystyle f}f，如果在闭区间[a,b]{displaystyle [a,b]}[a,b]上，无论怎样进行取样分割，只要它的子区间长度最大值足够小，函数f{displaystyle f}f的黎曼和都会趋向于一个确定的值S{displaystyle S}S，那么f{displaystyle f}f在闭区间[a,b]{displaystyle [a,b]}[a,b]上的黎曼积分存在，并且定义为黎曼和的极限S{displaystyle S}S。这时候称函数f{displaystyle f}f为黎曼可积的。将f{displaystyle f}f在闭区间[a,b]{displaystyle [a,b]}[a,b]上的黎曼积分记作：


∫abf(x)dx.{displaystyle int _{a}^{b}f(x)mathrm {d} x.}int_a^b f(x) mathrm{d} x.


勒贝格积分


主条目：勒贝格积分

勒贝格积分的出现源于概率论等理论中对更为不规则的函数的处理需要。黎曼积分无法处理这些函数的积分问题。因此，需要更为广义上的积分概念，使得更多的函数能够定义积分。同时，对于黎曼可积的函数，新积分的定义不应当与之冲突。勒贝格积分就是这样的一种积分。 黎曼积分对初等函数和分段连续的函数定义了积分的概念，勒贝格积分则将积分的定义推广到测度空间里。[1]:Intro.2-3


勒贝格积分的概念定义在测度的概念上。测度是日常概念中测量长度、面积的推广，将其以公理化的方式定义。黎曼积分实际可以看成是用一系列矩形来尽可能铺满函数曲线下方的图形，而每个矩形的面积是长乘宽，或者说是两个区间之长度的乘积。测度为更一般的空间中的集合定义了类似长度的概念，从而能够“测量”更不规则的函数曲线下方图形的面积，从而定义积分。在一维实空间中，一个区间 A = [a, b] 的勒贝格测度μ(A)是区间的右端值减去左端值， b − a。这使得勒贝格积分和正常意义上的黎曼积分相兼容。在更复杂的情况下，积分的集合可以更加复杂，不再是区间，甚至不再是区间的交集或并集，其“长度”则由测度来给出。[1]:Intro.3


给定一个集合Ω{displaystyle Omega }Omega 上的σ−{displaystyle sigma -}sigma -代数F{displaystyle {mathcal {F}}}mathcal{F}以及F{displaystyle {mathcal {F}}}mathcal{F}上的一个测度μ{displaystyle mu }mu ，那么对于F{displaystyle {mathcal {F}}}mathcal{F}中的一个元素A⊂Ω{displaystyle Asubset Omega }A subset Omega，定义指示函数1A{displaystyle 1_{A}}1_{A}关于测度μ{displaystyle mu }mu 的积分为：




黎曼积分（蓝色）和勒贝格积分（红色）


∫1Adμ=μ(A){displaystyle int 1_{A},dmu =mu (A)}int 1_A ,dmu = mu(A)

再定义可测的非负简单函数f=∑i=1nai1Ai{displaystyle f=sum _{i=1}^{n}a_{i}1_{A_{i}}}f = sum_{i=1}^{n} a_i 1_{A_i}（其中 Ai∈F,ai⩾0{displaystyle A_{i}in {mathcal {F}},,,a_{i}geqslant 0}A_i in mathcal{F}, , , a_i geqslant 0）的积分为：



∫fdμ=∫(∑i=1nai1Ai)dμ=∑i=1nai∫1Aidμ=∑i=1naiμ(Ai){displaystyle int f,dmu =int left(sum _{i=1}^{n}a_{i}1_{A_{i}}right),dmu =sum _{i=1}^{n}a_{i}int 1_{A_{i}},dmu =sum _{i=1}^{n}a_{i}mu (A_{i})} int f ,dmu = int left(sum_{i=1}^{n} a_i 1_{A_i}right) ,dmu = sum_{i=1}^{n} a_iint 1_{A_i} ,dmu = sum_{i=1}^{n} a_i mu(A_i)<br /> [1]:28

对于一般的函数f:Ω→R{displaystyle f:Omega rightarrow mathbb {R} }f : Omega rightarrow mathbb{R} ，如果对每个区间(a,b]{displaystyle (a,b]}(a, b]，都满足 f−1((a,b])∈F{displaystyle f^{-1}left((a,b]right)in {mathcal {F}}}f^{-1}left( (a, b] right) in mathcal{F}，那么测度论中定义f{displaystyle f}f是可测函数。对于一个非负的可测函数f{displaystyle f}f，它的积分定义为：



∫fdμ=sup{g,g{displaystyle int f,dmu =sup {bigg {}g,quad g} int f ,dmu = sup bigg{ g, quad g为简单函数，并且f−g{displaystyle f-g}f - g恒大于零.}{displaystyle .,{bigg }}}. ,bigg} [1]:30

这个积分可以用以下的方式逼近：



∫fdμ=limn→+∞[∑k=0n2n−1k2nμ(k2n⩽f<k+12n)+nμ(f⩾n)]=limn→+∞[12n∑k=0n2n−1μ(k2n⩽f)]{displaystyle int f,dmu =lim _{nto +infty }left[sum _{k=0}^{n2^{n}-1}{frac {k}{2^{n}}}mu left({frac {k}{2^{n}}}leqslant f<{frac {k+1}{2^{n}}}right)+nmu (fgeqslant n)right]=lim _{nto +infty }left[{frac {1}{2^{n}}}sum _{k=0}^{n2^{n}-1}mu left({frac {k}{2^{n}}}leqslant fright)right]} int f ,dmu = lim_{n to +infty}left[ sum_{k = 0}^{n 2^n - 1} frac{k}{2^n} mu left(frac{k}{2^n} leqslant f < frac{k+1}{2^n} right) + nmu (f geqslant n) right] = lim_{n to +infty}left[ frac{1}{2^n} sum_{k = 0}^{n 2^n - 1} mu left(frac{k}{2^n} leqslant f right) right] [2]:344

直观上，这种逼近方式是将f{displaystyle f}f的值域分割成等宽的区段，再考察每段的“长度”，用其测度表示，再乘以区段所在的高度。其覆盖之处如右图中的红色区域所示。佛兰德（Folland）[3]总结说，“黎曼积分是把定义域区间[a, b]划分为子区间”，而勒贝格积分则是“划分f{displaystyle f}f的值域”。


至于一般的（有正有负的）可测函数f{displaystyle f}f，它的积分是函数曲线在x轴上方“围出”的面积，减去曲线在x轴下方“围出”的面积。严格定义需要引进“正部函数”和“负部函数”的概念：




f+:{displaystyle f^{+}:} f^+ : 如果f(x)⩾0,{displaystyle f(x)geqslant 0,}f(x)geqslant 0, 则f+(x)=f(x),{displaystyle f^{+}(x)=f(x),} f^+ (x) = f(x), 否则f+(x)=0.{displaystyle f^{+}(x)=0.} f^+ (x) = 0.


f−:{displaystyle f^{-}:} f^- : 如果f(x)⩽0,{displaystyle f(x)leqslant 0,}f(x)leqslant 0, 则f−(x)=−f(x),{displaystyle f^{-}(x)=-f(x),} f^- (x) = -f(x), 否则f−(x)=0.{displaystyle f^{-}(x)=0.} f^- (x) = 0.


可以验证，总有f(x)=f+(x)−f−(x).{displaystyle f(x)=f^{+}(x)-f^{-}(x).} f(x) = f^+ (x) - f^-(x). 而f{displaystyle f}f的积分定义为：∫fdμ=∫f+dμ−∫f−dμ{displaystyle int f,dmu =int f^{+},dmu -int f^{-},dmu } int f ,dmu = int f^+ ,dmu - int f^- ,dmu [1]:41-42[2]:345


以上定义有意义仅当∫f+dμ{displaystyle int f^{+},dmu }int f^+ ,dmu和∫f−dμ{displaystyle int f^{-},dmu } int f^- ,dmu中至少有一个的值是有限的（否则会出现无穷大减无穷大的情况），这时称f{displaystyle f}f的勒贝格积分存在或积分有意义。如果∫f+dμ{displaystyle int f^{+},dmu }int f^+ ,dmu和∫f−dμ{displaystyle int f^{-},dmu } int f^- ,dmu都是有限的，那么称f{displaystyle f}f可积。[1]:42-45[2]:345


给定一个可测集合A{displaystyle A}A，可以定义可积函数在A{displaystyle A}A上的积分为：



∫Afdμ=∫f1Adμ.{displaystyle int _{A}f,dmu =int f1_{A},dmu .}int_A f ,dmu = int f 1_{A} ,dmu .[2]:345


其他定义


除了黎曼积分和勒贝格积分以外，还有若干不同的积分定义，适用于不同种类的函数。




  • 达布积分：等价于黎曼积分的一种定义，比黎曼积分更加简单，可用来帮助定义黎曼积分。


  • 黎曼－斯蒂尔杰斯积分：黎曼积分的推广，用一般的函数g(x)代替x作为积分变量，也就是将黎曼和中的(xi+1−xi){displaystyle (x_{i+1}-x_{i})}(x_{i+1} - x_{i})推广为(g(xi+1)−g(xi)){displaystyle (g(x_{i+1})-g(x_{i}))}(g(x_{i+1}) - g(x_{i}))。


  • 勒贝格－斯蒂尔杰斯积分：勒贝格积分的推广，推广方式类似于黎曼－斯蒂尔杰斯积分，用有界变差函数g代替测度μ{displaystyle mu }mu 。

  • 哈尔积分：由阿尔弗雷德·哈尔于1933年引入，用来处理局部紧拓扑群上的可测函数的积分，参见哈尔测度。


  • 伊藤积分：由伊藤清于二十世纪五十年代引入，用于计算包含随机过程如维纳过程或半鞅的函数的积分。



性质


通常意义上的积分都满足一些基本的性质。以下的I{displaystyle {mathcal {I}}}{mathcal {I}}在黎曼积分意义上表示一个区间，在勒贝格积分意义下表示一个可测集合。



线性


积分是线性的。如果一个函数f{displaystyle f}f可积，那么它乘以一个常数後仍然可积。如果函数f{displaystyle f}f和g{displaystyle g}g可积，那么它们的和与差也可积。


∫I(αf+βg)=α∫If+β∫Ig{displaystyle int _{mathcal {I}}(alpha f+beta g)=alpha int _{mathcal {I}}f+beta int _{mathcal {I}}g,} int_{mathcal{I}} (alpha f + beta g) = alpha int_ {mathcal{I}} f + beta int_ {mathcal{I}} g ,

所有在I{displaystyle {mathcal {I}}}{mathcal {I}}上可积的函数构成了一个线性空间。黎曼积分的意义上，所有区间[a, b]上黎曼可积的函数f{displaystyle f}f和g{displaystyle g}g都满足：


∫ab(αf+βg)(x)dx=α∫abf(x)dx+β∫abg(x)dx.{displaystyle int _{a}^{b}(alpha f+beta g)(x),dx=alpha int _{a}^{b}f(x),dx+beta int _{a}^{b}g(x),dx.,} int_a^b (alpha f + beta g)(x) , dx = alpha int_a^b f(x) ,dx + beta int_a^b g(x) , dx. ,

所有在可测集合I{displaystyle {mathcal {I}}}{mathcal {I}}上勒贝格可积的函数f{displaystyle f}f和g{displaystyle g}g都满足：


∫I(αf+βg)dμ=α∫Ifdμ+β∫Igdμ.{displaystyle int _{mathcal {I}}(alpha f+beta g),dmu =alpha int _{mathcal {I}}f,dmu +beta int _{mathcal {I}}g,dmu .} int_{mathcal{I}} (alpha f + beta g) , dmu = alpha int_{mathcal{I}} f , dmu + beta int_{mathcal{I}} g , dmu.

在积分区域上，积分有可加性。黎曼积分意义上，如果一个函数f{displaystyle f}f在某区间上黎曼可积，那么对于区间内的三个实数a, b, c，有


∫acf(x)dx=∫abf(x)dx+∫bcf(x)dx{displaystyle int _{a}^{c}f(x),dx=int _{a}^{b}f(x),dx+int _{b}^{c}f(x),dx,} int_{a}^c f(x) , dx = int_{a}^b f(x) , dx +int_{b}^c f(x) , dx ,

如果函数f{displaystyle f}f在两个不相交的可测集I{displaystyle {mathcal {I}}}{mathcal {I}}和J{displaystyle {mathcal {J}}}mathcal{J}上勒贝格可积，那么


∫I∪Jfdμ=∫Ifdμ+∫Jfdμ.{displaystyle int _{{mathcal {I}}cup {mathcal {J}}}f,dmu =int _{mathcal {I}}f,dmu +int _{mathcal {J}}f,dmu .} int_{mathcal{I}cup mathcal{J} } f , dmu = int_{mathcal{I}} f , dmu + int_{mathcal{J}} f, dmu.

如果函数f{displaystyle f}f勒贝格可积，那么对任意ϵ>0{displaystyle epsilon >0}epsilon >0，都存在δ{displaystyle delta }delta ，使得F{displaystyle {mathcal {F}}}mathcal{F}中任意的元素A{displaystyle A}A，只要μ(A)<δ{displaystyle mu (A)<delta }mu (A) < delta，就有∫A|f|dμ<ϵ{displaystyle int _{A}left|fright|,dmu <epsilon }int_{A} left| f right| , dmu < epsilon



保号性


如果一个函数f{displaystyle f}f在某个区间上黎曼可积，并且在此区间上大于等于零。那么它在这个区间上的积分也大于等于零。如果f{displaystyle f}f勒贝格可积并且几乎总是大于等于零，那么它的勒贝格积分也大于等于零。作为推论，如果两个I{displaystyle {mathcal {I}}}{mathcal {I}}上的可积函数f{displaystyle f}f和g{displaystyle g}g相比， f{displaystyle f}f（几乎）总是小于等于g{displaystyle g}g，那么f{displaystyle f}f的（勒贝格）积分也小于等于g{displaystyle g}g的（勒贝格）积分。


如果黎曼可积的非负函数f{displaystyle f}f在I{displaystyle {mathcal {I}}}{mathcal {I}}上的积分等于0，那么除了有限个点以外，f=0{displaystyle f=0}f = 0。如果勒贝格可积的非负函数f{displaystyle f}f在I{displaystyle {mathcal {I}}}{mathcal {I}}上的积分等于0，那么f{displaystyle f}f几乎处处为0。如果F{displaystyle {mathcal {F}}}mathcal{F}中元素A{displaystyle A}A的测度μ(A){displaystyle mu (A)}mu (A)等于0，那么任何可积函数在A{displaystyle A}A上的积分等于0。


函数的积分表示了函数在某个区域上的整体性质，改变函数某点的取值不会改变它的积分值。对于黎曼可积的函数，改变有限个点的取值，其积分不变。对于勒贝格可积的函数，某个测度为0的集合上的函数值改变，不会影响它的积分值。如果两个函数几乎处处相同，那么它们的积分相同。如果对F{displaystyle {mathcal {F}}}mathcal{F}中任意元素A{displaystyle A}A，可积函数f{displaystyle f}f在A{displaystyle A}A上的积分总等于（大于等于）可积函数g{displaystyle g}g在A{displaystyle A}A上的积分，那么f{displaystyle f}f几乎处处等于（大于等于）g{displaystyle g}g。



介值性质


如果f{displaystyle f}f在I{displaystyle {mathcal {I}}}{mathcal {I}}上可积， M{displaystyle M}M和m{displaystyle m}m分别是f{displaystyle f}f在I{displaystyle {mathcal {I}}}{mathcal {I}}上的最大值和最小值，那么：


mL(I)⩽∫If⩽ML(I){displaystyle mL({mathcal {I}})leqslant int _{mathcal {I}}fleqslant ML({mathcal {I}})}m L(mathcal{I}) leqslant int_ {mathcal{I}} f leqslant M L(mathcal{I})

其中的L(I){displaystyle L({mathcal {I}})} L(mathcal{I}) 在黎曼积分中表示区间I{displaystyle {mathcal {I}}}{mathcal {I}}的长度，在勒贝格积分中表示I{displaystyle {mathcal {I}}}{mathcal {I}}的测度。



绝对连续性


积分的绝对连续性表明，如果函数在某区间或集合上可积，那么当积分区域是近乎全区域的时候，积分的值也会逼近在全区域上的积分值。如果函数f{displaystyle f}f在某区间I{displaystyle {mathcal {I}}}{mathcal {I}}上黎曼可积，那么对于满足In⊂In+1{displaystyle {mathcal {I}}_{n}subset {mathcal {I}}_{n+1}}mathcal{I}_n subset mathcal{I}_{n+1} ，limn→∞In=I{displaystyle lim _{nto infty }{mathcal {I}}_{n}={mathcal {I}}}lim_{n to infty} mathcal{I}_n = mathcal{I}的区间序列(In)n∈N{displaystyle left({mathcal {I}}_{n}right)_{nin mathbb {N} }}left(mathcal{I}_n right)_{n in mathbb{N}}，有


limn→∞∫Inf(x)dx=∫If(x)dx{displaystyle lim _{nto infty }int _{{mathcal {I}}_{n}}f(x),dx=int _{mathcal {I}}f(x),dx}lim_{n to infty} int_{mathcal{I}_n} f(x) , dx = int_{mathcal{I}} f(x) , dx


积分不等式


涉及积分的基本不等式可以看作是一些离散不等式的类比。如柯西不等式的积分版本：假如有函数f{displaystyle f}f和g{displaystyle g}g使得fg{displaystyle fg}fg、f2{displaystyle f^{2}}f^2、g2{displaystyle g^{2}}g^2都在区间I{displaystyle {mathcal {I}}}{mathcal {I}}上黎曼可积，那么


(∫I(fg)(x)dx)2≤(∫If(x)2dx)(∫Ig(x)2dx).{displaystyle left(int _{mathcal {I}}(fg)(x),dxright)^{2}leq left(int _{mathcal {I}}f(x)^{2},dxright)left(int _{mathcal {I}}g(x)^{2},dxright).}left( int_{mathcal{I}} (fg)(x) , dx right)^2 leq left( int_{mathcal{I}} f(x)^2 , dx right) left( int_{mathcal{I}} g(x)^2 , dx right).

而更广泛的赫尔德不等式也有积分版本。设有正实数p{displaystyle p}p和q{displaystyle q}q，其倒数和为1：1p+1q=1{displaystyle {frac {1}{p}}+{frac {1}{q}}=1}frac1p + frac1q = 1，则对黎曼可积函数f{displaystyle f}f和g{displaystyle g}g，有以下不等关系（在下式各项有意义的时候）：


|∫f(x)g(x)dx|⩽(∫|f(x)|pdx)1p(∫|g(x)|qdx)1q.{displaystyle left|int f(x)g(x),dxright|leqslant left(int left|f(x)right|^{p},dxright)^{frac {1}{p}}left(int left|g(x)right|^{q},dxright)^{frac {1}{q}}.}left|int f(x)g(x),dxright|leqslant left(int left|f(x)right|^{p},dxright)^{{{frac {1}{p}}}}left(int left|g(x)right|^{q},dxright)^{{{frac {1}{q}}}}.

可以看出柯西不等式是赫尔德不等式在p=q=2{displaystyle p=q=2}p = q = 2的时候的特例。


此外闵可夫斯基不等式也有积分版本。设有正实数p⩾1{displaystyle pgeqslant 1}p geqslant 1，则对黎曼可积函数f{displaystyle f}f和g{displaystyle g}g，有以下不等关系：


(∫|f(x)+g(x)|pdx)1p≤(∫|f(x)|pdx)1p+(∫|g(x)|pdx)1p.{displaystyle left(int left|f(x)+g(x)right|^{p},dxright)^{frac {1}{p}}leq left(int left|f(x)right|^{p},dxright)^{frac {1}{p}}+left(int left|g(x)right|^{p},dxright)^{frac {1}{p}}.}left(int left|f(x)+g(x)right|^{p},dxright)^{{{frac {1}{p}}}}leq left(int left|f(x)right|^{p},dxright)^{{{frac {1}{p}}}}+left(int left|g(x)right|^{p},dxright)^{{{frac {1}{p}}}}.

对于勒贝格可积的函数，类似的不等式可以帮助构建Lp{displaystyle L^{p}}L^p空间。


一个函数f{displaystyle f}f可积当且仅当函数|f|{displaystyle |f|}|f|可积，并且f{displaystyle f}f的积分的绝对值，小于等于其绝对值的积分：|∫If|⩽∫I|f|{displaystyle left|int _{mathcal {I}}fright|leqslant int _{mathcal {I}}|f|} left| int_ {mathcal{I}} f right| leqslant int_{mathcal{I}}|f|。如果函数f{displaystyle f}f勒贝格可积，那么|f|{displaystyle |f|}|f|几乎处处有限。



微积分基本定理


主条目：微积分基本定理

微积分基本定理是将微分运算（求导运算）和积分运算（原函数）联系在一起的基本定理。从基本定理可以看出微分和积分运算之间的互逆关系。定理叙述如下：




设有在闭区间[a, b]上连续的可积函数f{displaystyle f}f。考虑积分上限函数F(x)=∫axf(t)dt{displaystyle F(x)=int _{a}^{x}f(t),mathrm {d} t}F(x) = int_a^x f(t), mathrm{d} t，则F{displaystyle F}F在闭区间[a, b]上连续，在开区间(a, b) 上可导，并且对开区间(a, b) 中任意的x{displaystyle x}x有：


F′(x)=f(x){displaystyle F'(x)=f(x)}F'(x) = f(x)



微积分基本定理的一个实用的直接推论，也被称为微积分第二基本定理：




设有在闭区间[a, b]上连续的可积函数f{displaystyle f}f。考虑它的一个原函数F(x){displaystyle F(x)}F(x)，即：


F′(x)=f(x){displaystyle F'(x)=f(x)}F'(x) = f(x)

则f{displaystyle f}f在区间[a, b]上的定积分满足：


∫abf(t)dt=F(b)−F(a).{displaystyle int _{a}^{b}f(t)mathrm {d} t=F(b)-F(a).}int_a^b f(t) mathrm{d} t = F(b) - F(a).




推广



反常积分


主条目：反常积分





∫0∞dx(x+1)x=π{displaystyle int _{0}^{infty }{frac {mathrm {d} x}{(x+1){sqrt {x}}}}=pi }int_{0}^{infty} frac{mathrm{d}x}{(x+1)sqrt{x}} = pi
这是一个既含有无限积分区间，被积函数也无限的积分


狭义的黎曼积分中，被积函数是定义在闭区间（长度有限）上的函数，因此取值也是在有限区间中。反常积分也称为广义积分，是对更一般区间上的函数定义的积分，研究在狭义黎曼积分的被积函数条件没有满足时，是否能够有积分的定义。一个基本的情形是，被积函数在半开区间[a, b)上有定义，然而在自变量趋向开区间的某一端（比如说b）时，函数有“瑕点”（函数值趋向无穷或没有极限）。这时候，考察被积函数在闭区间[a, b - ε]上的积分值Iϵ{displaystyle I_{epsilon }}I_epsilon，如果当其中的正实数 ε 趋向于0的时候，积分值Iϵ{displaystyle I_{epsilon }}I_epsilon趋于一个极限I{displaystyle I}I，那么就称被积函数在[a, b)上广义可积，并且称其为瑕积分I{displaystyle I}I。这个定义也可以简单地记作：


∫abf(x)dx=limϵ→0∫ab−ϵf(x)dx{displaystyle int _{a}^{b}f(x),mathrm {d} x=lim _{epsilon to 0}int _{a}^{b-epsilon }f(x),mathrm {d} x}int_{a}^{b} f(x),mathrm{d}x = lim_{epsilon to 0} int_{a}^{b-epsilon} f(x),mathrm{d}x

另一个基本的情形是区间长度为无限大的情形，称为无穷限广义积分。比如说被积函数在在闭区间[a, ∞)上有定义。考虑被积函数在闭区间[a, b]上的积分值Ib{displaystyle I_{b}}I_b，如果当b趋向正无穷大的时候，积分值Ib{displaystyle I_{b}}I_b趋于一个极限I{displaystyle I}I，那么就称被积函数在[a, ∞)上广义可积，并且称为无穷限积分I{displaystyle I}I。这个定义也可以简单地记作：


∫a∞f(x)dx=limb→∞∫abf(x)dx{displaystyle int _{a}^{infty }f(x),mathrm {d} x=lim _{bto infty }int _{a}^{b}f(x),mathrm {d} x}int_{a}^{infty} f(x),mathrm{d}x = lim_{b to infty} int_{a}^{b} f(x),mathrm{d}x

其余更加复杂的情形包括瑕点在区间内部，或者同时包含了无穷限的情形等等。这些情形都可以拆分为基本情形的组合，然后使用以上的方法探讨广义积分的存在性。比如，考虑函数f(x)=1(x+1)x{displaystyle f(x)={frac {1}{(x+1){sqrt {x}}}}}f(x)={frac {1}{(x+1){sqrt {x}}}}在正实数区间（0到正无穷）上的积分（如右图所示）。这是一个双重广义积分。一方面函数在0处有瑕点（在0附近趋向正无穷），另一方面函数积分区域是无穷限（直到正无穷大）。这时候可以将这个积分分割为两个部分来考察。比如说以1为界限，左右分割为0到1的积分和1到正无穷大的积分。


首先考察1到正无穷大的部分，依据上述方法，可以首先考察f(x){displaystyle f(x)}f(x)在闭区间[1, t]上的积分：


It=∫1tdx(x+1)x=2arctan⁡t−π2{displaystyle I_{t}=int _{1}^{t}{frac {mathrm {d} x}{(x+1){sqrt {x}}}}=2arctan {sqrt {t}}-{frac {pi }{2}}}I_{t}=int _{{1}}^{{t}}{frac {{mathrm {d}}x}{(x+1){sqrt {x}}}}=2arctan {{sqrt {t}}}-{frac {pi }{2}}

当实数t趋于无穷大的时候，上述积分值的极限为limt→∞(2arctan⁡t−π2)=π2.{displaystyle lim _{tto infty }left(2arctan {sqrt {t}}-{frac {pi }{2}}right)={frac {pi }{2}}.}lim_{t to infty} left(2 arctan{sqrt{t}} - frac{pi}{2} right) = frac{pi}{2}. 所以f(x){displaystyle f(x)}f(x)从1到正无穷大的积分可以定义为：


∫1∞dx(x+1)x=limt→∞∫1tdx(x+1)x=π2{displaystyle int _{1}^{infty }{frac {mathrm {d} x}{(x+1){sqrt {x}}}}=lim _{tto infty }int _{1}^{t}{frac {dx}{(x+1){sqrt {x}}}}={frac {pi }{2}}}int _{{1}}^{{infty }}{frac {{mathrm {d}}x}{(x+1){sqrt {x}}}}=lim _{{tto infty }}int _{{1}}^{{t}}{frac {dx}{(x+1){sqrt {x}}}}={frac {pi }{2}}

同样地，考察从0到1的部分，可以首先考察f(x){displaystyle f(x)}f(x)在闭区间[s, 1]上的积分：


Is=∫s1dx(x+1)x=π2−2arctan⁡s{displaystyle I_{s}=int _{s}^{1}{frac {mathrm {d} x}{(x+1){sqrt {x}}}}={frac {pi }{2}}-2arctan {sqrt {s}}}I_{s}=int _{{s}}^{{1}}{frac {{mathrm {d}}x}{(x+1){sqrt {x}}}}={frac {pi }{2}}-2arctan {{sqrt {s}}}

当正实数s趋于0的时候，上述积分值的极限为lims→0(π2−2arctan⁡s)=π2.{displaystyle lim _{sto 0}left({frac {pi }{2}}-2arctan {sqrt {s}}right)={frac {pi }{2}}.}lim_{s to 0} left(frac{pi}{2} - 2 arctan{sqrt{s}} right) = frac{pi}{2}. 所以f(x){displaystyle f(x)}f(x)从0到1的积分可以定义为：


∫01dx(x+1)x=lims→0∫s1dx(x+1)x=π2{displaystyle int _{0}^{1}{frac {mathrm {d} x}{(x+1){sqrt {x}}}}=lim _{sto 0}int _{s}^{1}{frac {dx}{(x+1){sqrt {x}}}}={frac {pi }{2}}}int _{{0}}^{{1}}{frac {{mathrm {d}}x}{(x+1){sqrt {x}}}}=lim _{{sto 0}}int _{{s}}^{{1}}{frac {dx}{(x+1){sqrt {x}}}}={frac {pi }{2}}

因此可以定义f(x)=1(x+1)x{displaystyle f(x)={frac {1}{(x+1){sqrt {x}}}}}f(x)={frac {1}{(x+1){sqrt {x}}}}在正实数区间（0到正无穷）上的积分为这两部分的和：


∫0∞dx(x+1)x=∫01dx(x+1)x+∫1∞dx(x+1)x=π2+π2=π{displaystyle int _{0}^{infty }{frac {mathrm {d} x}{(x+1){sqrt {x}}}}=int _{0}^{1}{frac {mathrm {d} x}{(x+1){sqrt {x}}}}+int _{1}^{infty }{frac {mathrm {d} x}{(x+1){sqrt {x}}}}={frac {pi }{2}}+{frac {pi }{2}}=pi }int _{{0}}^{{infty }}{frac {{mathrm {d}}x}{(x+1){sqrt {x}}}}=int _{{0}}^{{1}}{frac {{mathrm {d}}x}{(x+1){sqrt {x}}}}+int _{{1}}^{{infty }}{frac {{mathrm {d}}x}{(x+1){sqrt {x}}}}={frac {pi }{2}}+{frac {pi }{2}}=pi


多重积分


主条目：多重积分

狭义积分的积分范围是实数的一个区间或者可测子集。多重积分将积分范围扩展到多维空间中的区域或可测子集。比如说二重积分的积分范围是平面上的一个区域。这时候积分∫Df(x)dx{displaystyle int _{D}f(x),mathrm {d} x}int_D f(x) , mathrm{d}x中的变量x{displaystyle x}x可以是（赋予了拓扑结构的）向量空间里面的一个向量。富比尼定理证明，在一定条件下，多重积分可以转换为累次积分。也就是说，在多维空间上的积分可以通过转化为多个嵌套的一重积分来计算。通常的方法是将多重的积分变量转变为各个坐标指标上的积分变量。例如，考虑以下二重积分：


∫Ce−x2−y2dσ.{displaystyle int _{C}e^{-x^{2}-y^{2}},mathrm {d} sigma .}int_C e^{-x^2 - y^2} ,mathrm{d}sigma.

其中的C={(x,y)|x2+y2⩽1}{displaystyle C={(x,y);|;x^{2}+y^{2}leqslant 1}}C = { (x, y) ; | ; x^2 + y^2 leqslant 1 }是一个半径为1的圆盘。这个二重积分可以转变成：


∫Ce−x2−y2dσ=∫−11∫−1−y21−y2e−x2−y2dxdy=∫02π∫01e−r2rdrdθ.{displaystyle int _{C}e^{-x^{2}-y^{2}},mathrm {d} sigma =int _{-1}^{1}int _{-{sqrt {1-y^{2}}}}^{sqrt {1-y^{2}}}e^{-x^{2}-y^{2}},mathrm {d} xmathrm {d} y=int _{0}^{2pi }int _{0}^{1}e^{-r^{2}},rmathrm {d} rmathrm {d} theta .}int_C e^{-x^2 - y^2} ,mathrm{d}sigma = int_{-1}^1 int_{-sqrt{1 - y^2}}^{sqrt{1 - y^2}} e^{-x^2 - y^2} ,mathrm{d}x mathrm{d}y = int_{0}^{2pi} int_{0}^{1} e^{-r^2} , rmathrm{d}r mathrm{d}theta.


路径积分与曲面积分


主条目：路径积分和曲面积分

路径积分也称曲线积分，可以看作是区间上积分的推广。积分的范围不是区间（直线段），而是高维空间中的有向曲线。后者称为积分路径。路径积分有很多种类，当积分路径为闭合曲线时，称为环路积分或围道积分。路径积分的被积函数可以是标量函数（标量场）或向量函数（向量场）。如果被积函数F是一个梯度场，那么F的曲线积分与所取的路径无关，而只与路径的起点和终点的选取有关。与路径积分类似，平面区域的二重积分可以推广为在高维空间中的（有向）曲面上进行积分，称为曲面积分。路径积分和曲面积分是物理学中很重要的工具，例如计算电场或重力场中的做功、量子力学中计算粒子出现的概率，会用到路径积分。流体力学中计算流体的流量、电力学中使用高斯定律计算电场和电荷分布时，会用到曲面积分。



积分的种类



  • 黎曼积分

  • 达布积分

  • 勒贝格积分

  • 黎曼-斯蒂爾吉斯积分

  • 數值積分



參見



  • 微积分基本定理

  • 不定积分

  • 定积分

  • 積分符號

  • 积分表



参考来源





  1. ^ 1.01.11.21.31.41.5 Robert G. Bartle. The Elements of Integration and Lebesgue Measure. Wiley Classics Library Edition. 1995. ISBN 978-0-471-04222-8 （英语）. 


  2. ^ 2.02.12.22.3 John K. Hunter, Bruno Nachtergaele. Applied Analysis. World Scientific（插图版）. 2001. ISBN 9789810241919 （英语）. 


  3. ^ Gerald B. Folland, Real Analysis: Modern Techniques and Their Applications, 1984, p. 56.









Comments

Post a Comment

Popular posts from this blog

Information security

Image
This article is part of a series on Information security Related security categories Internet security Cyberwarfare Computer security Mobile security Network security Threats Computer crime Vulnerability Eavesdropping Malware Spyware Ransomware Trojans Viruses Worms Rootkits Bootkits Keyloggers Screen scrapers Exploits Backdoors Logic bombs Payloads Denial of service Defenses Computer access control Application security Antivirus software Secure coding Secure by default Secure by design Secure operating systems Authentication Multi-factor authentication Authorization Data-centric security Encryption Firewall Intrusion detection system Mobile secure gateway Runtime application self-protection (RASP) v t e Information security , sometimes shortened to InfoSec , is the practice of preventing unauthorized access, use, disclosure, disruption, modification, inspection, recording or destruction of information. Th
Read more

章鱼与海女图

Image
本条目 可参照英語維基百科相應條目来扩充 。 （2014/5/25） 若您熟悉来源语言和主题，请协助参考外语维基扩充条目。请勿直接提交机械翻译，也不要翻译不可靠、低品质内容。依版权协议，译文需在编辑摘要注明来源，或于讨论页顶部标记 {{Translated page}} 标签。 本条目 需要擴充。 （2013年8月15日） 请協助改善这篇條目，更進一步的信息可能會在討論頁或扩充请求中找到。请在擴充條目後將此模板移除。 《 章鱼与海女 》（日语： 蛸と海女 ／ たことあま   Tako to ama ）是一幅由日本畫家葛饰北斋创作的浮世绘，出自1814年（文化4年）出版的艳本《喜能会之故真通》（日语： 喜能会之故真通 ／ きのえのこまつ   Kinoe no Komatsu ）。畫中有兩隻章鱼以觸手攻擊一名採珠的海女，並進行擬似戀獸癖的交媾行為。作品尺寸为6½" × 8¾" （16.51 cm × 22.23 cm）。 [1] 在此之前的类似作品还有北尾重政的艳本《謡曲色番組》及勝川春潮的艳本《艳本千夜多女志》等，有被北斋作为参考的可能性。 《章鱼与海女图》有不同英文翻译，一般称The Dream of the Fisherman's Wife，又作Girl Diver and Octopi、Diver and Two Octopi，Richard Douglas Lane称其为 Girl Diver and Octopi [2] ，Mathi Forrer 称其为 Pearl Diver and Two Octopi [3] ，Danielle Talerico 称其为 Diver and Two Octopi 。 [4] 目录 1 作品介绍 1.1 画中对话 1.2 解释 2 评价 3 影响 3.1 模仿作品 4 另见 5 参考来源 6 外部連結 作品介绍 画中对话 原文 译文 大蛸： いつぞハいつぞハとねらいすましてゐたかいがあつて、けふといふけふ、とうとうとらまへたア。てもむつくりとしたいいぼぼだ。いもよりハなをこうぶつだ。サアサア、すつてすつてすいつくして
Read more

Farm Security Administration

Image
Farm Security Administration Farm Security Administration logo Agency overview Formed September 1, 1937  ( 1937-09-01 ) Preceding agencies Resettlement Administration Federal Emergency Relief Administration Dissolved 1946 Superseding agency Farmers Home Administration Key documents Farm Security Act Bankhead-Jones Farm Tenant Act The Farm Security Administration ( FSA ) was a New Deal agency created in 1937 to combat rural poverty during the Great Depression in the United States. It succeeded the Resettlement Administration (1935–1937). [1] The FSA stressed "rural rehabilitation" efforts to improve the lifestyle of sharecroppers, tenants, very poor landowning farmers, and a program to purchase submarginal land owned by poor farmers and resettle them in group farms on land more suitable for efficient farming. Critics, including the Farm Bureau, strongly opposed the FSA as an experiment in collectivizing agriculture—that is, in bringing
Read more