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

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://tongren.me),接着再看更方便。

相关小说

违爱第一部 连载中
违爱第一部
濯清涟而不妖V1
带球跑生子文。
9.0万字9个月前
新葫之水神降临 连载中
新葫之水神降临
南笙殇城灬星河
建议从第五卷(或者第73章)开始看。
12.3万字9个月前
六界传说之寒夜离鸳 连载中
六界传说之寒夜离鸳
浅夏子依
我清晰地记得,曾经有一个人,他说过,神界并不是想象中的那么美好,之前我并不认同,甚至还觉得十分的迷惘,可能是因为小时候太过于天真,并没有想这......
25.2万字9个月前
芳常月——遗物探密 连载中
芳常月——遗物探密
奶油司
【已签约,未经允许禁止转载呐~】{温馨提示:文章前段将要做出更改}司竺笙的家族是术士者,在她旧病复发后,对一切事物产生迷茫,对生活失望。在这......
21.8万字9个月前
如果历史是一群喵:元素世界 连载中
如果历史是一群喵:元素世界
洛水喜欢年糕
上一世的故事……秘密,终会被揭开
0.7万字9个月前
恋上黑组织 连载中
恋上黑组织
心有余呀
狐族女皇和人类最强能力者相恋,一边齁甜,一边打怪升级称霸世界。
11.9万字9个月前