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

连续函数的有界定理与最值定理 (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),接着再看更方便。

相关小说

闹谁心 连载中
闹谁心
187***957_9220581107
随记
0.3万字5个月前
念离殇 连载中
念离殇
孤影泊客
曾经沧海难为水,除却巫山不是云,取次花丛懒回顾,半缘修道半缘君。离愁别绪,不知心之所向。一念天地,唯有道化自然。
61.0万字5个月前
与她轮回 连载中
与她轮回
时柯灵梦
萧霆:“即使是多年后,我依然还是很在意一个事啊”赤城:“啊啦~亲爱的还很在意什么呢~”萧霆:“我到底有多少个前世?又与你有过多少个轮回呢?”......
15.0万字5个月前
狐狸已成精,修改自嘿,兄弟,我不是故意的 连载中
狐狸已成精,修改自嘿,兄弟,我不是故意的
苏烁
某人正惬意的躺着沙发上看电视,突然们被人猛的一脚踹开,某人腾的一下从沙发上坐起来看着来人,看清楚来人后才放下警惕,却没想到危险才真正开始,不......
44.8万字5个月前
山海有妖之莹烛瞬火 连载中
山海有妖之莹烛瞬火
该用户已注销
“你确定要回去吗?”“我别无选择。”“人和妖,真的就没有可能吗?”“嗯……”不是人和妖没有结果,而是,我和你没有结果。她犹豫了,真的犹豫了。......
25.8万字5个月前
重生校园男神吊炸天 连载中
重生校园男神吊炸天
萧玄凉
大女主,女扮男装,半群像,全能,现代玄幻,半娱乐圈1v1上辈子她是商业帝国的大亨,亦有多重身份,意外重生到一位伪少年身上,替他完成愿望,让他......
10.0万字5个月前