数学精神与方法第六讲课件.ppt

数学精神与方法 第六讲 运算与迭代的威力（二） §3.2 经典数学的统一 ——“数形合一”（续） 上一节我们已看到怎样从ZFC系统制定出自然数系，整数系，直至有理数系。 本节将带领大家看一看： 怎样由有理数系制定出实数系？ 怎样理解实数系与直线的统一？ 怎样理解数与形的统一？ 无理量的存在性 思考题：证明上述命题。 “ 完备化” 观念 无理数的存在说明有理数系并不像毕达哥拉斯想象的那么“完备”，有理数系还有必要作进一步的扩充。可是，“完备”究竟意味什么意思呢？简单地说，这里的“完备”是数学家渴望达到的一种境界——“数与形统一” 。让我们自然地设想一下： 在一条连绵不断的直线上，选定一个原点和一个序向，并选定单位长度，那么可以将有理数0对应于直线上的原点，将数目1对应于直线上沿序向离原点有一个单位长度的点，将数目2对应于沿序向离原点有二个单位长度的点，等等——凡是有理数都唯一地对应于直线上 一点，这一点离开原点的距离与单位长度是可公度的，并且不同的有理数对应于直线上不同的点——这样就实现了从有理数系Q到直线上某个稠密子集间的一个保序双射。可是，这条连绵不断的直线上终归本性地存在着不能被任何有理数对应的点，这一现象正是有理数系Q“不完备” 的表象。透过Q的这种“不完备” 表象，可以体会“完备” 的意味——“完备”