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

实数八大定理的等价性证明 (3-1)

目录

引言 ▹

定理的内容 ▹

Cauchy收敛原理 ▹

单调有界原理 ▹

闭区间套定理 ▹

Dedekind分割定理 ▹

确界原理 ▹

有限覆盖定理 ▹

聚点原理 ▹

Bolzano-Weierstrass定理 ▹

等价性的证明 ▹

Cauchy收敛原理单调有界原理 ▹

单调有界原理⇒闭区间套定理 ▹

闭区间套定理⇒Dedekind分割定理 ▹

Dedekind分割定理⇒确界原理 ▹

确界原理⇒有限覆盖定理 ▹

有限覆盖定理聚点原理 ▹

聚点原理Bolzano-Weierstrass定理 ▹

Bolzano-Weierstrass定理⇒Cauchy收敛原理 ▹

引言

这里只选择其中一种环形路线证明八大定理的等价性。

定理的内容

Cauchy收敛原理

数列{αₙ} 收敛的充分必要条件为∀ε>0,∃N ∈ ℕ,∀m,n>N,|αₙ – αₘ|<ε

单调有界原理

单调有界数列必收敛.

闭区间套定理

lₙ=[αₙ,bₙ],l₁ ⊃ l₂ ⊃ l₃ ⊃ · · · ⊃ lₙ ⊃ · · ·,且 lim (αₙ – bₙ)=0,则存在唯一的实数 ↓

n→∞

+∞

ξ ∈∩lₙ ←

n=1

Dedekind分割定理

设A|B 是 ℝ 上的一个分割,则 A 有最大元和 B 有最小元有且仅有一个成立

确界原理

A ∈ ℝ 有上(下)界,则 A 必有上(下)确界.

有限覆盖定理

闭区间[α,b] 的任意一个开覆盖 A 都有有限子覆盖

聚点原理

ℝ 中有界的无穷集合必有聚点

Bolzano - Weierstrass定理

有界数列都有收敛的子列

等价性的证明

Cauchy收敛原理⇒单调有界原理

设{xₙ} 单调递增有上界,假设 {xₙ} 发散. 于是 ∃ε₀>0 对任意 N ∈ ℕ,存在 m,n>N

xₙ – xₘ>ε₀

由 n 的任意性可得一子列 {xₙₖ}

xₙₖ>xₙₖ₋₁+ε₀>· · ·>xₙ₁+(k – 1)ε₀ → ∞

与有界性矛盾

单调有界原理⇒闭区间套定理

lₙ=[αₙ,bₙ],l₁ ⊃ l₂ ⊃ l₃ ⊃ · · · ⊃ lₙ ⊃ · · ·

且 lim (αₙ – bₙ)=0

n→∞

于是{αₙ} 单调递增有上界, {bₙ} 单调递减有下界

于是lim αₙ,lim bₙ 存在,分别记为 A,B

n→∞ n→∞

因为lim (αₙ – bₙ)=0所以 A=B

n→∞

∀n,αₙ ≤ A=ξ=B ≤ bₙ,于是

+∞

ξ ∈ ∩[αₙ,bₙ]

n=1

闭区间套定理⇒Dedekind分割定理

设A|B 是 ℝ 的一个分割, A∪B=ℝ,A∩B=∅

∀α ∈ A,b ∈ B,α<b 取 α₁ ∈ A,b₁ ∈ B

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

相关小说

藏酒 连载中
藏酒
木知椥
文笔不好,勿喷೭(˵ˉ̴͒ꇴˉ̴͒˵)౨随笔系列,类型目录已标明,自取哈
2.1万字9个月前
逆天魔恋:师尊入魔渡徒劫 连载中
逆天魔恋:师尊入魔渡徒劫
寒月兮颜
【签约】【不定期更新】他是仙界战神之徒,却阴差阳错放出魔神之力,并被其选为宿主,将师尊带回魔界她本是仙界战神,因徒弟拥有魔神之力,为救回徒弟......
4.2万字9个月前
梦比喵斯的奥特CP聊天室 连载中
梦比喵斯的奥特CP聊天室
希利斯
CP:梦比优斯×希卡利;泰罗×托雷基亚;赛罗×泽塔;银河×维克特利;艾克斯×大空大地;欧布×伽古拉;泰迦和风马;……(想到了再补充)
0.7万字9个月前
(天乩之白蛇传说)后续 连载中
(天乩之白蛇传说)后续
Hcg:
紫宣,情是什么?你是前世未止的心跳,你是来生胸前的记号.
3.7万字9个月前
在云朵上打盹 连载中
在云朵上打盹
云裳珺
——是个文案管
14.6万字9个月前
送糖男孩与冷漠魔王 连载中
送糖男孩与冷漠魔王
暮年戚的掌上明珠
送糖王子与冷漠魔王哈哈哈哈哈...如果你想知道是什么,进来自己看看。
5.6万字9个月前