绪论（2）6.无理数的定义

账号已注销:
视频看完啦。这本书和ayumu的讲义一样是用戴德金分割定义实数，但还是有点区别，这里讲的是一个分划为一个实数，ayumu的是所有下集构成的集合为实数集，为了方便后续定义序关系

smzzwysbhbmd:
谢谢up想了半天终于明白如何由有理数域来构建无理数域了，只要我知道根号2是无理数，界定上下集的那个数由例12知道是以有理数n来确定，但是例3中根号2无理数也能将上下界给分开并且符合上面的规则，但是却不是有理数，所以满足这个性质之后，就可以将有理数之间的数给填充进去，也就是有理数中的无理数

smzzwysbhbmd:
难道是说要以根号2为无理数为前提来界定无理数域吗？就以本书绪论开头所讲反证法证明根号2为无理数，以此为基础再来直接构建这章例3所构建的数域 不然就以我的理解来说，不提前证明根号2是无理数的话没法达成例3的证明所得