首页 >
阿基米德公理
✍ 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新竹科学园区(简称竹科),原名新竹科学工业园区,是台湾的第一座科学园区,涵盖范围