アルキメデスの性質

数学におけるアルキメデスの性質（アルキメデスのせいしつ、）とは、古代ギリシャの数学者シラクサのアルキメデスにちなんで名付けられた、実数の体系を典型的な例として一定の種類の群や体などいくつかの代数的構造が共通として持っている性質のことである。ふつう、アルキメデスの性質とは「体系の中に無限大や無限小が現れないこと」という意味で理解される。この概念は古代ギリシャにおける量の理論に端を発しているが、近現代の数学の教育や研究においてもヒルベルトの幾何の公理、順序群や順序体、局所体の理論などにおいて重要な役割を果たしている。
0でない元の任意の対について、それぞれ他方に対して無限小量ではないという意味で、「比較可能」な代数系はアルキメデス的であると呼ばれる。反対に二つの0でない元で片方がもう一方に対して無限小であるような代数系は非アルキメデス的であると呼ばれる。例えば、アルキメデス的な順序群はアルキメデス的順序群あるいはArchimedes的順序群、Archimedes順序群と呼ばれることになる。
アルキメデスの性質は様々な文脈に応じて異なった方法で定式化される。たとえば順序体の文脈ではアルキメデスの公理と呼ばれる命題によってアルキメデス性が定義され、実数体はその意味でのアルキメデス性を持つ一方で、実係数の有理関数体は適当な順序構造によってはアルキメデス性を持たない順序体になる。
順序群における定義.
順序群"G"における正の元"x", "y" について、"x"が"y"に対して無限小である（あるいは、"y"が"x"に対して無限大である）とは、任意の自然数 "n" について "nx" が"y"より小さいこと、つまり以下の不等式が成立することである。
順序群"G"における正の元の対"x", "y"で、"x"が"y"に対して無限小になっているようなものは存在しないとき"G"はアルキメデス的であると言われる。
順序構造を持つ単位的環の場合には、正の元"x"が乗法の単位元1に対して無限小であれば"x"は無限小の元であると言われ、同様に元"y"が1に対して無限大であれば"y"は無限大の元であると言われる。無限小の元も無限大の元も持たない順序環は順序群としてアルキメデス的になる。
順序体における定義.
順序体"K"の場合には、"K"が順序群としてアルキメデス的であるということをアルキメデスの公理と呼ばれる以下の命題によって特徴づけることができる。
または、以下の命題によってアルキメデス性を特徴づけることもできる。
これらの単純化は、順序体の場合に成り立つ以下のような事情に基づいている。
これらを基にした、アルキメデス性の異なる定式化については#順序体における同値な定義節を参照のこと。
絶対値を持つ体.
局所体の理論におけるアルキメデス性は以下のように定義される。"K"を絶対値を持つ体、つまり"K"の元 "x" に対し正の数 |"x"| が、四則演算が連続になるように与えられているとする。このとき、0でない任意の元 "x" についてある自然数 "n" が存在して
となるとき、"K"はアルキメデス的であると言われる。
歴史.
この概念は古代ギリシャの数学者・物理学者であったシラクサのアルキメデスにちなんでいる。アルキメデスの性質はユークリッドの原論第5巻の定義4に現れる:
アルキメデスはこのことをクニドスのエウドクソスに帰しているため、エウドクソスの定理またはエウドクソスの公理としても知られている。
アルキメデスは求積法などに関する物理的な考察の際にもちいた直感的な議論において無限小の量を論じたことはあったが、それらを数学的に厳密な対象として認めることはなかった。
近現代の数学におけるアルキメデスの公理の定式化に、ヒルベルトによる幾何の公理系に含まれる公理 V-I.
がある。
例.
実数のアルキメデス性.
実数のなす体は順序体としてもノルム体としてもアルキメデス性を持っている。これは有理数の体系が通常の順序とノルムについてアルキメデス性を持ち実数がその完備化として得られることから従う。
実数はアルキメデスの性質に関して順序体の中で、以下の意味で普遍性を持っている：任意の完備なアルキメデス的順序体は実数の順序体に同型になる。公理的なアプローチに立てば無限小の実数がないことは以下のようにしてしめすこともできる。"A"を0より大きい無限小の数全体の集合とする。これはとくに1を上界に持っているが、空集合でなかったとすると、正の最小上界 "c" があることになる。このとき "c" より真に大きい 2"c" は無限小ではあり得ないことになるが、いっぽうで"c"より真に小さい "c" / 2は無限小でなければならない。#順序体における定義節の注意によればこれは矛盾である。
直観論理などに基づき構成的な実数のみを認める体系では、無限小の数全体の集合の様に非構成的に与えられた集合の最小上界の存在は保証されないが、それでも（有理数のアルキメデス性により）実数のアルキメデス性は成り立っていることに注意。
非アルキメデス的順序体.
実数係数の一変数有理関数体には以下のようにして非アルキメデス的な順序体の構造を与えることができる。以下有理関数は分母の多項式の最高次の係数が正の形に表されていると仮定する。多項式に対するユークリッドの互除法を用いれば、任意の有理関数は、多項式（「整式部分」）と、分子の多項式の次数が分母の次数よりも低いような有理関数との和の形に一意的に表される。このとき、 1) 整式部分の最高次の係数が正である、2) 整式部分が0で、分子の最高次の係数が正である、のいずれかの条件を満たすものを正の有理関数と定めると、有理関数体は四則演算と整合的な順序を持つ。実際、この順序に関する正の元 "f"("t") とは、ある整数 "n" が存在して"t" → ∞のときに "f"("t") "tn"が正の実数に収束するようなものである。
この順序に関して有理関数 1/"t" は無限小の元になる。実際、任意の自然数 "n" について 1 - n.(1/t) は整式部分の最高次係数が 1 > 0 であり、 1 - n.(1/t) は 0より大きい（ あるいは、(1 - n.(1/t))t0 は t → ∞ のとき1 > 0に収束する）。
非アルキメデス局所体.
有理数体にp進距離を入れたものや、その完備化であるp進体はノルム付き体としてアルキメデス的でない。実際、これらの体系においては自然数のなす部分集合は0を中心とする単位球に含まれている。
順序体における同値な定義.
順序体は有理数体を素体として、順序構造も込めた形で含む。このことを用いると順序体 "K" のアルキメデス性を以下のような命題のそれぞれによっても特徴づけることができる。