首页 >
阿基米德公理
✍ dations ◷ 2025-04-26 12:52:38 #阿基米德公理
在抽象代数和分析学中,以古希腊数学家阿基米德命名的阿基米德公理(又称阿基米德性质),是一些赋范的群、域和代数结构具有的一个性质。粗略地讲,它是指没有无穷大或无穷小的元素的性质。由于它出现在阿基米德的《论球体和圆柱体》的公理五,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 }
是最小上界矛盾。这样就由实数的完备性推出了阿基米德性质,但阿基米德性推不出实数的完备性,因为有理数满足阿基米德性,但并不是完备的。
相关
- 铯蒸气压第一:375.7 kJ·mol−1 第二:2234.3 kJ·mol−1 第三:3400 kJ·mol主条目:铯的同位素铯(Cesium,旧译作鏭)是一种化学元素,化学符号为Cs,原子序为55。铯属于碱金属,带银金色
- 工业酒精变性乙醇,亦称变性酒精(Denatured alcohol),是指加入添加剂的乙醇,主要做工业用酒精(Industrial alcohol; Industrial spirit)的用途。这种乙醇有毒、难闻、难吃、令人作呕。为避免
- 鹅颈瓶鹅颈瓶是一种由特殊形状的管道引向烧瓶的实验设备。“鹅颈”会降低空气在管中流动的速度,空气中的粒子,比如细菌,会困在其潮湿的内表面上。将瓶中液体煮沸,杀死瓶中微生物后,只要
- Alveolata囊泡虫总门(学名:Alveolata)是一大类原生生物.囊泡虫类可分为4个门, 在形态上具有非常大的多样性,但根据细胞内的超微结构与基因具有密切亲缘关系:帕金虫属(Perkinsus)可能属于
- 基因产物基因产物是基因表达的产物,是一种生物化学物质,通常是RNA或蛋白质。基因产物的数量用于衡量基因的活跃程度。基因产物的数量异常可能是由某些致病性的等位基因 引起,例如过度活
- 遁天神盗《遁天神盗》又名《幻影车神》是2004年的印度电影,可以说是一部武打剧情片。此片当年在印度获得成功,两年后还续拍了《遁天神盗 2》。本片开头,一群强盗竟斗胆在光天化日之下搶
- 查谟和克什米尔中央直辖区查谟和克什米尔(Jammu and Kashmir)是一个位于印度北部的中央直辖区,分为查谟和克什米尔山谷两个专区,为印度控制的克什米尔的一部分。该地南面与旁遮普和喜马偕尔邦接壤,东北部
- 赵武灵王赵武灵王(前340年-前295年),嬴姓,赵氏,名雍,中国战国中后期赵国的君主。死后谥号武灵。生于赵肃侯十年(前340年),在位共27年(前325至前299年),推行“胡服骑射”政策,赵国因而得以强盛,灭中
- 加拿大圣公会加拿大圣公会(英语:Anglican Church of Canada,简称ACC 或 ACoC,法语:l'Église Anglicane du Canada)是普世圣公宗在加拿大的教省 。加拿大圣公会是全加拿大第三大的宗教组织,仅次
- 硝酸甘油炸药硝酸甘油炸药(英语:Dynamite)是瑞典著名化学家诺贝尔于1866年发明出的一种炸药。主要成分是硝酸甘油与木屑(或是任何可以吸附液体的物质)、硝石和碳酸钙混制而成。诺贝尔最初使用