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

实数八大定理的等价性证明 (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),接着再看更方便。

相关小说

旅途, 连载中
旅途,
洛纳koko
这是一个关于长相奇特的少年为改变样貌,而踏上寻找“传说中的药材”的旅途的故事.那么少年的身世究竟如何?这场旅途是否顺利?欢迎和我们一起踏上这......
1.3万字9个月前
一生一世一双人(浩桐古风) 连载中
一生一世一双人(浩桐古风)
康樊
一向清冷的她,年纪轻轻就飞生上神,绝情绝爱。但她却遇见了他的真命天子
3.7万字8个月前
黑化强制爱合集 连载中
黑化强制爱合集
小萍悟悟了
忠爱各种病娇强制爱黑化小狗,处男控,偏爱卑微强制爱阴湿小狗。
0.6万字8个月前
池渊之恋 连载中
池渊之恋
墨染纤云
在疯狂的压榨下,成就了柳漓殇,冷血无情的柳故渊事态淡凉,我们本就不凡,何来平庸,我们更不能止步于此“为什么,为什么要杀了我”“天道无情,而我......
9.2万字8个月前
你,才是最美的彩虹 连载中
你,才是最美的彩虹
骑驴的驴
筱楠,一个城市边缘的女孩,活得卑微。一次偶然的机会,接触了外星文明,从此开始了她一段奇幻的经历……希望大家点赞、收藏、赞赏,小生才有更新的动......
5.5万字8个月前
双姝传又琅典熙瑤 连载中
双姝传又琅典熙瑤
姝此丞相
两个被封建社会吞吃的女人重生归来,她们能否挣脱牢笼,为自己拼杀出绚丽的人生。
5.5万字8个月前