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. It is usually denoted R {\displaystyle {\mathcal {R}}} . Each member a {\displaystyle a} can be constructed as a formal series of the form
a = ∑ q ∈ Q a q ε q , {\displaystyle a=\sum _{q\in \mathbb {Q} }a_{q}\varepsilon ^{q},}
where Q {\displaystyle \mathbb {Q} } is the set of rational numbers, the coefficients a q {\displaystyle a_{q}} are real numbers, and ε {\displaystyle \varepsilon } is to be interpreted as a fixed positive infinitesimal. We require that for every rational number r {\displaystyle r} , there are only finitely many q ∈ Q {\displaystyle q\in \mathbb {Q} } less than r {\displaystyle r} with a q ≠ 0 {\displaystyle a_{q}\neq 0} ; this restriction is necessary in order to make multiplication and division well defined and unique. Two such series are considered equal only if all their coefficients are equal. The ordering is defined according to the dictionary ordering of the list of coefficients, which is equivalent to the assumption that ε {\displaystyle \varepsilon } is an infinitesimal. The real numbers are embedded in this field as series in which all of the coefficients vanish except a 0 {\displaystyle a_{0}} .
Example elements
7 ε {\displaystyle 7\varepsilon } is an infinitesimal that is greater than ε {\displaystyle \varepsilon } , but less than every positive real number.
ε 2 {\displaystyle \varepsilon ^{2}} is less than ε {\displaystyle \varepsilon } , and is also less than r ε {\displaystyle r\varepsilon } for any positive real r {\displaystyle r} .
1 + ε {\displaystyle 1+\varepsilon } differs infinitesimally from 1.
ε 1 / 2 {\displaystyle \varepsilon ^{1/2}} is greater than ε {\displaystyle \varepsilon } and even greater than r ε {\displaystyle r\varepsilon } for any positive real r {\displaystyle r} , but ε 1 / 2 {\displaystyle \varepsilon ^{1/2}} is still less than every positive real number.
1 / ε {\displaystyle 1/\varepsilon } is greater than any real number.
1 + ε + ε 2 / 2 + ⋯ + ε n / n ! + ⋯ {\displaystyle 1+\varepsilon +\varepsilon ^{2}/2+\cdots +\varepsilon ^{n}/n!+\cdots } is interpreted as e ε {\displaystyle e^{\varepsilon }} , which differs infinitesimally from 1.
1 + ε + 2 ε 2 + ⋯ + n ! ε n + ⋯ {\displaystyle 1+\varepsilon +2\varepsilon ^{2}+\cdots +n!\varepsilon ^{n}+\cdots } is a valid member of the field, because the series is to be constructed formally, without any consideration of convergence. It differs infinitesimally from 1 and is smaller than 1 + 2 ε {\displaystyle 1+2\varepsilon } .
Definition of the field operations and positive cone If a = ∑ q ∈ Q a q ε q {\displaystyle a=\textstyle \sum \limits _{q\in \mathbb {Q} }a_{q}\varepsilon ^{q}} and b = ∑ q ∈ Q b q ε q {\displaystyle b=\textstyle \sum \limits _{q\in \mathbb {Q} }b_{q}\varepsilon ^{q}} are two Levi-Civita series, then
… excerpt ends here. Continue reading the full article.
