Non-Archimedean ordered field

Non-Archimedean ordered field

In mathematics, a non-Archimedean ordered field is an ordered field that does not satisfy the Archimedean property. Examples are the Levi-Civita field, the hyperreal numbers, the surreal numbers, the Dehn field, and the field of rational functions with real coefficients with a suitable order.

Definition

The Archimedean property is a property of certain ordered fields such as the rational numbers or the real numbers, stating that every two elements are within an integer multiple of each other. If a field contains two positive elements x < y for which this is not true, then x/y must be an infinitesimal, greater than zero but smaller than any integer unit fraction. Therefore, the negation of the Archimedean property is equivalent to the existence of infinitesimals.

Applications

Hyperreal fields, non-Archimedean ordered fields containing the real numbers as a subfield, may be used to provide a mathematical foundation for non-standard 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 π/2.[1]

The field of rational functions over \R can be used to construct an ordered field which is complete (in the sense of convergence of Cauchy sequences) but is not the real numbers.[2] Sometimes the term complete is used to mean that the least upper bound property holds. With this meaning of complete there are no complete non-Archemedian ordered fields. The subtle distinction between these two uses of the word complete is occasionally a source of confusion.

References

  1. ^ Dehn, Max (1900), "Die Legendre'schen Sätze über die Winkelsumme im Dreieck", Mathematische Annalen 53 (3): 404–439, doi:10.1007/BF01448980, ISSN 0025-5831, JFM 31.0471.01, http://books.google.com/books?id=vEbWAAAAMAAJ&pg=PA404 .
  2. ^ Counterexamples in Analysis by Bernard R. Gelbaum and Bernard R. Gelbaum, Chapter 1, Example 7, page 15.

Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Ordered field — In mathematics, an ordered field is a field together with a total ordering of its elements that is compatible with the field operations. Historically, the axiomatization of an ordered field was abstracted gradually from the real numbers, by… …   Wikipedia

  • Non-Archimedean — In mathematics and physics, non Archimedean refers to something without the Archimedean property. This includes: Ultrametric space notably, p adic numbers Non Archimedean ordered field, namely: Levi Civita field Hyperreal numbers Surreal numbers… …   Wikipedia

  • Archimedean property — In abstract algebra and analysis, the Archimedean property, named after the ancient Greek mathematician Archimedes of Syracuse, is a property held by some ordered or normed groups, fields, and other algebraic structures. Roughly speaking, it is… …   Wikipedia

  • Archimedean field — In mathematics, an Archimedean field is an ordered field with the Archimedean property, named after the ancient Greek mathematician Archimedes of Syracuse.In an ordered field F we can define the absolute value of an element x in F in the usual… …   Wikipedia

  • Non-standard analysis — Abraham Robinson Gottfried Wilhelm Leibniz argued tha …   Wikipedia

  • Real closed field — In mathematics, a real closed field is a field F in which any of the following equivalent conditions are true:#There is a total order on F making it an ordered field such that, in this ordering, every positive element of F is a square in F and… …   Wikipedia

  • Algebraic number field — In mathematics, an algebraic number field (or simply number field) F is a finite (and hence algebraic) field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector… …   Wikipedia

  • Transfer principle — In mathematics, the transfer principle is a concept in Abraham Robinson s non standard analysis of the hyperreal numbers. It states that any sentence expressible in a certain formal language that is true of real numbers is also true of hyperreal… …   Wikipedia

  • Dehn planes — In geometry, Dehn constructed 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… …   Wikipedia

  • Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”