阿基米德公理

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

相关

  • 类病毒类病毒是一种具有传染性的单链RNA病原体。它比病毒要小,且没有典型病毒所有的蛋白质外壳。类病毒为严格寄生物,专一性很强,通常感染高等植物,并整合到植物的细胞核内进行复制。
  • 灭绝营纳粹集中营转移营比利时:布伦东克堡垒 · 梅赫伦转移营法国:居尔集中营 · 德朗西集中营意大利:波尔查诺转移营荷兰:阿默斯福特集中营 · 韦斯特博克转移营挪威:法斯塔德集中营部
  • 头孢咪唑头孢咪唑(其国际非专利药品名称为“Cefpimizole”)是一种第三代头孢菌素。羧基青霉素:羧苄西林(卡茚西林) · 替卡西林 · 替莫西林 脲基青霉素:阿洛西林 · 哌拉西林 ·
  • 喉咙咽喉(Throat)是解剖学中咽(学名:Pharynx)和喉(Larynx)的总称,是消化系统和呼吸系统的一部分。Template:Mouth anatomy(英语:Template:Mouth anatomy)
  • 乔治·纳波利塔诺乔治·纳波利塔诺(意大利语:Giorgio Napolitano,1925年6月29日-),出生于意大利那不勒斯,意大利政治人物,现任终身参议员,前总统。2005年,纳波利塔诺成为终身参议员。2006年5月,他当选为
  • 氮化汞氮化汞,又称二氮三化汞,是一种无机化合物,化学式Hg3N2,为折线型分子,结构式Hg=N-Hg-N=Hg,稳定性极差,是一种感度很高的爆炸物。氧化汞与氨气在10°C下反应,再加热到150°C,最后用20%
  • 美国国家公园列表美国共有62座国家公园保护区,由内政部下属的国家公园管理局运作。国家公园需经国会立法建立。1872年,总统尤利西斯·辛普森·格兰特签署法案,设立第一个国家公园:黄石国家公园,之
  • 佘山佘山(汉语拼音:shé shān,上海话:zo sai),位于中国上海市松江区佘山镇,分东佘山和西佘山,海拔分别是72.4米和97.2米。佘山已经是上海著名市郊风景区,现划有佘山国家森林公园。关于其
  • 德国经济$45,925 (国际汇率) $40,756 (购买力平价)德国是欧洲最大经济体,全球国内生产总值第四大国(国际汇率),以及国内生产总值第五大国(购买力平价)。从工业革命时
  • 那玛夏那玛夏区(卡那卡那富语:Namasia;布农语:Namasia),是中华民国高雄市的一个市辖区,位于高雄市东北半叶西北部,东邻桃源区,西邻台南市南化区,北接台湾省嘉义县大埔乡、阿里山乡,南连甲仙区