首页 >
阿基米德公理
✍ dations ◷ 2025-09-02 15:04: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 }
是最小上界矛盾。这样就由实数的完备性推出了阿基米德性质,但阿基米德性推不出实数的完备性,因为有理数满足阿基米德性,但并不是完备的。
相关
- 心指数心指数 (英语:cardiac index,简称CI)是血流动力学(英语:haemodynamic)中涉及参数的以体表面积(BSA)所计算的每分钟左心室心输出量(英语:cardiac output)(CO),从而比较不同个体之间的心泵
- Gd4f7 5d1 6s22, 8, 18, 25, 9, 2蒸气压((calculated))第一:593.4 kJ·mol−1 第二:1170 kJ·mol−1 第三:1990 kJ·mol主条目:钆的同位素钆(拼音:gá,注音:ㄍㄚ,粤拼:gaa1,旧译錷)符号Gd(英
- 龟曲颈龟亚目 Cryptodira 侧颈龟亚目 Pleurodira龟鳖目(学名:Testudines)是脊索动物门爬行纲的一目,现存14科共341种各类龟、鳖,它们的肋骨进化成特殊的骨制和软骨护盾,称为龟甲。龟
- 被子植物门传统分类方式:Anthophyta Magnoliophyta Cronquist, Takht. & W.Zimm., 1966被子植物(学名:Angiosperms),又名开花植物或有花植物。(以前的生物学分类称“被子植物门”,而现今被归
- MnOsub2/sub二氧化锰(化学式:MnO2, MnO 2
- 顾宝明顾宝明(1950年4月8日-),籍贯上海,出生于台湾,台湾男演员。1976年左右就参与舞台剧演出(当时叫“传统话剧”),后来在华视综艺节目《综艺100》参与短剧演出而闯出名声。曾获颁金马奖及
- 焓焓(英语:enthalpy,读音ㄏㄢˊ|hán)是一个热力学系统中的能量参数。规定由字母 H {\displaystyle H} 表示(
- 阴维脉阴维脉,奇经八脉之一。“维”者系也,阴维脉与六阴脉相联系,维系诸阴经。阴维脉起于小腿内侧筑宾穴,沿腿股内侧并足太阴、厥阴上行,至咽喉与任脉会合。《素问·刺腰痛论》:“刺飞阳
- 二九第八第十埃及第二十九王朝是古埃及历史上的一个王朝,其统治者为埃及本土人。第二十九王朝与第二十六王朝、第二十七王朝、第二十八王朝、第三十王朝和第三十一王朝统称古埃及
- 国家运输安全委员会国家运输安全委员会(英语:National Transportation Safety Board,缩写:NTSB)是一个独立的美国政府调查机构,成立于1967年,负责民用运输事故调查(英语:accident investigation),总部设于