新年肝了几天做了几期视频，主要是介绍实数公理体系和实数模型的，本来是打算三种实数模型(戴德金分割，无尽小数，柯西列)都详细写以下的，但是工作量太大了，实在肝不动了，只写了两种。然后想了想陶哲轩的实分析教材讲的的柯西列构造实数挺详细的，就偷懒不写这部分了
视频分了三部分：
第一部分介绍实数公理体系，简单地从第二次数学危机入手，分析为什么要将实数公理化，以及实数公理系统具体由哪些公理组成。
第二部分介绍实数的无尽小数模型，利用无尽小数和有尽小数的运算法则来构造实数模型
第三部分介绍实数的戴德金分割模型，利用戴德金分割和有理数的运算法则来构造实数模型
【实数公理体系】 https://www.bilibili.com/video/BV128411A7jh/?share_source=copy_web&vd_source=a530a33a733088a8a789a470e230a327
【实数的无尽小数模型】 https://www.bilibili.com/video/BV1fM411b7JJ/?share_source=copy_web&vd_source=a530a33a733088a8a789a470e230a327
【实数的戴德金分割模型】 https://www.bilibili.com/video/BV11T411m7M5/?share_source=copy_web&vd_source=a530a33a733088a8a789a470e230a327

好活

咱们的柯西数列模型捏

已阅。