首页 >
阿基米德公理
✍ dations ◷ 2025-07-23 08:07:03 #阿基米德公理
在抽象代数和分析学中,以古希腊数学家阿基米德命名的阿基米德公理(又称阿基米德性质),是一些赋范的群、域和代数结构具有的一个性质。粗略地讲,它是指没有无穷大或无穷小的元素的性质。由于它出现在阿基米德的《论球体和圆柱体》的公理五,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 }
是最小上界矛盾。这样就由实数的完备性推出了阿基米德性质,但阿基米德性推不出实数的完备性,因为有理数满足阿基米德性,但并不是完备的。
相关
- 生命征象生命体征(英语:Vital signs),或称生命迹象,医学术语,是一组4到6个最重要的人体基本生理功能(维持生命)的表征。这些测量结果被用于评估个体的身体健康,提供潜在疾病的线索,并显示出
- 胃肠病学胃肠学(英语:Gastroenterology,又称为肠胃病学)是医学的一个分枝,专门研究消化系统(从口腔到肛门的消化道)及相关疾病。
- 体染色体隐性遗传在基因学中,显性(英语:dominance)是一个基因中一对等位基因之间的关系,其中一个等位基因的表型会表现出来,掩盖了同一基因座中另一个等位基因的表现。前面的等位基因称为显性基因,
- 甲磺酸赖氨酸安非他命甲磺酸赖氨酸安非他命(英语:Lisdexamfetamine),名字来源为“离胺酸-右旋安非他命”,是 中枢神经系统(CNS)右旋安非他命刺激剂的前体药物,一种安非他命类(英语:substituted amphetamine
- Carpe diem活在当下(常译作及时行乐)为拉丁语格言“Carpe diem”(把握今朝),语出自贺拉斯的拉丁语诗集《颂歌》。完整诗文为“carpe diem, quam minimum credula postero”。可翻译为“活在
- 蒸腾作用蒸腾作用(英语:transpiration,或称蒸腾作用)蒸腾作用是透过植物的水分运动和从植物的地上部分蒸发的过程,如叶,茎和花。水对植物是必需的,但只有少量的水被根吸收用于生长和新陈代
- 烤炙烤是一种用火或者是热源将食物加热的烹调方式。通常是先将肉或蔬菜等食材放置于铁丝网上,或者将食材用锡箔纸包好后,放进烤箱中进行加热,或者是用烧红的木炭进行加热。这种烹饪
- b陈/b font style=color:#888small557-589/small陈(557年-589年)是中国历史上南北朝时期南朝最后一个朝代,由陈霸先代梁所建立,以建康(今南京)为首都,国号陈。陈朝名称来自陈霸先即位前被封的陈公、陈王,但陈王的封号来源又有二说,一
- Mgsub2/sub[NiHsub4/sub]四氢合镍(0)酸镁是一种配位化合物,化学式为Mg2,它是单斜晶系的晶体,其中含有4−离子。该化合物在220 °C时转变为立方晶系的Mg2NiH3.9。该配合物可由镁和镍的金属粉末在氢气中
- 台北国际会议中心坐标:25°2′0″N 121°33′38″E / 25.03333°N 121.56056°E / 25.03333; 121.56056台北国际会议中心(英语:Taipei International Convention Center,以下简称TICC)是台北世界