首页 > 代码库 > dedekind分割
dedekind分割
无理数是无限不循环小数，或者无理数是一个有理数列的极限的说法并没有给实数一个定义，而是在给了实数定义之后才有意义。
dedekind分割给了实数一个严格的定义。dedekind分割基于这样一种观察：有理数点不能布满整个数轴，在有理数点之间存在间隙，则在实数轴上任意砍一刀，可将有理数集一分为二，分割点C有且仅有两种情况：
非形式化描述。不妨让分割点C属于右侧，称为上组，左侧为下组。
上组中有最小有理数，刚好砍到了有理数上，称为有理划分。有理划分可以和有理数集一一对应。
上组中无最小有理数，刚好砍到了有理数之间的间隙，称为无理划分。无理划分可以和无理数集一一对应。
精巧而优美。
声明：以上内容来自用户投稿及互联网公开渠道收集整理发布，本网站不拥有所有权，未作人工编辑处理，也不承担相关法律责任，若内容有误或涉及侵权可进行投诉： 投诉/举报 工作人员会在5个工作日内联系你，一经查实，本站将立刻删除涉嫌侵权内容。