关于戴德金1~~~戴德金切割【Dedekind cut】是什么东西？

dodonaomikiki

Dedekind cut
是将有序有理数集切割成两个非空子集，A和B使得：1）其中集合A包含所有x小于 a，集合B包含所有x大于a。2）A中的任何数都小于B中的数。3）A和B的交集为空集。
我们称a为”切割数“（cut number）。每一个切割数所对应的切割都是独一无二的。 这些切割每一个都抽象地代表一个实数，Dedekind运用切割理论证明了无理数和实数的完备性

dodonaomikiki

网址是下面这个
math.stackexchange.com/questions/460334/dedekinds-cut-and-axioms


一个具体的例子：   对根号2の戴德金切割！