主题：【笔记】戴狄金分割（Dedekind Cut） -- frnkl
戴狄金分割（Dedekind Cut）
无论是在整数集、有理数集还是实数集里，都存在一种集合的分割方法，叫做戴狄金分割。所谓戴狄金分割，是指在一个可以严格排序（不妨叫做大小）的集合里，将整个集合分割为没有交集的两个部分，A和B，其中A中任何元素要小于B中任何元素。这里我们把A叫做下集，B叫做上集。大家可以自己验证在整数集、有理数集和实数集里都存在这种戴狄金分割。
整数集的戴狄金分割有个特点，就是下集A包含一个最大数，而上集B包含一个最小数。我们不妨把这两个数叫做边界数。有理数集和实数集的戴狄金分割则不再具有这个特点。有理数集中，任何两个有理数之间必有大小介于二者中间的第三个有理数存在；实数集也有类似性质。这个性质叫做有理数（或实数）的稠密性。如果有理数集或实数集的戴狄金分割的下集A包含一个最大数同时上集B包含一个最小数的话，由于稠密性，此二数之间必存在一个数，则这个数既不属于A也不属于B，而任何一个数应该属于A和B中一个（且仅一个）。矛盾。
实数集的戴狄金分割，或者A有边界数，或者B有边界数，二者之中有（且仅有）一个成立。所以实数集的戴狄金分割，或者是A={x<=r}, B={x>r}, 或者是A={x<r}, B={x>=r}，其中r是一个实数。有趣的是，有理数集中，除了A和B不能同时有边界数以外，其它三种可能都有：或者A有B没有边界数，或者A没有B有边界数，或者A和B都没有边界数。有理数集的戴狄金分割，或者是A={x<=q}, B={x>q}, 或者是A={x<q}, B={x>=q}，其中q是一个有理数,或者A={x<c}, B={x>c},而c是个无理数，不属于有理数集。实数集与有理数集的这种区别，来源于实数集的连续性（又叫完备性）。
注记：戴狄金分割其实是著名数学家戴狄金为了建立实数的严格理论而发明的。如果限制有理数集的戴狄金分割不允许上集有边界数，则可以建立有理数集的戴狄金分割与实数的一一对应关系，从而在有理数的基础上严格定义了实数，为分析数学的发展奠定了扎实的基础。
老兄在重新学习数学分析？
不过好像把老戴的名字拼错了。。。
拼写已改。
刚刚看到厚兄的厚积薄发:【原创】金融定量分析的习题解答开源运动：序，又翻了翻书，写几句做个记录吧。
仅以一维有限区间的定积分为例。
我们知道，对大部分函数，计算定积分，只有数值方法可用。而对于少数可以找到解析解的定积分，直接根据定义计算定积分很麻烦。实际上首先要把区间分割，然后对一个有限项的和求极限。这个过程极其繁琐，甚至有时是不可能的。分析函数f(x)在区间[a,b]上的积分，显然取决于三个因素：f(x),a,b。这三个因素怎么决定积分值呢，微积分基本定理告诉我们，只要找到一个函数g(x)，其导函数为f(x)，则函数f(x)在区间 [a,b]上的积分就等于g(b)-g(a)。而有微积分学习经验的同学都知道，有公式解的不定积分基本就是凑出来的，是一种代数符号运算，所以微积分基本定理把一种繁琐的求和求极限运算，转换成简单的代数符号演算。可以想象当初微积分的先驱者得到这一结果时多么激动，一下子一大堆千奇百怪函数的积分可以轻易得到了，妙矣！
---------------------------------------
从来不是一个善于表达的人，但强拿起手里的秃笔写点东西，总比吵架生闲气好。河里需要的是更多建设，勉尽微薄之力。此记。
是奖励我说实话：“真没看懂”。
鲜花已经成功送出，可通过工具取消
提示：此次送花为此次送花为【有效送花赞扬，涨乐善、声望】。
鲜花已经成功送出，可通过工具取消
提示：此次送花为此次送花为【有效送花赞扬，涨乐善、声望】。
-----------------------------
大地兄是搞工程的，不需要这些理论性的东西
。大地兄关于飞机的故事和科普很开眼界，盼望读到你更多好文。
我的文字水平自己是知道的，晨枫兄的鼓励不由得使我战战兢兢。多谢了！以后尽量多动笔，不管能达到多高水平，不枉晨枫兄一番美意。
积分是求和，微分是分块，很自然的互为正反的关系。不象欧拉公式和付利叶变换那么匪夷所思。
记得有六个等价命题，连环套。当时我们的数分老师讲得唾沫横飞激动不已，而且很阴险地把等价性证明作为期末考题。考完回寝室睡觉，做梦都梦见一个个衣普希隆和戴尔塔在飞。
脱口而出之后，才知道自己说了什么。
感觉就是换一个角度，事情立刻轻易的化繁为简。。除了大赞干得漂亮之外，再说不出别的。。。
很久以后别人议论数学之美和艺术之美的区别的时候。。。咳咳，我总是想起自己当初脱口而出的太漂亮。。。
简洁为美。
真是很羡慕聪明的人能领略发现这样的美。
送花~~~~