アルキメデスの性質のソースを表示

{{Otheruses|数学における性質|物理学における法則|アルキメデスの原理}}
[[数学]]における'''アルキメデスの性質'''（アルキメデスのせいしつ、{{lang-en-short|Archimedean property}}）とは、古代ギリシャの数学者シラクサの[[アルキメデス]]にちなんで名付けられた、[[実数]]の体系を典型的な例として一定の種類の[[群 (数学)|群]]や[[可換体|体]]などいくつかの代数的構造が共通として持っている性質のことである。ふつう、アルキメデスの性質とは「体系の中に[[無限|無限大]]や[[無限小]]が現れないこと」という意味で理解される。この概念は[[古代ギリシャ]]における量の理論に端を発しているが、近現代の数学の教育や研究においても[[ヒルベルトの幾何の公理]]、[[順序群]]や[[順序体]]、[[局所体]]の理論などにおいて重要な役割を果たしている。

0でない元の任意の対について、それぞれ他方に対して無限小量ではないという意味で、「比較可能」な代数系は'''アルキメデス的'''であると呼ばれる。反対に二つの0でない元で片方がもう一方に対して無限小であるような代数系は非アルキメデス的であると呼ばれる。例えば、アルキメデス的な順序群はアルキメデス的順序群あるいはArchimedes的順序群、Archimedes順序群と呼ばれることになる。<!-- Archimedean順序群とは言わないらしい。外来語は名詞として入るからか --><ref>岩波数学事典 4th ed. 182 順序線形空間A</ref>

アルキメデスの性質は様々な文脈に応じて異なった方法で定式化される。たとえば順序体の文脈では'''アルキメデスの公理'''と呼ばれる命題によってアルキメデス性が定義され、実数体はその意味でのアルキメデス性を持つ一方で、実係数の有理関数体は適当な順序構造によってはアルキメデス性を持たない順序体になる。

== 順序群における定義 ==
<!-- 全順序じゃなくていい see 岩波 loc. cit. -->順序群''G''における正の元''x'', ''y'' について、''x''が''y''に対して無限小である（あるいは、''y''が''x''に対して無限大である）とは、任意の[[自然数]] ''n'' について ''nx'' が''y''より小さいこと、つまり以下の不等式が成立することである。
:<math> \underbrace{x+\cdots+x}_{n} < y. </math>
順序群''G''における正の元の対''x'', ''y''で、''x''が''y''に対して無限小になっているようなものは存在しないとき''G''はアルキメデス的であると言われる。

順序構造を持つ単位的[[環 (数学)|環]]の場合には、正の元''x''が乗法の[[単位元]]1に対して無限小であれば''x''は無限小の元であると言われ、同様に元''y''が1に対して無限大であれば''y''は無限大の元であると言われる。無限小の元も無限大の元も持たない順序環は順序群としてアルキメデス的になる。

