1=0.999---为什么是一种规定

simpley

在《数学分析新讲》中，为什么把0.999----=1作为一种规定而不是推导的结果？
数列0.9   0.99    0.999   0.9999  -----
在形式上，我们可以把0.999-----作为上面数列的极限。因为数列的每个元素都是有限小数，所以无限小数0.999----并不属于这个数列，但是数列的上确界。而1也是上确界，所以1=0.999----，所以似乎没必要作为规定

Ysu2008

李永乐老师有期视频基于戴德金分割给了一个证明。