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

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

相关小说

这个妖孽惹不起 连载中
这个妖孽惹不起
梦羽殇华
莫名其妙魂穿到一个不知名的时代,被系统狠狠坑坑了一把,唯一的一点就是系统赐给她一双勾魂的眼睛,能将人带入幻境之中。她一心为他去偷冰心莲,可结......
21.0万字8个月前
甜美的咬痕之洛佩斯特家族的养女 连载中
甜美的咬痕之洛佩斯特家族的养女
翔雨星
“洛逸哥哥,小心”
2.5万字8个月前
新葫:爷爷的宠爱 连载中
新葫:爷爷的宠爱
萌愿
“修炼者与普通人”和“同系与杂系”这两种不同道路上的人,偏偏共同出现在世界不被众人所知的地区,早已经过淬炼消失快三千年的女子,她的出现单单只......
19.8万字8个月前
十二星,命定守护者 连载中
十二星,命定守护者
羊崽崽a
这本书是解释作者小号“丘妄雪”那号上«新葫,命中塔罗»的十二星座守护者的故事,主要是要怎么成为星界十二星座守护者的,然后为什么会变坏。之所以......
2.8万字8个月前
莎言钦宠 连载中
莎言钦宠
露卿月刷
同人文当乐子看就行了。主要讲的就是脑补莎莎和大头的甜蜜互动。
0.3万字8个月前
女娃的传说 连载中
女娃的传说
小学生包子
远古时代的传说,女娃与玄君的爱恨纠葛。
8.4万字8个月前