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

Dedekind分割及Dedekind定理 (2-2)

令y=x₀.x₁x₂x₃. . .xₖc,此时 x<y<√2,且 y ∈ Q

Dedekind定理

定理内容

定理:实数域R 上的任一Dedekind分割的上集均有最小元素。

即对于R 上的任一分割A|B ,集合 B 均有最小元素。

定理证明

做Dedekind分割A|B

(不严格证明,有点循环论证的感觉)设A B被点 x=x₀ 分割开, A={x|x<x₀,x ∈ R},B={x|x ≥ x₀,x ∈ R}

考虑点x=x₀ 是否在集合 B 中。

由于R=Q∪R\Q,Q∩R\Q=ф

所以x₀ ∈ B ,所以 B 中有最小元素。

严格证明请参考

Rudin《数学分析》,Ayumu《数学分析》等教材。

参考资料

din《数学分析》

2.Ayumu《数学分析》

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

无限流:矜岚幽幽 连载中
无限流:矜岚幽幽
忌禅
双女主,无限流,100%甜文双方都不完全是玩家,是副本的大boss,两个大boss闲着没事耍耍玩家谈恋爱,部分邪恶玩家只是充当NPC,玩家不......
1.6万字11个月前
逆天魔恋:师尊入魔渡徒劫 连载中
逆天魔恋:师尊入魔渡徒劫
寒月兮颜
【签约】【不定期更新】他是仙界战神之徒,却阴差阳错放出魔神之力,并被其选为宿主,将师尊带回魔界她本是仙界战神,因徒弟拥有魔神之力,为救回徒弟......
4.2万字11个月前
陛下,大家叫你回家吃饭 连载中
陛下,大家叫你回家吃饭
风起云岚
陛下总A,具体内容看通告
3.2万字11个月前
长啻 连载中
长啻
风夕封兮
—“师父,我会努力到上界找你的。”—“嗯。”——不候君跟着我念长啻(chang二声,chi四声),江芏(jiang一声du一声。)这个标签其......
20.9万字11个月前
末世之异种 连载中
末世之异种
三千界
末世,很是突兀的就降临了,天外异种,本土变异的怪物在地球的土地上横行无忌。周云被自己亲爹一脚揣进了异种花卉里,因为极度的不甘心,吞噬掉了异种......
11.9万字11个月前
故事从雪夜开始 连载中
故事从雪夜开始
沉船R
“好,那就进入我们今天的正题,海底文明。”半人半怪的夜安,和性格温良的女孩雪玥,走向校园以及这段生活的路上碰撞出的故事。
8.5万字11个月前