阿基米德公理

✍ dations ◷ 2025-04-04 19:47:36 #阿基米德公理
在抽象代数和分析学中,以古希腊数学家阿基米德命名的阿基米德公理(又称阿基米德性质),是一些赋范的群、域和代数结构具有的一个性质。粗略地讲,它是指没有无穷大或无穷小的元素的性质。由于它出现在阿基米德的《论球体和圆柱体》的公理五,1883年,奥地利数学家Otto Stolz(英语:Otto Stolz)赋予它这个名字。这个概念源于古希腊对量的理论;如大卫·希尔伯特的几何公理,有序群、有序域和局部域的理论在现代数学中仍然起着重要的作用。阿基米德公理可表述为如下的现代记法: 对于任何实数 x {displaystyle x} ,存在自然数 n {displaystyle n} 有 n > x {displaystyle n>x} 。在现代实分析中,这不是一个公理。它退却为实数具完备性的结果。基于这理由,常以阿基米德性质的叫法取而代之。简单地说,阿基米德性质可以认为以下二句叙述的任一句:这等价于说,对于任何正实数 a {displaystyle a} 、 b {displaystyle b} ,如果 a < b {displaystyle a<b} ,则存在自然数 n {displaystyle n} ,有实数的完备性蕴含了阿基米德性质,证明利用了反证法:假设对所有 n {displaystyle n} , n a < b {displaystyle na<b} (注意 n a {displaystyle na} 表示 n {displaystyle n} 个 a {displaystyle a} 相加),令 S = { n a | n = 1 , 2 , 3 , . . . } {displaystyle S={na|n=1,2,3,...}} ,则 b {displaystyle b} 为 S {displaystyle S} 的上界( S {displaystyle S} 上方有界,依实数完备性,必存在最小上界,令其为 α {displaystyle alpha } ),于是 ∀ n = 1 , 2 , 3 , . . . {displaystyle forall n=1,2,3,...} 有得出 α − a {displaystyle alpha -a} 也是 S {displaystyle S} 的一个上界,这与 α {displaystyle alpha } 是最小上界矛盾。这样就由实数的完备性推出了阿基米德性质,但阿基米德性推不出实数的完备性,因为有理数满足阿基米德性,但并不是完备的。

相关

  • 西西里岛坐标:37°30′N 14°00′E / 37.500°N 14.000°E / 37.500; 14.000西西里(意大利语:Sicilia ,)是意大利南部的一个自治区。西西里占地25,708平方公里,人口数为500万,是意大利最大
  • 退役退伍军人(英语:Veteran),指服完常备役或预备役之后,退伍离开军队,恢复一般公民身份,至社会工作的人。在台湾又称为荣民。在韩语中,参加过特定战事的退伍军人(如各国的韩战、越战老兵)
  • 安纳托利亚语族安那托利亚语族是印欧语系下的一族语言(在有些分类中,此族不属于印欧语系,但极为接近)。此语族语言曾在小亚细亚使用,目前已消亡,包括赫梯语、卢维语(“赫梯象形文字”使用的语言)和
  • 前-mRNA/不均一核RNA前信使RNA(英语:Precursor mRNA,简称为前mRNA、mRNA前体)是一种未成熟的单链信使核糖核酸(mRNA)。前mRNA是从细胞核中的DNA模板通过转录而合成的。前mRNA构成了不均一核RNA(或称为
  • 齐 康齐康(1931年10月26日-)原名齐毓康,原籍浙江天台,生于江苏南京,建筑学家、建筑教育家,东南大学教授,东南大学建筑设计研究院总顾问,中国科学院院士,法国建筑科学院外籍院士,国家建筑设计
  • 软陶软陶被称作“低温泥”或者“烧烤粘土”,但其本质上并非陶或者黏土,而是一种加入了液态增塑剂的PVC材料,同时常加入高岭土等少量其他材料以获得不同的特性。软陶有各种颜色,常被
  • 牵手牵手可以指:
  • 卡夫拉卡夫拉(Khafra),埃及第四王朝的法老(约公元前2558年-前2532年在位),名字的意思可能是“拉的皇冠”,为法老胡夫之子,希腊著名历史学家希罗多德称他为“齐夫伦”(Chephren),并把他描写成胡
  • 加州大学洛杉矶分校粉蓝色和金色加利福尼亚大学洛杉矶分校(英语:University of California, Los Angeles),简称加州大学洛杉矶分校(UCLA),是一所位于美国加利福尼亚州洛杉矶的公立研究型大学,创办于191
  • 新竹科学工业园区坐标:24°46′56″N 121°00′23″E / 24.7823005°N 121.0062859°E / 24.7823005; 121.0062859新竹科学园区(简称竹科),原名新竹科学工业园区,是台湾的第一座科学园区,涵盖范围