阿基米德公理

✍ dations ◷ 2025-07-23 08:07:03 #阿基米德公理
在抽象代数和分析学中,以古希腊数学家阿基米德命名的阿基米德公理(又称阿基米德性质),是一些赋范的群、域和代数结构具有的一个性质。粗略地讲,它是指没有无穷大或无穷小的元素的性质。由于它出现在阿基米德的《论球体和圆柱体》的公理五,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 } 是最小上界矛盾。这样就由实数的完备性推出了阿基米德性质,但阿基米德性推不出实数的完备性,因为有理数满足阿基米德性,但并不是完备的。

相关

  • 生命征象生命体征(英语:Vital signs),或称生命迹象,医学术语,是一组4到6个最重要的人体基本生理功能(维持生命)的表征。这些测量结果被用于评估个体的身体健康,提供潜在疾病的线索,并显示出
  • 胃肠病学胃肠学(英语:Gastroenterology,又称为肠胃病学)是医学的一个分枝,专门研究消化系统(从口腔到肛门的消化道)及相关疾病。
  • 体染色体隐性遗传在基因学中,显性(英语:dominance)是一个基因中一对等位基因之间的关系,其中一个等位基因的表型会表现出来,掩盖了同一基因座中另一个等位基因的表现。前面的等位基因称为显性基因,
  • 甲磺酸赖氨酸安非他命甲磺酸赖氨酸安非他命(英语:Lisdexamfetamine),名字来源为“离胺酸-右旋安非他命”,是 中枢神经系统(CNS)右旋安非他命刺激剂的前体药物,一种安非他命类(英语:substituted amphetamine
  • Carpe diem活在当下(常译作及时行乐)为拉丁语格言“Carpe diem”(把握今朝),语出自贺拉斯的拉丁语诗集《颂歌》。完整诗文为“carpe diem, quam minimum credula postero”。可翻译为“活在
  • 蒸腾作用蒸腾作用(英语:transpiration,或称蒸腾作用)蒸腾作用是透过植物的水分运动和从植物的地上部分蒸发的过程,如叶,茎和花。水对植物是必需的,但只有少量的水被根吸收用于生长和新陈代
  • 烤炙烤是一种用火或者是热源将食物加热的烹调方式。通常是先将肉或蔬菜等食材放置于铁丝网上,或者将食材用锡箔纸包好后,放进烤箱中进行加热,或者是用烧红的木炭进行加热。这种烹饪
  • b陈/b font style=color:#888small557-589/small陈(557年-589年)是中国历史上南北朝时期南朝最后一个朝代,由陈霸先代梁所建立,以建康(今南京)为首都,国号陈。陈朝名称来自陈霸先即位前被封的陈公、陈王,但陈王的封号来源又有二说,一
  • Mgsub2/sub[NiHsub4/sub]四氢合镍(0)酸镁是一种配位化合物,化学式为Mg2,它是单斜晶系的晶体,其中含有4−离子。该化合物在220 °C时转变为立方晶系的Mg2NiH3.9。该配合物可由镁和镍的金属粉末在氢气中
  • 台北国际会议中心坐标:25°2′0″N 121°33′38″E / 25.03333°N 121.56056°E / 25.03333; 121.56056台北国际会议中心(英语:Taipei International Convention Center,以下简称TICC)是台北世界