测度论:Measure Theory (5) —— The Deficiency of Riemann Integral

We introduced measure and Lebesgue Integral due to the deficiency of Riemann Integral. In general, there are at least three problematic issues about Riemann Integral:

  1. Riemann integration does not handle functions with many discontinuities.

  2. Riemann integration does not handle unbounded functions.

  3. Riemann integration does not work well with limits.




Definition. (Riemann sum)

f:[a, b]R 为一个有界实值函数,其中 a<b 为实数。在定义域 [a, b] 上的一个 partition,为一个有限集 P={a0, a1, a2,, an},满足 a=a0<a1<a2<<an=b。Partition P 从而定义了函数 f 的 lower Riemann sum 和 upper Riemann sum:

L(P,f):=i=1nmiΔai=i=1ninfai1xaif(x)(aiai1)U(P,f):=i=1nMiΔai=i=1nsupai1xaif(x)(aiai1)

注意其中:

Δai=aiai1;Mi=supai1xaif(x);mi=infai1xaif(x) for in




Corollary 5.1

对于任意给定的 partition P, 有:

L(P, f)U(P, f)




Proof. (Corollary 5.1)

对于 in,有 infai1xaif(x)supai1xaif(x) 自然成立,则显然:

in: infai1xaif(x)Δai = miΔai Mi Δai = supai1xaif(x)Δaii=1nMiΔai =U(P,f)  L(P,f)= i=1nmiΔai




Corollary 5.2

如果对于函数 f 的两个 partition P, P 满足 PP,那么

L(P,f)  L(P,f)U(P,f)  U(P,f)

这其实在表述:一个更细致的分割(refinement)使 lower Riemann sum 增大(not strictly),使 upper Riemann sum 减小(not strictly)。




Proof. (Corollary 5.2)

假设对于有界实值函数 f:[a, b]R
令:P={a0, a1,, am1, am,, an1, an},满足:1mn such that:

a=a0<a1<<am1<am<an1<an=b

令: P={a0, a1,,am1, at, am,, an1, an} such that:

a=a0<a1<<am1<at<am<an1<an=b

  • 注:这里显然有:PP。因此这一步我构造了条件所需的两个 partition:PP。其实我就是往 P 中某两个相邻元素 am1, am 中间插了一个新值 at。为什么我要用这么麻烦的方法表述?因为此处从 a0an 是由证明需要而严格按照大小排序的,但是,集合具有无序性和互异性。因此,采用一系列下标表示其中元素以及它们对应的大小关系是严格遵守集合性质的做法。为什么我只插入了一个值 at?因为根据 partition 的定义,partition 是有限集,而两个有限集 PP 只能相差有限个元素,i.e.,|PΔP|<。因此,PP 的一般情况可由相差任意一个元素的情况 by induction 得到。这种 technique 后续文章中不再作解释。

那么:

L(P,f)=i=1n(aiai1)infai1xaif(x)L(P,f)=i=1m1(aiai1)infai1xaif(x)+ (atam1)infam1xatf(x) + (amat)infatxamf(x) + i=m+1n(aiai1)infai1xaif(x)

则:

L(P,f)L(P,f)=(atam1)infam1xatf(x) + (amat)infatxamf(x)  (amam1)infam1xamf(x)

可以发现:(am1, at)(am1, am);(at, am)(am1, am)

所以:infam1xaminfam1xat,infam1xaminfatxam

因此:

L(P,f)L(P,f)(atam1)infam1xamf(x) + (amat)infam1xamf(x)  (amam1)infam1xamf(x)=0

所以:L(P,f)L(P,f) 成立。
(相似地,可证 U(P,f)U(P,f),我懒得写了。)




Corollary 5.3

对于函数 f 的任意两个 partition P, Q, 必有:L(P,f)U(Q,f)

证明很简单。 因为 PQ 必定同时为 PQ 的 refinement(更细致的分割,也就是 PPQ, QPQ),所以:

L(P,f)  L(PQ,f)  U(PQ,f)  U(Q,f)




Definition. (Lower, upper and Riemann integral)

f:[a, b]R 为一个有界实值函数,其中 a<b 为实数。定义 f[a, b] 上的 lower integral:

sup{L(P,f): P is a partition on [a, b]}

相似地,定义 f[a, b] 上的 upper integral:

inf{U(P,f): P is a partition on [a, b]}

当且仅当函数 f[a, b] 上的 lower integral 等于其 upper integral 时,即:

sup{L(P,f): P is a partition on [a, b]}=inf{U(P,f): P is a partition on [a, b]}=L

f[a, b] 上的黎曼积分(Riemann integral)存在,且积分为 L




现在我将举例说明黎曼积分面对上述三种情况时的缺陷。

Example 5.1(Problem with many discontinuities)

Define f:[0, 1]R by:

