首页 >
阿基米德公理
✍ dations ◷ 2025-09-18 19:31:35 #阿基米德公理
在抽象代数和分析学中,以古希腊数学家阿基米德命名的阿基米德公理(又称阿基米德性质),是一些赋范的群、域和代数结构具有的一个性质。粗略地讲,它是指没有无穷大或无穷小的元素的性质。由于它出现在阿基米德的《论球体和圆柱体》的公理五,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 }
是最小上界矛盾。这样就由实数的完备性推出了阿基米德性质,但阿基米德性推不出实数的完备性,因为有理数满足阿基米德性,但并不是完备的。
相关
- 死亡丧钟死亡丧钟(英语:Death Knell)是教堂里在有人去世后敲响的三次钟中的第二次。以英国来说,它前面一个为Passing Bell(临终之钟),在临死时敲响;后面一个为Lych Bell或Corpse Bell(葬礼之
- 锂空气电池锂空气电池(英语:Lithium–air battery)是一种金属空气电化学电池(英语:Metal–air electrochemical cell),阳极(负极)采用了金属锂,而阴极(正极)材料,则是空气中的氧,放电过程中,负极的金
- 原子论原子论(英语:Atomism,来自古希腊语atomos,含义为“不可分割”)是在一些古代传统中发展出的一种自然哲学。原子论者将自然世界理论化为由两基本部分所构成:不可分割的原子和空无的
- 导演导演,狭义指在戏剧演出、影视制作团队中,整合全部艺术元素的艺术生产负责人。导演一词英文为Director,从含义来说是指引方向的人,但从具体职能来说,往往其主要能力是沟通。因此一
- 白菜白菜可以指:
- 泰晤士河泰晤士河(英语:River Thames,i/tɛmz/,TEMZ)是位于南英格兰的一条河流,全长346公里,流经英格兰的三个郡,为英格兰最长之河流、英国第二长河,次于354公里的塞文河,也是全世界水面交通最
- 染色体倍性性别决定系统套数性别决定系统是一种特殊的性别决定系统。当中未受精的卵成为单套染色体的雄性,而受精卵则是成为双套染色体的雌性。采用此性别决定系统的昆虫有膜翅目(蚂蚁,蜜蜂,黄蜂)与缨翅
- 斯堪的纳维亚半岛斯堪的纳维亚半岛(丹麦语:Skandinaviske halvø,瑞典语:Skandinaviska halvön,挪威语:Den skandinaviske halvøy,芬兰语:Skandinavian niemimaa),位于欧洲西北角,其濒临波罗的海、挪
- 莱茵河畔诸国莱茵邦联又称莱茵联盟(德语:Rheinbund;法语:Confédération du Rhin), 是1806年至1813年间于德意志地区的政治实体,法国所领导的藩属国,拿破仑并自命为护国主。最初成员有16个前神
- 农具农具是农业生产中使用的工具。