Levi-Civita field

In mathematics, the Levi-Civita field, named after Tullio Levi-Civita, is a non-Archimedean ordered field; i.e., a system of numbers containing infinite and infinitesimal quantities. Its members can be constructed as formal series of the form

\sum _{{q\in {\mathbb {Q}}}}a_{q}\varepsilon ^{q},

where $a_{q}$ are real numbers, $\mathbb {Q}$ is the set of rational numbers, and $\varepsilon$ is to be interpreted as a positive infinitesimal. The support of a, i.e., the set of indices of the nonvanishing coefficients $\{q\in {\mathbb {Q}}:a_{q}\neq 0\},$ must be a left-finite set: for any member of $\mathbb {Q}$ , there are only finitely many members of the set less than it; this restriction is necessary in order to make multiplication and division well defined and unique. The ordering is defined according to dictionary ordering of the list of coefficients, which is equivalent to the assumption that $\varepsilon$ is an infinitesimal.

The real numbers are embedded in this field as series in which all of the coefficients vanish except $a_{0}$ .

Examples

$7\varepsilon$ is an infinitesimal that is greater than $\varepsilon$ , but less than every positive real number.
$\varepsilon ^{2}$ is less than $\varepsilon$ , and is also less than $r\varepsilon$ for any positive real $r$ .
$1+\varepsilon$ differs infinitesimally from 1.
$\varepsilon ^{{{\frac {1}{2}}}}$ is greater than $\varepsilon$ , but still less than every positive real number.
$1/\varepsilon$ is greater than any real number.
$1+\varepsilon +{\frac {1}{2}}\varepsilon ^{2}+\cdots +{\frac {1}{n!}}\varepsilon ^{n}+\cdots$ is interpreted as $e^{\varepsilon }$ .
$1+\varepsilon +2\varepsilon ^{2}+\cdots +n!\varepsilon ^{n}+\cdots$ is a valid member of the field, because the series is to be construed formally, without any consideration of convergence.

Definition of the field operations and positive cone

If $f=\sum \limits _{q\in \mathbb {Q} }f_{q}\varepsilon ^{q}$ and $g=\sum \limits _{q\in \mathbb {Q} }g_{q}\varepsilon ^{q}$ are two Levi-Civita series, then

their sum $f+g$ is the pointwise sum $f+g:=\sum \limits _{q\in \mathbb {Q} }(f_{q}+g_{q})\varepsilon ^{q}$ .
their product $fg$ is the Cauchy product $fg:=\sum \limits _{q\in \mathbb {Q} }\sum \limits _{a+b=q}(f_{a}g_{b})\varepsilon ^{q}$ .

(One can check that the support of this series is left-finite and that for each of its elements $q$ , the set $\{(a,b)\in \mathbb {Q} \times \mathbb {Q} :\ a+b=q\wedge f_{a}\neq 0\wedge g_{b}\neq 0\}$ is finite, so the product is well defined.)

the relation $0<f$ holds if $f\neq 0$ (i.e. $f$ has non-empty support) and the least non-zero coefficient of $f$ is strictly positive.

Equipped with those operations and order, the Levi-Civita field is indeed an ordered field extension of $\mathbb {R}$ where the series $\varepsilon$ is a positive infinitesimal.

Properties and applications

The Levi-Civita field is real-closed, meaning that it can be algebraically closed by adjoining an imaginary unit (i), or by letting the coefficients be complex. It is rich enough to allow a significant amount of analysis to be done, but its elements can still be represented on a computer in the same sense that real numbers can be represented using floating point. It is the basis of automatic differentiation, a way to perform differentiation in cases that are intractable by symbolic differentiation or finite-difference methods.^[1]

The Levi-Civita field is also Cauchy-complete, meaning that relativizing the $\forall \exists \forall$ definitions of Cauchy sequence and convergent sequence to sequences of Levi-Civita series, each Cauchy sequence in the field converges. Equivalently, it has no proper dense ordered field extension.

As an ordered field, it has a natural valuation given by the rational exponent corresponding to the first non zero coefficient of a Levi-Civita series. The valuation ring is that of series bounded by real numbers, the residue field is $\mathbb {R}$ , and the value group is $(\mathbb {Q} ,+)$ . The resulting valued field is henselian (being real closed with a convex valuation ring) but not spherically complete. Indeed, the field of Hahn series with real coefficients and value group $(\mathbb {Q} ,+)$ is a proper immediate extension, containing series such as $1+\varepsilon ^{{1/2}}+\varepsilon ^{{2/3}}+\varepsilon ^{{3/4}}+\varepsilon ^{{4/5}}+\cdots$ which are not in the Levi-Civita field.

Relations to other ordered fields

The Levi-Civita field is the Cauchy-completion of the field $\mathbb {P}$ of Puiseux series over the field of real numbers, that is, it is a dense extension of $\mathbb {P}$ without proper dense extension. Here is a list of some of its notable proper subfields and its proper ordered field extensions:

Notable subfields

The field $\mathbb {R}$ of real numbers.
The field $\mathbb {R} (\varepsilon )$ of fractions of real polynomials with infinitesimal positive indeterminate $\varepsilon$ .
The field $\mathbb {R} ((\varepsilon ))$ of formal Laurent series over $\mathbb {R}$ .
The field $\mathbb {P}$ of Puiseux series over $\mathbb {R}$ .

Notable extensions

The field $\mathbb {R} [[\varepsilon ^{\mathbb {Q} }]]$ of Hahn series with real coefficients and rationnal exponents.
The field $\mathbb {T} ^{LE}$ of logarithmic-exponential transseries.
The field $\mathbf {No} (\varepsilon _{0})$ of surreal numbers with birthdate below the first $\varepsilon$ -number $\varepsilon _{0}$ .
Fields of hyperreal numbers constructed as ultrapowers of $\mathbb {R}$ modulo a free ultrafilter on $\mathbb {N}$ (altough here the embeddings is not canonical).

References

↑ Khodr Shamseddine, Martin Berz "Analysis on the Levi-Civita Field: A Brief Overview", Contemporary Mathematics, 508 pp 215-237 (2010)

External links

A web-based calculator for Levi-Civita numbers

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Khodr Shamseddine, Martin Berz "Analysis on the Levi-Civita Field: A Brief Overview", Contemporary Mathematics, 508 pp 215-237 (2010)

Infinitesimals
History	Adequality Leibniz's notation Integral symbol Criticism of non-standard analysis The Analyst The Method of Mechanical Theorems Cavalieri's principle Method of indivisibles
Related branches	Non-standard analysis Non-standard calculus Internal set theory Synthetic differential geometry Smooth infinitesimal analysis Constructive non-standard analysis Infinitesimal strain theory (physics)
Formalizations	Differentials Hyperreal numbers Dual numbers Surreal numbers
Individual concepts	Standard part function Transfer principle Hyperinteger Increment theorem Monad Internal set Levi-Civita field Hyperfinite set Law of Continuity Overspill Microcontinuity Transcendental law of homogeneity
Scientists	Gottfried Wilhelm Leibniz Abraham Robinson Pierre de Fermat Augustin-Louis Cauchy Leonhard Euler
Textbooks	Analyse des Infiniment Petits Elementary Calculus Cours d'Analyse