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

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

相关小说

南堉 连载中
南堉
_沂州
我无数次轮就是为了拯救你
1.0万字9个月前
颜霜 连载中
颜霜
双飞燕
演戏故事,双男主
0.9万字9个月前
当笨蛋炮灰拥有盛世美颜 连载中
当笨蛋炮灰拥有盛世美颜
仙鱼亚裔
评论区里有简介.正文里也有简介.唯独作品简介里没有简介.
2.8万字9个月前
不愧是我!魔法公主顾雍冰蝶! 连载中
不愧是我!魔法公主顾雍冰蝶!
席微娜
不想更新了,难受,停几个月
7.7万字9个月前
修罗女君,终入怀! 连载中
修罗女君,终入怀!
糖丝甜
千万幽怨,已难渡万般情。最后的最后,那血发女子也成了帝上,掌管天上人间,威仪八方。而那扯下别人发带的少年同是帝上,与女子同渡万年,也将女子爱......
25.1万字9个月前
张总与娇妻的婚后日常 连载中
张总与娇妻的婚后日常
小源不方
每一篇都是独立的甜甜的恋爱文
1.2万字9个月前