|
|
| Line 1: |
Line 1: |
| 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
| | Hello! <br>I'm Turkish female ;=). <br>I really like How I Met Your Mother!<br><br>Feel free to surf to my blog :: [http://www.profilethai.com/go.php?go=http://birthdaygamesforkids.net/ games] |
| | |
| : <math>
| |
| \sum_{q\in\mathbb{Q}} a_q\varepsilon^q ,
| |
| </math>
| |
| | |
| where <math>a_q\,</math> are real numbers, <math>\mathbb{Q}</math> is the set of [[rational number]]s, and <math>\varepsilon</math> is to be interpreted as a positive infinitesimal. The [[support (mathematics)|support]] of ''a''; i.e., the set of indices of the nonvanishing coefficients <math>\{q\in\mathbb{Q}:a_q\neq 0\},</math> must be a left-finite set; i.e., for any member of <math>\mathbb{Q}</math>, 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 <math>\varepsilon</math> is an infinitesimal.
| |
| | |
| The [[real number]]s are embedded in this field as series in which all of the coefficients vanish except <math>a_0\,</math>.
| |
| | |
| ==Examples== | |
| * <math>7\varepsilon</math> is an infinitesimal that is greater than <math>\varepsilon</math>, but less than every positive real number.
| |
| * <math>\varepsilon^2</math> is less than <math>\varepsilon</math>, and is also less than <math>r\varepsilon</math> for any positive real <math>r</math>.
| |
| * <math>1+\varepsilon</math> differs infinitesimally from 1.
| |
| * <math>\varepsilon^{\frac{1}{2}}</math> is greater than <math>\varepsilon</math>, but still less than every positive real number.
| |
| * <math>1/\varepsilon</math> is greater than any real number.
| |
| * <math>1+\varepsilon+\frac{1}{2}\varepsilon^2+\cdots+\frac{1}{n!}\varepsilon^n+\cdots</math> is interpreted as <math>e^\varepsilon</math>.
| |
| * <math>1+\varepsilon + 2\varepsilon^2 + \cdots + n!\varepsilon^n + \cdots</math> is a valid member of the field, because the series is to be construed formally, without any consideration of [[convergent series|convergence]].
| |
| | |
| ==Extensions and applications==
| |
| The field can be [[algebraically closed field|algebraically closed]] by adjoining an [[imaginary unit]] (''i''), or by letting the coefficients be [[complex number|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.<ref>Khodr Shamseddine, "Analysis on the Levi-Civita Field: A Brief Overview", http://www.uwec.edu/surepam/media/RS-Overview.pdf {{dead link|date=December 2013}}</ref>
| |
| | |
| [[Hahn series]] (with real coefficients and value group <math>\mathbb{Q}</math>) are a larger field which relaxes the condition on the support <math>\{q\in\mathbb{Q}:a_q\neq 0\}</math> of being left finite to that of being [[Well-order|well-ordered]] (i.e., admitting no infinite decreasing sequence): this gives a meaning to series such as <math>1+\varepsilon^{1/2}+\varepsilon^{2/3}+\varepsilon^{3/4}+\varepsilon^{4/5}+\cdots</math> which are not in the Levi-Civita field.
| |
| | |
| ==References==
| |
| <references/>
| |
| | |
| == External links ==
| |
| * [http://www.lightandmatter.com/calc/inf/ A web-based calculator for Levi-Civita numbers]
| |
| | |
| | |
| {{Infinitesimals}}
| |
| | |
| [[Category:Field theory]]
| |
| [[Category:Infinity]]<!-- need a Category:Infinitesimal -->
| |
Hello!
I'm Turkish female ;=).
I really like How I Met Your Mother!
Feel free to surf to my blog :: games