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

Dedekind定理(证明确界存在性定理)

确界存在性定理:若实数列 {αₙ} 有上界,则其一定有上确界

证明:

1.若 {αₙ} 中存在某一项 αₘ 使得对任意的正整数 n ,都有 αₙ ≤ αₘ ,则此时显然 αₘ 即为 {αₙ} 的上确界

2.若不存在这样的项,我们作如下证明:

取集合B={y:y 是 {αₙ} 的上界 ,y∈ℝ},集合 A={x:x 不是{αₙ} 的上界,y∈ℝ},则显然两集合非空且 A∪B=ℝ ,对于 A 中的任一元素 α ,其不是{αₙ}的上界,则必存在{αₙ} 中某一项 αᵣ 使得 α<αᵣ ,又 {αₙ} ⊂ A,则任取 B 中的一个元素 b 必有 b ≥ αᵣ ,故 α<b ,则集合 A,B 适合 Dedekind 定理的条件;

若A 中存在最大元,这与假设矛盾,故 B 中一定有最小元,其为 {αₙ} 的上确界 ▢

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

三人行之二:金色学院的宝藏 连载中
三人行之二:金色学院的宝藏
璃月非李月
三人行系列2这一本内容逐渐魔幻作者非常需要评论!!看过的朋友们请留下足迹!!不拒绝吐槽月学院内部的规则,究竟有什么意图❓传说中的宝藏,和规则......
5.0万字8个月前
all恶 连载中
all恶
丁猫奇遇记
请自行观看全员恶人,作者更新有点慢
0.9万字8个月前
变成了相方的猫 连载中
变成了相方的猫
高V不会
简介正在更新
29.6万字6个月前
恶女功成名就后 连载中
恶女功成名就后
狂野薄荷棠
那朵纯洁的花朵其实早已烂到了骨子里,高智恶女vs阴湿男鬼忠犬,女主有后宫,此为正宫。雨后的烂泥也妄想和花一起溺死在爱海里
1.5万字5个月前
宿主是个美甲师 连载中
宿主是个美甲师
搞个池子
熬夜太久,一不小心把自己熬死了。绑定系统,需要去小世界扮演路人,拯救崩坏剧情,推动主线发展。然后……谁能告诉她,主角团队都这么叛逆的吗?甄淮......
0.8万字3个月前
混沌神之故事线乱篇 连载中
混沌神之故事线乱篇
思水
自己幻想的神仙爱恨情仇小说,故事线很乱,想到啥发啥
0.2万字2个月前