百科问答小站 logo
百科问答小站 font logo



什么是实数? 第1页

  

user avatar   lpz-71 网友的相关建议: 
      

以敝人期末82分的粗浅数学分析水平试答一下(用手机写就懒得打公式了)

传统数学分析教材习惯用公理化的方法定义实数域。具体来说,在代数上我们把域定义成装备了两种二元运算(加法和乘法)的一个集合,它满足一定的公理;我们在域上引入一个全序结构,并且序关系跟二元运算还要满足一定的公理,我们把这样的域称为序域。我们把实数域定义为满足Dedekind完备性(上有界子集必有上确界)的序域。

但是传统数学分析教材并没有证明这个定义是良好的。具体来说,我们要证明满足这样条件的集合,是存在且唯一的。唯一性可以从公理直接证明,具体来说,两个完备序域是同构的,他们之间存在一个双射同时保持加法,乘法和序关系。而存在性的证明应该是构造性的,也即其他答主说的Dedekind分割。

通过构造性的方法定义实数,要求从最简单的自然数集开始构造。自然数集的存在性源于Zermelo-Fraenkel集合论,其中的“无穷公理”把自然数集定义为最小的归纳集,并声明其存在。我们从自然数集 开始,沿着“自然数集 整数环 有理数域 实数域 ”逐个构造。其中整数环定义为商集 ,~代表减法对应的等价关系;有理数域定义为商集 ,~代表除法对应的等价关系(这个构造在代数中被称为分式域)。而实数域,根据Dedekind分割的构造,被定义为有理数域幂集 的某个特殊子集。这样我们就从自然数集的存在性导出了实数域的存在性。




  

相关话题

  为什么数学教材里,学生首先学习的就是算术,却不学习作为基础的集合与逻辑? 
  嘉然在杭州,我也在杭州,知乎上的各位数学大神能帮我分析一下,我在杭州偶遇嘉然的概率是多大? 
  如何看待奥运冠军学霸谷爱凌每年暑假回海淀黄庄补奥数,谷妈妈说「来中国上十天课,能在美国顶一年」? 
  家有毕业班的中学生,想知道“平行线分线段成比例定理”如何证明?思路是什么? 
  为什么总有数学专业的人觉得自己什么都懂? 
  如何计算一只鸡的表面积? 
  如何评价「泛函、映射、算子、变换都是函数,是搞数学的人骗普通人的把戏」这一说法?实际情况如何? 
  高考完的暑假如何自学大学数学? 
  如何看待希望杯数学竞赛被取消? 
  数学学习或研究中,你见过哪些有意思的反例? 

前一个讨论
黑箱里有n个小球,编号为1, 2, ..., n,随机抽一个球的号码是10,能获得什么关于n的信息?
下一个讨论
谈谈对利比里亚、美国和黑人人种的看法?





© 2025-04-04 - tinynew.org. All Rights Reserved.
© 2025-04-04 - tinynew.org. 保留所有权利