数学联邦政治世界观
超小超大

连续函数的有界定理与最值定理 (7-6)

使得M – ─<f(xₙ) ≤ M

n

根据Bolzano-Weierstrass定理

这个序列{xₙ} ( n∈ℕ*)一定含有收敛子列 {xₙₖ}( k∈ℕ*)

设lim xₙₖ=xₘαₓ

K→∞

由于{xₙₖ} ⊂ [α,b] ,则它的极限 xₘαₓ ∈ [α,b]

1

M – ─<f(xₙₖ) ≤ M

nₖ

又f 是闭区间 [α,b] 上的连续函数

由Heine归结原则

有lim f(xₙₖ)=lim f(x)=f(xₘαₓ)

k→∞ x→xₘαₓ

1

将M – ─<f(xₙₖ) ≤ M 取极限,由夹逼定理 ↑

nₖ

可得

f(xₘαₓ)=M

同理可证明必然存在xₘᵢₙ ∈[α,b]

使得f(xₘᵢₙ)=m

命题得证

(三)使用Heine-Borel-Lebesgue有限覆盖定理

值域f([α,b]) 非空

由于f 在 [α,b] 上有界,由确界原理, f 的值域 f([α,b]) 有上确界和下确界

分别记作M=sup f ([α,b]),m=inf f([α,b])

接下来只考虑上确界

假如对任意一点x₀∈(α,b),成立 f(x₀)<M

1

取δ(x₀)=─(M – f(x₀)),显然 δ(x₀)>0

2

则存在点x₀ 的邻域 ∪(x₀)

对任意x' ∈∪(x₀),f(x')<M – δ(x₀)

对于α,b 两点,也存在邻域∪ (α),∪(b)

对任意x' ∈∪(α)∩[α,b],f(x')<M – δ(α)

对任意x' ∈∪(b)∩[α,b],f(x')<M – δ(b)

这样,对一切点x∈[α,b]所构造的所有这样的邻域 ∪(x),它们的全体组成了闭区间 [α,b] 的一个开覆盖

由Heine-Borel-Lebesgue定理

这个开覆盖中一定能选出有限个开集作为[α,b] 的一个有限子覆盖,即

有限个开集∪(x₁),∪(x₂),· · ·,∪(xₙ) 覆盖了 [α,b]

对任意x∈∪(xᵢ)∩[α,b] 上

f(x)<M – δ(xᵢ),其中 δ(xᵢ)>0

(i=1,2,· · ·,n)

取δ=min {δ₁,δ₂,· · ·,δₙ}>0

则对一切x∈[α,b]

f(x)<M – δ

这与M 是 f 的值域的上确界矛盾

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

云族之旅 连载中
云族之旅
雪晴玥隐
关于小猫的童话,分为几卷,这是第一本,后期会解锁猫族的神秘力量哦
3.1万字5个月前
梦魂心悸 连载中
梦魂心悸
北染陌人_880538300284157
关于一个幻想。
0.8万字5个月前
且听凤鸣:山清河暮 连载中
且听凤鸣:山清河暮
意枢
御冥夜×原创女主剧情改动可能比较大,可能会添加一些新角色。不归路也好,正途也罢,你在哪,我就在哪。–暮惟清对不起,都是我害你走上这条不归路。......
2.2万字5个月前
白衣染尘 连载中
白衣染尘
Scorpio-.
笑看三千红尘客,莫言他人是与非。无人知你辛酸事,不提昔日喜与悲。修真界,向来是一个弱肉强食之地,杀人夺宝皆是常事。亲友为宝,自相残杀之事,更......
7.2万字5个月前
迈西:满眼皆是你 连载中
迈西:满眼皆是你
阿余是拾一重度依赖
迈西文,yc--------------------------------“我真的很想你.”——西西娅“我爱她,所以信任她.”——迈克狐“......
0.0万字5个月前
章鱼本本(午版) 连载中
章鱼本本(午版)
林林林七七
泥嚎!这里是午版章鱼本本!
0.1万字5个月前