レヴィ＝チヴィタ体

数学におけるレヴィ＝チヴィタ体（レヴィ-チヴィタたい、）は、トゥーリオ・レヴィ＝チヴィタに名を因む、非アルキメデス順序体—ある種の無限大量と無限小量を含む数体系—である。レヴィ＝チヴィタ体の各元は有理数全てを亙る変数 に対する実係数の形式級数 formula_1
として与えられる。ここに、 は有理数全体の成す集合を表し、 は正の無限小と解釈されるべきものである。
ただし、係数列 の台 は左有限集合—任意の有理数に対し、それより小さい元は有限個しか含まない—でなければならない。この制約条件はこの体における乗法および除法が一意に定義可能であるようにするために必要である。この体における順序関係は、係数列に対する辞書式順序に従って定められ、これは直観的には を無限小とするという仮定をおくことと同値である。
実数全体の成す順序体 は、定数項のみからなる級数— 以外の全ての係数が の級数—としてレヴィ＝チヴィタ体に埋め込まれる。
拡張と応用.
レヴィ＝チヴィタ体に虚数単位 を添加して、あるいは係数を複素数に取り換えて、代数閉体にすることができる。得られた体は十分な解析学を行うのに十分な豊かな体系となるが、それでも実数を浮動小数点数として表せるというのと同じ意味において各元を計算機に乗せることができる。この体は、記号的微分法や有限差分法による微分が困難であるような場合の微分操作に威力を発揮する自動微分の基本となる。
実係数および値群 を持つ は台 が左有限であるという条件を整列集合である—つまり、無限減少列は存在しない—という条件に緩めたもので、その全体はレヴィ＝チヴィタ体よりも大きな体を成す。この体では例えば、 のような元が意味を持つが、これはレヴィ＝チヴィタ体の元ではない。