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

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),接着再看更方便。

相关小说

多重宇宙:离婚后,为她一夜白头 连载中
多重宇宙:离婚后,为她一夜白头
笨笨笨小妙
跟心心念念的男人结婚五年后...我心灰意冷,决定离婚。却在一场车祸后...窥探到另一个时空的我和他...原来,那个不说爱的男人,在另一个时空......
28.2万字7个月前
浮生异界 连载中
浮生异界
132***790_8440181711
女主拥有无上力量被异界的邪恶组织觊觎及追杀,神界的男主历劫下凡与女主相识相知相爱,不成想女主正是男主的生死劫,最后双双殒命
0.5万字4个月前
女主她妖又邪你惹她干嘛 连载中
女主她妖又邪你惹她干嘛
陌殇花
『喜欢的话可以动动小指头点个收藏♡』说我是妖女?不好意思你错了!池卿卿笑了,笑的邪魅又肆意…魔本无心,因为遇见你,长出了血肉,生出了情…
7.5万字3个月前
原来你就是我 连载中
原来你就是我
鱼仔璃
讲述的是女主和她的闺蜜们一起建立了五之团,在普通的校园生活中也会发生一些让人想不到的一些灵异现象以及灵异事件,这个时候五之团也就派上场………......
0.3万字1个月前
痛的编织袋 连载中
痛的编织袋
枫起铃响
世界不偏向一方,于是便便有了多种多样的人类“这世界灿烂美好,为何……不让我幸福一点……为什么,我……命该如此吗……若这天下不公,那我便扰乱这......
1.6万字1个月前
杀死我后通关 连载中
杀死我后通关
梅华_70607292393185874
为了重获自由,不择手段,可是…
1.0万字2周前