 | This article has multiple issues. Please help improve it or discuss these issues on the talk page . (Learn how and when to remove these template messages)
|
In mathematics, a non-Archimedean ordered field is an ordered field that does not satisfy the Archimedean property. Such fields will contain infinitesimal and infinitely large elements, suitably defined.
Suppose F is an ordered field. We say that F satisfies the Archimedean property if, for every two positive elements x and y of F, there exists a natural number n such that nx > y. Here, n denotes the field element resulting from forming the sum of n copies of the field element 1, so that nx is the sum of n copies of x.
An ordered field that does not satisfy the Archimedean property is a non-Archimedean ordered field.
The fields of rational numbers and real numbers, with their usual orderings, satisfy the Archimedean property.
Examples of non-Archimedean ordered fields are the Levi-Civita field, the hyperreal numbers, the surreal numbers, the Dehn field, and the field of rational functions with real coefficients (where we define f > g to mean that f(t)>g(t) for large enough t).
In a non-Archimedean ordered field, we can find two positive elements x and y such that, for every natural number n, nx≤y. This means that the positive element y/x is greater than every natural number n (so it is an "infinite element"), and the positive element x/y is smaller than 1/n for every natural number n (so it is an "infinitesimal element").
Conversely, if an ordered field contains an infinite or an infinitesimal element in this sense, then it is a non-Archimedean ordered field.
Hyperreal fields, non-Archimedean ordered fields containing the real numbers as a subfield, are used to provide a mathematical foundation for nonstandard analysis.
Max Dehn used the Dehn field, an example of a non-Archimedean ordered field, to construct non-Euclidean geometries in which the parallel postulate fails to be true but nevertheless triangles have angles summing to π. [1]
The field of rational functions over can be used to construct an ordered field that is Cauchy complete (in the sense of convergence of Cauchy sequences) but is not the real numbers. [2] This completion can be described as the field of formal Laurent series over . It is a non-Archimedean ordered field. Sometimes the term "complete" is used to mean that the least upper bound property holds, i.e. for Dedekind-completeness. There are no Dedekind-complete non-Archimedean ordered fields. The subtle distinction between these two uses of the word complete is occasionally a source of confusion.
In mathematics, a Cauchy sequence is a sequence whose elements become arbitrarily close to each other as the sequence progresses. More precisely, given any small positive distance, all excluding a finite number of elements of the sequence are less than that given distance from each other. Cauchy sequences are named after Augustin-Louis Cauchy; they may occasionally be known as fundamental sequences.
The history of calculus is fraught with philosophical debates about the meaning and logical validity of fluxions or infinitesimal numbers. The standard way to resolve these debates is to define the operations of calculus using epsilon–delta procedures rather than infinitesimals. Nonstandard analysis instead reformulates the calculus using a logically rigorous notion of infinitesimal numbers.
In mathematics, an ordered field is a field together with a total ordering of its elements that is compatible with the field operations. Basic examples of ordered fields are the rational numbers and the real numbers, both with their standard orderings.
In mathematics, the system of hyperreal numbers is a way of treating infinite and infinitesimal quantities. The hyperreals, or nonstandard reals, *R, are an extension of the real numbers R that contains numbers greater than anything of the form
In mathematics, the surreal number system is a totally ordered proper class containing not only the real numbers but also infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number. Research on the Go endgame by John Horton Conway led to the original definition and construction of surreal numbers. Conway's construction was introduced in Donald Knuth's 1974 book Surreal Numbers: How Two Ex-Students Turned On to Pure Mathematics and Found Total Happiness.
In mathematics, an infinitesimal number is a quantity that is closer to 0 than any standard real number, but that is not 0. The word infinitesimal comes from a 17th-century Modern Latin coinage infinitesimus, which originally referred to the "infinity-th" item in a sequence.
In abstract algebra and analysis, the Archimedean property, named after the ancient Greek mathematician Archimedes of Syracuse, is a property held by some algebraic structures, such as ordered or normed groups, and fields. The property, typically construed, states that given two positive numbers and , there is an integer such that . It also means that the set of natural numbers is not bounded above. Roughly speaking, it is the property of having no infinitely large or infinitely small elements. It was Otto Stolz who gave the axiom of Archimedes its name because it appears as Axiom V of Archimedes’ On the Sphere and Cylinder.
In abstract algebra, a branch of mathematics, an Archimedean group is a linearly ordered group for which the Archimedean property holds: every two positive group elements are bounded by integer multiples of each other. The set R of real numbers together with the operation of addition and the usual ordering relation between pairs of numbers is an Archimedean group. By a result of Otto Hölder, every Archimedean group is isomorphic to a subgroup of this group. The name "Archimedean" comes from Otto Stolz, who named the Archimedean property after its appearance in the works of Archimedes.
In mathematics, there are several equivalent ways of defining the real numbers. One of them is that they form a complete ordered field that does not contain any smaller complete ordered field. Such a definition does not prove that such a complete ordered field exists, and the existence proof consists of constructing a mathematical structure that satisfies the definition.
In algebra, a valuation is a function on a field that provides a measure of the size or multiplicity of elements of the field. It generalizes to commutative algebra the notion of size inherent in consideration of the degree of a pole or multiplicity of a zero in complex analysis, the degree of divisibility of a number by a prime number in number theory, and the geometrical concept of contact between two algebraic or analytic varieties in algebraic geometry. A field with a valuation on it is called a valued field.
In model theory, a transfer principle states that all statements of some language that are true for some structure are true for another structure. One of the first examples was the Lefschetz principle, which states that any sentence in the first-order language of fields that is true for the complex numbers is also true for any algebraically closed field of characteristic 0.
In mathematics, nonstandard calculus is the modern application of infinitesimals, in the sense of nonstandard analysis, to infinitesimal calculus. It provides a rigorous justification for some arguments in calculus that were previously considered merely heuristic.
In mathematics, a real closed field is a field F that has the same first-order properties as the field of real numbers. Some examples are the field of real numbers, the field of real algebraic numbers, and the field of hyperreal numbers.
In mathematics, 0.999... is a notation for the repeating decimal consisting of an unending sequence of 9s after the decimal point. This repeating decimal is a numeral that represents the smallest number no less than every number in the sequence ; that is, the supremum of this sequence. This number is equal to 1. In other words, "0.999..." is not "almost exactly" or "very, very nearly but not quite" 1 – rather, "0.999..." and "1" represent exactly the same number.
In model theory and related areas of mathematics, a type is an object that describes how a element or finite collection of elements in a mathematical structure might behave. More precisely, it is a set of first-order formulas in a language L with free variables x1, x2,..., xn that are true of a set of n-tuples of an L-structure . Depending on the context, types can be complete or partial and they may use a fixed set of constants, A, from the structure . The question of which types represent actual elements of leads to the ideas of saturated models and omitting types.
In geometry, Max Dehn introduced two examples of planes, a semi-Euclidean geometry and a non-Legendrian geometry, that have infinitely many lines parallel to a given one that pass through a given point, but where the sum of the angles of a triangle is at least π. A similar phenomenon occurs in hyperbolic geometry, except that the sum of the angles of a triangle is less than π. Dehn's examples use a non-Archimedean field, so that the Archimedean axiom is violated. They were introduced by Max Dehn and discussed by Hilbert.
In nonstandard analysis, the standard part function is a function from the limited (finite) hyperreal numbers to the real numbers. Briefly, the standard part function "rounds off" a finite hyperreal to the nearest real. It associates to every such hyperreal , the unique real infinitely close to it, i.e. is infinitesimal. As such, it is a mathematical implementation of the historical concept of adequality introduced by Pierre de Fermat, as well as Leibniz's Transcendental law of homogeneity.
In mathematics, a real number is a number that can be used to measure a continuous one-dimensional quantity such as a distance, duration or temperature. Here, continuous means that pairs of values can have arbitrarily small differences. Every real number can be almost uniquely represented by an infinite decimal expansion.
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. Each member can be constructed as a formal series of the form
Completeness is a property of the real numbers that, intuitively, implies that there are no "gaps" or "missing points" in the real number line. This contrasts with the rational numbers, whose corresponding number line has a "gap" at each irrational value. In the decimal number system, completeness is equivalent to the statement that any infinite string of decimal digits is actually a decimal representation for some real number.
| History |  | |
|---|---|---|
| Related branches | ||
| Formalizations | ||
| Individual concepts | ||
| Mathematicians | ||
| Textbooks | ||