=== 順序体における定義 ===
<!-- こっちは全順序 -->順序体''K''の場合には、''K''が順序群としてアルキメデス的であるということをアルキメデスの公理と呼ばれる以下の命題によって特徴づけることができる。
: ''K''の任意の元''x''についてある自然数''n''が存在して''n'' > ''x''となる。
または、以下の命題によってアルキメデス性を特徴づけることもできる。
: ''K''の、0でない任意の正の元 ''&epsilon;'' についてある自然数''n''が存在して 1/''n'' < ''&epsilon;'' が成り立つ。
これらの単純化は、順序体の場合に成り立つ以下のような事情に基づいている。
* ''K''は有理数体を含むとしてよい。
* ''x''が無限大ならば 1/''x'' は無限小であり、逆も成り立つ。したがって無限小の元を持たない順序体は無限大の元も持たないことになる。
* ''x''が無限小ならば任意の正の有理数 ''r'' について ''rx'' は再び無限小となる。したがって、任意の正の元 ''c'' について、''c''/2, ''c'', 2''c'' の3つの元はどれも無限小であるか、あるいはどれも無限小でないかのどちらかである。
これらを基にした、アルキメデス性の異なる定式化については[[#順序体における同値な定義]]節を参照のこと。

== 絶対値を持つ体 ==
局所体の理論におけるアルキメデス性は以下のように定義される。''K''を絶対値を持つ体、つまり''K''の元 ''x'' に対し正の数 |''x''| が、四則演算が連続になるように与えられているとする。このとき、0でない任意の元 ''x'' についてある自然数 ''n'' が存在して
:<math> |\underbrace{x+\cdots+x}_{n}| > 1</math>
となるとき、''K''はアルキメデス的であると言われる。

== 歴史 ==
この概念は古代ギリシャの数学者・物理学者であったシラクサのアルキメデスにちなんでいる。アルキメデスの性質は[[ユークリッド]]の[[原論]]第5巻の定義4に現れる:
{{Quote|（訳注: おなじ種類の）量は互いに、何倍かすれば他方よりも大きくなるような、比を持つと言われる。}}
アルキメデスはこのことをクニドスの[[エウドクソス]]に帰しているため、エウドクソスの定理またはエウドクソスの公理としても知られている。<ref name="Knopp1951">{{cite book|last=Knopp|first=Konrad|authorlink=Konrad Knopp|title=Theory and Application of Infinite Series|edition=English 2nd|page=7|year=1951|publisher=Blackie & Son, Ltd.|location=London and Glasgow}}</ref>

アルキメデスは求積法などに関する物理的な考察の際にもちいた直感的な議論において無限小の量を論じたことはあったが、それらを数学的に厳密な対象として認めることはなかった。[[:en:Archimedes_Palimpsest]]

[[ファイル:Axiom-of-archimedes.svg|thumb|right|240px|[[ヒルベルト]]によるアルキメデスの公理の定式化]]
近現代の数学におけるアルキメデスの公理の定式化に、ヒルベルトによる幾何の公理系に含まれる公理 V-I.
: A<sub>1</sub>を任意に選ばれた点AとBのあいだの直線上の任意の点とせよ。点A<sub>2</sub>, A<sub>3</sub>, A<sub>4</sub>, ... を、A<sub>1</sub>がAとA<sub>2</sub>の間に、A<sub>2</sub>がA<sub>1</sub>とA<sub>3</sub>の間に、A<sub>3</sub>がA<sub>2</sub>とA<sub>4</sub>の間になるように選べ。さらに、線分AA<sub>1</sub>, A<sub>1</sub>A<sub>2</sub>, A<sub>2</sub>A<sub>3</sub>, A<sub>3</sub>A<sub>4</sub>が互いに等しいとせよ。そのとき、この点列のうちで特定のA<sub>''n''</sub>についてBがAとA<sub>''n''</sub>の間に位置するようなものがある。
がある。<ref>David Hilbert, 1980 (1899). The Foundations of Geometry, 2nd ed. Chicago: Open Court.</ref>
<!-- 非アルキメデス幾何について触れるべきか -->

== 例 ==
=== 実数のアルキメデス性 ===
実数のなす体は順序体としてもノルム体としてもアルキメデス性を持っている。これは有理数の体系が通常の順序とノルムについてアルキメデス性を持ち実数がその完備化として得られることから従う。

実数はアルキメデスの性質に関して順序体の中で、以下の意味で普遍性を持っている：任意の完備なアルキメデス的順序体は実数の順序体に同型になる。公理的なアプローチに立てば無限小の実数がないことは以下のようにしてしめすこともできる。''A''を0より大きい無限小の数全体の集合とする。これはとくに1を上界に持っているが、空集合でなかったとすると、正の最小上界 ''c'' があることになる。このとき ''c'' より真に大きい 2''c'' は無限小ではあり得ないことになるが、いっぽうで''c''より真に小さい ''c'' / 2は無限小でなければならない。[[#順序体における定義]]節の注意によればこれは矛盾である。

直観論理などに基づき構成的な実数のみを認める体系では、無限小の数全体の集合の様に非構成的に与えられた集合の最小上界の存在は保証されないが、それでも（有理数のアルキメデス性により）実数のアルキメデス性は成り立っていることに注意。

=== 非アルキメデス的順序体 ===
{{main|非アルキメデス順序体}}
実数係数の一変数有理関数体には以下のようにして非アルキメデス的な順序体の構造を与えることができる。以下有理関数は分母の多項式の最高次の係数が正の形に表されていると仮定する。多項式に対するユークリッドの互除法を用いれば、任意の有理関数は、多項式（「整式部分」）と、分子の多項式の次数が分母の次数よりも低いような有理関数との和の形に一意的に表される。このとき、 1) 整式部分の最高次の係数が正である、2) 整式部分が0で、分子の最高次の係数が正である、のいずれかの条件を満たすものを正の有理関数と定めると、有理関数体は四則演算と整合的な順序を持つ。実際、この順序に関する正の元 ''f''(''t'') とは、ある整数 ''n'' が存在して''t'' &rarr; &infin;のときに ''f''(''t'') ''t<sup>n</sup>''が正の実数に収束するようなものである。

この順序に関して有理関数 1/''t'' は無限小の元になる。実際、任意の自然数 ''n'' について 1 - n.(1/t) は整式部分の最高次係数が 1 > 0 であり、 1 - n.(1/t) は 0より大きい（ あるいは、(1 - n.(1/t))t<sup>0</sup> は t &rarr; &infin; のとき1 > 0に収束する）。

=== 非アルキメデス局所体 ===
有理数体にp進距離を入れたものや、その完備化である[[p進体]]はノルム付き体としてアルキメデス的でない。実際、これらの体系においては自然数のなす部分集合は0を中心とする単位球に含まれている。

== 順序体における同値な定義 ==
順序体は有理数体を素体として、順序構造も込めた形で含む。このことを用いると順序体 ''K'' のアルキメデス性を以下のような命題のそれぞれによっても特徴づけることができる。<ref name="Schechter">{{harvnb|Schechter|1997|loc=§10.3}}</ref>

# 自然数の集合は''K''の中で共終である。 &mdash; つまり、''K''の任意の元はある自然数よりも小さい。したがってアルキメデス的順序体とは自然数が非有界であるような体のことになる。
# 集合{1/2, 1/3, 1/4, …} は0を''K''における下限として持つ。 &mdash; ''K''に無限小の正の元があれば0よりも大きい{1/2, 1/3, 1/4, …}の下界があることになる。）
# ''K''における正の有理数と負の有理数の間にある数の集合は閉じている。 &mdash; これがなりたつ場合、その集合は0一点からなる。非零の正の無限小の数があったとするとそれらには上限がないし、同様に非零の負の無限小の数は下限を持たない。
# ''K''の任意の元''x''について、''x''より大きな整数の集合は最小元を持つ  &mdash;  ''x''が負の無限大ならばすべての整数が''x''よりおおきくなるため。
# ''K''における任意の開区間は有理数を含む。 &mdash; ''x''が正の無限小ならば開区間 (''x'', 2''x'') は有理数を含まないため。
# 有理数の集合はsupおよびinfに関して''K''の中で稠密である。つまり、''K''の任意の元 ''x'' に対して有理数の部分集合 ''A'' があって''x''は''A''の上限になっており、infについても同様のことが成り立つ。 &mdash; したがってアルキメデス的順序体は有理数を稠密な部分集合とする拡大順序体になっている。

== 注 ==
{{reflist}}

== 参考文献 ==
* {{citation|last=Schechter|first=Eric|authorlink=Eric Schechter|title=Handbook of Analysis and its Foundations|publisher=Academic Press|year=1997|isbn=0-12-622760-8|url=http://www.math.vanderbilt.edu/~schectex/ccc/}}

{{DEFAULTSORT:あるきめてすのせいしつ}}
[[Category:体論]]
[[Category:順序構造]]
[[Category:初等幾何学]]
[[Category:数学に関する記事]]
[[Category:アルキメデス]]
[[Category:数学のエポニム]]