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

Dedekind定理

Dedekind定理:若存在集合 A,B 满足条件:

1.A,B ≠ ∅;

2. A∪B=ℝ

3.对A 中的任意元素 α,B 中的任意元素 b ,都有 α<b

则:

1.A 中无最大元, B 中有最小元;

2.B 中无最大元, A 中有最小元

有且仅有一个成立:

证明:假设 A 中不存在最大元且 B 中不存在最小元

取A 中任一元素 α₁,B 中任一元素 α₂ ,则

α₁+α₂

────

2

一定落在 A,B 中的一个.若其落在 A 中,由于 B 无最小元,故一定存在整数 K 使得

α₂ – α₁

α₂ – ────

K

落在 B 中.

考虑将区间[α₁,α₂] K 等分,则一定存在相邻的两个分点使得左侧的在 A 中而右侧的在 B 中,记左侧的点代表的数为 α₃,右侧的为 α₄;再将区间 [α₁,α₂]K+1 等分,类似得到 α₅,α₆ ...

这样我们就构造出了一个数列{αₙ},它满足:

1.奇数项都在A 中,偶数项都在 B 中;

2.对于∀ϵ>0,取

2(α₂ – α₁)

S=[─────]+2

ϵ

,则对区间[α₁,α₂] S S+1,. . . 等分所形成的所有 {αₙ} 中的项,从中任取 αᵣ,αₘ,则一定有 |αᵣ – αₘ|<ϵ 成立,故 {αₙ} 是 Cαuchy 列,其收敛

设{αₙ} → T ,则 T 一定落在 A,B 中的一个,不妨设其落在 B 中,则由于 B 无最小元,则一定存在 γ∈B 且 γ<T ,则这时取 ϵ=T – γ ,则一定有无穷多连续项落在 B(T,ϵ) 中,这与 {αₙ} 的性质矛盾!

若A 中存在最大元且 B 中存在最小元,则记 A 中最大元为 α,B 中最小元为 b ,则对于 α>b,α=b,α<b 都容易推出矛盾 ▢

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

相关小说

无形的刀 连载中
无形的刀
不知道取什么名字了_3023722165
0.1万字9个月前
俄刻阿诺斯之影 连载中
俄刻阿诺斯之影
㞢㤫.
星历2205年,灾难席卷全球,名为“源解
0.3万字9个月前
凹凸:金的妹妹是团宠 连载中
凹凸:金的妹妹是团宠
安寻吖
给金私设了一个妹妹叫春是团宠。一些人可能会ooc请见谅,小尬剧
4.8万字9个月前
玄门大师之美人无泪 连载中
玄门大师之美人无泪
Lucky锦鲤**
当大反派九尾狐白芊姬有了姐控的妹妹,一切剧情会有什么改变呢?大结局会怎么样呢?ps更新随缘。
2.8万字9个月前
你,才是最美的彩虹 连载中
你,才是最美的彩虹
骑驴的驴
筱楠,一个城市边缘的女孩,活得卑微。一次偶然的机会,接触了外星文明,从此开始了她一段奇幻的经历……希望大家点赞、收藏、赞赏,小生才有更新的动......
5.5万字9个月前
骨葬屿海 连载中
骨葬屿海
徐熙亦悠
乱世已成定局,却包容下了不期而遇和生死离别,从相遇到重逢,从地球到太空,从沦陷到胜利,他们又会以什么样的后果来决定尘埃。
12.2万字9个月前