阿基米德公理

✍ dations ◷ 2025-09-02 15:04: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 } 是最小上界矛盾。这样就由实数的完备性推出了阿基米德性质,但阿基米德性推不出实数的完备性,因为有理数满足阿基米德性,但并不是完备的。

相关

  • 心指数心指数 (英语:cardiac index,简称CI)是血流动力学(英语:haemodynamic)中涉及参数的以体表面积(BSA)所计算的每分钟左心室心输出量(英语:cardiac output)(CO),从而比较不同个体之间的心泵
  • Gd4f7 5d1 6s22, 8, 18, 25, 9, 2蒸气压((calculated))第一:593.4 kJ·mol−1 第二:1170 kJ·mol−1 第三:1990 kJ·mol主条目:钆的同位素钆(拼音:gá,注音:ㄍㄚ,粤拼:gaa1,旧译錷)符号Gd(英
  • 曲颈龟亚目 Cryptodira 侧颈龟亚目 Pleurodira龟鳖目(学名:Testudines)是脊索动物门爬行纲的一目,现存14科共341种各类龟、鳖,它们的肋骨进化成特殊的骨制和软骨护盾,称为龟甲。龟
  • 被子植物门传统分类方式:Anthophyta Magnoliophyta Cronquist, Takht. & W.Zimm., 1966被子植物(学名:Angiosperms),又名开花植物或有花植物。(以前的生物学分类称“被子植物门”,而现今被归
  • MnOsub2/sub二氧化锰(化学式:MnO2, MnO 2
  • 顾宝明顾宝明(1950年4月8日-),籍贯上海,出生于台湾,台湾男演员。1976年左右就参与舞台剧演出(当时叫“传统话剧”),后来在华视综艺节目《综艺100》参与短剧演出而闯出名声。曾获颁金马奖及
  • 焓(英语:enthalpy,读音ㄏㄢˊ|hán)是一个热力学系统中的能量参数。规定由字母 H {\displaystyle H} 表示(
  • 阴维脉阴维脉,奇经八脉之一。“维”者系也,阴维脉与六阴脉相联系,维系诸阴经。阴维脉起于小腿内侧筑宾穴,沿腿股内侧并足太阴、厥阴上行,至咽喉与任脉会合。《素问·刺腰痛论》:“刺飞阳
  • 二九第八第十埃及第二十九王朝是古埃及历史上的一个王朝,其统治者为埃及本土人。第二十九王朝与第二十六王朝、第二十七王朝、第二十八王朝、第三十王朝和第三十一王朝统称古埃及
  • 国家运输安全委员会国家运输安全委员会(英语:National Transportation Safety Board,缩写:NTSB)是一个独立的美国政府调查机构,成立于1967年,负责民用运输事故调查(英语:accident investigation),总部设于