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

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

相关小说

云与夜 连载中
云与夜
琪琪拉
哎嘿!甜甜甜!轻微ABO
2.3万字10个月前
美:天选之人 连载中
美:天选之人
操控者
不许转载抄袭,模仿@操控者(模仿J.K罗琳的哈利波特)。角色已拟人前面的正在修改中,正文持续更新中
0.9万字9个月前
重生77次:疯批总裁的偏执索爱 连载中
重生77次:疯批总裁的偏执索爱
乂俊
5.5万字5个月前
蓝色岛屿, 连载中
蓝色岛屿,
被窝艺术家
逃离牢笼跳进的却是另一个圈套,她对他们来说只是一件替代品?她是一座孤岛,他说他愿做海,守护她永远。“那我也要变成蓝色。”“为什么?”“多一个......
2.4万字3个月前
银月与玫瑰之誓:和平纪元 连载中
银月与玫瑰之誓:和平纪元
长星酒
莉莉安,银月族立耳精灵领导人。伊莱拉,玫瑰族精灵领导人。因为魔族发动战争,两人宣战。有人暗中推波助澜,剿灭魔族,最终世界和平。两个精灵终成眷......
1.0万字2个月前
(希伯来神话)致那悠闲的日常 连载中
(希伯来神话)致那悠闲的日常
浑水八爪鱼
在遥远过往的天堂路西菲儿过着他悠闲日常的日子这里有着友情与亲情的陪伴但也有着传言中已经固定的命运。但无论如何,就让我们先享受这份独一份的欢声......
8.9万字2个月前