f(x)={1if x[0, 1]Q0if x[0, 1]Q

The Riemann integral exists if and only if the lower integral equals to the upper integral of f on [a, b], i.e.,

sup{L(P,f): P is a partition on [a, b]}=inf{U(P,f): P is a partition on [a, b]}

For any partition P and for any interval [ai1, ai] it gives, since both rational numbers and irrational numbers exist in any interval, thus we have:

infai1xaif(x)(aiai1)=0supai1xaif(x)(aiai1)=aiai1

Then: L(P,f)=0 and U(P,f)=i=1n(aiai1)=1 for any partition P, and hence the upper integral does not equal to the lower integral, since:

sup{L(P,f): P is a partition on [a, b]}=0inf{U(P,f): P is a partition on [a, b]}=1

Therefore we can conclude that f is not Riemann integrable, but since there are far more irrational number than rationals numbers, f should, in some sense, have integral 0. However, the Riemann integral of f is not defined.




Example 5.2(Problem with unbounded functions}

Define f:[0,1]R by:

f(x)={1xif 0<x10if x=0

For any partition P:={a0,a1,...,an} on [0, 1], for the first interval [a0,a1]=[0,a1], we always have:

supa0=0xa1f(x)a1=

and then for any partition P of [0,1]:

U(P,f):=i=1nsupai1xaif(x)(aiai1)=

However, we should consider the area under the graph of f to be 2, not , because lima0+a1f(x) dx=lima0+(22a)=2. Calculus courses deal with this example by defining 011x dx=lima0+a11x dx.That is, we can use the approach in Calculus to calculating Riemann integrals for these functions.




Example 5.3(Problem with unbounded functions)

Using the same approach above, and

f(x)=1x+11x

Then we would define 01f(x) dx to be:

01f(x) dx=lima0+a12f(x) dx+limb112bf(x) dx

However, this technique (i.e. taking Riemann integrals over subdomains and then taking limits) can fail with more complicated functions, as shown in the following example.




Example 5.4(Problem with unbounded functions)

Let {rk}kZ+, be a sequence which includes each rational number in (0, 1) exactly once. For kZ+, define fk:[0, 1]R by:

fk(x)={1xrk if x>rk0 if xrk

Define f:[0, 1][0, ] by:

f(x)=k=1fk(x)2k

For every non-empty open sub-interval (a, b)[0, 1], it must contains a rational number rh(a, b), then a<rh<b. Note that rh is also belongs to the sequence {rk}kZ+ because rh is a rational number in [0, 1]. Hence for that rh, we have:

fh(x)={1xrh if x>rh0 if xrh

For xrh+, fh(x), meaning fh(x) is unbounded. Thus, function f is unbounded on every its non-empty open sub-interval. Therefore, the Riemann integral of f is undefined on every its non-empty open sub-interval.

However, the area under the graph of each fk is less than 2:

01fk(x) dx=limt1,srk+st1xrk dx=21rk<2

Then the formula defining f:f(x)=k=1fk(x)2k shows that we should expect the area under the graph of f to be less than 2, instead of being undefined.




Example 5.5(Problem with point-wise limits)

Let {rk}kZ+, be a sequence which includes each rational number in [0, 1] exactly once. For kZ+, define fk:[0, 1]R by:

fk(x)={1 if x{r1,...,rk}0 otherwise

Remark: Note that the difference between each function fk in this example and function f mentioned in Example 5.1 is that, fk is a function which takes 1 on finite points r1,...,rk, while f is a function which takes 1 on all rational numbers on [0, 1].

For any kZ+, function fk is Riemann integrable: For lower integral, L(P,fk)=0 for any partition P on [0, 1], since infai1xaifk(x)=0 for all ai1, aiP. Hence the lower integral of fk is 0.

For upper integral and the pair am1,am such that rk[am1, am], we have:

supam1xamfk(x)(amam1)=amam1,

and fk=0 on other intervals which do not include rk, thus inf(amam1)=0 by refining partition P. Hence the upper integral of fk is also 0. Because both lower and upper integral are 0, fk is Riemann integrable with 01fk(x) dx=0.

Define f:[0, 1]R by:

f(x)={1 if x is rational0 if x is irrational

Clearly limkfk(x)=f(x) for each x[0, 1].

However, f is not Riemann integrable (Example 5.1) even though f is the point-wise limit of a sequence of integrable functions bounded by 1.

posted @   车天健  阅读(302)  评论(0编辑  收藏  举报
编辑推荐:
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· Linux系列:如何用heaptrack跟踪.NET程序的非托管内存泄露
阅读排行:
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· 阿里巴巴 QwQ-32B真的超越了 DeepSeek R-1吗?
· 【译】Visual Studio 中新的强大生产力特性
· 10年+ .NET Coder 心语 ── 封装的思维:从隐藏、稳定开始理解其本质意义
· 【设计模式】告别冗长if-else语句:使用策略模式优化代码结构
点击右上角即可分享
微信分享提示