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

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

相关小说

叶罗丽精灵梦之水的未婚妻 连载中
叶罗丽精灵梦之水的未婚妻
蓝汐如雪
王默有很多身份,是灵犀阁公主,凤凰公主,海洋公主等,还有很多身份我就不一一说了,她也是水王子的未婚妻,冰公主的嫂嫂,她真名叫雪蝶恋梦
0.8万字6个月前
今有包包在锅锅 连载中
今有包包在锅锅
苏晴舟
一个肉包子出生的一个女主幻化成人形来到人间寻找千年泪,是一个用尽一生爱你留下眼泪-
0.6万字5个月前
八点之后 连载中
八点之后
猹狸猫
古铜巷里的三兄妹,看似商人,实则在治愈着伤心人,每到晚上八点之后,一行人便踏上了夜行之路,每每一件物品物归原主,一件奇异事件便在悄然发生。(......
1.9万字5个月前
失昼之地 连载中
失昼之地
叁七二十一
和平,安定,完美,怀揣善意之人得到幸福,作恶之人被惩戒放逐。这就是吉索达,光明神塞丽蒂亚庇佑的大陆。而正如光影永恒相随,一切事物终有其反面,......
1.7万字2个月前
归阔如故 连载中
归阔如故
星之曰月
修仙小说原创大女主回魂肉魄轮回尽,亦是相回白雪纷。每世抗命残伤奄,血发污衣浸红身。自曾梦影现故因,终是相遇还恩情。二世帮协将死人,长貌如吾一......
2.7万字2个月前
惋落 连载中
惋落
曲漾儿
〈正文已完结〉世上再无林晴,只有司清在三外之境和人界的来回穿梭,司清的心被万落给捂热了。但两人并不是一个空间的人,情爱能长久吗?
7.5万字2周前