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

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

相关小说

聆笙集 连载中
聆笙集
棠鹤begonia
2.6万字5个月前
碎梦之白鲸神明 连载中
碎梦之白鲸神明
白页茉
天空中的鲸鱼……在海里泡着的云朵……
2.3万字3个月前
情神……西玫溅妍 连载中
情神……西玫溅妍
慕羽儿mye
在第四维度的灵界上,玫瑰之王西玖溅妍与鹰国之王鹰.维洛依斯之间的超虐言情救赎,最终双双成神的故事!
1.1万字2个月前
请爱我好吗? 连载中
请爱我好吗?
不来朝
原d温柔白切黑sX小狼狗病娇g年龄差有点大g是s养大的(章结有点乱)
2.8万字2个月前
星星在闪耀时,是我在对你说话 连载中
星星在闪耀时,是我在对你说话
绪緖
这是一本虐文,不是很虐,最后除了女二都死了
0.1万字1个月前
团宠礼神第一季 连载中
团宠礼神第一季
扶光2010
团宠小七的日常和小葫芦们新的冒险与敌人,及葫芦们腥风血雨的虐恋情仇(主要是我的梦)
3.4万字1个月前