来点数学小芝士：戴德金分割

一个蓝色的信箱:
讲完dedekind分割，可以顺便把cauchy列定义实数也讲一遍，可以再做一期视频(大雾)。 认真的说，可以讲下peano公理定义整数和等价类定义有理数。

拎桶的狮子:
我第一次了解到戴德金分割的时候还是在李永乐用戴德金分割证明0.9 9循环等于1的时候[doge]

我不是鹿丸:
布老师，三行四列式怎么解[步玎Pudding_学习]

__m10n__:
戴德金分割是我认为最优雅的实数完备性公理。他直接基于集合论和实数序公理，而且不像柯西列需要极限（虽然戴德金的极限是隐式给出的）。并且戴德金分割对“直线无洞”给出了最直观的基础，这个公理的类似形式在tarski欧式几何公理中也有出现，可以说是“直线”和“数轴”对偶的重要基础之一。

AstardoRis:
20:55 上组的加法B3似乎不能这样定义…？ 查到的例子：A1={a∈ℚ| a < -sqrt(2)} , A2={a∈ℚ| a < sqrt(2)} -> A3={a∈ℚ| a < 0} B3如果依A3般定义，那么有理数0不属于A3∪B3

残先生:
布布你得给劲啊，才刚讲完曲面积分，我还等着学傅里叶（

LTY-小天依:
布布直播讲了那么久剪出来就半小时，问讲了多少废话（bushi）[步玎Pudding_诶嘿]

闲世之人:
沙发沙发，昨天上课迟到了今天来补课了

-世界观炸了-:
虽然不用学，但是步老师的课还是要看的[脱单doge]

吃矿石的小佶:
学会了，谢谢主播，希望以后讲类似的内容能讲一点应用[步玎Pudding_学习]